0.00/0.01 c SCIP version 1.1.0.7
0.00/0.01 c LP-Solver SoPlex 1.4.1
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c read problem <HOME/instance-3737246-1338739376.opb>
0.00/0.01 c original problem has 1441 variables (1441 bin, 0 int, 0 impl, 0 cont) and 1441 constraints
0.00/0.01 c start presolving problem
0.00/0.01 c presolving:
0.00/0.06 c (round 1) 1241 del vars, 200 del conss, 1241 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 4964 impls, 0 clqs
0.09/0.12 c (0.1s) probing: 101/200 (50.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.12 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.12 c presolving (2 rounds):
0.09/0.12 c 1241 deleted vars, 200 deleted constraints, 1241 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.12 c 7446 implications, 0 cliques
0.09/0.12 c presolved problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 1241 constraints
0.09/0.12 c 1241 constraints of type <and>
0.09/0.12 c transformed objective value is always integral (scale: 1)
0.09/0.12 c Presolving Time: 0.04
0.09/0.12 c OPT-NLC
0.09/0.12 c -----------------------------------------------------------------------------------------------
0.09/0.12 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.12 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.12 c limits/memory = c 13950
0.09/0.12 c # maximal time in seconds to run
0.09/0.12 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.12 c limits/time = c 1791
0.09/0.12 c # frequency for displaying node information lines
0.09/0.12 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.12 c display/freq = c 10000
0.09/0.12 c -----------------------------------------------------------------------------------------------
0.09/0.12 c start solving problem
0.09/0.12 c
0.09/0.13 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.13 c 0.1s| 1 | 0 | 223 |5083k| 0 | 200 | 200 |1241 |1241 | 200 |1241 | 0 | 0 | 0 |-1.000000e+02 | -- | Inf
0.09/0.13 o -34
0.09/0.13 c R 0.1s| 1 | 0 | 223 |5088k| 0 | 200 | 200 |1241 |1241 | 200 |1241 | 0 | 0 | 0 |-1.000000e+02 |-3.400000e+01 | 66.00%
0.09/0.15 c 0.1s| 1 | 0 | 285 |5097k| 0 | 191 | 200 |1241 |1241 | 200 |1250 | 9 | 0 | 0 |-9.550000e+01 |-3.400000e+01 | 64.40%
0.09/0.18 c 0.1s| 1 | 0 | 357 |5101k| 0 | 186 | 200 |1241 |1241 | 200 |1258 | 17 | 0 | 0 |-9.300000e+01 |-3.400000e+01 | 63.44%
0.19/0.21 c 0.1s| 1 | 0 | 461 |5105k| 0 | 179 | 200 |1241 |1241 | 200 |1267 | 26 | 0 | 0 |-8.950000e+01 |-3.400000e+01 | 62.01%
0.19/0.24 c 0.2s| 1 | 0 | 542 |5109k| 0 | 175 | 200 |1241 |1241 | 200 |1273 | 32 | 0 | 0 |-8.750000e+01 |-3.400000e+01 | 61.14%
0.19/0.27 c 0.2s| 1 | 0 | 598 |5114k| 0 | 173 | 200 |1241 |1241 | 200 |1280 | 39 | 0 | 0 |-8.650000e+01 |-3.400000e+01 | 60.69%
0.28/0.33 c 0.2s| 1 | 0 | 719 |5130k| 0 | 173 | 200 |1241 |1241 | 200 |1289 | 48 | 0 | 0 |-8.600000e+01 |-3.400000e+01 | 60.47%
0.28/0.39 c 0.3s| 1 | 0 | 896 |5149k| 0 | 170 | 200 |1241 |1241 | 200 |1296 | 55 | 0 | 0 |-8.450000e+01 |-3.400000e+01 | 59.76%
0.39/0.44 c 0.4s| 1 | 0 | 1093 |5169k| 0 | 167 | 200 |1241 |1241 | 200 |1304 | 63 | 0 | 0 |-8.350000e+01 |-3.400000e+01 | 59.28%
0.39/0.48 c 0.4s| 1 | 0 | 1135 |5175k| 0 | 167 | 200 |1241 |1241 | 200 |1311 | 70 | 0 | 0 |-8.350000e+01 |-3.400000e+01 | 59.28%
0.49/0.54 c 0.5s| 1 | 0 | 1356 |5179k| 0 | 163 | 200 |1241 |1241 | 200 |1319 | 78 | 0 | 0 |-8.150000e+01 |-3.400000e+01 | 58.28%
0.49/0.59 c 0.5s| 1 | 0 | 1478 |5183k| 0 | 162 | 200 |1241 |1241 | 200 | 383 | 85 | 0 | 0 |-8.100000e+01 |-3.400000e+01 | 58.02%
0.59/0.62 c 0.5s| 1 | 0 | 1607 |5233k| 0 | 156 | 200 |1241 |1241 | 200 | 390 | 92 | 0 | 0 |-8.100000e+01 |-3.400000e+01 | 58.02%
0.59/0.64 c 0.6s| 1 | 0 | 1781 |5254k| 0 | 169 | 200 |1241 |1241 | 200 | 415 | 117 | 0 | 0 |-8.050000e+01 |-3.400000e+01 | 57.76%
0.59/0.68 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.59/0.68 c 0.6s| 1 | 0 | 1980 |5291k| 0 | 172 | 200 |1241 |1241 | 200 | 447 | 149 | 0 | 0 |-7.962500e+01 |-3.400000e+01 | 57.30%
0.68/0.72 c 0.6s| 1 | 0 | 2218 |5351k| 0 | 174 | 200 |1241 |1241 | 200 | 472 | 174 | 0 | 0 |-7.700000e+01 |-3.400000e+01 | 55.84%
0.68/0.76 c 0.7s| 1 | 0 | 2412 |5387k| 0 | 184 | 200 |1241 |1241 | 200 | 532 | 234 | 0 | 0 |-7.588235e+01 |-3.400000e+01 | 55.19%
0.79/0.81 c 0.7s| 1 | 0 | 2595 |5600k| 0 | 173 | 200 |1241 |1241 | 200 | 429 | 283 | 0 | 0 |-7.500000e+01 |-3.400000e+01 | 54.67%
0.79/0.85 c 0.8s| 1 | 0 | 2825 |5885k| 0 | 152 | 200 |1241 |1241 | 200 | 448 | 302 | 0 | 0 |-7.400000e+01 |-3.400000e+01 | 54.05%
0.79/0.88 c 0.8s| 1 | 0 | 3003 |5919k| 0 | 183 | 200 |1241 |1241 | 200 | 456 | 310 | 0 | 0 |-7.369091e+01 |-3.400000e+01 | 53.86%
0.89/0.94 c 0.8s| 1 | 0 | 3182 |6143k| 0 | 193 | 200 |1241 |1241 | 200 | 538 | 392 | 0 | 0 |-7.299206e+01 |-3.400000e+01 | 53.42%
0.89/0.99 c 0.9s| 1 | 0 | 3423 |6763k| 0 | 185 | 200 |1241 |1241 | 200 | 564 | 418 | 0 | 0 |-7.221635e+01 |-3.400000e+01 | 52.92%
0.99/1.04 c 0.9s| 1 | 0 | 3645 |7030k| 0 | 178 | 200 |1241 |1241 | 200 | 592 | 446 | 0 | 0 |-7.144444e+01 |-3.400000e+01 | 52.41%
0.99/1.09 c 1.0s| 1 | 0 | 3905 |7267k| 0 | 183 | 200 |1241 |1241 | 200 | 558 | 476 | 0 | 0 |-7.121429e+01 |-3.400000e+01 | 52.26%
1.09/1.14 c 1.0s| 1 | 0 | 4140 |7416k| 0 | 148 | 200 |1241 |1241 | 200 | 580 | 498 | 0 | 0 |-7.100000e+01 |-3.400000e+01 | 52.11%
1.09/1.18 c 1.1s| 1 | 0 | 4332 |7683k| 0 | 143 | 200 |1241 |1241 | 200 | 591 | 509 | 0 | 0 |-7.100000e+01 |-3.400000e+01 | 52.11%
1.18/1.23 c 1.1s| 1 | 0 | 4627 |7706k| 0 | 189 | 200 |1241 |1241 | 200 | 599 | 517 | 0 | 0 |-7.090517e+01 |-3.400000e+01 | 52.05%
1.18/1.29 c 1.2s| 1 | 0 | 4904 |8301k| 0 | 194 | 200 |1241 |1241 | 200 | 629 | 547 | 0 | 0 |-7.068071e+01 |-3.400000e+01 | 51.90%
1.29/1.34 c 1.2s| 1 | 0 | 5092 |8562k| 0 | 197 | 200 |1241 |1241 | 200 | 647 | 565 | 0 | 0 |-7.051108e+01 |-3.400000e+01 | 51.78%
1.29/1.38 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.29/1.38 c 1.3s| 1 | 0 | 5188 |8571k| 0 | 194 | 200 |1241 |1241 | 200 | 491 | 578 | 0 | 0 |-7.041601e+01 |-3.400000e+01 | 51.72%
1.39/1.44 c 1.3s| 1 | 0 | 5381 |9333k| 0 | 195 | 200 |1241 |1241 | 200 | 506 | 593 | 0 | 0 |-7.027885e+01 |-3.400000e+01 | 51.62%
1.39/1.47 c 1.4s| 1 | 0 | 5445 |9343k| 0 | 195 | 200 |1241 |1241 | 200 | 522 | 609 | 0 | 0 |-7.023968e+01 |-3.400000e+01 | 51.59%
1.49/1.53 c 1.4s| 1 | 0 | 5695 |9351k| 0 | 195 | 200 |1241 |1241 | 200 | 534 | 621 | 0 | 0 |-6.992187e+01 |-3.400000e+01 | 51.37%
1.49/1.56 c 1.4s| 1 | 0 | 5754 |9357k| 0 | 195 | 200 |1241 |1241 | 200 | 544 | 631 | 0 | 0 |-6.988387e+01 |-3.400000e+01 | 51.35%
1.49/1.59 c 1.5s| 1 | 0 | 5793 |9359k| 0 | 194 | 200 |1241 |1241 | 200 | 549 | 636 | 0 | 0 |-6.986540e+01 |-3.400000e+01 | 51.33%
1.59/1.63 c 1.5s| 1 | 0 | 5877 |9364k| 0 | 195 | 200 |1241 |1241 | 200 | 374 | 637 | 0 | 0 |-6.980420e+01 |-3.400000e+01 | 51.29%
1.59/1.65 c 1.5s| 1 | 0 | 5885 |9365k| 0 | 196 | 200 |1241 |1241 | 200 | 378 | 641 | 0 | 0 |-6.980394e+01 |-3.400000e+01 | 51.29%
1.59/1.66 c 1.6s| 1 | 0 | 5888 |9366k| 0 | 196 | 200 |1241 |1241 | 200 | 379 | 642 | 0 | 0 |-6.980391e+01 |-3.400000e+01 | 51.29%
2.39/2.44 c 2.3s| 1 | 2 | 6788 |9369k| 0 | 196 | 200 |1241 |1241 | 200 | 379 | 642 | 0 | 26 |-6.980391e+01 |-3.400000e+01 | 51.29%
5.59/5.61 o -43
5.59/5.61 c * 5.4s| 44 | 41 | 11005 |9447k| 19 | - | 200 |1241 | 97 | 200 | 423 |2304 | 0 | 752 |-6.861404e+01 |-4.300000e+01 | 37.33%
5.79/5.82 o -44
5.79/5.82 c * 5.6s| 53 | 45 | 11476 |9459k| 19 | - | 200 |1241 | 139 | 200 | 402 |2490 | 0 | 891 |-6.861404e+01 |-4.400000e+01 | 35.87%
6.69/6.73 o -45
6.69/6.73 c * 6.5s| 116 | 77 | 15108 |9518k| 20 | - | 200 |1241 | 143 | 200 | 409 |3382 | 0 |1162 |-6.861404e+01 |-4.500000e+01 | 34.42%
7.49/7.58 o -47
7.49/7.58 c * 7.4s| 354 | 151 | 25843 |9667k| 24 | - | 200 |1241 | 143 | 200 | 418 |6450 | 0 |1189 |-6.841667e+01 |-4.700000e+01 | 31.30%
20.59/20.64 o -48
20.59/20.64 c *20.1s| 3153 | 1223 |230861 | 11M| 27 | - | 200 |1241 | 177 | 200 | 406 | 42k| 0 |1444 |-6.569444e+01 |-4.800000e+01 | 26.93%
38.78/38.83 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
38.78/38.83 c 38.0s| 10000 | 2698 |525931 | 14M| 32 | - | 200 |1241 | 288 | 200 | 448 | 90k| 0 |1498 |-6.400000e+01 |-4.800000e+01 | 25.00%
40.18/40.22 o -49
40.18/40.22 c *39.3s| 10699 | 2451 |548569 | 13M| 34 | - | 200 |1241 | 150 | 200 | 407 | 94k| 0 |1499 |-6.400000e+01 |-4.900000e+01 | 23.44%
56.58/56.61 o -50
56.58/56.61 c *55.4s| 17789 | 3161 |805478 | 15M| 35 | - | 200 |1241 | 224 | 200 | 403 | 131k| 0 |1971 |-6.333333e+01 |-5.000000e+01 | 21.05%
60.88/60.91 c 59.6s| 20000 | 3406 |873844 | 15M| 35 | - | 200 |1241 | 320 | 200 | 421 | 142k| 0 |2106 |-6.316667e+01 |-5.000000e+01 | 20.84%
64.18/64.27 o -51
64.18/64.27 c *62.9s| 21534 | 3221 |928286 | 15M| 35 | - | 200 |1241 | 213 | 200 | 390 | 150k| 0 |2164 |-6.302857e+01 |-5.100000e+01 | 19.08%
82.58/82.66 c 80.9s| 30000 | 4169 | 1215k| 17M| 48 | - | 200 |1241 | 299 | 200 | 444 | 192k| 0 |2677 |-6.265625e+01 |-5.100000e+01 | 18.60%
102.57/102.62 c 100s| 40000 | 5147 | 1531k| 19M| 48 | - | 200 |1241 | 300 | 200 | 388 | 232k| 0 |3069 |-6.233333e+01 |-5.100000e+01 | 18.18%
120.17/120.29 c 118s| 50000 | 5985 | 1818k| 21M| 52 | - | 200 |1241 | 312 | 200 | 414 | 274k| 0 |3492 |-6.207692e+01 |-5.100000e+01 | 17.84%
136.56/136.62 c 134s| 60000 | 6605 | 2085k| 23M| 52 | 82 | 200 |1241 | 300 | 200 | 426 | 307k| 0 |3818 |-6.200000e+01 |-5.100000e+01 | 17.74%
153.66/153.78 c 150s| 70000 | 7281 | 2363k| 25M| 52 | - | 200 |1241 | 347 | 200 | 443 | 341k| 0 |4212 |-6.177160e+01 |-5.100000e+01 | 17.44%
170.95/171.02 c 167s| 80000 | 8047 | 2646k| 27M| 52 | - | 200 |1241 | 324 | 200 | 452 | 376k| 0 |4527 |-6.164423e+01 |-5.100000e+01 | 17.27%
187.66/187.75 c 184s| 90000 | 8753 | 2920k| 28M| 52 | 87 | 200 |1241 | 339 | 200 | 366 | 410k| 0 |4832 |-6.150000e+01 |-5.100000e+01 | 17.07%
204.65/204.79 c 200s|100000 | 9537 | 3201k| 30M| 52 | 95 | 200 |1241 | 343 | 200 | 449 | 451k| 0 |5116 |-6.150000e+01 |-5.100000e+01 | 17.07%
221.25/221.31 c 216s|110000 | 10235 | 3474k| 32M| 52 | - | 200 |1241 | 288 | 200 | 404 | 486k| 0 |5341 |-6.130000e+01 |-5.100000e+01 | 16.80%
238.24/238.37 c 233s|120000 | 11031 | 3753k| 34M| 52 | - | 200 |1241 | 289 | 200 | 461 | 524k| 0 |5595 |-6.117778e+01 |-5.100000e+01 | 16.64%
254.84/254.95 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
254.84/254.95 c 249s|130000 | 11707 | 4023k| 36M| 52 | - | 200 |1241 | 223 | 200 | 397 | 553k| 0 |5851 |-6.105556e+01 |-5.100000e+01 | 16.47%
269.94/270.03 c 264s|140000 | 12351 | 4276k| 37M| 52 | - | 200 |1241 | 227 | 200 | 396 | 585k| 0 |6117 |-6.100000e+01 |-5.100000e+01 | 16.39%
285.24/285.30 c 279s|150000 | 13017 | 4535k| 39M| 52 | - | 200 |1241 | 326 | 200 | 444 | 625k| 0 |6296 |-6.100000e+01 |-5.100000e+01 | 16.39%
302.13/302.20 c 295s|160000 | 13769 | 4816k| 41M| 52 | 86 | 200 |1241 | 382 | 200 | 408 | 665k| 0 |6578 |-6.091667e+01 |-5.100000e+01 | 16.28%
318.63/318.75 c 311s|170000 | 14451 | 5094k| 43M| 52 | 79 | 200 |1241 | 374 | 200 | 434 | 702k| 0 |6746 |-6.075000e+01 |-5.100000e+01 | 16.05%
334.63/334.78 c 327s|180000 | 15123 | 5362k| 44M| 52 | - | 200 |1241 | 323 | 200 | 463 | 743k| 0 |7006 |-6.068085e+01 |-5.100000e+01 | 15.95%
350.83/350.93 c 343s|190000 | 15763 | 5626k| 46M| 52 | - | 200 |1241 | 332 | 200 | 445 | 773k| 0 |7190 |-6.055000e+01 |-5.100000e+01 | 15.77%
366.52/366.62 c 358s|200000 | 16435 | 5892k| 48M| 52 | 102 | 200 |1241 | 369 | 200 | 490 | 810k| 0 |7368 |-6.050000e+01 |-5.100000e+01 | 15.70%
382.33/382.40 c 374s|210000 | 17131 | 6156k| 49M| 52 | - | 200 |1241 | 288 | 200 | 416 | 846k| 0 |7614 |-6.050000e+01 |-5.100000e+01 | 15.70%
398.81/398.93 c 390s|220000 | 17777 | 6428k| 51M| 52 | - | 200 |1241 | 368 | 200 | 428 | 880k| 0 |7841 |-6.050000e+01 |-5.100000e+01 | 15.70%
415.62/415.75 c 406s|230000 | 18429 | 6706k| 53M| 52 | - | 200 |1241 | 286 | 200 | 449 | 910k| 0 |7997 |-6.033333e+01 |-5.100000e+01 | 15.47%
426.31/426.41 o -52
426.31/426.41 c * 417s|236393 | 14614 | 6879k| 43M| 52 | - | 200 |1241 | 254 | 200 | 429 | 929k| 0 |8192 |-6.025000e+01 |-5.200000e+01 | 13.69%
431.81/431.97 c 422s|240000 | 14785 | 6973k| 44M| 52 | 93 | 200 |1241 | 422 | 200 | 362 | 940k| 0 |8192 |-6.025000e+01 |-5.200000e+01 | 13.69%
447.61/447.75 c 437s|250000 | 15207 | 7237k| 45M| 52 | - | 200 |1241 | 346 | 200 | 437 | 972k| 0 |8418 |-6.020588e+01 |-5.200000e+01 | 13.63%
464.41/464.53 c 454s|260000 | 15659 | 7517k| 46M| 52 | 108 | 200 |1241 | 394 | 200 | 434 |1001k| 0 |8601 |-6.012500e+01 |-5.200000e+01 | 13.51%
481.30/481.48 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
481.30/481.48 c 470s|270000 | 16109 | 7797k| 47M| 52 | - | 200 |1241 | 297 | 200 | 422 |1031k| 0 |8818 |-6.000000e+01 |-5.200000e+01 | 13.33%
497.40/497.54 c 486s|280000 | 16557 | 8067k| 49M| 52 | - | 200 |1241 | 348 | 200 | 451 |1062k| 0 |9026 |-6.000000e+01 |-5.200000e+01 | 13.33%
513.10/513.29 c 501s|290000 | 17031 | 8337k| 50M| 52 | 95 | 200 |1241 | 469 | 200 | 421 |1099k| 0 |9190 |-6.000000e+01 |-5.200000e+01 | 13.33%
528.59/528.73 c 516s|300000 | 17491 | 8599k| 51M| 52 | 95 | 200 |1241 | 397 | 200 | 435 |1131k| 0 |9338 |-6.000000e+01 |-5.200000e+01 | 13.33%
544.99/545.17 c 533s|310000 | 17919 | 8876k| 52M| 52 | - | 200 |1241 | 266 | 200 | 485 |1163k| 0 |9513 |-5.993333e+01 |-5.200000e+01 | 13.24%
561.90/562.03 c 549s|320000 | 18315 | 9154k| 54M| 52 | - | 200 |1241 | 348 | 200 | 391 |1189k| 0 |9684 |-5.981818e+01 |-5.200000e+01 | 13.07%
578.40/578.60 c 565s|330000 | 18697 | 9431k| 55M| 52 | 100 | 200 |1241 | 473 | 200 | 384 |1218k| 0 |9865 |-5.975000e+01 |-5.200000e+01 | 12.97%
594.68/594.81 c 581s|340000 | 19119 | 9704k| 56M| 52 | - | 200 |1241 | 346 | 200 | 412 |1249k| 0 | 10k|-5.974194e+01 |-5.200000e+01 | 12.96%
610.89/611.02 c 597s|350000 | 19491 | 9975k| 57M| 52 | 100 | 200 |1241 | 390 | 200 | 429 |1278k| 0 | 10k|-5.962500e+01 |-5.200000e+01 | 12.79%
627.38/627.51 c 613s|360000 | 19897 | 10250k| 58M| 52 | - | 200 |1241 | 309 | 200 | 391 |1307k| 0 | 10k|-5.955000e+01 |-5.200000e+01 | 12.68%
643.48/643.65 c 629s|370000 | 20271 | 10520k| 59M| 52 | - | 200 |1241 | 375 | 200 | 458 |1336k| 0 | 10k|-5.950000e+01 |-5.200000e+01 | 12.61%
658.78/658.97 c 644s|380000 | 20629 | 10779k| 60M| 52 | 120 | 200 |1241 | 560 | 200 | 451 |1365k| 0 | 10k|-5.950000e+01 |-5.200000e+01 | 12.61%
674.57/674.76 c 659s|390000 | 20965 | 11046k| 61M| 52 | 94 | 200 |1241 | 328 | 200 | 398 |1396k| 0 | 10k|-5.950000e+01 |-5.200000e+01 | 12.61%
689.67/689.89 c 674s|400000 | 21297 | 11306k| 62M| 52 | - | 200 |1241 | 265 | 200 | 418 |1430k| 0 | 10k|-5.950000e+01 |-5.200000e+01 | 12.61%
704.57/704.76 c 688s|410000 | 21621 | 11560k| 63M| 52 | 97 | 200 |1241 | 411 | 200 | 394 |1462k| 0 | 11k|-5.950000e+01 |-5.200000e+01 | 12.61%
720.47/720.66 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
720.47/720.66 c 704s|420000 | 22013 | 11828k| 64M| 52 | - | 200 |1241 | 268 | 200 | 420 |1490k| 0 | 11k|-5.942857e+01 |-5.200000e+01 | 12.50%
735.36/735.58 c 718s|430000 | 22273 | 12078k| 65M| 52 | - | 200 |1241 | 293 | 200 | 460 |1515k| 0 | 11k|-5.933333e+01 |-5.200000e+01 | 12.36%
751.46/751.65 c 734s|440000 | 22671 | 12346k| 66M| 54 | 90 | 200 |1241 | 363 | 200 | 445 |1541k| 0 | 11k|-5.925000e+01 |-5.200000e+01 | 12.24%
767.16/767.36 c 749s|450000 | 22931 | 12606k| 67M| 54 | 95 | 200 |1241 | 387 | 200 | 443 |1568k| 0 | 11k|-5.925000e+01 |-5.200000e+01 | 12.24%
783.15/783.30 c 765s|460000 | 23245 | 12874k| 68M| 54 | 96 | 200 |1241 | 450 | 200 | 490 |1597k| 0 | 11k|-5.920000e+01 |-5.200000e+01 | 12.16%
799.35/799.54 c 781s|470000 | 23605 | 13146k| 69M| 54 | - | 200 |1241 | 319 | 200 | 471 |1625k| 0 | 11k|-5.912500e+01 |-5.200000e+01 | 12.05%
814.75/814.92 c 796s|480000 | 23907 | 13403k| 70M| 54 | - | 200 |1241 | 322 | 200 | 457 |1650k| 0 | 12k|-5.905263e+01 |-5.200000e+01 | 11.94%
830.65/830.85 c 812s|490000 | 24221 | 13670k| 71M| 54 | - | 200 |1241 | 394 | 200 | 483 |1676k| 0 | 12k|-5.900000e+01 |-5.200000e+01 | 11.86%
845.35/845.59 c 826s|500000 | 24509 | 13922k| 72M| 54 | 95 | 200 |1241 | 356 | 200 | 457 |1707k| 0 | 12k|-5.900000e+01 |-5.200000e+01 | 11.86%
860.94/861.10 c 841s|510000 | 24777 | 14183k| 73M| 54 | 82 | 200 |1241 | 350 | 200 | 476 |1736k| 0 | 12k|-5.900000e+01 |-5.200000e+01 | 11.86%
877.14/877.33 c 857s|520000 | 25053 | 14455k| 74M| 54 | 96 | 200 |1241 | 416 | 200 | 447 |1765k| 0 | 12k|-5.900000e+01 |-5.200000e+01 | 11.86%
892.24/892.48 c 872s|530000 | 25283 | 14710k| 74M| 54 | 109 | 200 |1241 | 528 | 200 | 433 |1793k| 0 | 12k|-5.900000e+01 |-5.200000e+01 | 11.86%
907.35/907.59 c 886s|540000 | 25517 | 14969k| 75M| 54 | 107 | 200 |1241 | 440 | 200 | 461 |1823k| 0 | 12k|-5.900000e+01 |-5.200000e+01 | 11.86%
922.94/923.12 c 902s|550000 | 25799 | 15229k| 76M| 54 | 91 | 200 |1241 | 403 | 200 | 450 |1852k| 0 | 12k|-5.900000e+01 |-5.200000e+01 | 11.86%
938.53/938.73 c 917s|560000 | 26057 | 15489k| 77M| 54 | 91 | 200 |1241 | 435 | 200 | 455 |1875k| 0 | 13k|-5.900000e+01 |-5.200000e+01 | 11.86%
955.13/955.39 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
955.13/955.39 c 933s|570000 | 26355 | 15765k| 78M| 54 | - | 200 |1241 | 308 | 200 | 476 |1900k| 0 | 13k|-5.887500e+01 |-5.200000e+01 | 11.68%
971.22/971.45 c 949s|580000 | 26611 | 16030k| 78M| 54 | - | 200 |1241 | 439 | 200 | 462 |1924k| 0 | 13k|-5.883333e+01 |-5.200000e+01 | 11.61%
987.82/988.05 c 965s|590000 | 26851 | 16303k| 79M| 54 | - | 200 |1241 | 317 | 200 | 451 |1949k| 0 | 13k|-5.875000e+01 |-5.200000e+01 | 11.49%
1003.22/1003.49 c 980s|600000 | 27065 | 16561k| 80M| 54 | 94 | 200 |1241 | 407 | 200 | 490 |1975k| 0 | 13k|-5.875000e+01 |-5.200000e+01 | 11.49%
1019.12/1019.34 c 996s|610000 | 27325 | 16828k| 81M| 54 | 96 | 200 |1241 | 368 | 200 | 432 |2001k| 0 | 13k|-5.875000e+01 |-5.200000e+01 | 11.49%
1035.42/1035.63 c 1012s|620000 | 27599 | 17095k| 81M| 54 | 95 | 200 |1241 | 389 | 200 | 436 |2023k| 0 | 13k|-5.866667e+01 |-5.200000e+01 | 11.36%
1051.51/1051.70 c 1027s|630000 | 27865 | 17359k| 82M| 56 | 104 | 200 |1241 | 389 | 200 | 394 |2047k| 0 | 13k|-5.862500e+01 |-5.200000e+01 | 11.30%
1068.11/1068.31 c 1043s|640000 | 28123 | 17632k| 83M| 56 | 91 | 200 |1241 | 384 | 200 | 468 |2070k| 0 | 13k|-5.857692e+01 |-5.200000e+01 | 11.23%
1084.81/1085.08 c 1060s|650000 | 28371 | 17911k| 84M| 56 | 93 | 200 |1241 | 432 | 200 | 425 |2094k| 0 | 14k|-5.850000e+01 |-5.200000e+01 | 11.11%
1099.41/1099.65 c 1074s|660000 | 28547 | 18158k| 85M| 56 | 98 | 200 |1241 | 410 | 200 | 477 |2121k| 0 | 14k|-5.850000e+01 |-5.200000e+01 | 11.11%
1114.20/1114.44 c 1089s|670000 | 28755 | 18407k| 85M| 56 | 107 | 200 |1241 | 553 | 200 | 396 |2150k| 0 | 14k|-5.850000e+01 |-5.200000e+01 | 11.11%
1128.79/1129.03 c 1103s|680000 | 28957 | 18656k| 86M| 56 | 93 | 200 |1241 | 398 | 200 | 469 |2177k| 0 | 14k|-5.850000e+01 |-5.200000e+01 | 11.11%
1143.70/1143.98 c 1117s|690000 | 29153 | 18907k| 87M| 56 | 107 | 200 |1241 | 396 | 200 | 478 |2203k| 0 | 14k|-5.850000e+01 |-5.200000e+01 | 11.11%
1159.29/1159.53 c 1132s|700000 | 29369 | 19167k| 87M| 58 | 97 | 200 |1241 | 395 | 200 | 474 |2231k| 0 | 14k|-5.850000e+01 |-5.200000e+01 | 11.11%
1173.89/1174.10 c 1147s|710000 | 29589 | 19416k| 88M| 58 | 107 | 200 |1241 | 466 | 200 | 419 |2258k| 0 | 14k|-5.850000e+01 |-5.200000e+01 | 11.11%
1188.59/1188.84 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1188.59/1188.84 c 1161s|720000 | 29773 | 19664k| 89M| 58 | 113 | 200 |1241 | 476 | 200 | 460 |2282k| 0 | 14k|-5.850000e+01 |-5.200000e+01 | 11.11%
1203.99/1204.20 c 1176s|730000 | 30025 | 19920k| 89M| 58 | - | 200 |1241 | 295 | 200 | 403 |2306k| 0 | 14k|-5.850000e+01 |-5.200000e+01 | 11.11%
1219.08/1219.34 c 1191s|740000 | 30229 | 20174k| 90M| 58 | - | 200 |1241 | 279 | 200 | 463 |2331k| 0 | 15k|-5.850000e+01 |-5.200000e+01 | 11.11%
1235.58/1235.80 c 1207s|750000 | 30431 | 20446k| 91M| 58 | - | 200 |1241 | 328 | 200 | 468 |2353k| 0 | 15k|-5.837931e+01 |-5.200000e+01 | 10.93%
1251.68/1251.90 c 1223s|760000 | 30635 | 20710k| 91M| 58 | 107 | 200 |1241 | 434 | 200 | 493 |2375k| 0 | 15k|-5.833333e+01 |-5.200000e+01 | 10.86%
1268.38/1268.61 c 1239s|770000 | 30847 | 20983k| 92M| 58 | - | 200 |1241 | 386 | 200 | 429 |2397k| 0 | 15k|-5.827778e+01 |-5.200000e+01 | 10.77%
1284.08/1284.30 c 1254s|780000 | 31075 | 21248k| 93M| 58 | - | 200 |1241 | 353 | 200 | 375 |2424k| 0 | 15k|-5.825000e+01 |-5.200000e+01 | 10.73%
1299.88/1300.20 c 1270s|790000 | 31193 | 21510k| 94M| 58 | - | 200 |1241 | 365 | 200 | 411 |2448k| 0 | 15k|-5.825000e+01 |-5.200000e+01 | 10.73%
1315.28/1315.58 c 1285s|800000 | 31347 | 21767k| 94M| 58 | 99 | 200 |1241 | 387 | 200 | 465 |2470k| 0 | 15k|-5.820000e+01 |-5.200000e+01 | 10.65%
1331.26/1331.50 c 1300s|810000 | 31513 | 22028k| 95M| 58 | 113 | 200 |1241 | 441 | 200 | 415 |2491k| 0 | 15k|-5.816667e+01 |-5.200000e+01 | 10.60%
1347.36/1347.64 c 1316s|820000 | 31665 | 22294k| 95M| 58 | - | 200 |1241 | 366 | 200 | 409 |2514k| 0 | 15k|-5.812500e+01 |-5.200000e+01 | 10.54%
1363.86/1364.11 c 1332s|830000 | 31875 | 22563k| 96M| 58 | 129 | 200 |1241 | 524 | 200 | 469 |2535k| 0 | 15k|-5.802000e+01 |-5.200000e+01 | 10.38%
1378.86/1379.12 c 1347s|840000 | 31993 | 22810k| 97M| 58 | 92 | 200 |1241 | 342 | 200 | 396 |2558k| 0 | 16k|-5.800000e+01 |-5.200000e+01 | 10.34%
1393.46/1393.74 c 1361s|850000 | 32115 | 23059k| 97M| 58 | - | 200 |1241 | 365 | 200 | 396 |2587k| 0 | 16k|-5.800000e+01 |-5.200000e+01 | 10.34%
1408.25/1408.54 c 1376s|860000 | 32211 | 23308k| 98M| 58 | 115 | 200 |1241 | 376 | 200 | 525 |2615k| 0 | 16k|-5.800000e+01 |-5.200000e+01 | 10.34%
1422.65/1422.99 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1422.65/1422.99 c 1390s|870000 | 32273 | 23554k| 98M| 58 | 97 | 200 |1241 | 371 | 200 | 455 |2642k| 0 | 16k|-5.800000e+01 |-5.200000e+01 | 10.34%
1437.95/1438.27 c 1405s|880000 | 32397 | 23812k| 99M| 58 | - | 200 |1241 | 378 | 200 | 485 |2667k| 0 | 16k|-5.800000e+01 |-5.200000e+01 | 10.34%
1453.85/1454.15 c 1420s|890000 | 32507 | 24073k| 99M| 58 | 111 | 200 |1241 | 462 | 200 | 471 |2691k| 0 | 16k|-5.800000e+01 |-5.200000e+01 | 10.34%
1469.14/1469.48 c 1435s|900000 | 32639 | 24329k| 100M| 58 | 97 | 200 |1241 | 352 | 200 | 441 |2714k| 0 | 16k|-5.800000e+01 |-5.200000e+01 | 10.34%
1484.24/1484.58 c 1450s|910000 | 32699 | 24581k| 100M| 58 | - | 200 |1241 | 270 | 200 | 491 |2736k| 0 | 16k|-5.800000e+01 |-5.200000e+01 | 10.34%
1499.64/1499.95 c 1465s|920000 | 32849 | 24836k| 100M| 58 | 97 | 200 |1241 | 372 | 200 | 405 |2759k| 0 | 16k|-5.800000e+01 |-5.200000e+01 | 10.34%
1514.84/1515.10 c 1480s|930000 | 32985 | 25089k| 101M| 58 | 90 | 200 |1241 | 349 | 200 | 496 |2780k| 0 | 16k|-5.800000e+01 |-5.200000e+01 | 10.34%
1530.73/1531.05 c 1495s|940000 | 33087 | 25348k| 101M| 58 | - | 200 |1241 | 276 | 200 | 470 |2800k| 0 | 17k|-5.790000e+01 |-5.200000e+01 | 10.19%
1546.54/1546.84 c 1511s|950000 | 33157 | 25609k| 102M| 58 | - | 200 |1241 | 339 | 200 | 496 |2821k| 0 | 17k|-5.783333e+01 |-5.200000e+01 | 10.09%
1562.33/1562.65 c 1526s|960000 | 33203 | 25869k| 102M| 58 | 111 | 200 |1241 | 374 | 200 | 432 |2841k| 0 | 17k|-5.780000e+01 |-5.200000e+01 | 10.03%
1577.73/1578.08 c 1541s|970000 | 33243 | 26125k| 102M| 58 | - | 200 |1241 | 344 | 200 | 490 |2863k| 0 | 17k|-5.775000e+01 |-5.200000e+01 | 9.96%
1593.22/1593.58 c 1556s|980000 | 33251 | 26379k| 103M| 58 | 95 | 200 |1241 | 420 | 200 | 457 |2884k| 0 | 17k|-5.775000e+01 |-5.200000e+01 | 9.96%
1608.12/1608.49 c 1571s|990000 | 33311 | 26629k| 103M| 60 | 113 | 200 |1241 | 432 | 200 | 514 |2909k| 0 | 17k|-5.775000e+01 |-5.200000e+01 | 9.96%
1623.52/1623.80 c 1586s| 1000k| 33401 | 26883k| 103M| 60 | - | 200 |1241 | 321 | 200 | 416 |2930k| 0 | 17k|-5.768750e+01 |-5.200000e+01 | 9.86%
1639.22/1639.55 c 1601s| 1010k| 33459 | 27143k| 104M| 60 | - | 200 |1241 | 366 | 200 | 472 |2950k| 0 | 17k|-5.763636e+01 |-5.200000e+01 | 9.78%
1654.52/1654.83 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1654.52/1654.83 c 1616s| 1020k| 33515 | 27397k| 104M| 60 | 95 | 200 |1241 | 382 | 200 | 423 |2970k| 0 | 17k|-5.759091e+01 |-5.200000e+01 | 9.71%
1670.41/1670.78 c 1632s| 1030k| 33601 | 27659k| 105M| 60 | - | 200 |1241 | 329 | 200 | 466 |2991k| 0 | 17k|-5.750000e+01 |-5.200000e+01 | 9.57%
1685.22/1685.56 c 1646s| 1040k| 33543 | 27903k| 105M| 60 | 100 | 200 |1241 | 355 | 200 | 423 |3012k| 0 | 17k|-5.750000e+01 |-5.200000e+01 | 9.57%
1699.61/1699.94 c 1660s| 1050k| 33459 | 28143k| 105M| 60 | - | 200 |1241 | 301 | 200 | 444 |3035k| 0 | 18k|-5.750000e+01 |-5.200000e+01 | 9.57%
1714.10/1714.41 c 1674s| 1060k| 33417 | 28389k| 105M| 60 | - | 200 |1241 | 374 | 200 | 425 |3060k| 0 | 18k|-5.750000e+01 |-5.200000e+01 | 9.57%
1727.90/1728.27 c 1688s| 1070k| 33383 | 28619k| 105M| 60 | 93 | 200 |1241 | 343 | 200 | 454 |3082k| 0 | 18k|-5.750000e+01 |-5.200000e+01 | 9.57%
1741.71/1742.07 c 1701s| 1080k| 33309 | 28853k| 105M| 60 | 102 | 200 |1241 | 351 | 200 | 396 |3105k| 0 | 18k|-5.750000e+01 |-5.200000e+01 | 9.57%
1756.50/1756.85 c 1716s| 1090k| 33293 | 29102k| 105M| 60 | - | 200 |1241 | 287 | 200 | 434 |3133k| 0 | 18k|-5.750000e+01 |-5.200000e+01 | 9.57%
1770.80/1771.13 c 1730s| 1100k| 33239 | 29346k| 105M| 60 | - | 200 |1241 | 313 | 200 | 486 |3157k| 0 | 18k|-5.750000e+01 |-5.200000e+01 | 9.57%
1785.59/1785.97 c 1744s| 1110k| 33209 | 29592k| 105M| 60 | - | 200 |1241 | 350 | 200 | 382 |3178k| 0 | 18k|-5.750000e+01 |-5.200000e+01 | 9.57%
1800.10/1800.40 c
1800.10/1800.40 c SCIP Status : solving was interrupted [user interrupt]
1800.10/1800.40 c Solving Time (sec) : 1758.24
1800.10/1800.40 c Solving Nodes : 1119906
1800.10/1800.40 c Primal Bound : -5.20000000000000e+01 (11 solutions)
1800.10/1800.40 c Dual Bound : -5.75000000000000e+01
1800.10/1800.40 c Gap : 9.57 %
1800.10/1800.40 c NODE 1119906
1800.10/1800.40 c DUAL BOUND -57.5
1800.10/1800.40 c PRIMAL BOUND -52
1800.10/1800.40 c GAP 0.0956522
1800.10/1800.40 s SATISFIABLE
1800.10/1800.40 v x200 -x199 -x198 x197 x196 -x195 -x194 x193 -x192 -x191 -x190 -x189 -x188 -x187 x186 -x185 -x184 x183 x182 -x181 x180 -x179 x178
1800.10/1800.40 v x177 -x176 x175 x174 x173 x172 x171 -x170 -x169 -x168 x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 x159 x158 x157 -x156 -x155
1800.10/1800.40 v -x154 -x153 -x152 x151 -x150 x149 x148 -x147 -x146 -x145 x144 x143 -x142 x141 -x140 x139 -x138 x137 -x136 -x135 -x134 x133
1800.10/1800.40 v -x132 -x131 -x130 -x129 x128 -x127 -x126 x125 -x124 x123 x122 x121 -x120 -x119 x118 -x117 x116 -x115 -x114 -x113 -x112 -x111
1800.10/1800.40 v -x110 -x109 -x108 -x107 -x106 x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88
1800.10/1800.40 v -x87 -x86 x85 -x84 x83 -x82 -x81 -x80 -x79 x78 -x77 -x76 -x75 -x74 x73 -x72 -x71 -x70 x69 -x68 x67 -x66 x65 -x64 x63 x62 x61
1800.10/1800.40 v -x60 x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 x47 x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35
1800.10/1800.40 v -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 x14 -x13 x12 -x11 -x10
1800.10/1800.40 v -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.10/1800.40 c SCIP Status : solving was interrupted [user interrupt]
1800.10/1800.40 c Solving Time : 1758.24
1800.10/1800.40 c Original Problem :
1800.10/1800.40 c Problem name : HOME/instance-3737246-1338739376.opb
1800.10/1800.40 c Variables : 1441 (1441 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.10/1800.40 c Constraints : 1441 initial, 1441 maximal
1800.10/1800.40 c Presolved Problem :
1800.10/1800.40 c Problem name : t_HOME/instance-3737246-1338739376.opb
1800.10/1800.40 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.10/1800.40 c Constraints : 1241 initial, 1241 maximal
1800.10/1800.40 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.10/1800.40 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.40 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.40 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.40 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.40 c implics : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.40 c probing : 0.01 0 0 0 0 0 0 0 0
1800.10/1800.40 c and : 0.02 0 0 0 0 0 0 0 0
1800.10/1800.40 c linear : 0.01 1241 0 0 1241 0 200 0 0
1800.10/1800.40 c root node : - 0 - - 0 - - - -
1800.10/1800.40 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.10/1800.40 c integral : 0 0 0 580303 0 352 2066 0 0 1158624
1800.10/1800.40 c and : 1241 1062504 1830282 10 0 0 5290238 3198934 0 0
1800.10/1800.40 c countsols : 0 0 0 9 0 0 0 0 0 0
1800.10/1800.40 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.10/1800.40 c integral : 53.78 0.00 0.00 53.78 0.00
1800.10/1800.40 c and : 68.86 49.79 19.07 0.00 0.00
1800.10/1800.40 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.10/1800.40 c Propagators : Time Calls Cutoffs DomReds
1800.10/1800.40 c rootredcost : 0.28 9 0 0
1800.10/1800.40 c pseudoobj : 9.40 1832214 0 0
1800.10/1800.40 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.10/1800.40 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1800.10/1800.40 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.10/1800.40 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.10/1800.40 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.10/1800.40 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.10/1800.40 c applied globally : - - - 0 0.0 - - -
1800.10/1800.40 c applied locally : - - - 0 0.0 - - -
1800.10/1800.40 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.10/1800.40 c cut pool : 0.00 37 - - 113 - (maximal pool size: 1629)
1800.10/1800.40 c redcost : 4.23 1100123 0 136801 0 0
1800.10/1800.40 c impliedbounds : 0.00 38 0 0 753 0
1800.10/1800.40 c intobj : 0.00 0 0 0 0 0
1800.10/1800.40 c gomory : 0.57 38 0 0 10844 0
1800.10/1800.40 c strongcg : 0.18 20 0 0 7465 0
1800.10/1800.40 c cmir : 0.02 10 0 0 0 0
1800.10/1800.40 c flowcover : 0.06 10 0 0 0 0
1800.10/1800.40 c clique : 0.01 38 0 0 236 0
1800.10/1800.40 c zerohalf : 0.00 0 0 0 0 0
1800.10/1800.40 c mcf : 0.00 1 0 0 0 0
1800.10/1800.40 c Pricers : Time Calls Vars
1800.10/1800.40 c problem variables: 0.00 0 0
1800.10/1800.40 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.10/1800.40 c relpscost : 53.48 580293 352 2066 0 0 1158624
1800.10/1800.40 c pscost : 0.00 0 0 0 0 0 0
1800.10/1800.40 c inference : 0.00 0 0 0 0 0 0
1800.10/1800.40 c mostinf : 0.00 0 0 0 0 0 0
1800.10/1800.40 c leastinf : 0.00 0 0 0 0 0 0
1800.10/1800.40 c fullstrong : 0.00 0 0 0 0 0 0
1800.10/1800.40 c allfullstrong : 0.00 0 0 0 0 0 0
1800.10/1800.40 c random : 0.00 0 0 0 0 0 0
1800.10/1800.40 c Primal Heuristics : Time Calls Found
1800.10/1800.40 c LP solutions : 0.02 - 9
1800.10/1800.40 c pseudo solutions : 0.00 - 0
1800.10/1800.40 c oneopt : 0.19 10 0
1800.10/1800.40 c feaspump : 0.10 1 0
1800.10/1800.40 c crossover : 0.30 8 0
1800.10/1800.40 c guideddiving : 2.33 324 0
1800.10/1800.40 c linesearchdiving : 1.95 324 0
1800.10/1800.40 c coefdiving : 1.93 325 0
1800.10/1800.40 c fracdiving : 2.19 325 0
1800.10/1800.40 c pscostdiving : 2.52 325 0
1800.10/1800.40 c veclendiving : 2.22 325 0
1800.10/1800.40 c objpscostdiving : 4.19 163 1
1800.10/1800.40 c rootsoldiving : 1.60 163 0
1800.10/1800.40 c simplerounding : 0.34 0 0
1800.10/1800.40 c rounding : 6.52 49998 1
1800.10/1800.40 c shifting : 0.66 4549 0
1800.10/1800.40 c intshifting : 0.01 0 0
1800.10/1800.40 c fixandinfer : 0.00 0 0
1800.10/1800.40 c intdiving : 0.00 0 0
1800.10/1800.40 c actconsdiving : 0.00 0 0
1800.10/1800.40 c octane : 0.00 0 0
1800.10/1800.40 c rens : 0.00 0 0
1800.10/1800.40 c rins : 0.00 0 0
1800.10/1800.40 c localbranching : 0.00 0 0
1800.10/1800.40 c mutation : 0.00 0 0
1800.10/1800.40 c dins : 0.00 0 0
1800.10/1800.40 c LP : Time Calls Iterations Iter/call Iter/sec
1800.10/1800.40 c primal LP : 40.60 0 0 0.00 0.00
1800.10/1800.40 c dual LP : 1412.85 1602586 29525211 18.42 20897.63
1800.10/1800.40 c barrier LP : 0.00 0 0 0.00 -
1800.10/1800.40 c diving/probing LP: 16.66 25191 309820 12.30 18596.64
1800.10/1800.40 c strong branching : 38.80 18563 820640 44.21 21150.52
1800.10/1800.40 c (at root node) : - 26 7852 302.00 -
1800.10/1800.40 c conflict analysis: 0.00 0 0 0.00 -
1800.10/1800.40 c B&B Tree :
1800.10/1800.40 c number of runs : 1
1800.10/1800.40 c nodes : 1119906
1800.10/1800.40 c nodes (total) : 1119906
1800.10/1800.40 c nodes left : 33137
1800.10/1800.40 c max depth : 60
1800.10/1800.40 c max depth (total): 60
1800.10/1800.40 c backtracks : 136299 (12.2%)
1800.10/1800.40 c delayed cutoffs : 0
1800.10/1800.40 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.10/1800.40 c avg switch length: 4.39
1800.10/1800.40 c switching time : 65.58
1800.10/1800.40 c Solution :
1800.10/1800.40 c Solutions found : 11 (10 improvements)
1800.10/1800.40 c Primal Bound : -5.20000000000000e+01 (in run 1, after 236393 nodes, 416.56 seconds, depth 35, found by <relaxation>)
1800.10/1800.40 c Dual Bound : -5.75000000000000e+01
1800.10/1800.40 c Gap : 9.57 %
1800.10/1800.40 c Root Dual Bound : -6.98039106137988e+01
1800.20/1800.57 c Time complete: 1800.27.
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-3737246-1338739376/watcher-3737246-1338739376 -o /tmp/evaluation-result-3737246-1338739376/solver-3737246-1338739376 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3737246-1338739376.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 29327
/proc/meminfo: memFree=26758744/32873648 swapFree=6852/6852
[pid=29327] ppid=29325 vsize=9236 CPUtime=0 cores=1,3,5,7
/proc/29327/stat : 29327 (pbscip.linux.x8) R 29325 29327 27068 0 -1 4202496 1663 0 0 0 0 0 0 0 20 0 1 0 340064355 9457664 1615 33554432000 4194304 7823515 140733345982144 140733389670792 5878822 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29327/statm: 2309 1615 354 887 0 1419 0
[startup+0.0864059 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 29327
/proc/meminfo: memFree=26758744/32873648 swapFree=6852/6852
[pid=29327] ppid=29325 vsize=16480 CPUtime=0.07 cores=1,3,5,7
/proc/29327/stat : 29327 (pbscip.linux.x8) R 29325 29327 27068 0 -1 4202496 3558 0 0 0 3 4 0 0 20 0 1 0 340064355 16875520 3156 33554432000 4194304 7823515 140733345982144 140733389670792 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29327/statm: 4120 3156 425 887 0 3230 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16480
[startup+0.100301 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 29327
/proc/meminfo: memFree=26758744/32873648 swapFree=6852/6852
[pid=29327] ppid=29325 vsize=16480 CPUtime=0.09 cores=1,3,5,7
/proc/29327/stat : 29327 (pbscip.linux.x8) R 29325 29327 27068 0 -1 4202496 3558 0 0 0 4 5 0 0 20 0 1 0 340064355 16875520 3156 33554432000 4194304 7823515 140733345982144 140733389670792 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29327/statm: 4120 3156 425 887 0 3230 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16480
[startup+0.300265 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 29327
/proc/meminfo: memFree=26758744/32873648 swapFree=6852/6852
[pid=29327] ppid=29325 vsize=23792 CPUtime=0.28 cores=1,3,5,7
/proc/29327/stat : 29327 (pbscip.linux.x8) R 29325 29327 27068 0 -1 4202496 5579 0 0 0 21 7 0 0 20 0 1 0 340064355 24363008 5140 33554432000 4194304 7823515 140733345982144 140733345977832 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29327/statm: 5948 5140 544 887 0 5058 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 23792
[startup+0.700201 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 29327
/proc/meminfo: memFree=26758744/32873648 swapFree=6852/6852
[pid=29327] ppid=29325 vsize=29148 CPUtime=0.68 cores=1,3,5,7
/proc/29327/stat : 29327 (pbscip.linux.x8) R 29325 29327 27068 0 -1 4202496 6972 0 0 0 60 8 0 0 20 0 1 0 340064355 29847552 6507 33554432000 4194304 7823515 140733345982144 140733345977832 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29327/statm: 7287 6507 546 887 0 6397 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 29148
[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29328
/proc/meminfo: memFree=26729960/32873648 swapFree=6852/6852
[pid=29327] ppid=29325 vsize=37776 CPUtime=1.49 cores=1,3,5,7
/proc/29327/stat : 29327 (pbscip.linux.x8) R 29325 29327 27068 0 -1 4202496 9155 0 0 0 139 10 0 0 20 0 1 0 340064355 38682624 8682 33554432000 4194304 7823515 140733345982144 140733345977480 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29327/statm: 9444 8682 546 887 0 8554 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 37776
[startup+3.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29328
/proc/meminfo: memFree=26724132/32873648 swapFree=6852/6852
[pid=29327] ppid=29325 vsize=39824 CPUtime=3.08 cores=1,3,5,7
/proc/29327/stat : 29327 (pbscip.linux.x8) R 29325 29327 27068 0 -1 4202496 9679 0 0 0 297 11 0 0 20 0 1 0 340064355 40779776 9206 33554432000 4194304 7823515 140733345982144 140733345977192 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29327/statm: 9956 9206 554 887 0 9066 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 39824
[startup+6.3002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29328
/proc/meminfo: memFree=26723860/32873648 swapFree=6852/6852
[pid=29327] ppid=29325 vsize=39824 CPUtime=6.29 cores=1,3,5,7
/proc/29327/stat : 29327 (pbscip.linux.x8) R 29325 29327 27068 0 -1 4202496 9683 0 0 0 611 18 0 0 20 0 1 0 340064355 40779776 9210 33554432000 4194304 7823515 140733345982144 140733345977352 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29327/statm: 9956 9210 555 887 0 9066 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 39824
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29328
/proc/meminfo: memFree=26724528/32873648 swapFree=6852/6852
[pid=29327] ppid=29325 vsize=38164 CPUtime=12.68 cores=1,3,5,7
/proc/29327/stat : 29327 (pbscip.linux.x8) R 29325 29327 27068 0 -1 4202496 12101 0 0 0 1238 30 0 0 20 0 1 0 340064355 39079936 8842 33554432000 4194304 7823515 140733345982144 140733345977608 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29327/statm: 9541 8842 569 887 0 8651 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 38164
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29328
/proc/meminfo: memFree=26722420/32873648 swapFree=6852/6852
[pid=29327] ppid=29325 vsize=41576 CPUtime=25.48 cores=1,3,5,7
/proc/29327/stat : 29327 (pbscip.linux.x8) R 29325 29327 27068 0 -1 4202496 12928 0 0 0 2492 56 0 0 20 0 1 0 340064355 42573824 9669 33554432000 4194304 7823515 140733345982144 140733345977480 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29327/statm: 10394 9669 569 887 0 9504 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 41576
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29328
/proc/meminfo: memFree=26722172/32873648 swapFree=6852/6852
[pid=29327] ppid=29325 vsize=41400 CPUtime=51.08 cores=1,3,5,7
/proc/29327/stat : 29327 (pbscip.linux.x8) R 29325 29327 27068 0 -1 4202496 17745 0 0 0 4998 110 0 0 20 0 1 0 340064355 42393600 9663 33554432000 4194304 7823515 140733345982144 140733345977272 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29327/statm: 10350 9663 573 887 0 9460 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 41400
[startup+102.306 s]
/proc/loadavg: 1.92 1.98 1.99 2/175 29329
/proc/meminfo: memFree=26975376/32873648 swapFree=6852/6852
[pid=29327] ppid=29325 vsize=47628 CPUtime=102.28 cores=1,3,5,7
/proc/29327/stat : 29327 (pbscip.linux.x8) R 29325 29327 27068 0 -1 4202496 20960 0 0 0 10016 212 0 0 20 0 1 0 340064355 48771072 11203 33554432000 4194304 7823515 140733345982144 140733345978632 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29327/statm: 11907 11203 578 887 0 11017 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 47628
[startup+162.3 s]
/proc/loadavg: 1.97 1.98 1.99 3/176 29367
/proc/meminfo: memFree=26812804/32873648 swapFree=6852/6852
[pid=29327] ppid=29325 vsize=55388 CPUtime=162.26 cores=1,3,5,7
/proc/29327/stat : 29327 (pbscip.linux.x8) R 29325 29327 27068 0 -1 4202496 22920 0 0 0 15873 353 0 0 20 0 1 0 340064355 56717312 13214 33554432000 4194304 7823515 140733345982144 140733345977480 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29327/statm: 13847 13214 578 887 0 12957 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 55388
[startup+222.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 29368
/proc/meminfo: memFree=26791628/32873648 swapFree=6852/6852
[pid=29327] ppid=29325 vsize=58708 CPUtime=222.25 cores=1,3,5,7
/proc/29327/stat : 29327 (pbscip.linux.x8) R 29325 29327 27068 0 -1 4202496 23756 0 0 0 21734 491 0 0 20 0 1 0 340064355 60116992 14050 33554432000 4194304 7823515 140733345982144 140733345977480 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29327/statm: 14677 14050 578 887 0 13787 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 58708
[startup+282.3 s]
/proc/loadavg: 2.06 2.00 2.00 3/177 29368
/proc/meminfo: memFree=26784508/32873648 swapFree=6852/6852
[pid=29327] ppid=29325 vsize=66096 CPUtime=282.24 cores=1,3,5,7
/proc/29327/stat : 29327 (pbscip.linux.x8) R 29325 29327 27068 0 -1 4202496 25608 0 0 0 27589 635 0 0 20 0 1 0 340064355 67682304 15896 33554432000 4194304 7823515 140733345982144 140733345977832 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29327/statm: 16524 15896 578 887 0 15634 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 66096
[startup+342.3 s]
/proc/loadavg: 2.15 2.04 2.01 3/177 29368
/proc/meminfo: memFree=26777196/32873648 swapFree=6852/6852
[pid=29327] ppid=29325 vsize=73320 CPUtime=342.22 cores=1,3,5,7
/proc/29327/stat : 29327 (pbscip.linux.x8) R 29325 29327 27068 0 -1 4202496 27434 0 0 0 33447 775 0 0 20 0 1 0 340064355 75079680 17722 33554432000 4194304 7823515 140733345982144 140733345977160 5978269 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29327/statm: 18330 17722 578 887 0 17440 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 73320
[startup+402.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/177 29368
/proc/meminfo: memFree=26767708/32873648 swapFree=6852/6852
[pid=29327] ppid=29325 vsize=81968 CPUtime=402.22 cores=1,3,5,7
/proc/29327/stat : 29327 (pbscip.linux.x8) R 29325 29327 27068 0 -1 4202496 29607 0 0 0 39301 921 0 0 20 0 1 0 340064355 83935232 20039 33554432000 4194304 7823515 140733345982144 140733345977832 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29327/statm: 20492 20039 578 887 0 19602 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 81968
[startup+462.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/178 29371
/proc/meminfo: memFree=26763312/32873648 swapFree=6852/6852
[pid=29327] ppid=29325 vsize=86328 CPUtime=462.21 cores=1,3,5,7
/proc/29327/stat : 29327 (pbscip.linux.x8) R 29325 29327 27068 0 -1 4202496 32280 0 0 0 45160 1061 0 0 20 0 1 0 340064355 88399872 21116 33554432000 4194304 7823515 140733345982144 140733345976840 5911411 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29327/statm: 21582 21116 578 887 0 20692 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 86328
[startup+522.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 29372
/proc/meminfo: memFree=26763444/32873648 swapFree=6852/6852
[pid=29327] ppid=29325 vsize=86328 CPUtime=522.2 cores=1,3,5,7
/proc/29327/stat : 29327 (pbscip.linux.x8) R 29325 29327 27068 0 -1 4202496 32296 0 0 0 51019 1201 0 0 20 0 1 0 340064355 88399872 21132 33554432000 4194304 7823515 140733345982144 140733345977480 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29327/statm: 21582 21132 578 887 0 20692 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 86328
[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 29372
/proc/meminfo: memFree=26763444/32873648 swapFree=6852/6852
[pid=29327] ppid=29325 vsize=86328 CPUtime=582.19 cores=1,3,5,7
/proc/29327/stat : 29327 (pbscip.linux.x8) R 29325 29327 27068 0 -1 4202496 32296 0 0 0 56876 1343 0 0 20 0 1 0 340064355 88399872 21132 33554432000 4194304 7823515 140733345982144 140733345977480 6212097 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29327/statm: 21582 21132 578 887 0 20692 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 86328
[startup+642.3 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 29373
/proc/meminfo: memFree=26746020/32873648 swapFree=6852/6852
[pid=29327] ppid=29325 vsize=102776 CPUtime=882.14 cores=1,3,5,7
/proc/29327/stat : 29327 (pbscip.linux.x8) R 29325 29327 27068 0 -1 4202496 37365 0 0 0 86171 2043 0 0 20 0 1 0 340064355 105242624 25218 33554432000 4194304 7823515 140733345982144 140733345977480 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29327/statm: 25694 25218 578 887 0 24804 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 102776
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29373
/proc/meminfo: memFree=26740844/32873648 swapFree=6852/6852
[pid=29327] ppid=29325 vsize=107408 CPUtime=942.13 cores=1,3,5,7
/proc/29327/stat : 29327 (pbscip.linux.x8) R 29325 29327 27068 0 -1 4202496 38544 0 0 0 92034 2179 0 0 20 0 1 0 340064355 109985792 26397 33554432000 4194304 7823515 140733345982144 140733345977112 6025187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29327/statm: 26852 26397 578 887 0 25962 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 107408
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29373
/proc/meminfo: memFree=26738612/32873648 swapFree=6852/6852
[pid=29327] ppid=29325 vsize=109352 CPUtime=1002.12 cores=1,3,5,7
/proc/29327/stat : 29327 (pbscip.linux.x8) R 29325 29327 27068 0 -1 4202496 39021 0 0 0 97896 2316 0 0 20 0 1 0 340064355 111976448 26874 33554432000 4194304 7823515 140733345982144 140733345977944 5991776 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29327/statm: 27338 26874 578 887 0 26448 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 109352
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29376
/proc/meminfo: memFree=26731648/32873648 swapFree=6852/6852
[pid=29327] ppid=29325 vsize=115060 CPUtime=1062.11 cores=1,3,5,7
/proc/29327/stat : 29327 (pbscip.linux.x8) R 29325 29327 27068 0 -1 4202496 40446 0 0 0 103758 2453 0 0 20 0 1 0 340064355 117821440 28299 33554432000 4194304 7823515 140733345982144 140733345976840 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29327/statm: 28765 28299 578 887 0 27875 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 115060
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29377
/proc/meminfo: memFree=26729100/32873648 swapFree=6852/6852
[pid=29327] ppid=29325 vsize=118336 CPUtime=1122.1 cores=1,3,5,7
/proc/29327/stat : 29327 (pbscip.linux.x8) R 29325 29327 27068 0 -1 4202496 41249 0 0 0 109616 2594 0 0 20 0 1 0 340064355 121176064 29100 33554432000 4194304 7823515 140733345982144 140733345977480 6237434 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29327/statm: 29584 29100 578 887 0 28694 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 118336
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29377
/proc/meminfo: memFree=26727980/32873648 swapFree=6852/6852
[pid=29327] ppid=29325 vsize=119140 CPUtime=1182.09 cores=1,3,5,7
/proc/29327/stat : 29327 (pbscip.linux.x8) R 29325 29327 27068 0 -1 4202496 41463 0 0 0 115473 2736 0 0 20 0 1 0 340064355 121999360 29312 33554432000 4194304 7823515 140733345982144 140733345977400 5924530 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29327/statm: 29785 29312 578 887 0 28895 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 119140
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29377
/proc/meminfo: memFree=26725252/32873648 swapFree=6852/6852
[pid=29327] ppid=29325 vsize=121788 CPUtime=1242.08 cores=1,3,5,7
/proc/29327/stat : 29327 (pbscip.linux.x8) R 29325 29327 27068 0 -1 4202496 42115 0 0 0 121332 2876 0 0 20 0 1 0 340064355 124710912 29964 33554432000 4194304 7823515 140733345982144 140733345976840 6209747 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29327/statm: 30447 29964 578 887 0 29557 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 121788
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29377
/proc/meminfo: memFree=26723144/32873648 swapFree=6852/6852
[pid=29327] ppid=29325 vsize=123536 CPUtime=1302.07 cores=1,3,5,7
/proc/29327/stat : 29327 (pbscip.linux.x8) R 29325 29327 27068 0 -1 4202496 42568 0 0 0 127193 3014 0 0 20 0 1 0 340064355 126500864 30413 33554432000 4194304 7823515 140733345982144 140733345977112 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29327/statm: 30884 30413 578 887 0 29994 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 123536
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29377
/proc/meminfo: memFree=26719604/32873648 swapFree=6852/6852
[pid=29327] ppid=29325 vsize=127152 CPUtime=1362.06 cores=1,3,5,7
/proc/29327/stat : 29327 (pbscip.linux.x8) R 29325 29327 27068 0 -1 4202496 43462 0 0 0 133057 3149 0 0 20 0 1 0 340064355 130203648 31305 33554432000 4194304 7823515 140733345982144 140733345977480 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29327/statm: 31788 31305 578 887 0 30898 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 127152
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29378
/proc/meminfo: memFree=26719108/32873648 swapFree=6852/6852
[pid=29327] ppid=29325 vsize=127612 CPUtime=1422.05 cores=1,3,5,7
/proc/29327/stat : 29327 (pbscip.linux.x8) R 29325 29327 27068 0 -1 4202496 43594 0 0 0 138911 3294 0 0 20 0 1 0 340064355 130674688 31437 33554432000 4194304 7823515 140733345982144 140733345977480 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29327/statm: 31903 31437 578 887 0 31013 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 127612
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29378
/proc/meminfo: memFree=26716880/32873648 swapFree=6852/6852
[pid=29327] ppid=29325 vsize=129592 CPUtime=1482.04 cores=1,3,5,7
/proc/29327/stat : 29327 (pbscip.linux.x8) R 29325 29327 27068 0 -1 4202496 44110 0 0 0 144767 3437 0 0 20 0 1 0 340064355 132702208 31953 33554432000 4194304 7823515 140733345982144 140733345977480 6020424 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29327/statm: 32398 31953 578 887 0 31508 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 129592
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29378
/proc/meminfo: memFree=26715880/32873648 swapFree=6852/6852
[pid=29327] ppid=29325 vsize=131084 CPUtime=1542.03 cores=1,3,5,7
/proc/29327/stat : 29327 (pbscip.linux.x8) R 29325 29327 27068 0 -1 4202496 44480 0 0 0 150629 3574 0 0 20 0 1 0 340064355 134230016 32320 33554432000 4194304 7823515 140733345982144 140733345977896 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29327/statm: 32771 32320 578 887 0 31881 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 131084
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29378
/proc/meminfo: memFree=26714328/32873648 swapFree=6852/6852
[pid=29327] ppid=29325 vsize=132092 CPUtime=1602.02 cores=1,3,5,7
/proc/29327/stat : 29327 (pbscip.linux.x8) R 29325 29327 27068 0 -1 4202496 44699 0 0 0 156488 3714 0 0 20 0 1 0 340064355 135262208 32539 33554432000 4194304 7823515 140733345982144 140733345977480 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29327/statm: 33023 32539 578 887 0 32133 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 132092
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29381
/proc/meminfo: memFree=26713028/32873648 swapFree=6852/6852
[pid=29327] ppid=29325 vsize=133748 CPUtime=1662.02 cores=1,3,5,7
/proc/29327/stat : 29327 (pbscip.linux.x8) R 29325 29327 27068 0 -1 4202496 45123 0 0 0 162342 3860 0 0 20 0 1 0 340064355 136957952 32963 33554432000 4194304 7823515 140733345982144 140733345977480 6211272 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29327/statm: 33437 32963 578 887 0 32547 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 133748
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29382
/proc/meminfo: memFree=26710800/32873648 swapFree=6852/6852
[pid=29327] ppid=29325 vsize=135916 CPUtime=1722.01 cores=1,3,5,7
/proc/29327/stat : 29327 (pbscip.linux.x8) R 29325 29327 27068 0 -1 4202496 45673 0 0 0 168203 3998 0 0 20 0 1 0 340064355 139177984 33513 33554432000 4194304 7823515 140733345982144 140733345977896 6216403 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29327/statm: 33979 33513 578 887 0 33089 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 135916
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29382
/proc/meminfo: memFree=26710676/32873648 swapFree=6852/6852
[pid=29327] ppid=29325 vsize=135916 CPUtime=1781.99 cores=1,3,5,7
/proc/29327/stat : 29327 (pbscip.linux.x8) R 29325 29327 27068 0 -1 4202496 45673 0 0 0 174057 4142 0 0 20 0 1 0 340064355 139177984 33513 33554432000 4194304 7823515 140733345982144 140733345977480 6213490 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29327/statm: 33979 33513 578 887 0 33089 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 135916
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 29382
/proc/meminfo: memFree=26710800/32873648 swapFree=6852/6852
[pid=29327] ppid=29325 vsize=135916 CPUtime=1800.1 cores=1,3,5,7
/proc/29327/stat : 29327 (pbscip.linux.x8) R 29325 29327 27068 0 -1 4202496 45673 0 0 0 175824 4186 0 0 20 0 1 0 340064355 139177984 33513 33554432000 4194304 7823515 140733345982144 140733345977480 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29327/statm: 33979 33513 578 887 0 33089 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 135916
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.51 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 29382
/proc/meminfo: memFree=26710800/32873648 swapFree=6852/6852
[pid=29327] ppid=29325 vsize=135916 CPUtime=1800.2 cores=1,3,5,7
/proc/29327/stat : 29327 (pbscip.linux.x8) R 29325 29327 27068 0 -1 4202496 45675 0 0 0 175834 4186 0 0 20 0 1 0 340064355 139177984 33515 33554432000 4194304 7823515 140733345982144 140733345977480 4211934 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29327/statm: 33979 33515 580 887 0 33089 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 135916
Child status: 0
Real time (s): 1800.58
CPU time (s): 1800.28
CPU user time (s): 1758.41
CPU system time (s): 41.8696
CPU usage (%): 99.9836
Max. virtual memory (cumulated for all children) (KiB): 135916
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1758.41
system time used= 41.8696
maximum resident set size= 134060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45678
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= 40
involuntary context switches= 1850
runsolver used 2.42063 second user time and 9.36458 second system time
The end