! expect return 0
! output sort
$ ${bindir:=.}/maxmin_bench big 1
-> Starting 0: (807)
-> Starting to solve(812)
+> Starting 0: (845)
+> Starting to solve(858)
> 1x One shot execution time for a total of 2000 constraints, 2000 variables with 96 active constraint each, concurrency in [32,288] and max concurrency share 2
-