0.02/0.04 c SCIP version 1.1.0.7
0.02/0.04 c LP-Solver SoPlex 1.4.1
0.02/0.04 c user parameter file <scip.set> not found - using default parameters
0.02/0.04 c read problem <HOME/instance-3737312-1338743082.opb>
0.02/0.04 c original problem has 8361 variables (8361 bin, 0 int, 0 impl, 0 cont) and 8361 constraints
0.02/0.07 c start presolving problem
0.02/0.07 c presolving:
0.08/0.16 c (round 1) 7861 del vars, 500 del conss, 7861 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 31444 impls, 0 clqs
0.19/0.28 c (0.2s) probing: 101/500 (20.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.28 c (0.2s) probing aborted: 100/100 successive totally useless probings
0.19/0.28 c presolving (2 rounds):
0.19/0.28 c 7861 deleted vars, 500 deleted constraints, 7861 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.28 c 47166 implications, 0 cliques
0.19/0.28 c presolved problem has 500 variables (500 bin, 0 int, 0 impl, 0 cont) and 7861 constraints
0.19/0.28 c 7861 constraints of type <and>
0.19/0.28 c transformed objective value is always integral (scale: 1)
0.19/0.28 c Presolving Time: 0.14
0.19/0.28 c OPT-NLC
0.19/0.28 c -----------------------------------------------------------------------------------------------
0.19/0.28 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.28 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.28 c limits/memory = c 13950
0.19/0.28 c # maximal time in seconds to run
0.19/0.28 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.28 c limits/time = c 1791
0.19/0.28 c # frequency for displaying node information lines
0.19/0.28 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.28 c display/freq = c 10000
0.19/0.28 c -----------------------------------------------------------------------------------------------
0.19/0.28 c start solving problem
0.19/0.28 c
0.28/0.37 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.28/0.37 c 0.2s| 1 | 0 | 519 | 29M| 0 | 500 | 500 |7861 |7861 | 500 |7861 | 0 | 0 | 0 |-2.500000e+02 | -- | Inf
0.28/0.37 o -47
0.28/0.37 c R 0.2s| 1 | 0 | 519 | 29M| 0 | 500 | 500 |7861 |7861 | 500 |7861 | 0 | 0 | 0 |-2.500000e+02 |-4.700000e+01 | 81.20%
0.49/0.53 c 0.4s| 1 | 0 | 621 | 29M| 0 | 487 | 500 |7861 |7861 | 500 |7872 | 11 | 0 | 0 |-2.435000e+02 |-4.700000e+01 | 80.70%
0.69/0.71 c 0.6s| 1 | 0 | 727 | 29M| 0 | 482 | 500 |7861 |7861 | 500 |7878 | 17 | 0 | 0 |-2.410000e+02 |-4.700000e+01 | 80.50%
0.89/0.90 c 0.8s| 1 | 0 | 866 | 29M| 0 | 478 | 500 |7861 |7861 | 500 |7883 | 22 | 0 | 0 |-2.390000e+02 |-4.700000e+01 | 80.33%
0.99/1.07 c 0.9s| 1 | 0 | 971 | 29M| 0 | 473 | 500 |7861 |7861 | 500 |7889 | 28 | 0 | 0 |-2.365000e+02 |-4.700000e+01 | 80.13%
1.29/1.30 c 1.2s| 1 | 0 | 1161 | 29M| 0 | 469 | 500 |7861 |7861 | 500 |7900 | 39 | 0 | 0 |-2.345000e+02 |-4.700000e+01 | 79.96%
1.49/1.54 c 1.4s| 1 | 0 | 1327 | 29M| 0 | 463 | 500 |7861 |7861 | 500 |7907 | 46 | 0 | 0 |-2.315000e+02 |-4.700000e+01 | 79.70%
1.79/1.81 c 1.7s| 1 | 0 | 1548 | 29M| 0 | 459 | 500 |7861 |7861 | 500 |7920 | 59 | 0 | 0 |-2.287500e+02 |-4.700000e+01 | 79.45%
1.98/2.05 c 1.9s| 1 | 0 | 1722 | 29M| 0 | 456 | 500 |7861 |7861 | 500 |7926 | 65 | 0 | 0 |-2.270000e+02 |-4.700000e+01 | 79.30%
2.29/2.34 c 2.2s| 1 | 0 | 1964 | 29M| 0 | 454 | 500 |7861 |7861 | 500 |7937 | 76 | 0 | 0 |-2.252500e+02 |-4.700000e+01 | 79.13%
2.59/2.64 c 2.5s| 1 | 0 | 2251 | 29M| 0 | 449 | 500 |7861 |7861 | 500 |7943 | 82 | 0 | 0 |-2.232500e+02 |-4.700000e+01 | 78.95%
2.78/2.84 c 2.7s| 1 | 0 | 2446 | 30M| 0 | 446 | 500 |7861 |7861 | 500 | 746 | 88 | 0 | 0 |-2.222500e+02 |-4.700000e+01 | 78.85%
2.88/2.91 c 2.8s| 1 | 0 | 2591 | 30M| 0 | 430 | 500 |7861 |7861 | 500 | 753 | 95 | 0 | 0 |-2.208750e+02 |-4.700000e+01 | 78.72%
2.99/3.04 c 2.9s| 1 | 0 | 2910 | 30M| 0 | 430 | 500 |7861 |7861 | 500 | 939 | 281 | 0 | 0 |-2.190000e+02 |-4.700000e+01 | 78.54%
3.09/3.13 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.09/3.13 c 3.0s| 1 | 0 | 3179 | 30M| 0 | 420 | 500 |7861 |7861 | 500 |1049 | 391 | 0 | 0 |-2.182500e+02 |-4.700000e+01 | 78.47%
3.20/3.27 c 3.1s| 1 | 0 | 3690 | 30M| 0 | 426 | 500 |7861 |7861 | 500 |1382 | 724 | 0 | 0 |-2.150000e+02 |-4.700000e+01 | 78.14%
3.29/3.38 c 3.2s| 1 | 0 | 4021 | 30M| 0 | 417 | 500 |7861 |7861 | 500 |1438 | 780 | 0 | 0 |-2.145000e+02 |-4.700000e+01 | 78.09%
3.48/3.53 c 3.4s| 1 | 0 | 4418 | 30M| 0 | 436 | 500 |7861 |7861 | 500 |1351 | 917 | 0 | 0 |-2.132500e+02 |-4.700000e+01 | 77.96%
3.58/3.67 c 3.5s| 1 | 0 | 4835 | 30M| 0 | 419 | 500 |7861 |7861 | 500 |1524 |1090 | 0 | 0 |-2.105000e+02 |-4.700000e+01 | 77.67%
3.69/3.79 c 3.6s| 1 | 0 | 5295 | 31M| 0 | 420 | 500 |7861 |7861 | 500 |1558 |1124 | 0 | 0 |-2.092500e+02 |-4.700000e+01 | 77.54%
3.79/3.89 c 3.7s| 1 | 0 | 5582 | 31M| 0 | 451 | 500 |7861 |7861 | 500 |1566 |1132 | 0 | 0 |-2.087500e+02 |-4.700000e+01 | 77.49%
4.09/4.19 c 4.0s| 1 | 0 | 6058 | 31M| 0 | 415 | 500 |7861 |7861 | 500 |2698 |2264 | 0 | 0 |-2.067500e+02 |-4.700000e+01 | 77.27%
4.29/4.32 c 4.1s| 1 | 0 | 6354 | 31M| 0 | 414 | 500 |7861 |7861 | 500 |2705 |2271 | 0 | 0 |-2.052500e+02 |-4.700000e+01 | 77.10%
4.49/4.52 c 4.3s| 1 | 0 | 6862 | 31M| 0 | 411 | 500 |7861 |7861 | 500 |2408 |2299 | 0 | 0 |-2.045000e+02 |-4.700000e+01 | 77.02%
4.68/4.73 c 4.5s| 1 | 0 | 7397 | 31M| 0 | 406 | 500 |7861 |7861 | 500 |2416 |2307 | 0 | 0 |-2.030000e+02 |-4.700000e+01 | 76.85%
4.88/4.90 c 4.7s| 1 | 0 | 7886 | 31M| 0 | 405 | 500 |7861 |7861 | 500 |2422 |2313 | 0 | 0 |-2.030000e+02 |-4.700000e+01 | 76.85%
5.09/5.19 c 5.0s| 1 | 0 | 8857 | 32M| 0 | 438 | 500 |7861 |7861 | 500 |2492 |2383 | 0 | 0 |-2.015357e+02 |-4.700000e+01 | 76.68%
5.39/5.47 c 5.3s| 1 | 0 | 9545 | 32M| 0 | 405 | 500 |7861 |7861 | 500 |2865 |2756 | 0 | 0 |-1.987500e+02 |-4.700000e+01 | 76.35%
5.59/5.63 c 5.4s| 1 | 0 | 9913 | 32M| 0 | 410 | 500 |7861 |7861 | 500 |2933 |2824 | 0 | 0 |-1.978750e+02 |-4.700000e+01 | 76.25%
5.99/6.01 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
5.99/6.01 c 5.8s| 1 | 0 | 10905 | 32M| 0 | 404 | 500 |7861 |7861 | 500 |2157 |2833 | 0 | 0 |-1.962500e+02 |-4.700000e+01 | 76.05%
6.08/6.18 c 6.0s| 1 | 0 | 11414 | 32M| 0 | 406 | 500 |7861 |7861 | 500 |2166 |2842 | 0 | 0 |-1.950833e+02 |-4.700000e+01 | 75.91%
6.28/6.32 c 6.1s| 1 | 0 | 11867 | 32M| 0 | 420 | 500 |7861 |7861 | 500 |2197 |2873 | 0 | 0 |-1.935714e+02 |-4.700000e+01 | 75.72%
6.59/6.67 c 6.5s| 1 | 0 | 12922 | 32M| 0 | 397 | 500 |7861 |7861 | 500 |2231 |2907 | 0 | 0 |-1.925000e+02 |-4.700000e+01 | 75.58%
6.79/6.83 c 6.6s| 1 | 0 | 13422 | 32M| 0 | 399 | 500 |7861 |7861 | 500 |2306 |2982 | 0 | 0 |-1.910000e+02 |-4.700000e+01 | 75.39%
6.99/7.03 c 6.8s| 1 | 0 | 14153 | 32M| 0 | 431 | 500 |7861 |7861 | 500 |2313 |2989 | 0 | 0 |-1.895455e+02 |-4.700000e+01 | 75.20%
7.29/7.34 c 7.1s| 1 | 0 | 14741 | 33M| 0 | 400 | 500 |7861 |7861 | 500 |2044 |3748 | 0 | 0 |-1.880000e+02 |-4.700000e+01 | 75.00%
7.48/7.54 c 7.3s| 1 | 0 | 15341 | 33M| 0 | 410 | 500 |7861 |7861 | 500 |2074 |3778 | 0 | 0 |-1.873304e+02 |-4.700000e+01 | 74.91%
7.59/7.69 c 7.5s| 1 | 0 | 15766 | 33M| 0 | 395 | 500 |7861 |7861 | 500 |2104 |3808 | 0 | 0 |-1.858000e+02 |-4.700000e+01 | 74.70%
7.78/7.85 c 7.7s| 1 | 0 | 16174 | 33M| 0 | 387 | 500 |7861 |7861 | 500 |2189 |3893 | 0 | 0 |-1.847500e+02 |-4.700000e+01 | 74.56%
7.98/8.02 c 7.8s| 1 | 0 | 16653 | 34M| 0 | 374 | 500 |7861 |7861 | 500 |2280 |3984 | 0 | 0 |-1.835000e+02 |-4.700000e+01 | 74.39%
8.18/8.20 c 8.0s| 1 | 0 | 17108 | 34M| 0 | 365 | 500 |7861 |7861 | 500 |2305 |4009 | 0 | 0 |-1.825000e+02 |-4.700000e+01 | 74.25%
8.29/8.34 c 8.1s| 1 | 0 | 17490 | 34M| 0 | 362 | 500 |7861 |7861 | 500 |1737 |4022 | 0 | 0 |-1.810000e+02 |-4.700000e+01 | 74.03%
8.49/8.56 c 8.3s| 1 | 0 | 18098 | 34M| 0 | 368 | 500 |7861 |7861 | 500 |1746 |4031 | 0 | 0 |-1.810000e+02 |-4.700000e+01 | 74.03%
8.69/8.73 c 8.5s| 1 | 0 | 18726 | 34M| 0 | 396 | 500 |7861 |7861 | 500 |1870 |4155 | 0 | 0 |-1.802000e+02 |-4.700000e+01 | 73.92%
8.88/8.93 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
8.88/8.93 c 8.7s| 1 | 0 | 19357 | 34M| 0 | 358 | 500 |7861 |7861 | 500 |2003 |4288 | 0 | 0 |-1.790000e+02 |-4.700000e+01 | 73.74%
8.98/9.02 c 8.8s| 1 | 0 | 19596 | 34M| 0 | 376 | 500 |7861 |7861 | 500 |2012 |4297 | 0 | 0 |-1.786667e+02 |-4.700000e+01 | 73.69%
9.18/9.20 c 9.0s| 1 | 0 | 20289 | 34M| 0 | 378 | 500 |7861 |7861 | 500 |2110 |4395 | 0 | 0 |-1.770000e+02 |-4.700000e+01 | 73.45%
9.29/9.37 c 9.2s| 1 | 0 | 20837 | 34M| 0 | 407 | 500 |7861 |7861 | 500 |1292 |4466 | 0 | 0 |-1.764500e+02 |-4.700000e+01 | 73.36%
9.49/9.57 c 9.3s| 1 | 0 | 21528 | 34M| 0 | 370 | 500 |7861 |7861 | 500 |1428 |4602 | 0 | 0 |-1.750000e+02 |-4.700000e+01 | 73.14%
9.68/9.72 c 9.5s| 1 | 0 | 22078 | 34M| 0 | 414 | 500 |7861 |7861 | 500 |1551 |4725 | 0 | 0 |-1.744286e+02 |-4.700000e+01 | 73.05%
9.79/9.89 c 9.7s| 1 | 0 | 22589 | 34M| 0 | 402 | 500 |7861 |7861 | 500 |1663 |4837 | 0 | 0 |-1.735714e+02 |-4.700000e+01 | 72.92%
9.98/10.09 c 9.9s| 1 | 0 | 23288 | 34M| 0 | 389 | 500 |7861 |7861 | 500 |1789 |4963 | 0 | 0 |-1.726667e+02 |-4.700000e+01 | 72.78%
10.18/10.29 c 10.1s| 1 | 0 | 23957 | 35M| 0 | 349 | 500 |7861 |7861 | 500 |1866 |5040 | 0 | 0 |-1.722500e+02 |-4.700000e+01 | 72.71%
10.58/10.61 c 10.4s| 1 | 0 | 25128 | 35M| 0 | 447 | 500 |7861 |7861 | 500 |1529 |5049 | 0 | 0 |-1.717723e+02 |-4.700000e+01 | 72.64%
10.79/10.87 c 10.7s| 1 | 0 | 25769 | 37M| 0 | 429 | 500 |7861 |7861 | 500 |1916 |5436 | 0 | 0 |-1.714357e+02 |-4.700000e+01 | 72.58%
11.08/11.17 c 10.9s| 1 | 0 | 26650 | 39M| 0 | 439 | 500 |7861 |7861 | 500 |2034 |5554 | 0 | 0 |-1.702263e+02 |-4.700000e+01 | 72.39%
11.48/11.53 c 11.3s| 1 | 0 | 27304 | 39M| 0 | 422 | 500 |7861 |7861 | 500 |2167 |5687 | 0 | 0 |-1.690608e+02 |-4.700000e+01 | 72.20%
11.79/11.81 c 11.6s| 1 | 0 | 28091 | 41M| 0 | 421 | 500 |7861 |7861 | 500 |2231 |5751 | 0 | 0 |-1.681458e+02 |-4.700000e+01 | 72.05%
11.99/12.08 c 11.8s| 1 | 0 | 28865 | 42M| 0 | 423 | 500 |7861 |7861 | 500 |2288 |5808 | 0 | 0 |-1.671607e+02 |-4.700000e+01 | 71.88%
12.28/12.39 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.28/12.39 c 12.1s| 1 | 0 | 29728 | 44M| 0 | 453 | 500 |7861 |7861 | 500 |2053 |5904 | 0 | 0 |-1.660347e+02 |-4.700000e+01 | 71.69%
12.68/12.72 c 12.5s| 1 | 0 | 30447 | 44M| 0 | 449 | 500 |7861 |7861 | 500 |2139 |5990 | 0 | 0 |-1.652412e+02 |-4.700000e+01 | 71.56%
13.09/13.13 c 12.9s| 1 | 0 | 31133 | 44M| 0 | 434 | 500 |7861 |7861 | 500 |2268 |6119 | 0 | 0 |-1.645527e+02 |-4.700000e+01 | 71.44%
13.38/13.48 c 13.2s| 1 | 0 | 31723 | 44M| 0 | 451 | 500 |7861 |7861 | 500 |2387 |6238 | 0 | 0 |-1.639714e+02 |-4.700000e+01 | 71.34%
13.88/13.92 c 13.7s| 1 | 0 | 32513 | 45M| 0 | 455 | 500 |7861 |7861 | 500 |2442 |6293 | 0 | 0 |-1.632368e+02 |-4.700000e+01 | 71.21%
14.28/14.35 c 14.1s| 1 | 0 | 33117 | 45M| 0 | 447 | 500 |7861 |7861 | 500 |2482 |6333 | 0 | 0 |-1.626296e+02 |-4.700000e+01 | 71.10%
14.79/14.88 c 14.6s| 1 | 0 | 33945 | 45M| 0 | 461 | 500 |7861 |7861 | 500 |2079 |6357 | 0 | 0 |-1.619900e+02 |-4.700000e+01 | 70.99%
15.29/15.32 c 15.1s| 1 | 0 | 34666 | 45M| 0 | 468 | 500 |7861 |7861 | 500 |2133 |6411 | 0 | 0 |-1.611873e+02 |-4.700000e+01 | 70.84%
15.68/15.77 c 15.5s| 1 | 0 | 35397 | 45M| 0 | 470 | 500 |7861 |7861 | 500 |2239 |6517 | 0 | 0 |-1.604679e+02 |-4.700000e+01 | 70.71%
16.08/16.15 c 15.9s| 1 | 0 | 35768 | 45M| 0 | 462 | 500 |7861 |7861 | 500 |2301 |6579 | 0 | 0 |-1.601633e+02 |-4.700000e+01 | 70.65%
16.59/16.64 c 16.4s| 1 | 0 | 36546 | 45M| 0 | 476 | 500 |7861 |7861 | 500 |2340 |6618 | 0 | 0 |-1.594438e+02 |-4.700000e+01 | 70.52%
17.08/17.16 c 16.9s| 1 | 0 | 37262 | 45M| 0 | 476 | 500 |7861 |7861 | 500 |2401 |6679 | 0 | 0 |-1.587497e+02 |-4.700000e+01 | 70.39%
17.59/17.66 c 17.4s| 1 | 0 | 37822 | 45M| 0 | 481 | 500 |7861 |7861 | 500 |2105 |6704 | 0 | 0 |-1.582073e+02 |-4.700000e+01 | 70.29%
17.98/18.09 c 17.8s| 1 | 0 | 38382 | 45M| 0 | 481 | 500 |7861 |7861 | 500 |2145 |6744 | 0 | 0 |-1.578535e+02 |-4.700000e+01 | 70.23%
18.38/18.49 c 18.2s| 1 | 0 | 38773 | 45M| 0 | 480 | 500 |7861 |7861 | 500 |2172 |6771 | 0 | 0 |-1.576849e+02 |-4.700000e+01 | 70.19%
18.88/18.91 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
18.88/18.91 c 18.6s| 1 | 0 | 39163 | 45M| 0 | 483 | 500 |7861 |7861 | 500 |2199 |6798 | 0 | 0 |-1.574779e+02 |-4.700000e+01 | 70.15%
19.28/19.39 c 19.1s| 1 | 0 | 39728 | 45M| 0 | 485 | 500 |7861 |7861 | 500 |2261 |6860 | 0 | 0 |-1.571133e+02 |-4.700000e+01 | 70.09%
19.79/19.89 c 19.6s| 1 | 0 | 40458 | 45M| 0 | 482 | 500 |7861 |7861 | 500 |2313 |6912 | 0 | 0 |-1.564113e+02 |-4.700000e+01 | 69.95%
20.38/20.44 c 20.1s| 1 | 0 | 41230 | 45M| 0 | 484 | 500 |7861 |7861 | 500 |2159 |6953 | 0 | 0 |-1.557202e+02 |-4.700000e+01 | 69.82%
20.78/20.87 c 20.6s| 1 | 0 | 41655 | 45M| 0 | 486 | 500 |7861 |7861 | 500 |2194 |6988 | 0 | 0 |-1.553868e+02 |-4.700000e+01 | 69.75%
21.28/21.32 c 21.0s| 1 | 0 | 42124 | 45M| 0 | 486 | 500 |7861 |7861 | 500 |2229 |7023 | 0 | 0 |-1.548708e+02 |-4.700000e+01 | 69.65%
21.68/21.70 c 21.4s| 1 | 0 | 42376 | 45M| 0 | 489 | 500 |7861 |7861 | 500 |2253 |7047 | 0 | 0 |-1.547199e+02 |-4.700000e+01 | 69.62%
22.08/22.11 c 21.8s| 1 | 0 | 42695 | 45M| 0 | 491 | 500 |7861 |7861 | 500 |2276 |7070 | 0 | 0 |-1.544566e+02 |-4.700000e+01 | 69.57%
22.48/22.53 c 22.2s| 1 | 0 | 42959 | 45M| 0 | 489 | 500 |7861 |7861 | 500 |2292 |7086 | 0 | 0 |-1.542554e+02 |-4.700000e+01 | 69.53%
22.88/22.93 c 22.6s| 1 | 0 | 43164 | 45M| 0 | 489 | 500 |7861 |7861 | 500 |2199 |7097 | 0 | 0 |-1.541642e+02 |-4.700000e+01 | 69.51%
23.37/23.40 c 23.1s| 1 | 0 | 43653 | 45M| 0 | 487 | 500 |7861 |7861 | 500 |2209 |7107 | 0 | 0 |-1.537225e+02 |-4.700000e+01 | 69.43%
23.78/23.86 c 23.6s| 1 | 0 | 44139 | 45M| 0 | 488 | 500 |7861 |7861 | 500 |2236 |7134 | 0 | 0 |-1.533041e+02 |-4.700000e+01 | 69.34%
24.28/24.35 c 24.0s| 1 | 0 | 44639 | 45M| 0 | 486 | 500 |7861 |7861 | 500 |2250 |7148 | 0 | 0 |-1.529724e+02 |-4.700000e+01 | 69.28%
24.68/24.78 c 24.5s| 1 | 0 | 44951 | 45M| 0 | 487 | 500 |7861 |7861 | 500 |2276 |7174 | 0 | 0 |-1.528217e+02 |-4.700000e+01 | 69.25%
25.18/25.25 c 24.9s| 1 | 0 | 45440 | 45M| 0 | 489 | 500 |7861 |7861 | 500 |2301 |7199 | 0 | 0 |-1.525722e+02 |-4.700000e+01 | 69.19%
25.67/25.77 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
25.67/25.77 c 25.4s| 1 | 0 | 46076 | 45M| 0 | 493 | 500 |7861 |7861 | 500 |2202 |7211 | 0 | 0 |-1.520998e+02 |-4.700000e+01 | 69.10%
26.18/26.24 c 25.9s| 1 | 0 | 46574 | 45M| 0 | 495 | 500 |7861 |7861 | 500 |2216 |7225 | 0 | 0 |-1.517698e+02 |-4.700000e+01 | 69.03%
26.58/26.66 c 26.3s| 1 | 0 | 46902 | 45M| 0 | 496 | 500 |7861 |7861 | 500 |2236 |7245 | 0 | 0 |-1.516002e+02 |-4.700000e+01 | 69.00%
26.97/27.09 c 26.8s| 1 | 0 | 47227 | 45M| 0 | 495 | 500 |7861 |7861 | 500 |2247 |7256 | 0 | 0 |-1.514266e+02 |-4.700000e+01 | 68.96%
27.49/27.52 c 27.2s| 1 | 0 | 47555 | 45M| 0 | 491 | 500 |7861 |7861 | 500 |2263 |7272 | 0 | 0 |-1.512320e+02 |-4.700000e+01 | 68.92%
27.88/27.99 c 27.6s| 1 | 0 | 48008 | 45M| 0 | 493 | 500 |7861 |7861 | 500 |2276 |7285 | 0 | 0 |-1.510610e+02 |-4.700000e+01 | 68.89%
28.37/28.45 c 28.1s| 1 | 0 | 48382 | 45M| 0 | 492 | 500 |7861 |7861 | 500 |2228 |7300 | 0 | 0 |-1.507608e+02 |-4.700000e+01 | 68.82%
28.78/28.86 c 28.5s| 1 | 0 | 48651 | 45M| 0 | 493 | 500 |7861 |7861 | 500 |2241 |7313 | 0 | 0 |-1.506086e+02 |-4.700000e+01 | 68.79%
29.18/29.28 c 28.9s| 1 | 0 | 48893 | 45M| 0 | 489 | 500 |7861 |7861 | 500 |2252 |7324 | 0 | 0 |-1.504051e+02 |-4.700000e+01 | 68.75%
29.68/29.71 c 29.4s| 1 | 0 | 49213 | 45M| 0 | 493 | 500 |7861 |7861 | 500 |2264 |7336 | 0 | 0 |-1.502391e+02 |-4.700000e+01 | 68.72%
30.07/30.14 c 29.8s| 1 | 0 | 49583 | 45M| 0 | 492 | 500 |7861 |7861 | 500 |2280 |7352 | 0 | 0 |-1.500271e+02 |-4.700000e+01 | 68.67%
30.47/30.52 c 30.2s| 1 | 0 | 49771 | 45M| 0 | 495 | 500 |7861 |7861 | 500 |2290 |7362 | 0 | 0 |-1.499600e+02 |-4.700000e+01 | 68.66%
30.88/30.92 c 30.6s| 1 | 0 | 49980 | 45M| 0 | 494 | 500 |7861 |7861 | 500 |2238 |7372 | 0 | 0 |-1.499064e+02 |-4.700000e+01 | 68.65%
31.28/31.33 c 31.0s| 1 | 0 | 50220 | 45M| 0 | 493 | 500 |7861 |7861 | 500 |2253 |7387 | 0 | 0 |-1.497652e+02 |-4.700000e+01 | 68.62%
31.67/31.73 c 31.4s| 1 | 0 | 50485 | 45M| 0 | 496 | 500 |7861 |7861 | 500 |2262 |7396 | 0 | 0 |-1.496576e+02 |-4.700000e+01 | 68.59%
32.07/32.13 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
32.07/32.13 c 31.8s| 1 | 0 | 50662 | 45M| 0 | 498 | 500 |7861 |7861 | 500 |2270 |7404 | 0 | 0 |-1.495816e+02 |-4.700000e+01 | 68.58%
32.48/32.55 c 32.2s| 1 | 0 | 50960 | 45M| 0 | 495 | 500 |7861 |7861 | 500 |2278 |7412 | 0 | 0 |-1.494852e+02 |-4.700000e+01 | 68.56%
32.88/32.95 c 32.6s| 1 | 0 | 51145 | 45M| 0 | 498 | 500 |7861 |7861 | 500 |2288 |7422 | 0 | 0 |-1.494298e+02 |-4.700000e+01 | 68.55%
33.27/33.34 c 33.0s| 1 | 0 | 51330 | 45M| 0 | 498 | 500 |7861 |7861 | 500 |2256 |7430 | 0 | 0 |-1.493706e+02 |-4.700000e+01 | 68.53%
33.68/33.70 c 33.3s| 1 | 0 | 51475 | 45M| 0 | 497 | 500 |7861 |7861 | 500 |2266 |7440 | 0 | 0 |-1.493423e+02 |-4.700000e+01 | 68.53%
34.08/34.11 c 33.7s| 1 | 0 | 51756 | 45M| 0 | 496 | 500 |7861 |7861 | 500 |2275 |7449 | 0 | 0 |-1.492218e+02 |-4.700000e+01 | 68.50%
34.37/34.48 c 34.1s| 1 | 0 | 51900 | 45M| 0 | 497 | 500 |7861 |7861 | 500 |2280 |7454 | 0 | 0 |-1.491770e+02 |-4.700000e+01 | 68.49%
34.77/34.85 c 34.5s| 1 | 0 | 52070 | 45M| 0 | 498 | 500 |7861 |7861 | 500 |2289 |7463 | 0 | 0 |-1.491212e+02 |-4.700000e+01 | 68.48%
35.18/35.21 c 34.8s| 1 | 0 | 52185 | 45M| 0 | 498 | 500 |7861 |7861 | 500 |2303 |7477 | 0 | 0 |-1.490968e+02 |-4.700000e+01 | 68.48%
35.48/35.57 c 35.2s| 1 | 0 | 52345 | 45M| 0 | 496 | 500 |7861 |7861 | 500 |2266 |7487 | 0 | 0 |-1.490698e+02 |-4.700000e+01 | 68.47%
35.87/35.94 c 35.5s| 1 | 0 | 52497 | 45M| 0 | 496 | 500 |7861 |7861 | 500 |2277 |7498 | 0 | 0 |-1.490207e+02 |-4.700000e+01 | 68.46%
36.28/36.31 c 35.9s| 1 | 0 | 52703 | 45M| 0 | 498 | 500 |7861 |7861 | 500 |2289 |7510 | 0 | 0 |-1.489535e+02 |-4.700000e+01 | 68.45%
36.57/36.68 c 36.3s| 1 | 0 | 52902 | 45M| 0 | 499 | 500 |7861 |7861 | 500 |2299 |7520 | 0 | 0 |-1.489105e+02 |-4.700000e+01 | 68.44%
36.97/37.05 c 36.7s| 1 | 0 | 53123 | 45M| 0 | 499 | 500 |7861 |7861 | 500 |2313 |7534 | 0 | 0 |-1.488727e+02 |-4.700000e+01 | 68.43%
37.28/37.39 c 37.0s| 1 | 0 | 53321 | 45M| 0 | 496 | 500 |7861 |7861 | 500 |2324 |7545 | 0 | 0 |-1.488482e+02 |-4.700000e+01 | 68.42%
37.68/37.73 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
37.68/37.73 c 37.3s| 1 | 0 | 53468 | 45M| 0 | 497 | 500 |7861 |7861 | 500 |2283 |7552 | 0 | 0 |-1.488261e+02 |-4.700000e+01 | 68.42%
37.97/38.07 c 37.7s| 1 | 0 | 53667 | 45M| 0 | 495 | 500 |7861 |7861 | 500 |2296 |7565 | 0 | 0 |-1.488032e+02 |-4.700000e+01 | 68.41%
38.38/38.41 c 38.0s| 1 | 0 | 53889 | 45M| 0 | 497 | 500 |7861 |7861 | 500 |2305 |7574 | 0 | 0 |-1.487739e+02 |-4.700000e+01 | 68.41%
38.67/38.75 c 38.4s| 1 | 0 | 54076 | 45M| 0 | 498 | 500 |7861 |7861 | 500 |2316 |7585 | 0 | 0 |-1.487496e+02 |-4.700000e+01 | 68.40%
38.98/39.09 c 38.7s| 1 | 0 | 54252 | 45M| 0 | 497 | 500 |7861 |7861 | 500 |2322 |7591 | 0 | 0 |-1.487290e+02 |-4.700000e+01 | 68.40%
39.37/39.42 c 39.0s| 1 | 0 | 54459 | 45M| 0 | 494 | 500 |7861 |7861 | 500 |2329 |7598 | 0 | 0 |-1.487108e+02 |-4.700000e+01 | 68.40%
39.67/39.75 c 39.3s| 1 | 0 | 54614 | 45M| 0 | 498 | 500 |7861 |7861 | 500 |2292 |7613 | 0 | 0 |-1.487023e+02 |-4.700000e+01 | 68.39%
39.97/40.07 c 39.6s| 1 | 0 | 54794 | 45M| 0 | 496 | 500 |7861 |7861 | 500 |2299 |7620 | 0 | 0 |-1.486779e+02 |-4.700000e+01 | 68.39%
40.27/40.38 c 40.0s| 1 | 0 | 54892 | 45M| 0 | 495 | 500 |7861 |7861 | 500 |2312 |7633 | 0 | 0 |-1.486734e+02 |-4.700000e+01 | 68.39%
40.57/40.69 c 40.3s| 1 | 0 | 54993 | 44M| 0 | 460 | 500 |7861 |7861 | 500 |2323 |7644 | 0 | 0 |-1.486667e+02 |-4.700000e+01 | 68.39%
40.87/40.95 c 40.5s| 1 | 0 | 54994 | 44M| 0 | 459 | 500 |7861 |7861 | 500 |2328 |7649 | 0 | 0 |-1.486667e+02 |-4.700000e+01 | 68.39%
41.17/41.21 c 40.8s| 1 | 0 | 54995 | 44M| 0 | 458 | 500 |7861 |7861 | 500 |2329 |7650 | 0 | 0 |-1.486667e+02 |-4.700000e+01 | 68.39%
46.18/46.27 c 45.8s| 1 | 2 | 54995 | 44M| 0 | 458 | 500 |7861 |7861 | 500 |2329 |7650 | 0 | 25 |-1.486667e+02 |-4.700000e+01 | 68.39%
815.03/815.26 c 808s| 10000 | 10001 | 5081k| 98M| 43 | 250 | 500 |7861 |3394 | 500 |1092 | 824k| 0 |3203 |-1.459351e+02 |-4.700000e+01 | 67.79%
1254.05/1254.32 c 1242s| 20000 | 20001 | 8392k| 142M| 44 | 226 | 500 |7861 |2752 | 500 |1223 |1496k| 0 |4552 |-1.458695e+02 |-4.700000e+01 | 67.78%
1617.80/1618.17 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1617.80/1618.17 c 1602s| 30000 | 30001 | 11224k| 183M| 46 | 204 | 500 |7861 |2017 | 500 |1051 |2132k| 0 |5581 |-1.458695e+02 |-4.700000e+01 | 67.78%
1666.19/1666.57 o -54
1666.19/1666.57 c *1650s| 31636 | 31634 | 11621k| 190M| 46 | - | 500 |7861 | 54 | 500 |1280 |2231k| 0 |5596 |-1.458695e+02 |-5.400000e+01 | 62.98%
1676.38/1676.76 o -55
1676.38/1676.76 c *1660s| 32004 | 31971 | 11699k| 191M| 46 | - | 500 |7861 | 41 | 500 |1272 |2251k| 0 |5653 |-1.458695e+02 |-5.500000e+01 | 62.30%
1676.38/1676.76 o -56
1676.38/1676.76 c *1660s| 32005 | 31969 | 11699k| 191M| 46 | - | 500 |7861 | 59 | 500 |1272 |2251k| 0 |5653 |-1.458695e+02 |-5.600000e+01 | 61.61%
1676.38/1676.76 o -57
1676.38/1676.76 c *1660s| 32009 | 31967 | 11699k| 191M| 46 | - | 500 |7861 | 88 | 500 |1272 |2251k| 0 |5653 |-1.458695e+02 |-5.700000e+01 | 60.92%
1676.38/1676.78 o -58
1676.38/1676.78 c R1660s| 32021 | 31966 | 11699k| 191M| 46 | - | 500 |7861 | 110 | 500 |1277 |2251k| 0 |5653 |-1.458695e+02 |-5.800000e+01 | 60.24%
1734.17/1734.57 o -59
1734.17/1734.57 c *1717s| 34191 | 33839 | 12163k| 198M| 47 | - | 500 |7861 | 107 | 500 |1272 |2368k| 0 |5775 |-1.453930e+02 |-5.900000e+01 | 59.42%
1760.27/1760.66 o -60
1760.27/1760.66 c *1743s| 34849 | 34415 | 12359k| 201M| 47 | - | 500 |7861 | 121 | 500 |1276 |2409k| 0 |5843 |-1.446692e+02 |-6.000000e+01 | 58.53%
1800.07/1800.41 c
1800.07/1800.41 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.41 c Solving Time (sec) : 1782.37
1800.07/1800.41 c Solving Nodes : 36103
1800.07/1800.41 c Primal Bound : -6.00000000000000e+01 (10 solutions)
1800.07/1800.41 c Dual Bound : -1.44610239898407e+02
1800.07/1800.41 c Gap : 58.51 %
1800.07/1800.41 c NODE 36103
1800.07/1800.41 c DUAL BOUND -144.61
1800.07/1800.41 c PRIMAL BOUND -60
1800.07/1800.41 c GAP 0.585092
1800.07/1800.41 s SATISFIABLE
1800.07/1800.41 v x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 x489 -x488 -x487 x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479
1800.07/1800.41 v -x478 -x477 -x476 -x475 -x474 x473 x472 x471 -x470 x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457
1800.07/1800.41 v -x456 -x455 -x454 x453 -x452 x451 -x450 -x449 x448 -x447 x446 -x445 -x444 -x443 -x442 -x441 -x440 x439 -x438 -x437 -x436
1800.07/1800.41 v -x435 -x434 -x433 -x432 -x431 x430 -x429 -x428 -x427 -x426 -x425 x424 -x423 -x422 -x421 x420 -x419 x418 -x417 -x416 -x415 -x414
1800.07/1800.41 v -x413 -x412 -x411 -x410 x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393
1800.07/1800.41 v -x392 -x391 -x390 x389 -x388 -x387 -x386 -x385 -x384 x383 -x382 -x381 x380 -x379 -x378 -x377 -x376 x375 -x374 -x373 -x372
1800.07/1800.41 v -x371 -x370 -x369 x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 x352 -x351
1800.07/1800.41 v -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 x333 -x332 -x331 -x330
1800.07/1800.41 v -x329 -x328 x327 -x326 -x325 -x324 x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 x308
1800.07/1800.41 v -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 x296 -x295 -x294 x293 -x292 -x291 x290 -x289 -x288 -x287
1800.07/1800.41 v -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266
1800.07/1800.41 v -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 x254 x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245
1800.07/1800.41 v -x244 -x243 -x242 -x241 -x240 -x239 -x238 x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224
1800.07/1800.41 v -x223 x222 -x221 -x220 -x219 -x218 -x217 -x216 x215 -x214 -x213 -x212 -x211 -x210 x209 x208 -x207 -x206 -x205 -x204 -x203 -x202
1800.07/1800.41 v -x201 -x200 -x199 x198 -x197 -x196 -x195 x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 x184 -x183 -x182 -x181
1800.07/1800.41 v -x180 -x179 -x178 -x177 -x176 -x175 -x174 x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 x162 -x161 -x160
1800.07/1800.41 v -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139
1800.07/1800.41 v -x138 -x137 -x136 -x135 -x134 -x133 -x132 x131 -x130 -x129 -x128 -x127 x126 x125 -x124 -x123 -x122 -x121 x120 -x119 -x118 -x117
1800.07/1800.41 v -x116 -x115 -x114 -x113 -x112 -x111 -x110 x109 x108 -x107 -x106 -x105 x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95
1800.07/1800.41 v -x94 -x93 -x92 -x91 x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 x74 -x73 -x72 x71 -x70
1800.07/1800.41 v -x69 -x68 -x67 x66 -x65 -x64 -x63 -x62 -x61 x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 x50 -x49 -x48 -x47 -x46 -x45 -x44
1800.07/1800.41 v -x43 x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19
1800.07/1800.41 v -x18 -x17 -x16 -x15 -x14 -x13 x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 x4 -x3 -x2 -x1
1800.07/1800.41 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.41 c Solving Time : 1782.37
1800.07/1800.41 c Original Problem :
1800.07/1800.41 c Problem name : HOME/instance-3737312-1338743082.opb
1800.07/1800.41 c Variables : 8361 (8361 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.41 c Constraints : 8361 initial, 8361 maximal
1800.07/1800.41 c Presolved Problem :
1800.07/1800.41 c Problem name : t_HOME/instance-3737312-1338743082.opb
1800.07/1800.41 c Variables : 500 (500 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.41 c Constraints : 7861 initial, 7861 maximal
1800.07/1800.41 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.07/1800.41 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.41 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.41 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.41 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.41 c implics : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.41 c probing : 0.06 0 0 0 0 0 0 0 0
1800.07/1800.41 c and : 0.07 0 0 0 0 0 0 0 0
1800.07/1800.41 c linear : 0.01 7861 0 0 7861 0 500 0 0
1800.07/1800.41 c root node : - 0 - - 0 - - - -
1800.07/1800.41 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.07/1800.41 c integral : 0 0 0 35871 0 0 0 0 0 71730
1800.07/1800.41 c and : 7861 83350 242093 6 0 0 652650 3800334 0 0
1800.07/1800.41 c countsols : 0 0 0 6 0 0 0 0 0 0
1800.07/1800.41 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.07/1800.41 c integral : 147.31 0.00 0.00 147.31 0.00
1800.07/1800.41 c and : 59.67 47.14 12.52 0.01 0.00
1800.07/1800.41 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.41 c Propagators : Time Calls Cutoffs DomReds
1800.07/1800.41 c rootredcost : 0.05 7 0 0
1800.07/1800.41 c pseudoobj : 2.18 242088 0 0
1800.07/1800.41 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.07/1800.41 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1800.07/1800.41 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.41 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.41 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.41 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.07/1800.41 c applied globally : - - - 0 0.0 - - -
1800.07/1800.41 c applied locally : - - - 0 0.0 - - -
1800.07/1800.41 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.07/1800.41 c cut pool : 0.32 130 - - 1789 - (maximal pool size: 7625)
1800.07/1800.41 c redcost : 0.90 83350 0 1 0 0
1800.07/1800.41 c impliedbounds : 0.07 131 0 0 11110 0
1800.07/1800.41 c intobj : 0.00 0 0 0 0 0
1800.07/1800.41 c gomory : 22.91 131 0 0 32503 0
1800.07/1800.41 c strongcg : 0.56 20 0 0 10000 0
1800.07/1800.41 c cmir : 0.28 10 0 0 0 0
1800.07/1800.41 c flowcover : 0.19 10 0 0 0 0
1800.07/1800.41 c clique : 1.10 131 0 0 1115 0
1800.07/1800.41 c zerohalf : 0.00 0 0 0 0 0
1800.07/1800.41 c mcf : 0.01 1 0 0 0 0
1800.07/1800.41 c Pricers : Time Calls Vars
1800.07/1800.41 c problem variables: 0.00 0 0
1800.07/1800.41 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.07/1800.41 c relpscost : 147.28 35865 0 0 0 0 71730
1800.07/1800.41 c pscost : 0.00 0 0 0 0 0 0
1800.07/1800.41 c inference : 0.00 0 0 0 0 0 0
1800.07/1800.41 c mostinf : 0.00 0 0 0 0 0 0
1800.07/1800.41 c leastinf : 0.00 0 0 0 0 0 0
1800.07/1800.41 c fullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.41 c allfullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.41 c random : 0.00 0 0 0 0 0 0
1800.07/1800.41 c Primal Heuristics : Time Calls Found
1800.07/1800.41 c LP solutions : 0.01 - 6
1800.07/1800.41 c pseudo solutions : 0.00 - 0
1800.07/1800.41 c oneopt : 0.00 8 0
1800.07/1800.41 c crossover : 0.12 9 0
1800.07/1800.41 c pscostdiving : 62.11 537 0
1800.07/1800.41 c guideddiving : 53.52 925 0
1800.07/1800.41 c linesearchdiving : 45.80 1122 0
1800.07/1800.41 c fracdiving : 47.48 1128 0
1800.07/1800.41 c simplerounding : 0.01 0 0
1800.07/1800.41 c rounding : 11.61 13534 2
1800.07/1800.41 c shifting : 1.93 2132 2
1800.07/1800.41 c intshifting : 0.00 0 0
1800.07/1800.41 c fixandinfer : 0.00 0 0
1800.07/1800.41 c feaspump : 0.01 0 0
1800.07/1800.41 c coefdiving : 57.80 607 0
1800.07/1800.41 c veclendiving : 60.37 627 0
1800.07/1800.41 c intdiving : 0.00 0 0
1800.07/1800.41 c actconsdiving : 0.00 0 0
1800.07/1800.41 c objpscostdiving : 16.26 164 0
1800.07/1800.41 c rootsoldiving : 12.25 326 0
1800.07/1800.41 c octane : 0.00 0 0
1800.07/1800.41 c rens : 0.00 0 0
1800.07/1800.41 c rins : 0.00 0 0
1800.07/1800.41 c localbranching : 0.00 0 0
1800.07/1800.41 c mutation : 0.00 0 0
1800.07/1800.41 c dins : 0.00 0 0
1800.07/1800.41 c LP : Time Calls Iterations Iter/call Iter/sec
1800.07/1800.41 c primal LP : 14.74 0 0 0.00 0.00
1800.07/1800.41 c dual LP : 1123.95 83753 9555507 114.09 8501.72
1800.07/1800.41 c barrier LP : 0.00 0 0 0.00 -
1800.07/1800.41 c diving/probing LP: 319.26 165422 3113316 18.82 9751.66
1800.07/1800.41 c strong branching : 145.37 5955 1140565 191.53 7845.94
1800.07/1800.41 c (at root node) : - 25 20759 830.36 -
1800.07/1800.41 c conflict analysis: 0.00 0 0 0.00 -
1800.07/1800.41 c B&B Tree :
1800.07/1800.41 c number of runs : 1
1800.07/1800.41 c nodes : 36103
1800.07/1800.41 c nodes (total) : 36103
1800.07/1800.41 c nodes left : 35613
1800.07/1800.41 c max depth : 47
1800.07/1800.41 c max depth (total): 47
1800.07/1800.41 c backtracks : 7351 (20.4%)
1800.07/1800.41 c delayed cutoffs : 0
1800.07/1800.41 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.07/1800.41 c avg switch length: 7.90
1800.07/1800.41 c switching time : 26.43
1800.07/1800.41 c Solution :
1800.07/1800.41 c Solutions found : 10 (8 improvements)
1800.07/1800.41 c Primal Bound : -6.00000000000000e+01 (in run 1, after 34849 nodes, 1743.04 seconds, depth 38, found by <relaxation>)
1800.07/1800.41 c Dual Bound : -1.44610239898407e+02
1800.07/1800.41 c Gap : 58.51 %
1800.07/1800.41 c Root Dual Bound : -1.48666666666667e+02
1800.27/1800.64 c Time complete: 1800.31.
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-3737312-1338743082/watcher-3737312-1338743082 -o /tmp/evaluation-result-3737312-1338743082/solver-3737312-1338743082 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3737312-1338743082.opb
running on 4 cores: 0,2,4,6
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.05 2.01 2.00 3/175 29613
/proc/meminfo: memFree=26756516/32873648 swapFree=6852/6852
[pid=29613] ppid=29611 vsize=8404 CPUtime=0 cores=0,2,4,6
/proc/29613/stat : 29613 (pbscip.linux.x8) R 29611 29613 27068 0 -1 4202496 1446 0 0 0 0 0 0 0 20 0 1 0 340435000 8605696 1398 33554432000 4194304 7823515 140735011007088 140735687670920 6957168 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/29613/statm: 2101 1398 337 887 0 1211 0
[startup+0.032584 s]
/proc/loadavg: 2.05 2.01 2.00 3/175 29613
/proc/meminfo: memFree=26756516/32873648 swapFree=6852/6852
[pid=29613] ppid=29611 vsize=15884 CPUtime=0.02 cores=0,2,4,6
/proc/29613/stat : 29613 (pbscip.linux.x8) R 29611 29613 27068 0 -1 4202496 3337 0 0 0 2 0 0 0 20 0 1 0 340435000 16265216 3289 33554432000 4194304 7823515 140735011007088 140735687670920 6896815 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/29613/statm: 3971 3289 354 887 0 3081 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 15884
[startup+0.100275 s]
/proc/loadavg: 2.05 2.01 2.00 3/175 29613
/proc/meminfo: memFree=26756516/32873648 swapFree=6852/6852
[pid=29613] ppid=29611 vsize=37428 CPUtime=0.08 cores=0,2,4,6
/proc/29613/stat : 29613 (pbscip.linux.x8) R 29611 29613 27068 0 -1 4202496 8802 0 0 0 7 1 0 0 20 0 1 0 340435000 38326272 8400 33554432000 4194304 7823515 140735011007088 140735687670920 6954986 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/29613/statm: 9357 8400 404 887 0 8467 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 37428
[startup+0.30023 s]
/proc/loadavg: 2.05 2.01 2.00 3/175 29613
/proc/meminfo: memFree=26756516/32873648 swapFree=6852/6852
[pid=29613] ppid=29611 vsize=44404 CPUtime=0.28 cores=0,2,4,6
/proc/29613/stat : 29613 (pbscip.linux.x8) R 29611 29613 27068 0 -1 4202496 10585 0 0 0 20 8 0 0 20 0 1 0 340435000 45469696 10183 33554432000 4194304 7823515 140735011007088 140735011003768 7026009 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/29613/statm: 11357 10201 471 887 0 10467 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 44404
[startup+0.700232 s]
/proc/loadavg: 2.05 2.01 2.00 3/175 29613
/proc/meminfo: memFree=26756516/32873648 swapFree=6852/6852
[pid=29613] ppid=29611 vsize=59656 CPUtime=0.69 cores=0,2,4,6
/proc/29613/stat : 29613 (pbscip.linux.x8) R 29611 29613 27068 0 -1 4202496 14497 0 0 0 59 10 0 0 20 0 1 0 340435000 61087744 13881 33554432000 4194304 7823515 140735011007088 140735011003768 6954986 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/29613/statm: 14914 13881 543 887 0 14024 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 59656
[startup+1.50023 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 29614
/proc/meminfo: memFree=26703312/32873648 swapFree=6852/6852
[pid=29613] ppid=29611 vsize=60328 CPUtime=1.49 cores=0,2,4,6
/proc/29613/stat : 29613 (pbscip.linux.x8) R 29611 29613 27068 0 -1 4202496 14845 0 0 0 138 11 0 0 20 0 1 0 340435000 61775872 14222 33554432000 4194304 7823515 140735011007088 140735011002840 6205808 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/29613/statm: 15082 14222 545 887 0 14192 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 60328
[startup+3.10023 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 29614
/proc/meminfo: memFree=26700212/32873648 swapFree=6852/6852
[pid=29613] ppid=29611 vsize=65644 CPUtime=3.09 cores=0,2,4,6
/proc/29613/stat : 29613 (pbscip.linux.x8) R 29611 29613 27068 0 -1 4202496 16376 0 0 0 296 13 0 0 20 0 1 0 340435000 67219456 15656 33554432000 4194304 7823515 140735011007088 140735011002232 6954986 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/29613/statm: 16411 15656 546 887 0 15521 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 65644
[startup+6.30024 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 29614
/proc/meminfo: memFree=26685084/32873648 swapFree=6852/6852
[pid=29613] ppid=29611 vsize=76576 CPUtime=6.28 cores=0,2,4,6
/proc/29613/stat : 29613 (pbscip.linux.x8) R 29611 29613 27068 0 -1 4202496 19187 0 0 0 613 15 0 0 20 0 1 0 340435000 78413824 18381 33554432000 4194304 7823515 140735011007088 140735011002888 6211600 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/29613/statm: 19144 18381 546 887 0 18254 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 76576
[startup+12.7002 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 29614
/proc/meminfo: memFree=26671568/32873648 swapFree=6852/6852
[pid=29613] ppid=29611 vsize=92460 CPUtime=12.68 cores=0,2,4,6
/proc/29613/stat : 29613 (pbscip.linux.x8) R 29611 29613 27068 0 -1 4202496 23094 0 0 0 1248 20 0 0 20 0 1 0 340435000 94679040 22233 33554432000 4194304 7823515 140735011007088 140735011002424 6954986 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/29613/statm: 23115 22233 546 887 0 22225 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 92460
[startup+25.5002 s]
/proc/loadavg: 2.03 2.01 2.00 3/176 29614
/proc/meminfo: memFree=26669092/32873648 swapFree=6852/6852
[pid=29613] ppid=29611 vsize=92820 CPUtime=25.47 cores=0,2,4,6
/proc/29613/stat : 29613 (pbscip.linux.x8) R 29611 29613 27068 0 -1 4202496 23233 0 0 0 2520 27 0 0 20 0 1 0 340435000 95047680 22371 33554432000 4194304 7823515 140735011007088 140735011001528 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29613/statm: 23205 22371 547 887 0 22315 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 92820
[startup+51.1002 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 29615
/proc/meminfo: memFree=26667388/32873648 swapFree=6852/6852
[pid=29613] ppid=29611 vsize=94888 CPUtime=51.07 cores=0,2,4,6
/proc/29613/stat : 29613 (pbscip.linux.x8) R 29611 29613 27068 0 -1 4202496 23657 0 0 0 5063 44 0 0 20 0 1 0 340435000 97165312 22795 33554432000 4194304 7823515 140735011007088 140735011002248 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29613/statm: 23722 22795 554 887 0 22832 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 94888
[startup+102.306 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 29615
/proc/meminfo: memFree=26664600/32873648 swapFree=6852/6852
[pid=29613] ppid=29611 vsize=94888 CPUtime=102.26 cores=0,2,4,6
/proc/29613/stat : 29613 (pbscip.linux.x8) R 29611 29613 27068 0 -1 4202496 23671 0 0 0 10141 85 0 0 20 0 1 0 340435000 97165312 22808 33554432000 4194304 7823515 140735011007088 140735011002984 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29613/statm: 23722 22808 555 887 0 22832 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 94888
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 29616
/proc/meminfo: memFree=26665768/32873648 swapFree=6852/6852
[pid=29613] ppid=29611 vsize=95128 CPUtime=162.24 cores=0,2,4,6
/proc/29613/stat : 29613 (pbscip.linux.x8) R 29611 29613 27068 0 -1 4202496 25683 0 0 0 16093 131 0 0 20 0 1 0 340435000 97411072 22880 33554432000 4194304 7823515 140735011007088 140735011001784 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29613/statm: 23782 22880 566 887 0 22892 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 95128
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 29616
/proc/meminfo: memFree=26662424/32873648 swapFree=6852/6852
[pid=29613] ppid=29611 vsize=98524 CPUtime=222.23 cores=0,2,4,6
/proc/29613/stat : 29613 (pbscip.linux.x8) R 29611 29613 27068 0 -1 4202496 26527 0 0 0 22039 184 0 0 20 0 1 0 340435000 100888576 23723 33554432000 4194304 7823515 140735011007088 140735011002424 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29613/statm: 24631 23723 566 887 0 23741 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 98524
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29616
/proc/meminfo: memFree=26657836/32873648 swapFree=6852/6852
[pid=29613] ppid=29611 vsize=103528 CPUtime=282.22 cores=0,2,4,6
/proc/29613/stat : 29613 (pbscip.linux.x8) R 29611 29613 27068 0 -1 4202496 27729 0 0 0 27986 236 0 0 20 0 1 0 340435000 106012672 24924 33554432000 4194304 7823515 140735011007088 140735011002424 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29613/statm: 25882 24924 566 887 0 24992 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 103528
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29619
/proc/meminfo: memFree=26652984/32873648 swapFree=6852/6852
[pid=29613] ppid=29611 vsize=106924 CPUtime=342.21 cores=0,2,4,6
/proc/29613/stat : 29613 (pbscip.linux.x8) R 29611 29613 27068 0 -1 4202496 28520 0 0 0 33933 288 0 0 20 0 1 0 340435000 109490176 25962 33554432000 4194304 7823515 140735011007088 140735011002424 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29613/statm: 26731 25962 566 887 0 25841 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 106924
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29619
/proc/meminfo: memFree=26647904/32873648 swapFree=6852/6852
[pid=29613] ppid=29611 vsize=112120 CPUtime=402.2 cores=0,2,4,6
/proc/29613/stat : 29613 (pbscip.linux.x8) R 29611 29613 27068 0 -1 4202496 29802 0 0 0 39872 348 0 0 20 0 1 0 340435000 114810880 27273 33554432000 4194304 7823515 140735011007088 140735011002872 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29613/statm: 28030 27273 566 887 0 27140 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 112120
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29620
/proc/meminfo: memFree=26643812/32873648 swapFree=6852/6852
[pid=29613] ppid=29611 vsize=116520 CPUtime=462.19 cores=0,2,4,6
/proc/29613/stat : 29613 (pbscip.linux.x8) R 29611 29613 27068 0 -1 4202496 30876 0 0 0 45814 405 0 0 20 0 1 0 340435000 119316480 28346 33554432000 4194304 7823515 140735011007088 140735011002840 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29613/statm: 29130 28346 566 887 0 28240 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 116520
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29620
/proc/meminfo: memFree=26639720/32873648 swapFree=6852/6852
[pid=29613] ppid=29611 vsize=119804 CPUtime=522.18 cores=0,2,4,6
/proc/29613/stat : 29613 (pbscip.linux.x8) R 29611 29613 27068 0 -1 4202496 31726 0 0 0 51757 461 0 0 20 0 1 0 340435000 122679296 29195 33554432000 4194304 7823515 140735011007088 140735011002424 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29613/statm: 29951 29195 566 887 0 29061 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 119804
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29620
/proc/meminfo: memFree=26633396/32873648 swapFree=6852/6852
[pid=29613] ppid=29611 vsize=125572 CPUtime=582.18 cores=0,2,4,6
/proc/29613/stat : 29613 (pbscip.linux.x8) R 29611 29613 27068 0 -1 4202496 33218 0 0 0 57699 519 0 0 20 0 1 0 340435000 128585728 30686 33554432000 4194304 7823515 140735011007088 140735011002776 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29613/statm: 31393 30686 566 887 0 30503 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 125572
[startup+642.3 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29621
/proc/meminfo: memFree=26603752/32873648 swapFree=6852/6852
[pid=29613] ppid=29611 vsize=155472 CPUtime=882.11 cores=0,2,4,6
/proc/29613/stat : 29613 (pbscip.linux.x8) R 29611 29613 27068 0 -1 4202496 40573 0 0 0 87400 811 0 0 20 0 1 0 340435000 159203328 38154 33554432000 4194304 7823515 140735011007088 140735011002840 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29613/statm: 38868 38154 566 887 0 37978 0
Current children cumulated CPU time (s) 882.11
Current children cumulated vsize (KiB) 155472
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29624
/proc/meminfo: memFree=26598908/32873648 swapFree=6852/6852
[pid=29613] ppid=29611 vsize=160292 CPUtime=942.11 cores=0,2,4,6
/proc/29613/stat : 29613 (pbscip.linux.x8) R 29611 29613 27068 0 -1 4202496 41750 0 0 0 93341 870 0 0 20 0 1 0 340435000 164139008 39331 33554432000 4194304 7823515 140735011007088 140735011004232 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29613/statm: 40073 39331 566 887 0 39183 0
Current children cumulated CPU time (s) 942.11
Current children cumulated vsize (KiB) 160292
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29624
/proc/meminfo: memFree=26593708/32873648 swapFree=6852/6852
[pid=29613] ppid=29611 vsize=165660 CPUtime=1002.09 cores=0,2,4,6
/proc/29613/stat : 29613 (pbscip.linux.x8) R 29611 29613 27068 0 -1 4202496 43072 0 0 0 99278 931 0 0 20 0 1 0 340435000 169635840 40653 33554432000 4194304 7823515 140735011007088 140735011002776 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29613/statm: 41415 40653 566 887 0 40525 0
Current children cumulated CPU time (s) 1002.09
Current children cumulated vsize (KiB) 165660
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29625
/proc/meminfo: memFree=26588256/32873648 swapFree=6852/6852
[pid=29613] ppid=29611 vsize=171168 CPUtime=1062.08 cores=0,2,4,6
/proc/29613/stat : 29613 (pbscip.linux.x8) R 29611 29613 27068 0 -1 4202496 44409 0 0 0 105220 988 0 0 20 0 1 0 340435000 175276032 41990 33554432000 4194304 7823515 140735011007088 140735011002568 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29613/statm: 42792 41990 566 887 0 41902 0
Current children cumulated CPU time (s) 1062.08
Current children cumulated vsize (KiB) 171168
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29625
/proc/meminfo: memFree=26580364/32873648 swapFree=6852/6852
[pid=29613] ppid=29611 vsize=177700 CPUtime=1122.07 cores=0,2,4,6
/proc/29613/stat : 29613 (pbscip.linux.x8) R 29611 29613 27068 0 -1 4202496 46064 0 0 0 111156 1051 0 0 20 0 1 0 340435000 181964800 43704 33554432000 4194304 7823515 140735011007088 140735011002920 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29613/statm: 44425 43704 566 887 0 43535 0
Current children cumulated CPU time (s) 1122.07
Current children cumulated vsize (KiB) 177700
[startup+1182.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 29625
/proc/meminfo: memFree=26575688/32873648 swapFree=6852/6852
[pid=29613] ppid=29611 vsize=185756 CPUtime=1182.06 cores=0,2,4,6
/proc/29613/stat : 29613 (pbscip.linux.x8) R 29611 29613 27068 0 -1 4202496 48036 0 0 0 117091 1115 0 0 20 0 1 0 340435000 190214144 45746 33554432000 4194304 7823515 140735011007088 140735011002424 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29613/statm: 46439 45746 566 887 0 45549 0
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (KiB) 185756
[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 29625
/proc/meminfo: memFree=26567380/32873648 swapFree=6852/6852
[pid=29613] ppid=29611 vsize=191528 CPUtime=1242.06 cores=0,2,4,6
/proc/29613/stat : 29613 (pbscip.linux.x8) R 29611 29613 27068 0 -1 4202496 49484 0 0 0 123021 1185 0 0 20 0 1 0 340435000 196124672 47194 33554432000 4194304 7823515 140735011007088 140735011002424 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29613/statm: 47882 47194 566 887 0 46992 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 191528
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29625
/proc/meminfo: memFree=26560560/32873648 swapFree=6852/6852
[pid=29613] ppid=29611 vsize=198224 CPUtime=1302.05 cores=0,2,4,6
/proc/29613/stat : 29613 (pbscip.linux.x8) R 29611 29613 27068 0 -1 4202496 51126 0 0 0 128957 1248 0 0 20 0 1 0 340435000 202981376 48835 33554432000 4194304 7823515 140735011007088 140735011002424 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29613/statm: 49556 48835 566 887 0 48666 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 198224
[startup+1362.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 29626
/proc/meminfo: memFree=26552996/32873648 swapFree=6852/6852
[pid=29613] ppid=29611 vsize=206280 CPUtime=1362.03 cores=0,2,4,6
/proc/29613/stat : 29613 (pbscip.linux.x8) R 29611 29613 27068 0 -1 4202496 53072 0 0 0 134895 1308 0 0 20 0 1 0 340435000 211230720 50780 33554432000 4194304 7823515 140735011007088 140735011002888 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29613/statm: 51570 50780 566 887 0 50680 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 206280
[startup+1422.31 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 29626
/proc/meminfo: memFree=26544528/32873648 swapFree=6852/6852
[pid=29613] ppid=29611 vsize=213632 CPUtime=1422.03 cores=0,2,4,6
/proc/29613/stat : 29613 (pbscip.linux.x8) R 29611 29613 27068 0 -1 4202496 54901 0 0 0 140836 1367 0 0 20 0 1 0 340435000 218759168 52745 33554432000 4194304 7823515 140735011007088 140735011002424 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29613/statm: 53408 52745 566 887 0 52518 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 213632
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29626
/proc/meminfo: memFree=26539908/32873648 swapFree=6852/6852
[pid=29613] ppid=29611 vsize=219076 CPUtime=1482.02 cores=0,2,4,6
/proc/29613/stat : 29613 (pbscip.linux.x8) R 29611 29613 27068 0 -1 4202496 56250 0 0 0 146771 1431 0 0 20 0 1 0 340435000 224333824 54093 33554432000 4194304 7823515 140735011007088 140735011002424 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29613/statm: 54769 54093 566 887 0 53879 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 219076
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29629
/proc/meminfo: memFree=26533328/32873648 swapFree=6852/6852
[pid=29613] ppid=29611 vsize=225600 CPUtime=1542 cores=0,2,4,6
/proc/29613/stat : 29613 (pbscip.linux.x8) R 29611 29613 27068 0 -1 4202496 57857 0 0 0 152706 1494 0 0 20 0 1 0 340435000 231014400 55699 33554432000 4194304 7823515 140735011007088 140735011002424 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29613/statm: 56400 55699 566 887 0 55510 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 225600
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29629
/proc/meminfo: memFree=26523664/32873648 swapFree=6852/6852
[pid=29613] ppid=29611 vsize=235152 CPUtime=1601.99 cores=0,2,4,6
/proc/29613/stat : 29613 (pbscip.linux.x8) R 29611 29613 27068 0 -1 4202496 60262 0 0 0 158645 1554 0 0 20 0 1 0 340435000 240795648 58104 33554432000 4194304 7823515 140735011007088 140735011003752 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29613/statm: 58788 58104 566 887 0 57898 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 235152
[startup+1662.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 29630
/proc/meminfo: memFree=26513744/32873648 swapFree=6852/6852
[pid=29613] ppid=29611 vsize=239556 CPUtime=1661.99 cores=0,2,4,6
/proc/29613/stat : 29613 (pbscip.linux.x8) R 29611 29613 27068 0 -1 4202496 61361 0 0 0 164580 1619 0 0 20 0 1 0 340435000 245305344 59203 33554432000 4194304 7823515 140735011007088 140735011002424 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29613/statm: 59889 59203 566 887 0 58999 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 239556
[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 29707
/proc/meminfo: memFree=26712660/32873648 swapFree=6852/6852
[pid=29613] ppid=29611 vsize=252632 CPUtime=1721.98 cores=0,2,4,6
/proc/29613/stat : 29613 (pbscip.linux.x8) R 29611 29613 27068 0 -1 4202496 70678 0 0 0 170512 1686 0 0 20 0 1 0 340435000 258695168 62465 33554432000 4194304 7823515 140735011007088 140735011002424 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29613/statm: 63158 62465 570 887 0 62268 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 252632
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29707
/proc/meminfo: memFree=26706448/32873648 swapFree=6852/6852
[pid=29613] ppid=29611 vsize=254336 CPUtime=1781.96 cores=0,2,4,6
/proc/29613/stat : 29613 (pbscip.linux.x8) R 29611 29613 27068 0 -1 4202496 76456 0 0 0 176446 1750 0 0 20 0 1 0 340435000 260440064 62958 33554432000 4194304 7823515 140735011007088 140735011002136 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29613/statm: 63584 62958 570 887 0 62694 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 254336
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29707
/proc/meminfo: memFree=26707848/32873648 swapFree=6852/6852
[pid=29613] ppid=29611 vsize=255576 CPUtime=1800.07 cores=0,2,4,6
/proc/29613/stat : 29613 (pbscip.linux.x8) R 29611 29613 27068 0 -1 4202496 76772 0 0 0 178239 1768 0 0 20 0 1 0 340435000 261709824 63273 33554432000 4194304 7823515 140735011007088 140735011002552 4289652 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29613/statm: 63894 63273 570 887 0 63004 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 255576
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29708
/proc/meminfo: memFree=26707848/32873648 swapFree=6852/6852
[pid=29613] ppid=29611 vsize=255576 CPUtime=1800.27 cores=0,2,4,6
/proc/29613/stat : 29613 (pbscip.linux.x8) R 29611 29613 27068 0 -1 4202496 76774 0 0 0 178259 1768 0 0 20 0 1 0 340435000 261709824 63275 33554432000 4194304 7823515 140735011007088 140735011002840 4212016 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29613/statm: 63894 63275 572 887 0 63004 0
Current children cumulated CPU time (s) 1800.27
Current children cumulated vsize (KiB) 255576
Child status: 0
Real time (s): 1800.65
CPU time (s): 1800.32
CPU user time (s): 1782.63
CPU system time (s): 17.6863
CPU usage (%): 99.9818
Max. virtual memory (cumulated for all children) (KiB): 260848
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1782.63
system time used= 17.6863
maximum resident set size= 259168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76777
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= 52
involuntary context switches= 2320
runsolver used 3.2725 second user time and 8.69268 second system time
The end