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-2693808-1277893651.wbo>
0.00/0.02 c original problem has 8324 variables (8257 bin, 0 int, 0 impl, 67 cont) and 249 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.04 c presolving:
0.04/0.05 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 67 impls, 49 clqs
0.04/0.06 c (round 2) 0 del vars, 1 del conss, 67 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 67 impls, 49 clqs
0.04/0.06 c (round 3) 0 del vars, 1 del conss, 67 chg bounds, 0 chg sides, 0 chg coeffs, 65 upgd conss, 67 impls, 49 clqs
0.04/0.06 c (round 4) 0 del vars, 1 del conss, 67 chg bounds, 0 chg sides, 0 chg coeffs, 114 upgd conss, 67 impls, 49 clqs
0.09/0.12 c (0.1s) probing: 101/8257 (1.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.12 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.12 c presolving (5 rounds):
0.09/0.12 c 0 deleted vars, 1 deleted constraints, 67 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.12 c 67 implications, 49 cliques
0.09/0.12 c presolved problem has 8324 variables (8257 bin, 0 int, 0 impl, 67 cont) and 248 constraints
0.09/0.12 c 67 constraints of type <indicator>
0.09/0.12 c 49 constraints of type <setppc>
0.09/0.12 c 67 constraints of type <linear>
0.09/0.12 c 65 constraints of type <logicor>
0.09/0.12 c transformed objective value is always integral (scale: 1)
0.09/0.12 c Presolving Time: 0.08
0.09/0.12 c - non default parameters ----------------------------------------------------------------------
0.09/0.12 c # SCIP version 1.2.1.2
0.09/0.12 c
0.09/0.12 c # frequency for displaying node information lines
0.09/0.12 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.12 c display/freq = 10000
0.09/0.12 c
0.09/0.12 c # maximal time in seconds to run
0.09/0.12 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.12 c limits/time = 1799.98
0.09/0.12 c
0.09/0.12 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.12 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.12 c limits/memory = 3420
0.09/0.12 c
0.09/0.12 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.12 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.12 c lp/solvefreq = -1
0.09/0.12 c
0.09/0.12 c # should presolving try to simplify inequalities
0.09/0.12 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.12 c constraints/linear/simplifyinequalities = TRUE
0.09/0.12 c
0.09/0.12 c # should presolving try to simplify knapsacks
0.09/0.12 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.12 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.12 c
0.09/0.12 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.12 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.12 c separating/rapidlearning/freq = 0
0.09/0.12 c
0.09/0.12 c -----------------------------------------------------------------------------------------------
0.09/0.12 c start solving
0.09/0.12 c
0.09/0.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.13 c 0.1s| 1 | 2 | 0 | - | 15M| 0 | - |8324 | 248 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
5.89/5.98 c 5.9s| 10000 | 9996 | 0 | 0.0 | 19M|5292 | - |8324 | 256 | 0 | 0 | 0 | 8 | 0 | 0.000000e+00 | -- | Inf
11.19/11.24 c 11.1s| 20000 | 19983 | 0 | 0.0 | 22M|5484 | - |8324 | 298 | 0 | 0 | 0 | 77 | 0 | 0.000000e+00 | -- | Inf
16.39/16.47 c 16.2s| 30000 | 29974 | 0 | 0.0 | 25M|5484 | - |8324 | 295 | 0 | 0 | 0 | 137 | 0 | 0.000000e+00 | -- | Inf
20.58/20.63 c 20.4s| 40000 | 39962 | 0 | 0.0 | 27M|5484 | - |8324 | 308 | 0 | 0 | 0 | 197 | 0 | 0.000000e+00 | -- | Inf
25.19/25.21 c 24.9s| 50000 | 49952 | 0 | 0.0 | 30M|5484 | - |8324 | 284 | 0 | 0 | 0 | 247 | 0 | 0.000000e+00 | -- | Inf
30.19/30.23 c 29.8s| 60000 | 59935 | 0 | 0.0 | 34M|5484 | - |8324 | 310 | 0 | 0 | 0 | 327 | 0 | 0.000000e+00 | -- | Inf
36.19/36.24 c 35.8s| 70000 | 69924 | 0 | 0.0 | 37M|5484 | - |8324 | 294 | 0 | 0 | 0 | 387 | 0 | 0.000000e+00 | -- | Inf
41.38/41.42 c 40.9s| 80000 | 79916 | 0 | 0.0 | 39M|5484 | - |8324 | 290 | 0 | 0 | 0 | 427 | 0 | 0.000000e+00 | -- | Inf
46.69/46.73 c 46.1s| 90000 | 89908 | 0 | 0.0 | 42M|5484 | - |8324 | 279 | 0 | 0 | 0 | 467 | 0 | 0.000000e+00 | -- | Inf
52.19/52.20 c 51.5s|100000 | 99900 | 0 | 0.0 | 45M|5484 | - |8324 | 283 | 0 | 0 | 0 | 507 | 0 | 0.000000e+00 | -- | Inf
57.79/57.88 c 57.1s|110000 |109888 | 0 | 0.0 | 48M|5484 | - |8324 | 304 | 0 | 0 | 0 | 567 | 0 | 0.000000e+00 | -- | Inf
63.69/63.73 c 62.9s|120000 |119876 | 0 | 0.0 | 51M|5484 | - |8324 | 290 | 0 | 0 | 0 | 627 | 0 | 0.000000e+00 | -- | Inf
69.59/69.69 c 68.8s|130000 |129860 | 0 | 0.0 | 54M|5484 | - |8324 | 302 | 0 | 0 | 0 | 707 | 0 | 0.000000e+00 | -- | Inf
75.69/75.77 c 74.8s|140000 |139846 | 0 | 0.0 | 57M|5484 | - |8324 | 294 | 0 | 0 | 0 | 777 | 0 | 0.000000e+00 | -- | Inf
81.88/81.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
81.88/81.97 c 81.0s|150000 |149834 | 0 | 0.0 | 60M|5484 | - |8324 | 294 | 0 | 0 | 0 | 837 | 0 | 0.000000e+00 | -- | Inf
88.00/88.03 c 87.0s|160000 |159824 | 0 | 0.0 | 63M|5491 | - |8324 | 291 | 0 | 0 | 0 | 887 | 0 | 0.000000e+00 | -- | Inf
93.79/93.86 c 92.8s|170000 |169814 | 0 | 0.0 | 66M|5756 | - |8324 | 310 | 0 | 0 | 0 | 937 | 0 | 0.000000e+00 | -- | Inf
99.69/99.74 c 98.6s|180000 |179806 | 0 | 0.0 | 68M|5872 | - |8324 | 302 | 0 | 0 | 0 | 977 | 0 | 0.000000e+00 | -- | Inf
106.09/106.18 c 105s|190000 |189802 | 0 | 0.0 | 71M|5872 | - |8324 | 304 | 0 | 0 | 0 | 997 | 0 | 0.000000e+00 | -- | Inf
112.59/112.65 c 111s|200000 |199792 | 0 | 0.0 | 74M|5872 | - |8324 | 310 | 0 | 0 | 0 |1047 | 0 | 0.000000e+00 | -- | Inf
118.99/119.05 c 118s|210000 |209774 | 0 | 0.0 | 76M|5872 | - |8324 | 345 | 0 | 0 | 0 |1137 | 0 | 0.000000e+00 | -- | Inf
125.19/125.28 c 124s|220000 |219766 | 0 | 0.0 | 79M|5872 | - |8324 | 358 | 0 | 0 | 0 |1177 | 0 | 0.000000e+00 | -- | Inf
131.29/131.32 c 130s|230000 |229754 | 0 | 0.0 | 82M|5872 | - |8324 | 396 | 0 | 0 | 0 |1237 | 0 | 0.000000e+00 | -- | Inf
137.59/137.62 c 136s|240000 |239750 | 0 | 0.0 | 84M|6260 | - |8324 | 392 | 0 | 0 | 0 |1257 | 0 | 0.000000e+00 | -- | Inf
143.29/143.39 c 142s|250000 |249742 | 0 | 0.0 | 87M|6390 | - |8324 | 415 | 0 | 0 | 0 |1297 | 0 | 0.000000e+00 | -- | Inf
149.19/149.24 c 148s|260000 |259738 | 0 | 0.0 | 90M|6390 | - |8324 | 422 | 0 | 0 | 0 |1317 | 0 | 0.000000e+00 | -- | Inf
155.50/155.55 c 154s|270000 |269729 | 0 | 0.0 | 93M|6390 | - |8324 | 453 | 0 | 0 | 0 |1367 | 0 | 0.000000e+00 | -- | Inf
161.19/161.25 c 160s|280000 |279715 | 0 | 0.0 | 95M|6390 | - |8324 | 478 | 0 | 0 | 0 |1437 | 0 | 0.000000e+00 | -- | Inf
167.49/167.55 c 166s|290000 |289705 | 0 | 0.0 | 98M|6416 | - |8324 | 486 | 0 | 0 | 0 |1487 | 0 | 0.000000e+00 | -- | Inf
173.39/173.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
173.39/173.44 c 172s|300000 |299691 | 0 | 0.0 | 101M|6433 | - |8324 | 486 | 0 | 0 | 0 |1557 | 0 | 0.000000e+00 | -- | Inf
179.30/179.30 c 177s|310000 |309687 | 0 | 0.0 | 104M|6433 | - |8324 | 476 | 0 | 0 | 0 |1577 | 0 | 0.000000e+00 | -- | Inf
185.49/185.57 c 184s|320000 |319673 | 0 | 0.0 | 106M|6433 | - |8324 | 514 | 0 | 0 | 0 |1647 | 0 | 0.000000e+00 | -- | Inf
191.19/191.29 c 189s|330000 |329662 | 0 | 0.0 | 109M|6433 | - |8324 | 508 | 0 | 0 | 0 |1707 | 0 | 0.000000e+00 | -- | Inf
197.60/197.61 c 196s|340000 |339659 | 0 | 0.0 | 112M|6433 | - |8324 | 503 | 0 | 0 | 0 |1727 | 0 | 0.000000e+00 | -- | Inf
203.50/203.53 c 201s|350000 |349646 | 0 | 0.0 | 114M|6433 | - |8324 | 511 | 0 | 0 | 0 |1787 | 0 | 0.000000e+00 | -- | Inf
209.30/209.34 c 207s|360000 |359643 | 0 | 0.0 | 117M|6433 | - |8324 | 499 | 0 | 0 | 0 |1807 | 0 | 0.000000e+00 | -- | Inf
215.89/215.93 c 214s|370000 |369633 | 0 | 0.0 | 120M|6468 | - |8324 | 513 | 0 | 0 | 0 |1857 | 0 | 0.000000e+00 | -- | Inf
221.49/221.50 c 219s|380000 |379625 | 0 | 0.0 | 123M|6468 | - |8324 | 518 | 0 | 0 | 0 |1897 | 0 | 0.000000e+00 | -- | Inf
227.60/227.69 c 225s|390000 |389621 | 0 | 0.0 | 125M|6501 | - |8324 | 515 | 0 | 0 | 0 |1917 | 0 | 0.000000e+00 | -- | Inf
233.49/233.51 c 231s|400000 |399613 | 0 | 0.0 | 128M|6501 | - |8324 | 526 | 0 | 0 | 0 |1957 | 0 | 0.000000e+00 | -- | Inf
239.39/239.46 c 237s|410000 |409607 | 0 | 0.0 | 131M|6501 | - |8324 | 528 | 0 | 0 | 0 |1987 | 0 | 0.000000e+00 | -- | Inf
245.70/245.74 c 243s|420000 |419595 | 0 | 0.0 | 133M|6501 | - |8324 | 539 | 0 | 0 | 0 |2047 | 0 | 0.000000e+00 | -- | Inf
251.09/251.14 c 249s|430000 |429591 | 0 | 0.0 | 136M|6501 | - |8324 | 525 | 0 | 0 | 0 |2067 | 0 | 0.000000e+00 | -- | Inf
257.59/257.68 c 255s|440000 |439579 | 0 | 0.0 | 139M|6549 | - |8324 | 558 | 0 | 0 | 0 |2127 | 0 | 0.000000e+00 | -- | Inf
263.39/263.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
263.39/263.43 c 261s|450000 |449569 | 0 | 0.0 | 142M|6572 | - |8324 | 563 | 0 | 0 | 0 |2177 | 0 | 0.000000e+00 | -- | Inf
269.89/269.96 c 267s|460000 |459561 | 0 | 0.0 | 144M|6572 | - |8324 | 565 | 0 | 0 | 0 |2217 | 0 | 0.000000e+00 | -- | Inf
276.00/276.05 c 273s|470000 |469549 | 0 | 0.0 | 147M|6572 | - |8324 | 566 | 0 | 0 | 0 |2277 | 0 | 0.000000e+00 | -- | Inf
282.09/282.11 c 279s|480000 |479545 | 0 | 0.0 | 150M|6572 | - |8324 | 545 | 0 | 0 | 0 |2297 | 0 | 0.000000e+00 | -- | Inf
288.39/288.49 c 285s|490000 |489537 | 0 | 0.0 | 153M|6572 | - |8324 | 550 | 0 | 0 | 0 |2337 | 0 | 0.000000e+00 | -- | Inf
294.29/294.30 c 291s|500000 |499533 | 0 | 0.0 | 155M|6572 | - |8324 | 543 | 0 | 0 | 0 |2357 | 0 | 0.000000e+00 | -- | Inf
301.10/301.13 c 298s|510000 |509521 | 0 | 0.0 | 158M|6590 | - |8324 | 564 | 0 | 0 | 0 |2417 | 0 | 0.000000e+00 | -- | Inf
307.19/307.26 c 304s|520000 |519507 | 0 | 0.0 | 161M|6640 | - |8324 | 573 | 0 | 0 | 0 |2487 | 0 | 0.000000e+00 | -- | Inf
313.59/313.68 c 310s|530000 |529501 | 0 | 0.0 | 163M|6712 | - |8324 | 569 | 0 | 0 | 0 |2517 | 0 | 0.000000e+00 | -- | Inf
319.40/319.47 c 316s|540000 |539491 | 0 | 0.0 | 166M|6760 | - |8324 | 577 | 0 | 0 | 0 |2567 | 0 | 0.000000e+00 | -- | Inf
325.89/325.99 c 323s|550000 |549485 | 0 | 0.0 | 169M|6841 | - |8324 | 588 | 0 | 0 | 0 |2591 | 0 | 0.000000e+00 | -- | Inf
331.90/331.94 c 328s|560000 |559471 | 0 | 0.0 | 172M|6876 | - |8324 | 607 | 0 | 0 | 0 |2661 | 0 | 0.000000e+00 | -- | Inf
338.09/338.19 c 335s|570000 |569465 | 0 | 0.0 | 174M|6876 | - |8324 | 602 | 0 | 0 | 0 |2691 | 0 | 0.000000e+00 | -- | Inf
343.80/343.81 c 340s|580000 |579451 | 0 | 0.0 | 177M|6876 | - |8324 | 632 | 0 | 0 | 0 |2761 | 0 | 0.000000e+00 | -- | Inf
350.09/350.16 c 347s|590000 |589445 | 0 | 0.0 | 180M|6876 | - |8324 | 620 | 0 | 0 | 0 |2791 | 0 | 0.000000e+00 | -- | Inf
355.89/355.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
355.89/355.94 c 352s|600000 |599433 | 0 | 0.0 | 182M|6876 | - |8324 | 621 | 0 | 0 | 0 |2851 | 0 | 0.000000e+00 | -- | Inf
362.20/362.27 c 358s|610000 |609425 | 0 | 0.0 | 185M|6876 | - |8324 | 628 | 0 | 0 | 0 |2891 | 0 | 0.000000e+00 | -- | Inf
368.59/368.64 c 365s|620000 |619411 | 0 | 0.0 | 188M|6876 | - |8324 | 636 | 0 | 0 | 0 |2961 | 0 | 0.000000e+00 | -- | Inf
374.70/374.76 c 371s|630000 |629403 | 0 | 0.0 | 190M|6876 | - |8324 | 635 | 0 | 0 | 0 |3001 | 0 | 0.000000e+00 | -- | Inf
380.69/380.75 c 377s|640000 |639393 | 0 | 0.0 | 193M|6876 | - |8324 | 621 | 0 | 0 | 0 |3051 | 0 | 0.000000e+00 | -- | Inf
386.60/386.60 c 383s|650000 |649385 | 0 | 0.0 | 196M|6876 | - |8324 | 638 | 0 | 0 | 0 |3091 | 0 | 0.000000e+00 | -- | Inf
392.70/392.74 c 389s|660000 |659372 | 0 | 0.0 | 198M|6876 | - |8324 | 667 | 0 | 0 | 0 |3161 | 0 | 0.000000e+00 | -- | Inf
398.39/398.49 c 394s|670000 |669368 | 0 | 0.0 | 201M|6876 | - |8324 | 645 | 0 | 0 | 0 |3181 | 0 | 0.000000e+00 | -- | Inf
404.89/404.93 c 401s|680000 |679356 | 0 | 0.0 | 204M|6876 | - |8324 | 669 | 0 | 0 | 0 |3241 | 0 | 0.000000e+00 | -- | Inf
410.70/410.78 c 406s|690000 |689342 | 0 | 0.0 | 207M|6876 | - |8324 | 678 | 0 | 0 | 0 |3311 | 0 | 0.000000e+00 | -- | Inf
417.20/417.25 c 413s|700000 |699336 | 0 | 0.0 | 209M|6876 | - |8324 | 687 | 0 | 0 | 0 |3341 | 0 | 0.000000e+00 | -- | Inf
423.00/423.07 c 419s|710000 |709320 | 0 | 0.0 | 212M|6876 | - |8324 | 731 | 0 | 0 | 0 |3421 | 0 | 0.000000e+00 | -- | Inf
429.30/429.37 c 425s|720000 |719316 | 0 | 0.0 | 215M|6876 | - |8324 | 696 | 0 | 0 | 0 |3441 | 0 | 0.000000e+00 | -- | Inf
435.30/435.34 c 431s|730000 |729306 | 0 | 0.0 | 217M|6876 | - |8324 | 709 | 0 | 0 | 0 |3491 | 0 | 0.000000e+00 | -- | Inf
441.30/441.33 c 437s|740000 |739300 | 0 | 0.0 | 220M|6876 | - |8324 | 701 | 0 | 0 | 0 |3521 | 0 | 0.000000e+00 | -- | Inf
447.60/447.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
447.60/447.65 c 443s|750000 |749290 | 0 | 0.0 | 223M|6876 | - |8324 | 705 | 0 | 0 | 0 |3571 | 0 | 0.000000e+00 | -- | Inf
453.10/453.15 c 448s|760000 |759284 | 0 | 0.0 | 225M|6876 | - |8324 | 703 | 0 | 0 | 0 |3601 | 0 | 0.000000e+00 | -- | Inf
459.89/459.92 c 455s|770000 |769272 | 0 | 0.0 | 228M|6876 | - |8324 | 726 | 0 | 0 | 0 |3661 | 0 | 0.000000e+00 | -- | Inf
465.60/465.64 c 461s|780000 |779262 | 0 | 0.0 | 231M|6876 | - |8324 | 733 | 0 | 0 | 0 |3711 | 0 | 0.000000e+00 | -- | Inf
472.00/472.07 c 467s|790000 |789258 | 0 | 0.0 | 233M|6876 | - |8324 | 727 | 0 | 0 | 0 |3731 | 0 | 0.000000e+00 | -- | Inf
478.00/478.09 c 473s|800000 |799244 | 0 | 0.0 | 236M|6876 | - |8324 | 761 | 0 | 0 | 0 |3801 | 0 | 0.000000e+00 | -- | Inf
484.10/484.15 c 479s|810000 |809240 | 0 | 0.0 | 239M|6876 | - |8324 | 741 | 0 | 0 | 0 |3821 | 0 | 0.000000e+00 | -- | Inf
490.40/490.50 c 485s|820000 |819228 | 0 | 0.0 | 242M|6876 | - |8324 | 765 | 0 | 0 | 0 |3881 | 0 | 0.000000e+00 | -- | Inf
496.20/496.29 c 491s|830000 |829222 | 0 | 0.0 | 244M|6876 | - |8324 | 751 | 0 | 0 | 0 |3911 | 0 | 0.000000e+00 | -- | Inf
502.70/502.74 c 498s|840000 |839210 | 0 | 0.0 | 247M|6876 | - |8324 | 775 | 0 | 0 | 0 |3971 | 0 | 0.000000e+00 | -- | Inf
508.30/508.31 c 503s|850000 |849204 | 0 | 0.0 | 250M|6876 | - |8324 | 764 | 0 | 0 | 0 |4001 | 0 | 0.000000e+00 | -- | Inf
514.90/514.98 c 510s|860000 |859190 | 0 | 0.0 | 252M|6876 | - |8324 | 795 | 0 | 0 | 0 |4071 | 0 | 0.000000e+00 | -- | Inf
520.80/520.80 c 515s|870000 |869180 | 0 | 0.0 | 255M|6876 | - |8324 | 779 | 0 | 0 | 0 |4121 | 0 | 0.000000e+00 | -- | Inf
527.30/527.32 c 522s|880000 |879174 | 0 | 0.0 | 258M|6876 | - |8324 | 776 | 0 | 0 | 0 |4151 | 0 | 0.000000e+00 | -- | Inf
533.20/533.28 c 528s|890000 |889158 | 0 | 0.0 | 260M|6876 | - |8324 | 796 | 0 | 0 | 0 |4231 | 0 | 0.000000e+00 | -- | Inf
539.80/539.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
539.80/539.80 c 534s|900000 |899152 | 0 | 0.0 | 263M|6876 | - |8324 | 778 | 0 | 0 | 0 |4261 | 0 | 0.000000e+00 | -- | Inf
545.80/545.89 c 540s|910000 |909140 | 0 | 0.0 | 266M|6876 | - |8324 | 789 | 0 | 0 | 0 |4319 | 0 | 0.000000e+00 | -- | Inf
552.30/552.39 c 547s|920000 |919134 | 0 | 0.0 | 268M|6876 | - |8324 | 783 | 0 | 0 | 0 |4349 | 0 | 0.000000e+00 | -- | Inf
558.71/558.73 c 553s|930000 |929120 | 0 | 0.0 | 271M|6876 | - |8324 | 808 | 0 | 0 | 0 |4419 | 0 | 0.000000e+00 | -- | Inf
565.30/565.30 c 559s|940000 |939108 | 0 | 0.0 | 274M|6876 | - |8324 | 823 | 0 | 0 | 0 |4479 | 0 | 0.000000e+00 | -- | Inf
571.50/571.57 c 566s|950000 |949097 | 0 | 0.0 | 276M|6876 | - |8324 | 802 | 0 | 0 | 0 |4539 | 0 | 0.000000e+00 | -- | Inf
577.60/577.67 c 572s|960000 |959091 | 0 | 0.0 | 279M|6876 | - |8324 | 795 | 0 | 0 | 0 |4569 | 0 | 0.000000e+00 | -- | Inf
584.50/584.53 c 579s|970000 |969079 | 0 | 0.0 | 282M|6876 | - |8324 | 795 | 0 | 0 | 0 |4629 | 0 | 0.000000e+00 | -- | Inf
590.30/590.32 c 584s|980000 |979075 | 0 | 0.0 | 284M|6876 | - |8324 | 774 | 0 | 0 | 0 |4649 | 0 | 0.000000e+00 | -- | Inf
597.00/597.03 c 591s|990000 |989063 | 0 | 0.0 | 287M|6876 | - |8324 | 802 | 0 | 0 | 0 |4709 | 0 | 0.000000e+00 | -- | Inf
602.60/602.61 c 596s| 1000k|999057 | 0 | 0.0 | 290M|6876 | - |8324 | 807 | 0 | 0 | 0 |4739 | 0 | 0.000000e+00 | -- | Inf
609.30/609.33 c 603s| 1010k| 1009k| 0 | 0.0 | 292M|6876 | - |8324 | 823 | 0 | 0 | 0 |4799 | 0 | 0.000000e+00 | -- | Inf
614.81/614.88 c 609s| 1020k| 1019k| 0 | 0.0 | 295M|6876 | - |8324 | 826 | 0 | 0 | 0 |4849 | 0 | 0.000000e+00 | -- | Inf
621.30/621.32 c 615s| 1030k| 1029k| 0 | 0.0 | 298M|6876 | - |8324 | 816 | 0 | 0 | 0 |4879 | 0 | 0.000000e+00 | -- | Inf
627.21/627.27 c 621s| 1040k| 1039k| 0 | 0.0 | 300M|6876 | - |8324 | 825 | 0 | 0 | 0 |4949 | 0 | 0.000000e+00 | -- | Inf
633.60/633.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
633.60/633.64 c 627s| 1050k| 1049k| 0 | 0.0 | 303M|6876 | - |8324 | 815 | 0 | 0 | 0 |4979 | 0 | 0.000000e+00 | -- | Inf
639.60/639.68 c 633s| 1060k| 1058k| 0 | 0.0 | 306M|6876 | - |8324 | 800 | 0 | 0 | 0 |5039 | 0 | 0.000000e+00 | -- | Inf
645.71/645.75 c 639s| 1070k| 1068k| 0 | 0.0 | 308M|6876 | - |8324 | 802 | 0 | 0 | 0 |5069 | 0 | 0.000000e+00 | -- | Inf
652.00/652.09 c 645s| 1080k| 1078k| 0 | 0.0 | 311M|6876 | - |8324 | 809 | 0 | 0 | 0 |5129 | 0 | 0.000000e+00 | -- | Inf
657.71/657.80 c 651s| 1090k| 1088k| 0 | 0.0 | 314M|6876 | - |8324 | 813 | 0 | 0 | 0 |5159 | 0 | 0.000000e+00 | -- | Inf
664.20/664.22 c 657s| 1100k| 1098k| 0 | 0.0 | 317M|6876 | - |8324 | 809 | 0 | 0 | 0 |5199 | 0 | 0.000000e+00 | -- | Inf
670.10/670.17 c 663s| 1110k| 1108k| 0 | 0.0 | 319M|6876 | - |8324 | 825 | 0 | 0 | 0 |5269 | 0 | 0.000000e+00 | -- | Inf
676.60/676.69 c 670s| 1120k| 1118k| 0 | 0.0 | 322M|6876 | - |8324 | 791 | 0 | 0 | 0 |5289 | 0 | 0.000000e+00 | -- | Inf
682.70/682.71 c 676s| 1130k| 1128k| 0 | 0.0 | 325M|6876 | - |8324 | 798 | 0 | 0 | 0 |5349 | 0 | 0.000000e+00 | -- | Inf
689.10/689.12 c 682s| 1140k| 1138k| 0 | 0.0 | 327M|6876 | - |8324 | 792 | 0 | 0 | 0 |5379 | 0 | 0.000000e+00 | -- | Inf
695.10/695.18 c 688s| 1150k| 1148k| 0 | 0.0 | 330M|6876 | - |8324 | 801 | 0 | 0 | 0 |5445 | 0 | 0.000000e+00 | -- | Inf
701.20/701.28 c 694s| 1160k| 1158k| 0 | 0.0 | 333M|6876 | - |8324 | 789 | 0 | 0 | 0 |5465 | 0 | 0.000000e+00 | -- | Inf
707.31/707.36 c 700s| 1170k| 1168k| 0 | 0.0 | 335M|6876 | - |8324 | 806 | 0 | 0 | 0 |5515 | 0 | 0.000000e+00 | -- | Inf
713.30/713.31 c 706s| 1180k| 1178k| 0 | 0.0 | 338M|6876 | - |8324 | 797 | 0 | 0 | 0 |5535 | 0 | 0.000000e+00 | -- | Inf
719.40/719.49 c 712s| 1190k| 1188k| 0 | 0.0 | 341M|6876 | - |8324 | 789 | 0 | 0 | 0 |5575 | 0 | 0.000000e+00 | -- | Inf
725.30/725.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
725.30/725.38 c 718s| 1200k| 1198k| 0 | 0.0 | 343M|6876 | - |8324 | 785 | 0 | 0 | 0 |5595 | 0 | 0.000000e+00 | -- | Inf
731.60/731.64 c 724s| 1210k| 1208k| 0 | 0.0 | 346M|6876 | - |8324 | 789 | 0 | 0 | 0 |5645 | 0 | 0.000000e+00 | -- | Inf
737.20/737.27 c 730s| 1220k| 1218k| 0 | 0.0 | 349M|6886 | - |8324 | 791 | 0 | 0 | 0 |5675 | 0 | 0.000000e+00 | -- | Inf
743.61/743.65 c 736s| 1230k| 1228k| 0 | 0.0 | 351M|6886 | - |8324 | 791 | 0 | 0 | 0 |5715 | 0 | 0.000000e+00 | -- | Inf
749.40/749.49 c 742s| 1240k| 1238k| 0 | 0.0 | 354M|6886 | - |8324 | 800 | 0 | 0 | 0 |5755 | 0 | 0.000000e+00 | -- | Inf
756.10/756.14 c 748s| 1250k| 1248k| 0 | 0.0 | 357M|6886 | - |8324 | 805 | 0 | 0 | 0 |5805 | 0 | 0.000000e+00 | -- | Inf
761.90/761.90 c 754s| 1260k| 1258k| 0 | 0.0 | 359M|6886 | - |8324 | 788 | 0 | 0 | 0 |5845 | 0 | 0.000000e+00 | -- | Inf
768.60/768.61 c 761s| 1270k| 1268k| 0 | 0.0 | 362M|6886 | - |8324 | 831 | 0 | 0 | 0 |5925 | 0 | 0.000000e+00 | -- | Inf
774.20/774.20 c 766s| 1280k| 1278k| 0 | 0.0 | 365M|6918 | - |8324 | 807 | 0 | 0 | 0 |5955 | 0 | 0.000000e+00 | -- | Inf
780.80/780.88 c 773s| 1290k| 1288k| 0 | 0.0 | 367M|6919 | - |8324 | 811 | 0 | 0 | 0 |5995 | 0 | 0.000000e+00 | -- | Inf
786.20/786.21 c 778s| 1300k| 1298k| 0 | 0.0 | 370M|6956 | - |8324 | 810 | 0 | 0 | 0 |6025 | 0 | 0.000000e+00 | -- | Inf
792.70/792.80 c 785s| 1310k| 1308k| 0 | 0.0 | 373M|6956 | - |8324 | 819 | 0 | 0 | 0 |6065 | 0 | 0.000000e+00 | -- | Inf
798.20/798.29 c 790s| 1320k| 1318k| 0 | 0.0 | 375M|6956 | - |8324 | 825 | 0 | 0 | 0 |6105 | 0 | 0.000000e+00 | -- | Inf
804.90/804.96 c 797s| 1330k| 1328k| 0 | 0.0 | 378M|6986 | - |8324 | 838 | 0 | 0 | 0 |6155 | 0 | 0.000000e+00 | -- | Inf
810.30/810.34 c 802s| 1340k| 1338k| 0 | 0.0 | 381M|6986 | - |8324 | 830 | 0 | 0 | 0 |6175 | 0 | 0.000000e+00 | -- | Inf
817.00/817.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
817.00/817.03 c 809s| 1350k| 1348k| 0 | 0.0 | 383M|6986 | - |8324 | 847 | 0 | 0 | 0 |6225 | 0 | 0.000000e+00 | -- | Inf
822.90/822.99 c 814s| 1360k| 1358k| 0 | 0.0 | 386M|6986 | - |8324 | 871 | 0 | 0 | 0 |6295 | 0 | 0.000000e+00 | -- | Inf
829.60/829.66 c 821s| 1370k| 1368k| 0 | 0.0 | 389M|6986 | - |8324 | 846 | 0 | 0 | 0 |6319 | 0 | 0.000000e+00 | -- | Inf
835.51/835.58 c 827s| 1380k| 1378k| 0 | 0.0 | 391M|6986 | - |8324 | 827 | 0 | 0 | 0 |6379 | 0 | 0.000000e+00 | -- | Inf
842.30/842.38 c 834s| 1390k| 1388k| 0 | 0.0 | 394M|6986 | - |8324 | 826 | 0 | 0 | 0 |6409 | 0 | 0.000000e+00 | -- | Inf
848.11/848.16 c 839s| 1400k| 1398k| 0 | 0.0 | 397M|6986 | - |8324 | 810 | 0 | 0 | 0 |6449 | 0 | 0.000000e+00 | -- | Inf
855.01/855.01 c 846s| 1410k| 1408k| 0 | 0.0 | 399M|6986 | - |8324 | 818 | 0 | 0 | 0 |6489 | 0 | 0.000000e+00 | -- | Inf
860.60/860.61 c 852s| 1420k| 1418k| 0 | 0.0 | 402M|6986 | - |8324 | 815 | 0 | 0 | 0 |6529 | 0 | 0.000000e+00 | -- | Inf
867.20/867.25 c 858s| 1430k| 1428k| 0 | 0.0 | 405M|6986 | - |8324 | 840 | 0 | 0 | 0 |6589 | 0 | 0.000000e+00 | -- | Inf
872.50/872.58 c 864s| 1440k| 1438k| 0 | 0.0 | 407M|6986 | - |8324 | 850 | 0 | 0 | 0 |6659 | 0 | 0.000000e+00 | -- | Inf
879.10/879.13 c 870s| 1450k| 1448k| 0 | 0.0 | 410M|6986 | - |8324 | 861 | 0 | 0 | 0 |6709 | 0 | 0.000000e+00 | -- | Inf
885.10/885.15 c 876s| 1460k| 1458k| 0 | 0.0 | 413M|6986 | - |8324 | 851 | 0 | 0 | 0 |6769 | 0 | 0.000000e+00 | -- | Inf
891.40/891.49 c 882s| 1470k| 1468k| 0 | 0.0 | 415M|6986 | - |8324 | 832 | 0 | 0 | 0 |6789 | 0 | 0.000000e+00 | -- | Inf
897.21/897.25 c 888s| 1480k| 1478k| 0 | 0.0 | 418M|6986 | - |8324 | 845 | 0 | 0 | 0 |6859 | 0 | 0.000000e+00 | -- | Inf
903.51/903.54 c 894s| 1490k| 1488k| 0 | 0.0 | 421M|6986 | - |8324 | 859 | 0 | 0 | 0 |6919 | 0 | 0.000000e+00 | -- | Inf
908.70/908.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
908.70/908.76 c 899s| 1500k| 1498k| 0 | 0.0 | 423M|6986 | - |8324 | 848 | 0 | 0 | 0 |6969 | 0 | 0.000000e+00 | -- | Inf
914.91/914.97 c 906s| 1510k| 1508k| 0 | 0.0 | 426M|6986 | - |8324 | 873 | 0 | 0 | 0 |7029 | 0 | 0.000000e+00 | -- | Inf
920.81/920.88 c 911s| 1520k| 1518k| 0 | 0.0 | 429M|6986 | - |8324 | 851 | 0 | 0 | 0 |7079 | 0 | 0.000000e+00 | -- | Inf
927.01/927.02 c 917s| 1530k| 1528k| 0 | 0.0 | 431M|6986 | - |8324 | 847 | 0 | 0 | 0 |7109 | 0 | 0.000000e+00 | -- | Inf
933.01/933.05 c 923s| 1540k| 1538k| 0 | 0.0 | 434M|6986 | - |8324 | 838 | 0 | 0 | 0 |7159 | 0 | 0.000000e+00 | -- | Inf
939.11/939.13 c 929s| 1550k| 1548k| 0 | 0.0 | 437M|6986 | - |8324 | 842 | 0 | 0 | 0 |7199 | 0 | 0.000000e+00 | -- | Inf
945.00/945.06 c 935s| 1560k| 1558k| 0 | 0.0 | 439M|6986 | - |8324 | 833 | 0 | 0 | 0 |7249 | 0 | 0.000000e+00 | -- | Inf
951.00/951.00 c 941s| 1570k| 1568k| 0 | 0.0 | 442M|6986 | - |8324 | 830 | 0 | 0 | 0 |7279 | 0 | 0.000000e+00 | -- | Inf
956.91/956.97 c 947s| 1580k| 1578k| 0 | 0.0 | 445M|6986 | - |8324 | 824 | 0 | 0 | 0 |7319 | 0 | 0.000000e+00 | -- | Inf
962.80/962.83 c 953s| 1590k| 1588k| 0 | 0.0 | 447M|6986 | - |8324 | 835 | 0 | 0 | 0 |7359 | 0 | 0.000000e+00 | -- | Inf
969.30/969.38 c 959s| 1600k| 1598k| 0 | 0.0 | 450M|6986 | - |8324 | 851 | 0 | 0 | 0 |7449 | 0 | 0.000000e+00 | -- | Inf
974.90/974.94 c 965s| 1610k| 1608k| 0 | 0.0 | 452M|6986 | - |8324 | 831 | 0 | 0 | 0 |7489 | 0 | 0.000000e+00 | -- | Inf
981.01/981.09 c 971s| 1620k| 1618k| 0 | 0.0 | 455M|6986 | - |8324 | 830 | 0 | 0 | 0 |7549 | 0 | 0.000000e+00 | -- | Inf
986.50/986.54 c 976s| 1630k| 1628k| 0 | 0.0 | 458M|6986 | - |8324 | 817 | 0 | 0 | 0 |7569 | 0 | 0.000000e+00 | -- | Inf
993.21/993.23 c 983s| 1640k| 1638k| 0 | 0.0 | 461M|6986 | - |8324 | 835 | 0 | 0 | 0 |7649 | 0 | 0.000000e+00 | -- | Inf
998.71/998.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
998.71/998.71 c 988s| 1650k| 1648k| 0 | 0.0 | 463M|6986 | - |8324 | 807 | 0 | 0 | 0 |7669 | 0 | 0.000000e+00 | -- | Inf
1005.10/1005.13 c 995s| 1660k| 1658k| 0 | 0.0 | 466M|6986 | - |8324 | 825 | 0 | 0 | 0 |7729 | 0 | 0.000000e+00 | -- | Inf
1010.70/1010.71 c 1000s| 1670k| 1668k| 0 | 0.0 | 469M|6986 | - |8324 | 831 | 0 | 0 | 0 |7779 | 0 | 0.000000e+00 | -- | Inf
1017.01/1017.05 c 1006s| 1680k| 1678k| 0 | 0.0 | 471M|6986 | - |8324 | 815 | 0 | 0 | 0 |7799 | 0 | 0.000000e+00 | -- | Inf
1022.31/1022.33 c 1012s| 1690k| 1688k| 0 | 0.0 | 474M|6986 | - |8324 | 828 | 0 | 0 | 0 |7849 | 0 | 0.000000e+00 | -- | Inf
1028.52/1028.57 c 1018s| 1700k| 1698k| 0 | 0.0 | 476M|6986 | - |8324 | 838 | 0 | 0 | 0 |7879 | 0 | 0.000000e+00 | -- | Inf
1034.50/1034.55 c 1024s| 1710k| 1708k| 0 | 0.0 | 479M|6986 | - |8324 | 835 | 0 | 0 | 0 |7929 | 0 | 0.000000e+00 | -- | Inf
1040.51/1040.55 c 1030s| 1720k| 1718k| 0 | 0.0 | 482M|6986 | - |8324 | 822 | 0 | 0 | 0 |7949 | 0 | 0.000000e+00 | -- | Inf
1046.51/1046.54 c 1036s| 1730k| 1728k| 0 | 0.0 | 484M|6986 | - |8324 | 830 | 0 | 0 | 0 |7989 | 0 | 0.000000e+00 | -- | Inf
1052.72/1052.72 c 1042s| 1740k| 1738k| 0 | 0.0 | 487M|6986 | - |8324 | 860 | 0 | 0 | 0 |8049 | 0 | 0.000000e+00 | -- | Inf
1059.11/1059.19 c 1048s| 1750k| 1748k| 0 | 0.0 | 490M|6986 | - |8324 | 857 | 0 | 0 | 0 |8139 | 0 | 0.000000e+00 | -- | Inf
1064.71/1064.80 c 1054s| 1760k| 1758k| 0 | 0.0 | 492M|6986 | - |8324 | 862 | 0 | 0 | 0 |8179 | 0 | 0.000000e+00 | -- | Inf
1072.01/1072.06 c 1061s| 1770k| 1768k| 0 | 0.0 | 495M|6986 | - |8324 | 890 | 0 | 0 | 0 |8289 | 0 | 0.000000e+00 | -- | Inf
1077.41/1077.45 c 1066s| 1780k| 1778k| 0 | 0.0 | 498M|6986 | - |8324 | 867 | 0 | 0 | 0 |8309 | 0 | 0.000000e+00 | -- | Inf
1083.61/1083.63 c 1072s| 1790k| 1788k| 0 | 0.0 | 501M|6986 | - |8324 | 874 | 0 | 0 | 0 |8369 | 0 | 0.000000e+00 | -- | Inf
1089.11/1089.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1089.11/1089.15 c 1078s| 1800k| 1798k| 0 | 0.0 | 503M|6986 | - |8324 | 885 | 0 | 0 | 0 |8409 | 0 | 0.000000e+00 | -- | Inf
1095.30/1095.39 c 1084s| 1810k| 1808k| 0 | 0.0 | 506M|6986 | - |8324 | 883 | 0 | 0 | 0 |8469 | 0 | 0.000000e+00 | -- | Inf
1100.81/1100.84 c 1089s| 1820k| 1818k| 0 | 0.0 | 509M|6986 | - |8324 | 906 | 0 | 0 | 0 |8529 | 0 | 0.000000e+00 | -- | Inf
1107.01/1107.02 c 1096s| 1830k| 1828k| 0 | 0.0 | 511M|6986 | - |8324 | 891 | 0 | 0 | 0 |8559 | 0 | 0.000000e+00 | -- | Inf
1112.61/1112.69 c 1101s| 1840k| 1838k| 0 | 0.0 | 514M|6986 | - |8324 | 893 | 0 | 0 | 0 |8609 | 0 | 0.000000e+00 | -- | Inf
1118.61/1118.65 c 1107s| 1850k| 1848k| 0 | 0.0 | 517M|6986 | - |8324 | 879 | 0 | 0 | 0 |8629 | 0 | 0.000000e+00 | -- | Inf
1124.90/1124.94 c 1113s| 1860k| 1858k| 0 | 0.0 | 519M|6986 | - |8324 | 889 | 0 | 0 | 0 |8709 | 0 | 0.000000e+00 | -- | Inf
1130.81/1130.85 c 1119s| 1870k| 1868k| 0 | 0.0 | 522M|6986 | - |8324 | 876 | 0 | 0 | 0 |8739 | 0 | 0.000000e+00 | -- | Inf
1136.81/1136.86 c 1125s| 1880k| 1878k| 0 | 0.0 | 525M|6986 | - |8324 | 861 | 0 | 0 | 0 |8799 | 0 | 0.000000e+00 | -- | Inf
1142.61/1142.61 c 1131s| 1890k| 1888k| 0 | 0.0 | 527M|6986 | - |8324 | 863 | 0 | 0 | 0 |8839 | 0 | 0.000000e+00 | -- | Inf
1148.71/1148.78 c 1137s| 1900k| 1898k| 0 | 0.0 | 530M|6986 | - |8324 | 861 | 0 | 0 | 0 |8899 | 0 | 0.000000e+00 | -- | Inf
1154.11/1154.15 c 1142s| 1910k| 1908k| 0 | 0.0 | 533M|6986 | - |8324 | 867 | 0 | 0 | 0 |8939 | 0 | 0.000000e+00 | -- | Inf
1160.51/1160.59 c 1148s| 1920k| 1918k| 0 | 0.0 | 535M|6986 | - |8324 | 855 | 0 | 0 | 0 |8989 | 0 | 0.000000e+00 | -- | Inf
1166.01/1166.05 c 1154s| 1930k| 1928k| 0 | 0.0 | 538M|6986 | - |8324 | 847 | 0 | 0 | 0 |9029 | 0 | 0.000000e+00 | -- | Inf
1172.11/1172.17 c 1160s| 1940k| 1938k| 0 | 0.0 | 541M|6986 | - |8324 | 840 | 0 | 0 | 0 |9049 | 0 | 0.000000e+00 | -- | Inf
1177.61/1177.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1177.61/1177.64 c 1165s| 1950k| 1948k| 0 | 0.0 | 543M|6986 | - |8324 | 882 | 0 | 0 | 0 |9129 | 0 | 0.000000e+00 | -- | Inf
1183.52/1183.55 c 1171s| 1960k| 1958k| 0 | 0.0 | 546M|6986 | - |8324 | 869 | 0 | 0 | 0 |9159 | 0 | 0.000000e+00 | -- | Inf
1189.12/1189.13 c 1177s| 1970k| 1968k| 0 | 0.0 | 549M|6986 | - |8324 | 867 | 0 | 0 | 0 |9199 | 0 | 0.000000e+00 | -- | Inf
1194.71/1194.72 c 1182s| 1980k| 1978k| 0 | 0.0 | 551M|6986 | - |8324 | 876 | 0 | 0 | 0 |9229 | 0 | 0.000000e+00 | -- | Inf
1200.81/1200.85 c 1188s| 1990k| 1988k| 0 | 0.0 | 554M|6986 | - |8324 | 882 | 0 | 0 | 0 |9279 | 0 | 0.000000e+00 | -- | Inf
1206.41/1206.43 c 1194s| 2000k| 1998k| 0 | 0.0 | 557M|6986 | - |8324 | 875 | 0 | 0 | 0 |9309 | 0 | 0.000000e+00 | -- | Inf
1212.91/1212.92 c 1200s| 2010k| 2008k| 0 | 0.0 | 559M|6986 | - |8324 | 878 | 0 | 0 | 0 |9379 | 0 | 0.000000e+00 | -- | Inf
1218.32/1218.37 c 1206s| 2020k| 2018k| 0 | 0.0 | 562M|6986 | - |8324 | 888 | 0 | 0 | 0 |9439 | 0 | 0.000000e+00 | -- | Inf
1224.61/1224.68 c 1212s| 2030k| 2028k| 0 | 0.0 | 565M|6986 | - |8324 | 874 | 0 | 0 | 0 |9469 | 0 | 0.000000e+00 | -- | Inf
1230.31/1230.32 c 1217s| 2040k| 2038k| 0 | 0.0 | 567M|6986 | - |8324 | 870 | 0 | 0 | 0 |9519 | 0 | 0.000000e+00 | -- | Inf
1236.21/1236.28 c 1223s| 2050k| 2048k| 0 | 0.0 | 570M|6986 | - |8324 | 865 | 0 | 0 | 0 |9549 | 0 | 0.000000e+00 | -- | Inf
1242.01/1242.06 c 1229s| 2060k| 2058k| 0 | 0.0 | 573M|6986 | - |8324 | 893 | 0 | 0 | 0 |9629 | 0 | 0.000000e+00 | -- | Inf
1248.11/1248.10 c 1235s| 2070k| 2068k| 0 | 0.0 | 575M|6986 | - |8324 | 887 | 0 | 0 | 0 |9659 | 0 | 0.000000e+00 | -- | Inf
1254.01/1254.08 c 1241s| 2080k| 2078k| 0 | 0.0 | 578M|6986 | - |8324 | 876 | 0 | 0 | 0 |9709 | 0 | 0.000000e+00 | -- | Inf
1259.61/1259.63 c 1246s| 2090k| 2088k| 0 | 0.0 | 581M|6986 | - |8324 | 875 | 0 | 0 | 0 |9739 | 0 | 0.000000e+00 | -- | Inf
1266.31/1266.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1266.31/1266.36 c 1253s| 2100k| 2098k| 0 | 0.0 | 583M|6986 | - |8324 | 891 | 0 | 0 | 0 |9829 | 0 | 0.000000e+00 | -- | Inf
1271.61/1271.61 c 1258s| 2110k| 2108k| 0 | 0.0 | 586M|6986 | - |8324 | 860 | 0 | 0 | 0 |9859 | 0 | 0.000000e+00 | -- | Inf
1278.21/1278.29 c 1265s| 2120k| 2118k| 0 | 0.0 | 589M|6986 | - |8324 | 878 | 0 | 0 | 0 |9949 | 0 | 0.000000e+00 | -- | Inf
1284.10/1284.17 c 1271s| 2130k| 2128k| 0 | 0.0 | 591M|6986 | - |8324 | 894 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
1290.40/1290.40 c 1277s| 2140k| 2137k| 0 | 0.0 | 594M|6986 | - |8324 | 897 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
1296.51/1296.56 c 1283s| 2150k| 2147k| 0 | 0.0 | 597M|6986 | - |8324 | 876 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
1302.41/1302.42 c 1289s| 2160k| 2157k| 0 | 0.0 | 599M|6986 | - |8324 | 864 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
1308.51/1308.55 c 1295s| 2170k| 2167k| 0 | 0.0 | 602M|6986 | - |8324 | 879 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
1313.81/1313.89 c 1300s| 2180k| 2177k| 0 | 0.0 | 605M|6986 | - |8324 | 875 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
1319.81/1319.83 c 1306s| 2190k| 2187k| 0 | 0.0 | 607M|6986 | - |8324 | 877 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
1325.10/1325.14 c 1311s| 2200k| 2197k| 0 | 0.0 | 610M|6986 | - |8324 | 890 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
1331.71/1331.77 c 1318s| 2210k| 2207k| 0 | 0.0 | 613M|6986 | - |8324 | 886 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
1337.41/1337.42 c 1323s| 2220k| 2217k| 0 | 0.0 | 615M|6986 | - |8324 | 888 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
1343.31/1343.39 c 1329s| 2230k| 2227k| 0 | 0.0 | 618M|6986 | - |8324 | 882 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
1349.61/1349.68 c 1336s| 2240k| 2237k| 0 | 0.0 | 621M|6986 | - |8324 | 881 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
1355.12/1355.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1355.12/1355.18 c 1341s| 2250k| 2247k| 0 | 0.0 | 623M|6986 | - |8324 | 880 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
1361.61/1361.61 c 1347s| 2260k| 2257k| 0 | 0.0 | 626M|6986 | - |8324 | 880 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
1366.90/1366.94 c 1353s| 2270k| 2267k| 0 | 0.0 | 629M|6986 | - |8324 | 859 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
1373.31/1373.31 c 1359s| 2280k| 2277k| 0 | 0.0 | 631M|6986 | - |8324 | 851 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
1379.11/1379.16 c 1365s| 2290k| 2287k| 0 | 0.0 | 634M|6986 | - |8324 | 878 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
1385.01/1385.03 c 1370s| 2300k| 2297k| 0 | 0.0 | 637M|6986 | - |8324 | 861 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
1391.01/1391.01 c 1376s| 2310k| 2307k| 0 | 0.0 | 639M|6986 | - |8324 | 878 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
1396.41/1396.48 c 1382s| 2320k| 2317k| 0 | 0.0 | 642M|6986 | - |8324 | 846 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
1402.61/1402.60 c 1388s| 2330k| 2327k| 0 | 0.0 | 645M|6986 | - |8324 | 822 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
1407.71/1407.72 c 1393s| 2340k| 2337k| 0 | 0.0 | 647M|6986 | - |8324 | 832 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1414.01/1414.07 c 1399s| 2350k| 2347k| 0 | 0.0 | 650M|6986 | - |8324 | 841 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1419.91/1419.98 c 1405s| 2360k| 2357k| 0 | 0.0 | 653M|6986 | - |8324 | 839 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1425.91/1425.92 c 1411s| 2370k| 2367k| 0 | 0.0 | 655M|6986 | - |8324 | 843 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1432.12/1432.10 c 1417s| 2380k| 2377k| 0 | 0.0 | 658M|6986 | - |8324 | 836 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1437.71/1437.73 c 1423s| 2390k| 2387k| 0 | 0.0 | 661M|6986 | - |8324 | 859 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1443.81/1443.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1443.81/1443.88 c 1429s| 2400k| 2397k| 0 | 0.0 | 663M|6986 | - |8324 | 849 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1449.11/1449.18 c 1434s| 2410k| 2407k| 0 | 0.0 | 666M|6986 | - |8324 | 843 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1455.22/1455.20 c 1440s| 2420k| 2417k| 0 | 0.0 | 669M|6986 | - |8324 | 837 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1461.11/1461.19 c 1446s| 2430k| 2427k| 0 | 0.0 | 671M|6986 | - |8324 | 846 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1466.71/1466.78 c 1451s| 2440k| 2437k| 0 | 0.0 | 674M|6986 | - |8324 | 830 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1473.41/1473.45 c 1458s| 2450k| 2447k| 0 | 0.0 | 677M|6986 | - |8324 | 840 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1479.00/1479.00 c 1464s| 2460k| 2457k| 0 | 0.0 | 679M|6986 | - |8324 | 816 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1485.41/1485.42 c 1470s| 2470k| 2467k| 0 | 0.0 | 682M|6986 | - |8324 | 830 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1490.91/1490.98 c 1475s| 2480k| 2477k| 0 | 0.0 | 685M|6986 | - |8324 | 827 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1496.71/1496.76 c 1481s| 2490k| 2487k| 0 | 0.0 | 688M|6986 | - |8324 | 836 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1502.51/1502.60 c 1487s| 2500k| 2497k| 0 | 0.0 | 690M|6986 | - |8324 | 834 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1508.21/1508.20 c 1492s| 2510k| 2507k| 0 | 0.0 | 693M|6986 | - |8324 | 829 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1514.62/1514.70 c 1499s| 2520k| 2517k| 0 | 0.0 | 696M|6986 | - |8324 | 856 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
1519.81/1519.87 c 1504s| 2530k| 2527k| 0 | 0.0 | 698M|6986 | - |8324 | 835 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
1525.91/1525.91 c 1510s| 2540k| 2537k| 0 | 0.0 | 701M|6986 | - |8324 | 825 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
1531.81/1531.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1531.81/1531.84 c 1516s| 2550k| 2547k| 0 | 0.0 | 704M|6986 | - |8324 | 834 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
1537.21/1537.21 c 1521s| 2560k| 2557k| 0 | 0.0 | 706M|6986 | - |8324 | 827 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
1543.32/1543.38 c 1527s| 2570k| 2567k| 0 | 0.0 | 709M|6986 | - |8324 | 831 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
1548.71/1548.76 c 1533s| 2580k| 2577k| 0 | 0.0 | 712M|6986 | - |8324 | 843 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
1554.61/1554.62 c 1538s| 2590k| 2587k| 0 | 0.0 | 714M|6986 | - |8324 | 821 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
1560.82/1560.88 c 1545s| 2600k| 2597k| 0 | 0.0 | 717M|6986 | - |8324 | 836 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
1566.11/1566.19 c 1550s| 2610k| 2607k| 0 | 0.0 | 720M|6986 | - |8324 | 817 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
1572.51/1572.55 c 1556s| 2620k| 2617k| 0 | 0.0 | 722M|6986 | - |8324 | 813 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
1578.21/1578.27 c 1562s| 2630k| 2627k| 0 | 0.0 | 725M|6986 | - |8324 | 828 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
1584.22/1584.23 c 1568s| 2640k| 2637k| 0 | 0.0 | 728M|6986 | - |8324 | 808 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
1589.91/1589.93 c 1573s| 2650k| 2647k| 0 | 0.0 | 730M|6986 | - |8324 | 808 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
1595.31/1595.35 c 1579s| 2660k| 2657k| 0 | 0.0 | 733M|6986 | - |8324 | 798 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
1601.22/1601.26 c 1584s| 2670k| 2667k| 0 | 0.0 | 736M|6986 | - |8324 | 795 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
1606.91/1606.91 c 1590s| 2680k| 2677k| 0 | 0.0 | 738M|6986 | - |8324 | 814 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
1612.32/1612.35 c 1595s| 2690k| 2687k| 0 | 0.0 | 741M|6986 | - |8324 | 784 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
1618.11/1618.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1618.11/1618.13 c 1601s| 2700k| 2697k| 0 | 0.0 | 744M|6986 | - |8324 | 785 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
1623.21/1623.21 c 1606s| 2710k| 2707k| 0 | 0.0 | 746M|6986 | - |8324 | 797 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
1629.41/1629.49 c 1612s| 2720k| 2717k| 0 | 0.0 | 749M|6986 | - |8324 | 796 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
1634.91/1634.98 c 1618s| 2730k| 2727k| 0 | 0.0 | 752M|6986 | - |8324 | 782 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
1640.02/1640.07 c 1623s| 2740k| 2737k| 0 | 0.0 | 754M|6986 | - |8324 | 773 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
1646.51/1646.57 c 1629s| 2750k| 2747k| 0 | 0.0 | 757M|6986 | - |8324 | 799 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
1651.81/1651.82 c 1634s| 2760k| 2757k| 0 | 0.0 | 760M|6986 | - |8324 | 784 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
1657.81/1657.83 c 1640s| 2770k| 2767k| 0 | 0.0 | 763M|6986 | - |8324 | 796 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
1663.91/1663.99 c 1647s| 2780k| 2777k| 0 | 0.0 | 765M|6986 | - |8324 | 775 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
1669.61/1669.64 c 1652s| 2790k| 2787k| 0 | 0.0 | 768M|6986 | - |8324 | 794 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
1675.42/1675.48 c 1658s| 2800k| 2797k| 0 | 0.0 | 771M|6986 | - |8324 | 783 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
1681.12/1681.11 c 1663s| 2810k| 2807k| 0 | 0.0 | 773M|6986 | - |8324 | 771 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
1686.32/1686.39 c 1669s| 2820k| 2817k| 0 | 0.0 | 776M|6986 | - |8324 | 749 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
1692.32/1692.36 c 1675s| 2830k| 2827k| 0 | 0.0 | 779M|6986 | - |8324 | 756 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
1697.92/1697.99 c 1680s| 2840k| 2837k| 0 | 0.0 | 781M|6986 | - |8324 | 772 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
1703.61/1703.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1703.61/1703.62 c 1686s| 2850k| 2847k| 0 | 0.0 | 784M|6986 | - |8324 | 760 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
1709.62/1709.60 c 1692s| 2860k| 2857k| 0 | 0.0 | 787M|6986 | - |8324 | 739 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
1714.82/1714.86 c 1697s| 2870k| 2867k| 0 | 0.0 | 789M|6986 | - |8324 | 781 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
1720.61/1720.64 c 1703s| 2880k| 2877k| 0 | 0.0 | 792M|6986 | - |8324 | 741 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
1726.32/1726.35 c 1708s| 2890k| 2887k| 0 | 0.0 | 795M|6986 | - |8324 | 741 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
1731.52/1731.51 c 1713s| 2900k| 2897k| 0 | 0.0 | 797M|6986 | - |8324 | 733 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
1737.82/1737.81 c 1720s| 2910k| 2907k| 0 | 0.0 | 800M|6986 | - |8324 | 735 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
1743.12/1743.14 c 1725s| 2920k| 2917k| 0 | 0.0 | 803M|6986 | - |8324 | 731 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
1748.71/1748.79 c 1730s| 2930k| 2927k| 0 | 0.0 | 805M|6986 | - |8324 | 732 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
1754.72/1754.73 c 1736s| 2940k| 2937k| 0 | 0.0 | 808M|6986 | - |8324 | 744 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
1760.21/1760.23 c 1742s| 2950k| 2947k| 0 | 0.0 | 811M|6986 | - |8324 | 727 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
1766.02/1766.03 c 1747s| 2960k| 2957k| 0 | 0.0 | 814M|6986 | - |8324 | 723 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
1772.02/1772.07 c 1753s| 2970k| 2967k| 0 | 0.0 | 816M|6986 | - |8324 | 718 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
1777.41/1777.46 c 1759s| 2980k| 2977k| 0 | 0.0 | 819M|6986 | - |8324 | 707 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
1783.61/1783.65 c 1765s| 2990k| 2987k| 0 | 0.0 | 822M|6986 | - |8324 | 726 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
1789.41/1789.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1789.41/1789.43 c 1771s| 3000k| 2997k| 0 | 0.0 | 824M|6986 | - |8324 | 707 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
1795.22/1795.21 c 1776s| 3010k| 3007k| 0 | 0.0 | 827M|6986 | - |8324 | 738 | 0 | 0 | 0 | 14k| 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) : 1781.04
1800.03/1800.00 c Solving Nodes : 3018207
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 : 1781.04
1800.03/1800.00 c Original Problem :
1800.03/1800.00 c Problem name : HOME/instance-2693808-1277893651.wbo
1800.03/1800.00 c Variables : 8324 (8257 binary, 0 integer, 0 implicit integer, 67 continuous)
1800.03/1800.00 c Constraints : 249 initial, 249 maximal
1800.03/1800.00 c Presolved Problem :
1800.03/1800.00 c Problem name : t_HOME/instance-2693808-1277893651.wbo
1800.03/1800.00 c Variables : 8324 (8257 binary, 0 integer, 0 implicit integer, 67 continuous)
1800.03/1800.00 c Constraints : 248 initial, 936 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.00 0 0 0 0 0 0 0 0
1800.03/1800.00 c probing : 0.05 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 67 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 : 67 0 270 0 67 0 67 0 0 0
1800.03/1800.00 c setppc : 49 0 3072321 0 3008240 585 467103 0 0 0
1800.03/1800.00 c linear : 67 0 3082274 0 3016748 638 286046 0 0 0
1800.03/1800.00 c logicor : 65+ 0 209036 0 3016780 222 30395 0 0 0
1800.03/1800.00 c countsols : 0 0 0 0 3016780 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 : 213.50 0.00 33.09 0.00 180.41
1800.03/1800.00 c linear : 42.56 0.00 40.86 0.00 1.70
1800.03/1800.00 c logicor : 199.81 0.00 12.07 0.00 187.74
1800.03/1800.00 c countsols : 0.95 0.00 0.00 0.00 0.95
1800.03/1800.00 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.00 c vbounds : 1.21 2 0 0
1800.03/1800.00 c rootredcost : 0.78 0 0 0
1800.03/1800.00 c pseudoobj : 6.14 3082838 0 0
1800.03/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.00 c propagation : 74.57 1445 1445 63490 1242.7 26918 73.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 : - - - 14399 83.0 - - -
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 : 1270.10 3016780 0 0 0 0 6033560
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 : 1.01 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 : 1.31 0 0
1800.03/1800.00 c trysol : 0.98 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 : 3018207
1800.03/1800.00 c nodes (total) : 3018207
1800.03/1800.00 c nodes left : 3015333
1800.03/1800.00 c max depth : 6986
1800.03/1800.00 c max depth (total): 6986
1800.03/1800.00 c backtracks : 536 (0.0%)
1800.03/1800.00 c delayed cutoffs : 21
1800.03/1800.00 c repropagations : 542 (1865 domain reductions, 18 cutoffs)
1800.03/1800.00 c avg switch length: 2.22
1800.03/1800.00 c switching time : 11.33
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-2693808-1277893651/watcher-2693808-1277893651 -o /tmp/evaluation-result-2693808-1277893651/solver-2693808-1277893651 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693808-1277893651.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.00 2.00 4/178 10926
/proc/meminfo: memFree=29883416/32950904 swapFree=67111528/67111528
[pid=10926] ppid=10924 vsize=8800 CPUtime=0
/proc/10926/stat : 10926 (pbscip.linux.x8) R 10924 10926 9818 0 -1 4202496 1684 0 0 0 0 0 0 0 25 0 1 0 130661807 9011200 1607 4089446400 4194304 7136930 140735385663680 18446744073709551615 6350076 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/10926/statm: 2200 1607 275 719 0 1479 0
[startup+0.0514809 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 10926
/proc/meminfo: memFree=29883416/32950904 swapFree=67111528/67111528
[pid=10926] ppid=10924 vsize=29840 CPUtime=0.04
/proc/10926/stat : 10926 (pbscip.linux.x8) R 10924 10926 9818 0 -1 4202496 7012 0 0 0 4 0 0 0 25 0 1 0 130661807 30556160 6581 4089446400 4194304 7136930 140735385663680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10926/statm: 7460 6581 342 719 0 6739 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 29840
[startup+0.100481 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 10926
/proc/meminfo: memFree=29883416/32950904 swapFree=67111528/67111528
[pid=10926] ppid=10924 vsize=32692 CPUtime=0.09
/proc/10926/stat : 10926 (pbscip.linux.x8) R 10924 10926 9818 0 -1 4202496 9159 0 0 0 8 1 0 0 25 0 1 0 130661807 33476608 7443 4089446400 4194304 7136930 140735385663680 18446744073709551615 5497087 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10926/statm: 8173 7443 370 719 0 7452 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32692
[startup+0.300443 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 10926
/proc/meminfo: memFree=29883416/32950904 swapFree=67111528/67111528
[pid=10926] ppid=10924 vsize=34280 CPUtime=0.29
/proc/10926/stat : 10926 (pbscip.linux.x8) R 10924 10926 9818 0 -1 4202496 9541 0 0 0 28 1 0 0 25 0 1 0 130661807 35102720 7755 4089446400 4194304 7136930 140735385663680 18446744073709551615 4436491 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10926/statm: 8570 7755 390 719 0 7849 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 34280
[startup+0.70038 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 10926
/proc/meminfo: memFree=29883416/32950904 swapFree=67111528/67111528
[pid=10926] ppid=10924 vsize=34280 CPUtime=0.69
/proc/10926/stat : 10926 (pbscip.linux.x8) R 10924 10926 9818 0 -1 4202496 9567 0 0 0 68 1 0 0 25 0 1 0 130661807 35102720 7781 4089446400 4194304 7136930 140735385663680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10926/statm: 8570 7781 390 719 0 7849 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 34280
[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10927
/proc/meminfo: memFree=29853276/32950904 swapFree=67111528/67111528
[pid=10926] ppid=10924 vsize=34524 CPUtime=1.49
/proc/10926/stat : 10926 (pbscip.linux.x8) R 10924 10926 9818 0 -1 4202496 9617 0 0 0 147 2 0 0 25 0 1 0 130661807 35352576 7831 4089446400 4194304 7136930 140735385663680 18446744073709551615 4641936 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10926/statm: 8631 7831 390 719 0 7910 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 34524
[startup+3.10088 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10927
/proc/meminfo: memFree=29852532/32950904 swapFree=67111528/67111528
[pid=10926] ppid=10924 vsize=36480 CPUtime=3.09
/proc/10926/stat : 10926 (pbscip.linux.x8) R 10924 10926 9818 0 -1 4202496 10100 0 0 0 305 4 0 0 25 0 1 0 130661807 37355520 8314 4089446400 4194304 7136930 140735385663680 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10926/statm: 9120 8314 390 719 0 8399 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 36480
[startup+6.3004 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10927
/proc/meminfo: memFree=29848772/32950904 swapFree=67111528/67111528
[pid=10926] ppid=10924 vsize=38620 CPUtime=6.28
/proc/10926/stat : 10926 (pbscip.linux.x8) R 10924 10926 9818 0 -1 4202496 10666 0 0 0 620 8 0 0 25 0 1 0 130661807 39546880 8878 4089446400 4194304 7136930 140735385663680 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10926/statm: 9655 8878 394 719 0 8934 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 38620
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10928
/proc/meminfo: memFree=29840108/32950904 swapFree=67111528/67111528
[pid=10926] ppid=10924 vsize=42812 CPUtime=12.69
/proc/10926/stat : 10926 (pbscip.linux.x8) R 10924 10926 9818 0 -1 4202496 11769 0 0 0 1253 16 0 0 25 0 1 0 130661807 43839488 9981 4089446400 4194304 7136930 140735385663680 18446744073709551615 4643241 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10926/statm: 10703 9981 394 719 0 9982 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 42812
[startup+25.5009 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 10928
/proc/meminfo: memFree=29817392/32950904 swapFree=67111528/67111528
[pid=10926] ppid=10924 vsize=53444 CPUtime=25.49
/proc/10926/stat : 10926 (pbscip.linux.x8) R 10924 10926 9818 0 -1 4202496 14523 0 0 0 2517 32 0 0 25 0 1 0 130661807 54726656 12735 4089446400 4194304 7136930 140735385663680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10926/statm: 13361 12735 394 719 0 12640 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 53444
[startup+51.1003 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 10956
/proc/meminfo: memFree=31386640/32950904 swapFree=67111528/67111528
[pid=10926] ppid=10924 vsize=70480 CPUtime=51.09
/proc/10926/stat : 10926 (pbscip.linux.x8) R 10924 10926 9818 0 -1 4202496 18442 0 0 0 5047 62 0 0 25 0 1 0 130661807 72171520 16654 4089446400 4194304 7136930 140735385663680 18446744073709551615 5892378 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10926/statm: 17620 16654 394 719 0 16899 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 70480
[startup+102.306 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 10958
/proc/meminfo: memFree=31218692/32950904 swapFree=67111528/67111528
[pid=10926] ppid=10924 vsize=97164 CPUtime=102.29
/proc/10926/stat : 10926 (pbscip.linux.x8) R 10924 10926 9818 0 -1 4202496 25424 0 0 0 10114 115 0 0 25 0 1 0 130661807 99495936 23636 4089446400 4194304 7136930 140735385663680 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10926/statm: 24291 23636 397 719 0 23570 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 97164
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10960
/proc/meminfo: memFree=31041908/32950904 swapFree=67111528/67111528
[pid=10926] ppid=10924 vsize=130256 CPUtime=162.29
/proc/10926/stat : 10926 (pbscip.linux.x8) R 10924 10926 9818 0 -1 4202496 33065 0 0 0 16059 170 0 0 25 0 1 0 130661807 133382144 31274 4089446400 4194304 7136930 140735385663680 18446744073709551615 4407814 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10926/statm: 32564 31274 394 719 0 31843 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 130256
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10961
/proc/meminfo: memFree=30874912/32950904 swapFree=67111528/67111528
[pid=10926] ppid=10924 vsize=161152 CPUtime=222.3
/proc/10926/stat : 10926 (pbscip.linux.x8) R 10924 10926 9818 0 -1 4202496 41143 0 0 0 22001 229 0 0 25 0 1 0 130661807 165019648 39352 4089446400 4194304 7136930 140735385663680 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10926/statm: 40288 39352 394 719 0 39567 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 161152
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10965
/proc/meminfo: memFree=30740708/32950904 swapFree=67111528/67111528
[pid=10926] ppid=10924 vsize=200376 CPUtime=282.3
/proc/10926/stat : 10926 (pbscip.linux.x8) R 10924 10926 9818 0 -1 4202496 49200 0 0 0 27937 293 0 0 25 0 1 0 130661807 205185024 47409 4089446400 4194304 7136930 140735385663680 18446744073709551615 4414760 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10926/statm: 50094 47409 394 719 0 49373 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 200376
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10967
/proc/meminfo: memFree=30576828/32950904 swapFree=67111528/67111528
[pid=10926] ppid=10924 vsize=233396 CPUtime=342.29
/proc/10926/stat : 10926 (pbscip.linux.x8) R 10924 10926 9818 0 -1 4202496 57734 0 0 0 33874 355 0 0 25 0 1 0 130661807 238997504 55943 4089446400 4194304 7136930 140735385663680 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10926/statm: 58349 55943 394 719 0 57628 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 233396
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10969
/proc/meminfo: memFree=30429080/32950904 swapFree=67111528/67111528
[pid=10926] ppid=10924 vsize=264208 CPUtime=402.3
/proc/10926/stat : 10926 (pbscip.linux.x8) R 10924 10926 9818 0 -1 4202496 65723 0 0 0 39812 418 0 0 25 0 1 0 130661807 270548992 63932 4089446400 4194304 7136930 140735385663680 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10926/statm: 66052 63932 394 719 0 65331 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 264208
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10971
/proc/meminfo: memFree=30248960/32950904 swapFree=67111528/67111528
[pid=10926] ppid=10924 vsize=292972 CPUtime=462.3
/proc/10926/stat : 10926 (pbscip.linux.x8) R 10924 10926 9818 0 -1 4202496 73248 0 0 0 45753 477 0 0 25 0 1 0 130661807 300003328 71457 4089446400 4194304 7136930 140735385663680 18446744073709551615 4642180 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10926/statm: 73243 71457 394 719 0 72522 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 292972
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10972
/proc/meminfo: memFree=30125864/32950904 swapFree=67111528/67111528
[pid=10926] ppid=10924 vsize=320124 CPUtime=522.29
/proc/10926/stat : 10926 (pbscip.linux.x8) R 10924 10926 9818 0 -1 4202496 80354 0 0 0 51694 535 0 0 25 0 1 0 130661807 327806976 78563 4089446400 4194304 7136930 140735385663680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10926/statm: 80031 78563 394 719 0 79310 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 320124
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10973
/proc/meminfo: memFree=30005756/32950904 swapFree=67111528/67111528
[pid=10926] ppid=10924 vsize=349996 CPUtime=582.3
/proc/10926/stat : 10926 (pbscip.linux.x8) R 10924 10926 9818 0 -1 4202496 88057 0 0 0 57632 598 0 0 25 0 1 0 130661807 358395904 86266 4089446400 4194304 7136930 140735385663680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10926/statm: 87499 86266 394 719 0 86778 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 349996
[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10975
/proc/meminfo: memFree=29864660/32950904 swapFree=67111528/67111528
[pid=10926] ppid=10924 vsize=396676 CPUtime=642.3
/proc/10926/stat : 10926 (pbscip.linux.x8) R 10924 10926 9818 0 -1 4202496 95923 0 0 0 63567 663 0 0 25 0 1 0 130661807 406196224 94132 4089446400 4194304 7136930 140735385663680 18446744073709551615 5909056 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10926/statm: 99169 94132 394 719 0 98448 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 396676
[startup+702.3 s]
################
# More data... #
################
/proc/10926/stat : 10926 (pbscip.linux.x8) R 10924 10926 9818 0 -1 4202496 139617 0 0 0 99190 1041 0 0 25 0 1 0 130661807 577060864 137826 4089446400 4194304 7136930 140735385663680 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10926/statm: 140884 137826 394 719 0 140163 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 563536
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10987
/proc/meminfo: memFree=28945984/32950904 swapFree=67111528/67111528
[pid=10926] ppid=10924 vsize=592608 CPUtime=1062.31
/proc/10926/stat : 10926 (pbscip.linux.x8) R 10924 10926 9818 0 -1 4202496 147167 0 0 0 105126 1105 0 0 25 0 1 0 130661807 606830592 145376 4089446400 4194304 7136930 140735385663680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10926/statm: 148152 145376 394 719 0 147431 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 592608
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10988
/proc/meminfo: memFree=28825488/32950904 swapFree=67111528/67111528
[pid=10926] ppid=10924 vsize=624536 CPUtime=1122.31
/proc/10926/stat : 10926 (pbscip.linux.x8) R 10924 10926 9818 0 -1 4202496 155379 0 0 0 111064 1167 0 0 25 0 1 0 130661807 639524864 153588 4089446400 4194304 7136930 140735385663680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10926/statm: 156134 153588 394 719 0 155413 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 624536
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10989
/proc/meminfo: memFree=28719512/32950904 swapFree=67111528/67111528
[pid=10926] ppid=10924 vsize=654268 CPUtime=1182.31
/proc/10926/stat : 10926 (pbscip.linux.x8) R 10924 10926 9818 0 -1 4202496 163131 0 0 0 116993 1238 0 0 25 0 1 0 130661807 669970432 161340 4089446400 4194304 7136930 140735385663680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10926/statm: 163567 161340 394 719 0 162846 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 654268
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10991
/proc/meminfo: memFree=28602104/32950904 swapFree=67111528/67111528
[pid=10926] ppid=10924 vsize=715364 CPUtime=1242.31
/proc/10926/stat : 10926 (pbscip.linux.x8) R 10924 10926 9818 0 -1 4202496 170488 0 0 0 122927 1304 0 0 25 0 1 0 130661807 732532736 168697 4089446400 4194304 7136930 140735385663680 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10926/statm: 178841 168697 394 719 0 178120 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 715364
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10993
/proc/meminfo: memFree=28457068/32950904 swapFree=67111528/67111528
[pid=10926] ppid=10924 vsize=742184 CPUtime=1302.31
/proc/10926/stat : 10926 (pbscip.linux.x8) R 10924 10926 9818 0 -1 4202496 177506 0 0 0 128868 1363 0 0 25 0 1 0 130661807 759996416 175715 4089446400 4194304 7136930 140735385663680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10926/statm: 185546 175715 394 719 0 184825 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 742184
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10995
/proc/meminfo: memFree=28322212/32950904 swapFree=67111528/67111528
[pid=10926] ppid=10924 vsize=770648 CPUtime=1362.31
/proc/10926/stat : 10926 (pbscip.linux.x8) R 10924 10926 9818 0 -1 4202496 184938 0 0 0 134802 1429 0 0 25 0 1 0 130661807 789143552 183147 4089446400 4194304 7136930 140735385663680 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10926/statm: 192662 183147 394 719 0 191941 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 770648
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10996
/proc/meminfo: memFree=28171320/32950904 swapFree=67111528/67111528
[pid=10926] ppid=10924 vsize=799708 CPUtime=1422.32
/proc/10926/stat : 10926 (pbscip.linux.x8) R 10924 10926 9818 0 -1 4202496 192547 0 0 0 140744 1488 0 0 25 0 1 0 130661807 818900992 190756 4089446400 4194304 7136930 140735385663680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10926/statm: 199927 190756 394 719 0 199206 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 799708
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10997
/proc/meminfo: memFree=28029144/32950904 swapFree=67111528/67111528
[pid=10926] ppid=10924 vsize=829696 CPUtime=1482.31
/proc/10926/stat : 10926 (pbscip.linux.x8) R 10924 10926 9818 0 -1 4202496 200361 0 0 0 146681 1550 0 0 25 0 1 0 130661807 849608704 198570 4089446400 4194304 7136930 140735385663680 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10926/statm: 207424 198570 394 719 0 206703 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 829696
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10999
/proc/meminfo: memFree=27891404/32950904 swapFree=67111528/67111528
[pid=10926] ppid=10924 vsize=857988 CPUtime=1542.31
/proc/10926/stat : 10926 (pbscip.linux.x8) R 10924 10926 9818 0 -1 4202496 207821 0 0 0 152617 1614 0 0 25 0 1 0 130661807 878579712 206030 4089446400 4194304 7136930 140735385663680 18446744073709551615 4407949 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10926/statm: 214497 206030 394 719 0 213776 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 857988
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11001
/proc/meminfo: memFree=27759004/32950904 swapFree=67111528/67111528
[pid=10926] ppid=10924 vsize=886980 CPUtime=1602.32
/proc/10926/stat : 10926 (pbscip.linux.x8) R 10924 10926 9818 0 -1 4202496 215405 0 0 0 158550 1682 0 0 25 0 1 0 130661807 908267520 213614 4089446400 4194304 7136930 140735385663680 18446744073709551615 5909095 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10926/statm: 221745 213614 394 719 0 221024 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 886980
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11003
/proc/meminfo: memFree=27632932/32950904 swapFree=67111528/67111528
[pid=10926] ppid=10924 vsize=915936 CPUtime=1662.31
/proc/10926/stat : 10926 (pbscip.linux.x8) R 10924 10926 9818 0 -1 4202496 222966 0 0 0 164486 1745 0 0 25 0 1 0 130661807 937918464 221175 4089446400 4194304 7136930 140735385663680 18446744073709551615 4642122 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10926/statm: 228984 221175 394 719 0 228263 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 915936
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11004
/proc/meminfo: memFree=27503404/32950904 swapFree=67111528/67111528
[pid=10926] ppid=10924 vsize=943388 CPUtime=1722.31
/proc/10926/stat : 10926 (pbscip.linux.x8) R 10924 10926 9818 0 -1 4202496 230206 0 0 0 170421 1810 0 0 25 0 1 0 130661807 966029312 228415 4089446400 4194304 7136930 140735385663680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10926/statm: 235847 228415 394 719 0 235126 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 943388
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11005
/proc/meminfo: memFree=27367424/32950904 swapFree=67111528/67111528
[pid=10926] ppid=10924 vsize=972336 CPUtime=1782.32
/proc/10926/stat : 10926 (pbscip.linux.x8) R 10924 10926 9818 0 -1 4202496 237808 0 0 0 176353 1879 0 0 25 0 1 0 130661807 995672064 236017 4089446400 4194304 7136930 140735385663680 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10926/statm: 243084 236017 394 719 0 242363 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 972336
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11006
/proc/meminfo: memFree=27322500/32950904 swapFree=67111528/67111528
[pid=10926] ppid=10924 vsize=980028 CPUtime=1800.03
/proc/10926/stat : 10926 (pbscip.linux.x8) R 10924 10926 9818 0 -1 4202496 239804 0 0 0 178106 1897 0 0 25 0 1 0 130661807 1003548672 238013 4089446400 4194304 7136930 140735385663680 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10926/statm: 245007 238013 394 719 0 244286 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 980028
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -10926
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 11007
/proc/meminfo: memFree=27321128/32950904 swapFree=67111528/67111528
[pid=10926] ppid=10924 vsize=968332 CPUtime=1801.42
/proc/10926/stat : 10926 (pbscip.linux.x8) R 10924 10926 9818 0 -1 4202496 239943 0 0 0 178245 1897 0 0 25 0 1 0 130661807 991571968 235109 4089446400 4194304 7136930 140735385663680 18446744073709551615 6165617 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/10926/statm: 242083 235109 399 719 0 241362 0
Current children cumulated CPU time (s) 1801.42
Current children cumulated vsize (KiB) 968332
[startup+1801.81 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 11007
/proc/meminfo: memFree=27363412/32950904 swapFree=67111528/67111528
[pid=10926] ppid=10924 vsize=922484 CPUtime=1801.82
/proc/10926/stat : 10926 (pbscip.linux.x8) R 10924 10926 9818 0 -1 4202496 239945 0 0 0 178285 1897 0 0 25 0 1 0 130661807 944623616 223647 4089446400 4194304 7136930 140735385663680 18446744073709551615 6165693 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/10926/statm: 230621 223647 399 719 0 229900 0
Current children cumulated CPU time (s) 1801.82
Current children cumulated vsize (KiB) 922484
[startup+1802 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 11007
/proc/meminfo: memFree=27363412/32950904 swapFree=67111528/67111528
[pid=10926] ppid=10924 vsize=893076 CPUtime=1802.02
/proc/10926/stat : 10926 (pbscip.linux.x8) R 10924 10926 9818 0 -1 4202496 239945 0 0 0 178305 1897 0 0 25 0 1 0 130661807 914509824 216295 4089446400 4194304 7136930 140735385663680 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/10926/statm: 223269 216295 399 719 0 222548 0
Current children cumulated CPU time (s) 1802.02
Current children cumulated vsize (KiB) 893076
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.04
CPU time (s): 1802.06
CPU user time (s): 1783.06
CPU system time (s): 19.0031
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 980336
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1783.06
system time used= 19.0031
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 239945
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= 1
involuntary context switches= 1794
runsolver used 2.52362 second user time and 5.69913 second system time
The end
Begin job on node121 at 2010-06-30 12:27:31
IDJOB=2693808
IDBENCH=78730
IDSOLVER=1206
FILE ID=node121/2693808-1277893651
PBS_JOBID= 11197111
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-91-90--soft-66-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2693808-1277893651/watcher-2693808-1277893651 -o /tmp/evaluation-result-2693808-1277893651/solver-2693808-1277893651 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693808-1277893651.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= cbd603b41e8425572ef374dcdfc00979
RANDOM SEED=1552739490
node121.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.876
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.876
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5226.23
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.876
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.876
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.876
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.876
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.876
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.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.876
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950904 kB
MemFree: 29883944 kB
Buffers: 175168 kB
Cached: 1096892 kB
SwapCached: 0 kB
Active: 2142912 kB
Inactive: 776464 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950904 kB
LowFree: 29883944 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 3336 kB
Writeback: 0 kB
AnonPages: 1647116 kB
Mapped: 14928 kB
Slab: 80676 kB
PageTables: 7976 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586980 kB
Committed_AS: 1792056 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 node121 at 2010-06-30 12:57:33