0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [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-2700021-1278533893.wbo>
0.00/0.01 c original problem has 1900 variables (1050 bin, 0 int, 0 impl, 850 cont) and 1801 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.02 c presolving:
0.00/0.02 c (round 1) 100 del vars, 101 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1050 impls, 0 clqs
0.00/0.03 c (round 2) 100 del vars, 101 del conss, 850 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1050 impls, 0 clqs
0.05/0.06 c (0.0s) probing: 101/950 (10.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.05/0.06 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.05/0.06 c presolving (3 rounds):
0.05/0.06 c 100 deleted vars, 101 deleted constraints, 850 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.05/0.06 c 1050 implications, 0 cliques
0.05/0.06 c presolved problem has 1800 variables (950 bin, 0 int, 0 impl, 850 cont) and 1700 constraints
0.05/0.06 c 850 constraints of type <indicator>
0.05/0.06 c 850 constraints of type <linear>
0.05/0.06 c transformed objective value is always integral (scale: 1)
0.05/0.06 c Presolving Time: 0.03
0.05/0.06 c - non default parameters ----------------------------------------------------------------------
0.05/0.06 c # SCIP version 1.2.1.2
0.05/0.06 c
0.05/0.06 c # frequency for displaying node information lines
0.05/0.06 c # [type: int, range: [-1,2147483647], default: 100]
0.05/0.06 c display/freq = 10000
0.05/0.06 c
0.05/0.06 c # maximal time in seconds to run
0.05/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.05/0.06 c limits/time = 1800
0.05/0.06 c
0.05/0.06 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.05/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.05/0.06 c limits/memory = 3420
0.05/0.06 c
0.05/0.06 c # should presolving try to simplify inequalities
0.05/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.05/0.06 c constraints/linear/simplifyinequalities = TRUE
0.05/0.06 c
0.05/0.06 c # should presolving try to simplify knapsacks
0.05/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.05/0.06 c constraints/knapsack/simplifyinequalities = TRUE
0.05/0.06 c
0.05/0.06 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.05/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.05/0.06 c separating/rapidlearning/freq = 0
0.05/0.06 c
0.05/0.06 c -----------------------------------------------------------------------------------------------
0.05/0.06 c start solving
0.05/0.06 c
0.05/0.06 o 420925
0.05/0.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.05/0.06 c t 0.1s| 1 | 0 | 0 | - |6131k| 0 | - |1800 |1700 | 0 | 0 | 0 | 0 | 0 | -- | 4.209250e+05 | Inf
0.05/0.06 c 0.1s| 1 | 0 | 0 | - |6528k| 0 | 0 |1800 |1700 |1800 | 0 | 0 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.05/0.06 c 0.1s| 1 | 0 | 47 | - |6571k| 0 | 0 |1800 |1700 |1800 | 72 | 72 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.05/0.07 c 0.1s| 1 | 0 | 133 | - |6623k| 0 | 26 |1800 |1700 |1800 | 122 | 122 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.05/0.07 c 0.1s| 1 | 0 | 199 | - |6724k| 0 | 77 |1800 |1700 |1800 | 169 | 169 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.05/0.09 c 0.1s| 1 | 0 | 248 | - |6763k| 0 | 81 |1800 |1700 |1800 | 188 | 188 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.09/0.11 c 0.1s| 1 | 0 | 280 | - |6792k| 0 | 84 |1800 |1700 |1800 | 197 | 197 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.09/0.12 c 0.1s| 1 | 0 | 281 | - |6817k| 0 | 84 |1800 |1700 |1800 | 198 | 198 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.19/0.23 c 0.2s| 1 | 2 | 424 | - |6845k| 0 | 84 |1800 |1700 |1800 | 198 | 198 | 0 | 33 | 0.000000e+00 | 4.209250e+05 | Inf
9.89/9.90 c 9.5s| 10000 | 10001 | 45846 | 4.6 | 19M| 103 | 0 |1800 |1700 |1800 | 267 | 15k| 0 | 790 | 0.000000e+00 | 4.209250e+05 | Inf
17.40/17.47 c 16.8s| 20000 | 20001 | 75523 | 3.8 | 29M| 131 | 0 |1800 |1700 |1800 | 289 | 25k| 0 | 790 | 0.000000e+00 | 4.209250e+05 | Inf
24.29/24.38 c 23.6s| 30000 | 30001 | 91995 | 3.1 | 39M| 135 | 0 |1800 |1700 |1800 | 277 | 31k| 0 | 790 | 0.000000e+00 | 4.209250e+05 | Inf
31.89/31.97 c 30.9s| 40000 | 40001 |127600 | 3.2 | 49M| 135 | 0 |1800 |1700 |1800 | 298 | 41k| 0 | 828 | 0.000000e+00 | 4.209250e+05 | Inf
39.49/39.50 c 38.1s| 50000 | 50001 |159001 | 3.2 | 60M| 135 | 4 |1800 |1700 |1800 | 250 | 51k| 0 | 937 | 0.000000e+00 | 4.209250e+05 | Inf
46.79/46.82 c 45.2s| 60000 | 60001 |183965 | 3.1 | 70M| 135 | 0 |1800 |1700 |1800 | 295 | 61k| 0 |1012 | 0.000000e+00 | 4.209250e+05 | Inf
53.79/53.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
53.79/53.88 c 52.1s| 70000 | 70001 |200408 | 2.9 | 79M| 135 | 0 |1800 |1700 |1800 | 261 | 67k| 0 |1072 | 0.000000e+00 | 4.209250e+05 | Inf
60.19/60.27 c 58.3s| 80000 | 80001 |206470 | 2.6 | 89M| 135 | 20 |1800 |1700 |1800 | 256 | 69k| 0 |1095 | 0.000000e+00 | 4.209250e+05 | Inf
66.90/66.99 c 64.8s| 90000 | 90001 |220836 | 2.5 | 99M| 137 | 0 |1800 |1700 |1800 | 284 | 74k| 0 |1122 | 0.000000e+00 | 4.209250e+05 | Inf
73.99/74.05 c 71.7s|100000 |100001 |240354 | 2.4 | 109M| 137 | 0 |1800 |1700 |1800 | 269 | 82k| 0 |1166 | 0.000000e+00 | 4.209250e+05 | Inf
81.10/81.16 c 78.6s|110000 |110001 |261258 | 2.4 | 119M| 137 | 0 |1800 |1700 |1800 | 281 | 88k| 0 |1213 | 0.000000e+00 | 4.209250e+05 | Inf
88.59/88.66 c 85.8s|120000 |120001 |294606 | 2.5 | 129M| 137 | 0 |1800 |1700 |1800 | 282 | 98k| 0 |1312 | 0.000000e+00 | 4.209250e+05 | Inf
96.19/96.26 c 93.2s|130000 |130001 |334739 | 2.6 | 139M| 137 | 25 |1800 |1700 |1800 | 253 | 108k| 0 |1404 | 0.000000e+00 | 4.209250e+05 | Inf
104.40/104.40 c 101s|140000 |140001 |396336 | 2.8 | 149M| 137 | 32 |1800 |1700 |1800 | 224 | 120k| 0 |1602 | 0.000000e+00 | 4.209250e+05 | Inf
112.49/112.57 c 109s|150000 |150001 |456252 | 3.0 | 160M| 137 | 21 |1800 |1700 |1800 | 191 | 134k| 0 |1759 | 0.000000e+00 | 4.209250e+05 | Inf
120.50/120.56 c 117s|160000 |160001 |510177 | 3.2 | 170M| 137 | 0 |1800 |1700 |1800 | 302 | 147k| 0 |1928 | 0.000000e+00 | 4.209250e+05 | Inf
128.29/128.36 c 124s|170000 |170001 |561542 | 3.3 | 180M| 137 | 0 |1800 |1700 |1800 | 284 | 159k| 0 |2046 | 0.000000e+00 | 4.209250e+05 | Inf
136.19/136.21 c 132s|180000 |180001 |612418 | 3.4 | 190M| 137 | 0 |1800 |1700 |1800 | 255 | 171k| 0 |2192 | 0.000000e+00 | 4.209250e+05 | Inf
144.10/144.13 c 139s|190000 |190001 |665127 | 3.5 | 200M| 137 | 0 |1800 |1700 |1800 | 266 | 185k| 0 |2310 | 0.000000e+00 | 4.209250e+05 | Inf
152.00/152.00 c 147s|200000 |200001 |716250 | 3.6 | 210M| 137 | 6 |1800 |1700 |1800 | 274 | 197k| 0 |2439 | 0.000000e+00 | 4.209250e+05 | Inf
159.70/159.72 c 154s|210000 |210001 |763223 | 3.6 | 220M| 137 | 30 |1800 |1700 |1800 | 238 | 209k| 0 |2537 | 0.000000e+00 | 4.209250e+05 | Inf
167.40/167.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
167.40/167.44 c 162s|220000 |220001 |812555 | 3.7 | 230M| 137 | 13 |1800 |1700 |1800 | 212 | 221k| 0 |2639 | 0.000000e+00 | 4.209250e+05 | Inf
175.00/175.06 c 169s|230000 |230001 |857641 | 3.7 | 240M| 137 | 0 |1800 |1700 |1800 | 274 | 233k| 0 |2757 | 0.000000e+00 | 4.209250e+05 | Inf
182.80/182.83 c 177s|240000 |240001 |905602 | 3.8 | 250M| 137 | 0 |1800 |1700 |1800 | 263 | 245k| 0 |2869 | 0.000000e+00 | 4.209250e+05 | Inf
190.50/190.56 c 184s|250000 |250001 |950516 | 3.8 | 260M| 137 | 0 |1800 |1700 |1800 | 277 | 258k| 0 |2983 | 0.000000e+00 | 4.209250e+05 | Inf
198.00/198.02 c 191s|260000 |260001 |990321 | 3.8 | 270M| 137 | 0 |1800 |1700 |1800 | 276 | 269k| 0 |3063 | 0.000000e+00 | 4.209250e+05 | Inf
205.61/205.68 c 199s|270000 |270001 | 1031k| 3.8 | 281M| 137 | 0 |1800 |1700 |1800 | 277 | 280k| 0 |3139 | 0.000000e+00 | 4.209250e+05 | Inf
213.20/213.26 c 206s|280000 |280001 | 1066k| 3.8 | 291M| 137 | 7 |1800 |1700 |1800 | 275 | 291k| 0 |3236 | 0.000000e+00 | 4.209250e+05 | Inf
220.80/220.80 c 213s|290000 |290001 | 1100k| 3.8 | 301M| 137 | 30 |1800 |1700 |1800 | 221 | 301k| 0 |3283 | 0.000000e+00 | 4.209250e+05 | Inf
228.20/228.26 c 221s|300000 |300001 | 1132k| 3.8 | 311M| 137 | 0 |1800 |1700 |1800 | 279 | 311k| 0 |3362 | 0.000000e+00 | 4.209250e+05 | Inf
235.60/235.66 c 228s|310000 |310001 | 1163k| 3.8 | 321M| 137 | 0 |1800 |1700 |1800 | 308 | 320k| 0 |3413 | 0.000000e+00 | 4.209250e+05 | Inf
243.00/243.07 c 235s|320000 |320001 | 1194k| 3.7 | 331M| 137 | 0 |1800 |1700 |1800 | 276 | 329k| 0 |3464 | 0.000000e+00 | 4.209250e+05 | Inf
250.50/250.51 c 242s|330000 |330001 | 1225k| 3.7 | 341M| 137 | 0 |1800 |1700 |1800 | 279 | 339k| 0 |3538 | 0.000000e+00 | 4.209250e+05 | Inf
257.70/257.73 c 249s|340000 |340001 | 1250k| 3.7 | 351M| 137 | 22 |1800 |1700 |1800 | 275 | 347k| 0 |3578 | 0.000000e+00 | 4.209250e+05 | Inf
264.90/264.96 c 256s|350000 |350001 | 1278k| 3.7 | 361M| 137 | 22 |1800 |1700 |1800 | 239 | 355k| 0 |3614 | 0.000000e+00 | 4.209250e+05 | Inf
272.20/272.25 c 263s|360000 |360001 | 1306k| 3.6 | 371M| 137 | 0 |1800 |1700 |1800 | 307 | 364k| 0 |3649 | 0.000000e+00 | 4.209250e+05 | Inf
279.40/279.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
279.40/279.48 c 270s|370000 |370001 | 1332k| 3.6 | 381M| 137 | 0 |1800 |1700 |1800 | 290 | 372k| 0 |3713 | 0.000000e+00 | 4.209250e+05 | Inf
286.80/286.85 c 277s|380000 |380001 | 1362k| 3.6 | 391M| 137 | 0 |1800 |1700 |1800 | 272 | 381k| 0 |3762 | 0.000000e+00 | 4.209250e+05 | Inf
294.00/294.04 c 284s|390000 |390001 | 1386k| 3.6 | 401M| 137 | 5 |1800 |1700 |1800 | 294 | 390k| 0 |3804 | 0.000000e+00 | 4.209250e+05 | Inf
301.31/301.40 c 291s|400000 |400001 | 1415k| 3.5 | 411M| 137 | 0 |1800 |1700 |1800 | 297 | 399k| 0 |3825 | 0.000000e+00 | 4.209250e+05 | Inf
308.60/308.69 c 298s|410000 |410001 | 1442k| 3.5 | 421M| 137 | 0 |1800 |1700 |1800 | 311 | 408k| 0 |3858 | 0.000000e+00 | 4.209250e+05 | Inf
315.90/315.91 c 305s|420000 |420001 | 1469k| 3.5 | 431M| 137 | 0 |1800 |1700 |1800 | 289 | 416k| 0 |3896 | 0.000000e+00 | 4.209250e+05 | Inf
323.20/323.20 c 312s|430000 |430001 | 1498k| 3.5 | 441M| 137 | 4 |1800 |1700 |1800 | 261 | 425k| 0 |3933 | 0.000000e+00 | 4.209250e+05 | Inf
330.30/330.35 c 319s|440000 |440001 | 1522k| 3.5 | 451M| 137 | 18 |1800 |1700 |1800 | 270 | 432k| 0 |3959 | 0.000000e+00 | 4.209250e+05 | Inf
337.50/337.53 c 326s|450000 |450001 | 1546k| 3.4 | 461M| 137 | 0 |1800 |1700 |1800 | 303 | 440k| 0 |3999 | 0.000000e+00 | 4.209250e+05 | Inf
344.61/344.61 c 333s|460000 |460001 | 1568k| 3.4 | 471M| 137 | 0 |1800 |1700 |1800 | 308 | 447k| 0 |4039 | 0.000000e+00 | 4.209250e+05 | Inf
351.70/351.79 c 340s|470000 |470001 | 1592k| 3.4 | 481M| 137 | 0 |1800 |1700 |1800 | 305 | 454k| 0 |4082 | 0.000000e+00 | 4.209250e+05 | Inf
358.90/358.96 c 347s|480000 |480001 | 1616k| 3.4 | 491M| 137 | 0 |1800 |1700 |1800 | 256 | 462k| 0 |4106 | 0.000000e+00 | 4.209250e+05 | Inf
366.31/366.34 c 354s|490000 |490001 | 1645k| 3.4 | 501M| 137 | 13 |1800 |1700 |1800 | 283 | 470k| 0 |4150 | 0.000000e+00 | 4.209250e+05 | Inf
373.60/373.63 c 361s|500000 |500001 | 1673k| 3.3 | 511M| 137 | 20 |1800 |1700 |1800 | 277 | 479k| 0 |4181 | 0.000000e+00 | 4.209250e+05 | Inf
381.00/381.00 c 368s|510000 |510001 | 1704k| 3.3 | 521M| 137 | 0 |1800 |1700 |1800 | 309 | 489k| 0 |4222 | 0.000000e+00 | 4.209250e+05 | Inf
388.30/388.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
388.30/388.34 c 375s|520000 |520001 | 1736k| 3.3 | 531M| 137 | 0 |1800 |1700 |1800 | 298 | 497k| 0 |4271 | 0.000000e+00 | 4.209250e+05 | Inf
395.70/395.79 c 383s|530000 |530001 | 1771k| 3.3 | 541M| 137 | 0 |1800 |1700 |1800 | 247 | 507k| 0 |4305 | 0.000000e+00 | 4.209250e+05 | Inf
403.10/403.16 c 390s|540000 |540001 | 1801k| 3.3 | 551M| 137 | 0 |1800 |1700 |1800 | 261 | 517k| 0 |4349 | 0.000000e+00 | 4.209250e+05 | Inf
410.31/410.37 c 397s|550000 |550001 | 1828k| 3.3 | 561M| 137 | 0 |1800 |1700 |1800 | 289 | 527k| 0 |4385 | 0.000000e+00 | 4.209250e+05 | Inf
417.01/417.00 c 403s|560000 |560001 | 1844k| 3.3 | 571M| 241 | 0 |1800 |1700 |1800 | 273 | 533k| 0 |4400 | 0.000000e+00 | 4.209250e+05 | Inf
423.61/423.65 c 410s|570000 |570001 | 1859k| 3.3 | 581M| 241 | 0 |1800 |1700 |1800 | 278 | 538k| 0 |4401 | 0.000000e+00 | 4.209250e+05 | Inf
430.31/430.31 c 416s|580000 |580001 | 1875k| 3.2 | 591M| 241 | 0 |1800 |1700 |1800 | 271 | 544k| 0 |4419 | 0.000000e+00 | 4.209250e+05 | Inf
436.90/436.90 c 422s|590000 |590001 | 1889k| 3.2 | 601M| 241 | 0 |1800 |1700 |1800 | 281 | 549k| 0 |4437 | 0.000000e+00 | 4.209250e+05 | Inf
443.41/443.48 c 429s|600000 |600001 | 1904k| 3.2 | 611M| 241 | 0 |1800 |1700 |1800 | 289 | 554k| 0 |4445 | 0.000000e+00 | 4.209250e+05 | Inf
450.00/450.01 c 435s|610000 |610001 | 1918k| 3.1 | 621M| 241 | 0 |1800 |1700 |1800 | 273 | 560k| 0 |4452 | 0.000000e+00 | 4.209250e+05 | Inf
456.51/456.59 c 442s|620000 |620001 | 1934k| 3.1 | 631M| 241 | 0 |1800 |1700 |1800 | 284 | 565k| 0 |4478 | 0.000000e+00 | 4.209250e+05 | Inf
463.11/463.18 c 448s|630000 |630001 | 1950k| 3.1 | 641M| 241 | 0 |1800 |1700 |1800 | 292 | 571k| 0 |4496 | 0.000000e+00 | 4.209250e+05 | Inf
469.71/469.74 c 454s|640000 |640001 | 1966k| 3.1 | 651M| 241 | 0 |1800 |1700 |1800 | 276 | 576k| 0 |4503 | 0.000000e+00 | 4.209250e+05 | Inf
476.20/476.30 c 461s|650000 |650001 | 1981k| 3.0 | 661M| 241 | 0 |1800 |1700 |1800 | 297 | 582k| 0 |4522 | 0.000000e+00 | 4.209250e+05 | Inf
482.70/482.80 c 467s|660000 |660001 | 1996k| 3.0 | 671M| 241 | 0 |1800 |1700 |1800 | 284 | 587k| 0 |4541 | 0.000000e+00 | 4.209250e+05 | Inf
489.21/489.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
489.21/489.22 c 473s|670000 |670001 | 2008k| 3.0 | 681M| 241 | 0 |1800 |1700 |1800 | 284 | 591k| 0 |4542 | 0.000000e+00 | 4.209250e+05 | Inf
495.71/495.74 c 480s|680000 |680001 | 2023k| 3.0 | 691M| 241 | 0 |1800 |1700 |1800 | 287 | 596k| 0 |4559 | 0.000000e+00 | 4.209250e+05 | Inf
502.10/502.18 c 486s|690000 |690001 | 2035k| 3.0 | 701M| 241 | 0 |1800 |1700 |1800 | 268 | 601k| 0 |4574 | 0.000000e+00 | 4.209250e+05 | Inf
508.81/508.80 c 492s|700000 |700001 | 2053k| 2.9 | 711M| 241 | 0 |1800 |1700 |1800 | 266 | 607k| 0 |4579 | 0.000000e+00 | 4.209250e+05 | Inf
515.40/515.49 c 499s|710000 |710001 | 2071k| 2.9 | 721M| 241 | 0 |1800 |1700 |1800 | 303 | 613k| 0 |4606 | 0.000000e+00 | 4.209250e+05 | Inf
522.01/522.01 c 505s|720000 |720001 | 2087k| 2.9 | 731M| 241 | 0 |1800 |1700 |1800 | 263 | 618k| 0 |4622 | 0.000000e+00 | 4.209250e+05 | Inf
528.51/528.53 c 511s|730000 |730001 | 2103k| 2.9 | 741M| 241 | 0 |1800 |1700 |1800 | 292 | 624k| 0 |4639 | 0.000000e+00 | 4.209250e+05 | Inf
535.11/535.10 c 518s|740000 |740001 | 2121k| 2.9 | 751M| 241 | 0 |1800 |1700 |1800 | 292 | 630k| 0 |4648 | 0.000000e+00 | 4.209250e+05 | Inf
541.61/541.65 c 524s|750000 |750001 | 2138k| 2.9 | 761M| 241 | 0 |1800 |1700 |1800 | 293 | 636k| 0 |4666 | 0.000000e+00 | 4.209250e+05 | Inf
548.01/548.07 c 530s|760000 |760001 | 2152k| 2.8 | 771M| 241 | 0 |1800 |1700 |1800 | 267 | 641k| 0 |4685 | 0.000000e+00 | 4.209250e+05 | Inf
554.50/554.52 c 537s|770000 |770001 | 2166k| 2.8 | 781M| 241 | 0 |1800 |1700 |1800 | 281 | 646k| 0 |4685 | 0.000000e+00 | 4.209250e+05 | Inf
560.91/560.97 c 543s|780000 |780001 | 2179k| 2.8 | 791M| 241 | 3 |1800 |1700 |1800 | 216 | 651k| 0 |4702 | 0.000000e+00 | 4.209250e+05 | Inf
567.40/567.46 c 549s|790000 |790001 | 2193k| 2.8 | 801M| 241 | 0 |1800 |1700 |1800 | 261 | 656k| 0 |4716 | 0.000000e+00 | 4.209250e+05 | Inf
574.01/574.03 c 556s|800000 |800001 | 2209k| 2.8 | 811M| 241 | 0 |1800 |1700 |1800 | 295 | 661k| 0 |4721 | 0.000000e+00 | 4.209250e+05 | Inf
580.61/580.64 c 562s|810000 |810001 | 2225k| 2.7 | 821M| 241 | 0 |1800 |1700 |1800 | 275 | 667k| 0 |4742 | 0.000000e+00 | 4.209250e+05 | Inf
587.11/587.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
587.11/587.15 c 568s|820000 |820001 | 2239k| 2.7 | 831M| 241 | 0 |1800 |1700 |1800 | 274 | 672k| 0 |4757 | 0.000000e+00 | 4.209250e+05 | Inf
593.61/593.66 c 575s|830000 |830001 | 2255k| 2.7 | 841M| 241 | 0 |1800 |1700 |1800 | 300 | 677k| 0 |4757 | 0.000000e+00 | 4.209250e+05 | Inf
600.11/600.15 c 581s|840000 |840001 | 2269k| 2.7 | 851M| 241 | 0 |1800 |1700 |1800 | 287 | 683k| 0 |4778 | 0.000000e+00 | 4.209250e+05 | Inf
606.61/606.65 c 587s|850000 |850001 | 2284k| 2.7 | 861M| 241 | 2 |1800 |1700 |1800 | 261 | 688k| 0 |4794 | 0.000000e+00 | 4.209250e+05 | Inf
613.11/613.13 c 594s|860000 |860001 | 2298k| 2.7 | 871M| 241 | 0 |1800 |1700 |1800 | 301 | 693k| 0 |4795 | 0.000000e+00 | 4.209250e+05 | Inf
619.60/619.67 c 600s|870000 |870001 | 2313k| 2.7 | 881M| 241 | 0 |1800 |1700 |1800 | 298 | 698k| 0 |4809 | 0.000000e+00 | 4.209250e+05 | Inf
626.01/626.08 c 606s|880000 |880001 | 2326k| 2.6 | 891M| 241 | 0 |1800 |1700 |1800 | 260 | 703k| 0 |4825 | 0.000000e+00 | 4.209250e+05 | Inf
632.61/632.62 c 612s|890000 |890001 | 2341k| 2.6 | 901M| 241 | 18 |1800 |1700 |1800 | 232 | 708k| 0 |4831 | 0.000000e+00 | 4.209250e+05 | Inf
639.11/639.11 c 619s|900000 |900001 | 2355k| 2.6 | 910M| 241 | 0 |1800 |1700 |1800 | 321 | 713k| 0 |4844 | 0.000000e+00 | 4.209250e+05 | Inf
645.51/645.55 c 625s|910000 |910001 | 2370k| 2.6 | 920M| 241 | 0 |1800 |1700 |1800 | 306 | 718k| 0 |4856 | 0.000000e+00 | 4.209250e+05 | Inf
652.01/652.03 c 631s|920000 |920001 | 2384k| 2.6 | 930M| 241 | 0 |1800 |1700 |1800 | 281 | 723k| 0 |4862 | 0.000000e+00 | 4.209250e+05 | Inf
658.51/658.53 c 638s|930000 |930001 | 2399k| 2.6 | 940M| 241 | 0 |1800 |1700 |1800 | 260 | 729k| 0 |4880 | 0.000000e+00 | 4.209250e+05 | Inf
664.71/664.79 c 644s|940000 |940001 | 2409k| 2.6 | 950M| 241 | 0 |1800 |1700 |1800 | 260 | 732k| 0 |4880 | 0.000000e+00 | 4.209250e+05 | Inf
671.21/671.29 c 650s|950000 |950001 | 2424k| 2.6 | 960M| 241 | 0 |1800 |1700 |1800 | 270 | 738k| 0 |4898 | 0.000000e+00 | 4.209250e+05 | Inf
677.71/677.71 c 656s|960000 |960001 | 2437k| 2.5 | 970M| 241 | 3 |1800 |1700 |1800 | 256 | 742k| 0 |4907 | 0.000000e+00 | 4.209250e+05 | Inf
684.12/684.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
684.12/684.17 c 662s|970000 |970001 | 2451k| 2.5 | 980M| 241 | 0 |1800 |1700 |1800 | 268 | 747k| 0 |4920 | 0.000000e+00 | 4.209250e+05 | Inf
690.51/690.53 c 669s|980000 |980001 | 2463k| 2.5 | 990M| 241 | 0 |1800 |1700 |1800 | 252 | 751k| 0 |4932 | 0.000000e+00 | 4.209250e+05 | Inf
696.91/696.90 c 675s|990000 |990001 | 2475k| 2.5 |1000M| 241 | 0 |1800 |1700 |1800 | 294 | 756k| 0 |4936 | 0.000000e+00 | 4.209250e+05 | Inf
703.41/703.45 c 681s| 1000k| 1000k| 2490k| 2.5 |1010M| 241 | 0 |1800 |1700 |1800 | 265 | 761k| 0 |4951 | 0.000000e+00 | 4.209250e+05 | Inf
709.91/709.96 c 688s| 1010k| 1010k| 2500k| 2.5 |1020M| 241 | 0 |1800 |1700 |1800 | 304 | 765k| 0 |4951 | 0.000000e+00 | 4.209250e+05 | Inf
716.52/716.51 c 694s| 1020k| 1020k| 2513k| 2.5 |1030M| 241 | 0 |1800 |1700 |1800 | 278 | 770k| 0 |4966 | 0.000000e+00 | 4.209250e+05 | Inf
722.92/722.98 c 700s| 1030k| 1030k| 2527k| 2.5 |1040M| 241 | 0 |1800 |1700 |1800 | 278 | 775k| 0 |4973 | 0.000000e+00 | 4.209250e+05 | Inf
729.41/729.46 c 706s| 1040k| 1040k| 2541k| 2.4 |1050M| 241 | 0 |1800 |1700 |1800 | 273 | 780k| 0 |4981 | 0.000000e+00 | 4.209250e+05 | Inf
735.82/735.85 c 713s| 1050k| 1050k| 2553k| 2.4 |1060M| 241 | 0 |1800 |1700 |1800 | 281 | 784k| 0 |5001 | 0.000000e+00 | 4.209250e+05 | Inf
742.32/742.31 c 719s| 1060k| 1060k| 2568k| 2.4 |1070M| 241 | 0 |1800 |1700 |1800 | 263 | 789k| 0 |5004 | 0.000000e+00 | 4.209250e+05 | Inf
748.81/748.80 c 725s| 1070k| 1070k| 2583k| 2.4 |1080M| 241 | 0 |1800 |1700 |1800 | 291 | 794k| 0 |5020 | 0.000000e+00 | 4.209250e+05 | Inf
755.21/755.24 c 731s| 1080k| 1080k| 2596k| 2.4 |1090M| 241 | 0 |1800 |1700 |1800 | 264 | 799k| 0 |5032 | 0.000000e+00 | 4.209250e+05 | Inf
761.51/761.56 c 738s| 1090k| 1090k| 2607k| 2.4 |1100M| 241 | 0 |1800 |1700 |1800 | 279 | 803k| 0 |5039 | 0.000000e+00 | 4.209250e+05 | Inf
768.01/768.08 c 744s| 1100k| 1100k| 2623k| 2.4 |1110M| 241 | 0 |1800 |1700 |1800 | 299 | 808k| 0 |5057 | 0.000000e+00 | 4.209250e+05 | Inf
774.42/774.42 c 750s| 1110k| 1110k| 2635k| 2.4 |1120M| 241 | 0 |1800 |1700 |1800 | 280 | 812k| 0 |5057 | 0.000000e+00 | 4.209250e+05 | Inf
780.81/780.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
780.81/780.80 c 756s| 1120k| 1120k| 2649k| 2.4 |1129M| 241 | 13 |1800 |1700 |1800 | 256 | 817k| 0 |5074 | 0.000000e+00 | 4.209250e+05 | Inf
787.12/787.11 c 762s| 1130k| 1130k| 2661k| 2.4 |1139M| 241 | 0 |1800 |1700 |1800 | 285 | 821k| 0 |5074 | 0.000000e+00 | 4.209250e+05 | Inf
793.41/793.49 c 769s| 1140k| 1140k| 2675k| 2.3 |1149M| 241 | 0 |1800 |1700 |1800 | 286 | 826k| 0 |5090 | 0.000000e+00 | 4.209250e+05 | Inf
799.82/799.85 c 775s| 1150k| 1150k| 2686k| 2.3 |1159M| 241 | 0 |1800 |1700 |1800 | 242 | 830k| 0 |5090 | 0.000000e+00 | 4.209250e+05 | Inf
806.11/806.16 c 781s| 1160k| 1160k| 2698k| 2.3 |1169M| 241 | 10 |1800 |1700 |1800 | 257 | 835k| 0 |5104 | 0.000000e+00 | 4.209250e+05 | Inf
812.51/812.51 c 787s| 1170k| 1170k| 2709k| 2.3 |1179M| 241 | 0 |1800 |1700 |1800 | 259 | 839k| 0 |5108 | 0.000000e+00 | 4.209250e+05 | Inf
818.91/818.99 c 793s| 1180k| 1180k| 2724k| 2.3 |1189M| 241 | 0 |1800 |1700 |1800 | 261 | 844k| 0 |5119 | 0.000000e+00 | 4.209250e+05 | Inf
825.42/825.40 c 800s| 1190k| 1190k| 2739k| 2.3 |1199M| 241 | 0 |1800 |1700 |1800 | 277 | 849k| 0 |5132 | 0.000000e+00 | 4.209250e+05 | Inf
831.81/831.89 c 806s| 1200k| 1200k| 2753k| 2.3 |1209M| 241 | 0 |1800 |1700 |1800 | 267 | 854k| 0 |5138 | 0.000000e+00 | 4.209250e+05 | Inf
838.31/838.33 c 812s| 1210k| 1210k| 2767k| 2.3 |1219M| 241 | 0 |1800 |1700 |1800 | 288 | 859k| 0 |5151 | 0.000000e+00 | 4.209250e+05 | Inf
844.72/844.80 c 818s| 1220k| 1220k| 2781k| 2.3 |1229M| 241 | 0 |1800 |1700 |1800 | 292 | 864k| 0 |5167 | 0.000000e+00 | 4.209250e+05 | Inf
851.02/851.09 c 825s| 1230k| 1230k| 2791k| 2.3 |1239M| 241 | 0 |1800 |1700 |1800 | 279 | 867k| 0 |5170 | 0.000000e+00 | 4.209250e+05 | Inf
857.52/857.58 c 831s| 1240k| 1240k| 2807k| 2.3 |1249M| 241 | 4 |1800 |1700 |1800 | 246 | 873k| 0 |5183 | 0.000000e+00 | 4.209250e+05 | Inf
864.01/864.02 c 837s| 1250k| 1250k| 2820k| 2.3 |1259M| 241 | 0 |1800 |1700 |1800 | 266 | 877k| 0 |5186 | 0.000000e+00 | 4.209250e+05 | Inf
870.52/870.50 c 843s| 1260k| 1260k| 2834k| 2.2 |1269M| 241 | 0 |1800 |1700 |1800 | 289 | 883k| 0 |5202 | 0.000000e+00 | 4.209250e+05 | Inf
876.72/876.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
876.72/876.74 c 849s| 1270k| 1270k| 2844k| 2.2 |1279M| 241 | 0 |1800 |1700 |1800 | 298 | 886k| 0 |5202 | 0.000000e+00 | 4.209250e+05 | Inf
883.22/883.22 c 856s| 1280k| 1280k| 2859k| 2.2 |1289M| 241 | 13 |1800 |1700 |1800 | 268 | 892k| 0 |5217 | 0.000000e+00 | 4.209250e+05 | Inf
889.62/889.67 c 862s| 1290k| 1290k| 2873k| 2.2 |1298M| 241 | 0 |1800 |1700 |1800 | 263 | 897k| 0 |5230 | 0.000000e+00 | 4.209250e+05 | Inf
896.12/896.17 c 868s| 1300k| 1300k| 2888k| 2.2 |1308M| 241 | 0 |1800 |1700 |1800 | 276 | 902k| 0 |5235 | 0.000000e+00 | 4.209250e+05 | Inf
902.52/902.58 c 875s| 1310k| 1310k| 2901k| 2.2 |1318M| 241 | 0 |1800 |1700 |1800 | 282 | 906k| 0 |5252 | 0.000000e+00 | 4.209250e+05 | Inf
908.92/908.91 c 881s| 1320k| 1320k| 2913k| 2.2 |1328M| 241 | 24 |1800 |1700 |1800 | 252 | 910k| 0 |5252 | 0.000000e+00 | 4.209250e+05 | Inf
915.23/915.26 c 887s| 1330k| 1330k| 2923k| 2.2 |1338M| 241 | 0 |1800 |1700 |1800 | 300 | 914k| 0 |5267 | 0.000000e+00 | 4.209250e+05 | Inf
921.62/921.68 c 893s| 1340k| 1340k| 2936k| 2.2 |1348M| 241 | 0 |1800 |1700 |1800 | 280 | 918k| 0 |5269 | 0.000000e+00 | 4.209250e+05 | Inf
927.82/927.86 c 899s| 1350k| 1350k| 2945k| 2.2 |1358M| 241 | 0 |1800 |1700 |1800 | 313 | 921k| 0 |5286 | 0.000000e+00 | 4.209250e+05 | Inf
934.22/934.29 c 905s| 1360k| 1360k| 2959k| 2.2 |1368M| 241 | 0 |1800 |1700 |1800 | 244 | 926k| 0 |5288 | 0.000000e+00 | 4.209250e+05 | Inf
940.71/940.72 c 912s| 1370k| 1370k| 2972k| 2.2 |1378M| 241 | 0 |1800 |1700 |1800 | 287 | 930k| 0 |5303 | 0.000000e+00 | 4.209250e+05 | Inf
947.12/947.12 c 918s| 1380k| 1380k| 2985k| 2.2 |1388M| 241 | 0 |1800 |1700 |1800 | 307 | 935k| 0 |5306 | 0.000000e+00 | 4.209250e+05 | Inf
953.42/953.45 c 924s| 1390k| 1390k| 2996k| 2.2 |1398M| 241 | 4 |1800 |1700 |1800 | 243 | 939k| 0 |5320 | 0.000000e+00 | 4.209250e+05 | Inf
959.81/959.83 c 930s| 1400k| 1400k| 3009k| 2.1 |1408M| 241 | 0 |1800 |1700 |1800 | 307 | 943k| 0 |5321 | 0.000000e+00 | 4.209250e+05 | Inf
966.22/966.29 c 936s| 1410k| 1410k| 3024k| 2.1 |1418M| 241 | 0 |1800 |1700 |1800 | 263 | 949k| 0 |5337 | 0.000000e+00 | 4.209250e+05 | Inf
972.61/972.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
972.61/972.69 c 943s| 1420k| 1420k| 3037k| 2.1 |1428M| 241 | 3 |1800 |1700 |1800 | 267 | 953k| 0 |5348 | 0.000000e+00 | 4.209250e+05 | Inf
978.92/978.95 c 949s| 1430k| 1430k| 3047k| 2.1 |1438M| 241 | 0 |1800 |1700 |1800 | 293 | 957k| 0 |5357 | 0.000000e+00 | 4.209250e+05 | Inf
985.31/985.35 c 955s| 1440k| 1440k| 3061k| 2.1 |1448M| 241 | 0 |1800 |1700 |1800 | 247 | 962k| 0 |5364 | 0.000000e+00 | 4.209250e+05 | Inf
991.72/991.76 c 961s| 1450k| 1450k| 3073k| 2.1 |1458M| 241 | 0 |1800 |1700 |1800 | 281 | 966k| 0 |5377 | 0.000000e+00 | 4.209250e+05 | Inf
998.12/998.17 c 967s| 1460k| 1460k| 3087k| 2.1 |1467M| 241 | 0 |1800 |1700 |1800 | 278 | 970k| 0 |5391 | 0.000000e+00 | 4.209250e+05 | Inf
1004.52/1004.58 c 974s| 1470k| 1470k| 3099k| 2.1 |1477M| 241 | 0 |1800 |1700 |1800 | 258 | 975k| 0 |5393 | 0.000000e+00 | 4.209250e+05 | Inf
1010.93/1010.99 c 980s| 1480k| 1480k| 3111k| 2.1 |1487M| 241 | 7 |1800 |1700 |1800 | 255 | 979k| 0 |5412 | 0.000000e+00 | 4.209250e+05 | Inf
1017.32/1017.38 c 986s| 1490k| 1490k| 3124k| 2.1 |1497M| 241 | 0 |1800 |1700 |1800 | 280 | 984k| 0 |5412 | 0.000000e+00 | 4.209250e+05 | Inf
1023.82/1023.87 c 992s| 1500k| 1500k| 3139k| 2.1 |1507M| 241 | 0 |1800 |1700 |1800 | 311 | 989k| 0 |5425 | 0.000000e+00 | 4.209250e+05 | Inf
1030.32/1030.34 c 999s| 1510k| 1510k| 3153k| 2.1 |1517M| 241 | 0 |1800 |1700 |1800 | 265 | 994k| 0 |5429 | 0.000000e+00 | 4.209250e+05 | Inf
1036.72/1036.72 c 1005s| 1520k| 1520k| 3166k| 2.1 |1527M| 241 | 6 |1800 |1700 |1800 | 267 | 998k| 0 |5444 | 0.000000e+00 | 4.209250e+05 | Inf
1043.12/1043.18 c 1011s| 1530k| 1530k| 3180k| 2.1 |1537M| 241 | 5 |1800 |1700 |1800 | 298 |1004k| 0 |5457 | 0.000000e+00 | 4.209250e+05 | Inf
1049.52/1049.57 c 1017s| 1540k| 1540k| 3191k| 2.1 |1547M| 241 | 0 |1800 |1700 |1800 | 260 |1008k| 0 |5458 | 0.000000e+00 | 4.209250e+05 | Inf
1055.92/1055.98 c 1024s| 1550k| 1550k| 3206k| 2.1 |1557M| 241 | 0 |1800 |1700 |1800 | 267 |1013k| 0 |5474 | 0.000000e+00 | 4.209250e+05 | Inf
1062.22/1062.28 c 1030s| 1560k| 1560k| 3216k| 2.1 |1567M| 241 | 0 |1800 |1700 |1800 | 288 |1016k| 0 |5474 | 0.000000e+00 | 4.209250e+05 | Inf
1068.72/1068.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1068.72/1068.70 c 1036s| 1570k| 1570k| 3230k| 2.1 |1577M| 241 | 0 |1800 |1700 |1800 | 277 |1021k| 0 |5490 | 0.000000e+00 | 4.209250e+05 | Inf
1075.12/1075.14 c 1042s| 1580k| 1580k| 3244k| 2.1 |1587M| 241 | 7 |1800 |1700 |1800 | 259 |1026k| 0 |5498 | 0.000000e+00 | 4.209250e+05 | Inf
1081.42/1081.44 c 1048s| 1590k| 1590k| 3256k| 2.0 |1597M| 241 | 0 |1800 |1700 |1800 | 304 |1030k| 0 |5513 | 0.000000e+00 | 4.209250e+05 | Inf
1087.93/1087.93 c 1055s| 1600k| 1600k| 3271k| 2.0 |1607M| 241 | 0 |1800 |1700 |1800 | 274 |1035k| 0 |5525 | 0.000000e+00 | 4.209250e+05 | Inf
1094.22/1094.20 c 1061s| 1610k| 1610k| 3281k| 2.0 |1617M| 241 | 4 |1800 |1700 |1800 | 255 |1039k| 0 |5528 | 0.000000e+00 | 4.209250e+05 | Inf
1100.62/1100.60 c 1067s| 1620k| 1620k| 3295k| 2.0 |1627M| 241 | 0 |1800 |1700 |1800 | 264 |1043k| 0 |5536 | 0.000000e+00 | 4.209250e+05 | Inf
1107.02/1107.04 c 1073s| 1630k| 1630k| 3309k| 2.0 |1637M| 241 | 0 |1800 |1700 |1800 | 267 |1048k| 0 |5546 | 0.000000e+00 | 4.209250e+05 | Inf
1113.42/1113.47 c 1079s| 1640k| 1640k| 3322k| 2.0 |1646M| 241 | 0 |1800 |1700 |1800 | 270 |1053k| 0 |5562 | 0.000000e+00 | 4.209250e+05 | Inf
1119.73/1119.74 c 1086s| 1650k| 1650k| 3333k| 2.0 |1656M| 241 | 0 |1800 |1700 |1800 | 254 |1057k| 0 |5570 | 0.000000e+00 | 4.209250e+05 | Inf
1126.12/1126.13 c 1092s| 1660k| 1660k| 3346k| 2.0 |1666M| 241 | 0 |1800 |1700 |1800 | 288 |1062k| 0 |5578 | 0.000000e+00 | 4.209250e+05 | Inf
1132.52/1132.54 c 1098s| 1670k| 1670k| 3359k| 2.0 |1676M| 241 | 0 |1800 |1700 |1800 | 285 |1066k| 0 |5591 | 0.000000e+00 | 4.209250e+05 | Inf
1138.92/1138.94 c 1104s| 1680k| 1680k| 3372k| 2.0 |1686M| 241 | 0 |1800 |1700 |1800 | 264 |1071k| 0 |5599 | 0.000000e+00 | 4.209250e+05 | Inf
1145.22/1145.28 c 1110s| 1690k| 1690k| 3384k| 2.0 |1696M| 241 | 6 |1800 |1700 |1800 | 282 |1075k| 0 |5610 | 0.000000e+00 | 4.209250e+05 | Inf
1151.52/1151.59 c 1117s| 1700k| 1700k| 3395k| 2.0 |1706M| 241 | 0 |1800 |1700 |1800 | 283 |1079k| 0 |5612 | 0.000000e+00 | 4.209250e+05 | Inf
1158.02/1158.03 c 1123s| 1710k| 1710k| 3408k| 2.0 |1716M| 241 | 0 |1800 |1700 |1800 | 279 |1083k| 0 |5626 | 0.000000e+00 | 4.209250e+05 | Inf
1164.42/1164.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1164.42/1164.46 c 1129s| 1720k| 1720k| 3422k| 2.0 |1726M| 241 | 0 |1800 |1700 |1800 | 271 |1088k| 0 |5634 | 0.000000e+00 | 4.209250e+05 | Inf
1170.82/1170.86 c 1135s| 1730k| 1730k| 3433k| 2.0 |1736M| 241 | 25 |1800 |1700 |1800 | 281 |1092k| 0 |5642 | 0.000000e+00 | 4.209250e+05 | Inf
1177.23/1177.24 c 1141s| 1740k| 1740k| 3446k| 2.0 |1746M| 241 | 0 |1800 |1700 |1800 | 274 |1096k| 0 |5648 | 0.000000e+00 | 4.209250e+05 | Inf
1183.53/1183.56 c 1148s| 1750k| 1750k| 3457k| 2.0 |1756M| 241 | 0 |1800 |1700 |1800 | 287 |1100k| 0 |5660 | 0.000000e+00 | 4.209250e+05 | Inf
1189.82/1189.81 c 1154s| 1760k| 1760k| 3466k| 2.0 |1766M| 241 | 0 |1800 |1700 |1800 | 263 |1103k| 0 |5666 | 0.000000e+00 | 4.209250e+05 | Inf
1196.22/1196.22 c 1160s| 1770k| 1770k| 3480k| 2.0 |1776M| 241 | 0 |1800 |1700 |1800 | 274 |1108k| 0 |5679 | 0.000000e+00 | 4.209250e+05 | Inf
1202.62/1202.62 c 1166s| 1780k| 1780k| 3493k| 2.0 |1786M| 241 | 0 |1800 |1700 |1800 | 283 |1113k| 0 |5684 | 0.000000e+00 | 4.209250e+05 | Inf
1209.03/1209.06 c 1172s| 1790k| 1790k| 3504k| 2.0 |1796M| 241 | 0 |1800 |1700 |1800 | 273 |1116k| 0 |5691 | 0.000000e+00 | 4.209250e+05 | Inf
1215.43/1215.50 c 1179s| 1800k| 1800k| 3518k| 2.0 |1806M| 241 | 22 |1800 |1700 |1800 | 222 |1121k| 0 |5702 | 0.000000e+00 | 4.209250e+05 | Inf
1221.92/1221.92 c 1185s| 1810k| 1810k| 3532k| 2.0 |1816M| 241 | 0 |1800 |1700 |1800 | 291 |1126k| 0 |5706 | 0.000000e+00 | 4.209250e+05 | Inf
1228.22/1228.29 c 1191s| 1820k| 1820k| 3544k| 1.9 |1825M| 241 | 0 |1800 |1700 |1800 | 287 |1130k| 0 |5719 | 0.000000e+00 | 4.209250e+05 | Inf
1234.62/1234.69 c 1197s| 1830k| 1830k| 3558k| 1.9 |1835M| 241 | 0 |1800 |1700 |1800 | 283 |1135k| 0 |5723 | 0.000000e+00 | 4.209250e+05 | Inf
1241.03/1241.06 c 1203s| 1840k| 1840k| 3571k| 1.9 |1845M| 241 | 2 |1800 |1700 |1800 | 261 |1140k| 0 |5738 | 0.000000e+00 | 4.209250e+05 | Inf
1247.44/1247.40 c 1210s| 1850k| 1850k| 3582k| 1.9 |1855M| 241 | 0 |1800 |1700 |1800 | 282 |1144k| 0 |5739 | 0.000000e+00 | 4.209250e+05 | Inf
1253.73/1253.78 c 1216s| 1860k| 1860k| 3595k| 1.9 |1865M| 241 | 0 |1800 |1700 |1800 | 269 |1149k| 0 |5761 | 0.000000e+00 | 4.209250e+05 | Inf
1260.23/1260.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1260.23/1260.20 c 1222s| 1870k| 1870k| 3607k| 1.9 |1875M| 241 | 0 |1800 |1700 |1800 | 278 |1153k| 0 |5761 | 0.000000e+00 | 4.209250e+05 | Inf
1266.52/1266.54 c 1228s| 1880k| 1880k| 3617k| 1.9 |1885M| 241 | 0 |1800 |1700 |1800 | 271 |1157k| 0 |5774 | 0.000000e+00 | 4.209250e+05 | Inf
1272.92/1272.92 c 1234s| 1890k| 1890k| 3629k| 1.9 |1895M| 241 | 0 |1800 |1700 |1800 | 255 |1161k| 0 |5776 | 0.000000e+00 | 4.209250e+05 | Inf
1279.23/1279.30 c 1241s| 1900k| 1900k| 3642k| 1.9 |1905M| 241 | 0 |1800 |1700 |1800 | 303 |1165k| 0 |5790 | 0.000000e+00 | 4.209250e+05 | Inf
1285.73/1285.74 c 1247s| 1910k| 1910k| 3655k| 1.9 |1915M| 241 | 0 |1800 |1700 |1800 | 304 |1170k| 0 |5798 | 0.000000e+00 | 4.209250e+05 | Inf
1292.12/1292.12 c 1253s| 1920k| 1920k| 3667k| 1.9 |1925M| 241 | 0 |1800 |1700 |1800 | 269 |1175k| 0 |5811 | 0.000000e+00 | 4.209250e+05 | Inf
1298.53/1298.51 c 1259s| 1930k| 1930k| 3681k| 1.9 |1935M| 241 | 5 |1800 |1700 |1800 | 257 |1179k| 0 |5813 | 0.000000e+00 | 4.209250e+05 | Inf
1304.83/1304.89 c 1265s| 1940k| 1940k| 3694k| 1.9 |1945M| 241 | 0 |1800 |1700 |1800 | 288 |1184k| 0 |5832 | 0.000000e+00 | 4.209250e+05 | Inf
1311.23/1311.27 c 1272s| 1950k| 1950k| 3707k| 1.9 |1955M| 241 | 0 |1800 |1700 |1800 | 293 |1188k| 0 |5837 | 0.000000e+00 | 4.209250e+05 | Inf
1317.63/1317.67 c 1278s| 1960k| 1960k| 3720k| 1.9 |1965M| 241 | 0 |1800 |1700 |1800 | 268 |1193k| 0 |5851 | 0.000000e+00 | 4.209250e+05 | Inf
1323.83/1323.87 c 1284s| 1970k| 1970k| 3729k| 1.9 |1975M| 241 | 0 |1800 |1700 |1800 | 275 |1196k| 0 |5852 | 0.000000e+00 | 4.209250e+05 | Inf
1330.23/1330.25 c 1290s| 1980k| 1980k| 3742k| 1.9 |1985M| 241 | 0 |1800 |1700 |1800 | 278 |1200k| 0 |5866 | 0.000000e+00 | 4.209250e+05 | Inf
1336.63/1336.67 c 1296s| 1990k| 1990k| 3756k| 1.9 |1995M| 241 | 0 |1800 |1700 |1800 | 260 |1205k| 0 |5869 | 0.000000e+00 | 4.209250e+05 | Inf
1342.93/1342.97 c 1302s| 2000k| 2000k| 3767k| 1.9 |2004M| 241 | 0 |1800 |1700 |1800 | 257 |1209k| 0 |5882 | 0.000000e+00 | 4.209250e+05 | Inf
1349.32/1349.32 c 1309s| 2010k| 2010k| 3780k| 1.9 |2014M| 241 | 0 |1800 |1700 |1800 | 280 |1214k| 0 |5888 | 0.000000e+00 | 4.209250e+05 | Inf
1355.73/1355.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1355.73/1355.72 c 1315s| 2020k| 2020k| 3792k| 1.9 |2024M| 241 | 0 |1800 |1700 |1800 | 267 |1218k| 0 |5900 | 0.000000e+00 | 4.209250e+05 | Inf
1362.03/1362.04 c 1321s| 2030k| 2030k| 3804k| 1.9 |2034M| 241 | 0 |1800 |1700 |1800 | 260 |1223k| 0 |5906 | 0.000000e+00 | 4.209250e+05 | Inf
1368.43/1368.47 c 1327s| 2040k| 2040k| 3818k| 1.9 |2044M| 241 | 5 |1800 |1700 |1800 | 263 |1227k| 0 |5919 | 0.000000e+00 | 4.209250e+05 | Inf
1374.83/1374.81 c 1333s| 2050k| 2050k| 3830k| 1.9 |2054M| 241 | 0 |1800 |1700 |1800 | 264 |1232k| 0 |5919 | 0.000000e+00 | 4.209250e+05 | Inf
1381.13/1381.19 c 1340s| 2060k| 2060k| 3842k| 1.9 |2064M| 241 | 0 |1800 |1700 |1800 | 263 |1236k| 0 |5931 | 0.000000e+00 | 4.209250e+05 | Inf
1387.53/1387.53 c 1346s| 2070k| 2070k| 3854k| 1.9 |2074M| 241 | 0 |1800 |1700 |1800 | 292 |1240k| 0 |5936 | 0.000000e+00 | 4.209250e+05 | Inf
1393.73/1393.80 c 1352s| 2080k| 2080k| 3864k| 1.9 |2084M| 241 | 0 |1800 |1700 |1800 | 268 |1243k| 0 |5948 | 0.000000e+00 | 4.209250e+05 | Inf
1400.13/1400.12 c 1358s| 2090k| 2090k| 3876k| 1.9 |2094M| 241 | 0 |1800 |1700 |1800 | 300 |1247k| 0 |5948 | 0.000000e+00 | 4.209250e+05 | Inf
1406.53/1406.58 c 1364s| 2100k| 2100k| 3889k| 1.9 |2104M| 241 | 0 |1800 |1700 |1800 | 289 |1252k| 0 |5960 | 0.000000e+00 | 4.209250e+05 | Inf
1412.93/1412.90 c 1370s| 2110k| 2110k| 3901k| 1.8 |2114M| 241 | 0 |1800 |1700 |1800 | 289 |1256k| 0 |5963 | 0.000000e+00 | 4.209250e+05 | Inf
1419.23/1419.23 c 1377s| 2120k| 2120k| 3913k| 1.8 |2124M| 241 | 0 |1800 |1700 |1800 | 267 |1260k| 0 |5976 | 0.000000e+00 | 4.209250e+05 | Inf
1425.63/1425.63 c 1383s| 2130k| 2130k| 3926k| 1.8 |2134M| 241 | 11 |1800 |1700 |1800 | 243 |1265k| 0 |5977 | 0.000000e+00 | 4.209250e+05 | Inf
1431.93/1431.94 c 1389s| 2140k| 2140k| 3937k| 1.8 |2143M| 241 | 0 |1800 |1700 |1800 | 265 |1269k| 0 |5992 | 0.000000e+00 | 4.209250e+05 | Inf
1438.13/1438.19 c 1395s| 2150k| 2150k| 3947k| 1.8 |2153M| 241 | 0 |1800 |1700 |1800 | 280 |1272k| 0 |5996 | 0.000000e+00 | 4.209250e+05 | Inf
1444.63/1444.60 c 1401s| 2160k| 2160k| 3959k| 1.8 |2163M| 241 | 0 |1800 |1700 |1800 | 260 |1276k| 0 |6000 | 0.000000e+00 | 4.209250e+05 | Inf
1451.03/1451.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1451.03/1451.01 c 1407s| 2170k| 2170k| 3971k| 1.8 |2173M| 241 | 0 |1800 |1700 |1800 | 294 |1280k| 0 |6014 | 0.000000e+00 | 4.209250e+05 | Inf
1457.34/1457.37 c 1414s| 2180k| 2180k| 3982k| 1.8 |2183M| 241 | 0 |1800 |1700 |1800 | 290 |1284k| 0 |6014 | 0.000000e+00 | 4.209250e+05 | Inf
1463.73/1463.76 c 1420s| 2190k| 2190k| 3995k| 1.8 |2193M| 241 | 0 |1800 |1700 |1800 | 284 |1289k| 0 |6027 | 0.000000e+00 | 4.209250e+05 | Inf
1470.23/1470.22 c 1426s| 2200k| 2200k| 4009k| 1.8 |2203M| 241 | 10 |1800 |1700 |1800 | 279 |1293k| 0 |6035 | 0.000000e+00 | 4.209250e+05 | Inf
1476.73/1476.72 c 1432s| 2210k| 2210k| 4024k| 1.8 |2213M| 241 | 0 |1800 |1700 |1800 | 290 |1299k| 0 |6041 | 0.000000e+00 | 4.209250e+05 | Inf
1483.14/1483.19 c 1439s| 2220k| 2220k| 4038k| 1.8 |2223M| 241 | 0 |1800 |1700 |1800 | 312 |1303k| 0 |6055 | 0.000000e+00 | 4.209250e+05 | Inf
1489.63/1489.66 c 1445s| 2230k| 2230k| 4051k| 1.8 |2233M| 241 | 0 |1800 |1700 |1800 | 271 |1308k| 0 |6060 | 0.000000e+00 | 4.209250e+05 | Inf
1496.04/1496.02 c 1451s| 2240k| 2240k| 4062k| 1.8 |2243M| 241 | 6 |1800 |1700 |1800 | 262 |1311k| 0 |6074 | 0.000000e+00 | 4.209250e+05 | Inf
1502.33/1502.36 c 1457s| 2250k| 2250k| 4073k| 1.8 |2253M| 241 | 0 |1800 |1700 |1800 | 270 |1315k| 0 |6081 | 0.000000e+00 | 4.209250e+05 | Inf
1508.73/1508.77 c 1463s| 2260k| 2260k| 4085k| 1.8 |2263M| 241 | 0 |1800 |1700 |1800 | 284 |1320k| 0 |6083 | 0.000000e+00 | 4.209250e+05 | Inf
1515.04/1515.05 c 1470s| 2270k| 2270k| 4096k| 1.8 |2273M| 241 | 0 |1800 |1700 |1800 | 271 |1323k| 0 |6097 | 0.000000e+00 | 4.209250e+05 | Inf
1521.43/1521.45 c 1476s| 2280k| 2280k| 4110k| 1.8 |2282M| 241 | 0 |1800 |1700 |1800 | 296 |1328k| 0 |6097 | 0.000000e+00 | 4.209250e+05 | Inf
1527.84/1527.82 c 1482s| 2290k| 2290k| 4121k| 1.8 |2292M| 241 | 0 |1800 |1700 |1800 | 267 |1332k| 0 |6109 | 0.000000e+00 | 4.209250e+05 | Inf
1534.13/1534.13 c 1488s| 2300k| 2300k| 4133k| 1.8 |2302M| 241 | 21 |1800 |1700 |1800 | 233 |1336k| 0 |6110 | 0.000000e+00 | 4.209250e+05 | Inf
1540.53/1540.54 c 1494s| 2310k| 2310k| 4146k| 1.8 |2312M| 241 | 0 |1800 |1700 |1800 | 271 |1341k| 0 |6123 | 0.000000e+00 | 4.209250e+05 | Inf
1546.94/1546.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1546.94/1546.92 c 1501s| 2320k| 2320k| 4157k| 1.8 |2322M| 241 | 0 |1800 |1700 |1800 | 270 |1344k| 0 |6123 | 0.000000e+00 | 4.209250e+05 | Inf
1553.24/1553.28 c 1507s| 2330k| 2330k| 4168k| 1.8 |2332M| 241 | 0 |1800 |1700 |1800 | 299 |1349k| 0 |6136 | 0.000000e+00 | 4.209250e+05 | Inf
1559.63/1559.64 c 1513s| 2340k| 2340k| 4179k| 1.8 |2342M| 241 | 0 |1800 |1700 |1800 | 290 |1353k| 0 |6139 | 0.000000e+00 | 4.209250e+05 | Inf
1565.93/1565.92 c 1519s| 2350k| 2350k| 4191k| 1.8 |2352M| 241 | 0 |1800 |1700 |1800 | 276 |1357k| 0 |6148 | 0.000000e+00 | 4.209250e+05 | Inf
1572.23/1572.24 c 1525s| 2360k| 2360k| 4202k| 1.8 |2362M| 241 | 0 |1800 |1700 |1800 | 261 |1361k| 0 |6155 | 0.000000e+00 | 4.209250e+05 | Inf
1578.54/1578.50 c 1531s| 2370k| 2370k| 4213k| 1.8 |2372M| 241 | 0 |1800 |1700 |1800 | 278 |1365k| 0 |6156 | 0.000000e+00 | 4.209250e+05 | Inf
1584.83/1584.88 c 1537s| 2380k| 2380k| 4226k| 1.8 |2382M| 241 | 7 |1800 |1700 |1800 | 241 |1369k| 0 |6168 | 0.000000e+00 | 4.209250e+05 | Inf
1591.24/1591.20 c 1543s| 2390k| 2390k| 4236k| 1.8 |2392M| 241 | 0 |1800 |1700 |1800 | 263 |1373k| 0 |6174 | 0.000000e+00 | 4.209250e+05 | Inf
1597.63/1597.60 c 1550s| 2400k| 2400k| 4248k| 1.8 |2402M| 241 | 0 |1800 |1700 |1800 | 297 |1377k| 0 |6189 | 0.000000e+00 | 4.209250e+05 | Inf
1604.03/1604.06 c 1556s| 2410k| 2410k| 4262k| 1.8 |2412M| 241 | 0 |1800 |1700 |1800 | 267 |1382k| 0 |6189 | 0.000000e+00 | 4.209250e+05 | Inf
1610.54/1610.50 c 1562s| 2420k| 2420k| 4276k| 1.8 |2421M| 241 | 0 |1800 |1700 |1800 | 245 |1387k| 0 |6203 | 0.000000e+00 | 4.209250e+05 | Inf
1616.83/1616.84 c 1568s| 2430k| 2430k| 4287k| 1.8 |2431M| 241 | 0 |1800 |1700 |1800 | 272 |1391k| 0 |6203 | 0.000000e+00 | 4.209250e+05 | Inf
1623.24/1623.21 c 1574s| 2440k| 2440k| 4300k| 1.8 |2441M| 241 | 0 |1800 |1700 |1800 | 266 |1395k| 0 |6221 | 0.000000e+00 | 4.209250e+05 | Inf
1629.63/1629.60 c 1581s| 2450k| 2450k| 4311k| 1.8 |2451M| 241 | 0 |1800 |1700 |1800 | 261 |1399k| 0 |6222 | 0.000000e+00 | 4.209250e+05 | Inf
1635.83/1635.84 c 1587s| 2460k| 2460k| 4321k| 1.8 |2461M| 241 | 0 |1800 |1700 |1800 | 268 |1403k| 0 |6232 | 0.000000e+00 | 4.209250e+05 | Inf
1642.24/1642.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1642.24/1642.23 c 1593s| 2470k| 2470k| 4333k| 1.8 |2471M| 241 | 4 |1800 |1700 |1800 | 256 |1407k| 0 |6236 | 0.000000e+00 | 4.209250e+05 | Inf
1648.34/1648.35 c 1599s| 2480k| 2480k| 4342k| 1.8 |2481M| 241 | 0 |1800 |1700 |1800 | 260 |1410k| 0 |6236 | 0.000000e+00 | 4.209250e+05 | Inf
1654.74/1654.71 c 1605s| 2490k| 2490k| 4353k| 1.7 |2491M| 241 | 0 |1800 |1700 |1800 | 280 |1414k| 0 |6256 | 0.000000e+00 | 4.209250e+05 | Inf
1661.13/1661.14 c 1611s| 2500k| 2500k| 4368k| 1.7 |2501M| 241 | 3 |1800 |1700 |1800 | 259 |1419k| 0 |6256 | 0.000000e+00 | 4.209250e+05 | Inf
1667.54/1667.56 c 1618s| 2510k| 2510k| 4381k| 1.7 |2511M| 241 | 0 |1800 |1700 |1800 | 306 |1423k| 0 |6269 | 0.000000e+00 | 4.209250e+05 | Inf
1673.93/1673.91 c 1624s| 2520k| 2520k| 4392k| 1.7 |2521M| 241 | 0 |1800 |1700 |1800 | 264 |1427k| 0 |6273 | 0.000000e+00 | 4.209250e+05 | Inf
1680.34/1680.32 c 1630s| 2530k| 2530k| 4405k| 1.7 |2531M| 241 | 10 |1800 |1700 |1800 | 243 |1432k| 0 |6286 | 0.000000e+00 | 4.209250e+05 | Inf
1686.54/1686.54 c 1636s| 2540k| 2540k| 4416k| 1.7 |2541M| 241 | 0 |1800 |1700 |1800 | 288 |1436k| 0 |6289 | 0.000000e+00 | 4.209250e+05 | Inf
1692.74/1692.79 c 1642s| 2550k| 2550k| 4425k| 1.7 |2551M| 241 | 0 |1800 |1700 |1800 | 269 |1439k| 0 |6294 | 0.000000e+00 | 4.209250e+05 | Inf
1699.04/1699.00 c 1648s| 2560k| 2560k| 4435k| 1.7 |2560M| 241 | 0 |1800 |1700 |1800 | 302 |1442k| 0 |6302 | 0.000000e+00 | 4.209250e+05 | Inf
1705.44/1705.41 c 1654s| 2570k| 2570k| 4447k| 1.7 |2570M| 241 | 0 |1800 |1700 |1800 | 255 |1447k| 0 |6302 | 0.000000e+00 | 4.209250e+05 | Inf
1711.74/1711.77 c 1660s| 2580k| 2580k| 4457k| 1.7 |2580M| 241 | 0 |1800 |1700 |1800 | 284 |1450k| 0 |6315 | 0.000000e+00 | 4.209250e+05 | Inf
1718.25/1718.25 c 1667s| 2590k| 2590k| 4470k| 1.7 |2590M| 241 | 0 |1800 |1700 |1800 | 274 |1455k| 0 |6320 | 0.000000e+00 | 4.209250e+05 | Inf
1724.64/1724.69 c 1673s| 2600k| 2600k| 4482k| 1.7 |2600M| 241 | 0 |1800 |1700 |1800 | 287 |1459k| 0 |6332 | 0.000000e+00 | 4.209250e+05 | Inf
1731.14/1731.10 c 1679s| 2610k| 2610k| 4493k| 1.7 |2610M| 241 | 0 |1800 |1700 |1800 | 270 |1463k| 0 |6337 | 0.000000e+00 | 4.209250e+05 | Inf
1737.44/1737.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1737.44/1737.48 c 1685s| 2620k| 2620k| 4504k| 1.7 |2620M| 241 | 0 |1800 |1700 |1800 | 315 |1467k| 0 |6337 | 0.000000e+00 | 4.209250e+05 | Inf
1743.64/1743.66 c 1691s| 2630k| 2630k| 4513k| 1.7 |2630M| 241 | 0 |1800 |1700 |1800 | 284 |1470k| 0 |6348 | 0.000000e+00 | 4.209250e+05 | Inf
1749.94/1749.94 c 1697s| 2640k| 2640k| 4524k| 1.7 |2640M| 241 | 0 |1800 |1700 |1800 | 273 |1475k| 0 |6348 | 0.000000e+00 | 4.209250e+05 | Inf
1756.34/1756.33 c 1704s| 2650k| 2650k| 4535k| 1.7 |2650M| 241 | 0 |1800 |1700 |1800 | 273 |1479k| 0 |6359 | 0.000000e+00 | 4.209250e+05 | Inf
1762.64/1762.63 c 1710s| 2660k| 2660k| 4545k| 1.7 |2660M| 241 | 20 |1800 |1700 |1800 | 255 |1482k| 0 |6363 | 0.000000e+00 | 4.209250e+05 | Inf
1768.94/1768.98 c 1716s| 2670k| 2670k| 4557k| 1.7 |2670M| 241 | 0 |1800 |1700 |1800 | 275 |1487k| 0 |6368 | 0.000000e+00 | 4.209250e+05 | Inf
1775.44/1775.45 c 1722s| 2680k| 2680k| 4571k| 1.7 |2680M| 241 | 0 |1800 |1700 |1800 | 288 |1492k| 0 |6381 | 0.000000e+00 | 4.209250e+05 | Inf
1781.74/1781.77 c 1728s| 2690k| 2690k| 4582k| 1.7 |2690M| 241 | 8 |1800 |1700 |1800 | 272 |1496k| 0 |6382 | 0.000000e+00 | 4.209250e+05 | Inf
1788.14/1788.10 c 1734s| 2700k| 2700k| 4593k| 1.7 |2700M| 241 | 0 |1800 |1700 |1800 | 275 |1500k| 0 |6396 | 0.000000e+00 | 4.209250e+05 | Inf
1794.54/1794.51 c 1741s| 2710k| 2710k| 4606k| 1.7 |2709M| 241 | 0 |1800 |1700 |1800 | 282 |1504k| 0 |6402 | 0.000000e+00 | 4.209250e+05 | Inf
1800.05/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.00 c
1800.05/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.00 c Solving Time (sec) : 1746.02
1800.05/1800.00 c Solving Nodes : 2718772
1800.05/1800.00 c Primal Bound : +4.20925000000000e+05 (100 solutions)
1800.05/1800.00 c Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Gap : infinite
1800.05/1800.01 s SATISFIABLE
1800.05/1800.01 v x200 -x199 x198 -x197 x196 -x195 x194 -x193 x192 -x191 x190 -x189 x188 -x187 x186 -x185 x184 -x183 x182 -x181 x180 -x179 x178 -x177
1800.05/1800.01 v x176 -x175 x174 -x173 x172 -x171 x170 -x169 x168 -x167 x166 -x165 x164 -x163 x162 -x161 x160 -x159 x158 -x157 x156 -x155
1800.05/1800.01 v x154 -x153 x152 -x151 x150 -x149 x148 -x147 x146 -x145 x144 -x143 x142 -x141 x140 -x139 x138 -x137 x136 -x135 x134 -x133 x132
1800.05/1800.01 v -x131 x130 -x129 x128 -x127 x126 -x125 x124 -x123 x122 -x121 x120 -x119 x118 -x117 x116 -x115 x114 -x113 x112 -x111 x110 -x109
1800.05/1800.01 v x108 -x107 x106 -x105 x104 -x103 x102 -x101 x100 -x99 x98 -x97 x96 -x95 x94 -x93 x92 -x91 x90 -x89 x88 -x87 x86 -x85 x84
1800.05/1800.01 v -x83 x82 -x81 x80 -x79 x78 -x77 x76 -x75 x74 -x73 x72 -x71 x70 -x69 x68 -x67 x66 -x65 x64 -x63 x62 -x61 x60 -x59 x58 -x57 x56
1800.05/1800.01 v -x55 x54 -x53 x52 -x51 x50 -x49 x48 -x47 x46 -x45 x44 -x43 x42 -x41 x40 -x39 x38 -x37 x36 -x35 x34 -x33 x32 -x31 x30 -x29 x28
1800.05/1800.01 v -x27 x26 -x25 x24 -x23 x22 -x21 x20 -x19 x18 -x17 x16 -x15 x14 -x13 x12 -x11 x10 -x9 x8 -x7 x6 -x5 x4 -x3 x2 -x1
1800.05/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.01 c Solving Time : 1746.02
1800.05/1800.01 c Original Problem :
1800.05/1800.01 c Problem name : HOME/instance-2700021-1278533893.wbo
1800.05/1800.01 c Variables : 1900 (1050 binary, 0 integer, 0 implicit integer, 850 continuous)
1800.05/1800.01 c Constraints : 1801 initial, 1801 maximal
1800.05/1800.01 c Presolved Problem :
1800.05/1800.01 c Problem name : t_HOME/instance-2700021-1278533893.wbo
1800.05/1800.01 c Variables : 1800 (950 binary, 0 integer, 0 implicit integer, 850 continuous)
1800.05/1800.01 c Constraints : 1700 initial, 1700 maximal
1800.05/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c probing : 0.01 0 0 0 0 0 0 0 0
1800.05/1800.01 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c linear : 0.02 0 100 0 850 0 101 0 0
1800.05/1800.01 c root node : - 0 - - 0 - - - -
1800.05/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.01 c integral : 0 0 0 2988237 0 0 0 0 0 1055090
1800.05/1800.01 c indicator : 850 0 3713810 2460692 0 0 2746097 0 0 0
1800.05/1800.01 c linear : 850 6 3713810 2460692 0 0 1082331 1507982 0 0
1800.05/1800.01 c countsols : 0 0 0 2191227 0 0 0 0 0 0
1800.05/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.01 c integral : 9.63 0.00 0.00 9.63 0.00
1800.05/1800.01 c indicator : 166.62 0.10 37.53 128.99 0.00
1800.05/1800.01 c linear : 34.79 0.01 15.57 19.21 0.00
1800.05/1800.01 c countsols : 0.50 0.00 0.00 0.50 0.00
1800.05/1800.01 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.01 c vbounds : 1.09 2 0 0
1800.05/1800.01 c rootredcost : 0.85 0 0 0
1800.05/1800.01 c pseudoobj : 59.60 3713610 0 0
1800.05/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.01 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.01 c applied globally : - - - 0 0.0 - - -
1800.05/1800.01 c applied locally : - - - 0 0.0 - - -
1800.05/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.01 c cut pool : 0.00 3 - - 0 - (maximal pool size: 26)
1800.05/1800.01 c redcost : 104.49 2987669 0 0 0 0
1800.05/1800.01 c impliedbounds : 0.00 4 0 0 0 0
1800.05/1800.01 c intobj : 0.00 0 0 0 0 0
1800.05/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.01 c gomory : 0.02 4 0 0 29 0
1800.05/1800.01 c strongcg : 0.00 4 0 0 0 0
1800.05/1800.01 c cmir : 0.01 4 0 0 0 0
1800.05/1800.01 c flowcover : 0.01 4 0 0 0 0
1800.05/1800.01 c clique : 0.00 1 0 0 0 0
1800.05/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.01 c mcf : 0.00 1 0 0 0 0
1800.05/1800.01 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.01 c Pricers : Time Calls Vars
1800.05/1800.01 c problem variables: 0.00 0 0
1800.05/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.01 c relpscost : 8.64 527545 0 0 0 0 1055090
1800.05/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.01 c inference : 149.36 2191227 0 0 0 0 4382454
1800.05/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.01 c random : 0.00 0 0 0 0 0 0
1800.05/1800.01 c Primal Heuristics : Time Calls Found
1800.05/1800.01 c LP solutions : 0.00 - 0
1800.05/1800.01 c pseudo solutions : 0.00 - 0
1800.05/1800.01 c oneopt : 2.09 1 0
1800.05/1800.01 c crossover : 1.07 13 0
1800.05/1800.01 c guideddiving : 11.96 25637 0
1800.05/1800.01 c trivial : 0.01 2 1
1800.05/1800.01 c simplerounding : 1.57 527495 0
1800.05/1800.01 c zirounding : 0.74 1000 0
1800.05/1800.01 c rounding : 1.34 10190 0
1800.05/1800.01 c shifting : 1.65 3239 0
1800.05/1800.01 c intshifting : 0.02 6 0
1800.05/1800.01 c twoopt : 0.00 0 0
1800.05/1800.01 c fixandinfer : 0.00 0 0
1800.05/1800.01 c feaspump : 0.03 0 0
1800.05/1800.01 c coefdiving : 13.17 25638 0
1800.05/1800.01 c pscostdiving : 12.64 25638 0
1800.05/1800.01 c fracdiving : 12.53 25637 0
1800.05/1800.01 c veclendiving : 12.62 25637 0
1800.05/1800.01 c intdiving : 0.00 0 0
1800.05/1800.01 c actconsdiving : 0.00 0 0
1800.05/1800.01 c objpscostdiving : 13.16 25621 0
1800.05/1800.01 c rootsoldiving : 13.68 25621 0
1800.05/1800.01 c linesearchdiving : 12.58 25637 0
1800.05/1800.01 c octane : 0.00 0 0
1800.05/1800.01 c rens : 0.01 1 0
1800.05/1800.01 c rins : 0.00 0 0
1800.05/1800.01 c localbranching : 0.00 0 0
1800.05/1800.01 c mutation : 0.00 0 0
1800.05/1800.01 c dins : 0.00 0 0
1800.05/1800.01 c undercover : 0.00 0 0
1800.05/1800.01 c nlp : 0.73 0 0
1800.05/1800.01 c trysol : 1.30 29539 99
1800.05/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.01 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.01 c dual LP : 715.24 935395 4614965 4.93 6452.33
1800.05/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.01 c diving/probing LP: 0.13 231 705 3.05 5423.08
1800.05/1800.01 c strong branching : 4.77 6409 72128 11.25 15121.17
1800.05/1800.01 c (at root node) : - 33 2183 66.15 -
1800.05/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.01 c B&B Tree :
1800.05/1800.01 c number of runs : 1
1800.05/1800.01 c nodes : 2718772
1800.05/1800.01 c nodes (total) : 2718772
1800.05/1800.01 c nodes left : 2718773
1800.05/1800.01 c max depth : 241
1800.05/1800.01 c max depth (total): 241
1800.05/1800.01 c backtracks : 25721 (0.9%)
1800.05/1800.01 c delayed cutoffs : 0
1800.05/1800.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.05/1800.01 c avg switch length: 2.25
1800.05/1800.01 c switching time : 53.66
1800.05/1800.01 c Solution :
1800.05/1800.01 c Solutions found : 100 (1 improvements)
1800.05/1800.01 c First Solution : +4.20925000000000e+05 (in run 1, after 1 nodes, 0.04 seconds, depth 0, found by <trivial>)
1800.05/1800.01 c Primal Bound : +4.20925000000000e+05 (in run 1, after 1 nodes, 0.04 seconds, depth 0, found by <trivial>)
1800.05/1800.01 c Dual Bound : +0.00000000000000e+00
1800.05/1800.01 c Gap : infinite
1800.05/1800.01 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.01 c Root Iterations : 281
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700021-1278533893/watcher-2700021-1278533893 -o /tmp/evaluation-result-2700021-1278533893/solver-2700021-1278533893 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2700021-1278533893.wbo -t 1800 -m 3800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.19 0.37 0.12 4/178 17333
/proc/meminfo: memFree=30413016/32951124 swapFree=67111528/67111528
[pid=17333] ppid=17331 vsize=10972 CPUtime=0
/proc/17333/stat : 17333 (pbscip.linux.x8) R 17331 17333 16901 0 -1 4202496 1677 0 0 0 0 0 0 0 21 0 1 0 21601897 11235328 1597 4089446400 4194304 9819077 140737429512352 18446744073709551615 8656455 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/17333/statm: 2743 1597 392 1374 0 1364 0
[startup+0.056219 s]
/proc/loadavg: 1.19 0.37 0.12 4/178 17333
/proc/meminfo: memFree=30413016/32951124 swapFree=67111528/67111528
[pid=17333] ppid=17331 vsize=21772 CPUtime=0.05
/proc/17333/stat : 17333 (pbscip.linux.x8) R 17331 17333 16901 0 -1 4202496 5382 0 0 0 4 1 0 0 23 0 1 0 21601897 22294528 4177 4089446400 4194304 9819077 140737429512352 18446744073709551615 5500271 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17333/statm: 5443 4177 508 1374 0 4064 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 21772
[startup+0.100212 s]
/proc/loadavg: 1.19 0.37 0.12 4/178 17333
/proc/meminfo: memFree=30413016/32951124 swapFree=67111528/67111528
[pid=17333] ppid=17331 vsize=25872 CPUtime=0.09
/proc/17333/stat : 17333 (pbscip.linux.x8) R 17331 17333 16901 0 -1 4202496 6322 0 0 0 8 1 0 0 23 0 1 0 21601897 26492928 5047 4089446400 4194304 9819077 140737429512352 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17333/statm: 6468 5047 673 1374 0 5089 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25872
[startup+0.300176 s]
/proc/loadavg: 1.19 0.37 0.12 4/178 17333
/proc/meminfo: memFree=30413016/32951124 swapFree=67111528/67111528
[pid=17333] ppid=17331 vsize=27104 CPUtime=0.29
/proc/17333/stat : 17333 (pbscip.linux.x8) R 17331 17333 16901 0 -1 4202496 12684 0 0 0 27 2 0 0 23 0 1 0 21601897 27754496 5140 4089446400 4194304 9819077 140737429512352 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17333/statm: 6776 5140 700 1374 0 5397 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27104
[startup+0.700103 s]
/proc/loadavg: 1.19 0.37 0.12 4/178 17333
/proc/meminfo: memFree=30413016/32951124 swapFree=67111528/67111528
[pid=17333] ppid=17331 vsize=27096 CPUtime=0.69
/proc/17333/stat : 17333 (pbscip.linux.x8) R 17331 17333 16901 0 -1 4202496 21844 0 0 0 65 4 0 0 25 0 1 0 21601897 27746304 5139 4089446400 4194304 9819077 140737429512352 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17333/statm: 6774 5139 700 1374 0 5395 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27096
[startup+1.50096 s]
/proc/loadavg: 1.19 0.37 0.12 3/179 17334
/proc/meminfo: memFree=30394708/32951124 swapFree=67111528/67111528
[pid=17333] ppid=17331 vsize=27380 CPUtime=1.49
/proc/17333/stat : 17333 (pbscip.linux.x8) R 17331 17333 16901 0 -1 4202496 40097 0 0 0 140 9 0 0 25 0 1 0 21601897 28037120 5472 4089446400 4194304 9819077 140737429512352 18446744073709551615 4820050 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17333/statm: 6845 5472 702 1374 0 5466 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 27380
[startup+3.10068 s]
/proc/loadavg: 1.25 0.39 0.13 3/179 17334
/proc/meminfo: memFree=30388880/32951124 swapFree=67111528/67111528
[pid=17333] ppid=17331 vsize=30748 CPUtime=3.09
/proc/17333/stat : 17333 (pbscip.linux.x8) R 17331 17333 16901 0 -1 4202496 63944 0 0 0 292 17 0 0 25 0 1 0 21601897 31485952 6257 4089446400 4194304 9819077 140737429512352 18446744073709551615 6668147 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17333/statm: 7687 6257 703 1374 0 6308 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 30748
[startup+6.30109 s]
/proc/loadavg: 1.25 0.39 0.13 3/179 17334
/proc/meminfo: memFree=30378592/32951124 swapFree=67111528/67111528
[pid=17333] ppid=17331 vsize=35108 CPUtime=6.29
/proc/17333/stat : 17333 (pbscip.linux.x8) R 17331 17333 16901 0 -1 4202496 91115 0 0 0 601 28 0 0 25 0 1 0 21601897 35950592 7354 4089446400 4194304 9819077 140737429512352 18446744073709551615 4414240 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17333/statm: 8777 7354 703 1374 0 7398 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 35108
[startup+12.7009 s]
/proc/loadavg: 1.37 0.44 0.15 3/179 17335
/proc/meminfo: memFree=30360664/32951124 swapFree=67111528/67111528
[pid=17333] ppid=17331 vsize=44164 CPUtime=12.69
/proc/17333/stat : 17333 (pbscip.linux.x8) R 17331 17333 16901 0 -1 4202496 137464 0 0 0 1220 49 0 0 25 0 1 0 21601897 45223936 9648 4089446400 4194304 9819077 140737429512352 18446744073709551615 6668133 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17333/statm: 11041 9648 703 1374 0 9662 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 44164
[startup+25.5006 s]
/proc/loadavg: 1.46 0.50 0.17 3/179 17335
/proc/meminfo: memFree=30323448/32951124 swapFree=67111528/67111528
[pid=17333] ppid=17331 vsize=62072 CPUtime=25.49
/proc/17333/stat : 17333 (pbscip.linux.x8) R 17331 17333 16901 0 -1 4202496 204251 0 0 0 2462 87 0 0 25 0 1 0 21601897 63561728 14199 4089446400 4194304 9819077 140737429512352 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17333/statm: 15518 14199 703 1374 0 14139 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 62072
[startup+51.101 s]
/proc/loadavg: 1.71 0.63 0.23 3/179 17339
/proc/meminfo: memFree=30255996/32951124 swapFree=67111528/67111528
[pid=17333] ppid=17331 vsize=99752 CPUtime=51.09
/proc/17333/stat : 17333 (pbscip.linux.x8) R 17331 17333 16901 0 -1 4202496 355369 0 0 0 4936 173 0 0 25 0 1 0 21601897 102146048 23235 4089446400 4194304 9819077 140737429512352 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17333/statm: 24938 23235 703 1374 0 23559 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 99752
[startup+102.306 s]
/proc/loadavg: 1.88 0.86 0.33 3/179 17340
/proc/meminfo: memFree=30126968/32951124 swapFree=67111528/67111528
[pid=17333] ppid=17331 vsize=171580 CPUtime=102.29
/proc/17333/stat : 17333 (pbscip.linux.x8) R 17331 17333 16901 0 -1 4202496 622971 0 0 0 9900 329 0 0 25 0 1 0 21601897 175697920 41455 4089446400 4194304 9819077 140737429512352 18446744073709551615 6592487 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17333/statm: 42895 41455 703 1374 0 41516 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 171580
[startup+162.301 s]
/proc/loadavg: 1.95 1.05 0.42 3/179 17342
/proc/meminfo: memFree=29981088/32951124 swapFree=67111528/67111528
[pid=17333] ppid=17331 vsize=250704 CPUtime=162.3
/proc/17333/stat : 17333 (pbscip.linux.x8) R 17331 17333 16901 0 -1 4202496 1045148 0 0 0 15688 542 0 0 25 0 1 0 21601897 256720896 60521 4089446400 4194304 9819077 140737429512352 18446744073709551615 6513023 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17333/statm: 62676 60521 703 1374 0 61297 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 250704
[startup+222.301 s]
/proc/loadavg: 1.98 1.23 0.52 3/179 17343
/proc/meminfo: memFree=29834096/32951124 swapFree=67111528/67111528
[pid=17333] ppid=17331 vsize=328452 CPUtime=222.3
/proc/17333/stat : 17333 (pbscip.linux.x8) R 17331 17333 16901 0 -1 4202496 1443582 0 0 0 21481 749 0 0 25 0 1 0 21601897 336334848 80334 4089446400 4194304 9819077 140737429512352 18446744073709551615 6003349 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17333/statm: 82113 80334 703 1374 0 80734 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 328452
[startup+282.3 s]
/proc/loadavg: 1.99 1.36 0.61 3/179 17345
/proc/meminfo: memFree=29680660/32951124 swapFree=67111528/67111528
[pid=17333] ppid=17331 vsize=410708 CPUtime=282.3
/proc/17333/stat : 17333 (pbscip.linux.x8) R 17331 17333 16901 0 -1 4202496 1751872 0 0 0 27281 949 0 0 25 0 1 0 21601897 420564992 101189 4089446400 4194304 9819077 140737429512352 18446744073709551615 6362169 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17333/statm: 102677 101189 703 1374 0 101298 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 410708
[startup+342.3 s]
/proc/loadavg: 1.99 1.48 0.70 3/179 17346
/proc/meminfo: memFree=29539628/32951124 swapFree=67111528/67111528
[pid=17333] ppid=17331 vsize=492012 CPUtime=342.3
/proc/17333/stat : 17333 (pbscip.linux.x8) R 17331 17333 16901 0 -1 4202496 2073054 0 0 0 33083 1147 0 0 25 0 1 0 21601897 503820288 121794 4089446400 4194304 9819077 140737429512352 18446744073709551615 6003239 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17333/statm: 123003 121794 703 1374 0 121624 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 492012
[startup+402.301 s]
/proc/loadavg: 1.99 1.57 0.77 3/179 17348
/proc/meminfo: memFree=29394972/32951124 swapFree=67111528/67111528
[pid=17333] ppid=17331 vsize=581332 CPUtime=402.3
/proc/17333/stat : 17333 (pbscip.linux.x8) R 17331 17333 16901 0 -1 4202496 2409584 0 0 0 38890 1340 0 0 25 0 1 0 21601897 595283968 142376 4089446400 4194304 9819077 140737429512352 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17333/statm: 145333 142376 703 1374 0 143954 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 581332
[startup+462.301 s]
/proc/loadavg: 1.99 1.65 0.85 3/179 17350
/proc/meminfo: memFree=29229140/32951124 swapFree=67111528/67111528
[pid=17333] ppid=17331 vsize=668156 CPUtime=462.31
/proc/17333/stat : 17333 (pbscip.linux.x8) R 17331 17333 16901 0 -1 4202496 2663746 0 0 0 44711 1520 0 0 25 0 1 0 21601897 684191744 164451 4089446400 4194304 9819077 140737429512352 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17333/statm: 167129 164453 703 1374 0 165750 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 668156
[startup+522.301 s]
/proc/loadavg: 1.99 1.70 0.91 3/179 17351
/proc/meminfo: memFree=29067892/32951124 swapFree=67111528/67111528
[pid=17333] ppid=17331 vsize=761648 CPUtime=522.31
/proc/17333/stat : 17333 (pbscip.linux.x8) R 17331 17333 16901 0 -1 4202496 2903175 0 0 0 50533 1698 0 0 25 0 1 0 21601897 779927552 188165 4089446400 4194304 9819077 140737429512352 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17333/statm: 190412 188165 703 1374 0 189033 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 761648
[startup+582.3 s]
/proc/loadavg: 2.07 1.77 0.98 3/179 17353
/proc/meminfo: memFree=28906508/32951124 swapFree=67111528/67111528
[pid=17333] ppid=17331 vsize=850344 CPUtime=582.3
/proc/17333/stat : 17333 (pbscip.linux.x8) R 17331 17333 16901 0 -1 4202496 3138827 0 0 0 56357 1873 0 0 25 0 1 0 21601897 870752256 210707 4089446400 4194304 9819077 140737429512352 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17333/statm: 212586 210707 703 1374 0 211207 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 850344
[startup+642.3 s]
/proc/loadavg: 2.08 1.83 1.05 3/179 17354
/proc/meminfo: memFree=28741164/32951124 swapFree=67111528/67111528
[pid=17333] ppid=17331 vsize=942096 CPUtime=642.31
/proc/17333/stat : 17333 (pbscip.linux.x8) R 17331 17333 16901 0 -1 4202496 3369260 0 0 0 62185 2046 0 0 25 0 1 0 21601897 964706304 234009 4089446400 4194304 9819077 140737429512352 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17333/statm: 235524 234009 703 1374 0 234145 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 942096
[startup+702.301 s]
################
# More data... #
################
/proc/17333/stat : 17333 (pbscip.linux.x8) R 17331 17333 16901 0 -1 4202496 4900467 0 0 0 102968 3264 0 0 25 0 1 0 21601897 1636737024 396562 4089446400 4194304 9819077 140737429512352 18446744073709551615 6162154 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17333/statm: 399594 396562 703 1374 0 398215 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 1598376
[startup+1122.3 s]
/proc/loadavg: 2.00 1.95 1.42 3/179 17367
/proc/meminfo: memFree=27520140/32951124 swapFree=67111528/67111528
[pid=17333] ppid=17331 vsize=1692256 CPUtime=1122.32
/proc/17333/stat : 17333 (pbscip.linux.x8) R 17331 17333 16901 0 -1 4202496 5103013 0 0 0 108805 3427 0 0 25 0 1 0 21601897 1732870144 420369 4089446400 4194304 9819077 140737429512352 18446744073709551615 7235199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17333/statm: 423064 420369 703 1374 0 421685 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 1692256
[startup+1182.3 s]
/proc/loadavg: 2.00 1.96 1.45 3/179 17369
/proc/meminfo: memFree=27362356/32951124 swapFree=67111528/67111528
[pid=17333] ppid=17331 vsize=1781752 CPUtime=1182.32
/proc/17333/stat : 17333 (pbscip.linux.x8) R 17331 17333 16901 0 -1 4202496 5299601 0 0 0 114628 3604 0 0 25 0 1 0 21601897 1824514048 443131 4089446400 4194304 9819077 140737429512352 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17333/statm: 445438 443131 703 1374 0 444059 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 1781752
[startup+1242.3 s]
/proc/loadavg: 2.00 1.96 1.48 3/179 17370
/proc/meminfo: memFree=27199976/32951124 swapFree=67111528/67111528
[pid=17333] ppid=17331 vsize=1874144 CPUtime=1242.33
/proc/17333/stat : 17333 (pbscip.linux.x8) R 17331 17333 16901 0 -1 4202496 5496194 0 0 0 120468 3765 0 0 25 0 1 0 21601897 1919123456 466604 4089446400 4194304 9819077 140737429512352 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17333/statm: 468536 466604 703 1374 0 467157 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 1874144
[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 1.51 3/179 17372
/proc/meminfo: memFree=27053856/32951124 swapFree=67111528/67111528
[pid=17333] ppid=17331 vsize=1966100 CPUtime=1302.34
/proc/17333/stat : 17333 (pbscip.linux.x8) R 17331 17333 16901 0 -1 4202496 5693212 0 0 0 126296 3938 0 0 25 0 1 0 21601897 2013286400 489960 4089446400 4194304 9819077 140737429512352 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17333/statm: 491525 489960 703 1374 0 490146 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 1966100
[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.54 3/179 17374
/proc/meminfo: memFree=26913664/32951124 swapFree=67111528/67111528
[pid=17333] ppid=17331 vsize=2058148 CPUtime=1362.33
/proc/17333/stat : 17333 (pbscip.linux.x8) R 17331 17333 16901 0 -1 4202496 5885247 0 0 0 132125 4108 0 0 25 0 1 0 21601897 2107543552 513276 4089446400 4194304 9819077 140737429512352 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17333/statm: 514537 513276 703 1374 0 513158 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 2058148
[startup+1422.31 s]
/proc/loadavg: 2.00 1.97 1.57 3/179 17375
/proc/meminfo: memFree=26772112/32951124 swapFree=67111528/67111528
[pid=17333] ppid=17331 vsize=2181572 CPUtime=1422.34
/proc/17333/stat : 17333 (pbscip.linux.x8) R 17331 17333 16901 0 -1 4202496 6088085 0 0 0 137952 4282 0 0 25 0 1 0 21601897 2233929728 536327 4089446400 4194304 9819077 140737429512352 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17333/statm: 545393 536327 703 1374 0 544014 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 2181572
[startup+1482.3 s]
/proc/loadavg: 2.00 1.97 1.59 3/179 17377
/proc/meminfo: memFree=26619780/32951124 swapFree=67111528/67111528
[pid=17333] ppid=17331 vsize=2277600 CPUtime=1482.33
/proc/17333/stat : 17333 (pbscip.linux.x8) R 17331 17333 16901 0 -1 4202496 6303098 0 0 0 143772 4461 0 0 25 0 1 0 21601897 2332262400 560629 4089446400 4194304 9819077 140737429512352 18446744073709551615 5813293 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17333/statm: 569400 560629 703 1374 0 568021 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 2277600
[startup+1542.3 s]
/proc/loadavg: 2.00 1.97 1.61 3/179 17378
/proc/meminfo: memFree=26471172/32951124 swapFree=67111528/67111528
[pid=17333] ppid=17331 vsize=2366940 CPUtime=1542.33
/proc/17333/stat : 17333 (pbscip.linux.x8) R 17331 17333 16901 0 -1 4202496 6513099 0 0 0 149606 4627 0 0 25 0 1 0 21601897 2423746560 583425 4089446400 4194304 9819077 140737429512352 18446744073709551615 6668169 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17333/statm: 591735 583425 703 1374 0 590356 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 2366940
[startup+1602.3 s]
/proc/loadavg: 2.00 1.97 1.63 3/179 17380
/proc/meminfo: memFree=26319092/32951124 swapFree=67111528/67111528
[pid=17333] ppid=17331 vsize=2460940 CPUtime=1602.33
/proc/17333/stat : 17333 (pbscip.linux.x8) R 17331 17333 16901 0 -1 4202496 6722298 0 0 0 155420 4813 0 0 25 0 1 0 21601897 2520002560 607297 4089446400 4194304 9819077 140737429512352 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17333/statm: 615235 607297 703 1374 0 613856 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 2460940
[startup+1662.3 s]
/proc/loadavg: 2.00 1.97 1.65 3/179 17382
/proc/meminfo: memFree=26166248/32951124 swapFree=67111528/67111528
[pid=17333] ppid=17331 vsize=2550792 CPUtime=1662.34
/proc/17333/stat : 17333 (pbscip.linux.x8) R 17331 17333 16901 0 -1 4202496 6921366 0 0 0 161240 4994 0 0 25 0 1 0 21601897 2612011008 630090 4089446400 4194304 9819077 140737429512352 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17333/statm: 637698 630090 703 1374 0 636319 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 2550792
[startup+1722.3 s]
/proc/loadavg: 2.00 1.97 1.67 3/179 17383
/proc/meminfo: memFree=26010320/32951124 swapFree=67111528/67111528
[pid=17333] ppid=17331 vsize=2641952 CPUtime=1722.34
/proc/17333/stat : 17333 (pbscip.linux.x8) R 17331 17333 16901 0 -1 4202496 7119739 0 0 0 167061 5173 0 0 25 0 1 0 21601897 2705358848 653268 4089446400 4194304 9819077 140737429512352 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17333/statm: 660488 653268 703 1374 0 659109 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 2641952
[startup+1782.3 s]
/proc/loadavg: 2.00 1.97 1.69 3/179 17385
/proc/meminfo: memFree=25852892/32951124 swapFree=67111528/67111528
[pid=17333] ppid=17331 vsize=2734424 CPUtime=1782.34
/proc/17333/stat : 17333 (pbscip.linux.x8) R 17331 17333 16901 0 -1 4202496 7324533 0 0 0 172884 5350 0 0 25 0 1 0 21601897 2800050176 676756 4089446400 4194304 9819077 140737429512352 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17333/statm: 683606 676756 703 1374 0 682227 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 2734424
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 1.97 1.69 5/197 17431
/proc/meminfo: memFree=27653376/32951124 swapFree=67111528/67111528
[pid=17333] ppid=17331 vsize=2760900 CPUtime=1800.05
/proc/17333/stat : 17333 (pbscip.linux.x8) R 17331 17333 16901 0 -1 4202496 7384124 0 0 0 174602 5403 0 0 25 0 1 0 21601897 2827161600 683497 4089446400 4194304 9819077 140737429512352 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17333/statm: 690225 683497 703 1374 0 688846 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 2760900
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -17333
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 1.97 1.69 3/198 17432
/proc/meminfo: memFree=27652296/32951124 swapFree=67111528/67111528
[pid=17333] ppid=17331 vsize=2760900 CPUtime=1801.44
/proc/17333/stat : 17333 (pbscip.linux.x8) R 17331 17333 16901 0 -1 4202496 7384133 0 0 0 174741 5403 0 0 19 0 1 0 21601897 2827161600 683499 4089446400 4194304 9819077 140737429512352 18446744073709551615 6180095 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/17333/statm: 690225 683499 706 1374 0 688846 0
Current children cumulated CPU time (s) 1801.44
Current children cumulated vsize (KiB) 2760900
[startup+1801.81 s]
/proc/loadavg: 2.00 1.97 1.69 3/198 17432
/proc/meminfo: memFree=27646840/32951124 swapFree=67111528/67111528
[pid=17333] ppid=17331 vsize=2760900 CPUtime=1801.85
/proc/17333/stat : 17333 (pbscip.linux.x8) R 17331 17333 16901 0 -1 4202496 7384133 0 0 0 174782 5403 0 0 20 0 1 0 21601897 2827161600 683499 4089446400 4194304 9819077 140737429512352 18446744073709551615 6180095 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/17333/statm: 690225 683499 706 1374 0 688846 0
Current children cumulated CPU time (s) 1801.85
Current children cumulated vsize (KiB) 2760900
[startup+1802 s]
/proc/loadavg: 2.00 1.97 1.69 3/198 17432
/proc/meminfo: memFree=27646840/32951124 swapFree=67111528/67111528
[pid=17333] ppid=17331 vsize=2760900 CPUtime=1802.04
/proc/17333/stat : 17333 (pbscip.linux.x8) R 17331 17333 16901 0 -1 4202496 7384133 0 0 0 174801 5403 0 0 20 0 1 0 21601897 2827161600 683499 4089446400 4194304 9819077 140737429512352 18446744073709551615 6180095 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/17333/statm: 690225 683499 706 1374 0 688846 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 2760900
[startup+1802.1 s]
/proc/loadavg: 2.00 1.97 1.69 3/198 17432
/proc/meminfo: memFree=27646840/32951124 swapFree=67111528/67111528
[pid=17333] ppid=17331 vsize=0 CPUtime=1802.14
/proc/17333/stat : 17333 (pbscip.linux.x8) R 17331 17333 16901 0 -1 4203524 7384133 0 0 0 174802 5412 0 0 21 0 1 0 21601897 0 0 4089446400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/17333/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.14
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.1
CPU time (s): 1802.15
CPU user time (s): 1748.02
CPU system time (s): 54.1258
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 2760920
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1748.02
system time used= 54.1258
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7384133
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= 2
involuntary context switches= 10763
runsolver used 2.51562 second user time and 5.86211 second system time
The end
Begin job on node137 at 2010-07-07 22:18:14
IDJOB=2700021
IDBENCH=79393
IDSOLVER=1205
FILE ID=node137/2700021-1278533893
PBS_JOBID= 11239203
Free space on /tmp= 73608 MiB
SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh04_wcsp.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2700021-1278533893/watcher-2700021-1278533893 -o /tmp/evaluation-result-2700021-1278533893/solver-2700021-1278533893 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2700021-1278533893.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 54ef51abb9454409d6f66c5b853cdf79
RANDOM SEED=2034353834
node137.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.829
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.65
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.829
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.83
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.829
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.829
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.829
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.76
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.829
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.829
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.829
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 : 5246.92
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 30413428 kB
Buffers: 134960 kB
Cached: 2189096 kB
SwapCached: 0 kB
Active: 1133324 kB
Inactive: 1261932 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 30413428 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 9068 kB
Writeback: 0 kB
AnonPages: 71296 kB
Mapped: 15256 kB
Slab: 78460 kB
PageTables: 4840 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 212604 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= 73604 MiB
End job on node137 at 2010-07-07 22:48:16