0.00/0.03 c SCIP version 1.1.0.7
0.00/0.03 c LP-Solver Clp 1.8.2
0.00/0.03 c user parameter file <scip.set> not found - using default parameters
0.00/0.03 c read problem <HOME/instance-1869075-1245157004.opb>
0.00/0.03 c original problem has 450 variables (450 bin, 0 int, 0 impl, 0 cont) and 1505 constraints
0.00/0.04 c start presolving problem
0.00/0.04 c presolving:
0.00/0.05 c (round 1) 6 del vars, 6 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 9588 impls, 0 clqs
0.00/0.09 c (round 2) 6 del vars, 6 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1468 upgd conss, 9588 impls, 0 clqs
0.09/0.10 c (round 3) 6 del vars, 6 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1499 upgd conss, 9588 impls, 0 clqs
0.09/0.13 c (0.1s) probing: 101/444 (22.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.13 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.13 c presolving (4 rounds):
0.09/0.13 c 6 deleted vars, 6 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.13 c 9588 implications, 0 cliques
0.09/0.13 c presolved problem has 444 variables (444 bin, 0 int, 0 impl, 0 cont) and 1499 constraints
0.09/0.13 c 1499 constraints of type <logicor>
0.09/0.13 c transformed objective value is always integral (scale: 1)
0.09/0.13 c Presolving Time: 0.08
0.09/0.13 c strange?!, PURESAT with obj
0.09/0.13 c -----------------------------------------------------------------------------------------------
0.09/0.13 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.13 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.13 c limits/memory = c 1620
0.09/0.13 c # maximal time in seconds to run
0.09/0.13 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.13 c limits/time = c 1791
0.09/0.13 c # frequency for displaying node information lines
0.09/0.13 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.13 c display/freq = c 10000
0.09/0.13 c -----------------------------------------------------------------------------------------------
0.09/0.13 c start solving problem
0.09/0.13 c
0.09/0.16 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.16 c 0.1s| 1 | 0 | 446 |3477k| 0 | 316 | 444 |1499 |1499 | 444 |1499 | 0 | 0 | 0 | 1.289389e+02 | -- | Inf
1.09/1.15 c 1.1s| 1 | 0 | 3836 |3792k| 0 | 301 | 444 |1499 |1499 | 444 |1508 | 9 | 0 | 0 | 1.320935e+02 | -- | Inf
1.19/1.27 c 1.2s| 1 | 0 | 3964 |3982k| 0 | 291 | 444 |1499 |1499 | 444 |1514 | 15 | 0 | 0 | 1.331996e+02 | -- | Inf
1.29/1.39 c 1.3s| 1 | 0 | 4069 |4091k| 0 | 280 | 444 |1499 |1499 | 444 |1519 | 20 | 0 | 0 | 1.337576e+02 | -- | Inf
1.49/1.52 c 1.4s| 1 | 0 | 4181 |4236k| 0 | 287 | 444 |1499 |1499 | 444 |1526 | 27 | 0 | 0 | 1.341129e+02 | -- | Inf
1.59/1.65 c 1.6s| 1 | 0 | 4443 |4281k| 0 | 306 | 444 |1499 |1499 | 444 |1533 | 34 | 0 | 0 | 1.350415e+02 | -- | Inf
1.79/1.81 c 1.7s| 1 | 0 | 4596 |4402k| 0 | 304 | 444 |1499 |1499 | 444 |1539 | 40 | 0 | 0 | 1.356764e+02 | -- | Inf
1.79/1.81 o 225
1.79/1.81 c s 1.7s| 1 | 0 | 4596 |4407k| 0 | 304 | 444 |1499 |1499 | 444 |1539 | 40 | 0 | 0 | 1.356764e+02 | 2.250000e+02 | 65.84%
1.89/1.97 c 1.9s| 1 | 0 | 4776 |4436k| 0 | 310 | 444 |1499 |1499 | 444 |1543 | 44 | 0 | 0 | 1.368153e+02 | 2.250000e+02 | 64.46%
2.09/2.15 c 2.1s| 1 | 0 | 4883 |4519k| 0 | 303 | 444 |1499 |1499 | 444 |1546 | 47 | 0 | 0 | 1.368153e+02 | 2.250000e+02 | 64.46%
2.29/2.36 c 2.3s| 1 | 0 | 4992 |4533k| 0 | 286 | 444 |1499 |1499 | 444 |1548 | 49 | 0 | 0 | 1.368153e+02 | 2.250000e+02 | 64.46%
2.49/2.54 c 2.5s| 1 | 0 | 5239 |4537k| 0 | 315 | 444 |1499 |1499 | 444 |1552 | 53 | 0 | 0 | 1.370005e+02 | 2.250000e+02 | 64.23%
2.69/2.70 c 2.6s| 1 | 0 | 5386 |4740k| 0 | 310 | 444 |1499 |1499 | 444 |1553 | 54 | 0 | 0 | 1.372351e+02 | 2.250000e+02 | 63.95%
2.79/2.87 c 2.8s| 1 | 0 | 5508 |4897k| 0 | 312 | 444 |1499 |1499 | 444 |1557 | 58 | 0 | 0 | 1.373900e+02 | 2.250000e+02 | 63.77%
3.09/3.12 c 3.0s| 1 | 0 | 5687 |4921k| 0 | 312 | 444 |1499 |1499 | 444 |1559 | 60 | 0 | 0 | 1.375726e+02 | 2.250000e+02 | 63.55%
3.29/3.35 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.29/3.35 c 3.3s| 1 | 0 | 5771 |5046k| 0 | 310 | 444 |1499 |1499 | 444 |1561 | 62 | 0 | 0 | 1.377156e+02 | 2.250000e+02 | 63.38%
3.49/3.57 c 3.5s| 1 | 0 | 5899 |5063k| 0 | 309 | 444 |1499 |1499 | 444 |1564 | 65 | 0 | 0 | 1.377573e+02 | 2.250000e+02 | 63.33%
3.79/3.83 c 3.7s| 1 | 0 | 6104 |5089k| 0 | 314 | 444 |1499 |1499 | 444 |1563 | 69 | 0 | 0 | 1.378269e+02 | 2.250000e+02 | 63.25%
4.09/4.13 c 4.0s| 1 | 0 | 6304 |5188k| 0 | 314 | 444 |1499 |1499 | 444 |1566 | 72 | 0 | 0 | 1.379229e+02 | 2.250000e+02 | 63.13%
4.39/4.44 c 4.3s| 1 | 0 | 6460 |5324k| 0 | 313 | 444 |1499 |1499 | 444 |1569 | 75 | 0 | 0 | 1.379846e+02 | 2.250000e+02 | 63.06%
4.59/4.62 c 4.5s| 1 | 0 | 6495 |5661k| 0 | 308 | 444 |1499 |1499 | 444 |1570 | 76 | 0 | 0 | 1.379873e+02 | 2.250000e+02 | 63.06%
4.78/4.84 c 4.7s| 1 | 0 | 6650 |5933k| 0 | 313 | 444 |1499 |1499 | 444 |1572 | 78 | 0 | 0 | 1.380048e+02 | 2.250000e+02 | 63.04%
4.78/5.06 c 5.0s| 1 | 0 | 6847 |6056k| 0 | 313 | 444 |1499 |1499 | 444 |1575 | 81 | 0 | 0 | 1.381109e+02 | 2.250000e+02 | 62.91%
5.23/5.48 c 5.2s| 1 | 0 | 7081 |6165k| 0 | 316 | 444 |1499 |1499 | 444 |1567 | 84 | 0 | 0 | 1.382415e+02 | 2.250000e+02 | 62.76%
5.23/5.49 c 5.4s| 1 | 0 | 7401 |6174k| 0 | 312 | 444 |1499 |1499 | 444 |1569 | 86 | 0 | 0 | 1.385013e+02 | 2.250000e+02 | 62.45%
5.23/5.62 c 5.5s| 1 | 0 | 7488 |6262k| 0 | 313 | 444 |1499 |1499 | 444 |1573 | 90 | 0 | 0 | 1.385225e+02 | 2.250000e+02 | 62.43%
5.23/5.81 c 5.7s| 1 | 0 | 7727 |6277k| 0 | 314 | 444 |1499 |1499 | 444 |1574 | 91 | 0 | 0 | 1.385549e+02 | 2.250000e+02 | 62.39%
5.46/5.98 c 5.9s| 1 | 0 | 8067 |6412k| 0 | 310 | 444 |1499 |1499 | 444 |1576 | 93 | 0 | 0 | 1.386921e+02 | 2.250000e+02 | 62.23%
5.96/6.23 c 6.1s| 1 | 0 | 8226 |6477k| 0 | 313 | 444 |1499 |1499 | 444 |1577 | 94 | 0 | 0 | 1.387210e+02 | 2.250000e+02 | 62.20%
5.96/6.41 c 6.3s| 1 | 0 | 8315 |6483k| 0 | 312 | 444 |1499 |1499 | 444 |1573 | 98 | 0 | 0 | 1.387241e+02 | 2.250000e+02 | 62.19%
6.34/6.63 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.34/6.63 c 6.5s| 1 | 0 | 8676 |6487k| 0 | 311 | 444 |1499 |1499 | 444 |1575 | 100 | 0 | 0 | 1.388669e+02 | 2.250000e+02 | 62.03%
6.34/6.82 c 6.7s| 1 | 0 | 8911 |6499k| 0 | 312 | 444 |1499 |1499 | 444 |1577 | 102 | 0 | 0 | 1.388676e+02 | 2.250000e+02 | 62.02%
6.34/7.03 c 6.9s| 1 | 0 | 9289 |6502k| 0 | 309 | 444 |1499 |1499 | 444 |1580 | 105 | 0 | 0 | 1.392529e+02 | 2.250000e+02 | 61.58%
6.34/7.27 c 7.2s| 1 | 0 | 9777 |6542k| 0 | 314 | 444 |1499 |1499 | 444 |1585 | 110 | 0 | 0 | 1.394883e+02 | 2.250000e+02 | 61.30%
6.34/7.50 c 7.4s| 1 | 0 | 9861 |6569k| 0 | 315 | 444 |1499 |1499 | 444 |1586 | 111 | 0 | 0 | 1.395001e+02 | 2.250000e+02 | 61.29%
6.34/7.78 c 7.7s| 1 | 0 | 10101 |6601k| 0 | 311 | 444 |1499 |1499 | 444 |1579 | 113 | 0 | 0 | 1.396556e+02 | 2.250000e+02 | 61.11%
7.99/8.02 c 7.9s| 1 | 0 | 10228 |6632k| 0 | 311 | 444 |1499 |1499 | 444 |1580 | 114 | 0 | 0 | 1.396723e+02 | 2.250000e+02 | 61.09%
7.99/8.20 c 8.1s| 1 | 0 | 10254 |6636k| 0 | 312 | 444 |1499 |1499 | 444 |1582 | 116 | 0 | 0 | 1.396723e+02 | 2.250000e+02 | 61.09%
8.36/8.38 o 212
8.36/8.38 c k 8.3s| 1 | 0 | 10254 |6648k| 0 | 312 | 444 |1499 |1499 | 444 |1582 | 116 | 0 | 0 | 1.396723e+02 | 2.120000e+02 | 51.78%
8.36/8.39 c 8.3s| 1 | 0 | 10254 |6642k| 0 | 312 | 444 |1499 |1499 | 444 |1582 | 116 | 0 | 0 | 1.396723e+02 | 2.120000e+02 | 51.78%
9.38/9.49 c 9.4s| 1 | 2 | 10254 |6643k| 0 | 312 | 444 |1499 |1499 | 444 |1582 | 116 | 0 | 19 | 1.396723e+02 | 2.120000e+02 | 51.78%
12.89/12.98 o 206
12.89/12.98 c c12.8s| 4 | 5 | 12004 |6727k| 3 | - | 444 |1499 | 845 | 444 |1547 | 116 | 0 | 94 | 1.401703e+02 | 2.060000e+02 | 46.96%
12.89/12.98 o 194
12.89/12.98 c k12.8s| 4 | 5 | 12004 |6684k| 3 | 263 | 444 |1499 |1340 | 444 |1547 | 116 | 0 | 94 | 1.401703e+02 | 1.940000e+02 | 38.40%
17.78/17.87 o 193
17.78/17.87 c R17.7s| 12 | 9 | 15489 |6701k| 8 | 90 | 444 |1501 | 795 | 444 |1547 | 116 | 2 | 286 | 1.401772e+02 | 1.930000e+02 | 37.68%
17.89/17.99 o 190
17.89/17.99 c k17.8s| 12 | 10 | 15489 |6712k| 8 | 90 | 444 |1501 | 795 | 444 |1547 | 116 | 2 | 306 | 1.401772e+02 | 1.900000e+02 | 35.54%
19.68/19.71 o 189
19.68/19.71 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
19.68/19.71 c R19.5s| 19 | 8 | 15922 |6717k| 9 | - | 444 |1501 | 506 | 444 |1547 | 116 | 2 | 448 | 1.401772e+02 | 1.890000e+02 | 34.83%
20.78/20.89 o 188
20.78/20.89 c R20.7s| 23 | 10 | 16342 |6722k| 10 | 16 | 444 |1501 | 600 | 444 |1547 | 116 | 2 | 566 | 1.401772e+02 | 1.880000e+02 | 34.12%
20.88/20.93 o 187
20.88/20.93 c k20.8s| 23 | 10 | 16342 |6742k| 10 | - | 444 |1501 | 508 | 444 |1547 | 116 | 2 | 575 | 1.401772e+02 | 1.870000e+02 | 33.40%
24.59/24.67 o 186
24.59/24.67 c R24.5s| 32 | 11 | 17991 |6752k| 10 | 25 | 444 |1501 | 902 | 444 |1547 | 116 | 2 | 728 | 1.403706e+02 | 1.860000e+02 | 32.51%
24.68/24.78 o 185
24.68/24.78 c k24.6s| 32 | 13 | 17991 |6764k| 10 | 25 | 444 |1501 | 902 | 444 |1547 | 116 | 2 | 739 | 1.403706e+02 | 1.850000e+02 | 31.79%
25.28/25.32 o 185
25.28/25.32 c s25.1s| 36 | 15 | 18080 |6772k| 10 | 17 | 444 |1501 | 772 | 444 |1547 | 116 | 2 | 784 | 1.403706e+02 | 1.850000e+02 | 31.79%
30.28/30.39 o 184
30.28/30.39 c *30.2s| 59 | 18 | 21167 |6794k| 15 | - | 444 |1501 | 347 | 444 |1547 | 116 | 2 | 977 | 1.404776e+02 | 1.840000e+02 | 30.98%
34.38/34.47 o 183
34.38/34.47 c R34.2s| 118 | 19 | 27243 |6820k| 15 | 30 | 444 |1516 |1059 | 444 |1547 | 116 | 18 |1139 | 1.418154e+02 | 1.830000e+02 | 29.04%
34.38/34.47 o 182
34.38/34.47 c s34.2s| 118 | 19 | 27243 |6825k| 15 | 30 | 444 |1516 |1059 | 444 |1547 | 116 | 18 |1139 | 1.418154e+02 | 1.820000e+02 | 28.34%
34.38/34.48 o 180
34.38/34.48 c k34.2s| 118 | 20 | 27243 |6834k| 15 | 30 | 444 |1516 |1059 | 444 |1547 | 116 | 18 |1139 | 1.418154e+02 | 1.800000e+02 | 26.93%
34.77/34.81 o 179
34.77/34.81 c R34.6s| 144 | 22 | 28364 |6849k| 24 | 32 | 444 |1516 |1178 | 444 |1547 | 116 | 18 |1148 | 1.430068e+02 | 1.790000e+02 | 25.17%
34.77/34.81 o 169
34.77/34.81 c k34.6s| 144 | 19 | 28364 |6850k| 24 | 32 | 444 |1516 |1178 | 444 |1547 | 116 | 18 |1148 | 1.430068e+02 | 1.690000e+02 | 18.18%
34.77/34.87 o 168
34.77/34.87 c *34.6s| 155 | 18 | 28520 |6862k| 24 | - | 444 |1515 | 679 | 444 |1547 | 116 | 18 |1148 | 1.430068e+02 | 1.680000e+02 | 17.48%
34.77/34.87 o 167
34.77/34.87 c k34.6s| 155 | 16 | 28520 |6872k| 24 | - | 444 |1515 | 679 | 444 |1547 | 116 | 18 |1148 | 1.430068e+02 | 1.670000e+02 | 16.78%
46.37/46.40 c
46.37/46.40 c SCIP Status : problem is solved [optimal solution found]
46.37/46.40 c Solving Time (sec) : 46.07
46.37/46.40 c Solving Nodes : 1039
46.37/46.40 c Primal Bound : +1.67000000000000e+02 (22 solutions)
46.37/46.40 c Dual Bound : +1.67000000000000e+02
46.37/46.40 c Gap : 0.00 %
46.37/46.40 c NODE 1039
46.37/46.40 c DUAL BOUND 167
46.37/46.40 c PRIMAL BOUND 167
46.37/46.40 c GAP 0
46.37/46.40 s OPTIMUM FOUND
46.37/46.40 v x450 -x449 x448 -x447 -x446 x445 x444 -x443 x442 -x441 -x440 x439 x438 -x437 x436 -x435 -x434 x433 -x432 x431 x430 -x429 x428 -x427
46.37/46.40 v x426 -x425 -x424 x423 x422 -x421 x420 -x419 x418 -x417 -x416 x415 x414 -x413 x412 -x411 -x410 x409 x408 -x407 x406 -x405
46.37/46.40 v -x404 x403 x402 -x401 x400 -x399 -x398 x397 x396 -x395 x394 -x393 -x392 x391 x390 -x389 x388 -x387 -x386 x385 -x384 -x383 -x382
46.37/46.40 v x381 -x380 x379 -x378 -x377 -x376 -x375 -x374 x373 x372 -x371 -x370 x369 -x368 x367 -x366 -x365 -x364 x363 -x362 -x361 -x360
46.37/46.40 v x359 -x358 -x357 -x356 x355 -x354 -x353 -x352 -x351 -x350 x349 -x348 -x347 -x346 x345 -x344 x343 -x342 -x341 -x340 x339 -x338
46.37/46.40 v -x337 -x336 x335 -x334 -x333 -x332 x331 -x330 -x329 -x328 x327 -x326 -x325 -x324 -x323 -x322 x321 -x320 -x319 -x318 x317
46.37/46.40 v -x316 x315 -x314 -x313 -x312 x311 -x310 -x309 x308 -x307 -x306 x305 -x304 x303 -x302 -x301 -x300 -x299 -x298 x297 -x296 x295
46.37/46.40 v -x294 -x293 -x292 x291 -x290 -x289 x288 -x287 -x286 x285 -x284 x283 -x282 -x281 -x280 x279 -x278 -x277 -x276 x275 -x274 -x273
46.37/46.40 v -x272 -x271 -x270 x269 -x268 x267 -x266 -x265 -x264 x263 -x262 -x261 -x260 x259 -x258 -x257 -x256 -x255 -x254 x253 -x252 x251
46.37/46.40 v -x250 -x249 -x248 -x247 -x246 x245 x244 -x243 -x242 x241 -x240 -x239 -x238 x237 -x236 x235 -x234 -x233 -x232 x231 -x230 -x229
46.37/46.40 v -x228 -x227 -x226 x225 -x224 -x223 -x222 x221 -x220 x219 -x218 -x217 -x216 -x215 -x214 x213 -x212 -x211 -x210 x209 -x208
46.37/46.40 v x207 -x206 -x205 -x204 x203 -x202 -x201 -x200 x199 -x198 -x197 x196 -x195 -x194 x193 -x192 -x191 -x190 x189 -x188 x187 -x186
46.37/46.40 v -x185 -x184 x183 -x182 -x181 -x180 x179 -x178 -x177 x176 -x175 -x174 x173 -x172 -x171 -x170 x169 -x168 -x167 -x166 x165 -x164
46.37/46.40 v -x163 -x162 x161 -x160 -x159 -x158 x157 -x156 -x155 -x154 x153 -x152 -x151 -x150 x149 -x148 x147 -x146 -x145 -x144 -x143 -x142
46.37/46.40 v x141 -x140 x139 -x138 -x137 -x136 x135 -x134 -x133 -x132 -x131 -x130 x129 -x128 x127 x126 -x125 -x124 x123 -x122 x121 -x120
46.37/46.40 v x119 -x118 x117 -x116 x115 -x114 x113 -x112 x111 -x110 x109 -x108 x107 -x106 x105 -x104 x103 -x102 x101 -x100 x99 -x98 x97
46.37/46.40 v -x96 x95 -x94 x93 -x92 x91 -x90 x89 -x88 x87 -x86 x85 -x84 x83 -x82 x81 x80 -x79 -x78 x77 -x76 x75 -x74 x73 -x72 x71 -x70 x69
46.37/46.40 v -x68 x67 -x66 x65 -x64 x63 -x62 x61 -x60 x59 -x58 x57 -x56 x55 -x54 x53 -x52 x51 -x50 x49 -x48 x47 -x46 x45 -x44 x43 -x42 x41
46.37/46.40 v -x40 x39 -x38 x37 -x36 x35 -x34 x33 -x32 x31 -x30 x29 -x28 x27 -x26 x25 -x24 x23 -x22 x21 -x20 x19 -x18 x17 -x16 x15 -x14 x13
46.37/46.40 v -x12 x11 -x10 x9 -x8 x7 x6 -x5 -x4 x3 -x2 x1
46.37/46.40 c SCIP Status : problem is solved [optimal solution found]
46.37/46.40 c Solving Time : 46.07
46.37/46.40 c Original Problem :
46.37/46.40 c Problem name : HOME/instance-1869075-1245157004.opb
46.37/46.40 c Variables : 450 (450 binary, 0 integer, 0 implicit integer, 0 continuous)
46.37/46.40 c Constraints : 1505 initial, 1505 maximal
46.37/46.40 c Presolved Problem :
46.37/46.40 c Problem name : t_HOME/instance-1869075-1245157004.opb
46.37/46.40 c Variables : 444 (444 binary, 0 integer, 0 implicit integer, 0 continuous)
46.37/46.40 c Constraints : 1499 initial, 1516 maximal
46.37/46.40 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
46.37/46.40 c trivial : 0.00 0 0 0 0 0 0 0 0
46.37/46.40 c dualfix : 0.00 0 0 0 0 0 0 0 0
46.37/46.40 c boundshift : 0.00 0 0 0 0 0 0 0 0
46.37/46.40 c inttobinary : 0.00 0 0 0 0 0 0 0 0
46.37/46.40 c implics : 0.00 0 0 0 0 0 0 0 0
46.37/46.40 c probing : 0.02 0 0 0 0 0 0 0 0
46.37/46.40 c linear : 0.03 0 6 0 0 0 6 0 0
46.37/46.40 c logicor : 0.03 0 0 0 0 0 0 0 0
46.37/46.40 c root node : - 2 - - 2 - - - -
46.37/46.40 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
46.37/46.40 c integral : 0 0 0 593 0 9 189 0 0 1062
46.37/46.40 c logicor : 1499+ 37 4218 2 0 8 17758 0 0 0
46.37/46.40 c countsols : 0 0 0 2 0 0 0 0 0 0
46.37/46.40 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
46.37/46.40 c integral : 25.46 0.00 0.00 25.46 0.00
46.37/46.40 c logicor : 0.14 0.01 0.13 0.00 0.00
46.37/46.40 c countsols : 0.00 0.00 0.00 0.00 0.00
46.37/46.40 c Propagators : Time Calls Cutoffs DomReds
46.37/46.40 c rootredcost : 0.00 10 0 0
46.37/46.40 c pseudoobj : 0.12 4541 1 0
46.37/46.40 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
46.37/46.40 c propagation : 0.00 8 8 28 20.9 0 0.0 -
46.37/46.40 c infeasible LP : 0.02 489 0 0 0.0 0 0.0 0
46.37/46.40 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
46.37/46.40 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
46.37/46.40 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
46.37/46.40 c applied globally : - - - 26 20.5 - - -
46.37/46.40 c applied locally : - - - 0 0.0 - - -
46.37/46.40 c Separators : Time Calls Cutoffs DomReds Cuts Conss
46.37/46.40 c cut pool : 0.05 36 - - 259 - (maximal pool size: 1252)
46.37/46.40 c redcost : 0.03 890 0 1796 0 0
46.37/46.40 c impliedbounds : 0.00 38 0 0 0 0
46.37/46.40 c intobj : 0.00 0 0 0 0 0
46.37/46.40 c gomory : 3.98 38 0 0 12569 0
46.37/46.40 c strongcg : 1.22 20 0 0 8748 0
46.37/46.40 c cmir : 0.18 10 0 0 21 0
46.37/46.40 c flowcover : 0.17 10 0 0 6 0
46.37/46.40 c clique : 0.00 1 0 0 0 0
46.37/46.40 c zerohalf : 0.00 0 0 0 0 0
46.37/46.40 c mcf : 0.01 1 0 0 0 0
46.37/46.40 c Pricers : Time Calls Vars
46.37/46.40 c problem variables: 0.00 0 0
46.37/46.40 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
46.37/46.40 c relpscost : 25.46 591 9 189 0 0 1062
46.37/46.40 c pscost : 0.00 0 0 0 0 0 0
46.37/46.40 c inference : 0.00 0 0 0 0 0 0
46.37/46.40 c mostinf : 0.00 0 0 0 0 0 0
46.37/46.40 c leastinf : 0.00 0 0 0 0 0 0
46.37/46.40 c fullstrong : 0.00 0 0 0 0 0 0
46.37/46.40 c allfullstrong : 0.00 0 0 0 0 0 0
46.37/46.40 c random : 0.00 0 0 0 0 0 0
46.37/46.40 c Primal Heuristics : Time Calls Found
46.37/46.40 c LP solutions : 0.00 - 2
46.37/46.40 c pseudo solutions : 0.00 - 0
46.37/46.40 c veclendiving : 0.00 0 0
46.37/46.40 c objpscostdiving : 0.00 0 0
46.37/46.40 c rootsoldiving : 0.00 0 0
46.37/46.40 c linesearchdiving : 0.00 0 0
46.37/46.40 c guideddiving : 0.00 0 0
46.37/46.40 c coefdiving : 0.27 1 1
46.37/46.40 c pscostdiving : 0.55 1 0
46.37/46.40 c fracdiving : 0.03 1 0
46.37/46.40 c oneopt : 0.00 11 8
46.37/46.40 c feaspump : 0.87 1 0
46.37/46.40 c crossover : 0.06 2 0
46.37/46.40 c simplerounding : 0.00 0 0
46.37/46.40 c rounding : 0.20 628 6
46.37/46.40 c shifting : 0.08 85 5
46.37/46.40 c intshifting : 0.00 0 0
46.37/46.40 c fixandinfer : 0.00 0 0
46.37/46.40 c intdiving : 0.00 0 0
46.37/46.41 c actconsdiving : 0.00 0 0
46.37/46.41 c octane : 0.00 0 0
46.37/46.41 c rens : 0.01 0 0
46.37/46.41 c rins : 0.00 0 0
46.37/46.41 c localbranching : 0.00 0 0
46.37/46.41 c mutation : 0.00 0 0
46.37/46.41 c dins : 0.00 0 0
46.37/46.41 c LP : Time Calls Iterations Iter/call Iter/sec
46.37/46.41 c primal LP : 0.11 0 0 0.00 0.00
46.37/46.41 c dual LP : 11.92 1118 57463 51.40 4820.72
46.37/46.41 c barrier LP : 0.00 0 0 0.00 -
46.37/46.41 c diving/probing LP: 1.63 193 6487 33.61 3979.75
46.37/46.41 c strong branching : 25.44 1324 134230 101.38 5276.34
46.37/46.41 c (at root node) : - 19 3730 196.32 -
46.37/46.41 c conflict analysis: 0.00 0 0 0.00 -
46.37/46.41 c B&B Tree :
46.37/46.41 c number of runs : 1
46.37/46.41 c nodes : 1039
46.37/46.41 c nodes (total) : 1039
46.37/46.41 c nodes left : 0
46.37/46.41 c max depth : 28
46.37/46.41 c max depth (total): 28
46.37/46.41 c backtracks : 148 (14.2%)
46.37/46.41 c delayed cutoffs : 0
46.37/46.41 c repropagations : 11 (40 domain reductions, 0 cutoffs)
46.37/46.41 c avg switch length: 2.75
46.37/46.41 c switching time : 0.09
46.37/46.41 c Solution :
46.37/46.41 c Solutions found : 22 (20 improvements)
46.37/46.41 c Primal Bound : +1.67000000000000e+02 (in run 1, after 155 nodes, 34.63 seconds, depth 14, found by <oneopt>)
46.37/46.41 c Dual Bound : +1.67000000000000e+02
46.37/46.41 c Gap : 0.00 %
46.37/46.41 c Root Dual Bound : +1.39672252469985e+02
46.37/46.42 c Time complete: 46.4.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869075-1245157004/watcher-1869075-1245157004 -o /tmp/evaluation-result-1869075-1245157004/solver-1869075-1245157004 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869075-1245157004.opb
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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.95 1.00 1.00 3/64 5866
/proc/meminfo: memFree=1848984/2055920 swapFree=4191900/4192956
[pid=5866] ppid=5864 vsize=5812 CPUtime=0
/proc/5866/stat : 5866 (pbscip.linux.x8) R 5864 5866 5829 0 -1 4194304 519 0 0 0 0 0 0 0 18 0 1 0 183300461 5951488 503 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0
/proc/5866/statm: 1453 513 342 1256 0 192 0
[startup+0.00788288 s]
/proc/loadavg: 0.95 1.00 1.00 3/64 5866
/proc/meminfo: memFree=1848984/2055920 swapFree=4191900/4192956
[pid=5866] ppid=5864 vsize=9676 CPUtime=0
/proc/5866/stat : 5866 (pbscip.linux.x8) R 5864 5866 5829 0 -1 4194304 1195 0 0 0 0 0 0 0 18 0 1 0 183300461 9908224 1179 1992294400 4194304 9342243 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 1 0 0
/proc/5866/statm: 2419 1188 363 1256 0 1158 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9676
[startup+0.101892 s]
/proc/loadavg: 0.95 1.00 1.00 3/64 5866
/proc/meminfo: memFree=1848984/2055920 swapFree=4191900/4192956
[pid=5866] ppid=5864 vsize=17572 CPUtime=0.09
/proc/5866/stat : 5866 (pbscip.linux.x8) R 5864 5866 5829 0 -1 4194304 3555 0 0 0 8 1 0 0 18 0 1 0 183300461 17993728 3185 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5866/statm: 4393 3185 473 1256 0 3132 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17572
[startup+0.301915 s]
/proc/loadavg: 0.95 1.00 1.00 3/64 5866
/proc/meminfo: memFree=1848984/2055920 swapFree=4191900/4192956
[pid=5866] ppid=5864 vsize=22944 CPUtime=0.29
/proc/5866/stat : 5866 (pbscip.linux.x8) R 5864 5866 5829 0 -1 4194304 4655 0 0 0 27 2 0 0 19 0 1 0 183300461 23494656 4285 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5866/statm: 5736 4285 640 1256 0 4475 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22944
[startup+0.701961 s]
/proc/loadavg: 0.95 1.00 1.00 3/64 5866
/proc/meminfo: memFree=1848984/2055920 swapFree=4191900/4192956
[pid=5866] ppid=5864 vsize=22944 CPUtime=0.69
/proc/5866/stat : 5866 (pbscip.linux.x8) R 5864 5866 5829 0 -1 4194304 4770 0 0 0 67 2 0 0 22 0 1 0 183300461 23494656 4400 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5866/statm: 5736 4400 640 1256 0 4475 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 22944
[startup+1.50105 s]
/proc/loadavg: 0.95 1.00 1.00 2/65 5867
/proc/meminfo: memFree=1833744/2055920 swapFree=4191900/4192956
[pid=5866] ppid=5864 vsize=23812 CPUtime=1.49
/proc/5866/stat : 5866 (pbscip.linux.x8) R 5864 5866 5829 0 -1 4194304 5110 0 0 0 146 3 0 0 25 0 1 0 183300461 24383488 4739 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5866/statm: 5953 4739 668 1256 0 4692 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23812
[startup+3.10124 s]
/proc/loadavg: 0.95 1.00 1.00 2/65 5867
/proc/meminfo: memFree=1829968/2055920 swapFree=4191900/4192956
[pid=5866] ppid=5864 vsize=31016 CPUtime=3.09
/proc/5866/stat : 5866 (pbscip.linux.x8) R 5864 5866 5829 0 -1 4194304 6725 0 0 0 304 5 0 0 25 0 1 0 183300461 31760384 6351 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5866/statm: 7754 6351 668 1256 0 6493 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 31016
[startup+6.30342 s]
/proc/loadavg: 0.95 1.00 1.00 2/65 5867
/proc/meminfo: memFree=1823056/2055920 swapFree=4191900/4192956
[pid=5866] ppid=5864 vsize=37492 CPUtime=6.34
/proc/5866/stat : 5866 (pbscip.linux.x8) R 5864 5866 5829 0 -1 4194304 8353 0 0 0 627 7 0 0 25 0 1 0 183300461 38391808 7979 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5866/statm: 9373 7988 672 1256 0 8112 0
Current children cumulated CPU time (s) 6.34
Current children cumulated vsize (KiB) 37492
[startup+12.7013 s]
/proc/loadavg: 1.18 1.04 1.01 2/65 5867
/proc/meminfo: memFree=1818816/2055920 swapFree=4191900/4192956
[pid=5866] ppid=5864 vsize=38768 CPUtime=12.69
/proc/5866/stat : 5866 (pbscip.linux.x8) R 5864 5866 5829 0 -1 4194304 9528 0 0 0 1259 10 0 0 25 0 1 0 183300461 39698432 8163 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5866/statm: 9692 8163 681 1256 0 8431 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 38768
[startup+25.5018 s]
/proc/loadavg: 1.15 1.04 1.01 2/65 5867
/proc/meminfo: memFree=1818960/2055920 swapFree=4191900/4192956
[pid=5866] ppid=5864 vsize=38924 CPUtime=25.48
/proc/5866/stat : 5866 (pbscip.linux.x8) R 5864 5866 5829 0 -1 4194304 10148 0 0 0 2533 15 0 0 25 0 1 0 183300461 39858176 8197 1992294400 4194304 9342243 548682068736 18446744073709551615 7073268 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5866/statm: 9731 8197 687 1256 0 8470 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 38924
Solver just ended. Dumping a history of the last processes samples
[startup+28.1011 s]
/proc/loadavg: 1.14 1.04 1.01 2/65 5867
/proc/meminfo: memFree=1819088/2055920 swapFree=4191900/4192956
[pid=5866] ppid=5864 vsize=38960 CPUtime=28.08
/proc/5866/stat : 5866 (pbscip.linux.x8) R 5864 5866 5829 0 -1 4194304 10312 0 0 0 2792 16 0 0 25 0 1 0 183300461 39895040 8116 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5866/statm: 9740 8116 687 1256 0 8479 0
Current children cumulated CPU time (s) 28.08
Current children cumulated vsize (KiB) 38960
[startup+34.5058 s]
/proc/loadavg: 1.13 1.04 1.01 2/65 5867
/proc/meminfo: memFree=1819216/2055920 swapFree=4191900/4192956
[pid=5866] ppid=5864 vsize=37384 CPUtime=34.48
/proc/5866/stat : 5866 (pbscip.linux.x8) R 5864 5866 5829 0 -1 4194304 10806 0 0 0 3430 18 0 0 25 0 1 0 183300461 38281216 8093 1992294400 4194304 9342243 548682068736 18446744073709551615 6887674 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5866/statm: 9346 8093 687 1256 0 8085 0
Current children cumulated CPU time (s) 34.48
Current children cumulated vsize (KiB) 37384
[startup+40.9016 s]
/proc/loadavg: 1.12 1.04 1.01 2/65 5867
/proc/meminfo: memFree=1819216/2055920 swapFree=4191900/4192956
[pid=5866] ppid=5864 vsize=37352 CPUtime=40.88
/proc/5866/stat : 5866 (pbscip.linux.x8) R 5864 5866 5829 0 -1 4194304 13707 0 0 0 4065 23 0 0 25 0 1 0 183300461 38248448 8118 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5866/statm: 9338 8118 702 1256 0 8077 0
Current children cumulated CPU time (s) 40.88
Current children cumulated vsize (KiB) 37352
[startup+44.1019 s]
/proc/loadavg: 1.11 1.04 1.01 2/65 5867
/proc/meminfo: memFree=1819152/2055920 swapFree=4191900/4192956
[pid=5866] ppid=5864 vsize=38884 CPUtime=44.08
/proc/5866/stat : 5866 (pbscip.linux.x8) R 5864 5866 5829 0 -1 4194304 16312 0 0 0 4382 26 0 0 25 0 1 0 183300461 39817216 8144 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5866/statm: 9721 8144 702 1256 0 8460 0
Current children cumulated CPU time (s) 44.08
Current children cumulated vsize (KiB) 38884
[startup+45.7011 s]
/proc/loadavg: 1.10 1.04 1.01 2/65 5867
/proc/meminfo: memFree=1819152/2055920 swapFree=4191900/4192956
[pid=5866] ppid=5864 vsize=37352 CPUtime=45.67
/proc/5866/stat : 5866 (pbscip.linux.x8) R 5864 5866 5829 0 -1 4194304 16548 0 0 0 4540 27 0 0 25 0 1 0 183300461 38248448 8128 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5866/statm: 9338 8128 702 1256 0 8077 0
Current children cumulated CPU time (s) 45.67
Current children cumulated vsize (KiB) 37352
[startup+46.1012 s]
/proc/loadavg: 1.10 1.04 1.01 2/65 5867
/proc/meminfo: memFree=1819152/2055920 swapFree=4191900/4192956
[pid=5866] ppid=5864 vsize=37352 CPUtime=46.07
/proc/5866/stat : 5866 (pbscip.linux.x8) R 5864 5866 5829 0 -1 4194304 16552 0 0 0 4580 27 0 0 25 0 1 0 183300461 38248448 8132 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5866/statm: 9338 8132 702 1256 0 8077 0
Current children cumulated CPU time (s) 46.07
Current children cumulated vsize (KiB) 37352
[startup+46.3012 s]
/proc/loadavg: 1.10 1.04 1.01 2/65 5867
/proc/meminfo: memFree=1819152/2055920 swapFree=4191900/4192956
[pid=5866] ppid=5864 vsize=37348 CPUtime=46.27
/proc/5866/stat : 5866 (pbscip.linux.x8) R 5864 5866 5829 0 -1 4194304 16611 0 0 0 4600 27 0 0 25 0 1 0 183300461 38244352 8112 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5866/statm: 9337 8112 702 1256 0 8076 0
Current children cumulated CPU time (s) 46.27
Current children cumulated vsize (KiB) 37348
[startup+46.4012 s]
/proc/loadavg: 1.10 1.04 1.01 2/65 5867
/proc/meminfo: memFree=1819152/2055920 swapFree=4191900/4192956
[pid=5866] ppid=5864 vsize=37348 CPUtime=46.37
/proc/5866/stat : 5866 (pbscip.linux.x8) R 5864 5866 5829 0 -1 4194304 16619 0 0 0 4610 27 0 0 25 0 1 0 183300461 38244352 8120 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5866/statm: 9337 8120 702 1256 0 8076 0
Current children cumulated CPU time (s) 46.37
Current children cumulated vsize (KiB) 37348
Child status: 0
Real time (s): 46.4286
CPU time (s): 46.4089
CPU user time (s): 46.123
CPU system time (s): 0.285956
CPU usage (%): 99.9576
Max. virtual memory (cumulated for all children) (KiB): 39968
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 46.123
system time used= 0.285956
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16623
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= 2
involuntary context switches= 207
runsolver used 0.212967 second user time and 0.45493 second system time
The end