0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2693820-1277894504.wbo>
0.00/0.02 c original problem has 8672 variables (8611 bin, 0 int, 0 impl, 61 cont) and 247 constraints
0.00/0.02 c problem read
0.00/0.02 c presolving settings loaded
0.00/0.02 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.03/0.05 c presolving:
0.03/0.05 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 61 impls, 57 clqs
0.03/0.06 c (round 2) 0 del vars, 1 del conss, 61 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 61 impls, 57 clqs
0.03/0.06 c (round 3) 0 del vars, 1 del conss, 61 chg bounds, 0 chg sides, 0 chg coeffs, 67 upgd conss, 61 impls, 57 clqs
0.03/0.06 c (round 4) 0 del vars, 1 del conss, 61 chg bounds, 0 chg sides, 0 chg coeffs, 124 upgd conss, 61 impls, 57 clqs
0.09/0.12 c (0.1s) probing: 101/8611 (1.2%) - 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 (5 rounds):
0.09/0.12 c 0 deleted vars, 1 deleted constraints, 61 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.12 c 61 implications, 57 cliques
0.09/0.12 c presolved problem has 8672 variables (8611 bin, 0 int, 0 impl, 61 cont) and 246 constraints
0.09/0.12 c 61 constraints of type <indicator>
0.09/0.12 c 57 constraints of type <setppc>
0.09/0.12 c 61 constraints of type <linear>
0.09/0.12 c 67 constraints of type <logicor>
0.09/0.12 c transformed objective value is always integral (scale: 1)
0.09/0.12 c Presolving Time: 0.08
0.09/0.12 c - non default parameters ----------------------------------------------------------------------
0.09/0.12 c # SCIP version 1.2.1.2
0.09/0.12 c
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 = 10000
0.09/0.12 c
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 = 1799.98
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 = 3420
0.09/0.12 c
0.09/0.12 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.12 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.12 c lp/solvefreq = -1
0.09/0.12 c
0.09/0.12 c # should presolving try to simplify inequalities
0.09/0.12 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.12 c constraints/linear/simplifyinequalities = TRUE
0.09/0.12 c
0.09/0.12 c # should presolving try to simplify knapsacks
0.09/0.12 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.12 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.12 c
0.09/0.12 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.12 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.12 c separating/rapidlearning/freq = 0
0.09/0.12 c
0.09/0.12 c -----------------------------------------------------------------------------------------------
0.09/0.12 c start solving
0.09/0.12 c
0.09/0.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.13 c 0.1s| 1 | 2 | 0 | - | 16M| 0 | - |8672 | 246 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
6.29/6.33 c 6.2s| 10000 | 9998 | 0 | 0.0 | 19M|6019 | - |8672 | 257 | 0 | 0 | 0 | 14 | 0 | 0.000000e+00 | -- | Inf
12.39/12.41 c 12.3s| 20000 | 19981 | 0 | 0.0 | 22M|6224 | - |8672 | 293 | 0 | 0 | 0 | 102 | 0 | 0.000000e+00 | -- | Inf
18.39/18.43 c 18.2s| 30000 | 29964 | 0 | 0.0 | 25M|6224 | - |8672 | 304 | 0 | 0 | 0 | 189 | 0 | 0.000000e+00 | -- | Inf
24.10/24.16 c 23.9s| 40000 | 39951 | 0 | 0.0 | 29M|6224 | - |8672 | 287 | 0 | 0 | 0 | 259 | 0 | 0.000000e+00 | -- | Inf
29.09/29.18 c 28.9s| 50000 | 49943 | 0 | 0.0 | 32M|6224 | - |8672 | 274 | 0 | 0 | 0 | 299 | 0 | 0.000000e+00 | -- | Inf
35.10/35.15 c 34.8s| 60000 | 59929 | 0 | 0.0 | 35M|6224 | - |8672 | 298 | 0 | 0 | 0 | 369 | 0 | 0.000000e+00 | -- | Inf
40.99/41.06 c 40.7s| 70000 | 69917 | 0 | 0.0 | 38M|6224 | - |8672 | 306 | 0 | 0 | 0 | 429 | 0 | 0.000000e+00 | -- | Inf
46.99/47.01 c 46.6s| 80000 | 79907 | 0 | 0.0 | 41M|6224 | - |8672 | 294 | 0 | 0 | 0 | 479 | 0 | 0.000000e+00 | -- | Inf
52.89/52.98 c 52.5s| 90000 | 89895 | 0 | 0.0 | 44M|6224 | - |8672 | 306 | 0 | 0 | 0 | 539 | 0 | 0.000000e+00 | -- | Inf
58.99/59.01 c 58.5s|100000 | 99887 | 0 | 0.0 | 47M|6224 | - |8672 | 285 | 0 | 0 | 0 | 579 | 0 | 0.000000e+00 | -- | Inf
64.99/65.00 c 64.4s|110000 |109877 | 0 | 0.0 | 49M|6224 | - |8672 | 296 | 0 | 0 | 0 | 629 | 0 | 0.000000e+00 | -- | Inf
70.89/70.96 c 70.3s|120000 |119869 | 0 | 0.0 | 52M|6224 | - |8672 | 286 | 0 | 0 | 0 | 669 | 0 | 0.000000e+00 | -- | Inf
77.39/77.42 c 76.7s|130000 |129863 | 0 | 0.0 | 55M|6224 | - |8672 | 276 | 0 | 0 | 0 | 699 | 0 | 0.000000e+00 | -- | Inf
83.89/83.98 c 83.2s|140000 |139851 | 0 | 0.0 | 58M|6224 | - |8672 | 289 | 0 | 0 | 0 | 759 | 0 | 0.000000e+00 | -- | Inf
90.40/90.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
90.40/90.42 c 89.5s|150000 |149839 | 0 | 0.0 | 61M|6224 | - |8672 | 300 | 0 | 0 | 0 | 819 | 0 | 0.000000e+00 | -- | Inf
96.89/96.96 c 96.0s|160000 |159827 | 0 | 0.0 | 64M|6224 | - |8672 | 317 | 0 | 0 | 0 | 879 | 0 | 0.000000e+00 | -- | Inf
103.59/103.69 c 103s|170000 |169815 | 0 | 0.0 | 67M|6224 | - |8672 | 330 | 0 | 0 | 0 | 939 | 0 | 0.000000e+00 | -- | Inf
110.69/110.70 c 110s|180000 |179806 | 0 | 0.0 | 69M|6224 | - |8672 | 347 | 0 | 0 | 0 | 989 | 0 | 0.000000e+00 | -- | Inf
117.60/117.62 c 117s|190000 |189799 | 0 | 0.0 | 72M|6224 | - |8672 | 348 | 0 | 0 | 0 |1029 | 0 | 0.000000e+00 | -- | Inf
124.39/124.49 c 123s|200000 |199790 | 0 | 0.0 | 75M|6224 | - |8672 | 369 | 0 | 0 | 0 |1079 | 0 | 0.000000e+00 | -- | Inf
131.30/131.32 c 130s|210000 |209782 | 0 | 0.0 | 77M|6224 | - |8672 | 377 | 0 | 0 | 0 |1119 | 0 | 0.000000e+00 | -- | Inf
138.19/138.22 c 137s|220000 |219778 | 0 | 0.0 | 80M|6224 | - |8672 | 385 | 0 | 0 | 0 |1139 | 0 | 0.000000e+00 | -- | Inf
145.10/145.13 c 144s|230000 |229769 | 0 | 0.0 | 83M|6224 | - |8672 | 414 | 0 | 0 | 0 |1184 | 0 | 0.000000e+00 | -- | Inf
151.60/151.69 c 150s|240000 |239761 | 0 | 0.0 | 86M|6224 | - |8672 | 417 | 0 | 0 | 0 |1224 | 0 | 0.000000e+00 | -- | Inf
157.60/157.66 c 156s|250000 |249757 | 0 | 0.0 | 89M|6237 | - |8672 | 407 | 0 | 0 | 0 |1244 | 0 | 0.000000e+00 | -- | Inf
164.60/164.60 c 163s|260000 |259745 | 0 | 0.0 | 91M|6316 | - |8672 | 428 | 0 | 0 | 0 |1298 | 0 | 0.000000e+00 | -- | Inf
170.70/170.78 c 169s|270000 |269737 | 0 | 0.0 | 94M|6413 | - |8672 | 422 | 0 | 0 | 0 |1338 | 0 | 0.000000e+00 | -- | Inf
177.20/177.24 c 176s|280000 |279731 | 0 | 0.0 | 97M|6441 | - |8672 | 431 | 0 | 0 | 0 |1368 | 0 | 0.000000e+00 | -- | Inf
183.60/183.70 c 182s|290000 |289721 | 0 | 0.0 | 100M|6523 | - |8672 | 440 | 0 | 0 | 0 |1418 | 0 | 0.000000e+00 | -- | Inf
189.80/189.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
189.80/189.82 c 188s|300000 |299712 | 0 | 0.0 | 102M|6561 | - |8672 | 443 | 0 | 0 | 0 |1468 | 0 | 0.000000e+00 | -- | Inf
196.30/196.38 c 195s|310000 |309700 | 0 | 0.0 | 105M|6622 | - |8672 | 448 | 0 | 0 | 0 |1528 | 0 | 0.000000e+00 | -- | Inf
202.30/202.40 c 201s|320000 |319696 | 0 | 0.0 | 108M|6622 | - |8672 | 424 | 0 | 0 | 0 |1548 | 0 | 0.000000e+00 | -- | Inf
209.19/209.28 c 207s|330000 |329684 | 0 | 0.0 | 111M|6622 | - |8672 | 449 | 0 | 0 | 0 |1608 | 0 | 0.000000e+00 | -- | Inf
215.20/215.26 c 213s|340000 |339672 | 0 | 0.0 | 113M|6622 | - |8672 | 446 | 0 | 0 | 0 |1668 | 0 | 0.000000e+00 | -- | Inf
222.50/222.52 c 220s|350000 |349664 | 0 | 0.0 | 116M|6622 | - |8672 | 457 | 0 | 0 | 0 |1708 | 0 | 0.000000e+00 | -- | Inf
228.70/228.78 c 227s|360000 |359652 | 0 | 0.0 | 119M|6622 | - |8672 | 453 | 0 | 0 | 0 |1768 | 0 | 0.000000e+00 | -- | Inf
235.40/235.41 c 233s|370000 |369646 | 0 | 0.0 | 121M|6622 | - |8672 | 450 | 0 | 0 | 0 |1798 | 0 | 0.000000e+00 | -- | Inf
242.00/242.09 c 240s|380000 |379633 | 0 | 0.0 | 124M|6622 | - |8672 | 444 | 0 | 0 | 0 |1868 | 0 | 0.000000e+00 | -- | Inf
248.40/248.45 c 246s|390000 |389626 | 0 | 0.0 | 127M|6637 | - |8672 | 459 | 0 | 0 | 0 |1908 | 0 | 0.000000e+00 | -- | Inf
254.99/255.03 c 253s|400000 |399614 | 0 | 0.0 | 130M|6637 | - |8672 | 465 | 0 | 0 | 0 |1968 | 0 | 0.000000e+00 | -- | Inf
261.09/261.13 c 259s|410000 |409610 | 0 | 0.0 | 132M|6637 | - |8672 | 434 | 0 | 0 | 0 |1988 | 0 | 0.000000e+00 | -- | Inf
267.70/267.76 c 265s|420000 |419600 | 0 | 0.0 | 135M|6637 | - |8672 | 458 | 0 | 0 | 0 |2038 | 0 | 0.000000e+00 | -- | Inf
273.99/274.08 c 272s|430000 |429586 | 0 | 0.0 | 138M|6637 | - |8672 | 474 | 0 | 0 | 0 |2108 | 0 | 0.000000e+00 | -- | Inf
281.00/281.00 c 278s|440000 |439582 | 0 | 0.0 | 141M|6637 | - |8672 | 469 | 0 | 0 | 0 |2128 | 0 | 0.000000e+00 | -- | Inf
287.19/287.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
287.19/287.27 c 285s|450000 |449572 | 0 | 0.0 | 143M|6637 | - |8672 | 483 | 0 | 0 | 0 |2178 | 0 | 0.000000e+00 | -- | Inf
294.00/294.05 c 291s|460000 |459566 | 0 | 0.0 | 146M|6637 | - |8672 | 490 | 0 | 0 | 0 |2208 | 0 | 0.000000e+00 | -- | Inf
300.50/300.57 c 298s|470000 |469552 | 0 | 0.0 | 149M|6637 | - |8672 | 499 | 0 | 0 | 0 |2270 | 0 | 0.000000e+00 | -- | Inf
306.99/307.06 c 304s|480000 |479548 | 0 | 0.0 | 152M|6637 | - |8672 | 488 | 0 | 0 | 0 |2290 | 0 | 0.000000e+00 | -- | Inf
314.20/314.25 c 311s|490000 |489525 | 0 | 0.0 | 154M|6637 | - |8672 | 569 | 0 | 0 | 0 |2400 | 0 | 0.000000e+00 | -- | Inf
320.60/320.64 c 318s|500000 |499516 | 0 | 0.0 | 157M|6637 | - |8672 | 566 | 0 | 0 | 0 |2446 | 0 | 0.000000e+00 | -- | Inf
327.50/327.54 c 325s|510000 |509510 | 0 | 0.0 | 160M|6637 | - |8672 | 559 | 0 | 0 | 0 |2476 | 0 | 0.000000e+00 | -- | Inf
334.49/334.58 c 332s|520000 |519498 | 0 | 0.0 | 163M|6741 | - |8672 | 573 | 0 | 0 | 0 |2536 | 0 | 0.000000e+00 | -- | Inf
341.80/341.85 c 339s|530000 |529494 | 0 | 0.0 | 165M|6741 | - |8672 | 555 | 0 | 0 | 0 |2556 | 0 | 0.000000e+00 | -- | Inf
348.80/348.84 c 346s|540000 |539484 | 0 | 0.0 | 168M|6741 | - |8672 | 563 | 0 | 0 | 0 |2606 | 0 | 0.000000e+00 | -- | Inf
356.10/356.12 c 353s|550000 |549478 | 0 | 0.0 | 171M|6741 | - |8672 | 562 | 0 | 0 | 0 |2636 | 0 | 0.000000e+00 | -- | Inf
362.70/362.76 c 359s|560000 |559468 | 0 | 0.0 | 173M|6741 | - |8672 | 553 | 0 | 0 | 0 |2686 | 0 | 0.000000e+00 | -- | Inf
368.99/369.05 c 366s|570000 |569464 | 0 | 0.0 | 176M|6741 | - |8672 | 543 | 0 | 0 | 0 |2706 | 0 | 0.000000e+00 | -- | Inf
376.00/376.10 c 373s|580000 |579454 | 0 | 0.0 | 179M|6741 | - |8672 | 561 | 0 | 0 | 0 |2756 | 0 | 0.000000e+00 | -- | Inf
382.30/382.32 c 379s|590000 |589450 | 0 | 0.0 | 182M|6779 | - |8672 | 536 | 0 | 0 | 0 |2776 | 0 | 0.000000e+00 | -- | Inf
389.60/389.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
389.60/389.61 c 386s|600000 |599438 | 0 | 0.0 | 184M|6779 | - |8672 | 564 | 0 | 0 | 0 |2836 | 0 | 0.000000e+00 | -- | Inf
395.80/395.90 c 392s|610000 |609416 | 0 | 0.0 | 187M|6779 | - |8672 | 562 | 0 | 0 | 0 |2946 | 0 | 0.000000e+00 | -- | Inf
403.10/403.11 c 400s|620000 |619404 | 0 | 0.0 | 190M|6779 | - |8672 | 572 | 0 | 0 | 0 |3006 | 0 | 0.000000e+00 | -- | Inf
409.20/409.27 c 406s|630000 |629390 | 0 | 0.0 | 192M|6779 | - |8672 | 582 | 0 | 0 | 0 |3076 | 0 | 0.000000e+00 | -- | Inf
416.00/416.06 c 412s|640000 |639384 | 0 | 0.0 | 195M|6779 | - |8672 | 577 | 0 | 0 | 0 |3106 | 0 | 0.000000e+00 | -- | Inf
422.50/422.57 c 419s|650000 |649370 | 0 | 0.0 | 198M|6779 | - |8672 | 598 | 0 | 0 | 0 |3176 | 0 | 0.000000e+00 | -- | Inf
429.01/429.06 c 425s|660000 |659366 | 0 | 0.0 | 201M|6779 | - |8672 | 578 | 0 | 0 | 0 |3196 | 0 | 0.000000e+00 | -- | Inf
435.51/435.52 c 432s|670000 |669354 | 0 | 0.0 | 203M|6779 | - |8672 | 596 | 0 | 0 | 0 |3256 | 0 | 0.000000e+00 | -- | Inf
441.90/441.93 c 438s|680000 |679350 | 0 | 0.0 | 206M|6779 | - |8672 | 585 | 0 | 0 | 0 |3276 | 0 | 0.000000e+00 | -- | Inf
448.70/448.74 c 445s|690000 |689334 | 0 | 0.0 | 209M|6779 | - |8672 | 607 | 0 | 0 | 0 |3356 | 0 | 0.000000e+00 | -- | Inf
454.70/454.70 c 451s|700000 |699324 | 0 | 0.0 | 211M|6779 | - |8672 | 608 | 0 | 0 | 0 |3406 | 0 | 0.000000e+00 | -- | Inf
461.60/461.64 c 458s|710000 |709320 | 0 | 0.0 | 214M|6779 | - |8672 | 596 | 0 | 0 | 0 |3426 | 0 | 0.000000e+00 | -- | Inf
468.20/468.22 c 464s|720000 |719306 | 0 | 0.0 | 217M|6779 | - |8672 | 619 | 0 | 0 | 0 |3496 | 0 | 0.000000e+00 | -- | Inf
474.80/474.80 c 471s|730000 |729300 | 0 | 0.0 | 220M|6779 | - |8672 | 616 | 0 | 0 | 0 |3526 | 0 | 0.000000e+00 | -- | Inf
481.30/481.38 c 477s|740000 |739290 | 0 | 0.0 | 222M|6779 | - |8672 | 617 | 0 | 0 | 0 |3576 | 0 | 0.000000e+00 | -- | Inf
487.51/487.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
487.51/487.54 c 483s|750000 |749286 | 0 | 0.0 | 225M|6779 | - |8672 | 602 | 0 | 0 | 0 |3596 | 0 | 0.000000e+00 | -- | Inf
494.61/494.63 c 490s|760000 |759272 | 0 | 0.0 | 228M|6779 | - |8672 | 639 | 0 | 0 | 0 |3666 | 0 | 0.000000e+00 | -- | Inf
500.90/500.96 c 496s|770000 |769262 | 0 | 0.0 | 230M|6779 | - |8672 | 629 | 0 | 0 | 0 |3716 | 0 | 0.000000e+00 | -- | Inf
507.71/507.78 c 503s|780000 |779258 | 0 | 0.0 | 233M|6779 | - |8672 | 618 | 0 | 0 | 0 |3736 | 0 | 0.000000e+00 | -- | Inf
514.20/514.26 c 510s|790000 |789248 | 0 | 0.0 | 236M|6779 | - |8672 | 626 | 0 | 0 | 0 |3786 | 0 | 0.000000e+00 | -- | Inf
520.70/520.75 c 516s|800000 |799242 | 0 | 0.0 | 239M|6779 | - |8672 | 628 | 0 | 0 | 0 |3816 | 0 | 0.000000e+00 | -- | Inf
527.51/527.58 c 523s|810000 |809230 | 0 | 0.0 | 241M|6779 | - |8672 | 634 | 0 | 0 | 0 |3876 | 0 | 0.000000e+00 | -- | Inf
533.61/533.69 c 529s|820000 |819226 | 0 | 0.0 | 244M|6779 | - |8672 | 614 | 0 | 0 | 0 |3896 | 0 | 0.000000e+00 | -- | Inf
540.90/540.93 c 536s|830000 |829214 | 0 | 0.0 | 247M|6779 | - |8672 | 628 | 0 | 0 | 0 |3956 | 0 | 0.000000e+00 | -- | Inf
547.01/547.00 c 542s|840000 |839204 | 0 | 0.0 | 249M|6779 | - |8672 | 630 | 0 | 0 | 0 |4006 | 0 | 0.000000e+00 | -- | Inf
554.10/554.16 c 549s|850000 |849196 | 0 | 0.0 | 252M|6779 | - |8672 | 648 | 0 | 0 | 0 |4046 | 0 | 0.000000e+00 | -- | Inf
560.40/560.46 c 555s|860000 |859186 | 0 | 0.0 | 255M|6779 | - |8672 | 633 | 0 | 0 | 0 |4090 | 0 | 0.000000e+00 | -- | Inf
567.11/567.18 c 562s|870000 |869180 | 0 | 0.0 | 258M|6779 | - |8672 | 641 | 0 | 0 | 0 |4120 | 0 | 0.000000e+00 | -- | Inf
573.70/573.75 c 569s|880000 |879166 | 0 | 0.0 | 260M|6779 | - |8672 | 656 | 0 | 0 | 0 |4190 | 0 | 0.000000e+00 | -- | Inf
580.41/580.48 c 575s|890000 |889160 | 0 | 0.0 | 263M|6809 | - |8672 | 649 | 0 | 0 | 0 |4220 | 0 | 0.000000e+00 | -- | Inf
587.01/587.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
587.01/587.05 c 582s|900000 |899146 | 0 | 0.0 | 266M|6846 | - |8672 | 672 | 0 | 0 | 0 |4288 | 0 | 0.000000e+00 | -- | Inf
593.91/593.91 c 589s|910000 |909138 | 0 | 0.0 | 268M|6850 | - |8672 | 668 | 0 | 0 | 0 |4328 | 0 | 0.000000e+00 | -- | Inf
600.61/600.66 c 595s|920000 |919128 | 0 | 0.0 | 271M|6864 | - |8672 | 658 | 0 | 0 | 0 |4378 | 0 | 0.000000e+00 | -- | Inf
607.50/607.52 c 602s|930000 |929120 | 0 | 0.0 | 274M|6864 | - |8672 | 676 | 0 | 0 | 0 |4418 | 0 | 0.000000e+00 | -- | Inf
614.51/614.51 c 609s|940000 |939108 | 0 | 0.0 | 276M|6885 | - |8672 | 669 | 0 | 0 | 0 |4478 | 0 | 0.000000e+00 | -- | Inf
621.11/621.10 c 616s|950000 |949100 | 0 | 0.0 | 279M|6907 | - |8672 | 674 | 0 | 0 | 0 |4518 | 0 | 0.000000e+00 | -- | Inf
628.01/628.04 c 622s|960000 |959088 | 0 | 0.0 | 282M|6907 | - |8672 | 658 | 0 | 0 | 0 |4576 | 0 | 0.000000e+00 | -- | Inf
634.61/634.69 c 629s|970000 |969082 | 0 | 0.0 | 284M|6907 | - |8672 | 643 | 0 | 0 | 0 |4606 | 0 | 0.000000e+00 | -- | Inf
641.21/641.27 c 636s|980000 |979070 | 0 | 0.0 | 287M|6926 | - |8672 | 645 | 0 | 0 | 0 |4666 | 0 | 0.000000e+00 | -- | Inf
648.11/648.11 c 642s|990000 |989064 | 0 | 0.0 | 290M|6926 | - |8672 | 652 | 0 | 0 | 0 |4696 | 0 | 0.000000e+00 | -- | Inf
654.61/654.63 c 649s| 1000k|999054 | 0 | 0.0 | 293M|6926 | - |8672 | 657 | 0 | 0 | 0 |4746 | 0 | 0.000000e+00 | -- | Inf
661.40/661.46 c 656s| 1010k| 1009k| 0 | 0.0 | 295M|6926 | - |8672 | 659 | 0 | 0 | 0 |4776 | 0 | 0.000000e+00 | -- | Inf
668.21/668.24 c 662s| 1020k| 1019k| 0 | 0.0 | 298M|6926 | - |8672 | 672 | 0 | 0 | 0 |4842 | 0 | 0.000000e+00 | -- | Inf
675.01/675.02 c 669s| 1030k| 1029k| 0 | 0.0 | 301M|6926 | - |8672 | 638 | 0 | 0 | 0 |4862 | 0 | 0.000000e+00 | -- | Inf
681.60/681.63 c 676s| 1040k| 1039k| 0 | 0.0 | 303M|6939 | - |8672 | 631 | 0 | 0 | 0 |4922 | 0 | 0.000000e+00 | -- | Inf
688.21/688.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
688.21/688.27 c 682s| 1050k| 1049k| 0 | 0.0 | 306M|6939 | - |8672 | 627 | 0 | 0 | 0 |4962 | 0 | 0.000000e+00 | -- | Inf
694.91/694.97 c 689s| 1060k| 1058k| 0 | 0.0 | 309M|6939 | - |8672 | 621 | 0 | 0 | 0 |5022 | 0 | 0.000000e+00 | -- | Inf
701.41/701.49 c 695s| 1070k| 1068k| 0 | 0.0 | 311M|6939 | - |8672 | 616 | 0 | 0 | 0 |5052 | 0 | 0.000000e+00 | -- | Inf
707.91/707.93 c 702s| 1080k| 1078k| 0 | 0.0 | 314M|6939 | - |8672 | 647 | 0 | 0 | 0 |5112 | 0 | 0.000000e+00 | -- | Inf
714.41/714.48 c 708s| 1090k| 1088k| 0 | 0.0 | 317M|6939 | - |8672 | 656 | 0 | 0 | 0 |5152 | 0 | 0.000000e+00 | -- | Inf
721.11/721.11 c 715s| 1100k| 1098k| 0 | 0.0 | 319M|6939 | - |8672 | 656 | 0 | 0 | 0 |5212 | 0 | 0.000000e+00 | -- | Inf
727.71/727.71 c 721s| 1110k| 1108k| 0 | 0.0 | 322M|6939 | - |8672 | 664 | 0 | 0 | 0 |5252 | 0 | 0.000000e+00 | -- | Inf
734.41/734.41 c 728s| 1120k| 1118k| 0 | 0.0 | 325M|6939 | - |8672 | 658 | 0 | 0 | 0 |5302 | 0 | 0.000000e+00 | -- | Inf
740.91/740.91 c 734s| 1130k| 1128k| 0 | 0.0 | 327M|6939 | - |8672 | 657 | 0 | 0 | 0 |5332 | 0 | 0.000000e+00 | -- | Inf
747.71/747.73 c 741s| 1140k| 1138k| 0 | 0.0 | 330M|6939 | - |8672 | 674 | 0 | 0 | 0 |5392 | 0 | 0.000000e+00 | -- | Inf
754.11/754.18 c 747s| 1150k| 1148k| 0 | 0.0 | 333M|6939 | - |8672 | 656 | 0 | 0 | 0 |5412 | 0 | 0.000000e+00 | -- | Inf
760.81/760.84 c 754s| 1160k| 1158k| 0 | 0.0 | 336M|6939 | - |8672 | 702 | 0 | 0 | 0 |5502 | 0 | 0.000000e+00 | -- | Inf
767.11/767.17 c 760s| 1170k| 1168k| 0 | 0.0 | 338M|6939 | - |8672 | 691 | 0 | 0 | 0 |5532 | 0 | 0.000000e+00 | -- | Inf
773.81/773.86 c 767s| 1180k| 1178k| 0 | 0.0 | 341M|6979 | - |8672 | 697 | 0 | 0 | 0 |5592 | 0 | 0.000000e+00 | -- | Inf
780.21/780.21 c 773s| 1190k| 1188k| 0 | 0.0 | 344M|6979 | - |8672 | 686 | 0 | 0 | 0 |5612 | 0 | 0.000000e+00 | -- | Inf
786.81/786.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
786.81/786.85 c 780s| 1200k| 1198k| 0 | 0.0 | 346M|6999 | - |8672 | 700 | 0 | 0 | 0 |5652 | 0 | 0.000000e+00 | -- | Inf
793.42/793.48 c 786s| 1210k| 1208k| 0 | 0.0 | 349M|6999 | - |8672 | 708 | 0 | 0 | 0 |5682 | 0 | 0.000000e+00 | -- | Inf
800.11/800.13 c 793s| 1220k| 1218k| 0 | 0.0 | 352M|6999 | - |8672 | 723 | 0 | 0 | 0 |5742 | 0 | 0.000000e+00 | -- | Inf
806.71/806.77 c 800s| 1230k| 1228k| 0 | 0.0 | 354M|6999 | - |8672 | 704 | 0 | 0 | 0 |5762 | 0 | 0.000000e+00 | -- | Inf
813.51/813.52 c 806s| 1240k| 1238k| 0 | 0.0 | 357M|6999 | - |8672 | 715 | 0 | 0 | 0 |5822 | 0 | 0.000000e+00 | -- | Inf
820.11/820.11 c 813s| 1250k| 1248k| 0 | 0.0 | 360M|6999 | - |8672 | 712 | 0 | 0 | 0 |5852 | 0 | 0.000000e+00 | -- | Inf
826.71/826.73 c 819s| 1260k| 1258k| 0 | 0.0 | 362M|7014 | - |8672 | 730 | 0 | 0 | 0 |5947 | 0 | 0.000000e+00 | -- | Inf
833.41/833.46 c 826s| 1270k| 1268k| 0 | 0.0 | 365M|7022 | - |8672 | 726 | 0 | 0 | 0 |5987 | 0 | 0.000000e+00 | -- | Inf
839.82/839.80 c 832s| 1280k| 1278k| 0 | 0.0 | 368M|7044 | - |8672 | 729 | 0 | 0 | 0 |6057 | 0 | 0.000000e+00 | -- | Inf
846.92/846.98 c 839s| 1290k| 1288k| 0 | 0.0 | 370M|7044 | - |8672 | 736 | 0 | 0 | 0 |6097 | 0 | 0.000000e+00 | -- | Inf
853.11/853.16 c 846s| 1300k| 1298k| 0 | 0.0 | 373M|7044 | - |8672 | 719 | 0 | 0 | 0 |6147 | 0 | 0.000000e+00 | -- | Inf
860.02/860.01 c 852s| 1310k| 1308k| 0 | 0.0 | 376M|7048 | - |8672 | 735 | 0 | 0 | 0 |6187 | 0 | 0.000000e+00 | -- | Inf
866.32/866.35 c 859s| 1320k| 1318k| 0 | 0.0 | 379M|7048 | - |8672 | 732 | 0 | 0 | 0 |6247 | 0 | 0.000000e+00 | -- | Inf
873.42/873.42 c 866s| 1330k| 1328k| 0 | 0.0 | 381M|7060 | - |8672 | 690 | 0 | 0 | 0 |6267 | 0 | 0.000000e+00 | -- | Inf
879.71/879.75 c 872s| 1340k| 1338k| 0 | 0.0 | 384M|7060 | - |8672 | 684 | 0 | 0 | 0 |6327 | 0 | 0.000000e+00 | -- | Inf
886.71/886.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
886.71/886.79 c 879s| 1350k| 1348k| 0 | 0.0 | 386M|7060 | - |8672 | 668 | 0 | 0 | 0 |6357 | 0 | 0.000000e+00 | -- | Inf
892.51/892.58 c 885s| 1360k| 1358k| 0 | 0.0 | 389M|7060 | - |8672 | 654 | 0 | 0 | 0 |6377 | 0 | 0.000000e+00 | -- | Inf
899.82/899.84 c 892s| 1370k| 1368k| 0 | 0.0 | 392M|7060 | - |8672 | 661 | 0 | 0 | 0 |6437 | 0 | 0.000000e+00 | -- | Inf
905.81/905.83 c 898s| 1380k| 1378k| 0 | 0.0 | 394M|7060 | - |8672 | 664 | 0 | 0 | 0 |6467 | 0 | 0.000000e+00 | -- | Inf
912.81/912.83 c 905s| 1390k| 1388k| 0 | 0.0 | 397M|7060 | - |8672 | 698 | 0 | 0 | 0 |6537 | 0 | 0.000000e+00 | -- | Inf
919.01/919.03 c 911s| 1400k| 1398k| 0 | 0.0 | 400M|7060 | - |8672 | 689 | 0 | 0 | 0 |6567 | 0 | 0.000000e+00 | -- | Inf
926.12/926.12 c 918s| 1410k| 1408k| 0 | 0.0 | 403M|7060 | - |8672 | 704 | 0 | 0 | 0 |6647 | 0 | 0.000000e+00 | -- | Inf
932.01/932.09 c 924s| 1420k| 1418k| 0 | 0.0 | 405M|7060 | - |8672 | 701 | 0 | 0 | 0 |6677 | 0 | 0.000000e+00 | -- | Inf
938.91/938.97 c 931s| 1430k| 1428k| 0 | 0.0 | 408M|7060 | - |8672 | 731 | 0 | 0 | 0 |6747 | 0 | 0.000000e+00 | -- | Inf
945.02/945.00 c 937s| 1440k| 1438k| 0 | 0.0 | 411M|7060 | - |8672 | 713 | 0 | 0 | 0 |6767 | 0 | 0.000000e+00 | -- | Inf
952.31/952.36 c 944s| 1450k| 1448k| 0 | 0.0 | 413M|7060 | - |8672 | 732 | 0 | 0 | 0 |6843 | 0 | 0.000000e+00 | -- | Inf
958.61/958.61 c 950s| 1460k| 1458k| 0 | 0.0 | 416M|7060 | - |8672 | 707 | 0 | 0 | 0 |6863 | 0 | 0.000000e+00 | -- | Inf
965.21/965.27 c 957s| 1470k| 1468k| 0 | 0.0 | 419M|7060 | - |8672 | 713 | 0 | 0 | 0 |6913 | 0 | 0.000000e+00 | -- | Inf
971.22/971.23 c 963s| 1480k| 1478k| 0 | 0.0 | 421M|7060 | - |8672 | 711 | 0 | 0 | 0 |6933 | 0 | 0.000000e+00 | -- | Inf
977.92/977.97 c 969s| 1490k| 1488k| 0 | 0.0 | 424M|7060 | - |8672 | 712 | 0 | 0 | 0 |6983 | 0 | 0.000000e+00 | -- | Inf
984.11/984.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
984.11/984.14 c 975s| 1500k| 1498k| 0 | 0.0 | 427M|7060 | - |8672 | 705 | 0 | 0 | 0 |7013 | 0 | 0.000000e+00 | -- | Inf
991.12/991.18 c 982s| 1510k| 1508k| 0 | 0.0 | 429M|7060 | - |8672 | 717 | 0 | 0 | 0 |7073 | 0 | 0.000000e+00 | -- | Inf
997.11/997.15 c 988s| 1520k| 1518k| 0 | 0.0 | 432M|7060 | - |8672 | 718 | 0 | 0 | 0 |7103 | 0 | 0.000000e+00 | -- | Inf
1003.71/1003.77 c 995s| 1530k| 1528k| 0 | 0.0 | 435M|7060 | - |8672 | 733 | 0 | 0 | 0 |7153 | 0 | 0.000000e+00 | -- | Inf
1009.91/1009.90 c 1001s| 1540k| 1538k| 0 | 0.0 | 437M|7060 | - |8672 | 732 | 0 | 0 | 0 |7183 | 0 | 0.000000e+00 | -- | Inf
1016.72/1016.74 c 1008s| 1550k| 1548k| 0 | 0.0 | 440M|7060 | - |8672 | 726 | 0 | 0 | 0 |7233 | 0 | 0.000000e+00 | -- | Inf
1022.82/1022.84 c 1014s| 1560k| 1558k| 0 | 0.0 | 443M|7060 | - |8672 | 731 | 0 | 0 | 0 |7273 | 0 | 0.000000e+00 | -- | Inf
1029.82/1029.87 c 1021s| 1570k| 1568k| 0 | 0.0 | 446M|7060 | - |8672 | 732 | 0 | 0 | 0 |7333 | 0 | 0.000000e+00 | -- | Inf
1035.81/1035.80 c 1027s| 1580k| 1578k| 0 | 0.0 | 448M|7060 | - |8672 | 735 | 0 | 0 | 0 |7383 | 0 | 0.000000e+00 | -- | Inf
1042.92/1042.90 c 1034s| 1590k| 1588k| 0 | 0.0 | 451M|7060 | - |8672 | 733 | 0 | 0 | 0 |7433 | 0 | 0.000000e+00 | -- | Inf
1049.12/1049.10 c 1040s| 1600k| 1598k| 0 | 0.0 | 454M|7060 | - |8672 | 740 | 0 | 0 | 0 |7473 | 0 | 0.000000e+00 | -- | Inf
1055.92/1055.98 c 1047s| 1610k| 1608k| 0 | 0.0 | 456M|7060 | - |8672 | 741 | 0 | 0 | 0 |7503 | 0 | 0.000000e+00 | -- | Inf
1062.32/1062.38 c 1053s| 1620k| 1618k| 0 | 0.0 | 459M|7060 | - |8672 | 732 | 0 | 0 | 0 |7553 | 0 | 0.000000e+00 | -- | Inf
1069.02/1069.01 c 1059s| 1630k| 1628k| 0 | 0.0 | 462M|7060 | - |8672 | 736 | 0 | 0 | 0 |7583 | 0 | 0.000000e+00 | -- | Inf
1075.42/1075.41 c 1066s| 1640k| 1638k| 0 | 0.0 | 464M|7060 | - |8672 | 747 | 0 | 0 | 0 |7633 | 0 | 0.000000e+00 | -- | Inf
1081.92/1081.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1081.92/1081.95 c 1072s| 1650k| 1648k| 0 | 0.0 | 467M|7060 | - |8672 | 741 | 0 | 0 | 0 |7653 | 0 | 0.000000e+00 | -- | Inf
1088.32/1088.38 c 1079s| 1660k| 1658k| 0 | 0.0 | 470M|7060 | - |8672 | 773 | 0 | 0 | 0 |7733 | 0 | 0.000000e+00 | -- | Inf
1094.92/1094.93 c 1085s| 1670k| 1668k| 0 | 0.0 | 472M|7060 | - |8672 | 753 | 0 | 0 | 0 |7753 | 0 | 0.000000e+00 | -- | Inf
1101.72/1101.79 c 1092s| 1680k| 1678k| 0 | 0.0 | 475M|7060 | - |8672 | 776 | 0 | 0 | 0 |7821 | 0 | 0.000000e+00 | -- | Inf
1108.12/1108.17 c 1098s| 1690k| 1688k| 0 | 0.0 | 478M|7060 | - |8672 | 771 | 0 | 0 | 0 |7851 | 0 | 0.000000e+00 | -- | Inf
1114.82/1114.81 c 1105s| 1700k| 1698k| 0 | 0.0 | 480M|7060 | - |8672 | 782 | 0 | 0 | 0 |7911 | 0 | 0.000000e+00 | -- | Inf
1121.22/1121.28 c 1111s| 1710k| 1708k| 0 | 0.0 | 483M|7060 | - |8672 | 793 | 0 | 0 | 0 |7951 | 0 | 0.000000e+00 | -- | Inf
1127.82/1127.80 c 1118s| 1720k| 1718k| 0 | 0.0 | 486M|7060 | - |8672 | 793 | 0 | 0 | 0 |8011 | 0 | 0.000000e+00 | -- | Inf
1133.92/1134.00 c 1124s| 1730k| 1728k| 0 | 0.0 | 488M|7060 | - |8672 | 783 | 0 | 0 | 0 |8041 | 0 | 0.000000e+00 | -- | Inf
1140.92/1140.96 c 1131s| 1740k| 1738k| 0 | 0.0 | 491M|7060 | - |8672 | 785 | 0 | 0 | 0 |8091 | 0 | 0.000000e+00 | -- | Inf
1147.12/1147.14 c 1137s| 1750k| 1748k| 0 | 0.0 | 494M|7060 | - |8672 | 779 | 0 | 0 | 0 |8121 | 0 | 0.000000e+00 | -- | Inf
1154.02/1154.03 c 1144s| 1760k| 1758k| 0 | 0.0 | 497M|7060 | - |8672 | 787 | 0 | 0 | 0 |8181 | 0 | 0.000000e+00 | -- | Inf
1159.92/1159.92 c 1150s| 1770k| 1768k| 0 | 0.0 | 499M|7060 | - |8672 | 765 | 0 | 0 | 0 |8201 | 0 | 0.000000e+00 | -- | Inf
1167.22/1167.24 c 1157s| 1780k| 1778k| 0 | 0.0 | 502M|7060 | - |8672 | 816 | 0 | 0 | 0 |8291 | 0 | 0.000000e+00 | -- | Inf
1173.53/1173.56 c 1163s| 1790k| 1788k| 0 | 0.0 | 505M|7060 | - |8672 | 797 | 0 | 0 | 0 |8351 | 0 | 0.000000e+00 | -- | Inf
1180.13/1180.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1180.13/1180.19 c 1170s| 1800k| 1798k| 0 | 0.0 | 507M|7060 | - |8672 | 803 | 0 | 0 | 0 |8390 | 0 | 0.000000e+00 | -- | Inf
1186.33/1186.31 c 1176s| 1810k| 1808k| 0 | 0.0 | 510M|7060 | - |8672 | 802 | 0 | 0 | 0 |8440 | 0 | 0.000000e+00 | -- | Inf
1192.83/1192.88 c 1182s| 1820k| 1818k| 0 | 0.0 | 513M|7060 | - |8672 | 786 | 0 | 0 | 0 |8460 | 0 | 0.000000e+00 | -- | Inf
1199.32/1199.38 c 1189s| 1830k| 1828k| 0 | 0.0 | 515M|7060 | - |8672 | 781 | 0 | 0 | 0 |8520 | 0 | 0.000000e+00 | -- | Inf
1205.92/1205.91 c 1195s| 1840k| 1838k| 0 | 0.0 | 518M|7060 | - |8672 | 808 | 0 | 0 | 0 |8579 | 0 | 0.000000e+00 | -- | Inf
1212.52/1212.54 c 1202s| 1850k| 1848k| 0 | 0.0 | 521M|7060 | - |8672 | 791 | 0 | 0 | 0 |8639 | 0 | 0.000000e+00 | -- | Inf
1218.53/1218.51 c 1208s| 1860k| 1858k| 0 | 0.0 | 523M|7060 | - |8672 | 782 | 0 | 0 | 0 |8669 | 0 | 0.000000e+00 | -- | Inf
1225.53/1225.50 c 1215s| 1870k| 1868k| 0 | 0.0 | 526M|7060 | - |8672 | 782 | 0 | 0 | 0 |8729 | 0 | 0.000000e+00 | -- | Inf
1231.32/1231.30 c 1220s| 1880k| 1878k| 0 | 0.0 | 529M|7060 | - |8672 | 790 | 0 | 0 | 0 |8759 | 0 | 0.000000e+00 | -- | Inf
1238.23/1238.28 c 1227s| 1890k| 1888k| 0 | 0.0 | 532M|7060 | - |8672 | 806 | 0 | 0 | 0 |8819 | 0 | 0.000000e+00 | -- | Inf
1244.22/1244.29 c 1233s| 1900k| 1898k| 0 | 0.0 | 534M|7060 | - |8672 | 797 | 0 | 0 | 0 |8869 | 0 | 0.000000e+00 | -- | Inf
1251.02/1251.01 c 1240s| 1910k| 1908k| 0 | 0.0 | 537M|7060 | - |8672 | 793 | 0 | 0 | 0 |8889 | 0 | 0.000000e+00 | -- | Inf
1256.93/1256.91 c 1246s| 1920k| 1918k| 0 | 0.0 | 540M|7060 | - |8672 | 800 | 0 | 0 | 0 |8929 | 0 | 0.000000e+00 | -- | Inf
1263.42/1263.42 c 1252s| 1930k| 1928k| 0 | 0.0 | 542M|7060 | - |8672 | 786 | 0 | 0 | 0 |8949 | 0 | 0.000000e+00 | -- | Inf
1269.82/1269.81 c 1258s| 1940k| 1938k| 0 | 0.0 | 545M|7060 | - |8672 | 794 | 0 | 0 | 0 |9009 | 0 | 0.000000e+00 | -- | Inf
1276.03/1276.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1276.03/1276.08 c 1265s| 1950k| 1948k| 0 | 0.0 | 548M|7060 | - |8672 | 793 | 0 | 0 | 0 |9049 | 0 | 0.000000e+00 | -- | Inf
1282.92/1282.90 c 1271s| 1960k| 1958k| 0 | 0.0 | 550M|7060 | - |8672 | 820 | 0 | 0 | 0 |9119 | 0 | 0.000000e+00 | -- | Inf
1289.23/1289.24 c 1278s| 1970k| 1968k| 0 | 0.0 | 553M|7060 | - |8672 | 814 | 0 | 0 | 0 |9169 | 0 | 0.000000e+00 | -- | Inf
1295.92/1295.98 c 1284s| 1980k| 1978k| 0 | 0.0 | 556M|7060 | - |8672 | 810 | 0 | 0 | 0 |9239 | 0 | 0.000000e+00 | -- | Inf
1302.02/1302.04 c 1290s| 1990k| 1988k| 0 | 0.0 | 558M|7060 | - |8672 | 791 | 0 | 0 | 0 |9269 | 0 | 0.000000e+00 | -- | Inf
1308.53/1308.53 c 1297s| 2000k| 1998k| 0 | 0.0 | 561M|7060 | - |8672 | 808 | 0 | 0 | 0 |9319 | 0 | 0.000000e+00 | -- | Inf
1314.23/1314.26 c 1303s| 2010k| 2008k| 0 | 0.0 | 564M|7060 | - |8672 | 792 | 0 | 0 | 0 |9349 | 0 | 0.000000e+00 | -- | Inf
1321.32/1321.35 c 1310s| 2020k| 2018k| 0 | 0.0 | 566M|7060 | - |8672 | 797 | 0 | 0 | 0 |9409 | 0 | 0.000000e+00 | -- | Inf
1327.63/1327.60 c 1316s| 2030k| 2028k| 0 | 0.0 | 569M|7060 | - |8672 | 794 | 0 | 0 | 0 |9459 | 0 | 0.000000e+00 | -- | Inf
1334.23/1334.22 c 1322s| 2040k| 2038k| 0 | 0.0 | 572M|7060 | - |8672 | 772 | 0 | 0 | 0 |9479 | 0 | 0.000000e+00 | -- | Inf
1340.62/1340.63 c 1329s| 2050k| 2048k| 0 | 0.0 | 575M|7060 | - |8672 | 812 | 0 | 0 | 0 |9549 | 0 | 0.000000e+00 | -- | Inf
1346.93/1346.95 c 1335s| 2060k| 2058k| 0 | 0.0 | 577M|7060 | - |8672 | 788 | 0 | 0 | 0 |9569 | 0 | 0.000000e+00 | -- | Inf
1353.43/1353.44 c 1341s| 2070k| 2068k| 0 | 0.0 | 580M|7060 | - |8672 | 787 | 0 | 0 | 0 |9619 | 0 | 0.000000e+00 | -- | Inf
1359.83/1359.80 c 1348s| 2080k| 2078k| 0 | 0.0 | 583M|7060 | - |8672 | 801 | 0 | 0 | 0 |9659 | 0 | 0.000000e+00 | -- | Inf
1366.42/1366.45 c 1354s| 2090k| 2088k| 0 | 0.0 | 585M|7060 | - |8672 | 808 | 0 | 0 | 0 |9719 | 0 | 0.000000e+00 | -- | Inf
1372.03/1372.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1372.03/1372.08 c 1360s| 2100k| 2098k| 0 | 0.0 | 588M|7060 | - |8672 | 796 | 0 | 0 | 0 |9759 | 0 | 0.000000e+00 | -- | Inf
1379.23/1379.29 c 1367s| 2110k| 2108k| 0 | 0.0 | 591M|7060 | - |8672 | 806 | 0 | 0 | 0 |9819 | 0 | 0.000000e+00 | -- | Inf
1385.43/1385.40 c 1373s| 2120k| 2118k| 0 | 0.0 | 593M|7060 | - |8672 | 798 | 0 | 0 | 0 |9869 | 0 | 0.000000e+00 | -- | Inf
1391.83/1391.88 c 1379s| 2130k| 2128k| 0 | 0.0 | 596M|7060 | - |8672 | 797 | 0 | 0 | 0 |9899 | 0 | 0.000000e+00 | -- | Inf
1398.83/1398.83 c 1386s| 2140k| 2138k| 0 | 0.0 | 599M|7060 | - |8672 | 814 | 0 | 0 | 0 |9969 | 0 | 0.000000e+00 | -- | Inf
1405.03/1405.09 c 1393s| 2150k| 2148k| 0 | 0.0 | 601M|7060 | - |8672 | 787 | 0 | 0 | 0 |9989 | 0 | 0.000000e+00 | -- | Inf
1411.43/1411.46 c 1399s| 2160k| 2157k| 0 | 0.0 | 604M|7060 | - |8672 | 793 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
1417.33/1417.33 c 1405s| 2170k| 2167k| 0 | 0.0 | 607M|7060 | - |8672 | 791 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
1424.13/1424.13 c 1411s| 2180k| 2177k| 0 | 0.0 | 610M|7060 | - |8672 | 796 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
1430.43/1430.46 c 1418s| 2190k| 2187k| 0 | 0.0 | 612M|7060 | - |8672 | 841 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
1436.93/1436.92 c 1424s| 2200k| 2197k| 0 | 0.0 | 615M|7060 | - |8672 | 802 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
1443.43/1443.44 c 1431s| 2210k| 2207k| 0 | 0.0 | 618M|7060 | - |8672 | 803 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
1449.53/1449.56 c 1437s| 2220k| 2217k| 0 | 0.0 | 620M|7060 | - |8672 | 799 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
1456.23/1456.22 c 1443s| 2230k| 2227k| 0 | 0.0 | 623M|7060 | - |8672 | 794 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
1461.83/1461.81 c 1449s| 2240k| 2237k| 0 | 0.0 | 626M|7060 | - |8672 | 788 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
1468.73/1468.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1468.73/1468.77 c 1456s| 2250k| 2247k| 0 | 0.0 | 628M|7060 | - |8672 | 790 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
1475.04/1475.06 c 1462s| 2260k| 2257k| 0 | 0.0 | 631M|7060 | - |8672 | 784 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
1481.73/1481.72 c 1468s| 2270k| 2267k| 0 | 0.0 | 634M|7060 | - |8672 | 777 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
1488.03/1488.05 c 1475s| 2280k| 2277k| 0 | 0.0 | 637M|7060 | - |8672 | 784 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
1494.03/1494.04 c 1481s| 2290k| 2287k| 0 | 0.0 | 639M|7060 | - |8672 | 794 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
1500.83/1500.85 c 1487s| 2300k| 2297k| 0 | 0.0 | 642M|7060 | - |8672 | 811 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
1506.63/1506.69 c 1493s| 2310k| 2307k| 0 | 0.0 | 645M|7060 | - |8672 | 834 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
1513.43/1513.45 c 1500s| 2320k| 2317k| 0 | 0.0 | 647M|7060 | - |8672 | 812 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
1519.73/1519.70 c 1506s| 2330k| 2327k| 0 | 0.0 | 650M|7060 | - |8672 | 801 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
1526.03/1526.03 c 1512s| 2340k| 2337k| 0 | 0.0 | 653M|7060 | - |8672 | 808 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
1532.43/1532.45 c 1519s| 2350k| 2347k| 0 | 0.0 | 655M|7060 | - |8672 | 806 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
1538.53/1538.57 c 1525s| 2360k| 2357k| 0 | 0.0 | 658M|7060 | - |8672 | 810 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
1545.33/1545.33 c 1532s| 2370k| 2367k| 0 | 0.0 | 661M|7060 | - |8672 | 815 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1551.24/1551.22 c 1537s| 2380k| 2377k| 0 | 0.0 | 664M|7060 | - |8672 | 840 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1557.74/1557.79 c 1544s| 2390k| 2387k| 0 | 0.0 | 666M|7060 | - |8672 | 826 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1564.24/1564.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1564.24/1564.25 c 1550s| 2400k| 2397k| 0 | 0.0 | 669M|7060 | - |8672 | 833 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1570.53/1570.56 c 1557s| 2410k| 2407k| 0 | 0.0 | 672M|7060 | - |8672 | 830 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1577.03/1577.06 c 1563s| 2420k| 2417k| 0 | 0.0 | 674M|7060 | - |8672 | 821 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1583.03/1583.08 c 1569s| 2430k| 2427k| 0 | 0.0 | 677M|7060 | - |8672 | 808 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1590.13/1590.13 c 1576s| 2440k| 2437k| 0 | 0.0 | 680M|7060 | - |8672 | 831 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1596.14/1596.15 c 1582s| 2450k| 2447k| 0 | 0.0 | 683M|7060 | - |8672 | 835 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1603.13/1603.11 c 1589s| 2460k| 2457k| 0 | 0.0 | 685M|7060 | - |8672 | 829 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1609.34/1609.34 c 1595s| 2470k| 2467k| 0 | 0.0 | 688M|7060 | - |8672 | 834 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1615.54/1615.53 c 1601s| 2480k| 2477k| 0 | 0.0 | 691M|7060 | - |8672 | 817 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1621.93/1621.96 c 1607s| 2490k| 2487k| 0 | 0.0 | 693M|7060 | - |8672 | 846 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1628.53/1628.59 c 1614s| 2500k| 2497k| 0 | 0.0 | 696M|7060 | - |8672 | 851 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1635.34/1635.37 c 1621s| 2510k| 2507k| 0 | 0.0 | 699M|7060 | - |8672 | 838 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1641.03/1641.00 c 1626s| 2520k| 2517k| 0 | 0.0 | 701M|7060 | - |8672 | 851 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1647.74/1647.71 c 1633s| 2530k| 2527k| 0 | 0.0 | 704M|7060 | - |8672 | 856 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1653.74/1653.79 c 1639s| 2540k| 2537k| 0 | 0.0 | 707M|7060 | - |8672 | 855 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1660.23/1660.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1660.23/1660.20 c 1645s| 2550k| 2547k| 0 | 0.0 | 709M|7060 | - |8672 | 865 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1666.64/1666.68 c 1652s| 2560k| 2557k| 0 | 0.0 | 712M|7060 | - |8672 | 865 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1672.53/1672.55 c 1658s| 2570k| 2567k| 0 | 0.0 | 715M|7060 | - |8672 | 867 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1679.64/1679.64 c 1665s| 2580k| 2577k| 0 | 0.0 | 718M|7060 | - |8672 | 885 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
1686.14/1686.15 c 1671s| 2590k| 2587k| 0 | 0.0 | 720M|7060 | - |8672 | 926 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
1692.54/1692.58 c 1677s| 2600k| 2597k| 0 | 0.0 | 723M|7060 | - |8672 | 886 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
1698.83/1698.88 c 1684s| 2610k| 2607k| 0 | 0.0 | 726M|7060 | - |8672 | 887 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
1704.94/1704.94 c 1690s| 2620k| 2617k| 0 | 0.0 | 728M|7060 | - |8672 | 892 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
1711.64/1711.67 c 1696s| 2630k| 2627k| 0 | 0.0 | 731M|7060 | - |8672 | 874 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
1717.84/1717.83 c 1702s| 2640k| 2637k| 0 | 0.0 | 734M|7060 | - |8672 | 907 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
1724.24/1724.23 c 1709s| 2650k| 2647k| 0 | 0.0 | 736M|7060 | - |8672 | 882 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
1730.54/1730.52 c 1715s| 2660k| 2657k| 0 | 0.0 | 739M|7060 | - |8672 | 897 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
1736.24/1736.28 c 1721s| 2670k| 2667k| 0 | 0.0 | 742M|7060 | - |8672 | 899 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
1743.23/1743.26 c 1728s| 2680k| 2677k| 0 | 0.0 | 745M|7060 | - |8672 | 909 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
1749.14/1749.12 c 1733s| 2690k| 2687k| 0 | 0.0 | 747M|7060 | - |8672 | 907 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
1755.44/1755.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1755.44/1755.41 c 1740s| 2700k| 2697k| 0 | 0.0 | 750M|7060 | - |8672 | 890 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
1761.94/1761.94 c 1746s| 2710k| 2707k| 0 | 0.0 | 753M|7060 | - |8672 | 946 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
1767.74/1767.75 c 1752s| 2720k| 2717k| 0 | 0.0 | 755M|7060 | - |8672 | 928 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
1774.25/1774.23 c 1758s| 2730k| 2727k| 0 | 0.0 | 758M|7060 | - |8672 | 902 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
1780.14/1780.13 c 1764s| 2740k| 2737k| 0 | 0.0 | 761M|7060 | - |8672 | 929 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
1786.44/1786.48 c 1770s| 2750k| 2747k| 0 | 0.0 | 764M|7060 | - |8672 | 903 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
1792.73/1792.79 c 1777s| 2760k| 2757k| 0 | 0.0 | 766M|7060 | - |8672 | 934 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
1798.34/1798.30 c 1782s| 2770k| 2767k| 0 | 0.0 | 769M|7060 | - |8672 | 904 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
1800.05/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.00 c
1800.05/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.00 c Solving Time (sec) : 1783.89
1800.05/1800.00 c Solving Nodes : 2771829
1800.05/1800.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.05/1800.00 c Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Gap : infinite
1800.05/1800.00 s UNKNOWN
1800.05/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.00 c Solving Time : 1783.89
1800.05/1800.00 c Original Problem :
1800.05/1800.00 c Problem name : HOME/instance-2693820-1277894504.wbo
1800.05/1800.00 c Variables : 8672 (8611 binary, 0 integer, 0 implicit integer, 61 continuous)
1800.05/1800.00 c Constraints : 247 initial, 247 maximal
1800.05/1800.00 c Presolved Problem :
1800.05/1800.00 c Problem name : t_HOME/instance-2693820-1277894504.wbo
1800.05/1800.00 c Variables : 8672 (8611 binary, 0 integer, 0 implicit integer, 61 continuous)
1800.05/1800.00 c Constraints : 246 initial, 968 maximal
1800.05/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c probing : 0.04 0 0 0 0 0 0 0 0
1800.05/1800.00 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c setppc : 0.01 0 0 0 0 0 0 0 0
1800.05/1800.00 c linear : 0.01 0 0 0 61 0 1 0 0
1800.05/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c root node : - 0 - - 0 - - - -
1800.05/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.00 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c indicator : 61 0 269 0 61 0 61 0 0 0
1800.05/1800.00 c setppc : 57 0 2826893 0 2766116 608 555172 0 0 0
1800.05/1800.00 c linear : 61 0 2831998 0 2770527 511 271664 0 0 0
1800.05/1800.00 c logicor : 67+ 0 191451 0 2770527 200 27565 0 0 0
1800.05/1800.00 c countsols : 0 0 0 0 2770527 0 0 0 0 0
1800.05/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.00 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.00 c indicator : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.00 c setppc : 245.73 0.00 34.54 0.00 211.19
1800.05/1800.00 c linear : 40.17 0.00 38.75 0.00 1.42
1800.05/1800.00 c logicor : 185.74 0.00 10.05 0.00 175.69
1800.05/1800.00 c countsols : 0.50 0.00 0.00 0.00 0.50
1800.05/1800.00 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.00 c vbounds : 0.66 2 0 0
1800.05/1800.00 c rootredcost : 0.61 0 0 0
1800.05/1800.00 c pseudoobj : 5.62 2832423 0 0
1800.05/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.00 c propagation : 70.61 1319 1319 59788 1236.3 23585 76.3 -
1800.05/1800.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.00 c applied globally : - - - 13119 83.4 - - -
1800.05/1800.00 c applied locally : - - - 0 0.0 - - -
1800.05/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.00 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.00 c redcost : 0.00 0 0 0 0 0
1800.05/1800.00 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.00 c intobj : 0.00 0 0 0 0 0
1800.05/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.00 c gomory : 0.00 0 0 0 0 0
1800.05/1800.00 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.00 c cmir : 0.00 0 0 0 0 0
1800.05/1800.00 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.00 c clique : 0.00 0 0 0 0 0
1800.05/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.00 c mcf : 0.00 0 0 0 0 0
1800.05/1800.00 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.00 c Pricers : Time Calls Vars
1800.05/1800.00 c problem variables: 0.00 0 0
1800.05/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.00 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.00 c inference : 1261.39 2770527 0 0 0 0 5541054
1800.05/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.00 c random : 0.00 0 0 0 0 0 0
1800.05/1800.00 c Primal Heuristics : Time Calls Found
1800.05/1800.00 c LP solutions : 0.00 - 0
1800.05/1800.00 c pseudo solutions : 0.00 - 0
1800.05/1800.00 c oneopt : 0.59 0 0
1800.05/1800.00 c trivial : 0.02 2 0
1800.05/1800.00 c simplerounding : 0.00 0 0
1800.05/1800.00 c zirounding : 0.00 0 0
1800.05/1800.00 c rounding : 0.00 0 0
1800.05/1800.00 c shifting : 0.00 0 0
1800.05/1800.00 c intshifting : 0.00 0 0
1800.05/1800.00 c twoopt : 0.00 0 0
1800.05/1800.00 c fixandinfer : 0.00 0 0
1800.05/1800.00 c feaspump : 0.00 0 0
1800.05/1800.00 c coefdiving : 0.00 0 0
1800.05/1800.00 c pscostdiving : 0.00 0 0
1800.05/1800.00 c fracdiving : 0.00 0 0
1800.05/1800.00 c veclendiving : 0.00 0 0
1800.05/1800.00 c intdiving : 0.00 0 0
1800.05/1800.00 c actconsdiving : 0.00 0 0
1800.05/1800.00 c objpscostdiving : 0.00 0 0
1800.05/1800.00 c rootsoldiving : 0.00 0 0
1800.05/1800.00 c linesearchdiving : 0.00 0 0
1800.05/1800.00 c guideddiving : 0.00 0 0
1800.05/1800.00 c octane : 0.00 0 0
1800.05/1800.00 c rens : 0.00 0 0
1800.05/1800.00 c rins : 0.00 0 0
1800.05/1800.00 c localbranching : 0.00 0 0
1800.05/1800.00 c mutation : 0.00 0 0
1800.05/1800.00 c crossover : 0.00 0 0
1800.05/1800.00 c dins : 0.00 0 0
1800.05/1800.00 c undercover : 0.00 0 0
1800.05/1800.00 c nlp : 0.80 0 0
1800.05/1800.00 c trysol : 0.51 1 0
1800.05/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.00 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.00 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.00 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.00 c (at root node) : - 0 0 0.00 -
1800.05/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.00 c B&B Tree :
1800.05/1800.00 c number of runs : 1
1800.05/1800.00 c nodes : 2771829
1800.05/1800.00 c nodes (total) : 2771829
1800.05/1800.00 c nodes left : 2769208
1800.05/1800.00 c max depth : 7060
1800.05/1800.00 c max depth (total): 7060
1800.05/1800.00 c backtracks : 487 (0.0%)
1800.05/1800.00 c delayed cutoffs : 18
1800.05/1800.00 c repropagations : 1428 (2706 domain reductions, 17 cutoffs)
1800.05/1800.00 c avg switch length: 2.21
1800.05/1800.00 c switching time : 10.88
1800.05/1800.00 c Solution :
1800.05/1800.00 c Solutions found : 0 (0 improvements)
1800.05/1800.00 c Primal Bound : -
1800.05/1800.00 c Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Gap : infinite
1800.05/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Root Iterations : 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693820-1277894504/watcher-2693820-1277894504 -o /tmp/evaluation-result-2693820-1277894504/solver-2693820-1277894504 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693820-1277894504.wbo -t 1800 -m 3800
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): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.93 1.98 1.99 4/178 11341
/proc/meminfo: memFree=28363884/32951124 swapFree=67111528/67111528
[pid=11341] ppid=11339 vsize=9168 CPUtime=0
/proc/11341/stat : 11341 (pbscip.linux.x8) R 11339 11341 9887 0 -1 4202496 1704 0 0 0 0 0 0 0 25 0 1 0 130745846 9388032 1628 4089446400 4194304 7136930 140736882764496 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/11341/statm: 2292 1643 275 719 0 1571 0
[startup+0.0451769 s]
/proc/loadavg: 1.93 1.98 1.99 4/178 11341
/proc/meminfo: memFree=28363884/32951124 swapFree=67111528/67111528
[pid=11341] ppid=11339 vsize=28876 CPUtime=0.03
/proc/11341/stat : 11341 (pbscip.linux.x8) R 11339 11341 9887 0 -1 4202496 6816 0 0 0 3 0 0 0 25 0 1 0 130745846 29569024 6385 4089446400 4194304 7136930 140736882764496 18446744073709551615 6350076 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11341/statm: 7219 6385 317 719 0 6498 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 28876
[startup+0.101167 s]
/proc/loadavg: 1.93 1.98 1.99 4/178 11341
/proc/meminfo: memFree=28363884/32951124 swapFree=67111528/67111528
[pid=11341] ppid=11339 vsize=33072 CPUtime=0.09
/proc/11341/stat : 11341 (pbscip.linux.x8) R 11339 11341 9887 0 -1 4202496 9256 0 0 0 8 1 0 0 25 0 1 0 130745846 33865728 7540 4089446400 4194304 7136930 140736882764496 18446744073709551615 4660982 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11341/statm: 8268 7540 370 719 0 7547 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 33072
[startup+0.301129 s]
/proc/loadavg: 1.93 1.98 1.99 4/178 11341
/proc/meminfo: memFree=28363884/32951124 swapFree=67111528/67111528
[pid=11341] ppid=11339 vsize=34660 CPUtime=0.29
/proc/11341/stat : 11341 (pbscip.linux.x8) R 11339 11341 9887 0 -1 4202496 9638 0 0 0 28 1 0 0 25 0 1 0 130745846 35491840 7852 4089446400 4194304 7136930 140736882764496 18446744073709551615 4407949 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11341/statm: 8665 7852 390 719 0 7944 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 34660
[startup+0.701032 s]
/proc/loadavg: 1.93 1.98 1.99 4/178 11341
/proc/meminfo: memFree=28363884/32951124 swapFree=67111528/67111528
[pid=11341] ppid=11339 vsize=34660 CPUtime=0.69
/proc/11341/stat : 11341 (pbscip.linux.x8) R 11339 11341 9887 0 -1 4202496 9663 0 0 0 67 2 0 0 25 0 1 0 130745846 35491840 7877 4089446400 4194304 7136930 140736882764496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11341/statm: 8665 7877 390 719 0 7944 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 34660
[startup+1.50089 s]
/proc/loadavg: 1.94 1.98 1.99 3/179 11342
/proc/meminfo: memFree=28331668/32951124 swapFree=67111528/67111528
[pid=11341] ppid=11339 vsize=34900 CPUtime=1.49
/proc/11341/stat : 11341 (pbscip.linux.x8) R 11339 11341 9887 0 -1 4202496 9703 0 0 0 147 2 0 0 25 0 1 0 130745846 35737600 7917 4089446400 4194304 7136930 140736882764496 18446744073709551615 5892284 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11341/statm: 8725 7917 390 719 0 8004 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 34900
[startup+3.1006 s]
/proc/loadavg: 1.94 1.98 1.99 3/179 11342
/proc/meminfo: memFree=28327576/32951124 swapFree=67111528/67111528
[pid=11341] ppid=11339 vsize=36856 CPUtime=3.09
/proc/11341/stat : 11341 (pbscip.linux.x8) R 11339 11341 9887 0 -1 4202496 10193 0 0 0 306 3 0 0 25 0 1 0 130745846 37740544 8407 4089446400 4194304 7136930 140736882764496 18446744073709551615 5892359 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11341/statm: 9214 8407 390 719 0 8493 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 36856
[startup+6.30102 s]
/proc/loadavg: 1.94 1.98 1.99 3/179 11342
/proc/meminfo: memFree=28316712/32951124 swapFree=67111528/67111528
[pid=11341] ppid=11339 vsize=38316 CPUtime=6.29
/proc/11341/stat : 11341 (pbscip.linux.x8) R 11339 11341 9887 0 -1 4202496 10616 0 0 0 623 6 0 0 25 0 1 0 130745846 39235584 8829 4089446400 4194304 7136930 140736882764496 18446744073709551615 5892216 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11341/statm: 9579 8829 394 719 0 8858 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 38316
[startup+12.7009 s]
/proc/loadavg: 1.95 1.98 1.99 3/179 11342
/proc/meminfo: memFree=28290884/32951124 swapFree=67111528/67111528
[pid=11341] ppid=11339 vsize=44096 CPUtime=12.69
/proc/11341/stat : 11341 (pbscip.linux.x8) R 11339 11341 9887 0 -1 4202496 12056 0 0 0 1258 11 0 0 25 0 1 0 130745846 45154304 10269 4089446400 4194304 7136930 140736882764496 18446744073709551615 4436499 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11341/statm: 11024 10269 394 719 0 10303 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 44096
[startup+25.5006 s]
/proc/loadavg: 1.95 1.98 1.99 3/179 11342
/proc/meminfo: memFree=28242984/32951124 swapFree=67111528/67111528
[pid=11341] ppid=11339 vsize=52128 CPUtime=25.49
/proc/11341/stat : 11341 (pbscip.linux.x8) R 11339 11341 9887 0 -1 4202496 14160 0 0 0 2526 23 0 0 25 0 1 0 130745846 53379072 12373 4089446400 4194304 7136930 140736882764496 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11341/statm: 13032 12373 394 719 0 12311 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 52128
[startup+51.1009 s]
/proc/loadavg: 2.03 2.00 2.00 3/179 11343
/proc/meminfo: memFree=28142944/32951124 swapFree=67111528/67111528
[pid=11341] ppid=11339 vsize=70704 CPUtime=51.09
/proc/11341/stat : 11341 (pbscip.linux.x8) R 11339 11341 9887 0 -1 4202496 18433 0 0 0 5063 46 0 0 25 0 1 0 130745846 72400896 16646 4089446400 4194304 7136930 140736882764496 18446744073709551615 4641936 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11341/statm: 17676 16646 394 719 0 16955 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 70704
[startup+102.307 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 11344
/proc/meminfo: memFree=27957152/32951124 swapFree=67111528/67111528
[pid=11341] ppid=11339 vsize=95976 CPUtime=102.3
/proc/11341/stat : 11341 (pbscip.linux.x8) R 11339 11341 9887 0 -1 4202496 25075 0 0 0 10134 96 0 0 25 0 1 0 130745846 98279424 23288 4089446400 4194304 7136930 140736882764496 18446744073709551615 4642989 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11341/statm: 23994 23288 394 719 0 23273 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 95976
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11346
/proc/meminfo: memFree=27777168/32951124 swapFree=67111528/67111528
[pid=11341] ppid=11339 vsize=126188 CPUtime=162.29
/proc/11341/stat : 11341 (pbscip.linux.x8) R 11339 11341 9887 0 -1 4202496 31921 0 0 0 16082 147 0 0 25 0 1 0 130745846 129216512 30134 4089446400 4194304 7136930 140736882764496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11341/statm: 31547 30134 394 719 0 30826 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 126188
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11348
/proc/meminfo: memFree=27576360/32951124 swapFree=67111528/67111528
[pid=11341] ppid=11339 vsize=154432 CPUtime=222.29
/proc/11341/stat : 11341 (pbscip.linux.x8) R 11339 11341 9887 0 -1 4202496 39319 0 0 0 22028 201 0 0 25 0 1 0 130745846 158138368 37532 4089446400 4194304 7136930 140736882764496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11341/statm: 38608 37532 394 719 0 37887 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 154432
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11350
/proc/meminfo: memFree=27352360/32951124 swapFree=67111528/67111528
[pid=11341] ppid=11339 vsize=185052 CPUtime=282.29
/proc/11341/stat : 11341 (pbscip.linux.x8) R 11339 11341 9887 0 -1 4202496 47258 0 0 0 27972 257 0 0 25 0 1 0 130745846 189493248 45471 4089446400 4194304 7136930 140736882764496 18446744073709551615 4642180 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11341/statm: 46263 45471 394 719 0 45542 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 185052
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11379
/proc/meminfo: memFree=31060168/32951124 swapFree=67111528/67111528
[pid=11341] ppid=11339 vsize=219584 CPUtime=342.3
/proc/11341/stat : 11341 (pbscip.linux.x8) R 11339 11341 9887 0 -1 4202496 54130 0 0 0 33923 307 0 0 25 0 1 0 130745846 224854016 52343 4089446400 4194304 7136930 140736882764496 18446744073709551615 4665414 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11341/statm: 54896 52343 394 719 0 54175 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 219584
[startup+402.301 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 11380
/proc/meminfo: memFree=31028888/32951124 swapFree=67111528/67111528
[pid=11341] ppid=11339 vsize=249972 CPUtime=402.3
/proc/11341/stat : 11341 (pbscip.linux.x8) R 11339 11341 9887 0 -1 4202496 61936 0 0 0 39873 357 0 0 25 0 1 0 130745846 255971328 60149 4089446400 4194304 7136930 140736882764496 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11341/statm: 62493 60149 394 719 0 61772 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 249972
[startup+462.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 11382
/proc/meminfo: memFree=30998832/32951124 swapFree=67111528/67111528
[pid=11341] ppid=11339 vsize=278472 CPUtime=462.3
/proc/11341/stat : 11341 (pbscip.linux.x8) R 11339 11341 9887 0 -1 4202496 69380 0 0 0 45818 412 0 0 25 0 1 0 130745846 285155328 67593 4089446400 4194304 7136930 140736882764496 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11341/statm: 69618 67593 394 719 0 68897 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 278472
[startup+522.301 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 11384
/proc/meminfo: memFree=30970384/32951124 swapFree=67111528/67111528
[pid=11341] ppid=11339 vsize=306256 CPUtime=522.3
/proc/11341/stat : 11341 (pbscip.linux.x8) R 11339 11341 9887 0 -1 4202496 76621 0 0 0 51765 465 0 0 25 0 1 0 130745846 313606144 74834 4089446400 4194304 7136930 140736882764496 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11341/statm: 76564 74834 394 719 0 75843 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 306256
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11386
/proc/meminfo: memFree=30943808/32951124 swapFree=67111528/67111528
[pid=11341] ppid=11339 vsize=330576 CPUtime=582.3
/proc/11341/stat : 11341 (pbscip.linux.x8) R 11339 11341 9887 0 -1 4202496 83012 0 0 0 57711 519 0 0 25 0 1 0 130745846 338509824 81225 4089446400 4194304 7136930 140736882764496 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11341/statm: 82644 81225 394 719 0 81923 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 330576
[startup+642.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11387
/proc/meminfo: memFree=30915976/32951124 swapFree=67111528/67111528
[pid=11341] ppid=11339 vsize=357752 CPUtime=642.31
/proc/11341/stat : 11341 (pbscip.linux.x8) R 11339 11341 9887 0 -1 4202496 89952 0 0 0 63658 573 0 0 25 0 1 0 130745846 366338048 88165 4089446400 4194304 7136930 140736882764496 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11341/statm: 89438 88165 394 719 0 88717 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 357752
[startup+702.3 s]
################
# More data... #
################
/proc/11341/stat : 11341 (pbscip.linux.x8) R 11339 11341 9887 0 -1 4202496 131938 0 0 0 99342 889 0 0 25 0 1 0 130745846 548569088 130147 4089446400 4194304 7136930 140736882764496 18446744073709551615 4436491 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11341/statm: 133928 130147 397 719 0 133207 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 535712
[startup+1062.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 11398
/proc/meminfo: memFree=30721836/32951124 swapFree=67111528/67111528
[pid=11341] ppid=11339 vsize=560148 CPUtime=1062.32
/proc/11341/stat : 11341 (pbscip.linux.x8) R 11339 11341 9887 0 -1 4202496 138375 0 0 0 105284 948 0 0 25 0 1 0 130745846 573591552 136584 4089446400 4194304 7136930 140736882764496 18446744073709551615 4407949 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11341/statm: 140037 136584 397 719 0 139316 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 560148
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11400
/proc/meminfo: memFree=30693264/32951124 swapFree=67111528/67111528
[pid=11341] ppid=11339 vsize=587148 CPUtime=1122.32
/proc/11341/stat : 11341 (pbscip.linux.x8) R 11339 11341 9887 0 -1 4202496 145367 0 0 0 111234 998 0 0 25 0 1 0 130745846 601239552 143576 4089446400 4194304 7136930 140736882764496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11341/statm: 146787 143576 397 719 0 146066 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 587148
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11411
/proc/meminfo: memFree=30665188/32951124 swapFree=67111528/67111528
[pid=11341] ppid=11339 vsize=613844 CPUtime=1182.32
/proc/11341/stat : 11341 (pbscip.linux.x8) R 11339 11341 9887 0 -1 4202496 152311 0 0 0 117180 1052 0 0 25 0 1 0 130745846 628576256 150520 4089446400 4194304 7136930 140736882764496 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11341/statm: 153461 150520 397 719 0 152740 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 613844
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11412
/proc/meminfo: memFree=30634752/32951124 swapFree=67111528/67111528
[pid=11341] ppid=11339 vsize=642908 CPUtime=1242.33
/proc/11341/stat : 11341 (pbscip.linux.x8) R 11339 11341 9887 0 -1 4202496 159849 0 0 0 123127 1106 0 0 25 0 1 0 130745846 658337792 158058 4089446400 4194304 7136930 140736882764496 18446744073709551615 4697665 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11341/statm: 160727 158058 397 719 0 160006 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 642908
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11413
/proc/meminfo: memFree=30606192/32951124 swapFree=67111528/67111528
[pid=11341] ppid=11339 vsize=669696 CPUtime=1302.33
/proc/11341/stat : 11341 (pbscip.linux.x8) R 11339 11341 9887 0 -1 4202496 166839 0 0 0 129070 1163 0 0 25 0 1 0 130745846 685768704 165048 4089446400 4194304 7136930 140736882764496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11341/statm: 167424 165048 397 719 0 166703 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 669696
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11415
/proc/meminfo: memFree=30578492/32951124 swapFree=67111528/67111528
[pid=11341] ppid=11339 vsize=728804 CPUtime=1362.33
/proc/11341/stat : 11341 (pbscip.linux.x8) R 11339 11341 9887 0 -1 4202496 173720 0 0 0 135015 1218 0 0 25 0 1 0 130745846 746295296 171929 4089446400 4194304 7136930 140736882764496 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11341/statm: 182201 171929 397 719 0 181480 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 728804
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11417
/proc/meminfo: memFree=30551788/32951124 swapFree=67111528/67111528
[pid=11341] ppid=11339 vsize=754492 CPUtime=1422.34
/proc/11341/stat : 11341 (pbscip.linux.x8) R 11339 11341 9887 0 -1 4202496 180448 0 0 0 140966 1268 0 0 25 0 1 0 130745846 772599808 178657 4089446400 4194304 7136930 140736882764496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11341/statm: 188623 178657 397 719 0 187902 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 754492
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11419
/proc/meminfo: memFree=30524712/32951124 swapFree=67111528/67111528
[pid=11341] ppid=11339 vsize=780384 CPUtime=1482.33
/proc/11341/stat : 11341 (pbscip.linux.x8) R 11339 11341 9887 0 -1 4202496 187273 0 0 0 146909 1324 0 0 25 0 1 0 130745846 799113216 185482 4089446400 4194304 7136930 140736882764496 18446744073709551615 4436491 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11341/statm: 195096 185482 397 719 0 194375 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 780384
[startup+1542.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 11420
/proc/meminfo: memFree=30496508/32951124 swapFree=67111528/67111528
[pid=11341] ppid=11339 vsize=806784 CPUtime=1542.34
/proc/11341/stat : 11341 (pbscip.linux.x8) R 11339 11341 9887 0 -1 4202496 194184 0 0 0 152856 1378 0 0 25 0 1 0 130745846 826146816 192393 4089446400 4194304 7136930 140736882764496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11341/statm: 201696 192393 397 719 0 200975 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 806784
[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 11421
/proc/meminfo: memFree=30467328/32951124 swapFree=67111528/67111528
[pid=11341] ppid=11339 vsize=834528 CPUtime=1602.33
/proc/11341/stat : 11341 (pbscip.linux.x8) R 11339 11341 9887 0 -1 4202496 201422 0 0 0 158802 1431 0 0 25 0 1 0 130745846 854556672 199631 4089446400 4194304 7136930 140736882764496 18446744073709551615 4697665 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11341/statm: 208632 199631 397 719 0 207911 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 834528
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11423
/proc/meminfo: memFree=30441360/32951124 swapFree=67111528/67111528
[pid=11341] ppid=11339 vsize=859524 CPUtime=1662.33
/proc/11341/stat : 11341 (pbscip.linux.x8) R 11339 11341 9887 0 -1 4202496 207985 0 0 0 164746 1487 0 0 25 0 1 0 130745846 880152576 206194 4089446400 4194304 7136930 140736882764496 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11341/statm: 214881 206194 397 719 0 214160 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 859524
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11425
/proc/meminfo: memFree=30413296/32951124 swapFree=67111528/67111528
[pid=11341] ppid=11339 vsize=886336 CPUtime=1722.34
/proc/11341/stat : 11341 (pbscip.linux.x8) R 11339 11341 9887 0 -1 4202496 214938 0 0 0 170691 1543 0 0 25 0 1 0 130745846 907608064 213147 4089446400 4194304 7136930 140736882764496 18446744073709551615 5892251 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11341/statm: 221584 213147 397 719 0 220863 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 886336
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11427
/proc/meminfo: memFree=30385716/32951124 swapFree=67111528/67111528
[pid=11341] ppid=11339 vsize=912100 CPUtime=1782.34
/proc/11341/stat : 11341 (pbscip.linux.x8) R 11339 11341 9887 0 -1 4202496 221713 0 0 0 176636 1598 0 0 25 0 1 0 130745846 933990400 219922 4089446400 4194304 7136930 140736882764496 18446744073709551615 4697669 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11341/statm: 228025 219922 397 719 0 227304 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 912100
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11427
/proc/meminfo: memFree=30375908/32951124 swapFree=67111528/67111528
[pid=11341] ppid=11339 vsize=921596 CPUtime=1800.05
/proc/11341/stat : 11341 (pbscip.linux.x8) R 11339 11341 9887 0 -1 4202496 224171 0 0 0 178391 1614 0 0 25 0 1 0 130745846 943714304 222380 4089446400 4194304 7136930 140736882764496 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11341/statm: 230399 222380 397 719 0 229678 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 921596
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -11341
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 11428
/proc/meminfo: memFree=30375400/32951124 swapFree=67111528/67111528
[pid=11341] ppid=11339 vsize=881140 CPUtime=1801.44
/proc/11341/stat : 11341 (pbscip.linux.x8) R 11339 11341 9887 0 -1 4202496 224313 0 0 0 178530 1614 0 0 19 0 1 0 130745846 902287360 212286 4089446400 4194304 7136930 140736882764496 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/11341/statm: 220285 212286 402 719 0 219564 0
Current children cumulated CPU time (s) 1801.44
Current children cumulated vsize (KiB) 881140
[startup+1801.81 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 11428
/proc/meminfo: memFree=30462820/32951124 swapFree=67111528/67111528
[pid=11341] ppid=11339 vsize=811220 CPUtime=1801.85
/proc/11341/stat : 11341 (pbscip.linux.x8) R 11339 11341 9887 0 -1 4202496 224314 0 0 0 178571 1614 0 0 20 0 1 0 130745846 830689280 194806 4089446400 4194304 7136930 140736882764496 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/11341/statm: 202805 194806 402 719 0 202084 0
Current children cumulated CPU time (s) 1801.85
Current children cumulated vsize (KiB) 811220
[startup+1802 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 11428
/proc/meminfo: memFree=30462820/32951124 swapFree=67111528/67111528
[pid=11341] ppid=11339 vsize=771600 CPUtime=1802.04
/proc/11341/stat : 11341 (pbscip.linux.x8) R 11339 11341 9887 0 -1 4202496 224314 0 0 0 178590 1614 0 0 20 0 1 0 130745846 790118400 184901 4089446400 4194304 7136930 140736882764496 18446744073709551615 6165648 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/11341/statm: 192900 184901 402 719 0 192179 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 771600
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.03
CPU time (s): 1802.08
CPU user time (s): 1785.91
CPU system time (s): 16.1655
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 921720
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1785.91
system time used= 16.1655
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 224314
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= 3
involuntary context switches= 3086
runsolver used 2.6446 second user time and 5.57515 second system time
The end
Begin job on node137 at 2010-06-30 12:41:44
IDJOB=2693820
IDBENCH=78737
IDSOLVER=1206
FILE ID=node137/2693820-1277894504
PBS_JOBID= 11197080
Free space on /tmp= 74208 MiB
SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-95-90--soft-66-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2693820-1277894504/watcher-2693820-1277894504 -o /tmp/evaluation-result-2693820-1277894504/solver-2693820-1277894504 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693820-1277894504.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 3f020b13e6cf17982f0e6d51d5561da8
RANDOM SEED=180560341
node137.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.876
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.876
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.876
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.876
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.876
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.876
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.876
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.876
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 28364412 kB
Buffers: 176420 kB
Cached: 1260344 kB
SwapCached: 0 kB
Active: 3531420 kB
Inactive: 908308 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 28364412 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 3272 kB
Writeback: 0 kB
AnonPages: 3002380 kB
Mapped: 15024 kB
Slab: 79368 kB
PageTables: 10620 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 3149476 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 74208 MiB
End job on node137 at 2010-06-30 13:11:46