0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3737131-1338724660.opb>
0.00/0.09 c original problem has 19230 variables (19230 bin, 0 int, 0 impl, 0 cont) and 19730 constraints
0.00/0.09 c problem read
0.00/0.09 c presolving settings loaded
0.19/0.20 o 0
0.19/0.20 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.19/0.20 c presolving:
0.28/0.37 c (round 1) 18730 del vars, 1000 del conss, 0 add conss, 18730 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 74920 impls, 0 clqs
0.28/0.39 c (round 2) 18730 del vars, 1000 del conss, 0 add conss, 18730 chg bounds, 0 chg sides, 0 chg coeffs, 18730 upgd conss, 74920 impls, 0 clqs
0.49/0.58 c (0.6s) probing: 101/500 (20.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.49/0.58 c (0.6s) probing aborted: 100/100 successive totally useless probings
0.49/0.58 c presolving (3 rounds):
0.49/0.58 c 18730 deleted vars, 1000 deleted constraints, 0 added constraints, 18730 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.49/0.58 c 112378 implications, 0 cliques
0.49/0.58 c presolved problem has 500 variables (500 bin, 0 int, 0 impl, 0 cont) and 18730 constraints
0.49/0.58 c 18730 constraints of type <setppc>
0.49/0.58 c transformed objective value is always integral (scale: 1)
0.49/0.58 c Presolving Time: 0.42
0.49/0.58 c - non default parameters ----------------------------------------------------------------------
0.49/0.58 c # SCIP version 2.0.1.5
0.49/0.58 c
0.49/0.58 c # frequency for displaying node information lines
0.49/0.58 c # [type: int, range: [-1,2147483647], default: 100]
0.49/0.58 c display/freq = 10000
0.49/0.58 c
0.49/0.58 c # maximal time in seconds to run
0.49/0.58 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.58 c limits/time = 1797
0.49/0.58 c
0.49/0.58 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.49/0.58 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.58 c limits/memory = 13950
0.49/0.58 c
0.49/0.58 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.49/0.58 c # [type: int, range: [1,2], default: 1]
0.49/0.58 c timing/clocktype = 2
0.49/0.58 c
0.49/0.58 c # belongs reading time to solving time?
0.49/0.58 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.58 c timing/reading = TRUE
0.49/0.58 c
0.49/0.58 c # should presolving try to simplify inequalities
0.49/0.58 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.58 c constraints/linear/simplifyinequalities = TRUE
0.49/0.58 c
0.49/0.58 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.49/0.58 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.58 c constraints/indicator/addCouplingCons = TRUE
0.49/0.58 c
0.49/0.58 c # should presolving try to simplify knapsacks
0.49/0.58 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.58 c constraints/knapsack/simplifyinequalities = TRUE
0.49/0.58 c
0.49/0.58 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.49/0.58 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.58 c separating/rapidlearning/freq = 0
0.49/0.58 c
0.49/0.58 c -----------------------------------------------------------------------------------------------
0.49/0.58 c start solving
0.49/0.58 c
0.69/0.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.69/0.73 c t 0.7s| 1 | 0 | 516 | - | 60M| 0 | 500 | 500 | 18k| 500 | 18k| 0 | 0 | 0 |-2.500000e+02 | 0.000000e+00 | 100.00%
0.69/0.75 o -1
0.69/0.75 c R 0.7s| 1 | 0 | 516 | - | 60M| 0 | 500 | 500 | 18k| 500 | 18k| 0 | 0 | 0 |-2.500000e+02 |-1.000000e+00 | 99.60%
0.69/0.76 o -2
0.69/0.76 c s 0.8s| 1 | 0 | 516 | - | 60M| 0 | 500 | 500 | 18k| 500 | 18k| 0 | 0 | 0 |-2.500000e+02 |-2.000000e+00 | 99.20%
0.98/1.07 c 1.1s| 1 | 0 | 651 | - | 60M| 0 | 488 | 500 | 18k| 500 | 18k| 9 | 0 | 0 |-2.440000e+02 |-2.000000e+00 | 99.18%
0.98/1.07 o -23
0.98/1.07 c b 1.1s| 1 | 0 | 651 | - | 60M| 0 | 488 | 500 | 18k| 500 | 18k| 9 | 0 | 0 |-2.440000e+02 |-2.300000e+01 | 90.57%
1.38/1.45 c 1.4s| 1 | 0 | 884 | - | 60M| 0 | 473 | 500 | 18k| 500 | 18k| 22 | 0 | 0 |-2.365000e+02 |-2.300000e+01 | 90.27%
1.89/1.93 c 1.9s| 1 | 0 | 1229 | - | 60M| 0 | 462 | 500 | 18k| 500 | 18k| 35 | 0 | 0 |-2.310000e+02 |-2.300000e+01 | 90.04%
2.29/2.38 c 2.4s| 1 | 0 | 1467 | - | 60M| 0 | 451 | 500 | 18k| 500 | 18k| 49 | 0 | 0 |-2.255000e+02 |-2.300000e+01 | 89.80%
2.78/2.85 c 2.8s| 1 | 0 | 1674 | - | 60M| 0 | 441 | 500 | 18k| 500 | 18k| 59 | 0 | 0 |-2.205000e+02 |-2.300000e+01 | 89.57%
3.19/3.28 c 3.3s| 1 | 0 | 1876 | - | 60M| 0 | 435 | 500 | 18k| 500 | 18k| 70 | 0 | 0 |-2.175000e+02 |-2.300000e+01 | 89.43%
3.69/3.70 c 3.7s| 1 | 0 | 2015 | - | 60M| 0 | 428 | 500 | 18k| 500 | 18k| 82 | 0 | 0 |-2.140000e+02 |-2.300000e+01 | 89.25%
4.19/4.23 c 4.2s| 1 | 0 | 2418 | - | 60M| 0 | 422 | 500 | 18k| 500 | 18k| 90 | 0 | 0 |-2.102500e+02 |-2.300000e+01 | 89.06%
4.79/4.83 c 4.8s| 1 | 0 | 2904 | - | 60M| 0 | 416 | 500 | 18k| 500 | 18k| 104 | 0 | 0 |-2.072500e+02 |-2.300000e+01 | 88.90%
5.39/5.43 c 5.4s| 1 | 0 | 3405 | - | 60M| 0 | 415 | 500 | 18k| 500 | 18k| 112 | 0 | 0 |-2.052500e+02 |-2.300000e+01 | 88.79%
5.88/5.96 c 6.0s| 1 | 0 | 4217 | - | 61M| 0 | 418 | 500 | 18k| 500 |1140 | 120 | 0 | 0 |-2.036250e+02 |-2.300000e+01 | 88.70%
6.09/6.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.09/6.11 c 6.1s| 1 | 0 | 4817 | - | 61M| 0 | 397 | 500 | 18k| 500 |1155 | 135 | 0 | 0 |-2.005000e+02 |-2.300000e+01 | 88.53%
6.19/6.23 c 6.2s| 1 | 0 | 5326 | - | 61M| 0 | 390 | 500 | 18k| 500 |1279 | 259 | 0 | 0 |-1.980000e+02 |-2.300000e+01 | 88.38%
6.29/6.38 c 6.4s| 1 | 0 | 5833 | - | 62M| 0 | 393 | 500 | 18k| 500 |1462 | 442 | 0 | 0 |-1.967500e+02 |-2.300000e+01 | 88.31%
6.48/6.55 c 6.5s| 1 | 0 | 6725 | - | 62M| 0 | 384 | 500 | 18k| 500 |1629 | 609 | 0 | 0 |-1.940000e+02 |-2.300000e+01 | 88.14%
6.59/6.69 c 6.7s| 1 | 0 | 7122 | - | 62M| 0 | 396 | 500 | 18k| 500 |1754 | 734 | 0 | 0 |-1.925000e+02 |-2.300000e+01 | 88.05%
6.89/6.91 c 6.9s| 1 | 0 | 7976 | - | 63M| 0 | 377 | 500 | 18k| 500 |1673 |1045 | 0 | 0 |-1.905000e+02 |-2.300000e+01 | 87.93%
6.99/7.09 c 7.1s| 1 | 0 | 8876 | - | 63M| 0 | 366 | 500 | 18k| 500 |1851 |1223 | 0 | 0 |-1.890000e+02 |-2.300000e+01 | 87.83%
7.19/7.23 c 7.2s| 1 | 0 | 9510 | - | 64M| 0 | 373 | 500 | 18k| 500 |2187 |1559 | 0 | 0 |-1.865000e+02 |-2.300000e+01 | 87.67%
7.28/7.39 c 7.4s| 1 | 0 | 10091 | - | 64M| 0 | 368 | 500 | 18k| 500 |2420 |1792 | 0 | 0 |-1.850000e+02 |-2.300000e+01 | 87.57%
7.48/7.55 c 7.5s| 1 | 0 | 10902 | - | 64M| 0 | 375 | 500 | 18k| 500 |2472 |1844 | 0 | 0 |-1.835000e+02 |-2.300000e+01 | 87.47%
7.88/7.95 c 8.0s| 1 | 0 | 12724 | - | 64M| 0 | 354 | 500 | 18k| 500 |3200 |2572 | 0 | 0 |-1.777500e+02 |-2.300000e+01 | 87.06%
8.09/8.17 c 8.2s| 1 | 0 | 13680 | - | 64M| 0 | 408 | 500 | 18k| 500 |2925 |2679 | 0 | 0 |-1.760180e+02 |-2.300000e+01 | 86.93%
8.59/8.67 c 8.7s| 1 | 0 | 13933 | - | 66M| 0 | 369 | 500 | 18k| 500 |4925 |4679 | 0 | 0 |-1.752500e+02 |-2.300000e+01 | 86.88%
8.79/8.81 c 8.8s| 1 | 0 | 14247 | - | 66M| 0 | 366 | 500 | 18k| 500 |4933 |4687 | 0 | 0 |-1.749531e+02 |-2.300000e+01 | 86.85%
8.98/9.06 c 9.1s| 1 | 0 | 15038 | - | 66M| 0 | 343 | 500 | 18k| 500 |4946 |4700 | 0 | 0 |-1.735000e+02 |-2.300000e+01 | 86.74%
9.29/9.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
9.29/9.31 c 9.3s| 1 | 0 | 15786 | - | 67M| 0 | 351 | 500 | 18k| 500 |5029 |4783 | 0 | 0 |-1.715000e+02 |-2.300000e+01 | 86.59%
9.49/9.56 c 9.6s| 1 | 0 | 16614 | - | 67M| 0 | 366 | 500 | 18k| 500 |5128 |4882 | 0 | 0 |-1.702941e+02 |-2.300000e+01 | 86.49%
9.89/9.98 c 10.0s| 1 | 0 | 18061 | - | 67M| 0 | 362 | 500 | 18k| 500 |4057 |5122 | 0 | 0 |-1.680417e+02 |-2.300000e+01 | 86.31%
10.08/10.15 c 10.2s| 1 | 0 | 18684 | - | 67M| 0 | 380 | 500 | 18k| 500 |4120 |5185 | 0 | 0 |-1.656288e+02 |-2.300000e+01 | 86.11%
10.29/10.36 c 10.4s| 1 | 0 | 19394 | - | 68M| 0 | 361 | 500 | 18k| 500 |4234 |5299 | 0 | 0 |-1.643375e+02 |-2.300000e+01 | 86.00%
10.59/10.68 c 10.7s| 1 | 0 | 20595 | - | 68M| 0 | 345 | 500 | 18k| 500 |4449 |5514 | 0 | 0 |-1.620000e+02 |-2.300000e+01 | 85.80%
10.89/10.91 c 10.9s| 1 | 0 | 21294 | - | 69M| 0 | 332 | 500 | 18k| 500 |4595 |5660 | 0 | 0 |-1.600000e+02 |-2.300000e+01 | 85.62%
11.09/11.18 c 11.2s| 1 | 0 | 22127 | - | 69M| 0 | 313 | 500 | 18k| 500 |4727 |5792 | 0 | 0 |-1.580000e+02 |-2.300000e+01 | 85.44%
11.48/11.51 c 11.5s| 1 | 0 | 23566 | - | 70M| 0 | 370 | 500 | 18k| 500 |2028 |5872 | 0 | 0 |-1.563158e+02 |-2.300000e+01 | 85.29%
11.59/11.67 c 11.7s| 1 | 0 | 24269 | - | 70M| 0 | 349 | 500 | 18k| 500 |2236 |6080 | 0 | 0 |-1.550000e+02 |-2.300000e+01 | 85.16%
11.89/11.92 c 11.9s| 1 | 0 | 25748 | - | 70M| 0 | 360 | 500 | 18k| 500 |2330 |6174 | 0 | 0 |-1.537500e+02 |-2.300000e+01 | 85.04%
12.09/12.13 c 12.1s| 1 | 0 | 26744 | - | 70M| 0 | 374 | 500 | 18k| 500 |2424 |6268 | 0 | 0 |-1.528588e+02 |-2.300000e+01 | 84.95%
12.48/12.56 c 12.6s| 1 | 0 | 28771 | - | 72M| 0 | 361 | 500 | 18k| 500 |3031 |6875 | 0 | 0 |-1.509200e+02 |-2.300000e+01 | 84.76%
12.79/12.85 c 12.8s| 1 | 0 | 29939 | - | 72M| 0 | 372 | 500 | 18k| 500 |3139 |6983 | 0 | 0 |-1.487485e+02 |-2.300000e+01 | 84.54%
13.19/13.23 c 13.2s| 1 | 0 | 31246 | - | 73M| 0 | 372 | 500 | 18k| 500 |2493 |7078 | 0 | 0 |-1.469867e+02 |-2.300000e+01 | 84.35%
13.49/13.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
13.49/13.50 c 13.5s| 1 | 0 | 32370 | - | 74M| 0 | 367 | 500 | 18k| 500 |2685 |7270 | 0 | 0 |-1.459576e+02 |-2.300000e+01 | 84.24%
13.79/13.84 c 13.8s| 1 | 0 | 33990 | - | 75M| 0 | 368 | 500 | 18k| 500 |2793 |7378 | 0 | 0 |-1.435125e+02 |-2.300000e+01 | 83.97%
14.09/14.19 c 14.2s| 1 | 0 | 35545 | - | 77M| 0 | 354 | 500 | 18k| 500 |2943 |7528 | 0 | 0 |-1.427225e+02 |-2.300000e+01 | 83.88%
14.49/14.59 c 14.6s| 1 | 0 | 37140 | - | 78M| 0 | 374 | 500 | 18k| 500 |3003 |7588 | 0 | 0 |-1.409628e+02 |-2.300000e+01 | 83.68%
14.88/14.93 c 14.9s| 1 | 0 | 37933 | - | 78M| 0 | 388 | 500 | 18k| 500 |3079 |7664 | 0 | 0 |-1.403823e+02 |-2.300000e+01 | 83.62%
15.69/15.70 c 15.7s| 1 | 0 | 39856 | - | 78M| 0 | 372 | 500 | 18k| 500 |2712 |8158 | 0 | 0 |-1.389673e+02 |-2.300000e+01 | 83.45%
16.08/16.12 c 16.1s| 1 | 0 | 40895 | - | 78M| 0 | 377 | 500 | 18k| 500 |2797 |8243 | 0 | 0 |-1.372747e+02 |-2.300000e+01 | 83.25%
16.59/16.69 c 16.7s| 1 | 0 | 43230 | - | 78M| 0 | 362 | 500 | 18k| 500 |2840 |8286 | 0 | 0 |-1.357091e+02 |-2.300000e+01 | 83.05%
17.18/17.29 c 17.3s| 1 | 0 | 45218 | - | 79M| 0 | 339 | 500 | 18k| 500 |2962 |8408 | 0 | 0 |-1.335363e+02 |-2.300000e+01 | 82.78%
17.58/17.69 c 17.7s| 1 | 0 | 46687 | - | 80M| 0 | 374 | 500 | 18k| 500 |3219 |8665 | 0 | 0 |-1.325241e+02 |-2.300000e+01 | 82.64%
18.18/18.27 c 18.3s| 1 | 0 | 48202 | - | 80M| 0 | 366 | 500 | 18k| 500 |3365 |8811 | 0 | 0 |-1.313991e+02 |-2.300000e+01 | 82.50%
18.88/18.95 c 18.9s| 1 | 0 | 50341 | - | 80M| 0 | 375 | 500 | 18k| 500 |2506 |8874 | 0 | 0 |-1.297880e+02 |-2.300000e+01 | 82.28%
19.28/19.34 c 19.3s| 1 | 0 | 51223 | - | 80M| 0 | 362 | 500 | 18k| 500 |2624 |8992 | 0 | 0 |-1.291141e+02 |-2.300000e+01 | 82.19%
19.88/19.93 c 19.9s| 1 | 0 | 53107 | - | 80M| 0 | 383 | 500 | 18k| 500 |2784 |9152 | 0 | 0 |-1.278237e+02 |-2.300000e+01 | 82.01%
20.38/20.44 c 20.4s| 1 | 0 | 54202 | - | 80M| 0 | 370 | 500 | 18k| 500 |2915 |9283 | 0 | 0 |-1.271369e+02 |-2.300000e+01 | 81.91%
20.99/21.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
20.99/21.06 c 21.1s| 1 | 0 | 55880 | - | 80M| 0 | 387 | 500 | 18k| 500 |2992 |9360 | 0 | 0 |-1.259577e+02 |-2.300000e+01 | 81.74%
21.68/21.75 c 21.7s| 1 | 0 | 57459 | - | 80M| 0 | 384 | 500 | 18k| 500 |3137 |9505 | 0 | 0 |-1.253252e+02 |-2.300000e+01 | 81.65%
22.28/22.35 c 22.4s| 1 | 0 | 58618 | - | 80M| 0 | 385 | 500 | 18k| 500 |2616 |9598 | 0 | 0 |-1.246483e+02 |-2.300000e+01 | 81.55%
22.88/22.98 c 23.0s| 1 | 0 | 60276 | - | 80M| 0 | 391 | 500 | 18k| 500 |2678 |9660 | 0 | 0 |-1.237652e+02 |-2.300000e+01 | 81.42%
23.58/23.67 c 23.7s| 1 | 0 | 62300 | - | 80M| 0 | 403 | 500 | 18k| 500 |2812 |9794 | 0 | 0 |-1.225180e+02 |-2.300000e+01 | 81.23%
24.28/24.38 c 24.4s| 1 | 0 | 64276 | - | 80M| 0 | 397 | 500 | 18k| 500 |2955 |9937 | 0 | 0 |-1.213681e+02 |-2.300000e+01 | 81.05%
24.98/25.01 c 25.0s| 1 | 0 | 65420 | - | 81M| 0 | 398 | 500 | 18k| 500 |3084 | 10k| 0 | 0 |-1.207389e+02 |-2.300000e+01 | 80.95%
25.58/25.66 c 25.7s| 1 | 0 | 66602 | - | 81M| 0 | 404 | 500 | 18k| 500 |3202 | 10k| 0 | 0 |-1.202185e+02 |-2.300000e+01 | 80.87%
26.27/26.35 c 26.3s| 1 | 0 | 67826 | - | 81M| 0 | 413 | 500 | 18k| 500 |2593 | 10k| 0 | 0 |-1.196090e+02 |-2.300000e+01 | 80.77%
26.87/26.92 c 26.9s| 1 | 0 | 68857 | - | 81M| 0 | 413 | 500 | 18k| 500 |2641 | 10k| 0 | 0 |-1.192286e+02 |-2.300000e+01 | 80.71%
27.48/27.52 c 27.5s| 1 | 0 | 69951 | - | 81M| 0 | 411 | 500 | 18k| 500 |2715 | 10k| 0 | 0 |-1.187578e+02 |-2.300000e+01 | 80.63%
27.98/28.09 c 28.1s| 1 | 0 | 70910 | - | 81M| 0 | 418 | 500 | 18k| 500 |2761 | 10k| 0 | 0 |-1.184193e+02 |-2.300000e+01 | 80.58%
28.68/28.70 c 28.7s| 1 | 0 | 71892 | - | 81M| 0 | 413 | 500 | 18k| 500 |2791 | 10k| 0 | 0 |-1.180138e+02 |-2.300000e+01 | 80.51%
29.17/29.29 c 29.3s| 1 | 0 | 72867 | - | 81M| 0 | 421 | 500 | 18k| 500 |2814 | 10k| 0 | 0 |-1.176936e+02 |-2.300000e+01 | 80.46%
29.87/29.94 c 29.9s| 1 | 0 | 73825 | - | 81M| 0 | 422 | 500 | 18k| 500 |2538 | 10k| 0 | 0 |-1.173738e+02 |-2.300000e+01 | 80.40%
30.38/30.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
30.38/30.48 c 30.5s| 1 | 0 | 74575 | - | 81M| 0 | 424 | 500 | 18k| 500 |2577 | 10k| 0 | 0 |-1.168501e+02 |-2.300000e+01 | 80.32%
30.97/31.06 c 31.1s| 1 | 0 | 75614 | - | 81M| 0 | 424 | 500 | 18k| 500 |2607 | 10k| 0 | 0 |-1.163348e+02 |-2.300000e+01 | 80.23%
31.57/31.64 c 31.6s| 1 | 0 | 76501 | - | 81M| 0 | 426 | 500 | 18k| 500 |2638 | 10k| 0 | 0 |-1.160685e+02 |-2.300000e+01 | 80.18%
32.18/32.28 c 32.3s| 1 | 0 | 77709 | - | 81M| 0 | 432 | 500 | 18k| 500 |2667 | 10k| 0 | 0 |-1.156513e+02 |-2.300000e+01 | 80.11%
32.87/32.90 c 32.9s| 1 | 0 | 78677 | - | 81M| 0 | 432 | 500 | 18k| 500 |2690 | 10k| 0 | 0 |-1.154450e+02 |-2.300000e+01 | 80.08%
33.37/33.49 c 33.5s| 1 | 0 | 79422 | - | 81M| 0 | 436 | 500 | 18k| 500 |2425 | 10k| 0 | 0 |-1.151966e+02 |-2.300000e+01 | 80.03%
33.97/34.06 c 34.1s| 1 | 0 | 80393 | - | 81M| 0 | 442 | 500 | 18k| 500 |2465 | 10k| 0 | 0 |-1.148791e+02 |-2.300000e+01 | 79.98%
34.47/34.59 c 34.6s| 1 | 0 | 81121 | - | 81M| 0 | 442 | 500 | 18k| 500 |2512 | 10k| 0 | 0 |-1.146653e+02 |-2.300000e+01 | 79.94%
35.17/35.21 c 35.2s| 1 | 0 | 82127 | - | 81M| 0 | 444 | 500 | 18k| 500 |2539 | 10k| 0 | 0 |-1.141722e+02 |-2.300000e+01 | 79.85%
35.66/35.75 c 35.8s| 1 | 0 | 82808 | - | 81M| 0 | 451 | 500 | 18k| 500 |2563 | 10k| 0 | 0 |-1.138974e+02 |-2.300000e+01 | 79.81%
36.36/36.45 c 36.5s| 1 | 0 | 84126 | - | 81M| 0 | 447 | 500 | 18k| 500 |2589 | 10k| 0 | 0 |-1.135882e+02 |-2.300000e+01 | 79.75%
36.86/36.98 c 37.0s| 1 | 0 | 84550 | - | 81M| 0 | 454 | 500 | 18k| 500 |2485 | 10k| 0 | 0 |-1.134609e+02 |-2.300000e+01 | 79.73%
37.47/37.52 c 37.5s| 1 | 0 | 85248 | - | 81M| 0 | 451 | 500 | 18k| 500 |2498 | 10k| 0 | 0 |-1.132279e+02 |-2.300000e+01 | 79.69%
37.96/38.06 c 38.1s| 1 | 0 | 85829 | - | 81M| 0 | 454 | 500 | 18k| 500 |2527 | 10k| 0 | 0 |-1.130270e+02 |-2.300000e+01 | 79.65%
38.57/38.66 c 38.7s| 1 | 0 | 86685 | - | 81M| 0 | 458 | 500 | 18k| 500 |2540 | 10k| 0 | 0 |-1.127819e+02 |-2.300000e+01 | 79.61%
39.16/39.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
39.16/39.20 c 39.2s| 1 | 0 | 87217 | - | 81M| 0 | 458 | 500 | 18k| 500 |2553 | 10k| 0 | 0 |-1.126400e+02 |-2.300000e+01 | 79.58%
39.67/39.73 c 39.7s| 1 | 0 | 87658 | - | 81M| 0 | 463 | 500 | 18k| 500 |2569 | 10k| 0 | 0 |-1.124691e+02 |-2.300000e+01 | 79.55%
40.26/40.35 c 40.3s| 1 | 0 | 88404 | - | 81M| 0 | 464 | 500 | 18k| 500 |2487 | 10k| 0 | 0 |-1.121190e+02 |-2.300000e+01 | 79.49%
40.77/40.84 c 40.8s| 1 | 0 | 88760 | - | 81M| 0 | 461 | 500 | 18k| 500 |2504 | 10k| 0 | 0 |-1.119651e+02 |-2.300000e+01 | 79.46%
41.36/41.41 c 41.4s| 1 | 0 | 89457 | - | 81M| 0 | 465 | 500 | 18k| 500 |2534 | 11k| 0 | 0 |-1.117157e+02 |-2.300000e+01 | 79.41%
41.96/42.00 c 42.0s| 1 | 0 | 90221 | - | 81M| 0 | 462 | 500 | 18k| 500 |2552 | 11k| 0 | 0 |-1.114692e+02 |-2.300000e+01 | 79.37%
42.46/42.52 c 42.5s| 1 | 0 | 90503 | - | 81M| 0 | 469 | 500 | 18k| 500 |2567 | 11k| 0 | 0 |-1.113470e+02 |-2.300000e+01 | 79.34%
43.06/43.11 c 43.1s| 1 | 0 | 91172 | - | 81M| 0 | 472 | 500 | 18k| 500 |2586 | 11k| 0 | 0 |-1.111681e+02 |-2.300000e+01 | 79.31%
43.66/43.71 c 43.7s| 1 | 0 | 91629 | - | 81M| 0 | 470 | 500 | 18k| 500 |2537 | 11k| 0 | 0 |-1.110090e+02 |-2.300000e+01 | 79.28%
44.16/44.22 c 44.2s| 1 | 0 | 91913 | - | 81M| 0 | 469 | 500 | 18k| 500 |2551 | 11k| 0 | 0 |-1.108937e+02 |-2.300000e+01 | 79.26%
44.66/44.76 c 44.8s| 1 | 0 | 92306 | - | 81M| 0 | 472 | 500 | 18k| 500 |2561 | 11k| 0 | 0 |-1.107412e+02 |-2.300000e+01 | 79.23%
45.36/45.41 c 45.4s| 1 | 0 | 93100 | - | 81M| 0 | 475 | 500 | 18k| 500 |2572 | 11k| 0 | 0 |-1.105363e+02 |-2.300000e+01 | 79.19%
45.85/45.95 c 45.9s| 1 | 0 | 93478 | - | 81M| 0 | 479 | 500 | 18k| 500 |2584 | 11k| 0 | 0 |-1.104148e+02 |-2.300000e+01 | 79.17%
46.45/46.52 c 46.5s| 1 | 0 | 94001 | - | 81M| 0 | 479 | 500 | 18k| 500 |2596 | 11k| 0 | 0 |-1.102215e+02 |-2.300000e+01 | 79.13%
46.95/47.03 c 47.0s| 1 | 0 | 94300 | - | 81M| 0 | 481 | 500 | 18k| 500 |2559 | 11k| 0 | 0 |-1.101301e+02 |-2.300000e+01 | 79.12%
47.46/47.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
47.46/47.59 c 47.6s| 1 | 0 | 94774 | - | 81M| 0 | 479 | 500 | 18k| 500 |2567 | 11k| 0 | 0 |-1.099373e+02 |-2.300000e+01 | 79.08%
48.06/48.15 c 48.1s| 1 | 0 | 95231 | - | 81M| 0 | 481 | 500 | 18k| 500 |2578 | 11k| 0 | 0 |-1.097684e+02 |-2.300000e+01 | 79.05%
48.65/48.72 c 48.7s| 1 | 0 | 95706 | - | 81M| 0 | 484 | 500 | 18k| 500 |2587 | 11k| 0 | 0 |-1.096684e+02 |-2.300000e+01 | 79.03%
49.15/49.27 c 49.3s| 1 | 0 | 96105 | - | 81M| 0 | 486 | 500 | 18k| 500 |2598 | 11k| 0 | 0 |-1.095558e+02 |-2.300000e+01 | 79.01%
49.76/49.86 c 49.9s| 1 | 0 | 96599 | - | 81M| 0 | 487 | 500 | 18k| 500 |2609 | 11k| 0 | 0 |-1.093419e+02 |-2.300000e+01 | 78.97%
50.36/50.48 c 50.5s| 1 | 0 | 97119 | - | 81M| 0 | 492 | 500 | 18k| 500 |2574 | 11k| 0 | 0 |-1.092149e+02 |-2.300000e+01 | 78.94%
50.95/51.09 c 51.1s| 1 | 0 | 97650 | - | 80M| 0 | 488 | 500 | 18k| 500 |2585 | 11k| 0 | 0 |-1.090442e+02 |-2.300000e+01 | 78.91%
51.55/51.64 c 51.6s| 1 | 0 | 98064 | - | 80M| 0 | 488 | 500 | 18k| 500 |2598 | 11k| 0 | 0 |-1.089347e+02 |-2.300000e+01 | 78.89%
52.16/52.21 c 52.2s| 1 | 0 | 98528 | - | 80M| 0 | 491 | 500 | 18k| 500 |2607 | 11k| 0 | 0 |-1.088685e+02 |-2.300000e+01 | 78.87%
52.65/52.80 c 52.8s| 1 | 0 | 99042 | - | 80M| 0 | 492 | 500 | 18k| 500 |2620 | 11k| 0 | 0 |-1.087667e+02 |-2.300000e+01 | 78.85%
53.35/53.44 c 53.4s| 1 | 0 | 99733 | - | 80M| 0 | 492 | 500 | 18k| 500 |2629 | 11k| 0 | 0 |-1.086419e+02 |-2.300000e+01 | 78.83%
53.96/54.00 c 54.0s| 1 | 0 | 99973 | - | 79M| 0 | 491 | 500 | 18k| 500 |2597 | 11k| 0 | 0 |-1.085838e+02 |-2.300000e+01 | 78.82%
54.46/54.54 c 54.5s| 1 | 0 |100322 | - | 79M| 0 | 493 | 500 | 18k| 500 |2607 | 11k| 0 | 0 |-1.085073e+02 |-2.300000e+01 | 78.80%
55.06/55.16 c 55.2s| 1 | 0 |101007 | - | 79M| 0 | 493 | 500 | 18k| 500 |2619 | 11k| 0 | 0 |-1.083684e+02 |-2.300000e+01 | 78.78%
55.65/55.71 c 55.7s| 1 | 0 |101399 | - | 79M| 0 | 494 | 500 | 18k| 500 |2632 | 11k| 0 | 0 |-1.083187e+02 |-2.300000e+01 | 78.77%
56.25/56.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
56.25/56.37 c 56.4s| 1 | 0 |102015 | - | 79M| 0 | 497 | 500 | 18k| 500 |2647 | 11k| 0 | 0 |-1.081692e+02 |-2.300000e+01 | 78.74%
56.85/56.97 c 57.0s| 1 | 0 |102508 | - | 78M| 0 | 494 | 500 | 18k| 500 |2661 | 11k| 0 | 0 |-1.080515e+02 |-2.300000e+01 | 78.71%
57.65/57.70 c 57.7s| 1 | 0 |103365 | - | 78M| 0 | 491 | 500 | 18k| 500 |2635 | 11k| 0 | 0 |-1.078091e+02 |-2.300000e+01 | 78.67%
58.26/58.32 c 58.3s| 1 | 0 |103841 | - | 78M| 0 | 492 | 500 | 18k| 500 |2650 | 11k| 0 | 0 |-1.076306e+02 |-2.300000e+01 | 78.63%
58.85/58.90 c 58.9s| 1 | 0 |104233 | - | 78M| 0 | 493 | 500 | 18k| 500 |2669 | 11k| 0 | 0 |-1.075454e+02 |-2.300000e+01 | 78.61%
59.46/59.54 c 59.5s| 1 | 0 |104749 | - | 78M| 0 | 492 | 500 | 18k| 500 |2682 | 11k| 0 | 0 |-1.074018e+02 |-2.300000e+01 | 78.59%
60.05/60.17 c 60.2s| 1 | 0 |105311 | - | 78M| 0 | 496 | 500 | 18k| 500 |2700 | 11k| 0 | 0 |-1.072242e+02 |-2.300000e+01 | 78.55%
60.75/60.87 c 60.9s| 1 | 0 |106044 | - | 78M| 0 | 497 | 500 | 18k| 500 |2716 | 11k| 0 | 0 |-1.070709e+02 |-2.300000e+01 | 78.52%
61.45/61.55 c 61.5s| 1 | 0 |106722 | - | 78M| 0 | 496 | 500 | 18k| 500 |2686 | 11k| 0 | 0 |-1.068863e+02 |-2.300000e+01 | 78.48%
62.05/62.19 c 62.2s| 1 | 0 |107382 | - | 77M| 0 | 495 | 500 | 18k| 500 |2700 | 11k| 0 | 0 |-1.067934e+02 |-2.300000e+01 | 78.46%
62.75/62.83 c 62.8s| 1 | 0 |107883 | - | 77M| 0 | 496 | 500 | 18k| 500 |2710 | 11k| 0 | 0 |-1.066735e+02 |-2.300000e+01 | 78.44%
63.35/63.43 c 63.4s| 1 | 0 |108284 | - | 77M| 0 | 496 | 500 | 18k| 500 |2725 | 11k| 0 | 0 |-1.065500e+02 |-2.300000e+01 | 78.41%
63.95/64.01 c 64.0s| 1 | 0 |108620 | - | 76M| 0 | 498 | 500 | 18k| 500 |2739 | 11k| 0 | 0 |-1.064712e+02 |-2.300000e+01 | 78.40%
64.55/64.60 c 64.6s| 1 | 0 |108934 | - | 76M| 0 | 497 | 500 | 18k| 500 |2748 | 11k| 0 | 0 |-1.064144e+02 |-2.300000e+01 | 78.39%
65.14/65.23 c 65.2s| 1 | 0 |109291 | - | 76M| 0 | 498 | 500 | 18k| 500 |2691 | 11k| 0 | 0 |-1.063331e+02 |-2.300000e+01 | 78.37%
65.65/65.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
65.65/65.78 c 65.8s| 1 | 0 |109543 | - | 75M| 0 | 498 | 500 | 18k| 500 |2702 | 11k| 0 | 0 |-1.062698e+02 |-2.300000e+01 | 78.36%
66.25/66.38 c 66.4s| 1 | 0 |109959 | - | 75M| 0 | 497 | 500 | 18k| 500 |2714 | 11k| 0 | 0 |-1.061701e+02 |-2.300000e+01 | 78.34%
66.94/67.01 c 67.0s| 1 | 0 |110332 | - | 75M| 0 | 497 | 500 | 18k| 500 |2724 | 11k| 0 | 0 |-1.060663e+02 |-2.300000e+01 | 78.32%
67.55/67.61 c 67.6s| 1 | 0 |110726 | - | 74M| 0 | 497 | 500 | 18k| 500 |2737 | 11k| 0 | 0 |-1.059845e+02 |-2.300000e+01 | 78.30%
68.15/68.23 c 68.2s| 1 | 0 |111219 | - | 73M| 0 | 497 | 500 | 18k| 500 |2754 | 11k| 0 | 0 |-1.059286e+02 |-2.300000e+01 | 78.29%
68.85/68.98 c 69.0s| 1 | 0 |112096 | - | 73M| 0 | 497 | 500 | 18k| 500 |2712 | 11k| 0 | 0 |-1.057924e+02 |-2.300000e+01 | 78.26%
69.45/69.59 c 69.6s| 1 | 0 |112550 | - | 73M| 0 | 497 | 500 | 18k| 500 |2723 | 11k| 0 | 0 |-1.057131e+02 |-2.300000e+01 | 78.24%
70.04/70.16 c 70.2s| 1 | 0 |112883 | - | 73M| 0 | 497 | 500 | 18k| 500 |2735 | 11k| 0 | 0 |-1.056524e+02 |-2.300000e+01 | 78.23%
70.65/70.72 c 70.7s| 1 | 0 |113219 | - | 72M| 0 | 499 | 500 | 18k| 500 |2747 | 11k| 0 | 0 |-1.055925e+02 |-2.300000e+01 | 78.22%
71.24/71.37 c 71.4s| 1 | 0 |113786 | - | 71M| 0 | 497 | 500 | 18k| 500 |2759 | 11k| 0 | 0 |-1.054378e+02 |-2.300000e+01 | 78.19%
71.85/71.95 c 71.9s| 1 | 0 |114082 | - | 70M| 0 | 497 | 500 | 18k| 500 |2770 | 11k| 0 | 0 |-1.054170e+02 |-2.300000e+01 | 78.18%
72.45/72.58 c 72.6s| 1 | 0 |114394 | - | 70M| 0 | 497 | 500 | 18k| 500 |2726 | 11k| 0 | 0 |-1.053433e+02 |-2.300000e+01 | 78.17%
73.04/73.17 c 73.2s| 1 | 0 |114911 | - | 69M| 0 | 497 | 500 | 18k| 500 |2738 | 11k| 0 | 0 |-1.052895e+02 |-2.300000e+01 | 78.16%
73.66/73.73 c 73.7s| 1 | 0 |115186 | - | 68M| 0 | 495 | 500 | 18k| 500 |2746 | 11k| 0 | 0 |-1.052565e+02 |-2.300000e+01 | 78.15%
74.25/74.36 c 74.4s| 1 | 0 |115724 | - | 66M| 0 | 499 | 500 | 18k| 500 |2760 | 11k| 0 | 0 |-1.051928e+02 |-2.300000e+01 | 78.14%
74.95/75.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
74.95/75.00 c 75.0s| 1 | 0 |116124 | - | 66M| 0 | 498 | 500 | 18k| 500 |2772 | 11k| 0 | 0 |-1.051341e+02 |-2.300000e+01 | 78.12%
75.54/75.63 c 75.6s| 1 | 0 |116483 | - | 65M| 0 | 497 | 500 | 18k| 500 |2787 | 11k| 0 | 0 |-1.050567e+02 |-2.300000e+01 | 78.11%
76.14/76.29 c 76.3s| 1 | 0 |116816 | - | 65M| 0 | 498 | 500 | 18k| 500 |2748 | 11k| 0 | 0 |-1.050033e+02 |-2.300000e+01 | 78.10%
76.74/76.88 c 76.9s| 1 | 0 |117142 | - | 65M| 0 | 497 | 500 | 18k| 500 |2762 | 11k| 0 | 0 |-1.049699e+02 |-2.300000e+01 | 78.09%
77.35/77.47 c 77.5s| 1 | 0 |117532 | - | 65M| 0 | 499 | 500 | 18k| 500 |2773 | 11k| 0 | 0 |-1.049137e+02 |-2.300000e+01 | 78.08%
77.95/78.06 c 78.1s| 1 | 0 |117834 | - | 65M| 0 | 499 | 500 | 18k| 500 |2787 | 11k| 0 | 0 |-1.048759e+02 |-2.300000e+01 | 78.07%
78.55/78.64 c 78.6s| 1 | 0 |118153 | - | 63M| 0 | 498 | 500 | 18k| 500 |2799 | 11k| 0 | 0 |-1.048430e+02 |-2.300000e+01 | 78.06%
79.15/79.27 c 79.3s| 1 | 0 |118646 | - | 63M| 0 | 499 | 500 | 18k| 500 |2811 | 11k| 0 | 0 |-1.047880e+02 |-2.300000e+01 | 78.05%
79.74/79.87 c 79.9s| 1 | 0 |118932 | - | 63M| 0 | 499 | 500 | 18k| 500 |2778 | 11k| 0 | 0 |-1.047628e+02 |-2.300000e+01 | 78.05%
80.55/80.61 c 80.6s| 1 | 0 |119880 | - | 63M| 0 | 499 | 500 | 18k| 500 |2789 | 11k| 0 | 0 |-1.046587e+02 |-2.300000e+01 | 78.02%
81.14/81.20 c 81.2s| 1 | 0 |120149 | - | 63M| 0 | 499 | 500 | 18k| 500 |2802 | 11k| 0 | 0 |-1.046229e+02 |-2.300000e+01 | 78.02%
81.65/81.77 c 81.8s| 1 | 0 |120371 | - | 63M| 0 | 500 | 500 | 18k| 500 |2815 | 11k| 0 | 0 |-1.045997e+02 |-2.300000e+01 | 78.01%
82.25/82.40 c 82.4s| 1 | 0 |120666 | - | 63M| 0 | 499 | 500 | 18k| 500 |2823 | 11k| 0 | 0 |-1.045608e+02 |-2.300000e+01 | 78.00%
82.94/83.01 c 83.0s| 1 | 0 |121015 | - | 63M| 0 | 498 | 500 | 18k| 500 |2835 | 11k| 0 | 0 |-1.044982e+02 |-2.300000e+01 | 77.99%
83.55/83.62 c 83.6s| 1 | 0 |121326 | - | 63M| 0 | 499 | 500 | 18k| 500 |2775 | 11k| 0 | 0 |-1.044745e+02 |-2.300000e+01 | 77.99%
84.15/84.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
84.15/84.20 c 84.2s| 1 | 0 |121605 | - | 62M| 0 | 500 | 500 | 18k| 500 |2786 | 11k| 0 | 0 |-1.044302e+02 |-2.300000e+01 | 77.98%
84.75/84.86 c 84.9s| 1 | 0 |122191 | - | 62M| 0 | 500 | 500 | 18k| 500 |2797 | 11k| 0 | 0 |-1.043761e+02 |-2.300000e+01 | 77.96%
85.34/85.49 c 85.5s| 1 | 0 |122531 | - | 62M| 0 | 500 | 500 | 18k| 500 |2809 | 11k| 0 | 0 |-1.043373e+02 |-2.300000e+01 | 77.96%
86.04/86.11 c 86.1s| 1 | 0 |122912 | - | 62M| 0 | 500 | 500 | 18k| 500 |2821 | 11k| 0 | 0 |-1.043010e+02 |-2.300000e+01 | 77.95%
86.75/86.88 c 86.9s| 1 | 0 |123815 | - | 62M| 0 | 500 | 500 | 18k| 500 |2833 | 11k| 0 | 0 |-1.041985e+02 |-2.300000e+01 | 77.93%
87.34/87.49 c 87.5s| 1 | 0 |124058 | - | 62M| 0 | 500 | 500 | 18k| 500 |2787 | 11k| 0 | 0 |-1.041786e+02 |-2.300000e+01 | 77.92%
87.95/88.09 c 88.1s| 1 | 0 |124427 | - | 62M| 0 | 499 | 500 | 18k| 500 |2796 | 11k| 0 | 0 |-1.041409e+02 |-2.300000e+01 | 77.91%
88.54/88.68 c 88.7s| 1 | 0 |124721 | - | 62M| 0 | 500 | 500 | 18k| 500 |2809 | 11k| 0 | 0 |-1.040942e+02 |-2.300000e+01 | 77.90%
89.15/89.22 c 89.2s| 1 | 0 |124819 | - | 62M| 0 | 500 | 500 | 18k| 500 |2818 | 11k| 0 | 0 |-1.040903e+02 |-2.300000e+01 | 77.90%
89.74/89.86 c 89.9s| 1 | 0 |125299 | - | 62M| 0 | 500 | 500 | 18k| 500 |2827 | 12k| 0 | 0 |-1.040164e+02 |-2.300000e+01 | 77.89%
90.34/90.45 c 90.5s| 1 | 0 |125533 | - | 62M| 0 | 500 | 500 | 18k| 500 |2839 | 12k| 0 | 0 |-1.039883e+02 |-2.300000e+01 | 77.88%
90.94/91.09 c 91.1s| 1 | 0 |125937 | - | 62M| 0 | 500 | 500 | 18k| 500 |2809 | 12k| 0 | 0 |-1.039694e+02 |-2.300000e+01 | 77.88%
91.54/91.67 c 91.7s| 1 | 0 |126226 | - | 62M| 0 | 500 | 500 | 18k| 500 |2821 | 12k| 0 | 0 |-1.039335e+02 |-2.300000e+01 | 77.87%
92.25/92.30 c 92.3s| 1 | 0 |126613 | - | 62M| 0 | 500 | 500 | 18k| 500 |2835 | 12k| 0 | 0 |-1.038996e+02 |-2.300000e+01 | 77.86%
92.85/92.92 c 92.9s| 1 | 0 |126948 | - | 62M| 0 | 500 | 500 | 18k| 500 |2848 | 12k| 0 | 0 |-1.038722e+02 |-2.300000e+01 | 77.86%
93.45/93.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
93.45/93.56 c 93.6s| 1 | 0 |127314 | - | 62M| 0 | 500 | 500 | 18k| 500 |2861 | 12k| 0 | 0 |-1.038456e+02 |-2.300000e+01 | 77.85%
94.15/94.25 c 94.3s| 1 | 0 |127722 | - | 62M| 0 | 499 | 500 | 18k| 500 |2866 | 12k| 0 | 0 |-1.038152e+02 |-2.300000e+01 | 77.85%
94.74/94.85 c 94.8s| 1 | 0 |127908 | - | 62M| 0 | 499 | 500 | 18k| 500 |2810 | 12k| 0 | 0 |-1.038057e+02 |-2.300000e+01 | 77.84%
95.34/95.45 c 95.4s| 1 | 0 |128245 | - | 62M| 0 | 500 | 500 | 18k| 500 |2820 | 12k| 0 | 0 |-1.037774e+02 |-2.300000e+01 | 77.84%
95.95/96.09 c 96.1s| 1 | 0 |128666 | - | 62M| 0 | 500 | 500 | 18k| 500 |2838 | 12k| 0 | 0 |-1.037373e+02 |-2.300000e+01 | 77.83%
96.64/96.70 c 96.7s| 1 | 0 |128964 | - | 62M| 0 | 500 | 500 | 18k| 500 |2853 | 12k| 0 | 0 |-1.037004e+02 |-2.300000e+01 | 77.82%
97.24/97.39 c 97.4s| 1 | 0 |129557 | - | 62M| 0 | 500 | 500 | 18k| 500 |2865 | 12k| 0 | 0 |-1.036303e+02 |-2.300000e+01 | 77.81%
97.95/98.07 c 98.1s| 1 | 0 |129916 | - | 62M| 0 | 500 | 500 | 18k| 500 |2878 | 12k| 0 | 0 |-1.035851e+02 |-2.300000e+01 | 77.80%
98.74/98.81 c 98.8s| 1 | 0 |130425 | - | 62M| 0 | 500 | 500 | 18k| 500 |2840 | 12k| 0 | 0 |-1.035232e+02 |-2.300000e+01 | 77.78%
99.44/99.53 c 99.5s| 1 | 0 |130855 | - | 62M| 0 | 500 | 500 | 18k| 500 |2855 | 12k| 0 | 0 |-1.034752e+02 |-2.300000e+01 | 77.77%
100.15/100.22 c 100s| 1 | 0 |131330 | - | 62M| 0 | 500 | 500 | 18k| 500 |2863 | 12k| 0 | 0 |-1.034396e+02 |-2.300000e+01 | 77.76%
100.74/100.82 c 101s| 1 | 0 |131607 | - | 62M| 0 | 500 | 500 | 18k| 500 |2876 | 12k| 0 | 0 |-1.034158e+02 |-2.300000e+01 | 77.76%
101.34/101.42 c 101s| 1 | 0 |131777 | - | 62M| 0 | 500 | 500 | 18k| 500 |2895 | 12k| 0 | 0 |-1.034052e+02 |-2.300000e+01 | 77.76%
101.94/102.07 c 102s| 1 | 0 |132067 | - | 62M| 0 | 500 | 500 | 18k| 500 |2905 | 12k| 0 | 0 |-1.033745e+02 |-2.300000e+01 | 77.75%
102.65/102.71 c 103s| 1 | 0 |132332 | - | 62M| 0 | 500 | 500 | 18k| 500 |2869 | 12k| 0 | 0 |-1.033568e+02 |-2.300000e+01 | 77.75%
103.25/103.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
103.25/103.36 c 103s| 1 | 0 |132653 | - | 62M| 0 | 500 | 500 | 18k| 500 |2880 | 12k| 0 | 0 |-1.033174e+02 |-2.300000e+01 | 77.74%
103.95/104.07 c 104s| 1 | 0 |133069 | - | 62M| 0 | 500 | 500 | 18k| 500 |2889 | 12k| 0 | 0 |-1.032922e+02 |-2.300000e+01 | 77.73%
104.55/104.69 c 105s| 1 | 0 |133273 | - | 62M| 0 | 500 | 500 | 18k| 500 |2899 | 12k| 0 | 0 |-1.032699e+02 |-2.300000e+01 | 77.73%
105.24/105.34 c 105s| 1 | 0 |133596 | - | 62M| 0 | 500 | 500 | 18k| 500 |2909 | 12k| 0 | 0 |-1.032305e+02 |-2.300000e+01 | 77.72%
105.94/106.00 c 106s| 1 | 0 |133930 | - | 62M| 0 | 500 | 500 | 18k| 500 |2922 | 12k| 0 | 0 |-1.031972e+02 |-2.300000e+01 | 77.71%
106.65/106.70 c 107s| 1 | 0 |134298 | - | 62M| 0 | 500 | 500 | 18k| 500 |2857 | 12k| 0 | 0 |-1.031694e+02 |-2.300000e+01 | 77.71%
107.24/107.34 c 107s| 1 | 0 |134548 | - | 62M| 0 | 500 | 500 | 18k| 500 |2868 | 12k| 0 | 0 |-1.031447e+02 |-2.300000e+01 | 77.70%
107.85/107.95 c 108s| 1 | 0 |134683 | - | 62M| 0 | 500 | 500 | 18k| 500 |2876 | 12k| 0 | 0 |-1.031393e+02 |-2.300000e+01 | 77.70%
108.54/108.62 c 109s| 1 | 0 |134995 | - | 62M| 0 | 500 | 500 | 18k| 500 |2885 | 12k| 0 | 0 |-1.031051e+02 |-2.300000e+01 | 77.69%
109.14/109.26 c 109s| 1 | 0 |135194 | - | 62M| 0 | 500 | 500 | 18k| 500 |2893 | 12k| 0 | 0 |-1.030866e+02 |-2.300000e+01 | 77.69%
109.74/109.88 c 110s| 1 | 0 |135453 | - | 62M| 0 | 500 | 500 | 18k| 500 |2904 | 12k| 0 | 0 |-1.030761e+02 |-2.300000e+01 | 77.69%
110.44/110.52 c 111s| 1 | 0 |135643 | - | 62M| 0 | 500 | 500 | 18k| 500 |2862 | 12k| 0 | 0 |-1.030615e+02 |-2.300000e+01 | 77.68%
111.05/111.15 c 111s| 1 | 0 |135759 | - | 62M| 0 | 500 | 500 | 18k| 500 |2870 | 12k| 0 | 0 |-1.030513e+02 |-2.300000e+01 | 77.68%
111.74/111.85 c 112s| 1 | 0 |136221 | - | 62M| 0 | 500 | 500 | 18k| 500 |2880 | 12k| 0 | 0 |-1.030328e+02 |-2.300000e+01 | 77.68%
112.44/112.51 c 113s| 1 | 0 |136591 | - | 62M| 0 | 500 | 500 | 18k| 500 |2894 | 12k| 0 | 0 |-1.030092e+02 |-2.300000e+01 | 77.67%
113.04/113.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
113.04/113.19 c 113s| 1 | 0 |136915 | - | 62M| 0 | 500 | 500 | 18k| 500 |2905 | 12k| 0 | 0 |-1.029874e+02 |-2.300000e+01 | 77.67%
113.64/113.77 c 114s| 1 | 0 |137108 | - | 62M| 0 | 500 | 500 | 18k| 500 |2917 | 12k| 0 | 0 |-1.029785e+02 |-2.300000e+01 | 77.67%
114.24/114.36 c 114s| 1 | 0 |137252 | - | 62M| 0 | 500 | 500 | 18k| 500 |2884 | 12k| 0 | 0 |-1.029718e+02 |-2.300000e+01 | 77.66%
114.84/114.98 c 115s| 1 | 0 |137431 | - | 62M| 0 | 500 | 500 | 18k| 500 |2893 | 12k| 0 | 0 |-1.029603e+02 |-2.300000e+01 | 77.66%
115.54/115.64 c 116s| 1 | 0 |137644 | - | 62M| 0 | 500 | 500 | 18k| 500 |2901 | 12k| 0 | 0 |-1.029509e+02 |-2.300000e+01 | 77.66%
116.24/116.30 c 116s| 1 | 0 |137850 | - | 62M| 0 | 500 | 500 | 18k| 500 |2909 | 12k| 0 | 0 |-1.029342e+02 |-2.300000e+01 | 77.66%
116.94/117.00 c 117s| 1 | 0 |138198 | - | 62M| 0 | 500 | 500 | 18k| 500 |2918 | 12k| 0 | 0 |-1.029103e+02 |-2.300000e+01 | 77.65%
117.54/117.65 c 118s| 1 | 0 |138390 | - | 62M| 0 | 500 | 500 | 18k| 500 |2926 | 12k| 0 | 0 |-1.029021e+02 |-2.300000e+01 | 77.65%
118.24/118.30 c 118s| 1 | 0 |138526 | - | 62M| 0 | 500 | 500 | 18k| 500 |2889 | 12k| 0 | 0 |-1.028978e+02 |-2.300000e+01 | 77.65%
118.85/118.96 c 119s| 1 | 0 |138850 | - | 62M| 0 | 500 | 500 | 18k| 500 |2896 | 12k| 0 | 0 |-1.028906e+02 |-2.300000e+01 | 77.65%
119.44/119.56 c 120s| 1 | 0 |138918 | - | 62M| 0 | 500 | 500 | 18k| 500 |2900 | 12k| 0 | 0 |-1.028891e+02 |-2.300000e+01 | 77.65%
120.04/120.17 c 120s| 1 | 0 |138956 | - | 62M| 0 | 500 | 500 | 18k| 500 |2901 | 12k| 0 | 0 |-1.028886e+02 |-2.300000e+01 | 77.65%
120.63/120.77 c 121s| 1 | 0 |139002 | - | 62M| 0 | 500 | 500 | 18k| 500 |2905 | 12k| 0 | 0 |-1.028880e+02 |-2.300000e+01 | 77.65%
132.64/132.73 c 133s| 1 | 2 |139002 | - | 62M| 0 | 500 | 500 | 18k| 500 |2905 | 12k| 0 | 41 |-1.028880e+02 |-2.300000e+01 | 77.65%
430.49/430.65 o -24
430.49/430.65 c R 431s| 4005 | 4004 | 3015k| 718.4 | 122M| 65 | 23 | 500 | 18k| 500 | 575 | 45k| 0 |2161 |-9.851347e+01 |-2.400000e+01 | 75.64%
484.87/485.02 o -25
484.87/485.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
484.87/485.02 c s 485s| 5885 | 5884 | 3681k| 602.1 | 141M| 68 | 21 | 500 | 18k| 500 | 579 | 79k| 0 |2428 |-9.814449e+01 |-2.500000e+01 | 74.53%
500.18/500.31 o -28
500.18/500.31 c c 500s| 6537 | 6536 | 3876k| 571.8 | 147M| 71 | - | 500 | 18k| 500 | 572 | 90k| 0 |2575 |-9.807577e+01 |-2.800000e+01 | 71.45%
532.28/532.47 o -29
532.28/532.47 c * 532s| 7861 | 7829 | 4279k| 526.7 | 159M| 73 | - | 500 | 18k| 500 | 558 | 116k| 0 |2778 |-9.787875e+01 |-2.900000e+01 | 70.37%
543.56/543.76 o -31
543.56/543.76 c * 544s| 8306 | 8189 | 4405k| 513.8 | 163M| 74 | - | 500 | 18k| 500 | 589 | 125k| 0 |2896 |-9.781582e+01 |-3.100000e+01 | 68.31%
547.16/547.35 o -32
547.16/547.35 c o 547s| 8491 | 8358 | 4442k| 506.9 | 164M| 74 | 0 | 500 | 18k| 500 | 552 | 129k| 0 |2922 |-9.776671e+01 |-3.200000e+01 | 67.27%
571.98/572.11 c 572s| 10000 | 9662 | 4771k| 463.3 | 175M| 77 | 24 | 500 | 18k| 500 | 532 | 164k| 0 |2975 |-9.766935e+01 |-3.200000e+01 | 67.24%
659.96/660.15 o -33
659.96/660.15 c * 660s| 16365 | 14529 | 5888k| 351.4 | 213M| 81 | - | 500 | 18k| 500 | 585 | 311k| 0 |3490 |-9.723471e+01 |-3.300000e+01 | 66.06%
692.74/692.93 o -34
692.74/692.93 c * 693s| 19716 | 16369 | 6322k| 313.6 | 227M| 84 | - | 500 | 18k| 500 | 557 | 391k| 0 |3757 |-9.706523e+01 |-3.400000e+01 | 64.97%
695.75/695.90 c 696s| 20000 | 16567 | 6363k| 311.2 | 229M| 85 | 10 | 500 | 18k| 500 | 500 | 398k| 0 |3757 |-9.706176e+01 |-3.400000e+01 | 64.97%
824.92/825.13 c 825s| 30000 | 23297 | 8012k| 262.4 | 281M| 97 | 55 | 500 | 18k| 500 | 552 | 621k| 0 |4527 |-9.614904e+01 |-3.400000e+01 | 64.64%
847.81/848.04 o -35
847.81/848.04 c * 848s| 31589 | 23582 | 8318k| 258.9 | 289M| 101 | - | 500 | 18k| 500 | 555 | 655k| 0 |4562 |-9.594047e+01 |-3.500000e+01 | 63.52%
903.51/903.70 c 904s| 40000 | 27621 | 9052k| 222.9 | 316M| 103 | 273 | 500 | 18k| 500 | 500 | 835k| 0 |4952 |-9.575213e+01 |-3.500000e+01 | 63.45%
960.59/960.85 c 961s| 50000 | 32115 | 9838k| 194.0 | 345M| 113 | 83 | 500 | 18k| 500 | 636 |1051k| 0 |5267 |-9.552836e+01 |-3.500000e+01 | 63.36%
1013.49/1013.70 c 1014s| 60000 | 36269 | 10578k| 174.0 | 372M| 113 | - | 500 | 18k| 500 | 567 |1262k| 0 |5496 |-9.534717e+01 |-3.500000e+01 | 63.29%
1061.39/1061.67 c 1062s| 70000 | 40285 | 11255k| 158.8 | 397M| 113 | - | 500 | 18k| 500 | 533 |1474k| 0 |5722 |-9.518873e+01 |-3.500000e+01 | 63.23%
1113.38/1113.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1113.38/1113.65 c 1114s| 80000 | 44389 | 11990k| 148.1 | 424M| 113 | 57 | 500 | 18k| 500 | 606 |1686k| 0 |5964 |-9.498636e+01 |-3.500000e+01 | 63.15%
1161.76/1162.08 c 1162s| 90000 | 48393 | 12678k| 139.3 | 449M| 121 | - | 500 | 18k| 500 | 560 |1899k| 0 |6186 |-9.485927e+01 |-3.500000e+01 | 63.10%
1215.26/1215.57 c 1216s|100000 | 52337 | 13427k| 132.9 | 475M| 121 | 44 | 500 | 18k| 500 | 542 |2105k| 0 |6405 |-9.473349e+01 |-3.500000e+01 | 63.05%
1266.84/1267.14 c 1267s|110000 | 56339 | 14155k| 127.4 | 501M| 121 | - | 500 | 18k| 500 | 587 |2310k| 0 |6621 |-9.461070e+01 |-3.500000e+01 | 63.01%
1311.04/1311.38 c 1311s|120000 | 60133 | 14793k| 122.1 | 524M| 121 | 4 | 500 | 18k| 500 | 500 |2519k| 0 |6864 |-9.447717e+01 |-3.500000e+01 | 62.95%
1354.02/1354.34 c 1354s|130000 | 63921 | 15409k| 117.5 | 547M| 125 | 102 | 500 | 18k| 500 | 706 |2738k| 0 |7040 |-9.437436e+01 |-3.500000e+01 | 62.91%
1396.73/1397.00 c 1397s|140000 | 67709 | 16018k| 113.4 | 570M| 125 | 12 | 500 | 18k| 500 | 535 |2949k| 0 |7227 |-9.428527e+01 |-3.500000e+01 | 62.88%
1440.42/1440.77 c 1441s|150000 | 71499 | 16641k| 110.0 | 593M| 125 | 3 | 500 | 18k| 500 | 500 |3160k| 0 |7437 |-9.418177e+01 |-3.500000e+01 | 62.84%
1477.61/1477.94 c 1478s|160000 | 75117 | 17185k| 106.5 | 614M| 125 | 55 | 500 | 18k| 500 | 612 |3374k| 0 |7618 |-9.410624e+01 |-3.500000e+01 | 62.81%
1514.90/1515.29 c 1515s|170000 | 78829 | 17747k| 103.6 | 635M| 125 | 86 | 500 | 18k| 500 | 660 |3588k| 0 |7717 |-9.402555e+01 |-3.500000e+01 | 62.78%
1555.70/1556.03 c 1556s|180000 | 82555 | 18346k| 101.2 | 657M| 125 | 17 | 500 | 18k| 500 | 555 |3803k| 0 |7829 |-9.393797e+01 |-3.500000e+01 | 62.74%
1594.29/1594.63 c 1595s|190000 | 86225 | 18904k| 98.8 | 679M| 125 | 3 | 500 | 18k| 500 | 600 |4016k| 0 |8024 |-9.385331e+01 |-3.500000e+01 | 62.71%
1632.79/1633.18 c 1633s|200000 | 89909 | 19467k| 96.6 | 700M| 125 | 24 | 500 | 18k| 500 | 545 |4232k| 0 |8224 |-9.377071e+01 |-3.500000e+01 | 62.67%
1673.98/1674.35 c 1674s|210000 | 93645 | 20070k| 94.9 | 722M| 134 | 27 | 500 | 18k| 500 | 500 |4445k| 0 |8399 |-9.370681e+01 |-3.500000e+01 | 62.65%
1711.38/1711.75 c 1712s|220000 | 97273 | 20635k| 93.2 | 743M| 134 | 5 | 500 | 18k| 500 | 529 |4657k| 0 |8468 |-9.363916e+01 |-3.500000e+01 | 62.62%
1749.57/1749.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1749.57/1749.94 c 1750s|230000 |100831 | 21197k| 91.6 | 764M| 134 | 13 | 500 | 18k| 500 | 537 |4867k| 0 |8608 |-9.357692e+01 |-3.500000e+01 | 62.60%
1788.86/1789.28 c 1789s|240000 |104335 | 21770k| 90.1 | 785M| 134 | 42 | 500 | 18k| 500 | 500 |5078k| 0 |8807 |-9.350534e+01 |-3.500000e+01 | 62.57%
1796.66/1797.00 c
1796.66/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.66/1797.00 c Solving Time (sec) : 1797.00
1796.66/1797.00 c Solving Nodes : 242545
1796.66/1797.00 c Primal Bound : -3.50000000000000e+01 (901 solutions)
1796.66/1797.00 c Dual Bound : -9.34963437593312e+01
1796.66/1797.00 c Gap : 62.57 %
1796.66/1797.02 s SATISFIABLE
1796.66/1797.02 v -x500 -x499 -x498 x497 -x496 -x495 x494 -x493 -x492 -x491 -x490 x489 -x488 x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479
1796.66/1797.02 v -x478 -x477 x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458
1796.66/1797.02 v -x457 -x456 -x455 -x454 -x453 -x452 -x451 x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 x438 -x437 -x436
1796.66/1797.02 v -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416
1796.66/1797.02 v -x415 x414 -x413 -x412 x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394
1796.66/1797.02 v -x393 -x392 -x391 x390 -x389 -x388 -x387 -x386 -x385 x384 -x383 x382 -x381 -x380 x379 -x378 -x377 -x376 -x375 -x374 -x373
1796.66/1797.02 v -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352
1796.66/1797.02 v -x351 -x350 x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331
1796.66/1797.02 v x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 x319 -x318 x317 -x316 x315 -x314 -x313 -x312 -x311 -x310
1796.66/1797.02 v -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 x291 -x290 -x289
1796.66/1797.02 v -x288 x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 x270 -x269 -x268 -x267
1796.66/1797.02 v -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246
1796.66/1797.02 v -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226
1796.66/1797.02 v -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205
1796.66/1797.02 v -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184
1796.66/1797.02 v -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163
1796.66/1797.02 v -x162 -x161 -x160 -x159 -x158 x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142
1796.66/1797.02 v -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 x127 -x126 -x125 x124 -x123 -x122 -x121
1796.66/1797.02 v -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100
1796.66/1797.02 v -x99 -x98 x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 x76 -x75
1796.66/1797.02 v -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 x53 -x52 -x51 -x50 -x49
1796.66/1797.02 v -x48 -x47 -x46 -x45 x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 x36 -x35 -x34 -x33 x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24
1796.66/1797.02 v -x23 -x22 -x21 -x20 x19 -x18 -x17 -x16 -x15 -x14 -x13 x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1796.66/1797.02 c SCIP Status : solving was interrupted [time limit reached]
1796.66/1797.02 c Total Time : 1797.00
1796.66/1797.02 c solving : 1797.00
1796.66/1797.02 c presolving : 0.42 (included in solving)
1796.66/1797.02 c reading : 0.09 (included in solving)
1796.66/1797.02 c Original Problem :
1796.66/1797.02 c Problem name : HOME/instance-3737131-1338724660.opb
1796.66/1797.02 c Variables : 19230 (19230 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.66/1797.02 c Constraints : 19730 initial, 19730 maximal
1796.66/1797.02 c Presolved Problem :
1796.66/1797.02 c Problem name : t_HOME/instance-3737131-1338724660.opb
1796.66/1797.02 c Variables : 500 (500 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.66/1797.02 c Constraints : 18730 initial, 18730 maximal
1796.66/1797.02 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.66/1797.02 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1796.66/1797.02 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1796.66/1797.02 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1796.66/1797.02 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1796.66/1797.02 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1796.66/1797.02 c implics : 0.00 0 0 0 0 0 0 0 0 0
1796.66/1797.02 c probing : 0.17 0 0 0 0 0 0 0 0 0
1796.66/1797.02 c setppc : 0.02 0 0 0 0 0 0 0 0 0
1796.66/1797.02 c and : 0.13 0 0 0 0 0 0 0 0 0
1796.66/1797.02 c linear : 0.05 18730 0 0 18730 0 500 0 0 0
1796.66/1797.02 c pseudoboolean : 0.01 0 0 0 0 0 500 0 0 0
1796.66/1797.02 c root node : - 0 - - 0 - - - - -
1796.66/1797.02 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1796.66/1797.02 c integral : 0 0 0 254131 0 116630 0 5 49 0 0 349292
1796.66/1797.02 c setppc : 18730 220 433982 79462 1 116626 0 1 3088909 5130591 0 0
1796.66/1797.02 c countsols : 0 0 0 5 1 898 0 0 0 0 0 0
1796.66/1797.02 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1796.66/1797.02 c integral : 164.04 0.00 0.00 164.00 0.00 0.04 0.00
1796.66/1797.02 c setppc : 73.43 1.10 22.72 5.02 0.00 44.59 0.00
1796.66/1797.02 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.66/1797.02 c Propagators : #Propagate #Resprop Cutoffs DomReds
1796.66/1797.02 c vbounds : 0 0 0 0
1796.66/1797.02 c rootredcost : 9 0 0 0
1796.66/1797.02 c pseudoobj : 436163 0 1 5
1796.66/1797.02 c Propagator Timings : TotalTime Propagate Resprop
1796.66/1797.02 c vbounds : 0.08 0.08 0.00
1796.66/1797.02 c rootredcost : 0.08 0.08 0.00
1796.66/1797.02 c pseudoobj : 3.67 3.67 0.00
1796.66/1797.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.66/1797.02 c propagation : 0.00 1 0 0 0.0 0 0.0 -
1796.66/1797.02 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1796.66/1797.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.66/1797.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.66/1797.02 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.66/1797.02 c applied globally : - - - 0 0.0 - - -
1796.66/1797.02 c applied locally : - - - 0 0.0 - - -
1796.66/1797.02 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1796.66/1797.02 c cut pool : 0.43 219 - - 2292 - (maximal pool size: 11900)
1796.66/1797.02 c redcost : 2.92 256206 0 2857 0 0
1796.66/1797.02 c impliedbounds : 0.14 220 0 0 17265 0
1796.66/1797.02 c intobj : 0.00 0 0 0 0 0
1796.66/1797.02 c gomory : 78.00 219 0 0 29774 0
1796.66/1797.02 c cgmip : 0.00 0 0 0 0 0
1796.66/1797.02 c closecuts : 0.00 0 0 0 0 0
1796.66/1797.02 c strongcg : 0.94 20 0 0 10000 0
1796.66/1797.02 c cmir : 0.71 10 0 0 0 0
1796.66/1797.02 c flowcover : 0.66 10 0 0 0 0
1796.66/1797.02 c clique : 4.31 219 0 0 2065 0
1796.66/1797.02 c zerohalf : 0.00 0 0 0 0 0
1796.66/1797.02 c mcf : 0.01 1 0 0 0 0
1796.66/1797.02 c oddcycle : 0.00 0 0 0 0 0
1796.66/1797.02 c rapidlearning : 0.00 0 0 0 0 0
1796.66/1797.02 c Pricers : Time Calls Vars
1796.66/1797.02 c problem variables: 0.00 0 0
1796.66/1797.02 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1796.66/1797.02 c relpscost : 163.88 174669 5 49 0 0 349292
1796.66/1797.02 c pscost : 0.00 0 0 0 0 0 0
1796.66/1797.02 c inference : 0.00 1 0 0 0 0 2
1796.66/1797.02 c mostinf : 0.00 0 0 0 0 0 0
1796.66/1797.02 c leastinf : 0.00 0 0 0 0 0 0
1796.66/1797.02 c fullstrong : 0.00 0 0 0 0 0 0
1796.66/1797.02 c allfullstrong : 0.00 0 0 0 0 0 0
1796.66/1797.02 c random : 0.00 0 0 0 0 0 0
1796.66/1797.02 c Primal Heuristics : Time Calls Found
1796.66/1797.02 c LP solutions : 0.01 - 5
1796.66/1797.02 c pseudo solutions : 0.00 - 0
1796.66/1797.02 c feaspump : 0.01 0 0
1796.66/1797.02 c oneopt : 0.06 11 1
1796.66/1797.02 c crossover : 3.14 34 18
1796.66/1797.02 c guideddiving : 3.84 411 27
1796.66/1797.02 c objpscostdiving : 5.25 206 23
1796.66/1797.02 c rootsoldiving : 3.40 206 14
1796.66/1797.02 c coefdiving : 4.12 412 52
1796.66/1797.02 c pscostdiving : 4.38 412 43
1796.66/1797.02 c linesearchdiving : 3.93 412 36
1796.66/1797.02 c fracdiving : 3.86 412 28
1796.66/1797.02 c veclendiving : 6.22 412 109
1796.66/1797.02 c trivial : 0.02 2 1
1796.66/1797.02 c shiftandpropagate: 0.00 0 0
1796.66/1797.02 c simplerounding : 38.14 174899 540
1796.66/1797.02 c zirounding : 0.23 1000 0
1796.66/1797.02 c rounding : 12.09 27053 2
1796.66/1797.02 c shifting : 4.40 7824 2
1796.66/1797.02 c intshifting : 0.00 0 0
1796.66/1797.02 c twoopt : 0.00 0 0
1796.66/1797.02 c fixandinfer : 0.00 0 0
1796.66/1797.02 c clique : 0.00 0 0
1796.66/1797.02 c intdiving : 0.00 0 0
1796.66/1797.02 c actconsdiving : 0.00 0 0
1796.66/1797.02 c octane : 0.00 0 0
1796.66/1797.02 c rens : 0.04 0 0
1796.66/1797.02 c rins : 0.00 0 0
1796.66/1797.02 c localbranching : 0.00 0 0
1796.66/1797.02 c mutation : 0.00 0 0
1796.66/1797.02 c dins : 0.00 0 0
1796.66/1797.02 c vbounds : 0.00 0 0
1796.66/1797.02 c undercover : 0.02 1 0
1796.66/1797.02 c subnlp : 0.04 0 0
1796.66/1797.02 c trysol : 0.05 0 0
1796.66/1797.02 c LP : Time Calls Iterations Iter/call Iter/sec
1796.66/1797.02 c primal LP : 10.16 0 0 0.00 0.00
1796.66/1797.02 c dual LP : 1326.92 322267 21455573 66.58 16169.41
1796.66/1797.02 c lex dual LP : 0.00 0 0 0.00 -
1796.66/1797.02 c barrier LP : 0.00 0 0 0.00 -
1796.66/1797.02 c diving/probing LP: 26.25 13327 434346 32.59 16548.69
1796.66/1797.02 c strong branching : 160.89 8807 1807099 205.19 11232.06
1796.66/1797.02 c (at root node) : - 41 41000 1000.00 -
1796.66/1797.02 c conflict analysis: 0.00 0 0 0.00 -
1796.66/1797.02 c B&B Tree :
1796.66/1797.02 c number of runs : 1
1796.66/1797.02 c nodes : 242545
1796.66/1797.02 c nodes (total) : 242545
1796.66/1797.02 c nodes left : 105220
1796.66/1797.02 c max depth : 134
1796.66/1797.02 c max depth (total): 134
1796.66/1797.02 c backtracks : 20641 (8.5%)
1796.66/1797.02 c delayed cutoffs : 0
1796.66/1797.02 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.66/1797.02 c avg switch length: 4.02
1796.66/1797.02 c switching time : 52.12
1796.66/1797.02 c Solution :
1796.66/1797.02 c Solutions found : 901 (13 improvements)
1796.66/1797.02 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.18 seconds, depth 0, found by <trivial>)
1796.66/1797.02 c Primal Bound : -3.50000000000000e+01 (in run 1, after 31589 nodes, 848.03 seconds, depth 62, found by <relaxation>)
1796.66/1797.02 c Dual Bound : -9.34963437593312e+01
1796.66/1797.02 c Gap : 62.57 %
1796.66/1797.02 c Root Dual Bound : -1.02887980001228e+02
1796.66/1797.02 c Root Iterations : 139002
1797.46/1797.86 c Time complete: 1797.53.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3737131-1338724660/watcher-3737131-1338724660 -o /tmp/evaluation-result-3737131-1338724660/solver-3737131-1338724660 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3737131-1338724660.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 15602
/proc/meminfo: memFree=27143144/32873648 swapFree=6860/6860
[pid=15602] ppid=15600 vsize=9588 CPUtime=0 cores=1,3,5,7
/proc/15602/stat : 15602 (scip-2.0.1.4b_2) R 15600 15602 13307 0 -1 4202496 1542 0 0 0 0 0 0 0 20 0 1 0 338592099 9818112 1496 33554432000 4194304 9016284 140737102185744 140734296582568 7775056 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15602/statm: 2398 1502 326 1178 0 1216 0
[startup+0.100185 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 15602
/proc/meminfo: memFree=27143144/32873648 swapFree=6860/6860
[pid=15602] ppid=15600 vsize=42368 CPUtime=0.09 cores=1,3,5,7
/proc/15602/stat : 15602 (scip-2.0.1.4b_2) R 15600 15602 13307 0 -1 4202496 9562 0 0 0 8 1 0 0 20 0 1 0 338592099 43384832 9480 33554432000 4194304 9016284 140737102185744 140734296582568 4530476 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15602/statm: 10592 9480 422 1178 0 9410 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 42368
[startup+0.200282 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 15602
/proc/meminfo: memFree=27143144/32873648 swapFree=6860/6860
[pid=15602] ppid=15600 vsize=73460 CPUtime=0.19 cores=1,3,5,7
/proc/15602/stat : 15602 (scip-2.0.1.4b_2) R 15600 15602 13307 0 -1 4202496 16815 0 0 0 17 2 0 0 20 0 1 0 338592099 75223040 16733 33554432000 4194304 9016284 140737102185744 140734296582568 4786469 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15602/statm: 18365 16733 467 1178 0 17183 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 73460
[startup+0.300338 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 15602
/proc/meminfo: memFree=27143144/32873648 swapFree=6860/6860
[pid=15602] ppid=15600 vsize=82392 CPUtime=0.28 cores=1,3,5,7
/proc/15602/stat : 15602 (scip-2.0.1.4b_2) R 15600 15602 13307 0 -1 4202496 19307 0 0 0 26 2 0 0 20 0 1 0 338592099 84369408 18982 33554432000 4194304 9016284 140737102185744 140734296582568 4802060 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15602/statm: 20598 18982 480 1178 0 19416 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 82392
[startup+0.700234 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 15602
/proc/meminfo: memFree=27143144/32873648 swapFree=6860/6860
[pid=15602] ppid=15600 vsize=115416 CPUtime=0.69 cores=1,3,5,7
/proc/15602/stat : 15602 (scip-2.0.1.4b_2) R 15600 15602 13307 0 -1 4202496 27620 0 0 0 65 4 0 0 20 0 1 0 338592099 118185984 26539 33554432000 4194304 9016284 140737102185744 140737102179912 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15602/statm: 28854 26539 615 1178 0 27672 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 115416
[startup+1.50018 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15603
/proc/meminfo: memFree=27037636/32873648 swapFree=6860/6860
[pid=15602] ppid=15600 vsize=117664 CPUtime=1.49 cores=1,3,5,7
/proc/15602/stat : 15602 (scip-2.0.1.4b_2) R 15600 15602 13307 0 -1 4202496 30890 0 0 0 144 5 0 0 20 0 1 0 338592099 120487936 27553 33554432000 4194304 9016284 140737102185744 140737102179912 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15602/statm: 29416 27553 669 1178 0 28234 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 117664
[startup+3.10019 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15603
/proc/meminfo: memFree=27034164/32873648 swapFree=6860/6860
[pid=15602] ppid=15600 vsize=121920 CPUtime=3.09 cores=1,3,5,7
/proc/15602/stat : 15602 (scip-2.0.1.4b_2) R 15600 15602 13307 0 -1 4202496 32187 0 0 0 303 6 0 0 20 0 1 0 338592099 124846080 28850 33554432000 4194304 9016284 140737102185744 140737102180904 6270516 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15602/statm: 30480 28850 669 1178 0 29298 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 121920
[startup+6.30017 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15603
/proc/meminfo: memFree=27028076/32873648 swapFree=6860/6860
[pid=15602] ppid=15600 vsize=124144 CPUtime=6.29 cores=1,3,5,7
/proc/15602/stat : 15602 (scip-2.0.1.4b_2) R 15600 15602 13307 0 -1 4202496 32920 0 0 0 622 7 0 0 20 0 1 0 338592099 127123456 29583 33554432000 4194304 9016284 140737102185744 140737102179656 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15602/statm: 31036 29583 672 1178 0 29854 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 124144
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15603
/proc/meminfo: memFree=27012444/32873648 swapFree=6860/6860
[pid=15602] ppid=15600 vsize=140656 CPUtime=12.69 cores=1,3,5,7
/proc/15602/stat : 15602 (scip-2.0.1.4b_2) R 15600 15602 13307 0 -1 4202496 36724 0 0 0 1256 13 0 0 20 0 1 0 338592099 144031744 33764 33554432000 4194304 9016284 140737102185744 140737102178664 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15602/statm: 35164 33764 673 1178 0 33982 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 140656
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15603
/proc/meminfo: memFree=26995964/32873648 swapFree=6860/6860
[pid=15602] ppid=15600 vsize=152668 CPUtime=25.47 cores=1,3,5,7
/proc/15602/stat : 15602 (scip-2.0.1.4b_2) R 15600 15602 13307 0 -1 4202496 39669 0 0 0 2526 21 0 0 20 0 1 0 338592099 156332032 36901 33554432000 4194304 9016284 140737102185744 140737102180856 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15602/statm: 38167 36901 673 1178 0 36985 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 152668
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15603
/proc/meminfo: memFree=26993888/32873648 swapFree=6860/6860
[pid=15602] ppid=15600 vsize=152668 CPUtime=51.05 cores=1,3,5,7
/proc/15602/stat : 15602 (scip-2.0.1.4b_2) R 15600 15602 13307 0 -1 4202496 39700 0 0 0 5070 35 0 0 20 0 1 0 338592099 156332032 36938 33554432000 4194304 9016284 140737102185744 140737102180808 4905132 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15602/statm: 38167 36938 673 1178 0 36985 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 152668
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15603
/proc/meminfo: memFree=26990352/32873648 swapFree=6860/6860
[pid=15602] ppid=15600 vsize=152668 CPUtime=102.24 cores=1,3,5,7
/proc/15602/stat : 15602 (scip-2.0.1.4b_2) R 15600 15602 13307 0 -1 4202496 39735 0 0 0 10164 60 0 0 20 0 1 0 338592099 156332032 36977 33554432000 4194304 9016284 140737102185744 140737102180856 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15602/statm: 38167 36977 673 1178 0 36985 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 152668
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15606
/proc/meminfo: memFree=26984584/32873648 swapFree=6860/6860
[pid=15602] ppid=15600 vsize=152524 CPUtime=162.24 cores=1,3,5,7
/proc/15602/stat : 15602 (scip-2.0.1.4b_2) R 15600 15602 13307 0 -1 4202496 43403 0 0 0 16129 95 0 0 20 0 1 0 338592099 156184576 36934 33554432000 4194304 9016284 140737102185744 140737102180072 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15602/statm: 38131 36934 689 1178 0 36949 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 152524
[startup+222.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15629
/proc/meminfo: memFree=26974728/32873648 swapFree=6860/6860
[pid=15602] ppid=15600 vsize=158680 CPUtime=222.23 cores=1,3,5,7
/proc/15602/stat : 15602 (scip-2.0.1.4b_2) R 15600 15602 13307 0 -1 4202496 51591 0 0 0 22053 170 0 0 20 0 1 0 338592099 162488320 38044 33554432000 4194304 9016284 140737102185744 140737102179704 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15602/statm: 39670 38044 700 1178 0 38488 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 158680
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15629
/proc/meminfo: memFree=26959004/32873648 swapFree=6860/6860
[pid=15602] ppid=15600 vsize=169768 CPUtime=282.21 cores=1,3,5,7
/proc/15602/stat : 15602 (scip-2.0.1.4b_2) R 15600 15602 13307 0 -1 4202496 60861 0 0 0 27976 245 0 0 20 0 1 0 338592099 173842432 40437 33554432000 4194304 9016284 140737102185744 140737102179704 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15602/statm: 42442 40437 700 1178 0 41260 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 169768
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15630
/proc/meminfo: memFree=26933628/32873648 swapFree=6860/6860
[pid=15602] ppid=15600 vsize=186284 CPUtime=342.2 cores=1,3,5,7
/proc/15602/stat : 15602 (scip-2.0.1.4b_2) R 15600 15602 13307 0 -1 4202496 71999 0 0 0 33900 320 0 0 20 0 1 0 338592099 190754816 44326 33554432000 4194304 9016284 140737102185744 140737102179704 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15602/statm: 46571 44326 700 1178 0 45389 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 186284
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15630
/proc/meminfo: memFree=26908332/32873648 swapFree=6860/6860
[pid=15602] ppid=15600 vsize=205864 CPUtime=402.2 cores=1,3,5,7
/proc/15602/stat : 15602 (scip-2.0.1.4b_2) R 15600 15602 13307 0 -1 4202496 83969 0 0 0 39823 397 0 0 20 0 1 0 338592099 210804736 49037 33554432000 4194304 9016284 140737102185744 140737102179544 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15602/statm: 51466 49037 700 1178 0 50284 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 205864
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15630
/proc/meminfo: memFree=26878328/32873648 swapFree=6860/6860
[pid=15602] ppid=15600 vsize=224472 CPUtime=462.18 cores=1,3,5,7
/proc/15602/stat : 15602 (scip-2.0.1.4b_2) R 15600 15602 13307 0 -1 4202496 109955 0 0 0 45741 477 0 0 20 0 1 0 338592099 229859328 54553 33554432000 4194304 9016284 140737102185744 140737102179608 5862996 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15602/statm: 56118 54553 700 1178 0 54936 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 224472
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15630
/proc/meminfo: memFree=26853824/32873648 swapFree=6860/6860
[pid=15602] ppid=15600 vsize=246392 CPUtime=522.17 cores=1,3,5,7
/proc/15602/stat : 15602 (scip-2.0.1.4b_2) R 15600 15602 13307 0 -1 4202496 129384 0 0 0 51659 558 0 0 20 0 1 0 338592099 252305408 59446 33554432000 4194304 9016284 140737102185744 140737102179704 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15602/statm: 61598 59446 700 1178 0 60416 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 246392
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15630
/proc/meminfo: memFree=26825656/32873648 swapFree=6860/6860
[pid=15602] ppid=15600 vsize=266820 CPUtime=582.16 cores=1,3,5,7
/proc/15602/stat : 15602 (scip-2.0.1.4b_2) R 15600 15602 13307 0 -1 4202496 156270 0 0 0 57566 650 0 0 20 0 1 0 338592099 273223680 64621 33554432000 4194304 9016284 140737102185744 140737102178664 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15602/statm: 66705 64621 700 1178 0 65523 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 266820
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=26725072/32873648 swapFree=6860/6860
[pid=15602] ppid=15600 vsize=487784 CPUtime=1062.08 cores=1,3,5,7
/proc/15602/stat : 15602 (scip-2.0.1.4b_2) R 15600 15602 13307 0 -1 4202496 346766 0 0 0 104813 1395 0 0 20 0 1 0 338592099 499490816 119619 33554432000 4194304 9016284 140737102185744 140737102179656 4318198 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15602/statm: 121946 119619 701 1178 0 120764 0
Current children cumulated CPU time (s) 1062.08
Current children cumulated vsize (KiB) 487784
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15673
/proc/meminfo: memFree=26638208/32873648 swapFree=6860/6860
[pid=15602] ppid=15600 vsize=515048 CPUtime=1122.07 cores=1,3,5,7
/proc/15602/stat : 15602 (scip-2.0.1.4b_2) R 15600 15602 13307 0 -1 4202496 353719 0 0 0 110719 1488 0 0 20 0 1 0 338592099 527409152 126572 33554432000 4194304 9016284 140737102185744 140737102179704 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15602/statm: 128762 126572 701 1178 0 127580 0
Current children cumulated CPU time (s) 1122.07
Current children cumulated vsize (KiB) 515048
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15673
/proc/meminfo: memFree=26563712/32873648 swapFree=6860/6860
[pid=15602] ppid=15600 vsize=540556 CPUtime=1182.05 cores=1,3,5,7
/proc/15602/stat : 15602 (scip-2.0.1.4b_2) R 15600 15602 13307 0 -1 4202496 367385 0 0 0 116627 1578 0 0 20 0 1 0 338592099 553529344 133274 33554432000 4194304 9016284 140737102185744 140737102179656 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15602/statm: 135139 133274 701 1178 0 133957 0
Current children cumulated CPU time (s) 1182.05
Current children cumulated vsize (KiB) 540556
[startup+1242.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 15674
/proc/meminfo: memFree=26481652/32873648 swapFree=6860/6860
[pid=15602] ppid=15600 vsize=574752 CPUtime=1242.04 cores=1,3,5,7
/proc/15602/stat : 15602 (scip-2.0.1.4b_2) R 15600 15602 13307 0 -1 4202496 375699 0 0 0 122527 1677 0 0 20 0 1 0 338592099 588546048 141808 33554432000 4194304 9016284 140737102185744 140737102179704 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15602/statm: 143688 141808 701 1178 0 142506 0
Current children cumulated CPU time (s) 1242.04
Current children cumulated vsize (KiB) 574752
[startup+1302.3 s]
/proc/loadavg: 2.08 2.02 2.00 3/177 15674
/proc/meminfo: memFree=26404084/32873648 swapFree=6860/6860
[pid=15602] ppid=15600 vsize=606208 CPUtime=1302.04 cores=1,3,5,7
/proc/15602/stat : 15602 (scip-2.0.1.4b_2) R 15600 15602 13307 0 -1 4202496 382915 0 0 0 128430 1774 0 0 20 0 1 0 338592099 620756992 149707 33554432000 4194304 9016284 140737102185744 140737102179656 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15602/statm: 151552 149707 701 1178 0 150370 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 606208
[startup+1362.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 15677
/proc/meminfo: memFree=26330628/32873648 swapFree=6860/6860
[pid=15602] ppid=15600 vsize=635652 CPUtime=1362.03 cores=1,3,5,7
/proc/15602/stat : 15602 (scip-2.0.1.4b_2) R 15600 15602 13307 0 -1 4202496 390490 0 0 0 134334 1869 0 0 20 0 1 0 338592099 650907648 157282 33554432000 4194304 9016284 140737102185744 140737102180072 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15602/statm: 158913 157282 701 1178 0 157731 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 635652
[startup+1422.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 15677
/proc/meminfo: memFree=26253412/32873648 swapFree=6860/6860
[pid=15602] ppid=15600 vsize=670400 CPUtime=1422.03 cores=1,3,5,7
/proc/15602/stat : 15602 (scip-2.0.1.4b_2) R 15600 15602 13307 0 -1 4202496 405353 0 0 0 140235 1968 0 0 20 0 1 0 338592099 686489600 165089 33554432000 4194304 9016284 140737102185744 140737102179912 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15602/statm: 167600 165089 701 1178 0 166418 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 670400
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15677
/proc/meminfo: memFree=26215996/32873648 swapFree=6860/6860
[pid=15602] ppid=15600 vsize=704092 CPUtime=1482.01 cores=1,3,5,7
/proc/15602/stat : 15602 (scip-2.0.1.4b_2) R 15600 15602 13307 0 -1 4202496 413896 0 0 0 146134 2067 0 0 20 0 1 0 338592099 720990208 173632 33554432000 4194304 9016284 140737102185744 140737102179976 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15602/statm: 176023 173632 701 1178 0 174841 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 704092
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15678
/proc/meminfo: memFree=26174424/32873648 swapFree=6860/6860
[pid=15602] ppid=15600 vsize=744744 CPUtime=1542 cores=1,3,5,7
/proc/15602/stat : 15602 (scip-2.0.1.4b_2) R 15600 15602 13307 0 -1 4202496 423997 0 0 0 152034 2166 0 0 20 0 1 0 338592099 762617856 183733 33554432000 4194304 9016284 140737102185744 140737102179608 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15602/statm: 186186 183733 701 1178 0 185004 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 744744
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15678
/proc/meminfo: memFree=26137472/32873648 swapFree=6860/6860
[pid=15602] ppid=15600 vsize=775324 CPUtime=1601.99 cores=1,3,5,7
/proc/15602/stat : 15602 (scip-2.0.1.4b_2) R 15600 15602 13307 0 -1 4202496 431739 0 0 0 157938 2261 0 0 20 0 1 0 338592099 793931776 191475 33554432000 4194304 9016284 140737102185744 140737102179912 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15602/statm: 193831 191475 701 1178 0 192649 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 775324
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15678
/proc/meminfo: memFree=26088868/32873648 swapFree=6860/6860
[pid=15602] ppid=15600 vsize=809716 CPUtime=1661.98 cores=1,3,5,7
/proc/15602/stat : 15602 (scip-2.0.1.4b_2) R 15600 15602 13307 0 -1 4202496 440179 0 0 0 163837 2361 0 0 20 0 1 0 338592099 829149184 199915 33554432000 4194304 9016284 140737102185744 140737102180072 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15602/statm: 202429 199915 701 1178 0 201247 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 809716
[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 15678
/proc/meminfo: memFree=26036540/32873648 swapFree=6860/6860
[pid=15602] ppid=15600 vsize=837964 CPUtime=1721.97 cores=1,3,5,7
/proc/15602/stat : 15602 (scip-2.0.1.4b_2) R 15600 15602 13307 0 -1 4202496 447241 0 0 0 169738 2459 0 0 20 0 1 0 338592099 858075136 206977 33554432000 4194304 9016284 140737102185744 140737102179912 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15602/statm: 209491 206977 702 1178 0 208309 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 837964
[startup+1782.3 s]
/proc/loadavg: 2.08 2.02 2.00 3/178 15679
/proc/meminfo: memFree=25967092/32873648 swapFree=6860/6860
[pid=15602] ppid=15600 vsize=875256 CPUtime=1781.97 cores=1,3,5,7
/proc/15602/stat : 15602 (scip-2.0.1.4b_2) R 15600 15602 13307 0 -1 4202496 463769 0 0 0 175640 2557 0 0 20 0 1 0 338592099 896262144 216426 33554432000 4194304 9016284 140737102185744 140737102180024 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15602/statm: 218814 216426 702 1178 0 217632 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 875256
Solver just ended. Dumping a history of the last processes samples
[startup+1785.6 s]
/proc/loadavg: 2.08 2.02 2.00 3/178 15679
/proc/meminfo: memFree=25966348/32873648 swapFree=6860/6860
[pid=15602] ppid=15600 vsize=876560 CPUtime=1785.26 cores=1,3,5,7
/proc/15602/stat : 15602 (scip-2.0.1.4b_2) R 15600 15602 13307 0 -1 4202496 463952 0 0 0 175962 2564 0 0 20 0 1 0 338592099 897597440 216609 33554432000 4194304 9016284 140737102185744 140737102179608 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15602/statm: 219140 216609 702 1178 0 217958 0
Current children cumulated CPU time (s) 1785.26
Current children cumulated vsize (KiB) 876560
[startup+1792.01 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 15679
/proc/meminfo: memFree=25959776/32873648 swapFree=6860/6860
[pid=15602] ppid=15600 vsize=879644 CPUtime=1791.66 cores=1,3,5,7
/proc/15602/stat : 15602 (scip-2.0.1.4b_2) R 15600 15602 13307 0 -1 4202496 464941 0 0 0 176592 2574 0 0 20 0 1 0 338592099 900755456 217598 33554432000 4194304 9016284 140737102185744 140737102179656 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15602/statm: 219911 217598 702 1178 0 218729 0
Current children cumulated CPU time (s) 1791.66
Current children cumulated vsize (KiB) 879644
[startup+1795.2 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 15679
/proc/meminfo: memFree=25959280/32873648 swapFree=6860/6860
[pid=15602] ppid=15600 vsize=879644 CPUtime=1794.87 cores=1,3,5,7
/proc/15602/stat : 15602 (scip-2.0.1.4b_2) R 15600 15602 13307 0 -1 4202496 465047 0 0 0 176908 2579 0 0 20 0 1 0 338592099 900755456 217704 33554432000 4194304 9016284 140737102185744 140737102180072 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15602/statm: 219911 217704 702 1178 0 218729 0
Current children cumulated CPU time (s) 1794.87
Current children cumulated vsize (KiB) 879644
[startup+1796.8 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 15679
/proc/meminfo: memFree=25959032/32873648 swapFree=6860/6860
[pid=15602] ppid=15600 vsize=879644 CPUtime=1796.46 cores=1,3,5,7
/proc/15602/stat : 15602 (scip-2.0.1.4b_2) R 15600 15602 13307 0 -1 4202496 465101 0 0 0 177065 2581 0 0 20 0 1 0 338592099 900755456 217758 33554432000 4194304 9016284 140737102185744 140737102179656 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15602/statm: 219911 217758 702 1178 0 218729 0
Current children cumulated CPU time (s) 1796.46
Current children cumulated vsize (KiB) 879644
[startup+1797.6 s]
/proc/loadavg: 2.06 2.02 2.00 3/178 15679
/proc/meminfo: memFree=25958412/32873648 swapFree=6860/6860
[pid=15602] ppid=15600 vsize=879644 CPUtime=1797.26 cores=1,3,5,7
/proc/15602/stat : 15602 (scip-2.0.1.4b_2) R 15600 15602 13307 0 -1 4202496 465103 0 0 0 177145 2581 0 0 20 0 1 0 338592099 900755456 217760 33554432000 4194304 9016284 140737102185744 140737102179656 6812677 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15602/statm: 219911 217760 704 1178 0 218729 0
Current children cumulated CPU time (s) 1797.26
Current children cumulated vsize (KiB) 879644
[startup+1797.8 s]
/proc/loadavg: 2.06 2.02 2.00 3/178 15679
/proc/meminfo: memFree=25958412/32873648 swapFree=6860/6860
[pid=15602] ppid=15600 vsize=878060 CPUtime=1797.46 cores=1,3,5,7
/proc/15602/stat : 15602 (scip-2.0.1.4b_2) R 15600 15602 13307 0 -1 4202496 465103 0 0 0 177165 2581 0 0 20 0 1 0 338592099 899133440 217364 33554432000 4194304 9016284 140737102185744 140737102181544 6469258 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15602/statm: 219515 217364 704 1178 0 218333 0
Current children cumulated CPU time (s) 1797.46
Current children cumulated vsize (KiB) 878060
Child status: 0
Real time (s): 1797.87
CPU time (s): 1797.54
CPU user time (s): 1771.69
CPU system time (s): 25.8441
CPU usage (%): 99.9817
Max. virtual memory (cumulated for all children) (KiB): 888140
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1771.69
system time used= 25.8441
maximum resident set size= 890192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 465108
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 64
involuntary context switches= 1841
runsolver used 2.72259 second user time and 7.10892 second system time
The end