0.00/0.08 c SCIP version 1.1.0.7
0.00/0.08 c LP-Solver SoPlex 1.4.1
0.00/0.08 c user parameter file <scip.set> not found - using default parameters
0.00/0.08 c read problem <HOME/instance-3737158-1338734071.opb>
0.00/0.08 c original problem has 19183 variables (19183 bin, 0 int, 0 impl, 0 cont) and 19183 constraints
0.09/0.15 c start presolving problem
0.09/0.15 c presolving:
0.29/0.34 c (round 1) 18683 del vars, 500 del conss, 18683 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 74732 impls, 0 clqs
0.59/0.67 c (0.5s) probing: 101/500 (20.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.59/0.67 c (0.5s) probing aborted: 100/100 successive totally useless probings
0.59/0.67 c presolving (2 rounds):
0.59/0.67 c 18683 deleted vars, 500 deleted constraints, 18683 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.59/0.67 c 112098 implications, 0 cliques
0.59/0.67 c presolved problem has 500 variables (500 bin, 0 int, 0 impl, 0 cont) and 18683 constraints
0.59/0.67 c 18683 constraints of type <and>
0.59/0.67 c transformed objective value is always integral (scale: 1)
0.59/0.67 c Presolving Time: 0.46
0.59/0.67 c OPT-NLC
0.59/0.67 c -----------------------------------------------------------------------------------------------
0.59/0.67 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.59/0.67 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.67 c limits/memory = c 13950
0.59/0.67 c # maximal time in seconds to run
0.59/0.67 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.67 c limits/time = c 1791
0.59/0.67 c # frequency for displaying node information lines
0.59/0.67 c # [type: int, range: [-1,2147483647], default: 100]
0.59/0.67 c display/freq = c 10000
0.59/0.67 c -----------------------------------------------------------------------------------------------
0.59/0.67 c start solving problem
0.59/0.67 c
0.79/0.85 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.79/0.85 c 0.7s| 1 | 0 | 509 | 69M| 0 | 500 | 500 | 18k| 18k| 500 | 18k| 0 | 0 | 0 |-2.500000e+02 | -- | Inf
0.79/0.86 o -22
0.79/0.86 c R 0.7s| 1 | 0 | 509 | 69M| 0 | 500 | 500 | 18k| 18k| 500 | 18k| 0 | 0 | 0 |-2.500000e+02 |-2.200000e+01 | 91.20%
1.19/1.27 c 1.1s| 1 | 0 | 644 | 69M| 0 | 486 | 500 | 18k| 18k| 500 | 18k| 12 | 0 | 0 |-2.430000e+02 |-2.200000e+01 | 90.95%
1.58/1.65 c 1.5s| 1 | 0 | 739 | 69M| 0 | 476 | 500 | 18k| 18k| 500 | 18k| 20 | 0 | 0 |-2.380000e+02 |-2.200000e+01 | 90.76%
1.99/2.08 c 1.9s| 1 | 0 | 824 | 69M| 0 | 465 | 500 | 18k| 18k| 500 | 18k| 26 | 0 | 0 |-2.325000e+02 |-2.200000e+01 | 90.54%
1.99/2.08 o -24
1.99/2.08 c R 1.9s| 1 | 0 | 824 | 69M| 0 | 465 | 500 | 18k| 18k| 500 | 18k| 26 | 0 | 0 |-2.325000e+02 |-2.400000e+01 | 89.68%
2.49/2.51 c 2.3s| 1 | 0 | 897 | 69M| 0 | 457 | 500 | 18k| 18k| 500 | 18k| 33 | 0 | 0 |-2.285000e+02 |-2.400000e+01 | 89.50%
3.08/3.10 c 2.9s| 1 | 0 | 1142 | 69M| 0 | 449 | 500 | 18k| 18k| 500 | 18k| 39 | 0 | 0 |-2.245000e+02 |-2.400000e+01 | 89.31%
3.59/3.62 c 3.4s| 1 | 0 | 1304 | 69M| 0 | 439 | 500 | 18k| 18k| 500 | 18k| 45 | 0 | 0 |-2.195000e+02 |-2.400000e+01 | 89.07%
4.19/4.24 c 4.0s| 1 | 0 | 1555 | 69M| 0 | 426 | 500 | 18k| 18k| 500 | 18k| 54 | 0 | 0 |-2.130000e+02 |-2.400000e+01 | 88.73%
4.19/4.24 o -25
4.19/4.24 c R 4.0s| 1 | 0 | 1555 | 69M| 0 | 426 | 500 | 18k| 18k| 500 | 18k| 54 | 0 | 0 |-2.130000e+02 |-2.500000e+01 | 88.26%
4.69/4.79 c 4.6s| 1 | 0 | 1699 | 69M| 0 | 422 | 500 | 18k| 18k| 500 | 18k| 60 | 0 | 0 |-2.110000e+02 |-2.500000e+01 | 88.15%
5.29/5.36 c 5.2s| 1 | 0 | 1824 | 69M| 0 | 418 | 500 | 18k| 18k| 500 | 18k| 66 | 0 | 0 |-2.090000e+02 |-2.500000e+01 | 88.04%
5.99/6.01 c 5.8s| 1 | 0 | 2037 | 69M| 0 | 412 | 500 | 18k| 18k| 500 | 18k| 71 | 0 | 0 |-2.060000e+02 |-2.500000e+01 | 87.86%
6.29/6.39 c 6.2s| 1 | 0 | 2220 | 69M| 0 | 410 | 500 | 18k| 18k| 500 | 772 | 79 | 0 | 0 |-2.050000e+02 |-2.500000e+01 | 87.80%
6.39/6.47 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.39/6.47 c 6.2s| 1 | 0 | 2411 | 69M| 0 | 400 | 500 | 18k| 18k| 500 | 781 | 88 | 0 | 0 |-2.040000e+02 |-2.500000e+01 | 87.75%
6.49/6.58 c 6.4s| 1 | 0 | 2805 | 69M| 0 | 418 | 500 | 18k| 18k| 500 |1006 | 313 | 0 | 0 |-2.015000e+02 |-2.500000e+01 | 87.59%
6.79/6.89 c 6.7s| 1 | 0 | 2987 | 70M| 0 | 401 | 500 | 18k| 18k| 500 |2880 |2187 | 0 | 0 |-2.005000e+02 |-2.500000e+01 | 87.53%
6.99/7.02 c 6.8s| 1 | 0 | 3258 | 70M| 0 | 397 | 500 | 18k| 18k| 500 |2888 |2195 | 0 | 0 |-1.985000e+02 |-2.500000e+01 | 87.41%
7.09/7.15 c 6.9s| 1 | 0 | 3456 | 70M| 0 | 395 | 500 | 18k| 18k| 500 |2894 |2201 | 0 | 0 |-1.975000e+02 |-2.500000e+01 | 87.34%
7.29/7.30 c 7.1s| 1 | 0 | 3766 | 70M| 0 | 390 | 500 | 18k| 18k| 500 |2583 |2207 | 0 | 0 |-1.960000e+02 |-2.500000e+01 | 87.24%
7.48/7.53 c 7.3s| 1 | 0 | 4479 | 70M| 0 | 380 | 500 | 18k| 18k| 500 |2636 |2260 | 0 | 0 |-1.940000e+02 |-2.500000e+01 | 87.11%
7.59/7.69 c 7.5s| 1 | 0 | 4830 | 70M| 0 | 381 | 500 | 18k| 18k| 500 |2833 |2457 | 0 | 0 |-1.905000e+02 |-2.500000e+01 | 86.88%
7.80/7.80 c 7.6s| 1 | 0 | 5008 | 70M| 0 | 368 | 500 | 18k| 18k| 500 |2838 |2462 | 0 | 0 |-1.890000e+02 |-2.500000e+01 | 86.77%
7.89/7.95 c 7.7s| 1 | 0 | 5295 | 70M| 0 | 373 | 500 | 18k| 18k| 500 |3092 |2716 | 0 | 0 |-1.865000e+02 |-2.500000e+01 | 86.60%
7.99/8.07 c 7.8s| 1 | 0 | 5544 | 70M| 0 | 390 | 500 | 18k| 18k| 500 |3102 |2726 | 0 | 0 |-1.860000e+02 |-2.500000e+01 | 86.56%
8.39/8.41 c 8.2s| 1 | 0 | 5691 | 71M| 0 | 371 | 500 | 18k| 18k| 500 |4738 |4703 | 0 | 0 |-1.855000e+02 |-2.500000e+01 | 86.52%
8.58/8.60 c 8.4s| 1 | 0 | 6057 | 71M| 0 | 372 | 500 | 18k| 18k| 500 |4747 |4712 | 0 | 0 |-1.835000e+02 |-2.500000e+01 | 86.38%
8.69/8.79 c 8.6s| 1 | 0 | 6459 | 71M| 0 | 359 | 500 | 18k| 18k| 500 |4801 |4766 | 0 | 0 |-1.805000e+02 |-2.500000e+01 | 86.15%
8.90/8.93 c 8.7s| 1 | 0 | 6716 | 71M| 0 | 355 | 500 | 18k| 18k| 500 |4856 |4821 | 0 | 0 |-1.795000e+02 |-2.500000e+01 | 86.07%
9.09/9.14 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
9.09/9.14 c 8.9s| 1 | 0 | 7094 | 71M| 0 | 355 | 500 | 18k| 18k| 500 |4988 |4953 | 0 | 0 |-1.775000e+02 |-2.500000e+01 | 85.92%
9.29/9.37 c 9.1s| 1 | 0 | 7541 | 71M| 0 | 356 | 500 | 18k| 18k| 500 |4995 |4960 | 0 | 0 |-1.763333e+02 |-2.500000e+01 | 85.82%
9.59/9.60 c 9.4s| 1 | 0 | 8058 | 71M| 0 | 347 | 500 | 18k| 18k| 500 |3047 |5078 | 0 | 0 |-1.745000e+02 |-2.500000e+01 | 85.67%
9.68/9.73 c 9.5s| 1 | 0 | 8370 | 71M| 0 | 360 | 500 | 18k| 18k| 500 |3090 |5121 | 0 | 0 |-1.737500e+02 |-2.500000e+01 | 85.61%
9.90/9.96 c 9.7s| 1 | 0 | 8925 | 71M| 0 | 348 | 500 | 18k| 18k| 500 |3424 |5455 | 0 | 0 |-1.722500e+02 |-2.500000e+01 | 85.49%
10.09/10.14 c 9.9s| 1 | 0 | 9348 | 71M| 0 | 337 | 500 | 18k| 18k| 500 |3725 |5756 | 0 | 0 |-1.705000e+02 |-2.500000e+01 | 85.34%
10.29/10.31 c 10.1s| 1 | 0 | 9732 | 71M| 0 | 338 | 500 | 18k| 18k| 500 |3836 |5867 | 0 | 0 |-1.695000e+02 |-2.500000e+01 | 85.25%
10.49/10.56 c 10.3s| 1 | 0 | 10346 | 72M| 0 | 357 | 500 | 18k| 18k| 500 |3889 |5920 | 0 | 0 |-1.675000e+02 |-2.500000e+01 | 85.07%
10.79/10.88 c 10.6s| 1 | 0 | 11014 | 72M| 0 | 339 | 500 | 18k| 18k| 500 |1878 |6060 | 0 | 0 |-1.650000e+02 |-2.500000e+01 | 84.85%
10.89/11.00 c 10.8s| 1 | 0 | 11378 | 72M| 0 | 352 | 500 | 18k| 18k| 500 |1888 |6070 | 0 | 0 |-1.633333e+02 |-2.500000e+01 | 84.69%
11.19/11.22 c 11.0s| 1 | 0 | 11917 | 72M| 0 | 339 | 500 | 18k| 18k| 500 |2607 |6789 | 0 | 0 |-1.615000e+02 |-2.500000e+01 | 84.52%
11.38/11.43 c 11.2s| 1 | 0 | 12491 | 72M| 0 | 316 | 500 | 18k| 18k| 500 |2811 |6993 | 0 | 0 |-1.590000e+02 |-2.500000e+01 | 84.28%
11.58/11.65 c 11.4s| 1 | 0 | 13137 | 72M| 0 | 314 | 500 | 18k| 18k| 500 |2855 |7037 | 0 | 0 |-1.580000e+02 |-2.500000e+01 | 84.18%
11.79/11.89 c 11.6s| 1 | 0 | 13873 | 72M| 0 | 346 | 500 | 18k| 18k| 500 |2913 |7095 | 0 | 0 |-1.568750e+02 |-2.500000e+01 | 84.06%
12.20/12.21 c 11.9s| 1 | 0 | 14770 | 72M| 0 | 324 | 500 | 18k| 18k| 500 |2332 |7278 | 0 | 0 |-1.551667e+02 |-2.500000e+01 | 83.89%
12.39/12.41 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.39/12.41 c 12.2s| 1 | 0 | 15396 | 72M| 0 | 373 | 500 | 18k| 18k| 500 |2380 |7326 | 0 | 0 |-1.536596e+02 |-2.500000e+01 | 83.73%
12.69/12.71 c 12.4s| 1 | 0 | 15693 | 73M| 0 | 346 | 500 | 18k| 18k| 500 |3906 |8852 | 0 | 0 |-1.533500e+02 |-2.500000e+01 | 83.70%
12.89/12.95 c 12.7s| 1 | 0 | 16188 | 73M| 0 | 302 | 500 | 18k| 18k| 500 |3919 |8865 | 0 | 0 |-1.510000e+02 |-2.500000e+01 | 83.44%
13.19/13.22 c 13.0s| 1 | 0 | 16840 | 73M| 0 | 314 | 500 | 18k| 18k| 500 |3926 |8872 | 0 | 0 |-1.493750e+02 |-2.500000e+01 | 83.26%
13.48/13.53 c 13.3s| 1 | 0 | 17512 | 73M| 0 | 353 | 500 | 18k| 18k| 500 |4036 |8982 | 0 | 0 |-1.477155e+02 |-2.500000e+01 | 83.08%
13.78/13.87 c 13.6s| 1 | 0 | 18274 | 74M| 0 | 333 | 500 | 18k| 18k| 500 |3091 |9151 | 0 | 0 |-1.457812e+02 |-2.500000e+01 | 82.85%
13.99/14.04 c 13.8s| 1 | 0 | 18620 | 74M| 0 | 319 | 500 | 18k| 18k| 500 |3185 |9245 | 0 | 0 |-1.450000e+02 |-2.500000e+01 | 82.76%
14.39/14.47 c 14.2s| 1 | 0 | 19581 | 75M| 0 | 354 | 500 | 18k| 18k| 500 |3226 |9286 | 0 | 0 |-1.446205e+02 |-2.500000e+01 | 82.71%
14.79/14.88 c 14.6s| 1 | 0 | 20538 | 76M| 0 | 367 | 500 | 18k| 18k| 500 |3382 |9442 | 0 | 0 |-1.438054e+02 |-2.500000e+01 | 82.62%
15.09/15.19 c 14.9s| 1 | 0 | 21166 | 77M| 0 | 362 | 500 | 18k| 18k| 500 |3464 |9524 | 0 | 0 |-1.419579e+02 |-2.500000e+01 | 82.39%
15.49/15.52 c 15.2s| 1 | 0 | 21946 | 78M| 0 | 347 | 500 | 18k| 18k| 500 |3543 |9603 | 0 | 0 |-1.401756e+02 |-2.500000e+01 | 82.17%
15.79/15.88 c 15.6s| 1 | 0 | 22646 | 78M| 0 | 366 | 500 | 18k| 18k| 500 |2330 |9719 | 0 | 0 |-1.393141e+02 |-2.500000e+01 | 82.05%
16.19/16.25 c 16.0s| 1 | 0 | 23313 | 78M| 0 | 375 | 500 | 18k| 18k| 500 |2568 |9957 | 0 | 0 |-1.380226e+02 |-2.500000e+01 | 81.89%
16.69/16.71 c 16.4s| 1 | 0 | 24071 | 79M| 0 | 378 | 500 | 18k| 18k| 500 |2757 | 10k| 0 | 0 |-1.361261e+02 |-2.500000e+01 | 81.63%
17.18/17.21 c 16.9s| 1 | 0 | 24795 | 79M| 0 | 386 | 500 | 18k| 18k| 500 |2877 | 10k| 0 | 0 |-1.349223e+02 |-2.500000e+01 | 81.47%
17.70/17.75 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
17.70/17.75 c 17.4s| 1 | 0 | 25485 | 79M| 0 | 374 | 500 | 18k| 18k| 500 |3075 | 10k| 0 | 0 |-1.338462e+02 |-2.500000e+01 | 81.32%
18.29/18.38 c 18.1s| 1 | 0 | 26409 | 79M| 0 | 385 | 500 | 18k| 18k| 500 |3158 | 10k| 0 | 0 |-1.328593e+02 |-2.500000e+01 | 81.18%
18.98/19.06 c 18.8s| 1 | 0 | 27354 | 79M| 0 | 386 | 500 | 18k| 18k| 500 |2761 | 10k| 0 | 0 |-1.311522e+02 |-2.500000e+01 | 80.94%
19.59/19.69 c 19.4s| 1 | 0 | 28319 | 79M| 0 | 379 | 500 | 18k| 18k| 500 |2813 | 10k| 0 | 0 |-1.298971e+02 |-2.500000e+01 | 80.75%
20.29/20.34 c 20.0s| 1 | 0 | 29309 | 79M| 0 | 391 | 500 | 18k| 18k| 500 |2947 | 10k| 0 | 0 |-1.283500e+02 |-2.500000e+01 | 80.52%
20.99/21.01 c 20.7s| 1 | 0 | 30212 | 79M| 0 | 396 | 500 | 18k| 18k| 500 |3086 | 10k| 0 | 0 |-1.269318e+02 |-2.500000e+01 | 80.30%
21.69/21.77 c 21.4s| 1 | 0 | 31089 | 79M| 0 | 381 | 500 | 18k| 18k| 500 |3290 | 11k| 0 | 0 |-1.257233e+02 |-2.500000e+01 | 80.12%
22.38/22.43 c 22.1s| 1 | 0 | 31834 | 79M| 0 | 395 | 500 | 18k| 18k| 500 |3347 | 11k| 0 | 0 |-1.249370e+02 |-2.500000e+01 | 79.99%
23.09/23.16 c 22.8s| 1 | 0 | 32693 | 79M| 0 | 391 | 500 | 18k| 18k| 500 |2782 | 11k| 0 | 0 |-1.238954e+02 |-2.500000e+01 | 79.82%
23.78/23.82 c 23.5s| 1 | 0 | 33513 | 79M| 0 | 401 | 500 | 18k| 18k| 500 |2848 | 11k| 0 | 0 |-1.229416e+02 |-2.500000e+01 | 79.67%
24.39/24.47 c 24.1s| 1 | 0 | 34238 | 79M| 0 | 405 | 500 | 18k| 18k| 500 |2913 | 11k| 0 | 0 |-1.223490e+02 |-2.500000e+01 | 79.57%
25.09/25.10 c 24.8s| 1 | 0 | 34841 | 79M| 0 | 401 | 500 | 18k| 18k| 500 |2937 | 11k| 0 | 0 |-1.219057e+02 |-2.500000e+01 | 79.49%
25.68/25.79 c 25.4s| 1 | 0 | 35596 | 79M| 0 | 411 | 500 | 18k| 18k| 500 |2948 | 11k| 0 | 0 |-1.212651e+02 |-2.500000e+01 | 79.38%
26.40/26.45 c 26.1s| 1 | 0 | 36250 | 79M| 0 | 412 | 500 | 18k| 18k| 500 |2984 | 11k| 0 | 0 |-1.206695e+02 |-2.500000e+01 | 79.28%
27.18/27.29 c 26.9s| 1 | 0 | 37289 | 79M| 0 | 414 | 500 | 18k| 18k| 500 |2639 | 11k| 0 | 0 |-1.198416e+02 |-2.500000e+01 | 79.14%
27.88/27.92 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
27.88/27.92 c 27.6s| 1 | 0 | 37934 | 79M| 0 | 408 | 500 | 18k| 18k| 500 |2716 | 11k| 0 | 0 |-1.192508e+02 |-2.500000e+01 | 79.04%
28.49/28.52 c 28.2s| 1 | 0 | 38451 | 79M| 0 | 417 | 500 | 18k| 18k| 500 |2770 | 11k| 0 | 0 |-1.189590e+02 |-2.500000e+01 | 78.98%
29.18/29.25 c 28.9s| 1 | 0 | 39302 | 79M| 0 | 413 | 500 | 18k| 18k| 500 |2808 | 11k| 0 | 0 |-1.178931e+02 |-2.500000e+01 | 78.79%
29.80/29.82 c 29.4s| 1 | 0 | 39664 | 79M| 0 | 417 | 500 | 18k| 18k| 500 |2870 | 11k| 0 | 0 |-1.177048e+02 |-2.500000e+01 | 78.76%
30.49/30.56 c 30.2s| 1 | 0 | 40411 | 79M| 0 | 412 | 500 | 18k| 18k| 500 |2932 | 11k| 0 | 0 |-1.171453e+02 |-2.500000e+01 | 78.66%
31.28/31.34 c 31.0s| 1 | 0 | 41248 | 79M| 0 | 425 | 500 | 18k| 18k| 500 |2773 | 11k| 0 | 0 |-1.165855e+02 |-2.500000e+01 | 78.56%
31.99/32.08 c 31.7s| 1 | 0 | 41961 | 79M| 0 | 421 | 500 | 18k| 18k| 500 |2808 | 11k| 0 | 0 |-1.161119e+02 |-2.500000e+01 | 78.47%
32.78/32.80 c 32.4s| 1 | 0 | 42677 | 79M| 0 | 423 | 500 | 18k| 18k| 500 |2840 | 11k| 0 | 0 |-1.155594e+02 |-2.500000e+01 | 78.37%
33.39/33.43 c 33.0s| 1 | 0 | 43081 | 79M| 0 | 430 | 500 | 18k| 18k| 500 |2889 | 11k| 0 | 0 |-1.153943e+02 |-2.500000e+01 | 78.34%
33.98/34.08 c 33.7s| 1 | 0 | 43523 | 79M| 0 | 430 | 500 | 18k| 18k| 500 |2918 | 11k| 0 | 0 |-1.151418e+02 |-2.500000e+01 | 78.29%
34.78/34.83 c 34.4s| 1 | 0 | 44112 | 79M| 0 | 440 | 500 | 18k| 18k| 500 |2956 | 12k| 0 | 0 |-1.148058e+02 |-2.500000e+01 | 78.22%
35.48/35.55 c 35.1s| 1 | 0 | 44576 | 79M| 0 | 433 | 500 | 18k| 18k| 500 |2830 | 12k| 0 | 0 |-1.144561e+02 |-2.500000e+01 | 78.16%
36.18/36.25 c 35.8s| 1 | 0 | 45068 | 79M| 0 | 436 | 500 | 18k| 18k| 500 |2861 | 12k| 0 | 0 |-1.142389e+02 |-2.500000e+01 | 78.12%
36.89/36.92 c 36.5s| 1 | 0 | 45531 | 79M| 0 | 443 | 500 | 18k| 18k| 500 |2895 | 12k| 0 | 0 |-1.139411e+02 |-2.500000e+01 | 78.06%
37.58/37.64 c 37.2s| 1 | 0 | 46008 | 79M| 0 | 440 | 500 | 18k| 18k| 500 |2928 | 12k| 0 | 0 |-1.136475e+02 |-2.500000e+01 | 78.00%
38.39/38.41 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
38.39/38.41 c 38.0s| 1 | 0 | 46623 | 79M| 0 | 449 | 500 | 18k| 18k| 500 |2955 | 12k| 0 | 0 |-1.132578e+02 |-2.500000e+01 | 77.93%
39.09/39.10 c 38.7s| 1 | 0 | 47084 | 79M| 0 | 444 | 500 | 18k| 18k| 500 |2973 | 12k| 0 | 0 |-1.130432e+02 |-2.500000e+01 | 77.88%
39.78/39.88 c 39.5s| 1 | 0 | 47697 | 79M| 0 | 445 | 500 | 18k| 18k| 500 |2857 | 12k| 0 | 0 |-1.126612e+02 |-2.500000e+01 | 77.81%
40.48/40.55 c 40.1s| 1 | 0 | 48084 | 79M| 0 | 443 | 500 | 18k| 18k| 500 |2885 | 12k| 0 | 0 |-1.122753e+02 |-2.500000e+01 | 77.73%
41.18/41.26 c 40.8s| 1 | 0 | 48588 | 79M| 0 | 445 | 500 | 18k| 18k| 500 |2909 | 12k| 0 | 0 |-1.120654e+02 |-2.500000e+01 | 77.69%
41.89/41.99 c 41.5s| 1 | 0 | 49109 | 79M| 0 | 448 | 500 | 18k| 18k| 500 |2933 | 12k| 0 | 0 |-1.117810e+02 |-2.500000e+01 | 77.63%
42.58/42.66 c 42.2s| 1 | 0 | 49502 | 79M| 0 | 457 | 500 | 18k| 18k| 500 |2958 | 12k| 0 | 0 |-1.115611e+02 |-2.500000e+01 | 77.59%
43.38/43.43 c 43.0s| 1 | 0 | 50062 | 79M| 0 | 461 | 500 | 18k| 18k| 500 |2980 | 12k| 0 | 0 |-1.112447e+02 |-2.500000e+01 | 77.53%
44.09/44.16 c 43.7s| 1 | 0 | 50547 | 79M| 0 | 463 | 500 | 18k| 18k| 500 |2907 | 12k| 0 | 0 |-1.109923e+02 |-2.500000e+01 | 77.48%
44.78/44.82 c 44.4s| 1 | 0 | 50873 | 79M| 0 | 464 | 500 | 18k| 18k| 500 |2928 | 12k| 0 | 0 |-1.108784e+02 |-2.500000e+01 | 77.45%
45.48/45.57 c 45.1s| 1 | 0 | 51417 | 79M| 0 | 459 | 500 | 18k| 18k| 500 |2943 | 12k| 0 | 0 |-1.105555e+02 |-2.500000e+01 | 77.39%
46.19/46.29 c 45.8s| 1 | 0 | 51800 | 79M| 0 | 461 | 500 | 18k| 18k| 500 |2959 | 12k| 0 | 0 |-1.104186e+02 |-2.500000e+01 | 77.36%
46.88/46.95 c 46.5s| 1 | 0 | 52089 | 79M| 0 | 468 | 500 | 18k| 18k| 500 |2982 | 12k| 0 | 0 |-1.102997e+02 |-2.500000e+01 | 77.33%
47.58/47.63 c 47.2s| 1 | 0 | 52414 | 79M| 0 | 469 | 500 | 18k| 18k| 500 |2999 | 12k| 0 | 0 |-1.101591e+02 |-2.500000e+01 | 77.31%
48.18/48.28 c 47.8s| 1 | 0 | 52626 | 79M| 0 | 473 | 500 | 18k| 18k| 500 |2947 | 12k| 0 | 0 |-1.100891e+02 |-2.500000e+01 | 77.29%
48.87/48.99 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
48.87/48.99 c 48.5s| 1 | 0 | 53034 | 79M| 0 | 473 | 500 | 18k| 18k| 500 |2956 | 12k| 0 | 0 |-1.099050e+02 |-2.500000e+01 | 77.25%
49.59/49.63 c 49.1s| 1 | 0 | 53310 | 79M| 0 | 474 | 500 | 18k| 18k| 500 |2972 | 12k| 0 | 0 |-1.097873e+02 |-2.500000e+01 | 77.23%
50.17/50.26 c 49.8s| 1 | 0 | 53531 | 79M| 0 | 472 | 500 | 18k| 18k| 500 |2983 | 12k| 0 | 0 |-1.097074e+02 |-2.500000e+01 | 77.21%
50.88/50.91 c 50.4s| 1 | 0 | 53767 | 79M| 0 | 477 | 500 | 18k| 18k| 500 |2997 | 12k| 0 | 0 |-1.096171e+02 |-2.500000e+01 | 77.19%
51.48/51.56 c 51.1s| 1 | 0 | 54073 | 79M| 0 | 480 | 500 | 18k| 18k| 500 |3005 | 12k| 0 | 0 |-1.094865e+02 |-2.500000e+01 | 77.17%
52.28/52.30 c 51.8s| 1 | 0 | 54505 | 79M| 0 | 475 | 500 | 18k| 18k| 500 |2968 | 12k| 0 | 0 |-1.092584e+02 |-2.500000e+01 | 77.12%
52.88/52.98 c 52.5s| 1 | 0 | 54781 | 79M| 0 | 482 | 500 | 18k| 18k| 500 |2985 | 12k| 0 | 0 |-1.091494e+02 |-2.500000e+01 | 77.10%
53.58/53.66 c 53.1s| 1 | 0 | 55002 | 79M| 0 | 483 | 500 | 18k| 18k| 500 |2994 | 12k| 0 | 0 |-1.090764e+02 |-2.500000e+01 | 77.08%
54.28/54.31 c 53.8s| 1 | 0 | 55285 | 79M| 0 | 481 | 500 | 18k| 18k| 500 |3007 | 12k| 0 | 0 |-1.089500e+02 |-2.500000e+01 | 77.05%
54.87/54.99 c 54.5s| 1 | 0 | 55588 | 79M| 0 | 480 | 500 | 18k| 18k| 500 |3020 | 12k| 0 | 0 |-1.088378e+02 |-2.500000e+01 | 77.03%
55.58/55.67 c 55.1s| 1 | 0 | 55856 | 79M| 0 | 482 | 500 | 18k| 18k| 500 |3035 | 12k| 0 | 0 |-1.087324e+02 |-2.500000e+01 | 77.01%
56.28/56.37 c 55.9s| 1 | 0 | 56154 | 79M| 0 | 481 | 500 | 18k| 18k| 500 |3002 | 12k| 0 | 0 |-1.086161e+02 |-2.500000e+01 | 76.98%
56.88/56.99 c 56.5s| 1 | 0 | 56327 | 79M| 0 | 487 | 500 | 18k| 18k| 500 |3014 | 12k| 0 | 0 |-1.085676e+02 |-2.500000e+01 | 76.97%
57.57/57.66 c 57.1s| 1 | 0 | 56613 | 79M| 0 | 487 | 500 | 18k| 18k| 500 |3025 | 12k| 0 | 0 |-1.084884e+02 |-2.500000e+01 | 76.96%
58.18/58.28 c 57.8s| 1 | 0 | 56779 | 79M| 0 | 485 | 500 | 18k| 18k| 500 |3037 | 12k| 0 | 0 |-1.084449e+02 |-2.500000e+01 | 76.95%
58.88/58.93 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
58.88/58.93 c 58.4s| 1 | 0 | 57013 | 79M| 0 | 489 | 500 | 18k| 18k| 500 |3051 | 12k| 0 | 0 |-1.083607e+02 |-2.500000e+01 | 76.93%
59.48/59.57 c 59.0s| 1 | 0 | 57227 | 79M| 0 | 488 | 500 | 18k| 18k| 500 |3062 | 12k| 0 | 0 |-1.082438e+02 |-2.500000e+01 | 76.90%
60.18/60.28 c 59.7s| 1 | 0 | 57541 | 79M| 0 | 487 | 500 | 18k| 18k| 500 |3026 | 12k| 0 | 0 |-1.081033e+02 |-2.500000e+01 | 76.87%
60.87/60.93 c 60.4s| 1 | 0 | 57772 | 79M| 0 | 487 | 500 | 18k| 18k| 500 |3035 | 12k| 0 | 0 |-1.080152e+02 |-2.500000e+01 | 76.86%
61.47/61.56 c 61.0s| 1 | 0 | 57904 | 79M| 0 | 490 | 500 | 18k| 18k| 500 |3046 | 12k| 0 | 0 |-1.079884e+02 |-2.500000e+01 | 76.85%
62.18/62.28 c 61.7s| 1 | 0 | 58169 | 79M| 0 | 488 | 500 | 18k| 18k| 500 |3053 | 12k| 0 | 0 |-1.079163e+02 |-2.500000e+01 | 76.83%
62.97/63.02 c 62.5s| 1 | 0 | 58509 | 79M| 0 | 490 | 500 | 18k| 18k| 500 |3067 | 12k| 0 | 0 |-1.077327e+02 |-2.500000e+01 | 76.79%
63.57/63.68 c 63.1s| 1 | 0 | 58727 | 79M| 0 | 489 | 500 | 18k| 18k| 500 |3076 | 12k| 0 | 0 |-1.076743e+02 |-2.500000e+01 | 76.78%
64.28/64.37 c 63.8s| 1 | 0 | 58987 | 79M| 0 | 490 | 500 | 18k| 18k| 500 |3042 | 12k| 0 | 0 |-1.076103e+02 |-2.500000e+01 | 76.77%
64.98/65.03 c 64.5s| 1 | 0 | 59222 | 79M| 0 | 494 | 500 | 18k| 18k| 500 |3054 | 12k| 0 | 0 |-1.075292e+02 |-2.500000e+01 | 76.75%
65.67/65.75 c 65.2s| 1 | 0 | 59483 | 79M| 0 | 491 | 500 | 18k| 18k| 500 |3062 | 12k| 0 | 0 |-1.074103e+02 |-2.500000e+01 | 76.72%
66.37/66.48 c 65.9s| 1 | 0 | 59746 | 79M| 0 | 488 | 500 | 18k| 18k| 500 |3074 | 12k| 0 | 0 |-1.073014e+02 |-2.500000e+01 | 76.70%
67.18/67.21 c 66.6s| 1 | 0 | 60010 | 79M| 0 | 489 | 500 | 18k| 18k| 500 |3091 | 12k| 0 | 0 |-1.072165e+02 |-2.500000e+01 | 76.68%
67.77/67.89 c 67.3s| 1 | 0 | 60222 | 79M| 0 | 491 | 500 | 18k| 18k| 500 |3101 | 12k| 0 | 0 |-1.071505e+02 |-2.500000e+01 | 76.67%
68.48/68.58 c 68.0s| 1 | 0 | 60433 | 79M| 0 | 496 | 500 | 18k| 18k| 500 |3075 | 12k| 0 | 0 |-1.070875e+02 |-2.500000e+01 | 76.65%
69.17/69.28 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
69.17/69.28 c 68.7s| 1 | 0 | 60647 | 79M| 0 | 495 | 500 | 18k| 18k| 500 |3088 | 12k| 0 | 0 |-1.070142e+02 |-2.500000e+01 | 76.64%
69.87/69.98 c 69.4s| 1 | 0 | 60894 | 79M| 0 | 497 | 500 | 18k| 18k| 500 |3108 | 12k| 0 | 0 |-1.069494e+02 |-2.500000e+01 | 76.62%
70.57/70.63 c 70.0s| 1 | 0 | 61035 | 79M| 0 | 496 | 500 | 18k| 18k| 500 |3120 | 12k| 0 | 0 |-1.069153e+02 |-2.500000e+01 | 76.62%
71.27/71.30 c 70.7s| 1 | 0 | 61216 | 79M| 0 | 497 | 500 | 18k| 18k| 500 |3129 | 12k| 0 | 0 |-1.068572e+02 |-2.500000e+01 | 76.60%
71.97/72.01 c 71.4s| 1 | 0 | 61464 | 78M| 0 | 494 | 500 | 18k| 18k| 500 |3143 | 12k| 0 | 0 |-1.067753e+02 |-2.500000e+01 | 76.59%
72.68/72.79 c 72.2s| 1 | 0 | 61827 | 78M| 0 | 495 | 500 | 18k| 18k| 500 |3109 | 12k| 0 | 0 |-1.066187e+02 |-2.500000e+01 | 76.55%
73.37/73.47 c 72.9s| 1 | 0 | 62053 | 78M| 0 | 498 | 500 | 18k| 18k| 500 |3122 | 12k| 0 | 0 |-1.065655e+02 |-2.500000e+01 | 76.54%
74.07/74.17 c 73.5s| 1 | 0 | 62302 | 78M| 0 | 498 | 500 | 18k| 18k| 500 |3137 | 12k| 0 | 0 |-1.065059e+02 |-2.500000e+01 | 76.53%
74.78/74.88 c 74.3s| 1 | 0 | 62534 | 78M| 0 | 499 | 500 | 18k| 18k| 500 |3148 | 12k| 0 | 0 |-1.064431e+02 |-2.500000e+01 | 76.51%
75.47/75.57 c 75.0s| 1 | 0 | 62727 | 78M| 0 | 498 | 500 | 18k| 18k| 500 |3160 | 12k| 0 | 0 |-1.064077e+02 |-2.500000e+01 | 76.51%
76.27/76.32 c 75.7s| 1 | 0 | 63048 | 78M| 0 | 497 | 500 | 18k| 18k| 500 |3170 | 12k| 0 | 0 |-1.062994e+02 |-2.500000e+01 | 76.48%
77.08/77.12 c 76.5s| 1 | 0 | 63427 | 78M| 0 | 498 | 500 | 18k| 18k| 500 |3139 | 12k| 0 | 0 |-1.061855e+02 |-2.500000e+01 | 76.46%
77.77/77.84 c 77.2s| 1 | 0 | 63693 | 78M| 0 | 499 | 500 | 18k| 18k| 500 |3152 | 12k| 0 | 0 |-1.061151e+02 |-2.500000e+01 | 76.44%
78.46/78.57 c 77.9s| 1 | 0 | 63970 | 78M| 0 | 499 | 500 | 18k| 18k| 500 |3164 | 12k| 0 | 0 |-1.060199e+02 |-2.500000e+01 | 76.42%
79.18/79.29 c 78.7s| 1 | 0 | 64197 | 77M| 0 | 499 | 500 | 18k| 18k| 500 |3181 | 13k| 0 | 0 |-1.059520e+02 |-2.500000e+01 | 76.40%
79.96/80.05 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
79.96/80.05 c 79.4s| 1 | 0 | 64462 | 77M| 0 | 499 | 500 | 18k| 18k| 500 |3193 | 13k| 0 | 0 |-1.058781e+02 |-2.500000e+01 | 76.39%
80.77/80.80 c 80.2s| 1 | 0 | 64736 | 77M| 0 | 499 | 500 | 18k| 18k| 500 |3206 | 13k| 0 | 0 |-1.057516e+02 |-2.500000e+01 | 76.36%
81.37/81.50 c 80.8s| 1 | 0 | 64890 | 76M| 0 | 500 | 500 | 18k| 18k| 500 |3165 | 13k| 0 | 0 |-1.057090e+02 |-2.500000e+01 | 76.35%
82.06/82.18 c 81.5s| 1 | 0 | 65074 | 76M| 0 | 499 | 500 | 18k| 18k| 500 |3177 | 13k| 0 | 0 |-1.056483e+02 |-2.500000e+01 | 76.34%
82.77/82.85 c 82.2s| 1 | 0 | 65220 | 75M| 0 | 498 | 500 | 18k| 18k| 500 |3186 | 13k| 0 | 0 |-1.056137e+02 |-2.500000e+01 | 76.33%
83.46/83.57 c 82.9s| 1 | 0 | 65459 | 74M| 0 | 497 | 500 | 18k| 18k| 500 |3199 | 13k| 0 | 0 |-1.055598e+02 |-2.500000e+01 | 76.32%
84.17/84.27 c 83.6s| 1 | 0 | 65619 | 74M| 0 | 500 | 500 | 18k| 18k| 500 |3212 | 13k| 0 | 0 |-1.055267e+02 |-2.500000e+01 | 76.31%
84.97/85.01 c 84.3s| 1 | 0 | 65847 | 73M| 0 | 500 | 500 | 18k| 18k| 500 |3221 | 13k| 0 | 0 |-1.054597e+02 |-2.500000e+01 | 76.29%
85.66/85.75 c 85.1s| 1 | 0 | 66106 | 72M| 0 | 500 | 500 | 18k| 18k| 500 |3169 | 13k| 0 | 0 |-1.053895e+02 |-2.500000e+01 | 76.28%
86.36/86.47 c 85.8s| 1 | 0 | 66344 | 72M| 0 | 497 | 500 | 18k| 18k| 500 |3179 | 13k| 0 | 0 |-1.053340e+02 |-2.500000e+01 | 76.27%
87.06/87.17 c 86.5s| 1 | 0 | 66524 | 72M| 0 | 498 | 500 | 18k| 18k| 500 |3190 | 13k| 0 | 0 |-1.052969e+02 |-2.500000e+01 | 76.26%
87.87/87.93 c 87.2s| 1 | 0 | 66778 | 72M| 0 | 500 | 500 | 18k| 18k| 500 |3202 | 13k| 0 | 0 |-1.052166e+02 |-2.500000e+01 | 76.24%
88.56/88.61 c 87.9s| 1 | 0 | 66902 | 72M| 0 | 499 | 500 | 18k| 18k| 500 |3215 | 13k| 0 | 0 |-1.051924e+02 |-2.500000e+01 | 76.23%
89.26/89.34 c 88.7s| 1 | 0 | 67083 | 72M| 0 | 500 | 500 | 18k| 18k| 500 |3223 | 13k| 0 | 0 |-1.051411e+02 |-2.500000e+01 | 76.22%
90.06/90.10 c 89.4s| 1 | 0 | 67312 | 71M| 0 | 500 | 500 | 18k| 18k| 500 |3182 | 13k| 0 | 0 |-1.050858e+02 |-2.500000e+01 | 76.21%
90.66/90.77 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
90.66/90.77 c 90.1s| 1 | 0 | 67475 | 71M| 0 | 499 | 500 | 18k| 18k| 500 |3195 | 13k| 0 | 0 |-1.050648e+02 |-2.500000e+01 | 76.21%
91.46/91.52 c 90.8s| 1 | 0 | 67754 | 71M| 0 | 500 | 500 | 18k| 18k| 500 |3206 | 13k| 0 | 0 |-1.049643e+02 |-2.500000e+01 | 76.18%
92.16/92.27 c 91.6s| 1 | 0 | 67992 | 71M| 0 | 500 | 500 | 18k| 18k| 500 |3218 | 13k| 0 | 0 |-1.048834e+02 |-2.500000e+01 | 76.16%
93.06/93.12 c 92.4s| 1 | 0 | 68350 | 71M| 0 | 499 | 500 | 18k| 18k| 500 |3228 | 13k| 0 | 0 |-1.047634e+02 |-2.500000e+01 | 76.14%
93.75/93.80 c 93.1s| 1 | 0 | 68490 | 71M| 0 | 500 | 500 | 18k| 18k| 500 |3241 | 13k| 0 | 0 |-1.047332e+02 |-2.500000e+01 | 76.13%
94.57/94.63 c 93.9s| 1 | 0 | 68858 | 71M| 0 | 500 | 500 | 18k| 18k| 500 |3203 | 13k| 0 | 0 |-1.046287e+02 |-2.500000e+01 | 76.11%
95.26/95.35 c 94.6s| 1 | 0 | 69076 | 71M| 0 | 500 | 500 | 18k| 18k| 500 |3217 | 13k| 0 | 0 |-1.045867e+02 |-2.500000e+01 | 76.10%
95.95/96.09 c 95.4s| 1 | 0 | 69319 | 71M| 0 | 500 | 500 | 18k| 18k| 500 |3227 | 13k| 0 | 0 |-1.045256e+02 |-2.500000e+01 | 76.08%
96.76/96.83 c 96.1s| 1 | 0 | 69466 | 71M| 0 | 500 | 500 | 18k| 18k| 500 |3239 | 13k| 0 | 0 |-1.044915e+02 |-2.500000e+01 | 76.07%
97.46/97.56 c 96.8s| 1 | 0 | 69637 | 71M| 0 | 500 | 500 | 18k| 18k| 500 |3250 | 13k| 0 | 0 |-1.044620e+02 |-2.500000e+01 | 76.07%
98.26/98.33 c 97.6s| 1 | 0 | 69875 | 71M| 0 | 498 | 500 | 18k| 18k| 500 |3262 | 13k| 0 | 0 |-1.044170e+02 |-2.500000e+01 | 76.06%
99.06/99.13 c 98.4s| 1 | 0 | 70141 | 71M| 0 | 499 | 500 | 18k| 18k| 500 |3212 | 13k| 0 | 0 |-1.043639e+02 |-2.500000e+01 | 76.05%
99.76/99.80 c 99.1s| 1 | 0 | 70312 | 71M| 0 | 499 | 500 | 18k| 18k| 500 |3223 | 13k| 0 | 0 |-1.043298e+02 |-2.500000e+01 | 76.04%
100.45/100.54 c 99.8s| 1 | 0 | 70557 | 71M| 0 | 499 | 500 | 18k| 18k| 500 |3238 | 13k| 0 | 0 |-1.042758e+02 |-2.500000e+01 | 76.03%
101.16/101.29 c 101s| 1 | 0 | 70842 | 71M| 0 | 499 | 500 | 18k| 18k| 500 |3252 | 13k| 0 | 0 |-1.042280e+02 |-2.500000e+01 | 76.01%
101.95/102.04 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
101.95/102.04 c 101s| 1 | 0 | 71121 | 71M| 0 | 499 | 500 | 18k| 18k| 500 |3264 | 13k| 0 | 0 |-1.041648e+02 |-2.500000e+01 | 76.00%
102.66/102.71 c 102s| 1 | 0 | 71247 | 71M| 0 | 500 | 500 | 18k| 18k| 500 |3276 | 13k| 0 | 0 |-1.041422e+02 |-2.500000e+01 | 75.99%
103.46/103.54 c 103s| 1 | 0 | 71555 | 71M| 0 | 500 | 500 | 18k| 18k| 500 |3227 | 13k| 0 | 0 |-1.040836e+02 |-2.500000e+01 | 75.98%
104.15/104.25 c 104s| 1 | 0 | 71754 | 71M| 0 | 500 | 500 | 18k| 18k| 500 |3238 | 13k| 0 | 0 |-1.040564e+02 |-2.500000e+01 | 75.97%
104.86/104.94 c 104s| 1 | 0 | 71892 | 71M| 0 | 500 | 500 | 18k| 18k| 500 |3249 | 13k| 0 | 0 |-1.040370e+02 |-2.500000e+01 | 75.97%
105.56/105.65 c 105s| 1 | 0 | 72066 | 71M| 0 | 500 | 500 | 18k| 18k| 500 |3262 | 13k| 0 | 0 |-1.040039e+02 |-2.500000e+01 | 75.96%
106.25/106.39 c 106s| 1 | 0 | 72284 | 71M| 0 | 500 | 500 | 18k| 18k| 500 |3273 | 13k| 0 | 0 |-1.039633e+02 |-2.500000e+01 | 75.95%
106.95/107.09 c 106s| 1 | 0 | 72444 | 71M| 0 | 500 | 500 | 18k| 18k| 500 |3284 | 13k| 0 | 0 |-1.039445e+02 |-2.500000e+01 | 75.95%
107.86/107.97 c 107s| 1 | 0 | 72824 | 71M| 0 | 500 | 500 | 18k| 18k| 500 |3267 | 13k| 0 | 0 |-1.038695e+02 |-2.500000e+01 | 75.93%
108.65/108.71 c 108s| 1 | 0 | 73036 | 71M| 0 | 500 | 500 | 18k| 18k| 500 |3276 | 13k| 0 | 0 |-1.038387e+02 |-2.500000e+01 | 75.92%
109.35/109.41 c 109s| 1 | 0 | 73177 | 71M| 0 | 500 | 500 | 18k| 18k| 500 |3288 | 13k| 0 | 0 |-1.038052e+02 |-2.500000e+01 | 75.92%
110.06/110.17 c 109s| 1 | 0 | 73449 | 71M| 0 | 500 | 500 | 18k| 18k| 500 |3301 | 13k| 0 | 0 |-1.037458e+02 |-2.500000e+01 | 75.90%
110.85/110.95 c 110s| 1 | 0 | 73725 | 71M| 0 | 500 | 500 | 18k| 18k| 500 |3316 | 13k| 0 | 0 |-1.037029e+02 |-2.500000e+01 | 75.89%
111.65/111.80 c 111s| 1 | 0 | 74004 | 71M| 0 | 500 | 500 | 18k| 18k| 500 |3324 | 13k| 0 | 0 |-1.036569e+02 |-2.500000e+01 | 75.88%
112.45/112.54 c 112s| 1 | 0 | 74156 | 71M| 0 | 500 | 500 | 18k| 18k| 500 |3284 | 13k| 0 | 0 |-1.036400e+02 |-2.500000e+01 | 75.88%
113.15/113.28 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
113.15/113.28 c 112s| 1 | 0 | 74399 | 71M| 0 | 500 | 500 | 18k| 18k| 500 |3295 | 13k| 0 | 0 |-1.035852e+02 |-2.500000e+01 | 75.87%
113.95/114.08 c 113s| 1 | 0 | 74613 | 71M| 0 | 500 | 500 | 18k| 18k| 500 |3305 | 13k| 0 | 0 |-1.035497e+02 |-2.500000e+01 | 75.86%
114.75/114.81 c 114s| 1 | 0 | 74769 | 71M| 0 | 500 | 500 | 18k| 18k| 500 |3316 | 13k| 0 | 0 |-1.035272e+02 |-2.500000e+01 | 75.85%
115.46/115.59 c 115s| 1 | 0 | 74957 | 71M| 0 | 500 | 500 | 18k| 18k| 500 |3323 | 13k| 0 | 0 |-1.034997e+02 |-2.500000e+01 | 75.85%
116.25/116.35 c 116s| 1 | 0 | 75132 | 71M| 0 | 500 | 500 | 18k| 18k| 500 |3332 | 13k| 0 | 0 |-1.034801e+02 |-2.500000e+01 | 75.84%
116.95/117.08 c 116s| 1 | 0 | 75285 | 71M| 0 | 500 | 500 | 18k| 18k| 500 |3282 | 13k| 0 | 0 |-1.034636e+02 |-2.500000e+01 | 75.84%
117.75/117.80 c 117s| 1 | 0 | 75489 | 71M| 0 | 500 | 500 | 18k| 18k| 500 |3292 | 13k| 0 | 0 |-1.034380e+02 |-2.500000e+01 | 75.83%
118.55/118.60 c 118s| 1 | 0 | 75805 | 71M| 0 | 500 | 500 | 18k| 18k| 500 |3304 | 13k| 0 | 0 |-1.033806e+02 |-2.500000e+01 | 75.82%
119.35/119.42 c 119s| 1 | 0 | 76082 | 71M| 0 | 500 | 500 | 18k| 18k| 500 |3316 | 13k| 0 | 0 |-1.033439e+02 |-2.500000e+01 | 75.81%
120.05/120.17 c 119s| 1 | 0 | 76267 | 71M| 0 | 500 | 500 | 18k| 18k| 500 |3326 | 13k| 0 | 0 |-1.033149e+02 |-2.500000e+01 | 75.80%
120.85/120.94 c 120s| 1 | 0 | 76496 | 71M| 0 | 500 | 500 | 18k| 18k| 500 |3337 | 13k| 0 | 0 |-1.032775e+02 |-2.500000e+01 | 75.79%
121.55/121.68 c 121s| 1 | 0 | 76688 | 71M| 0 | 500 | 500 | 18k| 18k| 500 |3288 | 13k| 0 | 0 |-1.032488e+02 |-2.500000e+01 | 75.79%
122.34/122.40 c 122s| 1 | 0 | 76864 | 71M| 0 | 500 | 500 | 18k| 18k| 500 |3301 | 13k| 0 | 0 |-1.032280e+02 |-2.500000e+01 | 75.78%
123.05/123.12 c 122s| 1 | 0 | 77044 | 71M| 0 | 500 | 500 | 18k| 18k| 500 |3311 | 13k| 0 | 0 |-1.032135e+02 |-2.500000e+01 | 75.78%
123.85/123.90 c 123s| 1 | 0 | 77269 | 71M| 0 | 500 | 500 | 18k| 18k| 500 |3322 | 13k| 0 | 0 |-1.031842e+02 |-2.500000e+01 | 75.77%
124.55/124.62 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
124.55/124.62 c 124s| 1 | 0 | 77469 | 71M| 0 | 500 | 500 | 18k| 18k| 500 |3333 | 13k| 0 | 0 |-1.031660e+02 |-2.500000e+01 | 75.77%
125.25/125.32 c 124s| 1 | 0 | 77613 | 71M| 0 | 500 | 500 | 18k| 18k| 500 |3345 | 13k| 0 | 0 |-1.031557e+02 |-2.500000e+01 | 75.76%
125.95/126.08 c 125s| 1 | 0 | 77808 | 71M| 0 | 500 | 500 | 18k| 18k| 500 |3316 | 13k| 0 | 0 |-1.031419e+02 |-2.500000e+01 | 75.76%
126.65/126.77 c 126s| 1 | 0 | 77952 | 71M| 0 | 500 | 500 | 18k| 18k| 500 |3327 | 13k| 0 | 0 |-1.031286e+02 |-2.500000e+01 | 75.76%
127.44/127.50 c 127s| 1 | 0 | 78091 | 71M| 0 | 500 | 500 | 18k| 18k| 500 |3337 | 13k| 0 | 0 |-1.031166e+02 |-2.500000e+01 | 75.76%
128.15/128.20 c 127s| 1 | 0 | 78188 | 71M| 0 | 500 | 500 | 18k| 18k| 500 |3347 | 13k| 0 | 0 |-1.031123e+02 |-2.500000e+01 | 75.75%
128.85/128.95 c 128s| 1 | 0 | 78350 | 71M| 0 | 500 | 500 | 18k| 18k| 500 |3356 | 13k| 0 | 0 |-1.031008e+02 |-2.500000e+01 | 75.75%
129.65/129.73 c 129s| 1 | 0 | 78504 | 71M| 0 | 500 | 500 | 18k| 18k| 500 |3363 | 13k| 0 | 0 |-1.030889e+02 |-2.500000e+01 | 75.75%
130.35/130.49 c 130s| 1 | 0 | 78608 | 71M| 0 | 500 | 500 | 18k| 18k| 500 |3304 | 13k| 0 | 0 |-1.030826e+02 |-2.500000e+01 | 75.75%
131.05/131.19 c 130s| 1 | 0 | 78669 | 71M| 0 | 500 | 500 | 18k| 18k| 500 |3311 | 13k| 0 | 0 |-1.030798e+02 |-2.500000e+01 | 75.75%
131.85/131.91 c 131s| 1 | 0 | 78775 | 71M| 0 | 500 | 500 | 18k| 18k| 500 |3319 | 13k| 0 | 0 |-1.030747e+02 |-2.500000e+01 | 75.75%
132.45/132.59 c 132s| 1 | 0 | 78837 | 71M| 0 | 500 | 500 | 18k| 18k| 500 |3325 | 13k| 0 | 0 |-1.030718e+02 |-2.500000e+01 | 75.75%
133.15/133.28 c 132s| 1 | 0 | 78906 | 71M| 0 | 500 | 500 | 18k| 18k| 500 |3331 | 13k| 0 | 0 |-1.030688e+02 |-2.500000e+01 | 75.74%
133.85/133.95 c 133s| 1 | 0 | 78922 | 71M| 0 | 500 | 500 | 18k| 18k| 500 |3332 | 13k| 0 | 0 |-1.030686e+02 |-2.500000e+01 | 75.74%
134.55/134.64 c 134s| 1 | 0 | 78937 | 71M| 0 | 500 | 500 | 18k| 18k| 500 |3273 | 13k| 0 | 0 |-1.030684e+02 |-2.500000e+01 | 75.74%
148.25/148.33 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
148.25/148.33 c 147s| 1 | 2 | 78937 | 71M| 0 | 500 | 500 | 18k| 18k| 500 |3273 | 13k| 0 | 24 |-1.030684e+02 |-2.500000e+01 | 75.74%
607.46/607.64 o -28
607.46/607.64 c v 603s| 5070 | 5071 | 2472k| 137M| 72 | - | 500 | 18k| 45 | 500 | 974 | 584k| 0 |2439 |-9.874804e+01 |-2.800000e+01 | 71.65%
773.03/773.22 o -29
773.03/773.22 c f 767s| 8903 | 8902 | 3535k| 173M| 81 | - | 500 | 18k| 18 | 500 | 812 | 932k| 0 |3030 |-9.798139e+01 |-2.900000e+01 | 70.40%
803.03/803.28 c 797s| 10000 | 9975 | 3757k| 181M| 82 | 117 | 500 | 18k|1717 | 500 | 917 |1016k| 0 |3045 |-9.790092e+01 |-2.900000e+01 | 70.38%
869.52/869.78 o -30
869.52/869.78 c * 863s| 12172 | 12028 | 4208k| 197M| 84 | - | 500 | 18k| 42 | 500 | 794 |1185k| 0 |3346 |-9.779421e+01 |-3.000000e+01 | 69.32%
878.42/878.68 o -33
878.42/878.68 c c 871s| 12442 | 11952 | 4264k| 199M| 85 | - | 500 | 18k| 60 | 500 | 808 |1206k| 0 |3458 |-9.776864e+01 |-3.300000e+01 | 66.25%
1082.78/1083.06 c 1074s| 20000 | 18358 | 5680k| 250M| 92 | 55 | 500 | 18k| 261 | 500 | 933 |1753k| 0 |4287 |-9.737992e+01 |-3.300000e+01 | 66.11%
1363.75/1364.08 c 1352s| 30000 | 25406 | 7489k| 315M| 104 | 79 | 500 | 18k| 581 | 500 | 864 |2396k| 0 |5260 |-9.634250e+01 |-3.300000e+01 | 65.75%
1632.99/1633.36 c 1619s| 40000 | 32350 | 9284k| 379M| 108 | 55 | 500 | 18k| 235 | 500 | 991 |3033k| 0 |5956 |-9.603519e+01 |-3.300000e+01 | 65.64%
1800.18/1800.52 c
1800.18/1800.52 c SCIP Status : solving was interrupted [user interrupt]
1800.18/1800.52 c Solving Time (sec) : 1784.64
1800.18/1800.52 c Solving Nodes : 44275
1800.18/1800.52 c Primal Bound : -3.30000000000000e+01 (12 solutions)
1800.18/1800.52 c Dual Bound : -9.58984318206000e+01
1800.18/1800.52 c Gap : 65.59 %
1800.18/1800.54 c NODE 44275
1800.18/1800.54 c DUAL BOUND -95.8984
1800.18/1800.54 c PRIMAL BOUND -33
1800.18/1800.54 c GAP 0.655886
1800.18/1800.54 s SATISFIABLE
1800.18/1800.54 v x500 x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479
1800.18/1800.54 v -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458
1800.18/1800.54 v -x457 -x456 -x455 x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 x443 -x442 -x441 -x440 -x439 -x438 -x437
1800.18/1800.54 v -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416
1800.18/1800.54 v -x415 -x414 -x413 x412 -x411 -x410 -x409 -x408 x407 -x406 -x405 -x404 -x403 x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395
1800.18/1800.54 v -x394 x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 x383 -x382 -x381 -x380 x379 -x378 -x377 -x376 x375 -x374 -x373
1800.18/1800.54 v -x372 x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352
1800.18/1800.54 v -x351 -x350 -x349 x348 -x347 -x346 x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331
1800.18/1800.54 v -x330 -x329 -x328 -x327 -x326 x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310
1800.18/1800.54 v -x309 x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289
1800.18/1800.54 v -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268
1800.18/1800.54 v -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247
1800.18/1800.54 v -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227
1800.18/1800.54 v -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206
1800.18/1800.54 v -x205 -x204 -x203 x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 x185 -x184
1800.18/1800.54 v -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163
1800.18/1800.54 v -x162 -x161 -x160 -x159 -x158 -x157 -x156 x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142
1800.18/1800.54 v -x141 -x140 -x139 -x138 -x137 x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121
1800.18/1800.54 v -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100
1800.18/1800.54 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
1800.18/1800.54 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
1800.18/1800.54 v -x49 x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25
1800.18/1800.54 v -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 x12 -x11 -x10 x9 x8 -x7 x6 -x5 -x4 -x3 -x2 -x1
1800.18/1800.54 c SCIP Status : solving was interrupted [user interrupt]
1800.18/1800.54 c Solving Time : 1784.64
1800.18/1800.54 c Original Problem :
1800.18/1800.54 c Problem name : HOME/instance-3737158-1338734071.opb
1800.18/1800.54 c Variables : 19183 (19183 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.18/1800.54 c Constraints : 19183 initial, 19183 maximal
1800.18/1800.54 c Presolved Problem :
1800.18/1800.54 c Problem name : t_HOME/instance-3737158-1338734071.opb
1800.18/1800.54 c Variables : 500 (500 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.18/1800.54 c Constraints : 18683 initial, 18683 maximal
1800.18/1800.54 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.18/1800.54 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.18/1800.54 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.18/1800.54 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.18/1800.54 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.18/1800.54 c implics : 0.00 0 0 0 0 0 0 0 0
1800.18/1800.54 c probing : 0.26 0 0 0 0 0 0 0 0
1800.18/1800.54 c and : 0.13 0 0 0 0 0 0 0 0
1800.18/1800.54 c linear : 0.05 18683 0 0 18683 0 500 0 0
1800.18/1800.54 c root node : - 0 - - 0 - - - -
1800.18/1800.54 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.18/1800.54 c integral : 0 0 0 40333 0 0 10 0 0 80660
1800.18/1800.54 c and : 18683 102429 123436 1 0 0 1043409 5737071 0 0
1800.18/1800.54 c countsols : 0 0 0 1 0 0 0 0 0 0
1800.18/1800.54 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.18/1800.54 c integral : 209.90 0.00 0.00 209.90 0.00
1800.18/1800.54 c and : 121.69 101.97 19.72 0.00 0.00
1800.18/1800.54 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.18/1800.54 c Propagators : Time Calls Cutoffs DomReds
1800.18/1800.54 c rootredcost : 0.03 4 0 0
1800.18/1800.54 c pseudoobj : 1.33 124165 0 0
1800.18/1800.54 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.18/1800.54 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1800.18/1800.54 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.18/1800.54 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.18/1800.54 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.18/1800.54 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.18/1800.54 c applied globally : - - - 0 0.0 - - -
1800.18/1800.54 c applied locally : - - - 0 0.0 - - -
1800.18/1800.54 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.18/1800.54 c cut pool : 0.26 221 - - 2583 - (maximal pool size: 11230)
1800.18/1800.54 c redcost : 1.21 102483 0 203 0 0
1800.18/1800.54 c impliedbounds : 0.08 222 0 0 20309 0
1800.18/1800.54 c intobj : 0.00 0 0 0 0 0
1800.18/1800.54 c gomory : 89.65 219 0 0 32134 0
1800.18/1800.54 c strongcg : 0.97 20 0 0 10000 0
1800.18/1800.54 c cmir : 1.00 10 0 0 0 0
1800.18/1800.54 c flowcover : 0.86 10 0 0 0 0
1800.18/1800.54 c clique : 4.30 219 0 0 2037 0
1800.18/1800.54 c zerohalf : 0.00 0 0 0 0 0
1800.18/1800.54 c mcf : 0.02 1 0 0 0 0
1800.18/1800.54 c Pricers : Time Calls Vars
1800.18/1800.54 c problem variables: 0.00 0 0
1800.18/1800.54 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.18/1800.54 c relpscost : 209.85 40332 0 10 0 0 80660
1800.18/1800.54 c pscost : 0.00 0 0 0 0 0 0
1800.18/1800.54 c inference : 0.00 0 0 0 0 0 0
1800.18/1800.54 c mostinf : 0.00 0 0 0 0 0 0
1800.18/1800.54 c leastinf : 0.00 0 0 0 0 0 0
1800.18/1800.54 c fullstrong : 0.00 0 0 0 0 0 0
1800.18/1800.54 c allfullstrong : 0.00 0 0 0 0 0 0
1800.18/1800.54 c random : 0.00 0 0 0 0 0 0
1800.18/1800.54 c Primal Heuristics : Time Calls Found
1800.18/1800.54 c LP solutions : 0.00 - 1
1800.18/1800.54 c pseudo solutions : 0.00 - 0
1800.18/1800.54 c intshifting : 0.00 0 0
1800.18/1800.54 c oneopt : 0.04 5 0
1800.18/1800.54 c crossover : 0.19 16 0
1800.18/1800.54 c fracdiving : 7.77 397 1
1800.18/1800.54 c coefdiving : 9.92 397 1
1800.18/1800.54 c veclendiving : 10.46 397 1
1800.18/1800.54 c guideddiving : 9.54 397 0
1800.18/1800.54 c linesearchdiving : 6.63 397 0
1800.18/1800.54 c pscostdiving : 11.62 397 0
1800.18/1800.54 c objpscostdiving : 5.72 199 1
1800.18/1800.54 c rootsoldiving : 2.81 199 1
1800.18/1800.54 c simplerounding : 0.07 0 0
1800.18/1800.54 c rounding : 11.93 24441 3
1800.18/1800.54 c shifting : 1.25 2692 3
1800.18/1800.54 c fixandinfer : 0.00 0 0
1800.18/1800.54 c feaspump : 0.00 0 0
1800.18/1800.54 c intdiving : 0.00 0 0
1800.18/1800.54 c actconsdiving : 0.00 0 0
1800.18/1800.54 c octane : 0.00 0 0
1800.18/1800.54 c rens : 0.00 0 0
1800.18/1800.54 c rins : 0.00 0 0
1800.18/1800.54 c localbranching : 0.00 0 0
1800.18/1800.54 c mutation : 0.00 0 0
1800.18/1800.54 c dins : 0.00 0 0
1800.18/1800.54 c LP : Time Calls Iterations Iter/call Iter/sec
1800.18/1800.54 c primal LP : 15.34 0 0 0.00 0.00
1800.18/1800.54 c dual LP : 1200.95 106446 9804350 92.11 8163.83
1800.18/1800.54 c barrier LP : 0.00 0 0 0.00 -
1800.18/1800.54 c diving/probing LP: 55.23 42810 534280 12.48 9673.73
1800.18/1800.54 c strong branching : 208.20 6431 1372980 213.49 6594.52
1800.18/1800.54 c (at root node) : - 24 21934 913.92 -
1800.18/1800.54 c conflict analysis: 0.00 0 0 0.00 -
1800.18/1800.54 c B&B Tree :
1800.18/1800.54 c number of runs : 1
1800.18/1800.54 c nodes : 44275
1800.18/1800.54 c nodes (total) : 44275
1800.18/1800.54 c nodes left : 35985
1800.18/1800.54 c max depth : 109
1800.18/1800.54 c max depth (total): 109
1800.18/1800.54 c backtracks : 4579 (10.3%)
1800.18/1800.54 c delayed cutoffs : 0
1800.18/1800.54 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.18/1800.54 c avg switch length: 5.46
1800.18/1800.54 c switching time : 33.42
1800.18/1800.54 c Solution :
1800.18/1800.54 c Solutions found : 12 (7 improvements)
1800.18/1800.54 c Primal Bound : -3.30000000000000e+01 (in run 1, after 12442 nodes, 871.47 seconds, depth 19, found by <coefdiving>)
1800.18/1800.54 c Dual Bound : -9.58984318206000e+01
1800.18/1800.54 c Gap : 65.59 %
1800.18/1800.54 c Root Dual Bound : -1.03068446699411e+02
1800.57/1800.98 c Time complete: 1800.65.
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-3737158-1338734071/watcher-3737158-1338734071 -o /tmp/evaluation-result-3737158-1338734071/solver-3737158-1338734071 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3737158-1338734071.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.00 2.02 2.00 2/176 28928
/proc/meminfo: memFree=26958536/32873648 swapFree=6852/6852
[pid=28928] ppid=28926 vsize=9280 CPUtime=0 cores=0,2,4,6
/proc/28928/stat : 28928 (pbscip.linux.x8) R 28926 28928 27068 0 -1 4202496 1647 0 0 0 0 0 0 0 20 0 1 0 339533848 9502720 1599 33554432000 4194304 7823515 140736712977904 140735121972344 6883856 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28928/statm: 2320 1599 354 887 0 1430 0
[startup+0.011599 s]
/proc/loadavg: 2.00 2.02 2.00 2/176 28928
/proc/meminfo: memFree=26958536/32873648 swapFree=6852/6852
[pid=28928] ppid=28926 vsize=11776 CPUtime=0 cores=0,2,4,6
/proc/28928/stat : 28928 (pbscip.linux.x8) R 28926 28928 27068 0 -1 4202496 2270 0 0 0 0 0 0 0 20 0 1 0 339533848 12058624 2223 33554432000 4194304 7823515 140736712977904 140735121972344 5878822 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28928/statm: 2944 2234 354 887 0 2054 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11776
[startup+0.100281 s]
/proc/loadavg: 2.00 2.02 2.00 2/176 28928
/proc/meminfo: memFree=26958536/32873648 swapFree=6852/6852
[pid=28928] ppid=28926 vsize=41264 CPUtime=0.09 cores=0,2,4,6
/proc/28928/stat : 28928 (pbscip.linux.x8) R 28926 28928 27068 0 -1 4202496 9954 0 0 0 8 1 0 0 20 0 1 0 339533848 42254336 9552 33554432000 4194304 7823515 140736712977904 140735121972344 5878822 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28928/statm: 10316 9552 367 887 0 9426 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 41264
[startup+0.300273 s]
/proc/loadavg: 2.00 2.02 2.00 2/176 28928
/proc/meminfo: memFree=26958536/32873648 swapFree=6852/6852
[pid=28928] ppid=28926 vsize=68004 CPUtime=0.29 cores=0,2,4,6
/proc/28928/stat : 28928 (pbscip.linux.x8) R 28926 28928 27068 0 -1 4202496 17192 0 0 0 24 5 0 0 20 0 1 0 339533848 69636096 16036 33554432000 4194304 7823515 140736712977904 140736712975160 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28928/statm: 17001 16036 425 887 0 16111 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 68004
[startup+0.700287 s]
/proc/loadavg: 2.00 2.02 2.00 2/176 28928
/proc/meminfo: memFree=26958536/32873648 swapFree=6852/6852
[pid=28928] ppid=28926 vsize=83736 CPUtime=0.69 cores=0,2,4,6
/proc/28928/stat : 28928 (pbscip.linux.x8) R 28926 28928 27068 0 -1 4202496 21211 0 0 0 60 9 0 0 20 0 1 0 339533848 85745664 20039 33554432000 4194304 7823515 140736712977904 140736712975160 5878822 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28928/statm: 20934 20039 471 887 0 20044 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 83736
[startup+1.50025 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 28929
/proc/meminfo: memFree=26852352/32873648 swapFree=6852/6852
[pid=28928] ppid=28926 vsize=116796 CPUtime=1.49 cores=0,2,4,6
/proc/28928/stat : 28928 (pbscip.linux.x8) R 28926 28928 27068 0 -1 4202496 29221 0 0 0 138 11 0 0 20 0 1 0 339533848 119599104 27519 33554432000 4194304 7823515 140736712977904 140736712973240 5597664 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28928/statm: 29199 27519 544 887 0 28309 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 116796
[startup+3.10025 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 28929
/proc/meminfo: memFree=26846648/32873648 swapFree=6852/6852
[pid=28928] ppid=28926 vsize=121584 CPUtime=3.08 cores=0,2,4,6
/proc/28928/stat : 28928 (pbscip.linux.x8) R 28926 28928 27068 0 -1 4202496 30774 0 0 0 296 12 0 0 20 0 1 0 339533848 124502016 28984 33554432000 4194304 7823515 140736712977904 140736712973048 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28928/statm: 30396 28984 544 887 0 29506 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 121584
[startup+6.30025 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 28929
/proc/meminfo: memFree=26843168/32873648 swapFree=6852/6852
[pid=28928] ppid=28926 vsize=123196 CPUtime=6.29 cores=0,2,4,6
/proc/28928/stat : 28928 (pbscip.linux.x8) R 28926 28928 27068 0 -1 4202496 31386 0 0 0 615 14 0 0 20 0 1 0 339533848 126152704 29596 33554432000 4194304 7823515 140736712977904 140736712974616 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28928/statm: 30799 29596 546 887 0 29909 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 123196
[startup+12.7003 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 28929
/proc/meminfo: memFree=26835744/32873648 swapFree=6852/6852
[pid=28928] ppid=28926 vsize=129528 CPUtime=12.69 cores=0,2,4,6
/proc/28928/stat : 28928 (pbscip.linux.x8) R 28926 28928 27068 0 -1 4202496 32922 0 0 0 1251 18 0 0 20 0 1 0 339533848 132636672 31416 33554432000 4194304 7823515 140736712977904 140736712974120 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28928/statm: 32382 31416 546 887 0 31492 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 129528
[startup+25.5003 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 28929
/proc/meminfo: memFree=26824992/32873648 swapFree=6852/6852
[pid=28928] ppid=28926 vsize=137256 CPUtime=25.48 cores=0,2,4,6
/proc/28928/stat : 28928 (pbscip.linux.x8) R 28926 28928 27068 0 -1 4202496 34894 0 0 0 2522 26 0 0 20 0 1 0 339533848 140550144 33388 33554432000 4194304 7823515 140736712977904 140736712973048 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28928/statm: 34314 33388 547 887 0 33424 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 137256
[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 28929
/proc/meminfo: memFree=26821968/32873648 swapFree=6852/6852
[pid=28928] ppid=28926 vsize=138104 CPUtime=51.08 cores=0,2,4,6
/proc/28928/stat : 28928 (pbscip.linux.x8) R 28926 28928 27068 0 -1 4202496 34945 0 0 0 5067 41 0 0 20 0 1 0 339533848 141418496 33438 33554432000 4194304 7823515 140736712977904 140736712973592 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28928/statm: 34526 33438 547 887 0 33636 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 138104
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 28929
/proc/meminfo: memFree=26818980/32873648 swapFree=6852/6852
[pid=28928] ppid=28926 vsize=138592 CPUtime=102.26 cores=0,2,4,6
/proc/28928/stat : 28928 (pbscip.linux.x8) R 28926 28928 27068 0 -1 4202496 35139 0 0 0 10162 64 0 0 20 0 1 0 339533848 141918208 33936 33554432000 4194304 7823515 140736712977904 140736712973048 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28928/statm: 34648 33936 547 887 0 33758 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 138592
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28929
/proc/meminfo: memFree=26815800/32873648 swapFree=6852/6852
[pid=28928] ppid=28926 vsize=140376 CPUtime=162.25 cores=0,2,4,6
/proc/28928/stat : 28928 (pbscip.linux.x8) R 28926 28928 27068 0 -1 4202496 35545 0 0 0 16134 91 0 0 20 0 1 0 339533848 143745024 34352 33554432000 4194304 7823515 140736712977904 140736712972600 6254076 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28928/statm: 35094 34352 554 887 0 34204 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 140376
[startup+222.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28929
/proc/meminfo: memFree=26816852/32873648 swapFree=6852/6852
[pid=28928] ppid=28926 vsize=140376 CPUtime=222.24 cores=0,2,4,6
/proc/28928/stat : 28928 (pbscip.linux.x8) R 28926 28928 27068 0 -1 4202496 35547 0 0 0 22092 132 0 0 20 0 1 0 339533848 143745024 34354 33554432000 4194304 7823515 140736712977904 140736712974552 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28928/statm: 35094 34354 555 887 0 34204 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 140376
[startup+282.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/176 28929
/proc/meminfo: memFree=26810412/32873648 swapFree=6852/6852
[pid=28928] ppid=28926 vsize=146396 CPUtime=282.22 cores=0,2,4,6
/proc/28928/stat : 28928 (pbscip.linux.x8) R 28926 28928 27068 0 -1 4202496 38079 0 0 0 28050 172 0 0 20 0 1 0 339533848 149909504 35654 33554432000 4194304 7823515 140736712977904 140736712973240 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28928/statm: 36599 35654 566 887 0 35709 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 146396
[startup+342.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 28933
/proc/meminfo: memFree=26795948/32873648 swapFree=6852/6852
[pid=28928] ppid=28926 vsize=159248 CPUtime=342.22 cores=0,2,4,6
/proc/28928/stat : 28928 (pbscip.linux.x8) R 28926 28928 27068 0 -1 4202496 41099 0 0 0 34005 217 0 0 20 0 1 0 339533848 163069952 38674 33554432000 4194304 7823515 140736712977904 140736712972600 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28928/statm: 39812 38674 566 887 0 38922 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 159248
[startup+402.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 28933
/proc/meminfo: memFree=26785768/32873648 swapFree=6852/6852
[pid=28928] ppid=28926 vsize=166696 CPUtime=402.2 cores=0,2,4,6
/proc/28928/stat : 28928 (pbscip.linux.x8) R 28926 28928 27068 0 -1 4202496 44198 0 0 0 39955 265 0 0 20 0 1 0 339533848 170696704 40800 33554432000 4194304 7823515 140736712977904 140736712973064 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28928/statm: 41674 40800 566 887 0 40784 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 166696
[startup+462.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 28933
/proc/meminfo: memFree=26773488/32873648 swapFree=6852/6852
[pid=28928] ppid=28926 vsize=178164 CPUtime=462.2 cores=0,2,4,6
/proc/28928/stat : 28928 (pbscip.linux.x8) R 28926 28928 27068 0 -1 4202496 46765 0 0 0 45904 316 0 0 20 0 1 0 339533848 182439936 43367 33554432000 4194304 7823515 140736712977904 140736712973592 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28928/statm: 44541 43367 566 887 0 43651 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 178164
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28933
/proc/meminfo: memFree=26755320/32873648 swapFree=6852/6852
[pid=28928] ppid=28926 vsize=193184 CPUtime=522.18 cores=0,2,4,6
/proc/28928/stat : 28928 (pbscip.linux.x8) R 28926 28928 27068 0 -1 4202496 50711 0 0 0 51849 369 0 0 20 0 1 0 339533848 197820416 47367 33554432000 4194304 7823515 140736712977904 140736712974552 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28928/statm: 48296 47367 566 887 0 47406 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 193184
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28933
/proc/meminfo: memFree=26746296/32873648 swapFree=6852/6852
[pid=28928] ppid=28926 vsize=202380 CPUtime=582.17 cores=0,2,4,6
/proc/28928/stat : 28928 (pbscip.linux.x8) R 28926 28928 27068 0 -1 4202496 52432 0 0 0 57794 423 0 0 20 0 1 0 339533848 207237120 49316 33554432000 4194304 7823515 140736712977904 140736712973240 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28928/statm: 50595 49316 566 887 0 49705 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 202380
[startup+642.3 s]
################
# More data... #
################
[startup+942.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 28938
/proc/meminfo: memFree=26646560/32873648 swapFree=6852/6852
[pid=28928] ppid=28926 vsize=288196 CPUtime=942.1 cores=0,2,4,6
/proc/28928/stat : 28928 (pbscip.linux.x8) R 28926 28928 27068 0 -1 4202496 83229 0 0 0 93451 759 0 0 20 0 1 0 339533848 295112704 70952 33554432000 4194304 7823515 140736712977904 140736712973704 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28928/statm: 72049 70952 573 887 0 71159 0
Current children cumulated CPU time (s) 942.1
Current children cumulated vsize (KiB) 288196
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28938
/proc/meminfo: memFree=26631284/32873648 swapFree=6852/6852
[pid=28928] ppid=28926 vsize=301548 CPUtime=1002.09 cores=0,2,4,6
/proc/28928/stat : 28928 (pbscip.linux.x8) R 28926 28928 27068 0 -1 4202496 87657 0 0 0 99392 817 0 0 20 0 1 0 339533848 308785152 74508 33554432000 4194304 7823515 140736712977904 140736712973240 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28928/statm: 75387 74508 573 887 0 74497 0
Current children cumulated CPU time (s) 1002.09
Current children cumulated vsize (KiB) 301548
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28938
/proc/meminfo: memFree=26617948/32873648 swapFree=6852/6852
[pid=28928] ppid=28926 vsize=314652 CPUtime=1062.08 cores=0,2,4,6
/proc/28928/stat : 28928 (pbscip.linux.x8) R 28926 28928 27068 0 -1 4202496 91985 0 0 0 105330 878 0 0 20 0 1 0 339533848 322203648 77659 33554432000 4194304 7823515 140736712977904 140736712974552 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28928/statm: 78663 77659 573 887 0 77773 0
Current children cumulated CPU time (s) 1062.08
Current children cumulated vsize (KiB) 314652
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28938
/proc/meminfo: memFree=26602948/32873648 swapFree=6852/6852
[pid=28928] ppid=28926 vsize=326052 CPUtime=1122.08 cores=0,2,4,6
/proc/28928/stat : 28928 (pbscip.linux.x8) R 28926 28928 27068 0 -1 4202496 94844 0 0 0 111280 928 0 0 20 0 1 0 339533848 333877248 80517 33554432000 4194304 7823515 140736712977904 140736712973656 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28928/statm: 81513 80517 573 887 0 80623 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 326052
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28938
/proc/meminfo: memFree=26586456/32873648 swapFree=6852/6852
[pid=28928] ppid=28926 vsize=340940 CPUtime=1182.07 cores=0,2,4,6
/proc/28928/stat : 28928 (pbscip.linux.x8) R 28926 28928 27068 0 -1 4202496 98415 0 0 0 117228 979 0 0 20 0 1 0 339533848 349122560 84088 33554432000 4194304 7823515 140736712977904 140736712973656 4903372 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28928/statm: 85235 84088 573 887 0 84345 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 340940
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28939
/proc/meminfo: memFree=26568356/32873648 swapFree=6852/6852
[pid=28928] ppid=28926 vsize=353416 CPUtime=1242.06 cores=0,2,4,6
/proc/28928/stat : 28928 (pbscip.linux.x8) R 28926 28928 27068 0 -1 4202496 101497 0 0 0 123174 1032 0 0 20 0 1 0 339533848 361897984 87564 33554432000 4194304 7823515 140736712977904 140736712973656 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28928/statm: 88354 87564 573 887 0 87464 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 353416
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28939
/proc/meminfo: memFree=26551140/32873648 swapFree=6852/6852
[pid=28928] ppid=28926 vsize=372320 CPUtime=1302.05 cores=0,2,4,6
/proc/28928/stat : 28928 (pbscip.linux.x8) R 28926 28928 27068 0 -1 4202496 107443 0 0 0 129117 1088 0 0 20 0 1 0 339533848 381255680 91817 33554432000 4194304 7823515 140736712977904 140736712972600 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28928/statm: 93080 91817 573 887 0 92190 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 372320
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28939
/proc/meminfo: memFree=26528556/32873648 swapFree=6852/6852
[pid=28928] ppid=28926 vsize=387380 CPUtime=1362.04 cores=0,2,4,6
/proc/28928/stat : 28928 (pbscip.linux.x8) R 28926 28928 27068 0 -1 4202496 111447 0 0 0 135056 1148 0 0 20 0 1 0 339533848 396677120 95818 33554432000 4194304 7823515 140736712977904 140736712973240 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28928/statm: 96845 95818 573 887 0 95955 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 387380
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28939
/proc/meminfo: memFree=26513556/32873648 swapFree=6852/6852
[pid=28928] ppid=28926 vsize=403220 CPUtime=1422.03 cores=0,2,4,6
/proc/28928/stat : 28928 (pbscip.linux.x8) R 28926 28928 27068 0 -1 4202496 115196 0 0 0 140995 1208 0 0 20 0 1 0 339533848 412897280 99567 33554432000 4194304 7823515 140736712977904 140736712974552 4289683 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28928/statm: 100805 99567 573 887 0 99915 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 403220
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28939
/proc/meminfo: memFree=26495080/32873648 swapFree=6852/6852
[pid=28928] ppid=28926 vsize=420456 CPUtime=1482.02 cores=0,2,4,6
/proc/28928/stat : 28928 (pbscip.linux.x8) R 28926 28928 27068 0 -1 4202496 119389 0 0 0 146937 1265 0 0 20 0 1 0 339533848 430546944 103759 33554432000 4194304 7823515 140736712977904 140736712974568 4297861 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28928/statm: 105114 103759 573 887 0 104224 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 420456
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 28943
/proc/meminfo: memFree=26478176/32873648 swapFree=6852/6852
[pid=28928] ppid=28926 vsize=433964 CPUtime=1542.01 cores=0,2,4,6
/proc/28928/stat : 28928 (pbscip.linux.x8) R 28926 28928 27068 0 -1 4202496 122908 0 0 0 152877 1324 0 0 20 0 1 0 339533848 444379136 107279 33554432000 4194304 7823515 140736712977904 140736712973240 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28928/statm: 108491 107279 573 887 0 107601 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 433964
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 28966
/proc/meminfo: memFree=26464264/32873648 swapFree=6852/6852
[pid=28928] ppid=28926 vsize=445256 CPUtime=1602 cores=0,2,4,6
/proc/28928/stat : 28928 (pbscip.linux.x8) R 28926 28928 27068 0 -1 4202496 125759 0 0 0 158822 1378 0 0 20 0 1 0 339533848 455942144 110494 33554432000 4194304 7823515 140736712977904 140736712973240 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28928/statm: 111314 110494 573 887 0 110424 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 445256
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28966
/proc/meminfo: memFree=26449332/32873648 swapFree=6852/6852
[pid=28928] ppid=28926 vsize=459564 CPUtime=1661.99 cores=0,2,4,6
/proc/28928/stat : 28928 (pbscip.linux.x8) R 28926 28928 27068 0 -1 4202496 129025 0 0 0 164764 1435 0 0 20 0 1 0 339533848 470593536 113757 33554432000 4194304 7823515 140736712977904 140736712973656 4289630 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28928/statm: 114891 113757 573 887 0 114001 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 459564
[startup+1722.3 s]
/proc/loadavg: 1.94 1.98 1.99 3/177 29005
/proc/meminfo: memFree=26405340/32873648 swapFree=6852/6852
[pid=28928] ppid=28926 vsize=474460 CPUtime=1721.97 cores=0,2,4,6
/proc/28928/stat : 28928 (pbscip.linux.x8) R 28926 28928 27068 0 -1 4202496 134513 0 0 0 170714 1483 0 0 20 0 1 0 339533848 485847040 117649 33554432000 4194304 7823515 140736712977904 140736712973240 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28928/statm: 118615 117649 573 887 0 117725 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 474460
[startup+1782.3 s]
/proc/loadavg: 1.98 1.98 1.99 3/177 29005
/proc/meminfo: memFree=26366788/32873648 swapFree=6852/6852
[pid=28928] ppid=28926 vsize=487560 CPUtime=1781.97 cores=0,2,4,6
/proc/28928/stat : 28928 (pbscip.linux.x8) R 28926 28928 27068 0 -1 4202496 137673 0 0 0 176664 1533 0 0 20 0 1 0 339533848 499261440 120808 33554432000 4194304 7823515 140736712977904 140736712973240 4291226 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28928/statm: 121890 120808 573 887 0 121000 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 487560
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 1.98 1.98 1.99 4/177 29005
/proc/meminfo: memFree=26353520/32873648 swapFree=6852/6852
[pid=28928] ppid=28926 vsize=492780 CPUtime=1800.08 cores=0,2,4,6
/proc/28928/stat : 28928 (pbscip.linux.x8) R 28926 28928 27068 0 -1 4202496 138948 0 0 0 178460 1548 0 0 20 0 1 0 339533848 504606720 122082 33554432000 4194304 7823515 140736712977904 140736712973656 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28928/statm: 123195 122082 573 887 0 122305 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 492780
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.7 s]
/proc/loadavg: 1.98 1.98 1.99 3/178 29006
/proc/meminfo: memFree=26353520/32873648 swapFree=6852/6852
[pid=28928] ppid=28926 vsize=492780 CPUtime=1800.38 cores=0,2,4,6
/proc/28928/stat : 28928 (pbscip.linux.x8) R 28926 28928 27068 0 -1 4202496 138950 0 0 0 178490 1548 0 0 20 0 1 0 339533848 504606720 122084 33554432000 4194304 7823515 140736712977904 140736712973656 5875825 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28928/statm: 123195 122084 575 887 0 122305 0
Current children cumulated CPU time (s) 1800.38
Current children cumulated vsize (KiB) 492780
[startup+1800.9 s]
/proc/loadavg: 1.98 1.98 1.99 3/178 29006
/proc/meminfo: memFree=26353520/32873648 swapFree=6852/6852
[pid=28928] ppid=28926 vsize=492780 CPUtime=1800.57 cores=0,2,4,6
/proc/28928/stat : 28928 (pbscip.linux.x8) R 28926 28928 27068 0 -1 4202496 138950 0 0 0 178509 1548 0 0 20 0 1 0 339533848 504606720 122084 33554432000 4194304 7823515 140736712977904 140736712973656 4744381 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28928/statm: 123195 122084 575 887 0 122305 0
Current children cumulated CPU time (s) 1800.57
Current children cumulated vsize (KiB) 492780
Child status: 0
Real time (s): 1800.98
CPU time (s): 1800.66
CPU user time (s): 1785.17
CPU system time (s): 15.4916
CPU usage (%): 99.982
Max. virtual memory (cumulated for all children) (KiB): 492780
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1785.17
system time used= 15.4916
maximum resident set size= 488336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 138953
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= 1846
runsolver used 3.50047 second user time and 9.02563 second system time
The end