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-2693916-1277897178.wbo>
0.00/0.00 c original problem has 221 variables (195 bin, 0 int, 0 impl, 26 cont) and 128 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.00/0.00 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.00 c presolving:
0.00/0.00 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 34 impls, 49 clqs
0.00/0.01 c (round 2) 0 del vars, 17 del conss, 0 chg bounds, 2 chg sides, 0 chg coeffs, 0 upgd conss, 34 impls, 49 clqs
0.00/0.01 c (round 3) 2 del vars, 19 del conss, 24 chg bounds, 2 chg sides, 0 chg coeffs, 0 upgd conss, 34 impls, 49 clqs
0.00/0.01 c (round 4) 4 del vars, 19 del conss, 24 chg bounds, 2 chg sides, 0 chg coeffs, 61 upgd conss, 34 impls, 49 clqs
0.00/0.02 c (0.0s) probing: 101/193 (52.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.02 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.02 c presolving (5 rounds):
0.00/0.02 c 4 deleted vars, 19 deleted constraints, 24 tightened bounds, 0 added holes, 2 changed sides, 0 changed coefficients
0.00/0.02 c 34 implications, 49 cliques
0.00/0.02 c presolved problem has 217 variables (193 bin, 0 int, 0 impl, 24 cont) and 109 constraints
0.00/0.02 c 24 constraints of type <indicator>
0.00/0.02 c 1 constraints of type <knapsack>
0.00/0.02 c 49 constraints of type <setppc>
0.00/0.02 c 24 constraints of type <linear>
0.00/0.02 c 11 constraints of type <logicor>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.01
0.00/0.02 c - non default parameters ----------------------------------------------------------------------
0.00/0.02 c # SCIP version 1.2.1.2
0.00/0.02 c
0.00/0.02 c # frequency for displaying node information lines
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02 c display/freq = 10000
0.00/0.02 c
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/time = 1800
0.00/0.02 c
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/memory = 3420
0.00/0.02 c
0.00/0.02 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.02 c lp/solvefreq = -1
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify inequalities
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/linear/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify knapsacks
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c separating/rapidlearning/freq = 0
0.00/0.02 c
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving
0.00/0.02 c
0.00/0.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.02 c 0.0s| 1 | 2 | 0 | - | 851k| 0 | - | 217 | 109 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.19/1.23 c 1.0s| 10000 | 7234 | 0 | 0.0 |6023k| 140 | - | 217 |3009 | 0 | 0 | 0 |5262 | 0 | 0.000000e+00 | -- | Inf
3.19/3.23 c 2.6s| 20000 | 12836 | 0 | 0.0 | 10M| 140 | - | 217 |3562 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
5.59/5.63 c 4.7s| 30000 | 17830 | 0 | 0.0 | 15M| 140 | - | 217 |7141 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
8.99/9.08 c 7.8s| 40000 | 21188 | 0 | 0.0 | 20M| 140 | - | 217 |9798 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
13.10/13.13 c 11.6s| 50000 | 23685 | 0 | 0.0 | 25M| 140 | - | 217 | 14k| 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
17.99/18.09 c 16.2s| 60000 | 25595 | 0 | 0.0 | 29M| 140 | - | 217 | 16k| 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
19.80/19.83 c 17.6s| 70000 | 33379 | 0 | 0.0 | 30M| 140 | - | 217 |5593 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
23.49/23.56 c 21.0s| 80000 | 35786 | 0 | 0.0 | 34M| 140 | - | 217 |8166 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
29.09/29.15 c 26.2s| 90000 | 36025 | 0 | 0.0 | 37M| 140 | - | 217 | 12k| 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
36.59/36.61 c 33.3s|100000 | 35022 | 0 | 0.0 | 41M| 140 | - | 217 | 17k| 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
45.40/45.49 c 41.7s|110000 | 33390 | 0 | 0.0 | 43M| 140 | - | 217 | 23k| 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
56.10/56.17 c 51.9s|120000 | 30725 | 0 | 0.0 | 45M| 140 | - | 217 | 31k| 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
63.39/63.47 c 58.9s|130000 | 34588 | 0 | 0.0 | 41M| 140 | - | 217 |9664 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | -- | Inf
65.80/65.84 c 60.9s|140000 | 40823 | 0 | 0.0 | 44M| 140 | - | 217 |6112 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | -- | Inf
68.29/68.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
68.29/68.31 c 63.1s|150000 | 46451 | 0 | 0.0 | 48M| 140 | - | 217 |6923 | 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | -- | Inf
71.09/71.16 c 65.6s|160000 | 51346 | 0 | 0.0 | 52M| 140 | - | 217 |7515 | 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | -- | Inf
74.19/74.23 c 68.3s|170000 | 55765 | 0 | 0.0 | 56M| 140 | - | 217 |8536 | 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | -- | Inf
78.19/78.24 c 71.9s|180000 | 58435 | 0 | 0.0 | 59M| 140 | - | 217 | 10k| 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | -- | Inf
87.89/87.92 c 81.2s|190000 | 53867 | 0 | 0.0 | 58M| 140 | - | 217 | 16k| 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | -- | Inf
100.90/100.99 c 93.8s|200000 | 47119 | 0 | 0.0 | 50M| 140 | - | 217 | 25k| 0 | 0 | 0 | 210k| 0 | 0.000000e+00 | -- | Inf
105.99/106.02 c 98.5s|210000 | 52389 | 0 | 0.0 | 49M| 140 | - | 217 |9753 | 0 | 0 | 0 | 215k| 0 | 0.000000e+00 | -- | Inf
109.50/109.54 c 102s|220000 | 56978 | 0 | 0.0 | 52M| 140 | - | 217 |8403 | 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | -- | Inf
113.09/113.19 c 105s|230000 | 61033 | 0 | 0.0 | 55M| 140 | - | 217 |8847 | 0 | 0 | 0 | 227k| 0 | 0.000000e+00 | -- | Inf
117.00/117.02 c 108s|240000 | 64776 | 0 | 0.0 | 58M| 140 | - | 217 |9559 | 0 | 0 | 0 | 233k| 0 | 0.000000e+00 | -- | Inf
121.19/121.28 c 112s|250000 | 67879 | 0 | 0.0 | 61M| 140 | - | 217 |9813 | 0 | 0 | 0 | 240k| 0 | 0.000000e+00 | -- | Inf
125.90/125.90 c 117s|260000 | 70260 | 0 | 0.0 | 64M| 140 | - | 217 | 10k| 0 | 0 | 0 | 247k| 0 | 0.000000e+00 | -- | Inf
130.80/130.81 c 121s|270000 | 72155 | 0 | 0.0 | 66M| 140 | - | 217 | 11k| 0 | 0 | 0 | 254k| 0 | 0.000000e+00 | -- | Inf
135.99/136.04 c 126s|280000 | 73634 | 0 | 0.0 | 68M| 140 | - | 217 | 12k| 0 | 0 | 0 | 262k| 0 | 0.000000e+00 | -- | Inf
142.20/142.27 c 132s|290000 | 73696 | 0 | 0.0 | 69M| 140 | - | 217 | 14k| 0 | 0 | 0 | 271k| 0 | 0.000000e+00 | -- | Inf
150.29/150.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
150.29/150.30 c 139s|300000 | 72186 | 0 | 0.0 | 66M| 140 | - | 217 | 16k| 0 | 0 | 0 | 283k| 0 | 1.000000e+00 | -- | Inf
157.20/157.27 c 146s|310000 | 73360 | 0 | 0.0 | 68M| 140 | - | 217 | 12k| 0 | 0 | 0 | 292k| 0 | 1.000000e+00 | -- | Inf
163.60/163.65 c 152s|320000 | 74556 | 0 | 0.0 | 70M| 140 | - | 217 | 13k| 0 | 0 | 0 | 301k| 0 | 1.000000e+00 | -- | Inf
170.00/170.07 c 158s|330000 | 76071 | 0 | 0.0 | 73M| 140 | - | 217 | 14k| 0 | 0 | 0 | 310k| 0 | 1.000000e+00 | -- | Inf
176.60/176.68 c 164s|340000 | 77621 | 0 | 0.0 | 75M| 140 | - | 217 | 15k| 0 | 0 | 0 | 318k| 0 | 1.000000e+00 | -- | Inf
183.50/183.52 c 170s|350000 | 79063 | 0 | 0.0 | 77M| 140 | - | 217 | 16k| 0 | 0 | 0 | 326k| 0 | 1.000000e+00 | -- | Inf
190.70/190.78 c 177s|360000 | 79937 | 0 | 0.0 | 79M| 140 | - | 217 | 17k| 0 | 0 | 0 | 335k| 0 | 1.000000e+00 | -- | Inf
198.10/198.17 c 184s|370000 | 80500 | 0 | 0.0 | 81M| 140 | - | 217 | 17k| 0 | 0 | 0 | 343k| 0 | 1.000000e+00 | -- | Inf
205.89/205.95 c 192s|380000 | 80374 | 0 | 0.0 | 82M| 140 | - | 217 | 19k| 0 | 0 | 0 | 352k| 0 | 1.000000e+00 | -- | Inf
215.00/215.06 c 200s|390000 | 78633 | 0 | 0.0 | 83M| 140 | - | 217 | 21k| 0 | 0 | 0 | 362k| 0 | 1.000000e+00 | -- | Inf
226.00/226.05 c 211s|400000 | 74881 | 0 | 0.0 | 82M| 140 | - | 217 | 25k| 0 | 0 | 0 | 373k| 0 | 1.000000e+00 | -- | Inf
239.40/239.46 c 224s|410000 | 72982 | 0 | 0.0 | 81M| 140 | - | 217 | 22k| 0 | 0 | 0 | 385k| 0 | 1.000000e+00 | -- | Inf
253.50/253.53 c 237s|420000 | 69947 | 0 | 0.0 | 80M| 140 | - | 217 | 23k| 0 | 0 | 0 | 397k| 0 | 1.000000e+00 | -- | Inf
268.90/268.90 c 252s|430000 | 65704 | 0 | 0.0 | 78M| 140 | - | 217 | 26k| 0 | 0 | 0 | 409k| 0 | 1.000000e+00 | -- | Inf
287.90/287.98 c 271s|440000 | 57622 | 0 | 0.0 | 72M| 140 | - | 217 | 30k| 0 | 0 | 0 | 423k| 0 | 1.000000e+00 | -- | Inf
301.60/301.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
301.60/301.63 c 284s|450000 | 57219 | 0 | 0.0 | 63M| 140 | - | 217 | 12k| 0 | 0 | 0 | 432k| 0 | 1.700000e+01 | -- | Inf
304.90/304.98 c 287s|460000 | 62913 | 0 | 0.0 | 66M| 140 | - | 217 | 10k| 0 | 0 | 0 | 437k| 0 | 1.700000e+01 | -- | Inf
307.81/307.85 c 289s|470000 | 68215 | 0 | 0.0 | 68M| 140 | - | 217 |6077 | 0 | 0 | 0 | 442k| 0 | 1.700000e+01 | -- | Inf
310.00/310.07 c 291s|480000 | 75041 | 0 | 0.0 | 72M| 140 | - | 217 |7904 | 0 | 0 | 0 | 447k| 0 | 1.700000e+01 | -- | Inf
313.31/313.39 c 294s|490000 | 80476 | 0 | 0.0 | 77M| 140 | - | 217 | 10k| 0 | 0 | 0 | 453k| 0 | 1.700000e+01 | -- | Inf
317.60/317.60 c 298s|500000 | 85148 | 0 | 0.0 | 82M| 140 | - | 217 | 13k| 0 | 0 | 0 | 461k| 0 | 1.700000e+01 | -- | Inf
323.00/323.06 c 303s|510000 | 88554 | 0 | 0.0 | 86M| 140 | - | 217 | 16k| 0 | 0 | 0 | 469k| 0 | 1.700000e+01 | -- | Inf
329.91/329.99 c 310s|520000 | 90673 | 0 | 0.0 | 85M| 140 | - | 217 |7008 | 0 | 0 | 0 | 478k| 0 | 1.700000e+01 | -- | Inf
332.51/332.55 c 312s|530000 | 96086 | 0 | 0.0 | 89M| 140 | - | 217 |5216 | 0 | 0 | 0 | 482k| 0 | 1.700000e+01 | -- | Inf
335.51/335.55 c 315s|540000 |100539 | 0 | 0.0 | 92M| 140 | - | 217 |7111 | 0 | 0 | 0 | 490k| 0 | 1.700000e+01 | -- | Inf
339.00/339.02 c 318s|550000 |105273 | 0 | 0.0 | 97M| 140 | - | 217 | 11k| 0 | 0 | 0 | 498k| 0 | 1.700000e+01 | -- | Inf
343.50/343.52 c 322s|560000 |109511 | 0 | 0.0 | 102M| 140 | - | 217 | 14k| 0 | 0 | 0 | 506k| 0 | 1.700000e+01 | -- | Inf
349.30/349.38 c 328s|570000 |112825 | 0 | 0.0 | 106M| 140 | - | 217 | 16k| 0 | 0 | 0 | 515k| 0 | 1.700000e+01 | -- | Inf
357.01/357.00 c 335s|580000 |114608 | 0 | 0.0 | 110M| 140 | - | 217 | 18k| 0 | 0 | 0 | 526k| 0 | 1.700000e+01 | -- | Inf
366.21/366.24 c 344s|590000 |115156 | 0 | 0.0 | 113M| 140 | - | 217 | 21k| 0 | 0 | 0 | 539k| 0 | 1.700000e+01 | -- | Inf
377.41/377.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
377.41/377.41 c 354s|600000 |114284 | 0 | 0.0 | 116M| 140 | - | 217 | 24k| 0 | 0 | 0 | 552k| 0 | 1.700000e+01 | -- | Inf
391.00/391.04 c 368s|610000 |112029 | 0 | 0.0 | 118M| 140 | - | 217 | 27k| 0 | 0 | 0 | 567k| 0 | 1.700000e+01 | -- | Inf
408.21/408.24 c 384s|620000 |108142 | 0 | 0.0 | 115M| 140 | - | 217 | 25k| 0 | 0 | 0 | 582k| 0 | 1.700000e+01 | -- | Inf
412.80/412.80 c 389s|630000 |113965 | 0 | 0.0 | 113M| 140 | - | 217 |7488 | 0 | 0 | 0 | 587k| 0 | 1.700000e+01 | -- | Inf
416.01/416.06 c 392s|640000 |118831 | 0 | 0.0 | 117M| 140 | - | 217 |7252 | 0 | 0 | 0 | 592k| 0 | 1.700000e+01 | -- | Inf
419.71/419.73 c 395s|650000 |122812 | 0 | 0.0 | 121M| 140 | - | 217 |8821 | 0 | 0 | 0 | 599k| 0 | 1.700000e+01 | -- | Inf
425.01/425.08 c 400s|660000 |123934 | 0 | 0.0 | 124M| 140 | - | 217 | 12k| 0 | 0 | 0 | 608k| 0 | 1.700000e+01 | -- | Inf
428.00/428.07 c 402s|670000 |129577 | 0 | 0.0 | 126M| 140 | - | 217 |5154 | 0 | 0 | 0 | 612k| 0 | 1.700000e+01 | -- | Inf
433.71/433.70 c 408s|680000 |130305 | 0 | 0.0 | 131M| 140 | - | 217 | 13k| 0 | 0 | 0 | 625k| 0 | 1.700000e+01 | -- | Inf
442.51/442.57 c 416s|690000 |130106 | 0 | 0.0 | 135M| 140 | - | 217 | 19k| 0 | 0 | 0 | 639k| 0 | 1.700000e+01 | -- | Inf
455.51/455.54 c 429s|700000 |128640 | 0 | 0.0 | 138M| 140 | - | 217 | 24k| 0 | 0 | 0 | 654k| 0 | 1.700000e+01 | -- | Inf
472.50/472.58 c 445s|710000 |125603 | 0 | 0.0 | 138M| 140 | - | 217 | 29k| 0 | 0 | 0 | 670k| 0 | 1.700000e+01 | -- | Inf
493.61/493.64 c 466s|720000 |120191 | 0 | 0.0 | 136M| 140 | - | 217 | 33k| 0 | 0 | 0 | 688k| 0 | 1.700000e+01 | -- | Inf
517.41/517.49 c 489s|730000 |113846 | 0 | 0.0 | 125M| 140 | - | 217 | 27k| 0 | 0 | 0 | 705k| 0 | 1.700000e+01 | -- | Inf
525.11/525.19 c 497s|740000 |117182 | 0 | 0.0 | 125M| 140 | - | 217 | 13k| 0 | 0 | 0 | 713k| 0 | 1.700000e+01 | -- | Inf
531.32/531.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
531.32/531.35 c 502s|750000 |119845 | 0 | 0.0 | 128M| 140 | - | 217 | 14k| 0 | 0 | 0 | 721k| 0 | 1.700000e+01 | -- | Inf
538.31/538.39 c 509s|760000 |121503 | 0 | 0.0 | 130M| 140 | - | 217 | 15k| 0 | 0 | 0 | 731k| 0 | 1.700000e+01 | -- | Inf
546.81/546.88 c 517s|770000 |121908 | 0 | 0.0 | 133M| 140 | - | 217 | 17k| 0 | 0 | 0 | 741k| 0 | 1.700000e+01 | -- | Inf
557.21/557.28 c 527s|780000 |120582 | 0 | 0.0 | 134M| 140 | - | 217 | 21k| 0 | 0 | 0 | 752k| 0 | 1.700000e+01 | -- | Inf
567.41/567.49 c 537s|790000 |121374 | 0 | 0.0 | 133M| 140 | - | 217 | 14k| 0 | 0 | 0 | 762k| 0 | 1.700000e+01 | -- | Inf
571.12/571.11 c 540s|800000 |127232 | 0 | 0.0 | 135M| 140 | - | 217 |7763 | 0 | 0 | 0 | 767k| 0 | 1.700000e+01 | -- | Inf
575.11/575.16 c 544s|810000 |130938 | 0 | 0.0 | 139M| 140 | - | 217 |8334 | 0 | 0 | 0 | 773k| 0 | 1.700000e+01 | -- | Inf
582.31/582.33 c 551s|820000 |129785 | 0 | 0.0 | 141M| 140 | - | 217 | 13k| 0 | 0 | 0 | 785k| 0 | 1.700000e+01 | -- | Inf
599.92/599.95 c 568s|830000 |120691 | 0 | 0.0 | 131M| 140 | - | 217 | 22k| 0 | 0 | 0 | 806k| 0 | 1.700000e+01 | -- | Inf
610.92/610.95 c 578s|840000 |120133 | 0 | 0.0 | 129M| 140 | - | 217 | 17k| 0 | 0 | 0 | 818k| 0 | 1.700000e+01 | -- | Inf
621.81/621.85 c 589s|850000 |118794 | 0 | 0.0 | 129M| 140 | - | 217 | 20k| 0 | 0 | 0 | 830k| 0 | 1.700000e+01 | -- | Inf
636.32/636.34 c 603s|860000 |115349 | 0 | 0.0 | 129M| 140 | - | 217 | 26k| 0 | 0 | 0 | 844k| 0 | 1.800000e+01 | -- | Inf
651.82/651.80 c 618s|870000 |112829 | 0 | 0.0 | 126M| 140 | - | 217 | 25k| 0 | 0 | 0 | 857k| 0 | 1.800000e+01 | -- | Inf
659.61/659.64 c 625s|880000 |116800 | 0 | 0.0 | 127M| 140 | - | 217 | 13k| 0 | 0 | 0 | 864k| 0 | 1.800000e+01 | -- | Inf
665.91/665.98 c 631s|890000 |119504 | 0 | 0.0 | 130M| 140 | - | 217 | 12k| 0 | 0 | 0 | 872k| 0 | 1.800000e+01 | -- | Inf
672.92/672.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
672.92/672.98 c 638s|900000 |120898 | 0 | 0.0 | 133M| 140 | - | 217 | 14k| 0 | 0 | 0 | 881k| 0 | 1.800000e+01 | -- | Inf
681.52/681.57 c 646s|910000 |120494 | 0 | 0.0 | 135M| 140 | - | 217 | 16k| 0 | 0 | 0 | 892k| 0 | 1.800000e+01 | -- | Inf
693.32/693.34 c 657s|920000 |116623 | 0 | 0.0 | 134M| 140 | - | 217 | 20k| 0 | 0 | 0 | 906k| 0 | 1.800000e+01 | -- | Inf
708.32/708.34 c 672s|930000 |113009 | 0 | 0.0 | 130M| 140 | - | 217 | 22k| 0 | 0 | 0 | 920k| 0 | 1.800000e+01 | -- | Inf
721.32/721.37 c 684s|940000 |111935 | 0 | 0.0 | 130M| 140 | - | 217 | 20k| 0 | 0 | 0 | 933k| 0 | 1.800000e+01 | -- | Inf
736.02/736.06 c 699s|950000 |108869 | 0 | 0.0 | 129M| 140 | - | 217 | 24k| 0 | 0 | 0 | 946k| 0 | 1.900000e+01 | -- | Inf
754.22/754.21 c 716s|960000 |103711 | 0 | 0.0 | 127M| 140 | - | 217 | 27k| 0 | 0 | 0 | 962k| 0 | 1.900000e+01 | -- | Inf
778.32/778.38 c 740s|970000 | 95747 | 0 | 0.0 | 121M| 140 | - | 217 | 32k| 0 | 0 | 0 | 980k| 0 | 1.900000e+01 | -- | Inf
787.02/787.01 c 748s|980000 | 99581 | 0 | 0.0 | 113M| 140 | - | 217 |9680 | 0 | 0 | 0 | 986k| 0 | 2.400000e+01 | -- | Inf
790.02/790.06 c 751s|990000 |105004 | 0 | 0.0 | 115M| 140 | - | 217 |4165 | 0 | 0 | 0 | 990k| 0 | 2.400000e+01 | -- | Inf
793.82/793.80 c 754s| 1000k|107737 | 0 | 0.0 | 118M| 140 | - | 217 |5632 | 0 | 0 | 0 | 997k| 0 | 2.400000e+01 | -- | Inf
799.63/799.67 c 760s| 1010k|106728 | 0 | 0.0 | 118M| 140 | - | 217 |8462 | 0 | 0 | 0 |1005k| 0 | 2.400000e+01 | -- | Inf
802.42/802.40 c 762s| 1020k|112682 | 0 | 0.0 | 119M| 140 | - | 217 |4613 | 0 | 0 | 0 |1008k| 0 | 2.400000e+01 | -- | Inf
803.92/803.98 c 763s| 1030k|120315 | 0 | 0.0 | 123M| 140 | - | 217 |4362 | 0 | 0 | 0 |1011k| 0 | 2.400000e+01 | -- | Inf
805.92/805.93 c 765s| 1040k|127065 | 0 | 0.0 | 127M| 140 | - | 217 |4724 | 0 | 0 | 0 |1014k| 0 | 2.400000e+01 | -- | Inf
808.43/808.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
808.43/808.46 c 767s| 1050k|132657 | 0 | 0.0 | 131M| 140 | - | 217 |5790 | 0 | 0 | 0 |1018k| 0 | 2.400000e+01 | -- | Inf
812.32/812.37 c 771s| 1060k|135674 | 0 | 0.0 | 135M| 140 | - | 217 |7125 | 0 | 0 | 0 |1024k| 0 | 2.400000e+01 | -- | Inf
817.33/817.33 c 775s| 1070k|136783 | 0 | 0.0 | 137M| 140 | - | 217 |3441 | 0 | 0 | 0 |1031k| 0 | 2.400000e+01 | -- | Inf
821.42/821.48 c 779s| 1080k|138327 | 0 | 0.0 | 139M| 140 | - | 217 |5076 | 0 | 0 | 0 |1039k| 0 | 2.400000e+01 | -- | Inf
825.32/825.31 c 783s| 1090k|140703 | 0 | 0.0 | 140M| 140 | - | 217 |3594 | 0 | 0 | 0 |1045k| 0 | 2.400000e+01 | -- | Inf
826.82/826.82 c 784s| 1100k|148251 | 0 | 0.0 | 144M| 140 | - | 217 |3201 | 0 | 0 | 0 |1048k| 0 | 2.400000e+01 | -- | Inf
828.73/828.74 c 785s| 1110k|154821 | 0 | 0.0 | 148M| 140 | - | 217 |4115 | 0 | 0 | 0 |1051k| 0 | 2.400000e+01 | -- | Inf
830.93/830.95 c 787s| 1120k|160979 | 0 | 0.0 | 151M| 140 | - | 217 |5186 | 0 | 0 | 0 |1054k| 0 | 2.400000e+01 | -- | Inf
833.73/833.80 c 790s| 1130k|166155 | 0 | 0.0 | 155M| 140 | - | 217 |5969 | 0 | 0 | 0 |1059k| 0 | 2.400000e+01 | -- | Inf
836.62/836.66 c 792s| 1140k|171388 | 0 | 0.0 | 159M| 140 | - | 217 |6918 | 0 | 0 | 0 |1063k| 0 | 2.400000e+01 | -- | Inf
840.43/840.45 c 796s| 1150k|175232 | 0 | 0.0 | 163M| 140 | - | 217 |7621 | 0 | 0 | 0 |1069k| 0 | 2.400000e+01 | -- | Inf
844.83/844.81 c 800s| 1160k|178192 | 0 | 0.0 | 166M| 140 | - | 217 |7990 | 0 | 0 | 0 |1075k| 0 | 2.400000e+01 | -- | Inf
849.52/849.53 c 804s| 1170k|180530 | 0 | 0.0 | 170M| 140 | - | 217 |8326 | 0 | 0 | 0 |1082k| 0 | 2.400000e+01 | -- | Inf
855.23/855.21 c 809s| 1180k|181413 | 0 | 0.0 | 172M| 140 | - | 217 |8951 | 0 | 0 | 0 |1090k| 0 | 2.400000e+01 | -- | Inf
861.73/861.77 c 816s| 1190k|180793 | 0 | 0.0 | 175M| 140 | - | 217 |9858 | 0 | 0 | 0 |1099k| 0 | 2.400000e+01 | -- | Inf
870.03/870.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
870.03/870.08 c 823s| 1200k|177873 | 0 | 0.0 | 175M| 140 | - | 217 | 11k| 0 | 0 | 0 |1111k| 0 | 2.400000e+01 | -- | Inf
877.23/877.26 c 830s| 1210k|175581 | 0 | 0.0 | 173M| 140 | - | 217 |6792 | 0 | 0 | 0 |1122k| 0 | 2.400000e+01 | -- | Inf
881.43/881.40 c 834s| 1220k|178229 | 0 | 0.0 | 174M| 140 | - | 217 |6283 | 0 | 0 | 0 |1129k| 0 | 2.400000e+01 | -- | Inf
886.93/886.95 c 839s| 1230k|177600 | 0 | 0.0 | 174M| 140 | - | 217 |6598 | 0 | 0 | 0 |1139k| 0 | 2.400000e+01 | -- | Inf
894.12/894.13 c 846s| 1240k|174110 | 0 | 0.0 | 172M| 140 | - | 217 |8733 | 0 | 0 | 0 |1150k| 0 | 2.400000e+01 | -- | Inf
897.42/897.49 c 849s| 1250k|178820 | 0 | 0.0 | 174M| 140 | - | 217 |5508 | 0 | 0 | 0 |1155k| 0 | 2.400000e+01 | -- | Inf
900.72/900.74 c 852s| 1260k|183224 | 0 | 0.0 | 178M| 140 | - | 217 |5409 | 0 | 0 | 0 |1160k| 0 | 2.400000e+01 | -- | Inf
903.93/903.92 c 855s| 1270k|187756 | 0 | 0.0 | 181M| 140 | - | 217 |5647 | 0 | 0 | 0 |1165k| 0 | 2.400000e+01 | -- | Inf
907.93/907.98 c 858s| 1280k|190875 | 0 | 0.0 | 184M| 140 | - | 217 |6797 | 0 | 0 | 0 |1171k| 0 | 2.400000e+01 | -- | Inf
912.33/912.37 c 862s| 1290k|193696 | 0 | 0.0 | 187M| 140 | - | 217 |7472 | 0 | 0 | 0 |1177k| 0 | 2.400000e+01 | -- | Inf
917.23/917.20 c 867s| 1300k|195986 | 0 | 0.0 | 190M| 140 | - | 217 |8431 | 0 | 0 | 0 |1184k| 0 | 2.400000e+01 | -- | Inf
922.33/922.36 c 872s| 1310k|198040 | 0 | 0.0 | 193M| 140 | - | 217 |9375 | 0 | 0 | 0 |1191k| 0 | 2.400000e+01 | -- | Inf
928.33/928.34 c 877s| 1320k|199081 | 0 | 0.0 | 196M| 140 | - | 217 | 10k| 0 | 0 | 0 |1199k| 0 | 2.400000e+01 | -- | Inf
935.43/935.44 c 884s| 1330k|198810 | 0 | 0.0 | 198M| 140 | - | 217 | 11k| 0 | 0 | 0 |1208k| 0 | 2.400000e+01 | -- | Inf
943.43/943.47 c 891s| 1340k|198035 | 0 | 0.0 | 200M| 140 | - | 217 | 11k| 0 | 0 | 0 |1218k| 0 | 2.400000e+01 | -- | Inf
951.43/951.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
951.43/951.48 c 899s| 1350k|197148 | 0 | 0.0 | 201M| 140 | - | 217 | 12k| 0 | 0 | 0 |1227k| 0 | 2.400000e+01 | -- | Inf
961.03/961.04 c 908s| 1360k|194645 | 0 | 0.0 | 201M| 140 | - | 217 | 13k| 0 | 0 | 0 |1238k| 0 | 2.400000e+01 | -- | Inf
971.63/971.64 c 918s| 1370k|190858 | 0 | 0.0 | 199M| 140 | - | 217 | 13k| 0 | 0 | 0 |1250k| 0 | 2.400000e+01 | -- | Inf
983.93/983.99 c 930s| 1380k|184517 | 0 | 0.0 | 192M| 140 | - | 217 | 12k| 0 | 0 | 0 |1263k| 0 | 2.400000e+01 | -- | Inf
989.33/989.33 c 935s| 1390k|187198 | 0 | 0.0 | 192M| 140 | - | 217 |7293 | 0 | 0 | 0 |1271k| 0 | 2.400000e+01 | -- | Inf
992.83/992.81 c 938s| 1400k|192249 | 0 | 0.0 | 197M| 140 | - | 217 |9719 | 0 | 0 | 0 |1277k| 0 | 2.400000e+01 | -- | Inf
998.73/998.75 c 944s| 1410k|194020 | 0 | 0.0 | 201M| 140 | - | 217 | 12k| 0 | 0 | 0 |1288k| 0 | 2.400000e+01 | -- | Inf
1007.83/1007.81 c 952s| 1420k|189820 | 0 | 0.0 | 196M| 140 | - | 217 |8865 | 0 | 0 | 0 |1300k| 0 | 2.400000e+01 | -- | Inf
1013.53/1013.57 c 958s| 1430k|190883 | 0 | 0.0 | 198M| 140 | - | 217 |7778 | 0 | 0 | 0 |1308k| 0 | 2.400000e+01 | -- | Inf
1020.84/1020.87 c 964s| 1440k|189988 | 0 | 0.0 | 200M| 140 | - | 217 |9448 | 0 | 0 | 0 |1317k| 0 | 2.400000e+01 | -- | Inf
1030.83/1030.90 c 974s| 1450k|186748 | 0 | 0.0 | 200M| 140 | - | 217 | 12k| 0 | 0 | 0 |1328k| 0 | 2.400000e+01 | -- | Inf
1044.23/1044.25 c 987s| 1460k|181379 | 0 | 0.0 | 198M| 140 | - | 217 | 15k| 0 | 0 | 0 |1341k| 0 | 2.400000e+01 | -- | Inf
1062.13/1062.19 c 1004s| 1470k|173012 | 0 | 0.0 | 191M| 140 | - | 217 | 18k| 0 | 0 | 0 |1356k| 0 | 2.400000e+01 | -- | Inf
1074.34/1074.39 c 1016s| 1480k|170348 | 0 | 0.0 | 184M| 140 | - | 217 | 12k| 0 | 0 | 0 |1368k| 0 | 2.400000e+01 | -- | Inf
1080.24/1080.21 c 1021s| 1490k|174046 | 0 | 0.0 | 187M| 140 | - | 217 | 13k| 0 | 0 | 0 |1377k| 0 | 2.400000e+01 | -- | Inf
1087.84/1087.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1087.84/1087.86 c 1029s| 1500k|176044 | 0 | 0.0 | 190M| 140 | - | 217 | 16k| 0 | 0 | 0 |1388k| 0 | 2.400000e+01 | -- | Inf
1097.93/1097.96 c 1038s| 1510k|176397 | 0 | 0.0 | 193M| 140 | - | 217 | 19k| 0 | 0 | 0 |1400k| 0 | 2.400000e+01 | -- | Inf
1110.23/1110.25 c 1050s| 1520k|175056 | 0 | 0.0 | 195M| 140 | - | 217 | 22k| 0 | 0 | 0 |1414k| 0 | 2.400000e+01 | -- | Inf
1123.14/1123.17 c 1063s| 1530k|171114 | 0 | 0.0 | 188M| 140 | - | 217 | 12k| 0 | 0 | 0 |1427k| 0 | 2.400000e+01 | -- | Inf
1136.64/1136.60 c 1076s| 1540k|164370 | 0 | 0.0 | 181M| 140 | - | 217 | 15k| 0 | 0 | 0 |1443k| 0 | 2.600000e+01 | -- | Inf
1151.23/1151.22 c 1090s| 1550k|161880 | 0 | 0.0 | 184M| 140 | - | 217 | 22k| 0 | 0 | 0 |1460k| 0 | 2.600000e+01 | -- | Inf
1169.84/1169.86 c 1108s| 1560k|158642 | 0 | 0.0 | 185M| 140 | - | 217 | 28k| 0 | 0 | 0 |1478k| 0 | 2.600000e+01 | -- | Inf
1193.34/1193.35 c 1131s| 1570k|152894 | 0 | 0.0 | 182M| 140 | - | 217 | 34k| 0 | 0 | 0 |1497k| 0 | 2.600000e+01 | -- | Inf
1203.14/1203.19 c 1141s| 1580k|157267 | 0 | 0.0 | 178M| 140 | - | 217 | 14k| 0 | 0 | 0 |1503k| 0 | 2.600000e+01 | -- | Inf
1207.94/1207.97 c 1145s| 1590k|162108 | 0 | 0.0 | 180M| 140 | - | 217 |9703 | 0 | 0 | 0 |1509k| 0 | 2.600000e+01 | -- | Inf
1213.25/1213.24 c 1150s| 1600k|163151 | 0 | 0.0 | 180M| 140 | - | 217 |7059 | 0 | 0 | 0 |1517k| 0 | 2.600000e+01 | -- | Inf
1223.84/1223.86 c 1160s| 1610k|155994 | 0 | 0.0 | 174M| 140 | - | 217 | 16k| 0 | 0 | 0 |1536k| 0 | 2.600000e+01 | -- | Inf
1232.34/1232.30 c 1168s| 1620k|158062 | 0 | 0.0 | 169M| 140 | - | 217 | 11k| 0 | 0 | 0 |1544k| 0 | 2.600000e+01 | -- | Inf
1235.74/1235.70 c 1171s| 1630k|164235 | 0 | 0.0 | 171M| 140 | - | 217 |8805 | 0 | 0 | 0 |1549k| 0 | 2.600000e+01 | -- | Inf
1239.24/1239.29 c 1174s| 1640k|169491 | 0 | 0.0 | 174M| 140 | - | 217 |9184 | 0 | 0 | 0 |1555k| 0 | 2.900000e+01 | -- | Inf
1243.34/1243.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1243.34/1243.36 c 1178s| 1650k|174178 | 0 | 0.0 | 179M| 140 | - | 217 | 10k| 0 | 0 | 0 |1561k| 0 | 2.900000e+01 | -- | Inf
1248.45/1248.44 c 1183s| 1660k|177667 | 0 | 0.0 | 183M| 140 | - | 217 | 11k| 0 | 0 | 0 |1569k| 0 | 2.900000e+01 | -- | Inf
1254.64/1254.64 c 1189s| 1670k|179723 | 0 | 0.0 | 187M| 140 | - | 217 | 13k| 0 | 0 | 0 |1578k| 0 | 2.900000e+01 | -- | Inf
1262.74/1262.72 c 1196s| 1680k|179319 | 0 | 0.0 | 187M| 140 | - | 217 |7484 | 0 | 0 | 0 |1588k| 0 | 2.900000e+01 | -- | Inf
1266.84/1266.88 c 1200s| 1690k|182306 | 0 | 0.0 | 188M| 140 | - | 217 |5399 | 0 | 0 | 0 |1595k| 0 | 2.900000e+01 | -- | Inf
1270.34/1270.37 c 1203s| 1700k|186207 | 0 | 0.0 | 192M| 140 | - | 217 |6969 | 0 | 0 | 0 |1602k| 0 | 2.900000e+01 | -- | Inf
1274.24/1274.22 c 1207s| 1710k|190848 | 0 | 0.0 | 196M| 140 | - | 217 |9815 | 0 | 0 | 0 |1609k| 0 | 2.900000e+01 | -- | Inf
1279.44/1279.45 c 1211s| 1720k|194531 | 0 | 0.0 | 200M| 140 | - | 217 | 12k| 0 | 0 | 0 |1617k| 0 | 2.900000e+01 | -- | Inf
1286.04/1286.03 c 1218s| 1730k|197280 | 0 | 0.0 | 204M| 140 | - | 217 | 14k| 0 | 0 | 0 |1626k| 0 | 2.900000e+01 | -- | Inf
1293.34/1293.31 c 1225s| 1740k|199781 | 0 | 0.0 | 208M| 140 | - | 217 | 15k| 0 | 0 | 0 |1635k| 0 | 2.900000e+01 | -- | Inf
1301.94/1301.98 c 1233s| 1750k|201091 | 0 | 0.0 | 211M| 140 | - | 217 | 17k| 0 | 0 | 0 |1645k| 0 | 2.900000e+01 | -- | Inf
1311.74/1311.71 c 1242s| 1760k|201808 | 0 | 0.0 | 214M| 140 | - | 217 | 19k| 0 | 0 | 0 |1656k| 0 | 2.900000e+01 | -- | Inf
1321.75/1321.72 c 1252s| 1770k|202502 | 0 | 0.0 | 217M| 140 | - | 217 | 20k| 0 | 0 | 0 |1667k| 0 | 2.900000e+01 | -- | Inf
1332.34/1332.31 c 1262s| 1780k|202449 | 0 | 0.0 | 220M| 140 | - | 217 | 22k| 0 | 0 | 0 |1679k| 0 | 2.900000e+01 | -- | Inf
1344.74/1344.73 c 1274s| 1790k|200791 | 0 | 0.0 | 220M| 140 | - | 217 | 25k| 0 | 0 | 0 |1691k| 0 | 2.900000e+01 | -- | Inf
1354.85/1354.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1354.85/1354.89 c 1284s| 1800k|202437 | 0 | 0.0 | 218M| 140 | - | 217 | 12k| 0 | 0 | 0 |1700k| 0 | 2.900000e+01 | -- | Inf
1359.85/1359.88 c 1288s| 1810k|206295 | 0 | 0.0 | 221M| 140 | - | 217 | 10k| 0 | 0 | 0 |1708k| 0 | 2.900000e+01 | -- | Inf
1365.65/1365.62 c 1294s| 1820k|208655 | 0 | 0.0 | 225M| 140 | - | 217 | 11k| 0 | 0 | 0 |1718k| 0 | 2.900000e+01 | -- | Inf
1372.75/1372.76 c 1300s| 1830k|208768 | 0 | 0.0 | 227M| 140 | - | 217 | 12k| 0 | 0 | 0 |1730k| 0 | 2.900000e+01 | -- | Inf
1380.75/1380.76 c 1308s| 1840k|209836 | 0 | 0.0 | 230M| 140 | - | 217 | 15k| 0 | 0 | 0 |1741k| 0 | 2.900000e+01 | -- | Inf
1392.15/1392.13 c 1319s| 1850k|209203 | 0 | 0.0 | 233M| 140 | - | 217 | 19k| 0 | 0 | 0 |1754k| 0 | 2.900000e+01 | -- | Inf
1407.15/1407.15 c 1333s| 1860k|207342 | 0 | 0.0 | 235M| 140 | - | 217 | 24k| 0 | 0 | 0 |1768k| 0 | 2.900000e+01 | -- | Inf
1426.15/1426.16 c 1352s| 1870k|204140 | 0 | 0.0 | 236M| 140 | - | 217 | 28k| 0 | 0 | 0 |1783k| 0 | 2.900000e+01 | -- | Inf
1448.45/1448.49 c 1374s| 1880k|199721 | 0 | 0.0 | 235M| 140 | - | 217 | 32k| 0 | 0 | 0 |1799k| 0 | 2.900000e+01 | -- | Inf
1471.05/1471.08 c 1396s| 1890k|195224 | 0 | 0.0 | 232M| 140 | - | 217 | 35k| 0 | 0 | 0 |1815k| 0 | 2.900000e+01 | -- | Inf
1493.75/1493.78 c 1418s| 1900k|191006 | 0 | 0.0 | 227M| 140 | - | 217 | 35k| 0 | 0 | 0 |1830k| 0 | 2.900000e+01 | -- | Inf
1508.16/1508.14 c 1432s| 1910k|192292 | 0 | 0.0 | 225M| 140 | - | 217 | 20k| 0 | 0 | 0 |1843k| 0 | 2.900000e+01 | -- | Inf
1520.26/1520.23 c 1444s| 1920k|191698 | 0 | 0.0 | 227M| 140 | - | 217 | 19k| 0 | 0 | 0 |1857k| 0 | 2.900000e+01 | -- | Inf
1532.85/1532.89 c 1456s| 1930k|190451 | 0 | 0.0 | 229M| 140 | - | 217 | 22k| 0 | 0 | 0 |1872k| 0 | 2.900000e+01 | -- | Inf
1548.66/1548.63 c 1471s| 1940k|186501 | 0 | 0.0 | 226M| 140 | - | 217 | 24k| 0 | 0 | 0 |1887k| 0 | 2.900000e+01 | -- | Inf
1569.25/1569.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1569.25/1569.28 c 1491s| 1950k|181313 | 0 | 0.0 | 223M| 140 | - | 217 | 26k| 0 | 0 | 0 |1905k| 0 | 2.900000e+01 | -- | Inf
1598.15/1598.16 c 1520s| 1960k|171850 | 0 | 0.0 | 211M| 140 | - | 217 | 35k| 0 | 0 | 0 |1925k| 0 | 2.900000e+01 | -- | Inf
1626.46/1626.41 c 1547s| 1970k|166422 | 0 | 0.0 | 205M| 140 | - | 217 | 28k| 0 | 0 | 0 |1945k| 0 | 2.900000e+01 | -- | Inf
1652.26/1652.20 c 1573s| 1980k|159381 | 0 | 0.0 | 200M| 140 | - | 217 | 33k| 0 | 0 | 0 |1966k| 0 | 2.900000e+01 | -- | Inf
1671.16/1671.18 c 1591s| 1990k|154704 | 0 | 0.0 | 181M| 140 | - | 217 | 20k| 0 | 0 | 0 |1980k| 0 | 3.000000e+01 | -- | Inf
1673.85/1673.80 c 1594s| 2000k|162300 | 0 | 0.0 | 181M| 140 | - | 217 |6345 | 0 | 0 | 0 |1983k| 0 | 3.400000e+01 | -- | Inf
1677.06/1677.06 c 1597s| 2010k|167080 | 0 | 0.0 | 184M| 140 | - | 217 |4915 | 0 | 0 | 0 |1988k| 0 | 3.400000e+01 | -- | Inf
1680.45/1680.43 c 1600s| 2020k|170678 | 0 | 0.0 | 186M| 140 | - | 217 |5120 | 0 | 0 | 0 |1995k| 0 | 3.400000e+01 | -- | Inf
1684.16/1684.11 c 1603s| 2030k|173962 | 0 | 0.0 | 188M| 140 | - | 217 |5133 | 0 | 0 | 0 |2001k| 0 | 3.400000e+01 | -- | Inf
1686.06/1686.01 c 1604s| 2040k|181164 | 0 | 0.0 | 191M| 140 | - | 217 |4284 | 0 | 0 | 0 |2004k| 0 | 3.400000e+01 | -- | Inf
1688.06/1688.06 c 1606s| 2050k|187968 | 0 | 0.0 | 195M| 140 | - | 217 |4612 | 0 | 0 | 0 |2008k| 0 | 3.400000e+01 | -- | Inf
1690.46/1690.49 c 1608s| 2060k|194002 | 0 | 0.0 | 199M| 140 | - | 217 |5133 | 0 | 0 | 0 |2012k| 0 | 3.400000e+01 | -- | Inf
1693.26/1693.27 c 1611s| 2070k|199393 | 0 | 0.0 | 204M| 140 | - | 217 |5945 | 0 | 0 | 0 |2017k| 0 | 3.400000e+01 | -- | Inf
1697.16/1697.11 c 1614s| 2080k|203060 | 0 | 0.0 | 208M| 140 | - | 217 |7391 | 0 | 0 | 0 |2024k| 0 | 3.400000e+01 | -- | Inf
1702.26/1702.23 c 1619s| 2090k|205018 | 0 | 0.0 | 212M| 140 | - | 217 |9226 | 0 | 0 | 0 |2032k| 0 | 3.400000e+01 | -- | Inf
1708.16/1708.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1708.16/1708.16 c 1624s| 2100k|206125 | 0 | 0.0 | 213M| 140 | - | 217 |6511 | 0 | 0 | 0 |2041k| 0 | 3.400000e+01 | -- | Inf
1713.46/1713.46 c 1629s| 2110k|206357 | 0 | 0.0 | 214M| 140 | - | 217 |7107 | 0 | 0 | 0 |2050k| 0 | 3.400000e+01 | -- | Inf
1716.56/1716.58 c 1632s| 2120k|211512 | 0 | 0.0 | 217M| 140 | - | 217 |6907 | 0 | 0 | 0 |2056k| 0 | 3.400000e+01 | -- | Inf
1719.56/1719.52 c 1635s| 2130k|217327 | 0 | 0.0 | 221M| 140 | - | 217 |8226 | 0 | 0 | 0 |2061k| 0 | 3.400000e+01 | -- | Inf
1723.06/1723.01 c 1638s| 2140k|222581 | 0 | 0.0 | 225M| 140 | - | 217 |9172 | 0 | 0 | 0 |2067k| 0 | 3.400000e+01 | -- | Inf
1727.06/1727.02 c 1642s| 2150k|227228 | 0 | 0.0 | 229M| 140 | - | 217 | 10k| 0 | 0 | 0 |2073k| 0 | 3.400000e+01 | -- | Inf
1731.76/1731.78 c 1646s| 2160k|231078 | 0 | 0.0 | 232M| 140 | - | 217 | 10k| 0 | 0 | 0 |2080k| 0 | 3.400000e+01 | -- | Inf
1736.86/1736.90 c 1651s| 2170k|234595 | 0 | 0.0 | 236M| 140 | - | 217 | 11k| 0 | 0 | 0 |2087k| 0 | 3.400000e+01 | -- | Inf
1742.47/1742.46 c 1656s| 2180k|237414 | 0 | 0.0 | 239M| 140 | - | 217 | 11k| 0 | 0 | 0 |2095k| 0 | 3.400000e+01 | -- | Inf
1747.96/1747.97 c 1661s| 2190k|240415 | 0 | 0.0 | 242M| 140 | - | 217 | 11k| 0 | 0 | 0 |2103k| 0 | 3.400000e+01 | -- | Inf
1754.36/1754.34 c 1667s| 2200k|242138 | 0 | 0.0 | 245M| 140 | - | 217 | 12k| 0 | 0 | 0 |2112k| 0 | 3.400000e+01 | -- | Inf
1761.56/1761.54 c 1674s| 2210k|242906 | 0 | 0.0 | 248M| 140 | - | 217 | 12k| 0 | 0 | 0 |2122k| 0 | 3.400000e+01 | -- | Inf
1769.37/1769.35 c 1681s| 2220k|242850 | 0 | 0.0 | 250M| 140 | - | 217 | 13k| 0 | 0 | 0 |2132k| 0 | 3.400000e+01 | -- | Inf
1778.16/1778.17 c 1690s| 2230k|241652 | 0 | 0.0 | 251M| 140 | - | 217 | 14k| 0 | 0 | 0 |2144k| 0 | 3.400000e+01 | -- | Inf
1788.87/1788.89 c 1700s| 2240k|239009 | 0 | 0.0 | 249M| 140 | - | 217 | 11k| 0 | 0 | 0 |2156k| 0 | 3.400000e+01 | -- | Inf
1797.07/1797.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1797.07/1797.04 c 1708s| 2250k|237640 | 0 | 0.0 | 249M| 140 | - | 217 | 10k| 0 | 0 | 0 |2168k| 0 | 3.400000e+01 | -- | Inf
1800.07/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.07/1800.00 c
1800.07/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.00 c Solving Time (sec) : 1710.40
1800.07/1800.00 c Solving Nodes : 2255855
1800.07/1800.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.07/1800.00 c Dual Bound : +3.40000000000000e+01
1800.07/1800.00 c Gap : infinite
1800.07/1800.00 s UNKNOWN
1800.07/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.00 c Solving Time : 1710.40
1800.07/1800.00 c Original Problem :
1800.07/1800.00 c Problem name : HOME/instance-2693916-1277897178.wbo
1800.07/1800.00 c Variables : 221 (195 binary, 0 integer, 0 implicit integer, 26 continuous)
1800.07/1800.00 c Constraints : 128 initial, 128 maximal
1800.07/1800.00 c Presolved Problem :
1800.07/1800.00 c Problem name : t_HOME/instance-2693916-1277897178.wbo
1800.07/1800.00 c Variables : 217 (193 binary, 0 integer, 0 implicit integer, 24 continuous)
1800.07/1800.00 c Constraints : 109 initial, 40208 maximal
1800.07/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.07/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.00 c dualfix : 0.00 4 0 0 0 0 0 0 0
1800.07/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.00 c probing : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.00 c indicator : 0.00 0 0 0 0 0 2 0 0
1800.07/1800.00 c knapsack : 0.01 0 0 0 0 0 0 0 0
1800.07/1800.00 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.00 c linear : 0.00 0 0 0 24 0 17 2 0
1800.07/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.00 c root node : - 0 - - 0 - - - -
1800.07/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.07/1800.00 c integral : 0 0 0 0 0 0 0 0 0 0
1800.07/1800.00 c indicator : 24 0 6645683 0 1399278 0 167686 0 0 0
1800.07/1800.00 c knapsack : 1 0 7080628 0 1480501 139737 28450935 0 0 0
1800.07/1800.00 c setppc : 49 0 6940891 0 1480501 848342 10259334 0 0 0
1800.07/1800.00 c linear : 24 0 6092549 0 1480498 31059 1686982 0 0 0
1800.07/1800.00 c logicor : 11+ 0 3010810 0 1480485 69633 1433256 0 0 0
1800.07/1800.00 c countsols : 0 0 0 0 1480498 0 0 0 0 0
1800.07/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.07/1800.00 c integral : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.00 c indicator : 1.00 0.00 0.27 0.00 0.73
1800.07/1800.00 c knapsack : 214.48 0.00 211.95 0.00 2.53
1800.07/1800.00 c setppc : 44.30 0.00 38.07 0.00 6.23
1800.07/1800.00 c linear : 20.63 0.00 20.60 0.00 0.03
1800.07/1800.00 c logicor : 683.44 0.00 682.67 0.00 0.77
1800.07/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.00 c Propagators : Time Calls Cutoffs DomReds
1800.07/1800.00 c vbounds : 0.00 2 0 0
1800.07/1800.00 c rootredcost : 0.00 0 0 0
1800.07/1800.00 c pseudoobj : 2.99 7080428 0 0
1800.07/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.07/1800.00 c propagation : 25.06 1088771 1088657 5261239 18.0 40778 15.9 -
1800.07/1800.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.07/1800.00 c applied globally : - - - 2165339 14.6 - - -
1800.07/1800.00 c applied locally : - - - 7652 35.0 - - -
1800.07/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.07/1800.00 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.07/1800.00 c redcost : 0.00 0 0 0 0 0
1800.07/1800.00 c impliedbounds : 0.00 0 0 0 0 0
1800.07/1800.00 c intobj : 0.00 0 0 0 0 0
1800.07/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.07/1800.00 c gomory : 0.00 0 0 0 0 0
1800.07/1800.00 c strongcg : 0.00 0 0 0 0 0
1800.07/1800.00 c cmir : 0.00 0 0 0 0 0
1800.07/1800.00 c flowcover : 0.00 0 0 0 0 0
1800.07/1800.00 c clique : 0.00 0 0 0 0 0
1800.07/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.07/1800.00 c mcf : 0.00 0 0 0 0 0
1800.07/1800.00 c rapidlearning : 0.00 0 0 0 0 0
1800.07/1800.00 c Pricers : Time Calls Vars
1800.07/1800.00 c problem variables: 0.00 0 0
1800.07/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.07/1800.00 c relpscost : 0.00 0 0 0 0 0 0
1800.07/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.07/1800.00 c inference : 9.76 1480498 0 0 0 0 2960996
1800.07/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.07/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.07/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.00 c random : 0.00 0 0 0 0 0 0
1800.07/1800.00 c Primal Heuristics : Time Calls Found
1800.07/1800.00 c LP solutions : 0.00 - 0
1800.07/1800.00 c pseudo solutions : 0.00 - 0
1800.07/1800.00 c oneopt : 0.00 0 0
1800.07/1800.00 c trivial : 0.00 2 0
1800.07/1800.00 c simplerounding : 0.00 0 0
1800.07/1800.00 c zirounding : 0.00 0 0
1800.07/1800.00 c rounding : 0.00 0 0
1800.07/1800.00 c shifting : 0.00 0 0
1800.07/1800.00 c intshifting : 0.00 0 0
1800.07/1800.00 c twoopt : 0.00 0 0
1800.07/1800.00 c fixandinfer : 0.00 0 0
1800.07/1800.00 c feaspump : 0.00 0 0
1800.07/1800.00 c coefdiving : 0.00 0 0
1800.07/1800.00 c pscostdiving : 0.00 0 0
1800.07/1800.00 c fracdiving : 0.00 0 0
1800.07/1800.00 c veclendiving : 0.00 0 0
1800.07/1800.00 c intdiving : 0.00 0 0
1800.07/1800.00 c actconsdiving : 0.00 0 0
1800.07/1800.00 c objpscostdiving : 0.00 0 0
1800.07/1800.00 c rootsoldiving : 0.00 0 0
1800.07/1800.00 c linesearchdiving : 0.00 0 0
1800.07/1800.00 c guideddiving : 0.00 0 0
1800.07/1800.00 c octane : 0.00 0 0
1800.07/1800.00 c rens : 0.00 0 0
1800.07/1800.00 c rins : 0.00 0 0
1800.07/1800.00 c localbranching : 0.00 0 0
1800.07/1800.00 c mutation : 0.00 0 0
1800.07/1800.00 c crossover : 0.00 0 0
1800.07/1800.00 c dins : 0.00 0 0
1800.07/1800.00 c undercover : 0.00 0 0
1800.07/1800.00 c nlp : 0.00 0 0
1800.07/1800.00 c trysol : 0.00 1 0
1800.07/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.07/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.07/1800.00 c dual LP : 0.00 0 0 0.00 -
1800.07/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.07/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.07/1800.00 c diving/probing LP: 0.00 0 0 0.00 -
1800.07/1800.00 c strong branching : 0.00 0 0 0.00 -
1800.07/1800.00 c (at root node) : - 0 0 0.00 -
1800.07/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.07/1800.00 c B&B Tree :
1800.07/1800.00 c number of runs : 1
1800.07/1800.00 c nodes : 2255855
1800.07/1800.00 c nodes (total) : 2255855
1800.07/1800.00 c nodes left : 239747
1800.07/1800.00 c max depth : 140
1800.07/1800.00 c max depth (total): 140
1800.07/1800.00 c backtracks : 802165 (35.6%)
1800.07/1800.00 c delayed cutoffs : 465395
1800.07/1800.00 c repropagations : 2785182 (10611539 domain reductions, 313414 cutoffs)
1800.07/1800.00 c avg switch length: 18.74
1800.07/1800.00 c switching time : 550.55
1800.07/1800.00 c Solution :
1800.07/1800.00 c Solutions found : 0 (0 improvements)
1800.07/1800.00 c Primal Bound : -
1800.07/1800.00 c Dual Bound : +3.40000000000000e+01
1800.07/1800.00 c Gap : infinite
1800.07/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.07/1800.00 c Root Iterations : 0
1800.56/1800.53 c Time complete: 1800.6.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693916-1277897178/watcher-2693916-1277897178 -o /tmp/evaluation-result-2693916-1277897178/solver-2693916-1277897178 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693916-1277897178.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.31 2.08 2.02 4/196 13555
/proc/meminfo: memFree=30953288/32950928 swapFree=67111528/67111528
[pid=13555] ppid=13553 vsize=8140 CPUtime=0
/proc/13555/stat : 13555 (pbscip.linux.x8) R 13553 13555 13159 0 -1 4202496 1519 0 0 0 0 0 0 0 20 0 1 0 131012066 8335360 1441 4089446400 4194304 7136930 140734928450208 18446744073709551615 4333519 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/13555/statm: 2035 1441 276 719 0 1314 0
[startup+0.012529 s]
/proc/loadavg: 2.31 2.08 2.02 4/196 13555
/proc/meminfo: memFree=30953288/32950928 swapFree=67111528/67111528
[pid=13555] ppid=13553 vsize=10684 CPUtime=0
/proc/13555/stat : 13555 (pbscip.linux.x8) R 13553 13555 13159 0 -1 4202496 3625 0 0 0 0 0 0 0 20 0 1 0 131012066 10940416 1909 4089446400 4194304 7136930 140734928450208 18446744073709551615 6349931 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13555/statm: 2671 1909 365 719 0 1950 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10684
[startup+0.100512 s]
/proc/loadavg: 2.31 2.08 2.02 4/196 13555
/proc/meminfo: memFree=30953288/32950928 swapFree=67111528/67111528
[pid=13555] ppid=13553 vsize=12392 CPUtime=0.09
/proc/13555/stat : 13555 (pbscip.linux.x8) R 13553 13555 13159 0 -1 4202496 4905 0 0 0 7 2 0 0 20 0 1 0 131012066 12689408 2418 4089446400 4194304 7136930 140734928450208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13555/statm: 3098 2418 404 719 0 2377 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12392
[startup+0.300473 s]
/proc/loadavg: 2.31 2.08 2.02 4/196 13555
/proc/meminfo: memFree=30953288/32950928 swapFree=67111528/67111528
[pid=13555] ppid=13553 vsize=14092 CPUtime=0.29
/proc/13555/stat : 13555 (pbscip.linux.x8) R 13553 13555 13159 0 -1 4202496 5332 0 0 0 21 8 0 0 20 0 1 0 131012066 14430208 2845 4089446400 4194304 7136930 140734928450208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13555/statm: 3523 2845 404 719 0 2802 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14092
[startup+0.700396 s]
/proc/loadavg: 2.31 2.08 2.02 4/196 13555
/proc/meminfo: memFree=30953288/32950928 swapFree=67111528/67111528
[pid=13555] ppid=13553 vsize=16836 CPUtime=0.69
/proc/13555/stat : 13555 (pbscip.linux.x8) R 13553 13555 13159 0 -1 4202496 6012 0 0 0 54 15 0 0 21 0 1 0 131012066 17240064 3525 4089446400 4194304 7136930 140734928450208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13555/statm: 4209 3525 404 719 0 3488 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16836
[startup+1.50024 s]
/proc/loadavg: 2.31 2.08 2.02 3/197 13556
/proc/meminfo: memFree=30940260/32950928 swapFree=67111528/67111528
[pid=13555] ppid=13553 vsize=20728 CPUtime=1.49
/proc/13555/stat : 13555 (pbscip.linux.x8) R 13553 13555 13159 0 -1 4202496 7010 0 0 0 120 29 0 0 23 0 1 0 131012066 21225472 4523 4089446400 4194304 7136930 140734928450208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13555/statm: 5182 4523 404 719 0 4461 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20728
[startup+3.10094 s]
/proc/loadavg: 2.29 2.08 2.02 3/197 13556
/proc/meminfo: memFree=30935940/32950928 swapFree=67111528/67111528
[pid=13555] ppid=13553 vsize=25860 CPUtime=3.09
/proc/13555/stat : 13555 (pbscip.linux.x8) R 13553 13555 13159 0 -1 4202496 8281 0 0 0 253 56 0 0 25 0 1 0 131012066 26480640 5794 4089446400 4194304 7136930 140734928450208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13555/statm: 6465 5794 404 719 0 5744 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 25860
[startup+6.30033 s]
/proc/loadavg: 2.29 2.08 2.02 3/197 13556
/proc/meminfo: memFree=30927756/32950928 swapFree=67111528/67111528
[pid=13555] ppid=13553 vsize=33716 CPUtime=6.29
/proc/13555/stat : 13555 (pbscip.linux.x8) R 13553 13555 13159 0 -1 4202496 10289 0 0 0 533 96 0 0 25 0 1 0 131012066 34525184 7802 4089446400 4194304 7136930 140734928450208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13555/statm: 8429 7802 404 719 0 7708 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 33716
[startup+12.7011 s]
/proc/loadavg: 2.24 2.07 2.02 3/197 13556
/proc/meminfo: memFree=30917728/32950928 swapFree=67111528/67111528
[pid=13555] ppid=13553 vsize=42484 CPUtime=12.69
/proc/13555/stat : 13555 (pbscip.linux.x8) R 13553 13555 13159 0 -1 4202496 12454 0 0 0 1117 152 0 0 25 0 1 0 131012066 43503616 9967 4089446400 4194304 7136930 140734928450208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13555/statm: 10621 9967 404 719 0 9900 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 42484
[startup+25.5006 s]
/proc/loadavg: 2.20 2.07 2.02 3/197 13557
/proc/meminfo: memFree=30901268/32950928 swapFree=67111528/67111528
[pid=13555] ppid=13553 vsize=59060 CPUtime=25.49
/proc/13555/stat : 13555 (pbscip.linux.x8) R 13553 13555 13159 0 -1 4202496 16625 0 0 0 2279 270 0 0 25 0 1 0 131012066 60477440 14115 4089446400 4194304 7136930 140734928450208 18446744073709551615 6166364 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13555/statm: 14765 14115 404 719 0 14044 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 59060
[startup+51.1007 s]
/proc/loadavg: 2.13 2.06 2.02 4/197 13557
/proc/meminfo: memFree=30891992/32950928 swapFree=67111528/67111528
[pid=13555] ppid=13553 vsize=68432 CPUtime=51.1
/proc/13555/stat : 13555 (pbscip.linux.x8) R 13553 13555 13159 0 -1 4202496 18934 0 0 0 4707 403 0 0 25 0 1 0 131012066 70074368 16424 4089446400 4194304 7136930 140734928450208 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13555/statm: 17108 16424 404 719 0 16387 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 68432
[startup+102.307 s]
/proc/loadavg: 2.09 2.06 2.02 3/197 13559
/proc/meminfo: memFree=30862784/32950928 swapFree=67111528/67111528
[pid=13555] ppid=13553 vsize=95460 CPUtime=102.3
/proc/13555/stat : 13555 (pbscip.linux.x8) R 13553 13555 13159 0 -1 4202496 25617 0 0 0 9502 728 0 0 25 0 1 0 131012066 97751040 23107 4089446400 4194304 7136930 140734928450208 18446744073709551615 4999897 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13555/statm: 23865 23107 404 719 0 23144 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 95460
[startup+162.3 s]
/proc/loadavg: 2.03 2.05 2.01 3/197 13560
/proc/meminfo: memFree=30843264/32950928 swapFree=67111528/67111528
[pid=13555] ppid=13553 vsize=109664 CPUtime=162.3
/proc/13555/stat : 13555 (pbscip.linux.x8) R 13553 13555 13159 0 -1 4202496 28681 0 0 0 15046 1184 0 0 25 0 1 0 131012066 112295936 26171 4089446400 4194304 7136930 140734928450208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13555/statm: 27416 26171 404 719 0 26695 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 109664
[startup+222.301 s]
/proc/loadavg: 2.01 2.04 2.01 3/197 13562
/proc/meminfo: memFree=30822492/32950928 swapFree=67111528/67111528
[pid=13555] ppid=13553 vsize=122244 CPUtime=222.3
/proc/13555/stat : 13555 (pbscip.linux.x8) R 13553 13555 13159 0 -1 4202496 31830 0 0 0 20718 1512 0 0 25 0 1 0 131012066 125177856 29320 4089446400 4194304 7136930 140734928450208 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13555/statm: 30561 29320 404 719 0 29840 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 122244
[startup+282.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/197 13564
/proc/meminfo: memFree=30818500/32950928 swapFree=67111528/67111528
[pid=13555] ppid=13553 vsize=125000 CPUtime=282.3
/proc/13555/stat : 13555 (pbscip.linux.x8) R 13553 13555 13159 0 -1 4202496 32422 0 0 0 26522 1708 0 0 25 0 1 0 131012066 128000000 29912 4089446400 4194304 7136930 140734928450208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13555/statm: 31250 29912 404 719 0 30529 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 125000
[startup+342.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/197 13568
/proc/meminfo: memFree=30796928/32950928 swapFree=67111528/67111528
[pid=13555] ppid=13553 vsize=144220 CPUtime=342.3
/proc/13555/stat : 13555 (pbscip.linux.x8) R 13553 13555 13159 0 -1 4202496 37347 0 0 0 32098 2132 0 0 25 0 1 0 131012066 147681280 34837 4089446400 4194304 7136930 140734928450208 18446744073709551615 4210335 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13555/statm: 36055 34837 404 719 0 35334 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 144220
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/197 13570
/proc/meminfo: memFree=30777268/32950928 swapFree=67111528/67111528
[pid=13555] ppid=13553 vsize=164120 CPUtime=402.3
/proc/13555/stat : 13555 (pbscip.linux.x8) R 13553 13555 13159 0 -1 4202496 42213 0 0 0 37861 2369 0 0 25 0 1 0 131012066 168058880 39703 4089446400 4194304 7136930 140734928450208 18446744073709551615 4212311 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13555/statm: 41030 39703 404 719 0 40309 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 164120
[startup+462.301 s]
/proc/loadavg: 2.00 2.01 2.00 4/197 13574
/proc/meminfo: memFree=30757756/32950928 swapFree=67111528/67111528
[pid=13555] ppid=13553 vsize=182496 CPUtime=462.31
/proc/13555/stat : 13555 (pbscip.linux.x8) R 13553 13555 13159 0 -1 4202496 46886 0 0 0 43533 2698 0 0 25 0 1 0 131012066 186875904 44376 4089446400 4194304 7136930 140734928450208 18446744073709551615 4999850 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13555/statm: 45624 44376 404 719 0 44903 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 182496
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 13648
/proc/meminfo: memFree=30892052/32950928 swapFree=67111528/67111528
[pid=13555] ppid=13553 vsize=184408 CPUtime=522.31
/proc/13555/stat : 13555 (pbscip.linux.x8) R 13553 13555 13159 0 -1 4202496 47281 0 0 0 49394 2837 0 0 25 0 1 0 131012066 188833792 44771 4089446400 4194304 7136930 140734928450208 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13555/statm: 46102 44771 404 719 0 45381 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 184408
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 13650
/proc/meminfo: memFree=30840920/32950928 swapFree=67111528/67111528
[pid=13555] ppid=13553 vsize=190232 CPUtime=582.31
/proc/13555/stat : 13555 (pbscip.linux.x8) R 13553 13555 13159 0 -1 4202496 48774 0 0 0 55062 3169 0 0 25 0 1 0 131012066 194797568 46264 4089446400 4194304 7136930 140734928450208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13555/statm: 47558 46264 404 719 0 46837 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 190232
[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 13651
/proc/meminfo: memFree=30806520/32950928 swapFree=67111528/67111528
[pid=13555] ppid=13553 vsize=190784 CPUtime=642.32
/proc/13555/stat : 13555 (pbscip.linux.x8) R 13553 13555 13159 0 -1 4202496 48832 0 0 0 60867 3365 0 0 25 0 1 0 131012066 195362816 46322 4089446400 4194304 7136930 140734928450208 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13555/statm: 47696 46322 404 719 0 46975 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 190784
[startup+702.301 s]
################
# More data... #
################
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 13661
/proc/meminfo: memFree=30664340/32950928 swapFree=67111528/67111528
[pid=13555] ppid=13553 vsize=258796 CPUtime=1002.33
/proc/13555/stat : 13555 (pbscip.linux.x8) R 13553 13555 13159 0 -1 4202496 65007 0 0 0 94696 5537 0 0 25 0 1 0 131012066 265007104 62497 4089446400 4194304 7136930 140734928450208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13555/statm: 64699 62497 404 719 0 63978 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 258796
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 13662
/proc/meminfo: memFree=30657472/32950928 swapFree=67111528/67111528
[pid=13555] ppid=13553 vsize=259488 CPUtime=1062.33
/proc/13555/stat : 13555 (pbscip.linux.x8) R 13553 13555 13159 0 -1 4202496 65148 0 0 0 100436 5797 0 0 25 0 1 0 131012066 265715712 62638 4089446400 4194304 7136930 140734928450208 18446744073709551615 5955605 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13555/statm: 64872 62638 404 719 0 64151 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 259488
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 13664
/proc/meminfo: memFree=30626792/32950928 swapFree=67111528/67111528
[pid=13555] ppid=13553 vsize=262212 CPUtime=1122.34
/proc/13555/stat : 13555 (pbscip.linux.x8) R 13553 13555 13159 0 -1 4202496 65742 0 0 0 106194 6040 0 0 25 0 1 0 131012066 268505088 63232 4089446400 4194304 7136930 140734928450208 18446744073709551615 4999992 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13555/statm: 65553 63232 404 719 0 64832 0
Current children cumulated CPU time (s) 1122.34
Current children cumulated vsize (KiB) 262212
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 13666
/proc/meminfo: memFree=30617088/32950928 swapFree=67111528/67111528
[pid=13555] ppid=13553 vsize=263748 CPUtime=1182.34
/proc/13555/stat : 13555 (pbscip.linux.x8) R 13553 13555 13159 0 -1 4202496 66103 0 0 0 112021 6213 0 0 25 0 1 0 131012066 270077952 63593 4089446400 4194304 7136930 140734928450208 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13555/statm: 65937 63593 404 719 0 65216 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 263748
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 13667
/proc/meminfo: memFree=30607868/32950928 swapFree=67111528/67111528
[pid=13555] ppid=13553 vsize=263748 CPUtime=1242.34
/proc/13555/stat : 13555 (pbscip.linux.x8) R 13553 13555 13159 0 -1 4202496 66127 0 0 0 117707 6527 0 0 25 0 1 0 131012066 270077952 63617 4089446400 4194304 7136930 140734928450208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13555/statm: 65937 63617 404 719 0 65216 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 263748
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 13669
/proc/meminfo: memFree=30586364/32950928 swapFree=67111528/67111528
[pid=13555] ppid=13553 vsize=270660 CPUtime=1302.35
/proc/13555/stat : 13555 (pbscip.linux.x8) R 13553 13555 13159 0 -1 4202496 67884 0 0 0 123313 6922 0 0 25 0 1 0 131012066 277155840 65374 4089446400 4194304 7136930 140734928450208 18446744073709551615 5955605 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13555/statm: 67665 65374 404 719 0 66944 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 270660
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 13670
/proc/meminfo: memFree=30557772/32950928 swapFree=67111528/67111528
[pid=13555] ppid=13553 vsize=281652 CPUtime=1362.35
/proc/13555/stat : 13555 (pbscip.linux.x8) R 13553 13555 13159 0 -1 4202496 70672 0 0 0 129046 7189 0 0 25 0 1 0 131012066 288411648 68162 4089446400 4194304 7136930 140734928450208 18446744073709551615 4632905 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13555/statm: 70413 68162 404 719 0 69692 0
Current children cumulated CPU time (s) 1362.35
Current children cumulated vsize (KiB) 281652
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 13672
/proc/meminfo: memFree=30526472/32950928 swapFree=67111528/67111528
[pid=13555] ppid=13553 vsize=296004 CPUtime=1422.36
/proc/13555/stat : 13555 (pbscip.linux.x8) R 13553 13555 13159 0 -1 4202496 74277 0 0 0 134826 7410 0 0 25 0 1 0 131012066 303108096 71767 4089446400 4194304 7136930 140734928450208 18446744073709551615 4431706 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13555/statm: 74001 71767 404 719 0 73280 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 296004
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 13674
/proc/meminfo: memFree=30507072/32950928 swapFree=67111528/67111528
[pid=13555] ppid=13553 vsize=300284 CPUtime=1482.35
/proc/13555/stat : 13555 (pbscip.linux.x8) R 13553 13555 13159 0 -1 4202496 75335 0 0 0 140692 7543 0 0 25 0 1 0 131012066 307490816 72825 4089446400 4194304 7136930 140734928450208 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13555/statm: 75071 72825 404 719 0 74350 0
Current children cumulated CPU time (s) 1482.35
Current children cumulated vsize (KiB) 300284
[startup+1542.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/197 13675
/proc/meminfo: memFree=30499092/32950928 swapFree=67111528/67111528
[pid=13555] ppid=13553 vsize=301092 CPUtime=1542.36
/proc/13555/stat : 13555 (pbscip.linux.x8) R 13553 13555 13159 0 -1 4202496 75449 0 0 0 146509 7727 0 0 25 0 1 0 131012066 308318208 72939 4089446400 4194304 7136930 140734928450208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13555/statm: 75273 72939 404 719 0 74552 0
Current children cumulated CPU time (s) 1542.36
Current children cumulated vsize (KiB) 301092
[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/197 13677
/proc/meminfo: memFree=30498184/32950928 swapFree=67111528/67111528
[pid=13555] ppid=13553 vsize=301092 CPUtime=1602.36
/proc/13555/stat : 13555 (pbscip.linux.x8) R 13553 13555 13159 0 -1 4202496 75452 0 0 0 152381 7855 0 0 25 0 1 0 131012066 308318208 72942 4089446400 4194304 7136930 140734928450208 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13555/statm: 75273 72942 404 719 0 74552 0
Current children cumulated CPU time (s) 1602.36
Current children cumulated vsize (KiB) 301092
[startup+1662.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/197 13678
/proc/meminfo: memFree=30496132/32950928 swapFree=67111528/67111528
[pid=13555] ppid=13553 vsize=301092 CPUtime=1662.36
/proc/13555/stat : 13555 (pbscip.linux.x8) R 13553 13555 13159 0 -1 4202496 75495 0 0 0 158264 7972 0 0 25 0 1 0 131012066 308318208 72985 4089446400 4194304 7136930 140734928450208 18446744073709551615 5955544 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13555/statm: 75273 72985 404 719 0 74552 0
Current children cumulated CPU time (s) 1662.36
Current children cumulated vsize (KiB) 301092
[startup+1722.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/197 13680
/proc/meminfo: memFree=30494088/32950928 swapFree=67111528/67111528
[pid=13555] ppid=13553 vsize=302280 CPUtime=1722.36
/proc/13555/stat : 13555 (pbscip.linux.x8) R 13553 13555 13159 0 -1 4202496 75839 0 0 0 163727 8509 0 0 25 0 1 0 131012066 309534720 73329 4089446400 4194304 7136930 140734928450208 18446744073709551615 5955580 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13555/statm: 75570 73329 404 719 0 74849 0
Current children cumulated CPU time (s) 1722.36
Current children cumulated vsize (KiB) 302280
[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/197 13682
/proc/meminfo: memFree=30469368/32950928 swapFree=67111528/67111528
[pid=13555] ppid=13553 vsize=318840 CPUtime=1782.36
/proc/13555/stat : 13555 (pbscip.linux.x8) R 13553 13555 13159 0 -1 4202496 80096 0 0 0 169362 8874 0 0 25 0 1 0 131012066 326492160 77586 4089446400 4194304 7136930 140734928450208 18446744073709551615 5957736 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13555/statm: 79710 77586 404 719 0 78989 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 318840
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 13682
/proc/meminfo: memFree=30469228/32950928 swapFree=67111528/67111528
[pid=13555] ppid=13553 vsize=318840 CPUtime=1800.07
/proc/13555/stat : 13555 (pbscip.linux.x8) R 13553 13555 13159 0 -1 4202496 80096 0 0 0 171040 8967 0 0 25 0 1 0 131012066 326492160 77586 4089446400 4194304 7136930 140734928450208 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/13555/statm: 79710 77586 404 719 0 78989 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 318840
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 13682
/proc/meminfo: memFree=30469228/32950928 swapFree=67111528/67111528
[pid=13555] ppid=13553 vsize=318840 CPUtime=1800.26
/proc/13555/stat : 13555 (pbscip.linux.x8) R 13553 13555 13159 0 -1 4202496 80101 0 0 0 171059 8967 0 0 25 0 1 0 131012066 326492160 77591 4089446400 4194304 7136930 140734928450208 18446744073709551615 4670052 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/13555/statm: 79710 77591 409 719 0 78989 0
Current children cumulated CPU time (s) 1800.26
Current children cumulated vsize (KiB) 318840
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 13682
/proc/meminfo: memFree=30469228/32950928 swapFree=67111528/67111528
[pid=13555] ppid=13553 vsize=317816 CPUtime=1800.46
/proc/13555/stat : 13555 (pbscip.linux.x8) R 13553 13555 13159 0 -1 4202496 80101 0 0 0 171079 8967 0 0 25 0 1 0 131012066 325443584 77335 4089446400 4194304 7136930 140734928450208 18446744073709551615 4212479 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/13555/statm: 79454 77335 409 719 0 78733 0
Current children cumulated CPU time (s) 1800.46
Current children cumulated vsize (KiB) 317816
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 13682
/proc/meminfo: memFree=30469228/32950928 swapFree=67111528/67111528
[pid=13555] ppid=13553 vsize=317816 CPUtime=1800.56
/proc/13555/stat : 13555 (pbscip.linux.x8) R 13553 13555 13159 0 -1 4202496 80101 0 0 0 171089 8967 0 0 25 0 1 0 131012066 325443584 77335 4089446400 4194304 7136930 140734928450208 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/13555/statm: 79454 77335 409 719 0 78733 0
Current children cumulated CPU time (s) 1800.56
Current children cumulated vsize (KiB) 317816
Child status: 0
Real time (s): 1800.54
CPU time (s): 1800.61
CPU user time (s): 1710.92
CPU system time (s): 89.6864
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 318840
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1710.92
system time used= 89.6864
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80108
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= 2188
runsolver used 3.10053 second user time and 6.08007 second system time
The end
Begin job on node148 at 2010-06-30 13:26:18
IDJOB=2693916
IDBENCH=78805
IDSOLVER=1206
FILE ID=node148/2693916-1277897178
PBS_JOBID= 11197160
Free space on /tmp= 74176 MiB
SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111222257--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-2693916-1277897178/watcher-2693916-1277897178 -o /tmp/evaluation-result-2693916-1277897178/solver-2693916-1277897178 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693916-1277897178.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 71325e7cac253fc5c21b0ac5c0e624a3
RANDOM SEED=1519853859
node148.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.836
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.67
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.836
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.836
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 : 5415.14
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.836
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.836
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.78
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.836
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.79
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.836
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.836
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.84
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950928 kB
MemFree: 30953196 kB
Buffers: 179844 kB
Cached: 1268372 kB
SwapCached: 0 kB
Active: 873260 kB
Inactive: 977588 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 30953196 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 3316 kB
Writeback: 0 kB
AnonPages: 403072 kB
Mapped: 20484 kB
Slab: 81048 kB
PageTables: 5992 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 1657576 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= 74172 MiB
End job on node148 at 2010-06-30 13:56:20