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-2693788-1277892685.wbo>
0.00/0.03 c original problem has 10376 variables (10238 bin, 0 int, 0 impl, 138 cont) and 340 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.00/0.03 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.06/0.06 c presolving:
0.06/0.06 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 138 impls, 27 clqs
0.06/0.07 c (round 2) 0 del vars, 1 del conss, 138 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 138 impls, 27 clqs
0.06/0.07 c (round 3) 0 del vars, 1 del conss, 138 chg bounds, 0 chg sides, 0 chg coeffs, 36 upgd conss, 138 impls, 27 clqs
0.06/0.08 c (round 4) 0 del vars, 1 del conss, 138 chg bounds, 0 chg sides, 0 chg coeffs, 63 upgd conss, 138 impls, 27 clqs
0.09/0.16 c (0.1s) probing: 101/10238 (1.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.16 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.16 c presolving (5 rounds):
0.09/0.16 c 0 deleted vars, 1 deleted constraints, 138 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.16 c 138 implications, 27 cliques
0.09/0.16 c presolved problem has 10376 variables (10238 bin, 0 int, 0 impl, 138 cont) and 339 constraints
0.09/0.16 c 138 constraints of type <indicator>
0.09/0.16 c 27 constraints of type <setppc>
0.09/0.16 c 138 constraints of type <linear>
0.09/0.16 c 36 constraints of type <logicor>
0.09/0.16 c transformed objective value is always integral (scale: 1)
0.09/0.16 c Presolving Time: 0.11
0.09/0.16 c - non default parameters ----------------------------------------------------------------------
0.09/0.16 c # SCIP version 1.2.1.2
0.09/0.16 c
0.09/0.16 c # frequency for displaying node information lines
0.09/0.16 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.16 c display/freq = 10000
0.09/0.16 c
0.09/0.16 c # maximal time in seconds to run
0.09/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.16 c limits/time = 1799.98
0.09/0.16 c
0.09/0.16 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.16 c limits/memory = 3420
0.09/0.16 c
0.09/0.16 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.16 c lp/solvefreq = -1
0.09/0.16 c
0.09/0.16 c # should presolving try to simplify inequalities
0.09/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16 c constraints/linear/simplifyinequalities = TRUE
0.09/0.16 c
0.09/0.16 c # should presolving try to simplify knapsacks
0.09/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.16 c
0.09/0.16 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.16 c separating/rapidlearning/freq = 0
0.09/0.16 c
0.09/0.16 c -----------------------------------------------------------------------------------------------
0.09/0.16 c start solving
0.09/0.16 c
0.09/0.17 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.17 c 0.1s| 1 | 2 | 0 | - | 18M| 0 | - | 10k| 339 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
6.50/6.51 c 6.4s| 10000 | 9996 | 0 | 0.0 | 23M|8309 | - | 10k| 362 | 0 | 0 | 0 | 23 | 0 | 0.000000e+00 | -- | Inf
11.89/11.96 c 11.8s| 20000 | 19984 | 0 | 0.0 | 26M|8804 | - | 10k| 380 | 0 | 0 | 0 | 81 | 0 | 0.000000e+00 | -- | Inf
18.39/18.47 c 18.2s| 30000 | 29971 | 0 | 0.0 | 29M|8804 | - | 10k| 370 | 0 | 0 | 0 | 151 | 0 | 0.000000e+00 | -- | Inf
22.59/22.64 c 22.4s| 40000 | 39960 | 0 | 0.0 | 32M|8804 | - | 10k| 389 | 0 | 0 | 0 | 210 | 0 | 0.000000e+00 | -- | Inf
27.69/27.77 c 27.4s| 50000 | 49954 | 0 | 0.0 | 35M|8804 | - | 10k| 382 | 0 | 0 | 0 | 240 | 0 | 0.000000e+00 | -- | Inf
33.39/33.46 c 33.1s| 60000 | 59946 | 0 | 0.0 | 37M|8804 | - | 10k| 366 | 0 | 0 | 0 | 280 | 0 | 0.000000e+00 | -- | Inf
39.19/39.22 c 38.8s| 70000 | 69934 | 0 | 0.0 | 40M|8804 | - | 10k| 380 | 0 | 0 | 0 | 340 | 0 | 0.000000e+00 | -- | Inf
44.79/44.87 c 44.4s| 80000 | 79926 | 0 | 0.0 | 43M|8804 | - | 10k| 374 | 0 | 0 | 0 | 380 | 0 | 0.000000e+00 | -- | Inf
51.59/51.62 c 51.0s| 90000 | 89916 | 0 | 0.0 | 46M|8804 | - | 10k| 360 | 0 | 0 | 0 | 430 | 0 | 0.000000e+00 | -- | Inf
58.40/58.43 c 57.8s|100000 | 99906 | 0 | 0.0 | 49M|8804 | - | 10k| 359 | 0 | 0 | 0 | 480 | 0 | 0.000000e+00 | -- | Inf
64.39/64.46 c 63.8s|110000 |109894 | 0 | 0.0 | 52M|8804 | - | 10k| 390 | 0 | 0 | 0 | 540 | 0 | 0.000000e+00 | -- | Inf
70.79/70.84 c 70.1s|120000 |119886 | 0 | 0.0 | 55M|8804 | - | 10k| 382 | 0 | 0 | 0 | 580 | 0 | 0.000000e+00 | -- | Inf
76.59/76.64 c 75.8s|130000 |129874 | 0 | 0.0 | 58M|8804 | - | 10k| 404 | 0 | 0 | 0 | 640 | 0 | 0.000000e+00 | -- | Inf
83.50/83.51 c 82.6s|140000 |139870 | 0 | 0.0 | 61M|8804 | - | 10k| 376 | 0 | 0 | 0 | 660 | 0 | 0.000000e+00 | -- | Inf
90.09/90.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
90.09/90.11 c 89.2s|150000 |149862 | 0 | 0.0 | 64M|8804 | - | 10k| 392 | 0 | 0 | 0 | 700 | 0 | 0.000000e+00 | -- | Inf
96.19/96.24 c 95.2s|160000 |159852 | 0 | 0.0 | 67M|8804 | - | 10k| 405 | 0 | 0 | 0 | 750 | 0 | 0.000000e+00 | -- | Inf
102.99/103.01 c 102s|170000 |169848 | 0 | 0.0 | 70M|8804 | - | 10k| 385 | 0 | 0 | 0 | 770 | 0 | 0.000000e+00 | -- | Inf
109.39/109.46 c 108s|180000 |179840 | 0 | 0.0 | 73M|8804 | - | 10k| 394 | 0 | 0 | 0 | 810 | 0 | 0.000000e+00 | -- | Inf
115.90/115.92 c 115s|190000 |189836 | 0 | 0.0 | 76M|8804 | - | 10k| 391 | 0 | 0 | 0 | 830 | 0 | 0.000000e+00 | -- | Inf
122.69/122.75 c 121s|200000 |199826 | 0 | 0.0 | 79M|8804 | - | 10k| 409 | 0 | 0 | 0 | 880 | 0 | 0.000000e+00 | -- | Inf
129.10/129.10 c 128s|210000 |209820 | 0 | 0.0 | 81M|8804 | - | 10k| 408 | 0 | 0 | 0 | 910 | 0 | 0.000000e+00 | -- | Inf
135.79/135.89 c 134s|220000 |219812 | 0 | 0.0 | 84M|8804 | - | 10k| 422 | 0 | 0 | 0 | 950 | 0 | 0.000000e+00 | -- | Inf
142.40/142.41 c 141s|230000 |229808 | 0 | 0.0 | 87M|8804 | - | 10k| 419 | 0 | 0 | 0 | 970 | 0 | 0.000000e+00 | -- | Inf
148.80/148.85 c 147s|240000 |239800 | 0 | 0.0 | 90M|8804 | - | 10k| 428 | 0 | 0 | 0 |1010 | 0 | 0.000000e+00 | -- | Inf
155.79/155.81 c 154s|250000 |249796 | 0 | 0.0 | 93M|8804 | - | 10k| 434 | 0 | 0 | 0 |1030 | 0 | 0.000000e+00 | -- | Inf
161.99/162.01 c 160s|260000 |259790 | 0 | 0.0 | 95M|8804 | - | 10k| 429 | 0 | 0 | 0 |1060 | 0 | 0.000000e+00 | -- | Inf
168.69/168.71 c 167s|270000 |269778 | 0 | 0.0 | 98M|8804 | - | 10k| 460 | 0 | 0 | 0 |1120 | 0 | 0.000000e+00 | -- | Inf
175.29/175.38 c 174s|280000 |279774 | 0 | 0.0 | 101M|8804 | - | 10k| 458 | 0 | 0 | 0 |1140 | 0 | 0.000000e+00 | -- | Inf
181.60/181.63 c 180s|290000 |289764 | 0 | 0.0 | 104M|8804 | - | 10k| 487 | 0 | 0 | 0 |1190 | 0 | 0.000000e+00 | -- | Inf
187.69/187.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
187.69/187.76 c 186s|300000 |299752 | 0 | 0.0 | 107M|8804 | - | 10k| 500 | 0 | 0 | 0 |1250 | 0 | 0.000000e+00 | -- | Inf
194.50/194.59 c 193s|310000 |309746 | 0 | 0.0 | 109M|8804 | - | 10k| 511 | 0 | 0 | 0 |1280 | 0 | 0.000000e+00 | -- | Inf
200.99/201.09 c 199s|320000 |319742 | 0 | 0.0 | 112M|8804 | - | 10k| 511 | 0 | 0 | 0 |1300 | 0 | 0.000000e+00 | -- | Inf
207.40/207.40 c 205s|330000 |329738 | 0 | 0.0 | 115M|8804 | - | 10k| 510 | 0 | 0 | 0 |1320 | 0 | 0.000000e+00 | -- | Inf
213.40/213.41 c 211s|340000 |339734 | 0 | 0.0 | 117M|8804 | - | 10k| 508 | 0 | 0 | 0 |1340 | 0 | 0.000000e+00 | -- | Inf
219.69/219.74 c 218s|350000 |349724 | 0 | 0.0 | 120M|8804 | - | 10k| 525 | 0 | 0 | 0 |1390 | 0 | 0.000000e+00 | -- | Inf
226.50/226.59 c 224s|360000 |359718 | 0 | 0.0 | 123M|8804 | - | 10k| 531 | 0 | 0 | 0 |1420 | 0 | 0.000000e+00 | -- | Inf
233.10/233.19 c 231s|370000 |369715 | 0 | 0.0 | 125M|8804 | - | 10k| 527 | 0 | 0 | 0 |1440 | 0 | 0.000000e+00 | -- | Inf
239.39/239.40 c 237s|380000 |379712 | 0 | 0.0 | 128M|8804 | - | 10k| 522 | 0 | 0 | 0 |1456 | 0 | 0.000000e+00 | -- | Inf
245.69/245.75 c 243s|390000 |389702 | 0 | 0.0 | 131M|8804 | - | 10k| 538 | 0 | 0 | 0 |1506 | 0 | 0.000000e+00 | -- | Inf
252.79/252.80 c 250s|400000 |399699 | 0 | 0.0 | 133M|8804 | - | 10k| 529 | 0 | 0 | 0 |1526 | 0 | 0.000000e+00 | -- | Inf
259.40/259.47 c 257s|410000 |409695 | 0 | 0.0 | 136M|8804 | - | 10k| 532 | 0 | 0 | 0 |1546 | 0 | 0.000000e+00 | -- | Inf
265.90/265.99 c 263s|420000 |419688 | 0 | 0.0 | 139M|8804 | - | 10k| 551 | 0 | 0 | 0 |1586 | 0 | 0.000000e+00 | -- | Inf
272.10/272.19 c 269s|430000 |429680 | 0 | 0.0 | 141M|8804 | - | 10k| 550 | 0 | 0 | 0 |1626 | 0 | 0.000000e+00 | -- | Inf
279.20/279.21 c 276s|440000 |439670 | 0 | 0.0 | 144M|8804 | - | 10k| 551 | 0 | 0 | 0 |1676 | 0 | 0.000000e+00 | -- | Inf
285.90/285.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
285.90/285.97 c 283s|450000 |449666 | 0 | 0.0 | 147M|8804 | - | 10k| 536 | 0 | 0 | 0 |1696 | 0 | 0.000000e+00 | -- | Inf
292.40/292.43 c 289s|460000 |459658 | 0 | 0.0 | 149M|8804 | - | 10k| 565 | 0 | 0 | 0 |1736 | 0 | 0.000000e+00 | -- | Inf
298.40/298.45 c 295s|470000 |469650 | 0 | 0.0 | 152M|8804 | - | 10k| 551 | 0 | 0 | 0 |1776 | 0 | 0.000000e+00 | -- | Inf
304.50/304.51 c 301s|480000 |479640 | 0 | 0.0 | 155M|8804 | - | 10k| 572 | 0 | 0 | 0 |1826 | 0 | 0.000000e+00 | -- | Inf
311.50/311.56 c 308s|490000 |489634 | 0 | 0.0 | 157M|8804 | - | 10k| 582 | 0 | 0 | 0 |1856 | 0 | 0.000000e+00 | -- | Inf
318.10/318.18 c 315s|500000 |499630 | 0 | 0.0 | 160M|8804 | - | 10k| 572 | 0 | 0 | 0 |1876 | 0 | 0.000000e+00 | -- | Inf
324.79/324.87 c 322s|510000 |509620 | 0 | 0.0 | 163M|8804 | - | 10k| 597 | 0 | 0 | 0 |1926 | 0 | 0.000000e+00 | -- | Inf
330.69/330.72 c 327s|520000 |519605 | 0 | 0.0 | 166M|8804 | - | 10k| 606 | 0 | 0 | 0 |1996 | 0 | 0.000000e+00 | -- | Inf
337.71/337.72 c 334s|530000 |529601 | 0 | 0.0 | 168M|8804 | - | 10k| 596 | 0 | 0 | 0 |2016 | 0 | 0.000000e+00 | -- | Inf
344.50/344.53 c 341s|540000 |539593 | 0 | 0.0 | 171M|8804 | - | 10k| 612 | 0 | 0 | 0 |2056 | 0 | 0.000000e+00 | -- | Inf
351.00/351.04 c 348s|550000 |549587 | 0 | 0.0 | 174M|8804 | - | 10k| 598 | 0 | 0 | 0 |2086 | 0 | 0.000000e+00 | -- | Inf
357.00/357.06 c 353s|560000 |559579 | 0 | 0.0 | 176M|8804 | - | 10k| 596 | 0 | 0 | 0 |2126 | 0 | 0.000000e+00 | -- | Inf
364.30/364.38 c 361s|570000 |569569 | 0 | 0.0 | 179M|8804 | - | 10k| 600 | 0 | 0 | 0 |2176 | 0 | 0.000000e+00 | -- | Inf
371.30/371.38 c 368s|580000 |579561 | 0 | 0.0 | 182M|8804 | - | 10k| 624 | 0 | 0 | 0 |2216 | 0 | 0.000000e+00 | -- | Inf
377.90/377.91 c 374s|590000 |589555 | 0 | 0.0 | 184M|8804 | - | 10k| 609 | 0 | 0 | 0 |2246 | 0 | 0.000000e+00 | -- | Inf
384.10/384.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
384.10/384.14 c 380s|600000 |599549 | 0 | 0.0 | 187M|8804 | - | 10k| 590 | 0 | 0 | 0 |2276 | 0 | 0.000000e+00 | -- | Inf
391.69/391.79 c 388s|610000 |609539 | 0 | 0.0 | 190M|8804 | - | 10k| 617 | 0 | 0 | 0 |2326 | 0 | 0.000000e+00 | -- | Inf
398.60/398.69 c 395s|620000 |619535 | 0 | 0.0 | 193M|8804 | - | 10k| 606 | 0 | 0 | 0 |2346 | 0 | 0.000000e+00 | -- | Inf
405.19/405.28 c 401s|630000 |629531 | 0 | 0.0 | 195M|8804 | - | 10k| 604 | 0 | 0 | 0 |2366 | 0 | 0.000000e+00 | -- | Inf
411.69/411.75 c 407s|640000 |639527 | 0 | 0.0 | 198M|8804 | - | 10k| 596 | 0 | 0 | 0 |2386 | 0 | 0.000000e+00 | -- | Inf
419.00/419.04 c 414s|650000 |649513 | 0 | 0.0 | 201M|8804 | - | 10k| 631 | 0 | 0 | 0 |2456 | 0 | 0.000000e+00 | -- | Inf
425.90/426.00 c 421s|660000 |659507 | 0 | 0.0 | 203M|8804 | - | 10k| 619 | 0 | 0 | 0 |2486 | 0 | 0.000000e+00 | -- | Inf
433.19/433.24 c 428s|670000 |669499 | 0 | 0.0 | 206M|8804 | - | 10k| 641 | 0 | 0 | 0 |2526 | 0 | 0.000000e+00 | -- | Inf
439.50/439.50 c 434s|680000 |679491 | 0 | 0.0 | 209M|8804 | - | 10k| 638 | 0 | 0 | 0 |2566 | 0 | 0.000000e+00 | -- | Inf
446.30/446.30 c 441s|690000 |689481 | 0 | 0.0 | 211M|8804 | - | 10k| 640 | 0 | 0 | 0 |2616 | 0 | 0.000000e+00 | -- | Inf
453.40/453.42 c 448s|700000 |699475 | 0 | 0.0 | 214M|8804 | - | 10k| 648 | 0 | 0 | 0 |2646 | 0 | 0.000000e+00 | -- | Inf
460.20/460.22 c 455s|710000 |709471 | 0 | 0.0 | 217M|8804 | - | 10k| 643 | 0 | 0 | 0 |2666 | 0 | 0.000000e+00 | -- | Inf
466.59/466.62 c 461s|720000 |719465 | 0 | 0.0 | 219M|8804 | - | 10k| 655 | 0 | 0 | 0 |2696 | 0 | 0.000000e+00 | -- | Inf
472.80/472.86 c 467s|730000 |729459 | 0 | 0.0 | 222M|8804 | - | 10k| 646 | 0 | 0 | 0 |2726 | 0 | 0.000000e+00 | -- | Inf
480.20/480.20 c 474s|740000 |739447 | 0 | 0.0 | 225M|8804 | - | 10k| 662 | 0 | 0 | 0 |2786 | 0 | 0.000000e+00 | -- | Inf
487.30/487.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
487.30/487.39 c 481s|750000 |749441 | 0 | 0.0 | 228M|8804 | - | 10k| 676 | 0 | 0 | 0 |2816 | 0 | 0.000000e+00 | -- | Inf
494.29/494.39 c 488s|760000 |759435 | 0 | 0.0 | 230M|8804 | - | 10k| 676 | 0 | 0 | 0 |2846 | 0 | 0.000000e+00 | -- | Inf
500.60/500.68 c 494s|770000 |769427 | 0 | 0.0 | 233M|8804 | - | 10k| 680 | 0 | 0 | 0 |2880 | 0 | 0.000000e+00 | -- | Inf
507.20/507.22 c 501s|780000 |779421 | 0 | 0.0 | 235M|8804 | - | 10k| 659 | 0 | 0 | 0 |2910 | 0 | 0.000000e+00 | -- | Inf
513.79/513.85 c 507s|790000 |789409 | 0 | 0.0 | 238M|8804 | - | 10k| 692 | 0 | 0 | 0 |2970 | 0 | 0.000000e+00 | -- | Inf
520.60/520.69 c 514s|800000 |799405 | 0 | 0.0 | 241M|8804 | - | 10k| 680 | 0 | 0 | 0 |2990 | 0 | 0.000000e+00 | -- | Inf
527.91/527.90 c 521s|810000 |809397 | 0 | 0.0 | 244M|8804 | - | 10k| 704 | 0 | 0 | 0 |3030 | 0 | 0.000000e+00 | -- | Inf
534.19/534.28 c 527s|820000 |819393 | 0 | 0.0 | 246M|8804 | - | 10k| 690 | 0 | 0 | 0 |3050 | 0 | 0.000000e+00 | -- | Inf
540.59/540.66 c 533s|830000 |829387 | 0 | 0.0 | 249M|8804 | - | 10k| 680 | 0 | 0 | 0 |3080 | 0 | 0.000000e+00 | -- | Inf
548.30/548.30 c 541s|840000 |839363 | 0 | 0.0 | 252M|8804 | - | 10k| 743 | 0 | 0 | 0 |3200 | 0 | 0.000000e+00 | -- | Inf
555.80/555.80 c 548s|850000 |849357 | 0 | 0.0 | 254M|8804 | - | 10k| 700 | 0 | 0 | 0 |3230 | 0 | 0.000000e+00 | -- | Inf
562.90/562.91 c 555s|860000 |859349 | 0 | 0.0 | 257M|8804 | - | 10k| 711 | 0 | 0 | 0 |3270 | 0 | 0.000000e+00 | -- | Inf
569.40/569.47 c 561s|870000 |869343 | 0 | 0.0 | 260M|8804 | - | 10k| 708 | 0 | 0 | 0 |3300 | 0 | 0.000000e+00 | -- | Inf
575.59/575.61 c 567s|880000 |879339 | 0 | 0.0 | 262M|8804 | - | 10k| 683 | 0 | 0 | 0 |3320 | 0 | 0.000000e+00 | -- | Inf
582.20/582.25 c 574s|890000 |889327 | 0 | 0.0 | 265M|8804 | - | 10k| 712 | 0 | 0 | 0 |3380 | 0 | 0.000000e+00 | -- | Inf
589.40/589.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
589.40/589.49 c 581s|900000 |899323 | 0 | 0.0 | 268M|8804 | - | 10k| 708 | 0 | 0 | 0 |3400 | 0 | 0.000000e+00 | -- | Inf
596.10/596.17 c 587s|910000 |909319 | 0 | 0.0 | 270M|8804 | - | 10k| 709 | 0 | 0 | 0 |3420 | 0 | 0.000000e+00 | -- | Inf
603.10/603.17 c 594s|920000 |919311 | 0 | 0.0 | 273M|8804 | - | 10k| 730 | 0 | 0 | 0 |3460 | 0 | 0.000000e+00 | -- | Inf
608.80/608.89 c 600s|930000 |929307 | 0 | 0.0 | 275M|8804 | - | 10k| 702 | 0 | 0 | 0 |3480 | 0 | 0.000000e+00 | -- | Inf
615.79/615.85 c 607s|940000 |939297 | 0 | 0.0 | 278M|8804 | - | 10k| 727 | 0 | 0 | 0 |3530 | 0 | 0.000000e+00 | -- | Inf
623.00/623.01 c 614s|950000 |949291 | 0 | 0.0 | 281M|8804 | - | 10k| 725 | 0 | 0 | 0 |3560 | 0 | 0.000000e+00 | -- | Inf
629.90/629.94 c 620s|960000 |959285 | 0 | 0.0 | 283M|8804 | - | 10k| 721 | 0 | 0 | 0 |3590 | 0 | 0.000000e+00 | -- | Inf
636.50/636.54 c 627s|970000 |969279 | 0 | 0.0 | 286M|8804 | - | 10k| 719 | 0 | 0 | 0 |3620 | 0 | 0.000000e+00 | -- | Inf
643.10/643.15 c 633s|980000 |979273 | 0 | 0.0 | 289M|8804 | - | 10k| 703 | 0 | 0 | 0 |3650 | 0 | 0.000000e+00 | -- | Inf
650.40/650.40 c 640s|990000 |989261 | 0 | 0.0 | 292M|8804 | - | 10k| 722 | 0 | 0 | 0 |3704 | 0 | 0.000000e+00 | -- | Inf
657.40/657.47 c 647s| 1000k|999253 | 0 | 0.0 | 294M|8804 | - | 10k| 736 | 0 | 0 | 0 |3744 | 0 | 0.000000e+00 | -- | Inf
664.31/664.31 c 654s| 1010k| 1009k| 0 | 0.0 | 297M|8804 | - | 10k| 729 | 0 | 0 | 0 |3774 | 0 | 0.000000e+00 | -- | Inf
670.70/670.76 c 660s| 1020k| 1019k| 0 | 0.0 | 299M|8804 | - | 10k| 723 | 0 | 0 | 0 |3794 | 0 | 0.000000e+00 | -- | Inf
677.10/677.14 c 666s| 1030k| 1029k| 0 | 0.0 | 302M|8804 | - | 10k| 724 | 0 | 0 | 0 |3824 | 0 | 0.000000e+00 | -- | Inf
684.60/684.69 c 674s| 1040k| 1039k| 0 | 0.0 | 305M|8804 | - | 10k| 740 | 0 | 0 | 0 |3884 | 0 | 0.000000e+00 | -- | Inf
692.50/692.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
692.50/692.56 c 682s| 1050k| 1049k| 0 | 0.0 | 308M|8804 | - | 10k| 778 | 0 | 0 | 0 |3954 | 0 | 0.000000e+00 | -- | Inf
699.61/699.62 c 688s| 1060k| 1059k| 0 | 0.0 | 310M|8804 | - | 10k| 767 | 0 | 0 | 0 |3994 | 0 | 0.000000e+00 | -- | Inf
706.31/706.34 c 695s| 1070k| 1069k| 0 | 0.0 | 313M|8804 | - | 10k| 751 | 0 | 0 | 0 |4024 | 0 | 0.000000e+00 | -- | Inf
712.60/712.62 c 701s| 1080k| 1079k| 0 | 0.0 | 315M|8804 | - | 10k| 741 | 0 | 0 | 0 |4054 | 0 | 0.000000e+00 | -- | Inf
719.50/719.59 c 708s| 1090k| 1089k| 0 | 0.0 | 318M|8804 | - | 10k| 764 | 0 | 0 | 0 |4124 | 0 | 0.000000e+00 | -- | Inf
727.21/727.20 c 715s| 1100k| 1099k| 0 | 0.0 | 321M|8804 | - | 10k| 776 | 0 | 0 | 0 |4184 | 0 | 0.000000e+00 | -- | Inf
733.80/733.83 c 722s| 1110k| 1109k| 0 | 0.0 | 323M|8804 | - | 10k| 740 | 0 | 0 | 0 |4204 | 0 | 0.000000e+00 | -- | Inf
740.31/740.33 c 728s| 1120k| 1119k| 0 | 0.0 | 326M|8804 | - | 10k| 745 | 0 | 0 | 0 |4224 | 0 | 0.000000e+00 | -- | Inf
746.71/746.71 c 734s| 1130k| 1129k| 0 | 0.0 | 329M|8804 | - | 10k| 758 | 0 | 0 | 0 |4254 | 0 | 0.000000e+00 | -- | Inf
752.90/752.91 c 740s| 1140k| 1139k| 0 | 0.0 | 331M|8804 | - | 10k| 749 | 0 | 0 | 0 |4284 | 0 | 0.000000e+00 | -- | Inf
760.40/760.42 c 748s| 1150k| 1149k| 0 | 0.0 | 334M|8804 | - | 10k| 768 | 0 | 0 | 0 |4344 | 0 | 0.000000e+00 | -- | Inf
767.50/767.58 c 755s| 1160k| 1159k| 0 | 0.0 | 337M|8804 | - | 10k| 783 | 0 | 0 | 0 |4384 | 0 | 0.000000e+00 | -- | Inf
774.61/774.64 c 762s| 1170k| 1169k| 0 | 0.0 | 339M|8804 | - | 10k| 778 | 0 | 0 | 0 |4414 | 0 | 0.000000e+00 | -- | Inf
781.31/781.36 c 768s| 1180k| 1179k| 0 | 0.0 | 342M|8804 | - | 10k| 767 | 0 | 0 | 0 |4434 | 0 | 0.000000e+00 | -- | Inf
788.20/788.21 c 775s| 1190k| 1189k| 0 | 0.0 | 345M|8804 | - | 10k| 773 | 0 | 0 | 0 |4474 | 0 | 0.000000e+00 | -- | Inf
795.71/795.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
795.71/795.71 c 782s| 1200k| 1199k| 0 | 0.0 | 347M|8804 | - | 10k| 771 | 0 | 0 | 0 |4524 | 0 | 0.000000e+00 | -- | Inf
802.91/802.92 c 789s| 1210k| 1209k| 0 | 0.0 | 350M|8804 | - | 10k| 775 | 0 | 0 | 0 |4554 | 0 | 0.000000e+00 | -- | Inf
809.90/809.94 c 796s| 1220k| 1219k| 0 | 0.0 | 353M|8804 | - | 10k| 769 | 0 | 0 | 0 |4584 | 0 | 0.000000e+00 | -- | Inf
816.41/816.45 c 803s| 1230k| 1229k| 0 | 0.0 | 355M|8804 | - | 10k| 780 | 0 | 0 | 0 |4614 | 0 | 0.000000e+00 | -- | Inf
822.91/822.92 c 809s| 1240k| 1239k| 0 | 0.0 | 358M|8804 | - | 10k| 787 | 0 | 0 | 0 |4644 | 0 | 0.000000e+00 | -- | Inf
830.00/830.07 c 816s| 1250k| 1249k| 0 | 0.0 | 361M|8804 | - | 10k| 804 | 0 | 0 | 0 |4704 | 0 | 0.000000e+00 | -- | Inf
837.11/837.19 c 823s| 1260k| 1259k| 0 | 0.0 | 363M|8804 | - | 10k| 793 | 0 | 0 | 0 |4724 | 0 | 0.000000e+00 | -- | Inf
844.40/844.42 c 830s| 1270k| 1269k| 0 | 0.0 | 366M|8804 | - | 10k| 798 | 0 | 0 | 0 |4754 | 0 | 0.000000e+00 | -- | Inf
851.81/851.85 c 837s| 1280k| 1279k| 0 | 0.0 | 368M|8804 | - | 10k| 821 | 0 | 0 | 0 |4804 | 0 | 0.000000e+00 | -- | Inf
858.80/858.86 c 844s| 1290k| 1289k| 0 | 0.0 | 371M|8804 | - | 10k| 806 | 0 | 0 | 0 |4844 | 0 | 0.000000e+00 | -- | Inf
865.60/865.69 c 851s| 1300k| 1299k| 0 | 0.0 | 374M|8804 | - | 10k| 831 | 0 | 0 | 0 |4944 | 0 | 0.000000e+00 | -- | Inf
872.80/872.82 c 858s| 1310k| 1309k| 0 | 0.0 | 376M|8804 | - | 10k| 803 | 0 | 0 | 0 |4964 | 0 | 0.000000e+00 | -- | Inf
879.61/879.62 c 864s| 1320k| 1319k| 0 | 0.0 | 379M|8804 | - | 10k| 799 | 0 | 0 | 0 |4984 | 0 | 0.000000e+00 | -- | Inf
886.90/886.94 c 872s| 1330k| 1328k| 0 | 0.0 | 382M|8804 | - | 10k| 808 | 0 | 0 | 0 |5014 | 0 | 0.000000e+00 | -- | Inf
893.40/893.47 c 878s| 1340k| 1338k| 0 | 0.0 | 384M|8804 | - | 10k| 789 | 0 | 0 | 0 |5034 | 0 | 0.000000e+00 | -- | Inf
900.50/900.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
900.50/900.50 c 885s| 1350k| 1348k| 0 | 0.0 | 387M|8804 | - | 10k| 789 | 0 | 0 | 0 |5094 | 0 | 0.000000e+00 | -- | Inf
907.51/907.57 c 892s| 1360k| 1358k| 0 | 0.0 | 390M|8804 | - | 10k| 788 | 0 | 0 | 0 |5124 | 0 | 0.000000e+00 | -- | Inf
914.30/914.38 c 898s| 1370k| 1368k| 0 | 0.0 | 392M|8804 | - | 10k| 787 | 0 | 0 | 0 |5144 | 0 | 0.000000e+00 | -- | Inf
921.01/921.03 c 905s| 1380k| 1378k| 0 | 0.0 | 395M|8804 | - | 10k| 820 | 0 | 0 | 0 |5194 | 0 | 0.000000e+00 | -- | Inf
927.32/927.32 c 911s| 1390k| 1388k| 0 | 0.0 | 398M|8804 | - | 10k| 798 | 0 | 0 | 0 |5214 | 0 | 0.000000e+00 | -- | Inf
934.51/934.57 c 918s| 1400k| 1398k| 0 | 0.0 | 400M|8804 | - | 10k| 823 | 0 | 0 | 0 |5274 | 0 | 0.000000e+00 | -- | Inf
942.71/942.72 c 926s| 1410k| 1408k| 0 | 0.0 | 403M|8804 | - | 10k| 820 | 0 | 0 | 0 |5314 | 0 | 0.000000e+00 | -- | Inf
949.61/949.63 c 933s| 1420k| 1418k| 0 | 0.0 | 406M|8804 | - | 10k| 823 | 0 | 0 | 0 |5354 | 0 | 0.000000e+00 | -- | Inf
956.31/956.31 c 939s| 1430k| 1428k| 0 | 0.0 | 408M|8804 | - | 10k| 834 | 0 | 0 | 0 |5394 | 0 | 0.000000e+00 | -- | Inf
962.41/962.44 c 945s| 1440k| 1438k| 0 | 0.0 | 411M|8804 | - | 10k| 810 | 0 | 0 | 0 |5414 | 0 | 0.000000e+00 | -- | Inf
969.20/969.26 c 952s| 1450k| 1448k| 0 | 0.0 | 414M|8804 | - | 10k| 869 | 0 | 0 | 0 |5494 | 0 | 0.000000e+00 | -- | Inf
976.71/976.78 c 959s| 1460k| 1458k| 0 | 0.0 | 416M|8804 | - | 10k| 887 | 0 | 0 | 0 |5554 | 0 | 0.000000e+00 | -- | Inf
983.31/983.36 c 966s| 1470k| 1468k| 0 | 0.0 | 419M|8804 | - | 10k| 855 | 0 | 0 | 0 |5574 | 0 | 0.000000e+00 | -- | Inf
989.91/989.94 c 972s| 1480k| 1478k| 0 | 0.0 | 422M|8804 | - | 10k| 897 | 0 | 0 | 0 |5634 | 0 | 0.000000e+00 | -- | Inf
995.91/995.97 c 978s| 1490k| 1488k| 0 | 0.0 | 424M|8804 | - | 10k| 862 | 0 | 0 | 0 |5654 | 0 | 0.000000e+00 | -- | Inf
1002.20/1002.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1002.20/1002.23 c 984s| 1500k| 1498k| 0 | 0.0 | 427M|8804 | - | 10k| 897 | 0 | 0 | 0 |5724 | 0 | 0.000000e+00 | -- | Inf
1009.01/1009.03 c 991s| 1510k| 1508k| 0 | 0.0 | 430M|8804 | - | 10k| 885 | 0 | 0 | 0 |5744 | 0 | 0.000000e+00 | -- | Inf
1015.61/1015.61 c 997s| 1520k| 1518k| 0 | 0.0 | 432M|8804 | - | 10k| 889 | 0 | 0 | 0 |5764 | 0 | 0.000000e+00 | -- | Inf
1021.81/1021.90 c 1003s| 1530k| 1528k| 0 | 0.0 | 435M|8804 | - | 10k| 893 | 0 | 0 | 0 |5784 | 0 | 0.000000e+00 | -- | Inf
1027.91/1027.95 c 1009s| 1540k| 1538k| 0 | 0.0 | 438M|8804 | - | 10k| 903 | 0 | 0 | 0 |5824 | 0 | 0.000000e+00 | -- | Inf
1034.02/1034.06 c 1015s| 1550k| 1548k| 0 | 0.0 | 440M|8804 | - | 10k| 920 | 0 | 0 | 0 |5874 | 0 | 0.000000e+00 | -- | Inf
1040.91/1040.94 c 1022s| 1560k| 1558k| 0 | 0.0 | 443M|8804 | - | 10k| 914 | 0 | 0 | 0 |5894 | 0 | 0.000000e+00 | -- | Inf
1047.81/1047.82 c 1029s| 1570k| 1568k| 0 | 0.0 | 446M|8804 | - | 10k| 918 | 0 | 0 | 0 |5924 | 0 | 0.000000e+00 | -- | Inf
1054.11/1054.18 c 1035s| 1580k| 1578k| 0 | 0.0 | 448M|8804 | - | 10k| 914 | 0 | 0 | 0 |5944 | 0 | 0.000000e+00 | -- | Inf
1060.41/1060.42 c 1041s| 1590k| 1588k| 0 | 0.0 | 451M|8804 | - | 10k| 926 | 0 | 0 | 0 |5984 | 0 | 0.000000e+00 | -- | Inf
1066.91/1066.99 c 1047s| 1600k| 1598k| 0 | 0.0 | 454M|8804 | - | 10k| 942 | 0 | 0 | 0 |6054 | 0 | 0.000000e+00 | -- | Inf
1074.11/1074.13 c 1054s| 1610k| 1608k| 0 | 0.0 | 456M|8804 | - | 10k| 946 | 0 | 0 | 0 |6094 | 0 | 0.000000e+00 | -- | Inf
1080.91/1080.97 c 1061s| 1620k| 1618k| 0 | 0.0 | 459M|8804 | - | 10k| 944 | 0 | 0 | 0 |6124 | 0 | 0.000000e+00 | -- | Inf
1087.51/1087.57 c 1068s| 1630k| 1628k| 0 | 0.0 | 461M|8804 | - | 10k| 931 | 0 | 0 | 0 |6144 | 0 | 0.000000e+00 | -- | Inf
1094.01/1094.04 c 1074s| 1640k| 1638k| 0 | 0.0 | 464M|8804 | - | 10k| 930 | 0 | 0 | 0 |6164 | 0 | 0.000000e+00 | -- | Inf
1100.02/1100.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1100.02/1100.04 c 1080s| 1650k| 1648k| 0 | 0.0 | 467M|8804 | - | 10k| 923 | 0 | 0 | 0 |6184 | 0 | 0.000000e+00 | -- | Inf
1107.51/1107.54 c 1087s| 1660k| 1658k| 0 | 0.0 | 469M|8804 | - | 10k| 932 | 0 | 0 | 0 |6244 | 0 | 0.000000e+00 | -- | Inf
1114.51/1114.57 c 1094s| 1670k| 1668k| 0 | 0.0 | 472M|8804 | - | 10k| 945 | 0 | 0 | 0 |6274 | 0 | 0.000000e+00 | -- | Inf
1121.61/1121.67 c 1101s| 1680k| 1678k| 0 | 0.0 | 475M|8806 | - | 10k| 953 | 0 | 0 | 0 |6314 | 0 | 0.000000e+00 | -- | Inf
1128.31/1128.35 c 1107s| 1690k| 1688k| 0 | 0.0 | 477M|8819 | - | 10k| 938 | 0 | 0 | 0 |6334 | 0 | 0.000000e+00 | -- | Inf
1134.81/1134.83 c 1114s| 1700k| 1698k| 0 | 0.0 | 480M|8819 | - | 10k| 951 | 0 | 0 | 0 |6384 | 0 | 0.000000e+00 | -- | Inf
1141.41/1141.49 c 1120s| 1710k| 1708k| 0 | 0.0 | 483M|8819 | - | 10k| 965 | 0 | 0 | 0 |6444 | 0 | 0.000000e+00 | -- | Inf
1148.61/1148.61 c 1127s| 1720k| 1718k| 0 | 0.0 | 485M|8819 | - | 10k| 948 | 0 | 0 | 0 |6464 | 0 | 0.000000e+00 | -- | Inf
1155.51/1155.58 c 1134s| 1730k| 1728k| 0 | 0.0 | 488M|8819 | - | 10k| 941 | 0 | 0 | 0 |6484 | 0 | 0.000000e+00 | -- | Inf
1162.01/1162.05 c 1140s| 1740k| 1738k| 0 | 0.0 | 491M|8819 | - | 10k| 930 | 0 | 0 | 0 |6504 | 0 | 0.000000e+00 | -- | Inf
1168.31/1168.37 c 1146s| 1750k| 1748k| 0 | 0.0 | 493M|8819 | - | 10k| 959 | 0 | 0 | 0 |6554 | 0 | 0.000000e+00 | -- | Inf
1175.41/1175.46 c 1153s| 1760k| 1758k| 0 | 0.0 | 496M|8819 | - | 10k| 987 | 0 | 0 | 0 |6644 | 0 | 0.000000e+00 | -- | Inf
1182.42/1182.43 c 1160s| 1770k| 1768k| 0 | 0.0 | 499M|8819 | - | 10k| 940 | 0 | 0 | 0 |6664 | 0 | 0.000000e+00 | -- | Inf
1189.32/1189.30 c 1167s| 1780k| 1778k| 0 | 0.0 | 501M|8819 | - | 10k| 935 | 0 | 0 | 0 |6684 | 0 | 0.000000e+00 | -- | Inf
1196.01/1196.01 c 1173s| 1790k| 1788k| 0 | 0.0 | 504M|8819 | - | 10k| 944 | 0 | 0 | 0 |6714 | 0 | 0.000000e+00 | -- | Inf
1202.71/1202.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1202.71/1202.74 c 1180s| 1800k| 1798k| 0 | 0.0 | 506M|8819 | - | 10k| 934 | 0 | 0 | 0 |6744 | 0 | 0.000000e+00 | -- | Inf
1209.41/1209.40 c 1186s| 1810k| 1808k| 0 | 0.0 | 509M|8819 | - | 10k| 928 | 0 | 0 | 0 |6794 | 0 | 0.000000e+00 | -- | Inf
1216.42/1216.48 c 1193s| 1820k| 1818k| 0 | 0.0 | 512M|8819 | - | 10k| 935 | 0 | 0 | 0 |6844 | 0 | 0.000000e+00 | -- | Inf
1223.31/1223.39 c 1200s| 1830k| 1828k| 0 | 0.0 | 514M|8819 | - | 10k| 933 | 0 | 0 | 0 |6864 | 0 | 0.000000e+00 | -- | Inf
1230.21/1230.22 c 1207s| 1840k| 1838k| 0 | 0.0 | 517M|8819 | - | 10k| 934 | 0 | 0 | 0 |6884 | 0 | 0.000000e+00 | -- | Inf
1236.62/1236.67 c 1213s| 1850k| 1848k| 0 | 0.0 | 520M|8819 | - | 10k| 943 | 0 | 0 | 0 |6924 | 0 | 0.000000e+00 | -- | Inf
1242.92/1242.99 c 1219s| 1860k| 1858k| 0 | 0.0 | 522M|8819 | - | 10k| 920 | 0 | 0 | 0 |6954 | 0 | 0.000000e+00 | -- | Inf
1250.82/1250.83 c 1227s| 1870k| 1868k| 0 | 0.0 | 525M|8819 | - | 10k| 948 | 0 | 0 | 0 |7044 | 0 | 0.000000e+00 | -- | Inf
1257.82/1257.85 c 1234s| 1880k| 1878k| 0 | 0.0 | 528M|8823 | - | 10k| 945 | 0 | 0 | 0 |7074 | 0 | 0.000000e+00 | -- | Inf
1264.51/1264.51 c 1240s| 1890k| 1888k| 0 | 0.0 | 530M|8829 | - | 10k| 942 | 0 | 0 | 0 |7104 | 0 | 0.000000e+00 | -- | Inf
1271.02/1271.04 c 1246s| 1900k| 1898k| 0 | 0.0 | 533M|8922 | - | 10k| 942 | 0 | 0 | 0 |7134 | 0 | 0.000000e+00 | -- | Inf
1277.42/1277.40 c 1253s| 1910k| 1908k| 0 | 0.0 | 536M|8922 | - | 10k| 928 | 0 | 0 | 0 |7154 | 0 | 0.000000e+00 | -- | Inf
1284.41/1284.45 c 1260s| 1920k| 1918k| 0 | 0.0 | 538M|8922 | - | 10k| 938 | 0 | 0 | 0 |7214 | 0 | 0.000000e+00 | -- | Inf
1291.81/1291.80 c 1267s| 1930k| 1928k| 0 | 0.0 | 541M|8922 | - | 10k| 937 | 0 | 0 | 0 |7244 | 0 | 0.000000e+00 | -- | Inf
1298.32/1298.38 c 1273s| 1940k| 1938k| 0 | 0.0 | 544M|8922 | - | 10k| 939 | 0 | 0 | 0 |7274 | 0 | 0.000000e+00 | -- | Inf
1304.71/1304.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1304.71/1304.71 c 1279s| 1950k| 1948k| 0 | 0.0 | 546M|8922 | - | 10k| 933 | 0 | 0 | 0 |7294 | 0 | 0.000000e+00 | -- | Inf
1310.92/1310.90 c 1285s| 1960k| 1958k| 0 | 0.0 | 549M|8922 | - | 10k| 928 | 0 | 0 | 0 |7314 | 0 | 0.000000e+00 | -- | Inf
1316.92/1316.98 c 1291s| 1970k| 1968k| 0 | 0.0 | 551M|8922 | - | 10k| 916 | 0 | 0 | 0 |7334 | 0 | 0.000000e+00 | -- | Inf
1324.82/1324.84 c 1299s| 1980k| 1978k| 0 | 0.0 | 554M|8922 | - | 10k| 945 | 0 | 0 | 0 |7394 | 0 | 0.000000e+00 | -- | Inf
1331.51/1331.51 c 1305s| 1990k| 1988k| 0 | 0.0 | 557M|8922 | - | 10k| 938 | 0 | 0 | 0 |7414 | 0 | 0.000000e+00 | -- | Inf
1338.12/1338.14 c 1312s| 2000k| 1998k| 0 | 0.0 | 559M|8922 | - | 10k| 948 | 0 | 0 | 0 |7444 | 0 | 0.000000e+00 | -- | Inf
1344.32/1344.33 c 1318s| 2010k| 2008k| 0 | 0.0 | 562M|8922 | - | 10k| 953 | 0 | 0 | 0 |7474 | 0 | 0.000000e+00 | -- | Inf
1350.62/1350.63 c 1324s| 2020k| 2018k| 0 | 0.0 | 565M|8922 | - | 10k| 948 | 0 | 0 | 0 |7494 | 0 | 0.000000e+00 | -- | Inf
1357.02/1357.04 c 1330s| 2030k| 2028k| 0 | 0.0 | 567M|8922 | - | 10k| 960 | 0 | 0 | 0 |7544 | 0 | 0.000000e+00 | -- | Inf
1364.21/1364.22 c 1337s| 2040k| 2038k| 0 | 0.0 | 570M|8922 | - | 10k| 951 | 0 | 0 | 0 |7564 | 0 | 0.000000e+00 | -- | Inf
1370.72/1370.76 c 1344s| 2050k| 2048k| 0 | 0.0 | 573M|8922 | - | 10k| 944 | 0 | 0 | 0 |7584 | 0 | 0.000000e+00 | -- | Inf
1377.42/1377.48 c 1350s| 2060k| 2058k| 0 | 0.0 | 575M|8922 | - | 10k| 949 | 0 | 0 | 0 |7614 | 0 | 0.000000e+00 | -- | Inf
1383.92/1383.92 c 1356s| 2070k| 2068k| 0 | 0.0 | 578M|8922 | - | 10k| 948 | 0 | 0 | 0 |7644 | 0 | 0.000000e+00 | -- | Inf
1389.72/1389.77 c 1362s| 2080k| 2078k| 0 | 0.0 | 580M|8922 | - | 10k| 942 | 0 | 0 | 0 |7664 | 0 | 0.000000e+00 | -- | Inf
1396.52/1396.52 c 1369s| 2090k| 2088k| 0 | 0.0 | 583M|8922 | - | 10k| 963 | 0 | 0 | 0 |7714 | 0 | 0.000000e+00 | -- | Inf
1403.22/1403.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1403.22/1403.28 c 1375s| 2100k| 2098k| 0 | 0.0 | 586M|8941 | - | 10k| 960 | 0 | 0 | 0 |7744 | 0 | 0.000000e+00 | -- | Inf
1409.72/1409.74 c 1382s| 2110k| 2108k| 0 | 0.0 | 588M|8941 | - | 10k| 965 | 0 | 0 | 0 |7774 | 0 | 0.000000e+00 | -- | Inf
1416.12/1416.15 c 1388s| 2120k| 2118k| 0 | 0.0 | 591M|8941 | - | 10k| 972 | 0 | 0 | 0 |7804 | 0 | 0.000000e+00 | -- | Inf
1422.01/1422.08 c 1393s| 2130k| 2128k| 0 | 0.0 | 594M|8941 | - | 10k| 956 | 0 | 0 | 0 |7824 | 0 | 0.000000e+00 | -- | Inf
1428.62/1428.68 c 1400s| 2140k| 2138k| 0 | 0.0 | 596M|8941 | - | 10k| 981 | 0 | 0 | 0 |7904 | 0 | 0.000000e+00 | -- | Inf
1436.12/1436.10 c 1407s| 2150k| 2148k| 0 | 0.0 | 599M|8941 | - | 10k| 973 | 0 | 0 | 0 |7934 | 0 | 0.000000e+00 | -- | Inf
1442.82/1442.81 c 1414s| 2160k| 2158k| 0 | 0.0 | 602M|8941 | - | 10k| 974 | 0 | 0 | 0 |7964 | 0 | 0.000000e+00 | -- | Inf
1449.72/1449.74 c 1420s| 2170k| 2168k| 0 | 0.0 | 604M|8941 | - | 10k| 989 | 0 | 0 | 0 |8014 | 0 | 0.000000e+00 | -- | Inf
1455.82/1455.85 c 1426s| 2180k| 2178k| 0 | 0.0 | 607M|8941 | - | 10k| 970 | 0 | 0 | 0 |8044 | 0 | 0.000000e+00 | -- | Inf
1461.82/1461.88 c 1432s| 2190k| 2188k| 0 | 0.0 | 610M|8941 | - | 10k| 955 | 0 | 0 | 0 |8084 | 0 | 0.000000e+00 | -- | Inf
1468.92/1468.91 c 1439s| 2200k| 2198k| 0 | 0.0 | 612M|8941 | - | 10k| 955 | 0 | 0 | 0 |8114 | 0 | 0.000000e+00 | -- | Inf
1475.92/1475.94 c 1446s| 2210k| 2208k| 0 | 0.0 | 615M|8941 | - | 10k| 945 | 0 | 0 | 0 |8134 | 0 | 0.000000e+00 | -- | Inf
1482.52/1482.55 c 1452s| 2220k| 2218k| 0 | 0.0 | 618M|8941 | - | 10k| 953 | 0 | 0 | 0 |8164 | 0 | 0.000000e+00 | -- | Inf
1489.22/1489.24 c 1459s| 2230k| 2228k| 0 | 0.0 | 620M|8941 | - | 10k| 957 | 0 | 0 | 0 |8204 | 0 | 0.000000e+00 | -- | Inf
1495.52/1495.54 c 1465s| 2240k| 2238k| 0 | 0.0 | 623M|8941 | - | 10k| 950 | 0 | 0 | 0 |8234 | 0 | 0.000000e+00 | -- | Inf
1502.92/1502.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1502.92/1502.93 c 1472s| 2250k| 2248k| 0 | 0.0 | 626M|8941 | - | 10k| 962 | 0 | 0 | 0 |8294 | 0 | 0.000000e+00 | -- | Inf
1509.52/1509.52 c 1479s| 2260k| 2258k| 0 | 0.0 | 628M|8941 | - | 10k| 944 | 0 | 0 | 0 |8314 | 0 | 0.000000e+00 | -- | Inf
1515.83/1515.86 c 1485s| 2270k| 2268k| 0 | 0.0 | 631M|8941 | - | 10k| 940 | 0 | 0 | 0 |8334 | 0 | 0.000000e+00 | -- | Inf
1522.02/1522.01 c 1491s| 2280k| 2278k| 0 | 0.0 | 633M|8941 | - | 10k| 956 | 0 | 0 | 0 |8374 | 0 | 0.000000e+00 | -- | Inf
1528.12/1528.11 c 1497s| 2290k| 2288k| 0 | 0.0 | 636M|8941 | - | 10k| 945 | 0 | 0 | 0 |8404 | 0 | 0.000000e+00 | -- | Inf
1535.42/1535.45 c 1504s| 2300k| 2298k| 0 | 0.0 | 639M|8941 | - | 10k| 945 | 0 | 0 | 0 |8474 | 0 | 0.000000e+00 | -- | Inf
1542.32/1542.31 c 1511s| 2310k| 2308k| 0 | 0.0 | 641M|8941 | - | 10k| 915 | 0 | 0 | 0 |8494 | 0 | 0.000000e+00 | -- | Inf
1549.02/1549.08 c 1517s| 2320k| 2318k| 0 | 0.0 | 644M|8941 | - | 10k| 925 | 0 | 0 | 0 |8534 | 0 | 0.000000e+00 | -- | Inf
1555.43/1555.44 c 1523s| 2330k| 2328k| 0 | 0.0 | 647M|8941 | - | 10k| 907 | 0 | 0 | 0 |8554 | 0 | 0.000000e+00 | -- | Inf
1561.93/1561.91 c 1530s| 2340k| 2338k| 0 | 0.0 | 649M|8941 | - | 10k| 900 | 0 | 0 | 0 |8584 | 0 | 0.000000e+00 | -- | Inf
1569.42/1569.48 c 1537s| 2350k| 2348k| 0 | 0.0 | 652M|8941 | - | 10k| 897 | 0 | 0 | 0 |8634 | 0 | 0.000000e+00 | -- | Inf
1576.12/1576.18 c 1544s| 2360k| 2358k| 0 | 0.0 | 655M|8941 | - | 10k| 893 | 0 | 0 | 0 |8654 | 0 | 0.000000e+00 | -- | Inf
1582.93/1582.90 c 1550s| 2370k| 2368k| 0 | 0.0 | 657M|8941 | - | 10k| 892 | 0 | 0 | 0 |8684 | 0 | 0.000000e+00 | -- | Inf
1589.82/1589.85 c 1557s| 2380k| 2378k| 0 | 0.0 | 660M|8941 | - | 10k| 918 | 0 | 0 | 0 |8734 | 0 | 0.000000e+00 | -- | Inf
1595.53/1595.55 c 1562s| 2390k| 2388k| 0 | 0.0 | 662M|8941 | - | 10k| 888 | 0 | 0 | 0 |8764 | 0 | 0.000000e+00 | -- | Inf
1601.93/1601.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1601.93/1601.93 c 1569s| 2400k| 2398k| 0 | 0.0 | 665M|8941 | - | 10k| 902 | 0 | 0 | 0 |8824 | 0 | 0.000000e+00 | -- | Inf
1608.52/1608.55 c 1575s| 2410k| 2408k| 0 | 0.0 | 668M|8941 | - | 10k| 907 | 0 | 0 | 0 |8854 | 0 | 0.000000e+00 | -- | Inf
1615.12/1615.13 c 1582s| 2420k| 2418k| 0 | 0.0 | 670M|8941 | - | 10k| 907 | 0 | 0 | 0 |8884 | 0 | 0.000000e+00 | -- | Inf
1621.53/1621.55 c 1588s| 2430k| 2428k| 0 | 0.0 | 673M|8941 | - | 10k| 895 | 0 | 0 | 0 |8914 | 0 | 0.000000e+00 | -- | Inf
1627.72/1627.75 c 1594s| 2440k| 2438k| 0 | 0.0 | 676M|8941 | - | 10k| 893 | 0 | 0 | 0 |8954 | 0 | 0.000000e+00 | -- | Inf
1634.72/1634.75 c 1601s| 2450k| 2448k| 0 | 0.0 | 678M|8941 | - | 10k| 901 | 0 | 0 | 0 |9014 | 0 | 0.000000e+00 | -- | Inf
1641.32/1641.37 c 1607s| 2460k| 2458k| 0 | 0.0 | 681M|8941 | - | 10k| 894 | 0 | 0 | 0 |9034 | 0 | 0.000000e+00 | -- | Inf
1647.52/1647.55 c 1613s| 2470k| 2468k| 0 | 0.0 | 684M|8941 | - | 10k| 900 | 0 | 0 | 0 |9054 | 0 | 0.000000e+00 | -- | Inf
1653.62/1653.65 c 1619s| 2480k| 2478k| 0 | 0.0 | 686M|8941 | - | 10k| 922 | 0 | 0 | 0 |9094 | 0 | 0.000000e+00 | -- | Inf
1659.62/1659.62 c 1625s| 2490k| 2488k| 0 | 0.0 | 689M|8941 | - | 10k| 891 | 0 | 0 | 0 |9114 | 0 | 0.000000e+00 | -- | Inf
1667.42/1667.47 c 1632s| 2500k| 2498k| 0 | 0.0 | 692M|8941 | - | 10k| 911 | 0 | 0 | 0 |9174 | 0 | 0.000000e+00 | -- | Inf
1674.63/1674.63 c 1639s| 2510k| 2508k| 0 | 0.0 | 694M|8941 | - | 10k| 906 | 0 | 0 | 0 |9214 | 0 | 0.000000e+00 | -- | Inf
1680.83/1680.85 c 1645s| 2520k| 2518k| 0 | 0.0 | 697M|8941 | - | 10k| 892 | 0 | 0 | 0 |9254 | 0 | 0.000000e+00 | -- | Inf
1686.72/1686.70 c 1651s| 2530k| 2528k| 0 | 0.0 | 700M|8941 | - | 10k| 883 | 0 | 0 | 0 |9284 | 0 | 0.000000e+00 | -- | Inf
1693.32/1693.32 c 1658s| 2540k| 2538k| 0 | 0.0 | 702M|8941 | - | 10k| 900 | 0 | 0 | 0 |9354 | 0 | 0.000000e+00 | -- | Inf
1700.63/1700.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1700.63/1700.69 c 1665s| 2550k| 2548k| 0 | 0.0 | 705M|8941 | - | 10k| 882 | 0 | 0 | 0 |9384 | 0 | 0.000000e+00 | -- | Inf
1707.43/1707.45 c 1671s| 2560k| 2558k| 0 | 0.0 | 708M|8941 | - | 10k| 880 | 0 | 0 | 0 |9434 | 0 | 0.000000e+00 | -- | Inf
1713.43/1713.49 c 1677s| 2570k| 2568k| 0 | 0.0 | 710M|8941 | - | 10k| 853 | 0 | 0 | 0 |9464 | 0 | 0.000000e+00 | -- | Inf
1719.43/1719.49 c 1683s| 2580k| 2578k| 0 | 0.0 | 713M|8941 | - | 10k| 842 | 0 | 0 | 0 |9484 | 0 | 0.000000e+00 | -- | Inf
1726.63/1726.61 c 1690s| 2590k| 2588k| 0 | 0.0 | 716M|8941 | - | 10k| 851 | 0 | 0 | 0 |9564 | 0 | 0.000000e+00 | -- | Inf
1733.23/1733.27 c 1696s| 2600k| 2598k| 0 | 0.0 | 718M|8941 | - | 10k| 831 | 0 | 0 | 0 |9584 | 0 | 0.000000e+00 | -- | Inf
1739.53/1739.54 c 1703s| 2610k| 2608k| 0 | 0.0 | 721M|8941 | - | 10k| 829 | 0 | 0 | 0 |9604 | 0 | 0.000000e+00 | -- | Inf
1745.73/1745.75 c 1709s| 2620k| 2618k| 0 | 0.0 | 724M|8941 | - | 10k| 834 | 0 | 0 | 0 |9634 | 0 | 0.000000e+00 | -- | Inf
1752.43/1752.46 c 1715s| 2630k| 2628k| 0 | 0.0 | 726M|8941 | - | 10k| 845 | 0 | 0 | 0 |9694 | 0 | 0.000000e+00 | -- | Inf
1759.12/1759.18 c 1722s| 2640k| 2638k| 0 | 0.0 | 729M|8941 | - | 10k| 824 | 0 | 0 | 0 |9714 | 0 | 0.000000e+00 | -- | Inf
1765.63/1765.61 c 1728s| 2650k| 2648k| 0 | 0.0 | 732M|8941 | - | 10k| 840 | 0 | 0 | 0 |9744 | 0 | 0.000000e+00 | -- | Inf
1771.82/1771.81 c 1734s| 2660k| 2658k| 0 | 0.0 | 734M|8941 | - | 10k| 835 | 0 | 0 | 0 |9774 | 0 | 0.000000e+00 | -- | Inf
1777.64/1777.67 c 1740s| 2670k| 2668k| 0 | 0.0 | 737M|8941 | - | 10k| 820 | 0 | 0 | 0 |9794 | 0 | 0.000000e+00 | -- | Inf
1785.03/1785.06 c 1747s| 2680k| 2678k| 0 | 0.0 | 740M|8941 | - | 10k| 818 | 0 | 0 | 0 |9854 | 0 | 0.000000e+00 | -- | Inf
1791.73/1791.75 c 1753s| 2690k| 2688k| 0 | 0.0 | 742M|8941 | - | 10k| 826 | 0 | 0 | 0 |9884 | 0 | 0.000000e+00 | -- | Inf
1797.93/1797.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1797.93/1797.96 c 1759s| 2700k| 2698k| 0 | 0.0 | 745M|8941 | - | 10k| 831 | 0 | 0 | 0 |9914 | 0 | 0.000000e+00 | -- | Inf
1800.03/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.00 c
1800.03/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.00 c Solving Time (sec) : 1761.28
1800.03/1800.00 c Solving Nodes : 2703570
1800.03/1800.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.03/1800.00 c Dual Bound : +0.00000000000000e+00
1800.03/1800.00 c Gap : infinite
1800.03/1800.00 s UNKNOWN
1800.03/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.00 c Solving Time : 1761.28
1800.03/1800.00 c Original Problem :
1800.03/1800.00 c Problem name : HOME/instance-2693788-1277892685.wbo
1800.03/1800.00 c Variables : 10376 (10238 binary, 0 integer, 0 implicit integer, 138 continuous)
1800.03/1800.00 c Constraints : 340 initial, 340 maximal
1800.03/1800.00 c Presolved Problem :
1800.03/1800.00 c Problem name : t_HOME/instance-2693788-1277892685.wbo
1800.03/1800.00 c Variables : 10376 (10238 binary, 0 integer, 0 implicit integer, 138 continuous)
1800.03/1800.00 c Constraints : 339 initial, 1010 maximal
1800.03/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c implics : 0.01 0 0 0 0 0 0 0 0
1800.03/1800.00 c probing : 0.07 0 0 0 0 0 0 0 0
1800.03/1800.00 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c linear : 0.01 0 0 0 138 0 1 0 0
1800.03/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c root node : - 0 - - 0 - - - -
1800.03/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.00 c integral : 0 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c indicator : 138 0 345 0 138 0 138 0 0 0
1800.03/1800.00 c setppc : 27 0 2715422 0 2669969 241 210974 0 0 0
1800.03/1800.00 c linear : 138 0 2751590 0 2702580 620 402126 0 0 0
1800.03/1800.00 c logicor : 36+ 0 101288 0 2702580 138 11579 0 0 0
1800.03/1800.00 c countsols : 0 0 0 0 2702580 0 0 0 0 0
1800.03/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.00 c integral : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.00 c indicator : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.00 c setppc : 124.92 0.00 17.66 0.00 107.26
1800.03/1800.00 c linear : 74.08 0.00 73.60 0.00 0.48
1800.03/1800.00 c logicor : 115.77 0.00 13.58 0.00 102.19
1800.03/1800.00 c countsols : 0.12 0.00 0.00 0.00 0.12
1800.03/1800.00 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.00 c vbounds : 0.11 2 0 0
1800.03/1800.00 c rootredcost : 0.11 0 0 0
1800.03/1800.00 c pseudoobj : 10.30 2751635 0 0
1800.03/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.00 c propagation : 87.28 999 999 48778 1510.8 42956 85.8 -
1800.03/1800.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.03/1800.00 c applied globally : - - - 9954 91.3 - - -
1800.03/1800.00 c applied locally : - - - 0 0.0 - - -
1800.03/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.00 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.03/1800.00 c redcost : 0.00 0 0 0 0 0
1800.03/1800.00 c impliedbounds : 0.00 0 0 0 0 0
1800.03/1800.00 c intobj : 0.00 0 0 0 0 0
1800.03/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.00 c gomory : 0.00 0 0 0 0 0
1800.03/1800.00 c strongcg : 0.00 0 0 0 0 0
1800.03/1800.00 c cmir : 0.00 0 0 0 0 0
1800.03/1800.00 c flowcover : 0.00 0 0 0 0 0
1800.03/1800.00 c clique : 0.00 0 0 0 0 0
1800.03/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.00 c mcf : 0.00 0 0 0 0 0
1800.03/1800.00 c rapidlearning : 0.00 0 0 0 0 0
1800.03/1800.00 c Pricers : Time Calls Vars
1800.03/1800.00 c problem variables: 0.00 0 0
1800.03/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.00 c relpscost : 0.00 0 0 0 0 0 0
1800.03/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.00 c inference : 1407.67 2702580 0 0 0 0 5405160
1800.03/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.00 c random : 0.00 0 0 0 0 0 0
1800.03/1800.00 c Primal Heuristics : Time Calls Found
1800.03/1800.00 c LP solutions : 0.00 - 0
1800.03/1800.00 c pseudo solutions : 0.00 - 0
1800.03/1800.00 c oneopt : 0.19 0 0
1800.03/1800.00 c trivial : 0.02 2 0
1800.03/1800.00 c simplerounding : 0.00 0 0
1800.03/1800.00 c zirounding : 0.00 0 0
1800.03/1800.00 c rounding : 0.00 0 0
1800.03/1800.00 c shifting : 0.00 0 0
1800.03/1800.00 c intshifting : 0.00 0 0
1800.03/1800.00 c twoopt : 0.00 0 0
1800.03/1800.00 c fixandinfer : 0.00 0 0
1800.03/1800.00 c feaspump : 0.00 0 0
1800.03/1800.00 c coefdiving : 0.00 0 0
1800.03/1800.00 c pscostdiving : 0.00 0 0
1800.03/1800.00 c fracdiving : 0.00 0 0
1800.03/1800.00 c veclendiving : 0.00 0 0
1800.03/1800.00 c intdiving : 0.00 0 0
1800.03/1800.00 c actconsdiving : 0.00 0 0
1800.03/1800.00 c objpscostdiving : 0.00 0 0
1800.03/1800.00 c rootsoldiving : 0.00 0 0
1800.03/1800.00 c linesearchdiving : 0.00 0 0
1800.03/1800.00 c guideddiving : 0.00 0 0
1800.03/1800.00 c octane : 0.00 0 0
1800.03/1800.00 c rens : 0.00 0 0
1800.03/1800.00 c rins : 0.00 0 0
1800.03/1800.00 c localbranching : 0.00 0 0
1800.03/1800.00 c mutation : 0.00 0 0
1800.03/1800.00 c crossover : 0.00 0 0
1800.03/1800.00 c dins : 0.00 0 0
1800.03/1800.00 c undercover : 0.00 0 0
1800.03/1800.00 c nlp : 0.13 0 0
1800.03/1800.00 c trysol : 0.17 1 0
1800.03/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.00 c dual LP : 0.00 0 0 0.00 -
1800.03/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.00 c diving/probing LP: 0.00 0 0 0.00 -
1800.03/1800.00 c strong branching : 0.00 0 0 0.00 -
1800.03/1800.00 c (at root node) : - 0 0 0.00 -
1800.03/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.00 c B&B Tree :
1800.03/1800.00 c number of runs : 1
1800.03/1800.00 c nodes : 2703570
1800.03/1800.00 c nodes (total) : 2703570
1800.03/1800.00 c nodes left : 2701581
1800.03/1800.00 c max depth : 8941
1800.03/1800.00 c max depth (total): 8941
1800.03/1800.00 c backtracks : 371 (0.0%)
1800.03/1800.00 c delayed cutoffs : 10
1800.03/1800.00 c repropagations : 291 (1318 domain reductions, 9 cutoffs)
1800.03/1800.00 c avg switch length: 2.18
1800.03/1800.00 c switching time : 11.36
1800.03/1800.00 c Solution :
1800.03/1800.00 c Solutions found : 0 (0 improvements)
1800.03/1800.00 c Primal Bound : -
1800.03/1800.00 c Dual Bound : +0.00000000000000e+00
1800.03/1800.00 c Gap : infinite
1800.03/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.03/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-2693788-1277892685/watcher-2693788-1277892685 -o /tmp/evaluation-result-2693788-1277892685/solver-2693788-1277892685 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693788-1277892685.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: 2.00 2.02 2.09 4/178 10671
/proc/meminfo: memFree=28740684/32950928 swapFree=67111528/67111528
[pid=10671] ppid=10669 vsize=9176 CPUtime=0
/proc/10671/stat : 10671 (pbscip.linux.x8) R 10669 10671 9391 0 -1 4202496 1782 0 0 0 0 0 0 0 25 0 1 0 130565419 9396224 1704 4089446400 4194304 7136930 140736540987680 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/10671/statm: 2294 1704 275 719 0 1573 0
[startup+0.0615049 s]
/proc/loadavg: 2.00 2.02 2.09 4/178 10671
/proc/meminfo: memFree=28740684/32950928 swapFree=67111528/67111528
[pid=10671] ppid=10669 vsize=33416 CPUtime=0.06
/proc/10671/stat : 10671 (pbscip.linux.x8) R 10669 10671 9391 0 -1 4202496 7902 0 0 0 5 1 0 0 25 0 1 0 130565419 34217984 7435 4089446400 4194304 7136930 140736540987680 18446744073709551615 6350432 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10671/statm: 8354 7455 323 719 0 7633 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 33416
[startup+0.100495 s]
/proc/loadavg: 2.00 2.02 2.09 4/178 10671
/proc/meminfo: memFree=28740684/32950928 swapFree=67111528/67111528
[pid=10671] ppid=10669 vsize=34700 CPUtime=0.09
/proc/10671/stat : 10671 (pbscip.linux.x8) R 10669 10671 9391 0 -1 4202496 9692 0 0 0 8 1 0 0 25 0 1 0 130565419 35532800 7881 4089446400 4194304 7136930 140736540987680 18446744073709551615 5497071 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10671/statm: 8675 7881 383 719 0 7954 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34700
[startup+0.300461 s]
/proc/loadavg: 2.00 2.02 2.09 4/178 10671
/proc/meminfo: memFree=28740684/32950928 swapFree=67111528/67111528
[pid=10671] ppid=10669 vsize=36744 CPUtime=0.29
/proc/10671/stat : 10671 (pbscip.linux.x8) R 10669 10671 9391 0 -1 4202496 10238 0 0 0 28 1 0 0 25 0 1 0 130565419 37625856 8352 4089446400 4194304 7136930 140736540987680 18446744073709551615 4407868 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10671/statm: 9186 8352 398 719 0 8465 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36744
[startup+0.700389 s]
/proc/loadavg: 2.00 2.02 2.09 4/178 10671
/proc/meminfo: memFree=28740684/32950928 swapFree=67111528/67111528
[pid=10671] ppid=10669 vsize=36744 CPUtime=0.69
/proc/10671/stat : 10671 (pbscip.linux.x8) R 10669 10671 9391 0 -1 4202496 10243 0 0 0 67 2 0 0 25 0 1 0 130565419 37625856 8353 4089446400 4194304 7136930 140736540987680 18446744073709551615 4407837 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10671/statm: 9186 8353 394 719 0 8465 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 36744
[startup+1.50025 s]
/proc/loadavg: 2.00 2.02 2.09 3/179 10672
/proc/meminfo: memFree=28707196/32950928 swapFree=67111528/67111528
[pid=10671] ppid=10669 vsize=37908 CPUtime=1.49
/proc/10671/stat : 10671 (pbscip.linux.x8) R 10669 10671 9391 0 -1 4202496 10551 0 0 0 147 2 0 0 25 0 1 0 130565419 38817792 8661 4089446400 4194304 7136930 140736540987680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10671/statm: 9477 8661 394 719 0 8756 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 37908
[startup+3.10097 s]
/proc/loadavg: 2.00 2.02 2.09 3/179 10672
/proc/meminfo: memFree=28705348/32950928 swapFree=67111528/67111528
[pid=10671] ppid=10669 vsize=38836 CPUtime=3.09
/proc/10671/stat : 10671 (pbscip.linux.x8) R 10669 10671 9391 0 -1 4202496 10764 0 0 0 306 3 0 0 25 0 1 0 130565419 39768064 8874 4089446400 4194304 7136930 140736540987680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10671/statm: 9709 8874 394 719 0 8988 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 38836
[startup+6.3004 s]
/proc/loadavg: 2.00 2.01 2.09 3/179 10673
/proc/meminfo: memFree=28698032/32950928 swapFree=67111528/67111528
[pid=10671] ppid=10669 vsize=42212 CPUtime=6.29
/proc/10671/stat : 10671 (pbscip.linux.x8) R 10669 10671 9391 0 -1 4202496 11612 0 0 0 623 6 0 0 25 0 1 0 130565419 43225088 9720 4089446400 4194304 7136930 140736540987680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10671/statm: 10553 9720 398 719 0 9832 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 42212
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.09 3/179 10673
/proc/meminfo: memFree=28685736/32950928 swapFree=67111528/67111528
[pid=10671] ppid=10669 vsize=45104 CPUtime=12.69
/proc/10671/stat : 10671 (pbscip.linux.x8) R 10669 10671 9391 0 -1 4202496 12380 0 0 0 1255 14 0 0 25 0 1 0 130565419 46186496 10488 4089446400 4194304 7136930 140736540987680 18446744073709551615 4407754 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10671/statm: 11276 10488 398 719 0 10555 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 45104
[startup+25.5011 s]
/proc/loadavg: 2.00 2.01 2.09 3/179 10673
/proc/meminfo: memFree=28655700/32950928 swapFree=67111528/67111528
[pid=10671] ppid=10669 vsize=57376 CPUtime=25.49
/proc/10671/stat : 10671 (pbscip.linux.x8) R 10669 10671 9391 0 -1 4202496 15506 0 0 0 2520 29 0 0 25 0 1 0 130565419 58753024 13614 4089446400 4194304 7136930 140736540987680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10671/statm: 14344 13614 398 719 0 13623 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 57376
[startup+51.1005 s]
/proc/loadavg: 2.00 2.01 2.09 3/179 10674
/proc/meminfo: memFree=28598808/32950928 swapFree=67111528/67111528
[pid=10671] ppid=10669 vsize=76740 CPUtime=51.09
/proc/10671/stat : 10671 (pbscip.linux.x8) R 10669 10671 9391 0 -1 4202496 19949 0 0 0 5055 54 0 0 25 0 1 0 130565419 78581760 18057 4089446400 4194304 7136930 140736540987680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10671/statm: 19185 18057 398 719 0 18464 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 76740
[startup+102.306 s]
/proc/loadavg: 2.00 2.01 2.08 3/179 10675
/proc/meminfo: memFree=28495452/32950928 swapFree=67111528/67111528
[pid=10671] ppid=10669 vsize=102972 CPUtime=102.3
/proc/10671/stat : 10671 (pbscip.linux.x8) R 10669 10671 9391 0 -1 4202496 26808 0 0 0 10126 104 0 0 25 0 1 0 130565419 105443328 24916 4089446400 4194304 7136930 140736540987680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10671/statm: 25743 24916 398 719 0 25022 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 102972
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.08 3/179 10677
/proc/meminfo: memFree=28379972/32950928 swapFree=67111528/67111528
[pid=10671] ppid=10669 vsize=135396 CPUtime=162.3
/proc/10671/stat : 10671 (pbscip.linux.x8) R 10669 10671 9391 0 -1 4202496 34241 0 0 0 16066 164 0 0 25 0 1 0 130565419 138645504 32349 4089446400 4194304 7136930 140736540987680 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10671/statm: 33849 32349 398 719 0 33128 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 135396
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.07 3/179 10678
/proc/meminfo: memFree=28293344/32950928 swapFree=67111528/67111528
[pid=10671] ppid=10669 vsize=162860 CPUtime=222.29
/proc/10671/stat : 10671 (pbscip.linux.x8) R 10669 10671 9391 0 -1 4202496 41415 0 0 0 22009 220 0 0 25 0 1 0 130565419 166768640 39523 4089446400 4194304 7136930 140736540987680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10671/statm: 40715 39523 398 719 0 39994 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 162860
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.06 3/179 10680
/proc/meminfo: memFree=28188032/32950928 swapFree=67111528/67111528
[pid=10671] ppid=10669 vsize=196040 CPUtime=282.3
/proc/10671/stat : 10671 (pbscip.linux.x8) R 10669 10671 9391 0 -1 4202496 49918 0 0 0 27949 281 0 0 25 0 1 0 130565419 200744960 48026 4089446400 4194304 7136930 140736540987680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10671/statm: 49010 48026 398 719 0 48289 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 196040
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.06 3/179 10682
/proc/meminfo: memFree=28026024/32950928 swapFree=67111528/67111528
[pid=10671] ppid=10669 vsize=236964 CPUtime=342.3
/proc/10671/stat : 10671 (pbscip.linux.x8) R 10669 10671 9391 0 -1 4202496 58307 0 0 0 33886 344 0 0 25 0 1 0 130565419 242651136 56415 4089446400 4194304 7136930 140736540987680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10671/statm: 59241 56415 398 719 0 58520 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 236964
[startup+402.301 s]
/proc/loadavg: 1.93 1.98 2.05 3/179 10811
/proc/meminfo: memFree=31353704/32950928 swapFree=67111528/67111528
[pid=10671] ppid=10669 vsize=264716 CPUtime=402.3
/proc/10671/stat : 10671 (pbscip.linux.x8) R 10669 10671 9391 0 -1 4202496 65486 0 0 0 39812 418 0 0 25 0 1 0 130565419 271069184 63594 4089446400 4194304 7136930 140736540987680 18446744073709551615 4642180 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/10671/statm: 66179 63594 398 719 0 65458 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 264716
[startup+462.3 s]
/proc/loadavg: 2.01 2.00 2.05 3/179 10813
/proc/meminfo: memFree=31226136/32950928 swapFree=67111528/67111528
[pid=10671] ppid=10669 vsize=292964 CPUtime=462.29
/proc/10671/stat : 10671 (pbscip.linux.x8) R 10669 10671 9391 0 -1 4202496 72805 0 0 0 45668 561 0 0 25 0 1 0 130565419 299995136 70913 4089446400 4194304 7136930 140736540987680 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/10671/statm: 73241 70913 398 719 0 72520 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 292964
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.04 3/179 10814
/proc/meminfo: memFree=31084096/32950928 swapFree=67111528/67111528
[pid=10671] ppid=10669 vsize=320944 CPUtime=522.3
/proc/10671/stat : 10671 (pbscip.linux.x8) R 10669 10671 9391 0 -1 4202496 80059 0 0 0 51527 703 0 0 25 0 1 0 130565419 328646656 78167 4089446400 4194304 7136930 140736540987680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/10671/statm: 80236 78167 398 719 0 79515 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 320944
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/179 10816
/proc/meminfo: memFree=30911676/32950928 swapFree=67111528/67111528
[pid=10671] ppid=10669 vsize=349668 CPUtime=582.29
/proc/10671/stat : 10671 (pbscip.linux.x8) R 10669 10671 9391 0 -1 4202496 87408 0 0 0 57387 842 0 0 25 0 1 0 130565419 358060032 85516 4089446400 4194304 7136930 140736540987680 18446744073709551615 4642989 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/10671/statm: 87417 85516 398 719 0 86696 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 349668
[startup+642.301 s]
/proc/loadavg: 2.03 2.01 2.03 3/179 10818
/proc/meminfo: memFree=30784496/32950928 swapFree=67111528/67111528
[pid=10671] ppid=10669 vsize=375024 CPUtime=642.3
/proc/10671/stat : 10671 (pbscip.linux.x8) R 10669 10671 9391 0 -1 4202496 94036 0 0 0 63246 984 0 0 25 0 1 0 130565419 384024576 92144 4089446400 4194304 7136930 140736540987680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/10671/statm: 93756 92144 398 719 0 93035 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 375024
[startup+702.301 s]
################
# More data... #
################
/proc/10671/stat : 10671 (pbscip.linux.x8) R 10669 10671 9391 0 -1 4202496 135074 0 0 0 98424 1806 0 0 25 0 1 0 130565419 563441664 133182 4089446400 4194304 7136930 140736540987680 18446744073709551615 4697669 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/10671/statm: 137559 133182 398 719 0 136838 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 550236
[startup+1062.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 10829
/proc/meminfo: memFree=29975736/32950928 swapFree=67111528/67111528
[pid=10671] ppid=10669 vsize=575716 CPUtime=1062.31
/proc/10671/stat : 10671 (pbscip.linux.x8) R 10669 10671 9391 0 -1 4202496 141776 0 0 0 104283 1948 0 0 25 0 1 0 130565419 589533184 139884 4089446400 4194304 7136930 140736540987680 18446744073709551615 5892370 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/10671/statm: 143929 139884 398 719 0 143208 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 575716
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10830
/proc/meminfo: memFree=29863324/32950928 swapFree=67111528/67111528
[pid=10671] ppid=10669 vsize=599628 CPUtime=1122.31
/proc/10671/stat : 10671 (pbscip.linux.x8) R 10669 10671 9391 0 -1 4202496 148028 0 0 0 110144 2087 0 0 25 0 1 0 130565419 614019072 146136 4089446400 4194304 7136930 140736540987680 18446744073709551615 5892267 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/10671/statm: 149907 146136 398 719 0 149186 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 599628
[startup+1182.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 10832
/proc/meminfo: memFree=29746576/32950928 swapFree=67111528/67111528
[pid=10671] ppid=10669 vsize=625036 CPUtime=1182.32
/proc/10671/stat : 10671 (pbscip.linux.x8) R 10669 10671 9391 0 -1 4202496 154578 0 0 0 115989 2243 0 0 25 0 1 0 130565419 640036864 152686 4089446400 4194304 7136930 140736540987680 18446744073709551615 4642180 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/10671/statm: 156259 152686 398 719 0 155538 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 625036
[startup+1242.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 10837
/proc/meminfo: memFree=29626292/32950928 swapFree=67111528/67111528
[pid=10671] ppid=10669 vsize=650436 CPUtime=1242.31
/proc/10671/stat : 10671 (pbscip.linux.x8) R 10669 10671 9391 0 -1 4202496 161182 0 0 0 121843 2388 0 0 25 0 1 0 130565419 666046464 159290 4089446400 4194304 7136930 140736540987680 18446744073709551615 4407896 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/10671/statm: 162609 159290 398 719 0 161888 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 650436
[startup+1302.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 10838
/proc/meminfo: memFree=29507324/32950928 swapFree=67111528/67111528
[pid=10671] ppid=10669 vsize=674708 CPUtime=1302.32
/proc/10671/stat : 10671 (pbscip.linux.x8) R 10669 10671 9391 0 -1 4202496 167496 0 0 0 127697 2535 0 0 25 0 1 0 130565419 690900992 165604 4089446400 4194304 7136930 140736540987680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/10671/statm: 168677 165604 398 719 0 167956 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 674708
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 10840
/proc/meminfo: memFree=29388216/32950928 swapFree=67111528/67111528
[pid=10671] ppid=10669 vsize=734452 CPUtime=1362.31
/proc/10671/stat : 10671 (pbscip.linux.x8) R 10669 10671 9391 0 -1 4202496 174503 0 0 0 133540 2691 0 0 25 0 1 0 130565419 752078848 172611 4089446400 4194304 7136930 140736540987680 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/10671/statm: 183613 172611 398 719 0 182892 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 734452
[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 10841
/proc/meminfo: memFree=29266620/32950928 swapFree=67111528/67111528
[pid=10671] ppid=10669 vsize=759840 CPUtime=1422.32
/proc/10671/stat : 10671 (pbscip.linux.x8) R 10669 10671 9391 0 -1 4202496 181169 0 0 0 139371 2861 0 0 25 0 1 0 130565419 778076160 179277 4089446400 4194304 7136930 140736540987680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/10671/statm: 189960 179277 398 719 0 189239 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 759840
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10843
/proc/meminfo: memFree=29150604/32950928 swapFree=67111528/67111528
[pid=10671] ppid=10669 vsize=785572 CPUtime=1482.32
/proc/10671/stat : 10671 (pbscip.linux.x8) R 10669 10671 9391 0 -1 4202496 187867 0 0 0 145217 3015 0 0 25 0 1 0 130565419 804425728 185975 4089446400 4194304 7136930 140736540987680 18446744073709551615 4436491 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/10671/statm: 196393 185975 398 719 0 195672 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 785572
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10845
/proc/meminfo: memFree=29028388/32950928 swapFree=67111528/67111528
[pid=10671] ppid=10669 vsize=810424 CPUtime=1542.32
/proc/10671/stat : 10671 (pbscip.linux.x8) R 10669 10671 9391 0 -1 4202496 194324 0 0 0 151055 3177 0 0 25 0 1 0 130565419 829874176 192432 4089446400 4194304 7136930 140736540987680 18446744073709551615 4436363 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/10671/statm: 202606 192432 398 719 0 201885 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 810424
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10846
/proc/meminfo: memFree=28906424/32950928 swapFree=67111528/67111528
[pid=10671] ppid=10669 vsize=839368 CPUtime=1602.32
/proc/10671/stat : 10671 (pbscip.linux.x8) R 10669 10671 9391 0 -1 4202496 201757 0 0 0 156903 3329 0 0 25 0 1 0 130565419 859512832 199865 4089446400 4194304 7136930 140736540987680 18446744073709551615 4642962 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/10671/statm: 209842 199865 398 719 0 209121 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 839368
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10848
/proc/meminfo: memFree=28786080/32950928 swapFree=67111528/67111528
[pid=10671] ppid=10669 vsize=866484 CPUtime=1662.33
/proc/10671/stat : 10671 (pbscip.linux.x8) R 10669 10671 9391 0 -1 4202496 208768 0 0 0 162742 3491 0 0 25 0 1 0 130565419 887279616 206876 4089446400 4194304 7136930 140736540987680 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/10671/statm: 216621 206876 398 719 0 215900 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 866484
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10849
/proc/meminfo: memFree=28664984/32950928 swapFree=67111528/67111528
[pid=10671] ppid=10669 vsize=894272 CPUtime=1722.32
/proc/10671/stat : 10671 (pbscip.linux.x8) R 10669 10671 9391 0 -1 4202496 215847 0 0 0 168580 3652 0 0 25 0 1 0 130565419 915734528 213955 4089446400 4194304 7136930 140736540987680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/10671/statm: 223568 213955 398 719 0 222847 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 894272
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10851
/proc/meminfo: memFree=28544980/32950928 swapFree=67111528/67111528
[pid=10671] ppid=10669 vsize=918784 CPUtime=1782.33
/proc/10671/stat : 10671 (pbscip.linux.x8) R 10669 10671 9391 0 -1 4202496 222325 0 0 0 174408 3825 0 0 25 0 1 0 130565419 940834816 220433 4089446400 4194304 7136930 140736540987680 18446744073709551615 4642180 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/10671/statm: 229696 220433 398 719 0 228975 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 918784
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10851
/proc/meminfo: memFree=28509508/32950928 swapFree=67111528/67111528
[pid=10671] ppid=10669 vsize=926560 CPUtime=1800.03
/proc/10671/stat : 10671 (pbscip.linux.x8) R 10669 10671 9391 0 -1 4202496 224357 0 0 0 176130 3873 0 0 25 0 1 0 130565419 948797440 222465 4089446400 4194304 7136930 140736540987680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/10671/statm: 231640 222465 398 719 0 230919 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 926560
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -10671
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 10852
/proc/meminfo: memFree=28508384/32950928 swapFree=67111528/67111528
[pid=10671] ppid=10669 vsize=871120 CPUtime=1801.42
/proc/10671/stat : 10671 (pbscip.linux.x8) R 10669 10671 9391 0 -1 4202496 224542 0 0 0 176269 3873 0 0 19 0 1 0 130565419 892026880 208625 4089446400 4194304 7136930 140736540987680 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/10671/statm: 217780 208625 403 719 0 217059 0
Current children cumulated CPU time (s) 1801.42
Current children cumulated vsize (KiB) 871120
[startup+1801.81 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 10852
/proc/meminfo: memFree=28616876/32950928 swapFree=67111528/67111528
[pid=10671] ppid=10669 vsize=791928 CPUtime=1801.84
/proc/10671/stat : 10671 (pbscip.linux.x8) R 10669 10671 9391 0 -1 4202496 224544 0 0 0 176310 3874 0 0 20 0 1 0 130565419 810934272 188827 4089446400 4194304 7136930 140736540987680 18446744073709551615 4615481 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/10671/statm: 197982 188827 403 719 0 197261 0
Current children cumulated CPU time (s) 1801.84
Current children cumulated vsize (KiB) 791928
[startup+1802 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 10852
/proc/meminfo: memFree=28616876/32950928 swapFree=67111528/67111528
[pid=10671] ppid=10669 vsize=741804 CPUtime=1802.02
/proc/10671/stat : 10671 (pbscip.linux.x8) R 10669 10671 9391 0 -1 4202496 224544 0 0 0 176328 3874 0 0 21 0 1 0 130565419 759607296 176296 4089446400 4194304 7136930 140736540987680 18446744073709551615 6165762 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/10671/statm: 185451 176296 403 719 0 184730 0
Current children cumulated CPU time (s) 1802.02
Current children cumulated vsize (KiB) 741804
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.03
CPU time (s): 1802.07
CPU user time (s): 1763.3
CPU system time (s): 38.7721
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 926560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1763.3
system time used= 38.7721
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 224544
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= 6
involuntary context switches= 1033
runsolver used 2.53561 second user time and 5.81611 second system time
The end
Begin job on node120 at 2010-06-30 12:11:25
IDJOB=2693788
IDBENCH=78716
IDSOLVER=1206
FILE ID=node120/2693788-1277892685
PBS_JOBID= 11197113
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-101-100--soft-33-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-2693788-1277892685/watcher-2693788-1277892685 -o /tmp/evaluation-result-2693788-1277892685/solver-2693788-1277892685 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693788-1277892685.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 7f95aa45daecbcbe8d128ff4aa3d1714
RANDOM SEED=9976007
node120.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.820
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.64
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.820
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 : 5226.07
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.820
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.80
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.820
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.74
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.820
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.82
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.820
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.68
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.820
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.75
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.820
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.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950928 kB
MemFree: 28741212 kB
Buffers: 176584 kB
Cached: 929136 kB
SwapCached: 0 kB
Active: 3482848 kB
Inactive: 581024 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 28741212 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 3584 kB
Writeback: 0 kB
AnonPages: 2957592 kB
Mapped: 15292 kB
Slab: 77636 kB
PageTables: 10296 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 3105224 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= 74204 MiB
End job on node120 at 2010-06-30 12:41:27