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-2693822-1277894619.wbo>
0.00/0.02 c original problem has 8790 variables (8670 bin, 0 int, 0 impl, 120 cont) and 306 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.00/0.05 c presolving:
0.00/0.06 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 120 impls, 35 clqs
0.00/0.06 c (round 2) 0 del vars, 1 del conss, 120 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 120 impls, 35 clqs
0.00/0.07 c (round 3) 0 del vars, 1 del conss, 120 chg bounds, 0 chg sides, 0 chg coeffs, 30 upgd conss, 120 impls, 35 clqs
0.00/0.07 c (round 4) 0 del vars, 1 del conss, 120 chg bounds, 0 chg sides, 0 chg coeffs, 65 upgd conss, 120 impls, 35 clqs
0.09/0.15 c (0.1s) probing: 101/8670 (1.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.15 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.15 c presolving (5 rounds):
0.09/0.15 c 0 deleted vars, 1 deleted constraints, 120 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.15 c 120 implications, 35 cliques
0.09/0.15 c presolved problem has 8790 variables (8670 bin, 0 int, 0 impl, 120 cont) and 305 constraints
0.09/0.15 c 120 constraints of type <indicator>
0.09/0.15 c 35 constraints of type <setppc>
0.09/0.15 c 120 constraints of type <linear>
0.09/0.15 c 30 constraints of type <logicor>
0.09/0.15 c transformed objective value is always integral (scale: 1)
0.09/0.15 c Presolving Time: 0.10
0.09/0.15 c - non default parameters ----------------------------------------------------------------------
0.09/0.15 c # SCIP version 1.2.1.2
0.09/0.15 c
0.09/0.15 c # frequency for displaying node information lines
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.15 c display/freq = 10000
0.09/0.15 c
0.09/0.15 c # maximal time in seconds to run
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/time = 1799.98
0.09/0.15 c
0.09/0.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/memory = 3420
0.09/0.15 c
0.09/0.15 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.15 c lp/solvefreq = -1
0.09/0.15 c
0.09/0.15 c # should presolving try to simplify inequalities
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/linear/simplifyinequalities = TRUE
0.09/0.15 c
0.09/0.15 c # should presolving try to simplify knapsacks
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.15 c
0.09/0.15 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15 c separating/rapidlearning/freq = 0
0.09/0.15 c
0.09/0.15 c -----------------------------------------------------------------------------------------------
0.09/0.15 c start solving
0.09/0.15 c
0.09/0.16 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.16 c 0.1s| 1 | 2 | 0 | - | 16M| 0 | - |8790 | 305 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
5.90/5.95 c 5.9s| 10000 | 9998 | 0 | 0.0 | 20M|7028 | - |8790 | 323 | 0 | 0 | 0 | 20 | 0 | 0.000000e+00 | -- | Inf
11.19/11.27 c 11.1s| 20000 | 19987 | 0 | 0.0 | 23M|7088 | - |8790 | 326 | 0 | 0 | 0 | 70 | 0 | 0.000000e+00 | -- | Inf
15.99/16.10 c 15.9s| 30000 | 29971 | 0 | 0.0 | 26M|7088 | - |8790 | 335 | 0 | 0 | 0 | 150 | 0 | 0.000000e+00 | -- | Inf
21.09/21.13 c 20.9s| 40000 | 39961 | 0 | 0.0 | 29M|7088 | - |8790 | 334 | 0 | 0 | 0 | 200 | 0 | 0.000000e+00 | -- | Inf
26.19/26.28 c 26.0s| 50000 | 49945 | 0 | 0.0 | 32M|7088 | - |8790 | 364 | 0 | 0 | 0 | 280 | 0 | 0.000000e+00 | -- | Inf
31.99/32.07 c 31.7s| 60000 | 59932 | 0 | 0.0 | 35M|7088 | - |8790 | 341 | 0 | 0 | 0 | 340 | 0 | 0.000000e+00 | -- | Inf
38.19/38.24 c 37.8s| 70000 | 69922 | 0 | 0.0 | 38M|7088 | - |8790 | 341 | 0 | 0 | 0 | 388 | 0 | 0.000000e+00 | -- | Inf
43.90/43.99 c 43.5s| 80000 | 79908 | 0 | 0.0 | 41M|7088 | - |8790 | 345 | 0 | 0 | 0 | 458 | 0 | 0.000000e+00 | -- | Inf
49.69/49.79 c 49.3s| 90000 | 89894 | 0 | 0.0 | 44M|7088 | - |8790 | 344 | 0 | 0 | 0 | 528 | 0 | 0.000000e+00 | -- | Inf
55.99/56.02 c 55.5s|100000 | 99884 | 0 | 0.0 | 46M|7088 | - |8790 | 315 | 0 | 0 | 0 | 578 | 0 | 0.000000e+00 | -- | Inf
62.19/62.25 c 61.6s|110000 |109874 | 0 | 0.0 | 49M|7088 | - |8790 | 318 | 0 | 0 | 0 | 628 | 0 | 0.000000e+00 | -- | Inf
68.50/68.52 c 67.8s|120000 |119864 | 0 | 0.0 | 52M|7088 | - |8790 | 323 | 0 | 0 | 0 | 678 | 0 | 0.000000e+00 | -- | Inf
74.80/74.84 c 74.1s|130000 |129854 | 0 | 0.0 | 55M|7088 | - |8790 | 333 | 0 | 0 | 0 | 728 | 0 | 0.000000e+00 | -- | Inf
81.19/81.20 c 80.4s|140000 |139844 | 0 | 0.0 | 58M|7088 | - |8790 | 346 | 0 | 0 | 0 | 778 | 0 | 0.000000e+00 | -- | Inf
87.49/87.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
87.49/87.51 c 86.7s|150000 |149836 | 0 | 0.0 | 61M|7088 | - |8790 | 342 | 0 | 0 | 0 | 818 | 0 | 0.000000e+00 | -- | Inf
93.69/93.76 c 92.9s|160000 |159828 | 0 | 0.0 | 64M|7088 | - |8790 | 352 | 0 | 0 | 0 | 858 | 0 | 0.000000e+00 | -- | Inf
99.80/99.88 c 98.9s|170000 |169820 | 0 | 0.0 | 67M|7088 | - |8790 | 362 | 0 | 0 | 0 | 898 | 0 | 0.000000e+00 | -- | Inf
106.49/106.51 c 105s|180000 |179816 | 0 | 0.0 | 70M|7088 | - |8790 | 356 | 0 | 0 | 0 | 918 | 0 | 0.000000e+00 | -- | Inf
112.89/112.98 c 112s|190000 |189808 | 0 | 0.0 | 72M|7088 | - |8790 | 364 | 0 | 0 | 0 | 958 | 0 | 0.000000e+00 | -- | Inf
118.89/118.94 c 118s|200000 |199800 | 0 | 0.0 | 75M|7088 | - |8790 | 378 | 0 | 0 | 0 | 998 | 0 | 0.000000e+00 | -- | Inf
125.50/125.51 c 124s|210000 |209792 | 0 | 0.0 | 78M|7088 | - |8790 | 401 | 0 | 0 | 0 |1038 | 0 | 0.000000e+00 | -- | Inf
131.79/131.85 c 131s|220000 |219780 | 0 | 0.0 | 81M|7088 | - |8790 | 429 | 0 | 0 | 0 |1098 | 0 | 0.000000e+00 | -- | Inf
137.79/137.89 c 137s|230000 |229774 | 0 | 0.0 | 83M|7088 | - |8790 | 437 | 0 | 0 | 0 |1128 | 0 | 0.000000e+00 | -- | Inf
144.40/144.48 c 143s|240000 |239760 | 0 | 0.0 | 86M|7088 | - |8790 | 461 | 0 | 0 | 0 |1198 | 0 | 0.000000e+00 | -- | Inf
150.29/150.39 c 149s|250000 |249752 | 0 | 0.0 | 89M|7088 | - |8790 | 449 | 0 | 0 | 0 |1238 | 0 | 0.000000e+00 | -- | Inf
157.20/157.20 c 156s|260000 |259742 | 0 | 0.0 | 92M|7088 | - |8790 | 460 | 0 | 0 | 0 |1288 | 0 | 0.000000e+00 | -- | Inf
162.90/162.95 c 161s|270000 |269738 | 0 | 0.0 | 94M|7088 | - |8790 | 445 | 0 | 0 | 0 |1308 | 0 | 0.000000e+00 | -- | Inf
169.60/169.67 c 168s|280000 |279722 | 0 | 0.0 | 97M|7088 | - |8790 | 466 | 0 | 0 | 0 |1388 | 0 | 0.000000e+00 | -- | Inf
174.91/174.91 c 173s|290000 |289716 | 0 | 0.0 | 100M|7088 | - |8790 | 455 | 0 | 0 | 0 |1418 | 0 | 0.000000e+00 | -- | Inf
181.10/181.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
181.10/181.19 c 179s|300000 |299705 | 0 | 0.0 | 102M|7088 | - |8790 | 460 | 0 | 0 | 0 |1464 | 0 | 0.000000e+00 | -- | Inf
186.70/186.72 c 185s|310000 |309695 | 0 | 0.0 | 105M|7088 | - |8790 | 475 | 0 | 0 | 0 |1514 | 0 | 0.000000e+00 | -- | Inf
192.79/192.82 c 191s|320000 |319687 | 0 | 0.0 | 108M|7088 | - |8790 | 482 | 0 | 0 | 0 |1554 | 0 | 0.000000e+00 | -- | Inf
198.50/198.56 c 196s|330000 |329680 | 0 | 0.0 | 110M|7088 | - |8790 | 472 | 0 | 0 | 0 |1594 | 0 | 0.000000e+00 | -- | Inf
204.30/204.35 c 202s|340000 |339676 | 0 | 0.0 | 113M|7088 | - |8790 | 471 | 0 | 0 | 0 |1614 | 0 | 0.000000e+00 | -- | Inf
210.30/210.30 c 208s|350000 |349664 | 0 | 0.0 | 116M|7088 | - |8790 | 468 | 0 | 0 | 0 |1674 | 0 | 0.000000e+00 | -- | Inf
215.90/215.94 c 213s|360000 |359656 | 0 | 0.0 | 119M|7088 | - |8790 | 475 | 0 | 0 | 0 |1711 | 0 | 0.000000e+00 | -- | Inf
221.90/221.96 c 219s|370000 |369640 | 0 | 0.0 | 121M|7088 | - |8790 | 503 | 0 | 0 | 0 |1791 | 0 | 0.000000e+00 | -- | Inf
227.30/227.36 c 224s|380000 |379634 | 0 | 0.0 | 124M|7088 | - |8790 | 480 | 0 | 0 | 0 |1821 | 0 | 0.000000e+00 | -- | Inf
233.30/233.37 c 230s|390000 |389624 | 0 | 0.0 | 127M|7088 | - |8790 | 503 | 0 | 0 | 0 |1871 | 0 | 0.000000e+00 | -- | Inf
238.71/238.71 c 235s|400000 |399618 | 0 | 0.0 | 130M|7088 | - |8790 | 493 | 0 | 0 | 0 |1901 | 0 | 0.000000e+00 | -- | Inf
245.00/245.04 c 242s|410000 |409606 | 0 | 0.0 | 132M|7088 | - |8790 | 501 | 0 | 0 | 0 |1961 | 0 | 0.000000e+00 | -- | Inf
250.60/250.63 c 247s|420000 |419592 | 0 | 0.0 | 135M|7088 | - |8790 | 535 | 0 | 0 | 0 |2031 | 0 | 0.000000e+00 | -- | Inf
256.60/256.64 c 253s|430000 |429588 | 0 | 0.0 | 138M|7088 | - |8790 | 511 | 0 | 0 | 0 |2051 | 0 | 0.000000e+00 | -- | Inf
262.20/262.24 c 258s|440000 |439576 | 0 | 0.0 | 140M|7088 | - |8790 | 533 | 0 | 0 | 0 |2111 | 0 | 0.000000e+00 | -- | Inf
268.10/268.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
268.10/268.17 c 264s|450000 |449568 | 0 | 0.0 | 143M|7088 | - |8790 | 539 | 0 | 0 | 0 |2151 | 0 | 0.000000e+00 | -- | Inf
273.90/273.97 c 270s|460000 |459558 | 0 | 0.0 | 146M|7088 | - |8790 | 534 | 0 | 0 | 0 |2201 | 0 | 0.000000e+00 | -- | Inf
279.70/279.78 c 275s|470000 |469554 | 0 | 0.0 | 149M|7088 | - |8790 | 525 | 0 | 0 | 0 |2221 | 0 | 0.000000e+00 | -- | Inf
285.81/285.82 c 281s|480000 |479544 | 0 | 0.0 | 151M|7088 | - |8790 | 538 | 0 | 0 | 0 |2271 | 0 | 0.000000e+00 | -- | Inf
291.41/291.44 c 287s|490000 |489540 | 0 | 0.0 | 154M|7088 | - |8790 | 533 | 0 | 0 | 0 |2291 | 0 | 0.000000e+00 | -- | Inf
298.01/298.02 c 293s|500000 |499526 | 0 | 0.0 | 157M|7088 | - |8790 | 561 | 0 | 0 | 0 |2361 | 0 | 0.000000e+00 | -- | Inf
303.41/303.45 c 298s|510000 |509522 | 0 | 0.0 | 159M|7088 | - |8790 | 530 | 0 | 0 | 0 |2381 | 0 | 0.000000e+00 | -- | Inf
309.91/309.96 c 305s|520000 |519510 | 0 | 0.0 | 162M|7088 | - |8790 | 555 | 0 | 0 | 0 |2441 | 0 | 0.000000e+00 | -- | Inf
315.60/315.61 c 310s|530000 |529490 | 0 | 0.0 | 165M|7088 | - |8790 | 604 | 0 | 0 | 0 |2541 | 0 | 0.000000e+00 | -- | Inf
321.80/321.80 c 316s|540000 |539484 | 0 | 0.0 | 168M|7088 | - |8790 | 591 | 0 | 0 | 0 |2571 | 0 | 0.000000e+00 | -- | Inf
327.31/327.39 c 322s|550000 |549476 | 0 | 0.0 | 170M|7088 | - |8790 | 608 | 0 | 0 | 0 |2611 | 0 | 0.000000e+00 | -- | Inf
333.51/333.59 c 328s|560000 |559470 | 0 | 0.0 | 173M|7088 | - |8790 | 625 | 0 | 0 | 0 |2641 | 0 | 0.000000e+00 | -- | Inf
339.40/339.49 c 334s|570000 |569460 | 0 | 0.0 | 176M|7088 | - |8790 | 616 | 0 | 0 | 0 |2691 | 0 | 0.000000e+00 | -- | Inf
345.61/345.62 c 340s|580000 |579454 | 0 | 0.0 | 178M|7088 | - |8790 | 623 | 0 | 0 | 0 |2721 | 0 | 0.000000e+00 | -- | Inf
351.81/351.82 c 346s|590000 |589440 | 0 | 0.0 | 181M|7088 | - |8790 | 640 | 0 | 0 | 0 |2791 | 0 | 0.000000e+00 | -- | Inf
357.80/357.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
357.80/357.87 c 352s|600000 |599432 | 0 | 0.0 | 184M|7088 | - |8790 | 631 | 0 | 0 | 0 |2831 | 0 | 0.000000e+00 | -- | Inf
364.01/364.06 c 358s|610000 |609416 | 0 | 0.0 | 187M|7088 | - |8790 | 642 | 0 | 0 | 0 |2911 | 0 | 0.000000e+00 | -- | Inf
369.70/369.79 c 363s|620000 |619408 | 0 | 0.0 | 189M|7088 | - |8790 | 622 | 0 | 0 | 0 |2951 | 0 | 0.000000e+00 | -- | Inf
376.00/376.01 c 369s|630000 |629390 | 0 | 0.0 | 192M|7088 | - |8790 | 666 | 0 | 0 | 0 |3041 | 0 | 0.000000e+00 | -- | Inf
382.00/382.00 c 375s|640000 |639374 | 0 | 0.0 | 195M|7088 | - |8790 | 682 | 0 | 0 | 0 |3121 | 0 | 0.000000e+00 | -- | Inf
388.21/388.29 c 381s|650000 |649368 | 0 | 0.0 | 198M|7088 | - |8790 | 660 | 0 | 0 | 0 |3151 | 0 | 0.000000e+00 | -- | Inf
394.10/394.10 c 387s|660000 |659358 | 0 | 0.0 | 200M|7088 | - |8790 | 658 | 0 | 0 | 0 |3201 | 0 | 0.000000e+00 | -- | Inf
399.91/399.93 c 393s|670000 |669352 | 0 | 0.0 | 203M|7088 | - |8790 | 656 | 0 | 0 | 0 |3231 | 0 | 0.000000e+00 | -- | Inf
406.11/406.17 c 399s|680000 |679342 | 0 | 0.0 | 206M|7088 | - |8790 | 657 | 0 | 0 | 0 |3281 | 0 | 0.000000e+00 | -- | Inf
411.41/411.47 c 404s|690000 |689338 | 0 | 0.0 | 208M|7088 | - |8790 | 644 | 0 | 0 | 0 |3301 | 0 | 0.000000e+00 | -- | Inf
417.81/417.80 c 410s|700000 |699330 | 0 | 0.0 | 211M|7088 | - |8790 | 657 | 0 | 0 | 0 |3341 | 0 | 0.000000e+00 | -- | Inf
423.31/423.37 c 416s|710000 |709318 | 0 | 0.0 | 214M|7088 | - |8790 | 668 | 0 | 0 | 0 |3401 | 0 | 0.000000e+00 | -- | Inf
429.30/429.38 c 421s|720000 |719314 | 0 | 0.0 | 217M|7088 | - |8790 | 654 | 0 | 0 | 0 |3421 | 0 | 0.000000e+00 | -- | Inf
435.21/435.20 c 427s|730000 |729304 | 0 | 0.0 | 219M|7088 | - |8790 | 666 | 0 | 0 | 0 |3471 | 0 | 0.000000e+00 | -- | Inf
441.01/441.01 c 433s|740000 |739300 | 0 | 0.0 | 222M|7088 | - |8790 | 662 | 0 | 0 | 0 |3491 | 0 | 0.000000e+00 | -- | Inf
446.71/446.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
446.71/446.79 c 438s|750000 |749290 | 0 | 0.0 | 225M|7088 | - |8790 | 671 | 0 | 0 | 0 |3541 | 0 | 0.000000e+00 | -- | Inf
452.41/452.48 c 444s|760000 |759286 | 0 | 0.0 | 227M|7088 | - |8790 | 660 | 0 | 0 | 0 |3561 | 0 | 0.000000e+00 | -- | Inf
458.71/458.74 c 450s|770000 |769270 | 0 | 0.0 | 230M|7088 | - |8790 | 675 | 0 | 0 | 0 |3641 | 0 | 0.000000e+00 | -- | Inf
464.12/464.15 c 455s|780000 |779266 | 0 | 0.0 | 233M|7088 | - |8790 | 657 | 0 | 0 | 0 |3661 | 0 | 0.000000e+00 | -- | Inf
470.61/470.64 c 462s|790000 |789254 | 0 | 0.0 | 236M|7088 | - |8790 | 686 | 0 | 0 | 0 |3721 | 0 | 0.000000e+00 | -- | Inf
476.00/476.01 c 467s|800000 |799248 | 0 | 0.0 | 238M|7088 | - |8790 | 666 | 0 | 0 | 0 |3751 | 0 | 0.000000e+00 | -- | Inf
482.41/482.49 c 473s|810000 |809238 | 0 | 0.0 | 241M|7088 | - |8790 | 681 | 0 | 0 | 0 |3801 | 0 | 0.000000e+00 | -- | Inf
487.71/487.77 c 478s|820000 |819234 | 0 | 0.0 | 244M|7088 | - |8790 | 663 | 0 | 0 | 0 |3821 | 0 | 0.000000e+00 | -- | Inf
494.21/494.21 c 485s|830000 |829226 | 0 | 0.0 | 246M|7088 | - |8790 | 671 | 0 | 0 | 0 |3861 | 0 | 0.000000e+00 | -- | Inf
499.81/499.82 c 490s|840000 |839212 | 0 | 0.0 | 249M|7088 | - |8790 | 705 | 0 | 0 | 0 |3929 | 0 | 0.000000e+00 | -- | Inf
506.11/506.11 c 496s|850000 |849208 | 0 | 0.0 | 252M|7088 | - |8790 | 687 | 0 | 0 | 0 |3949 | 0 | 0.000000e+00 | -- | Inf
511.71/511.72 c 502s|860000 |859198 | 0 | 0.0 | 254M|7088 | - |8790 | 701 | 0 | 0 | 0 |3999 | 0 | 0.000000e+00 | -- | Inf
518.02/518.06 c 508s|870000 |869192 | 0 | 0.0 | 257M|7088 | - |8790 | 706 | 0 | 0 | 0 |4029 | 0 | 0.000000e+00 | -- | Inf
523.81/523.85 c 514s|880000 |879180 | 0 | 0.0 | 260M|7088 | - |8790 | 706 | 0 | 0 | 0 |4087 | 0 | 0.000000e+00 | -- | Inf
530.11/530.14 c 520s|890000 |889174 | 0 | 0.0 | 262M|7088 | - |8790 | 701 | 0 | 0 | 0 |4117 | 0 | 0.000000e+00 | -- | Inf
536.01/536.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
536.01/536.03 c 526s|900000 |899162 | 0 | 0.0 | 265M|7088 | - |8790 | 703 | 0 | 0 | 0 |4177 | 0 | 0.000000e+00 | -- | Inf
542.12/542.14 c 531s|910000 |909158 | 0 | 0.0 | 268M|7088 | - |8790 | 702 | 0 | 0 | 0 |4197 | 0 | 0.000000e+00 | -- | Inf
547.71/547.76 c 537s|920000 |919150 | 0 | 0.0 | 271M|7088 | - |8790 | 689 | 0 | 0 | 0 |4237 | 0 | 0.000000e+00 | -- | Inf
554.11/554.12 c 543s|930000 |929144 | 0 | 0.0 | 273M|7088 | - |8790 | 699 | 0 | 0 | 0 |4267 | 0 | 0.000000e+00 | -- | Inf
559.81/559.81 c 549s|940000 |939134 | 0 | 0.0 | 276M|7098 | - |8790 | 697 | 0 | 0 | 0 |4317 | 0 | 0.000000e+00 | -- | Inf
566.01/566.05 c 555s|950000 |949130 | 0 | 0.0 | 279M|7098 | - |8790 | 689 | 0 | 0 | 0 |4337 | 0 | 0.000000e+00 | -- | Inf
571.31/571.36 c 560s|960000 |959126 | 0 | 0.0 | 281M|7098 | - |8790 | 677 | 0 | 0 | 0 |4357 | 0 | 0.000000e+00 | -- | Inf
577.71/577.77 c 566s|970000 |969116 | 0 | 0.0 | 284M|7098 | - |8790 | 692 | 0 | 0 | 0 |4407 | 0 | 0.000000e+00 | -- | Inf
583.22/583.26 c 572s|980000 |979110 | 0 | 0.0 | 287M|7119 | - |8790 | 685 | 0 | 0 | 0 |4437 | 0 | 0.000000e+00 | -- | Inf
589.41/589.47 c 578s|990000 |989102 | 0 | 0.0 | 289M|7132 | - |8790 | 679 | 0 | 0 | 0 |4477 | 0 | 0.000000e+00 | -- | Inf
595.22/595.21 c 583s| 1000k|999094 | 0 | 0.0 | 292M|7195 | - |8790 | 699 | 0 | 0 | 0 |4517 | 0 | 0.000000e+00 | -- | Inf
600.91/600.98 c 589s| 1010k| 1009k| 0 | 0.0 | 295M|7195 | - |8790 | 707 | 0 | 0 | 0 |4577 | 0 | 0.000000e+00 | -- | Inf
606.72/606.76 c 594s| 1020k| 1019k| 0 | 0.0 | 297M|7212 | - |8790 | 718 | 0 | 0 | 0 |4627 | 0 | 0.000000e+00 | -- | Inf
612.42/612.47 c 600s| 1030k| 1029k| 0 | 0.0 | 300M|7212 | - |8790 | 692 | 0 | 0 | 0 |4667 | 0 | 0.000000e+00 | -- | Inf
618.42/618.48 c 606s| 1040k| 1039k| 0 | 0.0 | 303M|7212 | - |8790 | 689 | 0 | 0 | 0 |4697 | 0 | 0.000000e+00 | -- | Inf
623.82/623.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
623.82/623.89 c 611s| 1050k| 1049k| 0 | 0.0 | 305M|7212 | - |8790 | 680 | 0 | 0 | 0 |4757 | 0 | 0.000000e+00 | -- | Inf
630.22/630.24 c 617s| 1060k| 1059k| 0 | 0.0 | 308M|7212 | - |8790 | 668 | 0 | 0 | 0 |4787 | 0 | 0.000000e+00 | -- | Inf
635.91/635.92 c 623s| 1070k| 1069k| 0 | 0.0 | 311M|7212 | - |8790 | 688 | 0 | 0 | 0 |4877 | 0 | 0.000000e+00 | -- | Inf
642.22/642.23 c 629s| 1080k| 1079k| 0 | 0.0 | 313M|7212 | - |8790 | 669 | 0 | 0 | 0 |4907 | 0 | 0.000000e+00 | -- | Inf
647.52/647.50 c 634s| 1090k| 1089k| 0 | 0.0 | 316M|7212 | - |8790 | 649 | 0 | 0 | 0 |4927 | 0 | 0.000000e+00 | -- | Inf
653.82/653.83 c 640s| 1100k| 1099k| 0 | 0.0 | 319M|7212 | - |8790 | 662 | 0 | 0 | 0 |4977 | 0 | 0.000000e+00 | -- | Inf
659.22/659.27 c 646s| 1110k| 1108k| 0 | 0.0 | 321M|7212 | - |8790 | 662 | 0 | 0 | 0 |5007 | 0 | 0.000000e+00 | -- | Inf
665.22/665.24 c 652s| 1120k| 1118k| 0 | 0.0 | 324M|7212 | - |8790 | 674 | 0 | 0 | 0 |5063 | 0 | 0.000000e+00 | -- | Inf
670.92/670.97 c 657s| 1130k| 1128k| 0 | 0.0 | 327M|7212 | - |8790 | 679 | 0 | 0 | 0 |5093 | 0 | 0.000000e+00 | -- | Inf
676.52/676.53 c 663s| 1140k| 1138k| 0 | 0.0 | 329M|7212 | - |8790 | 676 | 0 | 0 | 0 |5133 | 0 | 0.000000e+00 | -- | Inf
682.31/682.39 c 668s| 1150k| 1148k| 0 | 0.0 | 332M|7212 | - |8790 | 687 | 0 | 0 | 0 |5163 | 0 | 0.000000e+00 | -- | Inf
688.02/688.08 c 674s| 1160k| 1158k| 0 | 0.0 | 335M|7212 | - |8790 | 707 | 0 | 0 | 0 |5233 | 0 | 0.000000e+00 | -- | Inf
693.81/693.86 c 679s| 1170k| 1168k| 0 | 0.0 | 337M|7212 | - |8790 | 684 | 0 | 0 | 0 |5253 | 0 | 0.000000e+00 | -- | Inf
699.21/699.22 c 685s| 1180k| 1178k| 0 | 0.0 | 340M|7212 | - |8790 | 699 | 0 | 0 | 0 |5303 | 0 | 0.000000e+00 | -- | Inf
705.22/705.22 c 691s| 1190k| 1188k| 0 | 0.0 | 343M|7212 | - |8790 | 713 | 0 | 0 | 0 |5353 | 0 | 0.000000e+00 | -- | Inf
710.52/710.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
710.52/710.57 c 696s| 1200k| 1198k| 0 | 0.0 | 345M|7212 | - |8790 | 698 | 0 | 0 | 0 |5403 | 0 | 0.000000e+00 | -- | Inf
716.72/716.76 c 702s| 1210k| 1208k| 0 | 0.0 | 348M|7212 | - |8790 | 684 | 0 | 0 | 0 |5423 | 0 | 0.000000e+00 | -- | Inf
722.22/722.24 c 707s| 1220k| 1218k| 0 | 0.0 | 351M|7212 | - |8790 | 696 | 0 | 0 | 0 |5483 | 0 | 0.000000e+00 | -- | Inf
728.42/728.46 c 713s| 1230k| 1228k| 0 | 0.0 | 353M|7212 | - |8790 | 680 | 0 | 0 | 0 |5503 | 0 | 0.000000e+00 | -- | Inf
733.73/733.72 c 718s| 1240k| 1238k| 0 | 0.0 | 356M|7212 | - |8790 | 691 | 0 | 0 | 0 |5553 | 0 | 0.000000e+00 | -- | Inf
740.11/740.16 c 725s| 1250k| 1248k| 0 | 0.0 | 359M|7212 | - |8790 | 682 | 0 | 0 | 0 |5593 | 0 | 0.000000e+00 | -- | Inf
745.32/745.39 c 730s| 1260k| 1258k| 0 | 0.0 | 361M|7212 | - |8790 | 666 | 0 | 0 | 0 |5613 | 0 | 0.000000e+00 | -- | Inf
751.92/751.91 c 736s| 1270k| 1268k| 0 | 0.0 | 364M|7212 | - |8790 | 719 | 0 | 0 | 0 |5703 | 0 | 0.000000e+00 | -- | Inf
757.12/757.12 c 741s| 1280k| 1278k| 0 | 0.0 | 367M|7212 | - |8790 | 663 | 0 | 0 | 0 |5723 | 0 | 0.000000e+00 | -- | Inf
763.43/763.46 c 747s| 1290k| 1288k| 0 | 0.0 | 369M|7212 | - |8790 | 675 | 0 | 0 | 0 |5773 | 0 | 0.000000e+00 | -- | Inf
769.02/769.04 c 753s| 1300k| 1298k| 0 | 0.0 | 372M|7212 | - |8790 | 695 | 0 | 0 | 0 |5823 | 0 | 0.000000e+00 | -- | Inf
774.92/774.96 c 759s| 1310k| 1308k| 0 | 0.0 | 375M|7212 | - |8790 | 673 | 0 | 0 | 0 |5873 | 0 | 0.000000e+00 | -- | Inf
780.32/780.34 c 764s| 1320k| 1318k| 0 | 0.0 | 377M|7212 | - |8790 | 669 | 0 | 0 | 0 |5893 | 0 | 0.000000e+00 | -- | Inf
786.72/786.73 c 770s| 1330k| 1328k| 0 | 0.0 | 380M|7212 | - |8790 | 695 | 0 | 0 | 0 |5973 | 0 | 0.000000e+00 | -- | Inf
792.32/792.32 c 776s| 1340k| 1338k| 0 | 0.0 | 383M|7212 | - |8790 | 663 | 0 | 0 | 0 |5993 | 0 | 0.000000e+00 | -- | Inf
798.82/798.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
798.82/798.85 c 782s| 1350k| 1348k| 0 | 0.0 | 386M|7212 | - |8790 | 673 | 0 | 0 | 0 |6053 | 0 | 0.000000e+00 | -- | Inf
804.52/804.51 c 787s| 1360k| 1358k| 0 | 0.0 | 388M|7212 | - |8790 | 665 | 0 | 0 | 0 |6073 | 0 | 0.000000e+00 | -- | Inf
810.42/810.48 c 793s| 1370k| 1368k| 0 | 0.0 | 391M|7212 | - |8790 | 653 | 0 | 0 | 0 |6123 | 0 | 0.000000e+00 | -- | Inf
816.13/816.14 c 799s| 1380k| 1378k| 0 | 0.0 | 393M|7212 | - |8790 | 655 | 0 | 0 | 0 |6163 | 0 | 0.000000e+00 | -- | Inf
821.93/821.98 c 804s| 1390k| 1388k| 0 | 0.0 | 396M|7212 | - |8790 | 642 | 0 | 0 | 0 |6233 | 0 | 0.000000e+00 | -- | Inf
827.62/827.68 c 810s| 1400k| 1398k| 0 | 0.0 | 399M|7212 | - |8790 | 649 | 0 | 0 | 0 |6273 | 0 | 0.000000e+00 | -- | Inf
833.52/833.53 c 816s| 1410k| 1408k| 0 | 0.0 | 402M|7212 | - |8790 | 639 | 0 | 0 | 0 |6323 | 0 | 0.000000e+00 | -- | Inf
839.02/839.00 c 821s| 1420k| 1418k| 0 | 0.0 | 404M|7212 | - |8790 | 648 | 0 | 0 | 0 |6353 | 0 | 0.000000e+00 | -- | Inf
844.73/844.80 c 827s| 1430k| 1428k| 0 | 0.0 | 407M|7212 | - |8790 | 647 | 0 | 0 | 0 |6403 | 0 | 0.000000e+00 | -- | Inf
850.43/850.46 c 832s| 1440k| 1438k| 0 | 0.0 | 410M|7212 | - |8790 | 653 | 0 | 0 | 0 |6433 | 0 | 0.000000e+00 | -- | Inf
856.62/856.62 c 838s| 1450k| 1448k| 0 | 0.0 | 412M|7212 | - |8790 | 657 | 0 | 0 | 0 |6493 | 0 | 0.000000e+00 | -- | Inf
862.02/862.03 c 844s| 1460k| 1458k| 0 | 0.0 | 415M|7212 | - |8790 | 653 | 0 | 0 | 0 |6523 | 0 | 0.000000e+00 | -- | Inf
867.93/867.96 c 849s| 1470k| 1468k| 0 | 0.0 | 418M|7212 | - |8790 | 660 | 0 | 0 | 0 |6573 | 0 | 0.000000e+00 | -- | Inf
873.63/873.66 c 855s| 1480k| 1478k| 0 | 0.0 | 420M|7212 | - |8790 | 673 | 0 | 0 | 0 |6613 | 0 | 0.000000e+00 | -- | Inf
879.52/879.59 c 861s| 1490k| 1488k| 0 | 0.0 | 423M|7212 | - |8790 | 663 | 0 | 0 | 0 |6673 | 0 | 0.000000e+00 | -- | Inf
884.93/884.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
884.93/884.96 c 866s| 1500k| 1498k| 0 | 0.0 | 426M|7212 | - |8790 | 644 | 0 | 0 | 0 |6693 | 0 | 0.000000e+00 | -- | Inf
891.22/891.25 c 872s| 1510k| 1508k| 0 | 0.0 | 428M|7212 | - |8790 | 649 | 0 | 0 | 0 |6743 | 0 | 0.000000e+00 | -- | Inf
896.43/896.48 c 877s| 1520k| 1518k| 0 | 0.0 | 431M|7212 | - |8790 | 643 | 0 | 0 | 0 |6773 | 0 | 0.000000e+00 | -- | Inf
902.62/902.64 c 883s| 1530k| 1528k| 0 | 0.0 | 434M|7212 | - |8790 | 639 | 0 | 0 | 0 |6823 | 0 | 0.000000e+00 | -- | Inf
907.83/907.82 c 888s| 1540k| 1538k| 0 | 0.0 | 436M|7212 | - |8790 | 638 | 0 | 0 | 0 |6853 | 0 | 0.000000e+00 | -- | Inf
914.52/914.59 c 895s| 1550k| 1548k| 0 | 0.0 | 439M|7212 | - |8790 | 684 | 0 | 0 | 0 |6943 | 0 | 0.000000e+00 | -- | Inf
919.72/919.70 c 900s| 1560k| 1558k| 0 | 0.0 | 442M|7212 | - |8790 | 647 | 0 | 0 | 0 |6963 | 0 | 0.000000e+00 | -- | Inf
926.02/926.00 c 906s| 1570k| 1568k| 0 | 0.0 | 444M|7212 | - |8790 | 663 | 0 | 0 | 0 |7033 | 0 | 0.000000e+00 | -- | Inf
931.22/931.25 c 911s| 1580k| 1578k| 0 | 0.0 | 447M|7212 | - |8790 | 703 | 0 | 0 | 0 |7113 | 0 | 0.000000e+00 | -- | Inf
937.32/937.34 c 917s| 1590k| 1588k| 0 | 0.0 | 450M|7212 | - |8790 | 679 | 0 | 0 | 0 |7143 | 0 | 0.000000e+00 | -- | Inf
942.82/942.84 c 922s| 1600k| 1598k| 0 | 0.0 | 453M|7212 | - |8790 | 680 | 0 | 0 | 0 |7193 | 0 | 0.000000e+00 | -- | Inf
948.92/948.93 c 928s| 1610k| 1608k| 0 | 0.0 | 455M|7212 | - |8790 | 677 | 0 | 0 | 0 |7223 | 0 | 0.000000e+00 | -- | Inf
954.83/954.84 c 934s| 1620k| 1618k| 0 | 0.0 | 458M|7212 | - |8790 | 676 | 0 | 0 | 0 |7303 | 0 | 0.000000e+00 | -- | Inf
961.22/961.27 c 940s| 1630k| 1628k| 0 | 0.0 | 461M|7212 | - |8790 | 691 | 0 | 0 | 0 |7353 | 0 | 0.000000e+00 | -- | Inf
966.83/966.86 c 946s| 1640k| 1638k| 0 | 0.0 | 463M|7212 | - |8790 | 666 | 0 | 0 | 0 |7393 | 0 | 0.000000e+00 | -- | Inf
972.93/972.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
972.93/972.93 c 952s| 1650k| 1648k| 0 | 0.0 | 466M|7212 | - |8790 | 664 | 0 | 0 | 0 |7413 | 0 | 0.000000e+00 | -- | Inf
978.82/978.84 c 957s| 1660k| 1658k| 0 | 0.0 | 469M|7212 | - |8790 | 686 | 0 | 0 | 0 |7483 | 0 | 0.000000e+00 | -- | Inf
984.73/984.70 c 963s| 1670k| 1668k| 0 | 0.0 | 471M|7212 | - |8790 | 679 | 0 | 0 | 0 |7513 | 0 | 0.000000e+00 | -- | Inf
990.63/990.63 c 969s| 1680k| 1678k| 0 | 0.0 | 474M|7212 | - |8790 | 692 | 0 | 0 | 0 |7603 | 0 | 0.000000e+00 | -- | Inf
996.73/996.73 c 975s| 1690k| 1688k| 0 | 0.0 | 477M|7212 | - |8790 | 694 | 0 | 0 | 0 |7633 | 0 | 0.000000e+00 | -- | Inf
1002.33/1002.32 c 980s| 1700k| 1698k| 0 | 0.0 | 479M|7212 | - |8790 | 699 | 0 | 0 | 0 |7701 | 0 | 0.000000e+00 | -- | Inf
1008.53/1008.59 c 986s| 1710k| 1708k| 0 | 0.0 | 482M|7212 | - |8790 | 679 | 0 | 0 | 0 |7731 | 0 | 0.000000e+00 | -- | Inf
1014.13/1014.14 c 992s| 1720k| 1718k| 0 | 0.0 | 485M|7212 | - |8790 | 678 | 0 | 0 | 0 |7781 | 0 | 0.000000e+00 | -- | Inf
1020.03/1020.04 c 998s| 1730k| 1728k| 0 | 0.0 | 487M|7212 | - |8790 | 670 | 0 | 0 | 0 |7801 | 0 | 0.000000e+00 | -- | Inf
1025.43/1025.43 c 1003s| 1740k| 1738k| 0 | 0.0 | 490M|7212 | - |8790 | 699 | 0 | 0 | 0 |7861 | 0 | 0.000000e+00 | -- | Inf
1031.53/1031.57 c 1009s| 1750k| 1748k| 0 | 0.0 | 493M|7212 | - |8790 | 704 | 0 | 0 | 0 |7901 | 0 | 0.000000e+00 | -- | Inf
1036.93/1036.94 c 1014s| 1760k| 1758k| 0 | 0.0 | 495M|7212 | - |8790 | 717 | 0 | 0 | 0 |7971 | 0 | 0.000000e+00 | -- | Inf
1042.84/1042.81 c 1020s| 1770k| 1768k| 0 | 0.0 | 498M|7212 | - |8790 | 712 | 0 | 0 | 0 |8011 | 0 | 0.000000e+00 | -- | Inf
1048.03/1048.08 c 1025s| 1780k| 1778k| 0 | 0.0 | 501M|7212 | - |8790 | 720 | 0 | 0 | 0 |8071 | 0 | 0.000000e+00 | -- | Inf
1054.03/1054.03 c 1031s| 1790k| 1788k| 0 | 0.0 | 503M|7212 | - |8790 | 716 | 0 | 0 | 0 |8091 | 0 | 0.000000e+00 | -- | Inf
1059.33/1059.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1059.33/1059.37 c 1036s| 1800k| 1798k| 0 | 0.0 | 506M|7212 | - |8790 | 708 | 0 | 0 | 0 |8141 | 0 | 0.000000e+00 | -- | Inf
1065.03/1065.03 c 1042s| 1810k| 1808k| 0 | 0.0 | 509M|7212 | - |8790 | 710 | 0 | 0 | 0 |8161 | 0 | 0.000000e+00 | -- | Inf
1071.03/1071.02 c 1047s| 1820k| 1818k| 0 | 0.0 | 512M|7212 | - |8790 | 722 | 0 | 0 | 0 |8221 | 0 | 0.000000e+00 | -- | Inf
1076.53/1076.57 c 1053s| 1830k| 1828k| 0 | 0.0 | 514M|7212 | - |8790 | 715 | 0 | 0 | 0 |8251 | 0 | 0.000000e+00 | -- | Inf
1082.23/1082.25 c 1058s| 1840k| 1838k| 0 | 0.0 | 517M|7212 | - |8790 | 709 | 0 | 0 | 0 |8301 | 0 | 0.000000e+00 | -- | Inf
1087.83/1087.86 c 1064s| 1850k| 1848k| 0 | 0.0 | 519M|7212 | - |8790 | 703 | 0 | 0 | 0 |8321 | 0 | 0.000000e+00 | -- | Inf
1093.63/1093.64 c 1069s| 1860k| 1858k| 0 | 0.0 | 522M|7212 | - |8790 | 715 | 0 | 0 | 0 |8391 | 0 | 0.000000e+00 | -- | Inf
1099.14/1099.19 c 1075s| 1870k| 1868k| 0 | 0.0 | 525M|7212 | - |8790 | 697 | 0 | 0 | 0 |8421 | 0 | 0.000000e+00 | -- | Inf
1104.93/1104.97 c 1080s| 1880k| 1878k| 0 | 0.0 | 528M|7212 | - |8790 | 717 | 0 | 0 | 0 |8491 | 0 | 0.000000e+00 | -- | Inf
1110.03/1110.05 c 1085s| 1890k| 1888k| 0 | 0.0 | 530M|7212 | - |8790 | 709 | 0 | 0 | 0 |8521 | 0 | 0.000000e+00 | -- | Inf
1116.03/1116.05 c 1091s| 1900k| 1898k| 0 | 0.0 | 533M|7212 | - |8790 | 711 | 0 | 0 | 0 |8561 | 0 | 0.000000e+00 | -- | Inf
1121.44/1121.49 c 1097s| 1910k| 1908k| 0 | 0.0 | 536M|7212 | - |8790 | 724 | 0 | 0 | 0 |8621 | 0 | 0.000000e+00 | -- | Inf
1127.63/1127.60 c 1103s| 1920k| 1918k| 0 | 0.0 | 538M|7212 | - |8790 | 729 | 0 | 0 | 0 |8671 | 0 | 0.000000e+00 | -- | Inf
1132.94/1133.00 c 1108s| 1930k| 1928k| 0 | 0.0 | 541M|7212 | - |8790 | 730 | 0 | 0 | 0 |8731 | 0 | 0.000000e+00 | -- | Inf
1138.63/1138.68 c 1113s| 1940k| 1938k| 0 | 0.0 | 544M|7212 | - |8790 | 708 | 0 | 0 | 0 |8751 | 0 | 0.000000e+00 | -- | Inf
1144.04/1144.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1144.04/1144.03 c 1119s| 1950k| 1948k| 0 | 0.0 | 546M|7212 | - |8790 | 718 | 0 | 0 | 0 |8801 | 0 | 0.000000e+00 | -- | Inf
1149.73/1149.71 c 1124s| 1960k| 1958k| 0 | 0.0 | 549M|7212 | - |8790 | 710 | 0 | 0 | 0 |8821 | 0 | 0.000000e+00 | -- | Inf
1155.13/1155.19 c 1129s| 1970k| 1968k| 0 | 0.0 | 552M|7212 | - |8790 | 730 | 0 | 0 | 0 |8901 | 0 | 0.000000e+00 | -- | Inf
1160.54/1160.57 c 1135s| 1980k| 1978k| 0 | 0.0 | 554M|7212 | - |8790 | 705 | 0 | 0 | 0 |8921 | 0 | 0.000000e+00 | -- | Inf
1166.44/1166.46 c 1140s| 1990k| 1988k| 0 | 0.0 | 557M|7212 | - |8790 | 724 | 0 | 0 | 0 |8991 | 0 | 0.000000e+00 | -- | Inf
1171.83/1171.88 c 1146s| 2000k| 1998k| 0 | 0.0 | 560M|7212 | - |8790 | 724 | 0 | 0 | 0 |9031 | 0 | 0.000000e+00 | -- | Inf
1178.04/1178.03 c 1152s| 2010k| 2008k| 0 | 0.0 | 563M|7212 | - |8790 | 722 | 0 | 0 | 0 |9091 | 0 | 0.000000e+00 | -- | Inf
1183.54/1183.51 c 1157s| 2020k| 2018k| 0 | 0.0 | 565M|7212 | - |8790 | 705 | 0 | 0 | 0 |9141 | 0 | 0.000000e+00 | -- | Inf
1189.54/1189.58 c 1163s| 2030k| 2028k| 0 | 0.0 | 568M|7212 | - |8790 | 704 | 0 | 0 | 0 |9171 | 0 | 0.000000e+00 | -- | Inf
1195.14/1195.12 c 1168s| 2040k| 2038k| 0 | 0.0 | 571M|7212 | - |8790 | 705 | 0 | 0 | 0 |9251 | 0 | 0.000000e+00 | -- | Inf
1200.64/1200.68 c 1174s| 2050k| 2048k| 0 | 0.0 | 573M|7212 | - |8790 | 697 | 0 | 0 | 0 |9281 | 0 | 0.000000e+00 | -- | Inf
1206.43/1206.49 c 1179s| 2060k| 2058k| 0 | 0.0 | 576M|7212 | - |8790 | 723 | 0 | 0 | 0 |9361 | 0 | 0.000000e+00 | -- | Inf
1212.14/1212.20 c 1185s| 2070k| 2068k| 0 | 0.0 | 579M|7212 | - |8790 | 730 | 0 | 0 | 0 |9421 | 0 | 0.000000e+00 | -- | Inf
1218.33/1218.34 c 1191s| 2080k| 2078k| 0 | 0.0 | 581M|7212 | - |8790 | 709 | 0 | 0 | 0 |9481 | 0 | 0.000000e+00 | -- | Inf
1223.64/1223.68 c 1196s| 2090k| 2088k| 0 | 0.0 | 584M|7212 | - |8790 | 696 | 0 | 0 | 0 |9511 | 0 | 0.000000e+00 | -- | Inf
1229.84/1229.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1229.84/1229.81 c 1202s| 2100k| 2098k| 0 | 0.0 | 587M|7212 | - |8790 | 709 | 0 | 0 | 0 |9581 | 0 | 0.000000e+00 | -- | Inf
1234.83/1234.86 c 1207s| 2110k| 2108k| 0 | 0.0 | 589M|7212 | - |8790 | 711 | 0 | 0 | 0 |9621 | 0 | 0.000000e+00 | -- | Inf
1241.03/1241.02 c 1213s| 2120k| 2118k| 0 | 0.0 | 592M|7212 | - |8790 | 717 | 0 | 0 | 0 |9671 | 0 | 0.000000e+00 | -- | Inf
1246.64/1246.61 c 1219s| 2130k| 2128k| 0 | 0.0 | 595M|7212 | - |8790 | 733 | 0 | 0 | 0 |9731 | 0 | 0.000000e+00 | -- | Inf
1252.85/1252.83 c 1225s| 2140k| 2138k| 0 | 0.0 | 598M|7212 | - |8790 | 721 | 0 | 0 | 0 |9761 | 0 | 0.000000e+00 | -- | Inf
1258.14/1258.15 c 1230s| 2150k| 2148k| 0 | 0.0 | 600M|7212 | - |8790 | 716 | 0 | 0 | 0 |9811 | 0 | 0.000000e+00 | -- | Inf
1264.24/1264.21 c 1236s| 2160k| 2158k| 0 | 0.0 | 603M|7212 | - |8790 | 710 | 0 | 0 | 0 |9841 | 0 | 0.000000e+00 | -- | Inf
1270.34/1270.32 c 1242s| 2170k| 2168k| 0 | 0.0 | 606M|7212 | - |8790 | 746 | 0 | 0 | 0 |9931 | 0 | 0.000000e+00 | -- | Inf
1275.74/1275.77 c 1247s| 2180k| 2178k| 0 | 0.0 | 608M|7212 | - |8790 | 708 | 0 | 0 | 0 |9951 | 0 | 0.000000e+00 | -- | Inf
1281.44/1281.49 c 1253s| 2190k| 2187k| 0 | 0.0 | 611M|7212 | - |8790 | 726 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
1286.74/1286.71 c 1258s| 2200k| 2197k| 0 | 0.0 | 614M|7212 | - |8790 | 703 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
1292.84/1292.80 c 1264s| 2210k| 2207k| 0 | 0.0 | 616M|7212 | - |8790 | 712 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
1298.14/1298.11 c 1269s| 2220k| 2217k| 0 | 0.0 | 619M|7212 | - |8790 | 744 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
1304.65/1304.68 c 1275s| 2230k| 2227k| 0 | 0.0 | 622M|7212 | - |8790 | 727 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
1310.15/1310.19 c 1281s| 2240k| 2237k| 0 | 0.0 | 624M|7212 | - |8790 | 727 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
1315.74/1315.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1315.74/1315.79 c 1286s| 2250k| 2247k| 0 | 0.0 | 627M|7212 | - |8790 | 728 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
1321.44/1321.48 c 1292s| 2260k| 2257k| 0 | 0.0 | 630M|7212 | - |8790 | 714 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
1326.74/1326.73 c 1297s| 2270k| 2267k| 0 | 0.0 | 632M|7212 | - |8790 | 708 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
1332.54/1332.55 c 1302s| 2280k| 2277k| 0 | 0.0 | 635M|7212 | - |8790 | 714 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
1337.74/1337.76 c 1307s| 2290k| 2287k| 0 | 0.0 | 638M|7212 | - |8790 | 730 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
1343.64/1343.68 c 1313s| 2300k| 2297k| 0 | 0.0 | 641M|7212 | - |8790 | 699 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
1349.14/1349.15 c 1319s| 2310k| 2307k| 0 | 0.0 | 643M|7212 | - |8790 | 702 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
1354.65/1354.64 c 1324s| 2320k| 2317k| 0 | 0.0 | 646M|7212 | - |8790 | 711 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
1360.44/1360.48 c 1330s| 2330k| 2327k| 0 | 0.0 | 649M|7212 | - |8790 | 702 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
1365.54/1365.58 c 1335s| 2340k| 2337k| 0 | 0.0 | 651M|7212 | - |8790 | 690 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
1371.44/1371.44 c 1340s| 2350k| 2347k| 0 | 0.0 | 654M|7212 | - |8790 | 704 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
1376.95/1376.91 c 1346s| 2360k| 2357k| 0 | 0.0 | 657M|7212 | - |8790 | 725 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
1382.75/1382.71 c 1351s| 2370k| 2367k| 0 | 0.0 | 659M|7212 | - |8790 | 703 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
1388.25/1388.23 c 1357s| 2380k| 2377k| 0 | 0.0 | 662M|7212 | - |8790 | 676 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
1393.85/1393.88 c 1362s| 2390k| 2387k| 0 | 0.0 | 665M|7212 | - |8790 | 681 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1399.75/1399.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1399.75/1399.71 c 1368s| 2400k| 2397k| 0 | 0.0 | 668M|7212 | - |8790 | 679 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1405.05/1405.01 c 1373s| 2410k| 2407k| 0 | 0.0 | 670M|7212 | - |8790 | 661 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1411.04/1411.09 c 1379s| 2420k| 2417k| 0 | 0.0 | 673M|7212 | - |8790 | 651 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1415.94/1415.95 c 1384s| 2430k| 2427k| 0 | 0.0 | 676M|7212 | - |8790 | 672 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1421.95/1421.95 c 1390s| 2440k| 2437k| 0 | 0.0 | 678M|7212 | - |8790 | 667 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1427.44/1427.44 c 1395s| 2450k| 2447k| 0 | 0.0 | 681M|7212 | - |8790 | 647 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1433.15/1433.20 c 1400s| 2460k| 2457k| 0 | 0.0 | 684M|7212 | - |8790 | 657 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1438.85/1438.82 c 1406s| 2470k| 2467k| 0 | 0.0 | 686M|7212 | - |8790 | 654 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1444.25/1444.22 c 1411s| 2480k| 2477k| 0 | 0.0 | 689M|7212 | - |8790 | 657 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1449.75/1449.71 c 1417s| 2490k| 2487k| 0 | 0.0 | 692M|7212 | - |8790 | 646 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1454.75/1454.76 c 1421s| 2500k| 2497k| 0 | 0.0 | 694M|7212 | - |8790 | 642 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1460.94/1460.92 c 1427s| 2510k| 2507k| 0 | 0.0 | 697M|7212 | - |8790 | 655 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1466.15/1466.11 c 1432s| 2520k| 2517k| 0 | 0.0 | 700M|7212 | - |8790 | 664 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1472.15/1472.13 c 1438s| 2530k| 2527k| 0 | 0.0 | 702M|7212 | - |8790 | 653 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1478.24/1478.23 c 1444s| 2540k| 2537k| 0 | 0.0 | 705M|7212 | - |8790 | 657 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1483.64/1483.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1483.64/1483.64 c 1450s| 2550k| 2547k| 0 | 0.0 | 708M|7212 | - |8790 | 659 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1489.74/1489.72 c 1456s| 2560k| 2557k| 0 | 0.0 | 711M|7212 | - |8790 | 656 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1494.74/1494.77 c 1460s| 2570k| 2567k| 0 | 0.0 | 713M|7212 | - |8790 | 641 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1500.65/1500.66 c 1466s| 2580k| 2577k| 0 | 0.0 | 716M|7212 | - |8790 | 645 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1505.45/1505.43 c 1471s| 2590k| 2587k| 0 | 0.0 | 719M|7212 | - |8790 | 633 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1511.55/1511.55 c 1477s| 2600k| 2597k| 0 | 0.0 | 721M|7212 | - |8790 | 648 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1516.74/1516.70 c 1482s| 2610k| 2607k| 0 | 0.0 | 724M|7212 | - |8790 | 643 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1522.35/1522.38 c 1487s| 2620k| 2617k| 0 | 0.0 | 727M|7212 | - |8790 | 611 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1527.65/1527.62 c 1492s| 2630k| 2627k| 0 | 0.0 | 729M|7212 | - |8790 | 608 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
1532.95/1532.91 c 1498s| 2640k| 2637k| 0 | 0.0 | 732M|7212 | - |8790 | 609 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
1539.45/1539.49 c 1504s| 2650k| 2647k| 0 | 0.0 | 735M|7212 | - |8790 | 612 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
1544.45/1544.49 c 1509s| 2660k| 2657k| 0 | 0.0 | 737M|7212 | - |8790 | 602 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
1550.25/1550.23 c 1514s| 2670k| 2667k| 0 | 0.0 | 740M|7212 | - |8790 | 607 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
1555.65/1555.62 c 1520s| 2680k| 2677k| 0 | 0.0 | 743M|7212 | - |8790 | 608 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
1560.96/1560.94 c 1525s| 2690k| 2687k| 0 | 0.0 | 745M|7212 | - |8790 | 600 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
1566.65/1566.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1566.65/1566.66 c 1530s| 2700k| 2697k| 0 | 0.0 | 748M|7212 | - |8790 | 617 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
1571.75/1571.75 c 1535s| 2710k| 2707k| 0 | 0.0 | 751M|7212 | - |8790 | 597 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
1577.65/1577.66 c 1541s| 2720k| 2717k| 0 | 0.0 | 754M|7212 | - |8790 | 602 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
1583.55/1583.56 c 1547s| 2730k| 2727k| 0 | 0.0 | 756M|7212 | - |8790 | 667 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
1589.05/1589.00 c 1552s| 2740k| 2737k| 0 | 0.0 | 759M|7212 | - |8790 | 633 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
1594.45/1594.43 c 1558s| 2750k| 2747k| 0 | 0.0 | 762M|7212 | - |8790 | 598 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
1599.55/1599.54 c 1563s| 2760k| 2757k| 0 | 0.0 | 764M|7212 | - |8790 | 594 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
1605.75/1605.77 c 1569s| 2770k| 2767k| 0 | 0.0 | 767M|7212 | - |8790 | 629 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
1611.35/1611.30 c 1574s| 2780k| 2777k| 0 | 0.0 | 770M|7212 | - |8790 | 595 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
1617.16/1617.12 c 1580s| 2790k| 2787k| 0 | 0.0 | 773M|7212 | - |8790 | 603 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
1622.75/1622.71 c 1585s| 2800k| 2797k| 0 | 0.0 | 775M|7212 | - |8790 | 599 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
1627.65/1627.68 c 1590s| 2810k| 2807k| 0 | 0.0 | 778M|7212 | - |8790 | 600 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
1633.45/1633.50 c 1596s| 2820k| 2817k| 0 | 0.0 | 781M|7212 | - |8790 | 609 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
1638.75/1638.74 c 1601s| 2830k| 2827k| 0 | 0.0 | 783M|7212 | - |8790 | 605 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
1644.25/1644.22 c 1606s| 2840k| 2837k| 0 | 0.0 | 786M|7212 | - |8790 | 603 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
1649.75/1649.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1649.75/1649.78 c 1612s| 2850k| 2847k| 0 | 0.0 | 789M|7212 | - |8790 | 596 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
1654.85/1654.88 c 1616s| 2860k| 2857k| 0 | 0.0 | 792M|7212 | - |8790 | 602 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
1660.46/1660.40 c 1622s| 2870k| 2867k| 0 | 0.0 | 794M|7212 | - |8790 | 596 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
1665.96/1665.98 c 1627s| 2880k| 2877k| 0 | 0.0 | 797M|7212 | - |8790 | 609 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
1671.36/1671.32 c 1632s| 2890k| 2887k| 0 | 0.0 | 800M|7212 | - |8790 | 618 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
1677.05/1677.02 c 1638s| 2900k| 2897k| 0 | 0.0 | 802M|7212 | - |8790 | 604 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
1682.36/1682.36 c 1643s| 2910k| 2907k| 0 | 0.0 | 805M|7212 | - |8790 | 591 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
1687.36/1687.40 c 1648s| 2920k| 2917k| 0 | 0.0 | 808M|7212 | - |8790 | 602 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
1693.35/1693.34 c 1654s| 2930k| 2927k| 0 | 0.0 | 811M|7212 | - |8790 | 594 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
1698.85/1698.80 c 1659s| 2940k| 2937k| 0 | 0.0 | 813M|7212 | - |8790 | 583 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
1703.96/1703.94 c 1664s| 2950k| 2947k| 0 | 0.0 | 816M|7212 | - |8790 | 595 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
1709.75/1709.75 c 1670s| 2960k| 2957k| 0 | 0.0 | 819M|7212 | - |8790 | 583 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
1715.16/1715.19 c 1675s| 2970k| 2967k| 0 | 0.0 | 821M|7212 | - |8790 | 592 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
1720.15/1720.18 c 1680s| 2980k| 2977k| 0 | 0.0 | 824M|7212 | - |8790 | 580 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
1725.96/1725.99 c 1686s| 2990k| 2987k| 0 | 0.0 | 827M|7212 | - |8790 | 581 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
1731.15/1731.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1731.15/1731.19 c 1691s| 3000k| 2997k| 0 | 0.0 | 830M|7212 | - |8790 | 604 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
1736.65/1736.68 c 1696s| 3010k| 3007k| 0 | 0.0 | 832M|7212 | - |8790 | 581 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
1742.36/1742.39 c 1702s| 3020k| 3017k| 0 | 0.0 | 835M|7212 | - |8790 | 591 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
1747.46/1747.47 c 1707s| 3030k| 3027k| 0 | 0.0 | 838M|7212 | - |8790 | 585 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
1753.15/1753.14 c 1712s| 3040k| 3037k| 0 | 0.0 | 840M|7212 | - |8790 | 589 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
1758.55/1758.51 c 1717s| 3050k| 3047k| 0 | 0.0 | 843M|7212 | - |8790 | 571 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
1763.66/1763.66 c 1722s| 3060k| 3057k| 0 | 0.0 | 846M|7212 | - |8790 | 560 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
1769.36/1769.38 c 1728s| 3070k| 3067k| 0 | 0.0 | 849M|7212 | - |8790 | 566 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
1774.56/1774.58 c 1733s| 3080k| 3077k| 0 | 0.0 | 851M|7212 | - |8790 | 571 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
1780.06/1780.00 c 1738s| 3090k| 3087k| 0 | 0.0 | 854M|7212 | - |8790 | 581 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
1785.26/1785.25 c 1743s| 3100k| 3097k| 0 | 0.0 | 857M|7212 | - |8790 | 570 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
1789.95/1789.91 c 1748s| 3110k| 3107k| 0 | 0.0 | 859M|7212 | - |8790 | 567 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
1795.55/1795.56 c 1753s| 3120k| 3117k| 0 | 0.0 | 862M|7212 | - |8790 | 572 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
1800.06/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.06/1800.00 c
1800.06/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.00 c Solving Time (sec) : 1757.74
1800.06/1800.00 c Solving Nodes : 3128694
1800.06/1800.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.06/1800.00 c Dual Bound : +0.00000000000000e+00
1800.06/1800.00 c Gap : infinite
1800.06/1800.00 s UNKNOWN
1800.06/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.00 c Solving Time : 1757.74
1800.06/1800.00 c Original Problem :
1800.06/1800.00 c Problem name : HOME/instance-2693822-1277894619.wbo
1800.06/1800.00 c Variables : 8790 (8670 binary, 0 integer, 0 implicit integer, 120 continuous)
1800.06/1800.00 c Constraints : 306 initial, 306 maximal
1800.06/1800.00 c Presolved Problem :
1800.06/1800.00 c Problem name : t_HOME/instance-2693822-1277894619.wbo
1800.06/1800.00 c Variables : 8790 (8670 binary, 0 integer, 0 implicit integer, 120 continuous)
1800.06/1800.00 c Constraints : 305 initial, 771 maximal
1800.06/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.06/1800.00 c trivial : 0.01 0 0 0 0 0 0 0 0
1800.06/1800.00 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.00 c probing : 0.07 0 0 0 0 0 0 0 0
1800.06/1800.00 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.00 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.00 c linear : 0.01 0 0 0 120 0 1 0 0
1800.06/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.00 c root node : - 0 - - 0 - - - -
1800.06/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.06/1800.00 c integral : 0 0 0 0 0 0 0 0 0 0
1800.06/1800.00 c indicator : 120 0 324 0 120 0 120 0 0 0
1800.06/1800.00 c setppc : 35 0 3172805 0 3109321 419 435064 0 0 0
1800.06/1800.00 c linear : 120 0 3192987 0 3127236 861 487470 0 0 0
1800.06/1800.00 c logicor : 30+ 0 123010 0 3127236 182 14207 0 0 0
1800.06/1800.00 c countsols : 0 0 0 0 3127236 0 0 0 0 0
1800.06/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.06/1800.00 c integral : 0.00 0.00 0.00 0.00 0.00
1800.06/1800.00 c indicator : 0.00 0.00 0.00 0.00 0.00
1800.06/1800.00 c setppc : 162.88 0.00 22.03 0.00 140.85
1800.06/1800.00 c linear : 68.72 0.00 68.15 0.00 0.57
1800.06/1800.00 c logicor : 99.71 0.00 8.77 0.00 90.94
1800.06/1800.00 c countsols : 0.04 0.00 0.00 0.00 0.04
1800.06/1800.00 c Propagators : Time Calls Cutoffs DomReds
1800.06/1800.00 c vbounds : 0.07 2 0 0
1800.06/1800.00 c rootredcost : 0.12 0 0 0
1800.06/1800.00 c pseudoobj : 10.81 3193206 0 0
1800.06/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.06/1800.00 c propagation : 78.96 1462 1462 64459 1269.3 61109 80.0 -
1800.06/1800.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.06/1800.00 c applied globally : - - - 14581 85.4 - - -
1800.06/1800.00 c applied locally : - - - 0 0.0 - - -
1800.06/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.06/1800.00 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.06/1800.00 c redcost : 0.00 0 0 0 0 0
1800.06/1800.00 c impliedbounds : 0.00 0 0 0 0 0
1800.06/1800.00 c intobj : 0.00 0 0 0 0 0
1800.06/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.06/1800.00 c gomory : 0.00 0 0 0 0 0
1800.06/1800.00 c strongcg : 0.00 0 0 0 0 0
1800.06/1800.00 c cmir : 0.00 0 0 0 0 0
1800.06/1800.00 c flowcover : 0.00 0 0 0 0 0
1800.06/1800.00 c clique : 0.00 0 0 0 0 0
1800.06/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.06/1800.00 c mcf : 0.00 0 0 0 0 0
1800.06/1800.00 c rapidlearning : 0.00 0 0 0 0 0
1800.06/1800.00 c Pricers : Time Calls Vars
1800.06/1800.00 c problem variables: 0.00 0 0
1800.06/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.06/1800.00 c relpscost : 0.00 0 0 0 0 0 0
1800.06/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.06/1800.00 c inference : 1381.78 3127236 0 0 0 0 6254472
1800.06/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.06/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.06/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.00 c random : 0.00 0 0 0 0 0 0
1800.06/1800.00 c Primal Heuristics : Time Calls Found
1800.06/1800.00 c LP solutions : 0.00 - 0
1800.06/1800.00 c pseudo solutions : 0.00 - 0
1800.06/1800.00 c oneopt : 0.08 0 0
1800.06/1800.00 c trivial : 0.01 2 0
1800.06/1800.00 c simplerounding : 0.00 0 0
1800.06/1800.00 c zirounding : 0.00 0 0
1800.06/1800.00 c rounding : 0.00 0 0
1800.06/1800.00 c shifting : 0.00 0 0
1800.06/1800.00 c intshifting : 0.00 0 0
1800.06/1800.00 c twoopt : 0.00 0 0
1800.06/1800.00 c fixandinfer : 0.00 0 0
1800.06/1800.00 c feaspump : 0.00 0 0
1800.06/1800.00 c coefdiving : 0.00 0 0
1800.06/1800.00 c pscostdiving : 0.00 0 0
1800.06/1800.00 c fracdiving : 0.00 0 0
1800.06/1800.00 c veclendiving : 0.00 0 0
1800.06/1800.00 c intdiving : 0.00 0 0
1800.06/1800.00 c actconsdiving : 0.00 0 0
1800.06/1800.00 c objpscostdiving : 0.00 0 0
1800.06/1800.00 c rootsoldiving : 0.00 0 0
1800.06/1800.00 c linesearchdiving : 0.00 0 0
1800.06/1800.00 c guideddiving : 0.00 0 0
1800.06/1800.00 c octane : 0.00 0 0
1800.06/1800.00 c rens : 0.00 0 0
1800.06/1800.00 c rins : 0.00 0 0
1800.06/1800.00 c localbranching : 0.00 0 0
1800.06/1800.00 c mutation : 0.00 0 0
1800.06/1800.00 c crossover : 0.00 0 0
1800.06/1800.00 c dins : 0.00 0 0
1800.06/1800.00 c undercover : 0.00 0 0
1800.06/1800.00 c nlp : 0.19 0 0
1800.06/1800.00 c trysol : 0.06 1 0
1800.06/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.06/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.06/1800.00 c dual LP : 0.00 0 0 0.00 -
1800.06/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.06/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.06/1800.00 c diving/probing LP: 0.00 0 0 0.00 -
1800.06/1800.00 c strong branching : 0.00 0 0 0.00 -
1800.06/1800.00 c (at root node) : - 0 0 0.00 -
1800.06/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.06/1800.00 c B&B Tree :
1800.06/1800.00 c number of runs : 1
1800.06/1800.00 c nodes : 3128694
1800.06/1800.00 c nodes (total) : 3128694
1800.06/1800.00 c nodes left : 3125774
1800.06/1800.00 c max depth : 7212
1800.06/1800.00 c max depth (total): 7212
1800.06/1800.00 c backtracks : 537 (0.0%)
1800.06/1800.00 c delayed cutoffs : 5
1800.06/1800.00 c repropagations : 716 (1012 domain reductions, 4 cutoffs)
1800.06/1800.00 c avg switch length: 2.18
1800.06/1800.00 c switching time : 13.61
1800.06/1800.00 c Solution :
1800.06/1800.00 c Solutions found : 0 (0 improvements)
1800.06/1800.00 c Primal Bound : -
1800.06/1800.00 c Dual Bound : +0.00000000000000e+00
1800.06/1800.00 c Gap : infinite
1800.06/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.06/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-2693822-1277894619/watcher-2693822-1277894619 -o /tmp/evaluation-result-2693822-1277894619/solver-2693822-1277894619 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693822-1277894619.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.07 2.05 4/196 14079
/proc/meminfo: memFree=30819640/32951124 swapFree=67111528/67111528
[pid=14079] ppid=14077 vsize=8796 CPUtime=0
/proc/14079/stat : 14079 (pbscip.linux.x8) R 14077 14079 12845 0 -1 4202496 1679 0 0 0 0 0 0 0 25 0 1 0 130757134 9007104 1602 4089446400 4194304 7136930 140736712132064 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14079/statm: 2199 1604 275 719 0 1478 0
[startup+0.0855869 s]
/proc/loadavg: 2.00 2.07 2.05 4/196 14079
/proc/meminfo: memFree=30819640/32951124 swapFree=67111528/67111528
[pid=14079] ppid=14077 vsize=31176 CPUtime=0.08
/proc/14079/stat : 14079 (pbscip.linux.x8) R 14077 14079 12845 0 -1 4202496 8763 0 0 0 7 1 0 0 25 0 1 0 130757134 31924224 7047 4089446400 4194304 7136930 140736712132064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14079/statm: 7794 7047 370 719 0 7073 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 31176
[startup+0.100579 s]
/proc/loadavg: 2.00 2.07 2.05 4/196 14079
/proc/meminfo: memFree=30819640/32951124 swapFree=67111528/67111528
[pid=14079] ppid=14077 vsize=31952 CPUtime=0.09
/proc/14079/stat : 14079 (pbscip.linux.x8) R 14077 14079 12845 0 -1 4202496 8955 0 0 0 8 1 0 0 25 0 1 0 130757134 32718848 7239 4089446400 4194304 7136930 140736712132064 18446744073709551615 4978487 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14079/statm: 7988 7239 370 719 0 7267 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31952
[startup+0.300569 s]
/proc/loadavg: 2.00 2.07 2.05 4/196 14079
/proc/meminfo: memFree=30819640/32951124 swapFree=67111528/67111528
[pid=14079] ppid=14077 vsize=32980 CPUtime=0.29
/proc/14079/stat : 14079 (pbscip.linux.x8) R 14077 14079 12845 0 -1 4202496 9302 0 0 0 28 1 0 0 25 0 1 0 130757134 33771520 7516 4089446400 4194304 7136930 140736712132064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14079/statm: 8245 7516 390 719 0 7524 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32980
[startup+0.700464 s]
/proc/loadavg: 2.00 2.07 2.05 4/196 14079
/proc/meminfo: memFree=30819640/32951124 swapFree=67111528/67111528
[pid=14079] ppid=14077 vsize=34152 CPUtime=0.69
/proc/14079/stat : 14079 (pbscip.linux.x8) R 14077 14079 12845 0 -1 4202496 9572 0 0 0 68 1 0 0 25 0 1 0 130757134 34971648 7786 4089446400 4194304 7136930 140736712132064 18446744073709551615 4643241 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14079/statm: 8538 7786 390 719 0 7817 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 34152
[startup+1.50025 s]
/proc/loadavg: 2.00 2.07 2.05 3/197 14080
/proc/meminfo: memFree=30789500/32951124 swapFree=67111528/67111528
[pid=14079] ppid=14077 vsize=34404 CPUtime=1.49
/proc/14079/stat : 14079 (pbscip.linux.x8) R 14077 14079 12845 0 -1 4202496 9630 0 0 0 147 2 0 0 25 0 1 0 130757134 35229696 7844 4089446400 4194304 7136930 140736712132064 18446744073709551615 4407911 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14079/statm: 8601 7844 390 719 0 7880 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 34404
[startup+3.10102 s]
/proc/loadavg: 2.00 2.07 2.05 3/197 14080
/proc/meminfo: memFree=30789004/32951124 swapFree=67111528/67111528
[pid=14079] ppid=14077 vsize=35316 CPUtime=3.09
/proc/14079/stat : 14079 (pbscip.linux.x8) R 14077 14079 12845 0 -1 4202496 9861 0 0 0 305 4 0 0 25 0 1 0 130757134 36163584 8075 4089446400 4194304 7136930 140736712132064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14079/statm: 8829 8075 390 719 0 8108 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 35316
[startup+6.30041 s]
/proc/loadavg: 2.00 2.07 2.05 3/197 14080
/proc/meminfo: memFree=30785772/32951124 swapFree=67111528/67111528
[pid=14079] ppid=14077 vsize=38396 CPUtime=6.29
/proc/14079/stat : 14079 (pbscip.linux.x8) R 14077 14079 12845 0 -1 4202496 10667 0 0 0 622 7 0 0 25 0 1 0 130757134 39317504 8880 4089446400 4194304 7136930 140736712132064 18446744073709551615 4642088 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14079/statm: 9599 8880 394 719 0 8878 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 38396
[startup+12.7002 s]
/proc/loadavg: 2.00 2.07 2.05 3/197 14080
/proc/meminfo: memFree=30778876/32951124 swapFree=67111528/67111528
[pid=14079] ppid=14077 vsize=45080 CPUtime=12.69
/proc/14079/stat : 14079 (pbscip.linux.x8) R 14077 14079 12845 0 -1 4202496 12398 0 0 0 1255 14 0 0 25 0 1 0 130757134 46161920 10604 4089446400 4194304 7136930 140736712132064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14079/statm: 11270 10604 394 719 0 10549 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 45080
[startup+25.5008 s]
/proc/loadavg: 2.00 2.07 2.05 3/197 14081
/proc/meminfo: memFree=30762932/32951124 swapFree=67111528/67111528
[pid=14079] ppid=14077 vsize=56536 CPUtime=25.5
/proc/14079/stat : 14079 (pbscip.linux.x8) R 14077 14079 12845 0 -1 4202496 15305 0 0 0 2523 27 0 0 25 0 1 0 130757134 57892864 13511 4089446400 4194304 7136930 140736712132064 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14079/statm: 14134 13511 394 719 0 13413 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 56536
[startup+51.1009 s]
/proc/loadavg: 2.00 2.06 2.05 3/197 14082
/proc/meminfo: memFree=30741116/32951124 swapFree=67111528/67111528
[pid=14079] ppid=14077 vsize=74956 CPUtime=51.1
/proc/14079/stat : 14079 (pbscip.linux.x8) R 14077 14079 12845 0 -1 4202496 19540 0 0 0 5060 50 0 0 25 0 1 0 130757134 76754944 17746 4089446400 4194304 7136930 140736712132064 18446744073709551615 4407748 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14079/statm: 18739 17746 394 719 0 18018 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 74956
[startup+102.306 s]
/proc/loadavg: 2.21 2.13 2.07 3/197 14083
/proc/meminfo: memFree=30696680/32951124 swapFree=67111528/67111528
[pid=14079] ppid=14077 vsize=99356 CPUtime=102.3
/proc/14079/stat : 14079 (pbscip.linux.x8) R 14077 14079 12845 0 -1 4202496 25959 0 0 0 10135 95 0 0 25 0 1 0 130757134 101740544 24165 4089446400 4194304 7136930 140736712132064 18446744073709551615 4740375 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14079/statm: 24839 24165 394 719 0 24118 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 99356
[startup+162.301 s]
/proc/loadavg: 2.12 2.12 2.07 3/197 14084
/proc/meminfo: memFree=30630536/32951124 swapFree=67111528/67111528
[pid=14079] ppid=14077 vsize=132936 CPUtime=162.29
/proc/14079/stat : 14079 (pbscip.linux.x8) R 14077 14079 12845 0 -1 4202496 33639 0 0 0 16081 148 0 0 25 0 1 0 130757134 136126464 31845 4089446400 4194304 7136930 140736712132064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14079/statm: 33234 31845 394 719 0 32513 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 132936
[startup+222.301 s]
/proc/loadavg: 2.01 2.08 2.06 3/179 14114
/proc/meminfo: memFree=31216848/32951124 swapFree=67111528/67111528
[pid=14079] ppid=14077 vsize=167172 CPUtime=222.3
/proc/14079/stat : 14079 (pbscip.linux.x8) R 14077 14079 12845 0 -1 4202496 42513 0 0 0 21936 294 0 0 25 0 1 0 130757134 171184128 40719 4089446400 4194304 7136930 140736712132064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14079/statm: 41793 40719 394 719 0 41072 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 167172
[startup+282.3 s]
/proc/loadavg: 2.00 2.06 2.06 3/179 14116
/proc/meminfo: memFree=31184568/32951124 swapFree=67111528/67111528
[pid=14079] ppid=14077 vsize=205988 CPUtime=282.3
/proc/14079/stat : 14079 (pbscip.linux.x8) R 14077 14079 12845 0 -1 4202496 50518 0 0 0 27786 444 0 0 25 0 1 0 130757134 210931712 48724 4089446400 4194304 7136930 140736712132064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14079/statm: 51497 48724 394 719 0 50776 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 205988
[startup+342.301 s]
/proc/loadavg: 2.00 2.05 2.05 3/179 14118
/proc/meminfo: memFree=31150780/32951124 swapFree=67111528/67111528
[pid=14079] ppid=14077 vsize=238312 CPUtime=342.31
/proc/14079/stat : 14079 (pbscip.linux.x8) R 14077 14079 12845 0 -1 4202496 58942 0 0 0 33643 588 0 0 25 0 1 0 130757134 244031488 57148 4089446400 4194304 7136930 140736712132064 18446744073709551615 5909095 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14079/statm: 59578 57148 394 719 0 58857 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 238312
[startup+402.301 s]
/proc/loadavg: 2.00 2.04 2.04 3/179 14119
/proc/meminfo: memFree=31116984/32951124 swapFree=67111528/67111528
[pid=14079] ppid=14077 vsize=270880 CPUtime=402.31
/proc/14079/stat : 14079 (pbscip.linux.x8) R 14077 14079 12845 0 -1 4202496 67358 0 0 0 39505 726 0 0 25 0 1 0 130757134 277381120 65564 4089446400 4194304 7136930 140736712132064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14079/statm: 67720 65564 394 719 0 66999 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 270880
[startup+462.3 s]
/proc/loadavg: 2.00 2.03 2.04 3/179 14120
/proc/meminfo: memFree=31086420/32951124 swapFree=67111528/67111528
[pid=14079] ppid=14077 vsize=299848 CPUtime=462.31
/proc/14079/stat : 14079 (pbscip.linux.x8) R 14077 14079 12845 0 -1 4202496 74961 0 0 0 45360 871 0 0 25 0 1 0 130757134 307044352 73167 4089446400 4194304 7136930 140736712132064 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14079/statm: 74962 73167 394 719 0 74241 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 299848
[startup+522.301 s]
/proc/loadavg: 2.00 2.02 2.03 3/179 14122
/proc/meminfo: memFree=31055736/32951124 swapFree=67111528/67111528
[pid=14079] ppid=14077 vsize=329052 CPUtime=522.31
/proc/14079/stat : 14079 (pbscip.linux.x8) R 14077 14079 12845 0 -1 4202496 82578 0 0 0 51211 1020 0 0 25 0 1 0 130757134 336949248 80784 4089446400 4194304 7136930 140736712132064 18446744073709551615 4407781 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14079/statm: 82263 80784 394 719 0 81542 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 329052
[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.03 3/179 14124
/proc/meminfo: memFree=31024936/32951124 swapFree=67111528/67111528
[pid=14079] ppid=14077 vsize=359528 CPUtime=582.31
/proc/14079/stat : 14079 (pbscip.linux.x8) R 14077 14079 12845 0 -1 4202496 90456 0 0 0 57067 1164 0 0 25 0 1 0 130757134 368156672 88662 4089446400 4194304 7136930 140736712132064 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14079/statm: 89882 88662 394 719 0 89161 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 359528
[startup+642.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/179 14126
/proc/meminfo: memFree=30991760/32951124 swapFree=67111528/67111528
[pid=14079] ppid=14077 vsize=406708 CPUtime=642.32
/proc/14079/stat : 14079 (pbscip.linux.x8) R 14077 14079 12845 0 -1 4202496 98429 0 0 0 62921 1311 0 0 25 0 1 0 130757134 416468992 96635 4089446400 4194304 7136930 140736712132064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14079/statm: 101677 96635 394 719 0 100956 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 406708
[startup+702.301 s]
################
# More data... #
################
/proc/14079/stat : 14079 (pbscip.linux.x8) R 14077 14079 12845 0 -1 4202496 144969 0 0 0 98038 2195 0 0 25 0 1 0 130757134 599310336 143175 4089446400 4194304 7136930 140736712132064 18446744073709551615 4436491 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14079/statm: 146316 143175 394 719 0 145595 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 585264
[startup+1062.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 14145
/proc/meminfo: memFree=30770496/32951124 swapFree=67111528/67111528
[pid=14079] ppid=14077 vsize=618628 CPUtime=1062.33
/proc/14079/stat : 14079 (pbscip.linux.x8) R 14077 14079 12845 0 -1 4202496 153628 0 0 0 103885 2348 0 0 25 0 1 0 130757134 633475072 151834 4089446400 4194304 7136930 140736712132064 18446744073709551615 4740369 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14079/statm: 154657 151834 394 719 0 153936 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 618628
[startup+1122.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 14147
/proc/meminfo: memFree=30738684/32951124 swapFree=67111528/67111528
[pid=14079] ppid=14077 vsize=647360 CPUtime=1122.34
/proc/14079/stat : 14079 (pbscip.linux.x8) R 14077 14079 12845 0 -1 4202496 161129 0 0 0 109735 2499 0 0 25 0 1 0 130757134 662896640 159335 4089446400 4194304 7136930 140736712132064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14079/statm: 161840 159335 394 719 0 161119 0
Current children cumulated CPU time (s) 1122.34
Current children cumulated vsize (KiB) 647360
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 14149
/proc/meminfo: memFree=30707876/32951124 swapFree=67111528/67111528
[pid=14079] ppid=14077 vsize=676756 CPUtime=1182.34
/proc/14079/stat : 14079 (pbscip.linux.x8) R 14077 14079 12845 0 -1 4202496 168877 0 0 0 115590 2644 0 0 25 0 1 0 130757134 692998144 167083 4089446400 4194304 7136930 140736712132064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14079/statm: 169189 167083 394 719 0 168468 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 676756
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14151
/proc/meminfo: memFree=30676312/32951124 swapFree=67111528/67111528
[pid=14079] ppid=14077 vsize=739408 CPUtime=1242.33
/proc/14079/stat : 14079 (pbscip.linux.x8) R 14077 14079 12845 0 -1 4202496 176666 0 0 0 121441 2792 0 0 25 0 1 0 130757134 757153792 174872 4089446400 4194304 7136930 140736712132064 18446744073709551615 5909072 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14079/statm: 184852 174872 394 719 0 184131 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 739408
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14152
/proc/meminfo: memFree=30644008/32951124 swapFree=67111528/67111528
[pid=14079] ppid=14077 vsize=771092 CPUtime=1302.34
/proc/14079/stat : 14079 (pbscip.linux.x8) R 14077 14079 12845 0 -1 4202496 184731 0 0 0 127293 2941 0 0 25 0 1 0 130757134 789598208 182937 4089446400 4194304 7136930 140736712132064 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14079/statm: 192773 182937 394 719 0 192052 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 771092
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14153
/proc/meminfo: memFree=30613940/32951124 swapFree=67111528/67111528
[pid=14079] ppid=14077 vsize=800196 CPUtime=1362.34
/proc/14079/stat : 14079 (pbscip.linux.x8) R 14077 14079 12845 0 -1 4202496 192393 0 0 0 133137 3097 0 0 25 0 1 0 130757134 819400704 190599 4089446400 4194304 7136930 140736712132064 18446744073709551615 5909042 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14079/statm: 200049 190599 394 719 0 199328 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 800196
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14155
/proc/meminfo: memFree=30582376/32951124 swapFree=67111528/67111528
[pid=14079] ppid=14077 vsize=829528 CPUtime=1422.35
/proc/14079/stat : 14079 (pbscip.linux.x8) R 14077 14079 12845 0 -1 4202496 200092 0 0 0 138986 3249 0 0 25 0 1 0 130757134 849436672 198298 4089446400 4194304 7136930 140736712132064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14079/statm: 207382 198298 394 719 0 206661 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 829528
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14157
/proc/meminfo: memFree=30549824/32951124 swapFree=67111528/67111528
[pid=14079] ppid=14077 vsize=861600 CPUtime=1482.34
/proc/14079/stat : 14079 (pbscip.linux.x8) R 14077 14079 12845 0 -1 4202496 208394 0 0 0 144829 3405 0 0 25 0 1 0 130757134 882278400 206600 4089446400 4194304 7136930 140736712132064 18446744073709551615 5892378 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14079/statm: 215400 206600 394 719 0 214679 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 861600
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14159
/proc/meminfo: memFree=30517152/32951124 swapFree=67111528/67111528
[pid=14079] ppid=14077 vsize=892180 CPUtime=1542.35
/proc/14079/stat : 14079 (pbscip.linux.x8) R 14077 14079 12845 0 -1 4202496 216393 0 0 0 150676 3559 0 0 25 0 1 0 130757134 913592320 214599 4089446400 4194304 7136930 140736712132064 18446744073709551615 5892359 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14079/statm: 223045 214599 394 719 0 222324 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 892180
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14160
/proc/meminfo: memFree=30484356/32951124 swapFree=67111528/67111528
[pid=14079] ppid=14077 vsize=924212 CPUtime=1602.35
/proc/14079/stat : 14079 (pbscip.linux.x8) R 14077 14079 12845 0 -1 4202496 224742 0 0 0 156524 3711 0 0 25 0 1 0 130757134 946393088 222948 4089446400 4194304 7136930 140736712132064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14079/statm: 231053 222948 394 719 0 230332 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 924212
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14161
/proc/meminfo: memFree=30452684/32951124 swapFree=67111528/67111528
[pid=14079] ppid=14077 vsize=953760 CPUtime=1662.35
/proc/14079/stat : 14079 (pbscip.linux.x8) R 14077 14079 12845 0 -1 4202496 232463 0 0 0 162370 3865 0 0 25 0 1 0 130757134 976650240 230669 4089446400 4194304 7136930 140736712132064 18446744073709551615 5892378 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14079/statm: 238440 230669 394 719 0 237719 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 953760
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14163
/proc/meminfo: memFree=30420000/32951124 swapFree=67111528/67111528
[pid=14079] ppid=14077 vsize=985132 CPUtime=1722.35
/proc/14079/stat : 14079 (pbscip.linux.x8) R 14077 14079 12845 0 -1 4202496 240698 0 0 0 168213 4022 0 0 25 0 1 0 130757134 1008775168 238904 4089446400 4194304 7136930 140736712132064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14079/statm: 246283 238904 394 719 0 245562 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 985132
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14165
/proc/meminfo: memFree=30384340/32951124 swapFree=67111528/67111528
[pid=14079] ppid=14077 vsize=1018584 CPUtime=1782.36
/proc/14079/stat : 14079 (pbscip.linux.x8) R 14077 14079 12845 0 -1 4202496 249454 0 0 0 174056 4180 0 0 25 0 1 0 130757134 1043030016 247660 4089446400 4194304 7136930 140736712132064 18446744073709551615 4641963 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14079/statm: 254646 247660 394 719 0 253925 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 1018584
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14165
/proc/meminfo: memFree=30373288/32951124 swapFree=67111528/67111528
[pid=14079] ppid=14077 vsize=1028836 CPUtime=1800.06
/proc/14079/stat : 14079 (pbscip.linux.x8) R 14077 14079 12845 0 -1 4202496 252151 0 0 0 175776 4230 0 0 25 0 1 0 130757134 1053528064 250357 4089446400 4194304 7136930 140736712132064 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14079/statm: 257209 250357 394 719 0 256488 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1028836
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -14079
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 14166
/proc/meminfo: memFree=30372660/32951124 swapFree=67111528/67111528
[pid=14079] ppid=14077 vsize=1021424 CPUtime=1801.45
/proc/14079/stat : 14079 (pbscip.linux.x8) R 14077 14079 12845 0 -1 4202496 252295 0 0 0 175915 4230 0 0 19 0 1 0 130757134 1045938176 248524 4089446400 4194304 7136930 140736712132064 18446744073709551615 6166245 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/14079/statm: 255356 248524 399 719 0 254635 0
Current children cumulated CPU time (s) 1801.45
Current children cumulated vsize (KiB) 1021424
[startup+1801.81 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 14166
/proc/meminfo: memFree=30414572/32951124 swapFree=67111528/67111528
[pid=14079] ppid=14077 vsize=975056 CPUtime=1801.87
/proc/14079/stat : 14079 (pbscip.linux.x8) R 14077 14079 12845 0 -1 4202496 252295 0 0 0 175956 4231 0 0 20 0 1 0 130757134 998457344 236932 4089446400 4194304 7136930 140736712132064 18446744073709551615 6165617 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/14079/statm: 243764 236932 399 719 0 243043 0
Current children cumulated CPU time (s) 1801.87
Current children cumulated vsize (KiB) 975056
[startup+1802 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 14166
/proc/meminfo: memFree=30414572/32951124 swapFree=67111528/67111528
[pid=14079] ppid=14077 vsize=944756 CPUtime=1802.06
/proc/14079/stat : 14079 (pbscip.linux.x8) R 14077 14079 12845 0 -1 4202496 252300 0 0 0 175975 4231 0 0 21 0 1 0 130757134 967430144 229357 4089446400 4194304 7136930 140736712132064 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/14079/statm: 236189 229357 399 719 0 235468 0
Current children cumulated CPU time (s) 1802.06
Current children cumulated vsize (KiB) 944756
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.04
CPU time (s): 1802.11
CPU user time (s): 1759.76
CPU system time (s): 42.3426
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 1028960
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1759.76
system time used= 42.3426
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 252300
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= 7
involuntary context switches= 4485
runsolver used 2.77758 second user time and 5.43817 second system time
The end
Begin job on node141 at 2010-06-30 12:43:39
IDJOB=2693822
IDBENCH=78739
IDSOLVER=1206
FILE ID=node141/2693822-1277894619
PBS_JOBID= 11197072
Free space on /tmp= 74212 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-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-2693822-1277894619/watcher-2693822-1277894619 -o /tmp/evaluation-result-2693822-1277894619/solver-2693822-1277894619 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693822-1277894619.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= bad48add975eecf801ffda2fc733cf44
RANDOM SEED=1413863438
node141.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.788
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.57
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.788
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.68
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.788
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.83
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.788
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.788
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.80
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.788
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.75
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.788
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.82
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.788
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.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 30820168 kB
Buffers: 176868 kB
Cached: 1139848 kB
SwapCached: 0 kB
Active: 1237420 kB
Inactive: 750720 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 30820168 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 3520 kB
Writeback: 0 kB
AnonPages: 671288 kB
Mapped: 20128 kB
Slab: 79032 kB
PageTables: 5364 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 1645316 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 node141 at 2010-06-30 13:13:41