0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [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-2700128-1278534038.wbo>
0.00/0.01 c original problem has 1800 variables (1000 bin, 0 int, 0 impl, 800 cont) and 1701 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, 1000 impls, 0 clqs
0.00/0.03 c (round 2) 100 del vars, 101 del conss, 800 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1000 impls, 0 clqs
0.00/0.05 c (0.0s) probing: 101/900 (11.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.05 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.05 c presolving (3 rounds):
0.00/0.05 c 100 deleted vars, 101 deleted constraints, 800 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.05 c 1000 implications, 0 cliques
0.00/0.05 c presolved problem has 1700 variables (900 bin, 0 int, 0 impl, 800 cont) and 1600 constraints
0.00/0.05 c 800 constraints of type <indicator>
0.00/0.05 c 800 constraints of type <linear>
0.00/0.05 c transformed objective value is always integral (scale: 1)
0.00/0.05 c Presolving Time: 0.03
0.00/0.05 c - non default parameters ----------------------------------------------------------------------
0.00/0.05 c # SCIP version 1.2.1.2
0.00/0.05 c
0.00/0.05 c # frequency for displaying node information lines
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.05 c display/freq = 10000
0.00/0.05 c
0.00/0.05 c # maximal time in seconds to run
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.05 c limits/time = 1799.99
0.00/0.05 c
0.00/0.05 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.05 c limits/memory = 3420
0.00/0.05 c
0.00/0.05 c # should presolving try to simplify inequalities
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c constraints/linear/simplifyinequalities = TRUE
0.00/0.05 c
0.00/0.05 c # should presolving try to simplify knapsacks
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.05 c
0.00/0.05 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.05 c separating/rapidlearning/freq = 0
0.00/0.05 c
0.00/0.05 c -----------------------------------------------------------------------------------------------
0.00/0.05 c start solving
0.00/0.06 c
0.00/0.06 o 394238
0.00/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.00/0.06 c t 0.0s| 1 | 0 | 0 | - |5796k| 0 | - |1700 |1600 | 0 | 0 | 0 | 0 | 0 | -- | 3.942380e+05 | Inf
0.00/0.06 c 0.0s| 1 | 0 | 0 | - |6168k| 0 | 0 |1700 |1600 |1700 | 0 | 0 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.00/0.06 c 0.0s| 1 | 0 | 29 | - |6202k| 0 | 0 |1700 |1600 |1700 | 58 | 58 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.06/0.06 c 0.0s| 1 | 0 | 96 | - |6245k| 0 | 44 |1700 |1600 |1700 | 92 | 92 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.06/0.08 c 0.1s| 1 | 0 | 157 | - |6392k| 0 | 65 |1700 |1600 |1700 | 145 | 145 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.06/0.09 c 0.1s| 1 | 0 | 203 | - |6426k| 0 | 72 |1700 |1600 |1700 | 161 | 161 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.09/0.11 c 0.1s| 1 | 0 | 252 | - |6478k| 0 | 72 |1700 |1600 |1700 | 173 | 173 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.09/0.13 c 0.1s| 1 | 0 | 256 | - |6506k| 0 | 72 |1700 |1600 |1700 | 174 | 174 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.29/0.34 c 0.3s| 1 | 2 | 385 | - |6558k| 0 | 72 |1700 |1600 |1700 | 174 | 174 | 0 | 33 | 0.000000e+00 | 3.942380e+05 | Inf
11.29/11.39 c 11.1s| 10000 | 10001 | 55152 | 5.5 | 19M| 95 | 0 |1700 |1600 |1700 | 283 | 15k| 0 | 793 | 0.000000e+00 | 3.942380e+05 | Inf
19.89/19.96 c 19.4s| 20000 | 20001 | 99301 | 5.0 | 29M| 99 | 0 |1700 |1600 |1700 | 260 | 27k| 0 | 793 | 0.000000e+00 | 3.942380e+05 | Inf
28.49/28.55 c 27.8s| 30000 | 30001 |149958 | 5.0 | 39M| 103 | 23 |1700 |1600 |1700 | 270 | 40k| 0 | 793 | 0.000000e+00 | 3.942380e+05 | Inf
36.59/36.61 c 35.7s| 40000 | 40001 |184688 | 4.6 | 49M| 115 | 0 |1700 |1600 |1700 | 278 | 50k| 0 | 846 | 0.000000e+00 | 3.942380e+05 | Inf
44.19/44.25 c 43.2s| 50000 | 50001 |207702 | 4.1 | 58M| 115 | 0 |1700 |1600 |1700 | 236 | 58k| 0 | 890 | 0.000000e+00 | 3.942380e+05 | Inf
52.09/52.17 c 50.9s| 60000 | 60001 |239603 | 4.0 | 68M| 115 | 0 |1700 |1600 |1700 | 252 | 68k| 0 | 940 | 0.000000e+00 | 3.942380e+05 | Inf
59.80/59.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
59.80/59.84 c 58.4s| 70000 | 70001 |265961 | 3.8 | 78M| 115 | 16 |1700 |1600 |1700 | 209 | 77k| 0 | 998 | 0.000000e+00 | 3.942380e+05 | Inf
67.79/67.84 c 66.2s| 80000 | 80001 |299647 | 3.7 | 88M| 115 | 0 |1700 |1600 |1700 | 258 | 87k| 0 |1048 | 0.000000e+00 | 3.942380e+05 | Inf
75.49/75.59 c 73.7s| 90000 | 90001 |326598 | 3.6 | 98M| 117 | 0 |1700 |1600 |1700 | 283 | 96k| 0 |1093 | 0.000000e+00 | 3.942380e+05 | Inf
83.60/83.66 c 81.6s|100000 |100001 |361449 | 3.6 | 107M| 117 | 0 |1700 |1600 |1700 | 259 | 106k| 0 |1178 | 0.000000e+00 | 3.942380e+05 | Inf
91.70/91.72 c 89.5s|110000 |110001 |395334 | 3.6 | 117M| 117 | 0 |1700 |1600 |1700 | 299 | 116k| 0 |1244 | 0.000000e+00 | 3.942380e+05 | Inf
99.49/99.50 c 97.1s|120000 |120001 |422832 | 3.5 | 127M| 117 | 0 |1700 |1600 |1700 | 276 | 125k| 0 |1302 | 0.000000e+00 | 3.942380e+05 | Inf
107.10/107.12 c 105s|130000 |130001 |447792 | 3.4 | 137M| 117 | 0 |1700 |1600 |1700 | 243 | 133k| 0 |1345 | 0.000000e+00 | 3.942380e+05 | Inf
115.09/115.10 c 112s|140000 |140001 |479873 | 3.4 | 147M| 117 | 0 |1700 |1600 |1700 | 293 | 142k| 0 |1413 | 0.000000e+00 | 3.942380e+05 | Inf
122.79/122.83 c 120s|150000 |150001 |506804 | 3.4 | 156M| 117 | 0 |1700 |1600 |1700 | 297 | 150k| 0 |1454 | 0.000000e+00 | 3.942380e+05 | Inf
130.79/130.83 c 128s|160000 |160001 |539567 | 3.4 | 166M| 117 | 3 |1700 |1600 |1700 | 272 | 159k| 0 |1518 | 0.000000e+00 | 3.942380e+05 | Inf
138.89/138.94 c 136s|170000 |170001 |575376 | 3.4 | 176M| 117 | 0 |1700 |1600 |1700 | 291 | 170k| 0 |1583 | 0.000000e+00 | 3.942380e+05 | Inf
146.99/147.02 c 143s|180000 |180001 |608384 | 3.4 | 186M| 117 | 0 |1700 |1600 |1700 | 261 | 179k| 0 |1648 | 0.000000e+00 | 3.942380e+05 | Inf
154.69/154.71 c 151s|190000 |190001 |632925 | 3.3 | 196M| 119 | 0 |1700 |1600 |1700 | 271 | 186k| 0 |1704 | 0.000000e+00 | 3.942380e+05 | Inf
162.39/162.41 c 158s|200000 |200001 |655891 | 3.3 | 205M| 119 | 0 |1700 |1600 |1700 | 264 | 194k| 0 |1728 | 0.000000e+00 | 3.942380e+05 | Inf
169.80/169.87 c 166s|210000 |210001 |676040 | 3.2 | 215M| 123 | 0 |1700 |1600 |1700 | 289 | 200k| 0 |1775 | 0.000000e+00 | 3.942380e+05 | Inf
177.59/177.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
177.59/177.67 c 173s|220000 |220001 |703399 | 3.2 | 225M| 123 | 0 |1700 |1600 |1700 | 258 | 208k| 0 |1820 | 0.000000e+00 | 3.942380e+05 | Inf
185.30/185.33 c 181s|230000 |230001 |726232 | 3.2 | 235M| 123 | 9 |1700 |1600 |1700 | 274 | 215k| 0 |1846 | 0.000000e+00 | 3.942380e+05 | Inf
192.99/193.07 c 188s|240000 |240001 |752486 | 3.1 | 245M| 123 | 0 |1700 |1600 |1700 | 273 | 223k| 0 |1891 | 0.000000e+00 | 3.942380e+05 | Inf
200.70/200.70 c 196s|250000 |250001 |776570 | 3.1 | 254M| 123 | 0 |1700 |1600 |1700 | 282 | 230k| 0 |1913 | 0.000000e+00 | 3.942380e+05 | Inf
208.29/208.36 c 203s|260000 |259999 |801609 | 3.1 | 264M| 123 | 0 |1700 |1601 |1700 | 289 | 238k| 1 |1955 | 0.000000e+00 | 3.942380e+05 | Inf
216.00/216.06 c 211s|270000 |269999 |826552 | 3.1 | 274M| 123 | 0 |1700 |1601 |1700 | 270 | 245k| 1 |1990 | 0.000000e+00 | 3.942380e+05 | Inf
223.59/223.63 c 218s|280000 |279999 |847835 | 3.0 | 284M| 123 | 0 |1700 |1601 |1700 | 272 | 252k| 1 |2017 | 0.000000e+00 | 3.942380e+05 | Inf
231.19/231.25 c 226s|290000 |289999 |870736 | 3.0 | 293M| 127 | 0 |1700 |1601 |1700 | 257 | 260k| 1 |2036 | 0.000000e+00 | 3.942380e+05 | Inf
238.60/238.70 c 233s|300000 |299999 |889576 | 3.0 | 303M| 127 | 3 |1700 |1601 |1700 | 261 | 265k| 1 |2065 | 0.000000e+00 | 3.942380e+05 | Inf
246.19/246.27 c 240s|310000 |309999 |913536 | 2.9 | 313M| 127 | 0 |1700 |1601 |1700 | 267 | 273k| 1 |2094 | 0.000000e+00 | 3.942380e+05 | Inf
253.60/253.65 c 247s|320000 |319999 |931169 | 2.9 | 323M| 127 | 0 |1700 |1601 |1700 | 252 | 278k| 1 |2114 | 0.000000e+00 | 3.942380e+05 | Inf
261.20/261.20 c 255s|330000 |329999 |952780 | 2.9 | 332M| 127 | 0 |1700 |1601 |1700 | 283 | 285k| 1 |2148 | 0.000000e+00 | 3.942380e+05 | Inf
268.69/268.79 c 262s|340000 |339999 |976038 | 2.9 | 342M| 127 | 8 |1700 |1601 |1700 | 224 | 292k| 1 |2172 | 0.000000e+00 | 3.942380e+05 | Inf
276.19/276.26 c 269s|350000 |349999 |996063 | 2.8 | 352M| 127 | 0 |1700 |1601 |1700 | 271 | 299k| 1 |2192 | 0.000000e+00 | 3.942380e+05 | Inf
283.80/283.80 c 277s|360000 |359999 | 1017k| 2.8 | 362M| 127 | 0 |1700 |1601 |1700 | 280 | 305k| 1 |2229 | 0.000000e+00 | 3.942380e+05 | Inf
291.51/291.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
291.51/291.54 c 284s|370000 |369999 | 1045k| 2.8 | 371M| 129 | 0 |1700 |1601 |1700 | 224 | 314k| 1 |2245 | 0.000000e+00 | 3.942380e+05 | Inf
299.10/299.12 c 292s|380000 |379999 | 1068k| 2.8 | 381M| 129 | 0 |1700 |1601 |1700 | 292 | 320k| 1 |2283 | 0.000000e+00 | 3.942380e+05 | Inf
306.59/306.66 c 299s|390000 |389999 | 1091k| 2.8 | 391M| 129 | 18 |1700 |1601 |1700 | 255 | 327k| 1 |2301 | 0.000000e+00 | 3.942380e+05 | Inf
314.20/314.26 c 307s|400000 |399999 | 1116k| 2.8 | 401M| 129 | 0 |1700 |1601 |1700 | 256 | 335k| 1 |2335 | 0.000000e+00 | 3.942380e+05 | Inf
321.80/321.85 c 314s|410000 |409999 | 1139k| 2.8 | 411M| 129 | 0 |1700 |1601 |1700 | 267 | 342k| 1 |2355 | 0.000000e+00 | 3.942380e+05 | Inf
329.30/329.38 c 321s|420000 |419999 | 1162k| 2.8 | 420M| 129 | 0 |1700 |1601 |1700 | 277 | 348k| 1 |2375 | 0.000000e+00 | 3.942380e+05 | Inf
336.90/336.91 c 329s|430000 |429999 | 1183k| 2.8 | 430M| 129 | 0 |1700 |1601 |1700 | 279 | 355k| 1 |2411 | 0.000000e+00 | 3.942380e+05 | Inf
344.31/344.38 c 336s|440000 |439999 | 1204k| 2.7 | 440M| 129 | 0 |1700 |1601 |1700 | 282 | 361k| 1 |2429 | 0.000000e+00 | 3.942380e+05 | Inf
351.79/351.87 c 343s|450000 |449999 | 1226k| 2.7 | 450M| 129 | 0 |1700 |1601 |1700 | 291 | 368k| 1 |2445 | 0.000000e+00 | 3.942380e+05 | Inf
359.40/359.42 c 351s|460000 |459999 | 1247k| 2.7 | 459M| 129 | 0 |1700 |1601 |1700 | 270 | 374k| 1 |2465 | 0.000000e+00 | 3.942380e+05 | Inf
367.00/367.00 c 358s|470000 |469999 | 1271k| 2.7 | 469M| 131 | 0 |1700 |1601 |1700 | 253 | 382k| 1 |2502 | 0.000000e+00 | 3.942380e+05 | Inf
374.40/374.48 c 365s|480000 |479999 | 1292k| 2.7 | 479M| 131 | 9 |1700 |1601 |1700 | 248 | 387k| 1 |2515 | 0.000000e+00 | 3.942380e+05 | Inf
382.00/382.00 c 373s|490000 |489999 | 1315k| 2.7 | 489M| 131 | 0 |1700 |1601 |1700 | 266 | 394k| 1 |2530 | 0.000000e+00 | 3.942380e+05 | Inf
389.30/389.35 c 380s|500000 |499999 | 1332k| 2.7 | 498M| 131 | 0 |1700 |1601 |1700 | 267 | 400k| 1 |2545 | 0.000000e+00 | 3.942380e+05 | Inf
396.60/396.62 c 387s|510000 |509999 | 1348k| 2.6 | 508M| 131 | 0 |1700 |1601 |1700 | 245 | 404k| 1 |2564 | 0.000000e+00 | 3.942380e+05 | Inf
404.20/404.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
404.20/404.22 c 394s|520000 |519999 | 1368k| 2.6 | 518M| 131 | 0 |1700 |1601 |1700 | 264 | 410k| 1 |2582 | 0.000000e+00 | 3.942380e+05 | Inf
412.00/412.03 c 402s|530000 |529999 | 1387k| 2.6 | 528M| 131 | 0 |1700 |1601 |1700 | 236 | 416k| 1 |2599 | 0.000000e+00 | 3.942380e+05 | Inf
419.60/419.66 c 410s|540000 |539999 | 1409k| 2.6 | 537M| 131 | 13 |1700 |1601 |1700 | 296 | 423k| 1 |2635 | 0.000000e+00 | 3.942380e+05 | Inf
427.10/427.10 c 417s|550000 |549999 | 1428k| 2.6 | 547M| 131 | 0 |1700 |1601 |1700 | 269 | 429k| 1 |2651 | 0.000000e+00 | 3.942380e+05 | Inf
434.41/434.48 c 424s|560000 |559999 | 1446k| 2.6 | 557M| 131 | 0 |1700 |1601 |1700 | 286 | 434k| 1 |2669 | 0.000000e+00 | 3.942380e+05 | Inf
442.11/442.11 c 431s|570000 |569999 | 1471k| 2.6 | 567M| 131 | 0 |1700 |1601 |1700 | 271 | 441k| 1 |2687 | 0.000000e+00 | 3.942380e+05 | Inf
449.70/449.70 c 439s|580000 |579999 | 1493k| 2.6 | 576M| 131 | 6 |1700 |1601 |1700 | 263 | 448k| 1 |2714 | 0.000000e+00 | 3.942380e+05 | Inf
457.20/457.23 c 446s|590000 |589999 | 1514k| 2.6 | 586M| 131 | 13 |1700 |1601 |1700 | 248 | 455k| 1 |2737 | 0.000000e+00 | 3.942380e+05 | Inf
464.70/464.77 c 454s|600000 |599999 | 1536k| 2.6 | 596M| 131 | 0 |1700 |1601 |1700 | 269 | 461k| 1 |2751 | 0.000000e+00 | 3.942380e+05 | Inf
472.10/472.16 c 461s|610000 |609999 | 1555k| 2.5 | 606M| 139 | 25 |1700 |1601 |1700 | 235 | 467k| 1 |2765 | 0.000000e+00 | 3.942380e+05 | Inf
479.41/479.50 c 468s|620000 |619999 | 1573k| 2.5 | 615M| 139 | 18 |1700 |1601 |1700 | 269 | 472k| 1 |2780 | 0.000000e+00 | 3.942380e+05 | Inf
487.01/487.00 c 475s|630000 |629999 | 1595k| 2.5 | 625M| 139 | 0 |1700 |1601 |1700 | 279 | 480k| 1 |2795 | 0.000000e+00 | 3.942380e+05 | Inf
494.50/494.50 c 483s|640000 |639999 | 1616k| 2.5 | 635M| 139 | 0 |1700 |1601 |1700 | 294 | 486k| 1 |2814 | 0.000000e+00 | 3.942380e+05 | Inf
501.90/501.90 c 490s|650000 |649999 | 1636k| 2.5 | 645M| 139 | 0 |1700 |1601 |1700 | 249 | 493k| 1 |2838 | 0.000000e+00 | 3.942380e+05 | Inf
509.31/509.37 c 497s|660000 |659999 | 1655k| 2.5 | 654M| 139 | 0 |1700 |1601 |1700 | 268 | 498k| 1 |2857 | 0.000000e+00 | 3.942380e+05 | Inf
516.80/516.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
516.80/516.86 c 504s|670000 |669999 | 1674k| 2.5 | 664M| 139 | 0 |1700 |1601 |1700 | 280 | 504k| 1 |2872 | 0.000000e+00 | 3.942380e+05 | Inf
524.20/524.27 c 512s|680000 |679999 | 1693k| 2.5 | 674M| 139 | 0 |1700 |1601 |1700 | 288 | 510k| 1 |2888 | 0.000000e+00 | 3.942380e+05 | Inf
531.50/531.54 c 519s|690000 |689999 | 1707k| 2.5 | 684M| 147 | 0 |1700 |1601 |1700 | 285 | 514k| 1 |2895 | 0.000000e+00 | 3.942380e+05 | Inf
538.80/538.84 c 526s|700000 |699999 | 1721k| 2.5 | 693M| 147 | 0 |1700 |1601 |1700 | 305 | 519k| 1 |2902 | 0.000000e+00 | 3.942380e+05 | Inf
546.10/546.18 c 533s|710000 |709999 | 1739k| 2.4 | 703M| 147 | 0 |1700 |1601 |1700 | 278 | 524k| 1 |2916 | 0.000000e+00 | 3.942380e+05 | Inf
553.50/553.51 c 540s|720000 |719999 | 1755k| 2.4 | 713M| 147 | 23 |1700 |1601 |1700 | 242 | 529k| 1 |2930 | 0.000000e+00 | 3.942380e+05 | Inf
561.01/561.08 c 548s|730000 |729999 | 1777k| 2.4 | 722M| 147 | 0 |1700 |1601 |1700 | 256 | 536k| 1 |2948 | 0.000000e+00 | 3.942380e+05 | Inf
568.30/568.35 c 555s|740000 |739999 | 1792k| 2.4 | 732M| 147 | 15 |1700 |1601 |1700 | 273 | 541k| 1 |2960 | 0.000000e+00 | 3.942380e+05 | Inf
575.81/575.85 c 562s|750000 |749999 | 1814k| 2.4 | 742M| 147 | 0 |1700 |1601 |1700 | 307 | 548k| 1 |2981 | 0.000000e+00 | 3.942380e+05 | Inf
583.30/583.33 c 569s|760000 |759999 | 1837k| 2.4 | 752M| 147 | 15 |1700 |1601 |1700 | 224 | 554k| 1 |3000 | 0.000000e+00 | 3.942380e+05 | Inf
590.90/590.92 c 577s|770000 |769999 | 1863k| 2.4 | 761M| 147 | 0 |1700 |1601 |1700 | 280 | 562k| 1 |3019 | 0.000000e+00 | 3.942380e+05 | Inf
598.21/598.29 c 584s|780000 |779999 | 1880k| 2.4 | 771M| 147 | 2 |1700 |1601 |1700 | 196 | 567k| 1 |3034 | 0.000000e+00 | 3.942380e+05 | Inf
605.40/605.44 c 591s|790000 |789999 | 1894k| 2.4 | 781M| 149 | 12 |1700 |1601 |1700 | 243 | 571k| 1 |3048 | 0.000000e+00 | 3.942380e+05 | Inf
612.80/612.81 c 598s|800000 |799999 | 1914k| 2.4 | 791M| 149 | 0 |1700 |1601 |1700 | 285 | 577k| 1 |3063 | 0.000000e+00 | 3.942380e+05 | Inf
620.21/620.23 c 605s|810000 |809999 | 1936k| 2.4 | 800M| 149 | 0 |1700 |1601 |1700 | 292 | 584k| 1 |3078 | 0.000000e+00 | 3.942380e+05 | Inf
627.51/627.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
627.51/627.59 c 612s|820000 |819999 | 1954k| 2.4 | 810M| 149 | 0 |1700 |1601 |1700 | 236 | 590k| 1 |3092 | 0.000000e+00 | 3.942380e+05 | Inf
635.01/635.03 c 620s|830000 |829999 | 1975k| 2.4 | 820M| 149 | 0 |1700 |1601 |1700 | 268 | 596k| 1 |3106 | 0.000000e+00 | 3.942380e+05 | Inf
642.31/642.40 c 627s|840000 |839999 | 1995k| 2.4 | 829M| 149 | 0 |1700 |1601 |1700 | 257 | 602k| 1 |3126 | 0.000000e+00 | 3.942380e+05 | Inf
649.80/649.82 c 634s|850000 |849999 | 2015k| 2.4 | 839M| 149 | 0 |1700 |1601 |1700 | 263 | 608k| 1 |3147 | 0.000000e+00 | 3.942380e+05 | Inf
657.11/657.10 c 641s|860000 |859999 | 2031k| 2.4 | 849M| 149 | 0 |1700 |1601 |1700 | 279 | 613k| 1 |3159 | 0.000000e+00 | 3.942380e+05 | Inf
664.50/664.57 c 649s|870000 |869999 | 2054k| 2.4 | 859M| 149 | 0 |1700 |1601 |1700 | 237 | 620k| 1 |3172 | 0.000000e+00 | 3.942380e+05 | Inf
671.81/671.81 c 656s|880000 |879999 | 2071k| 2.4 | 868M| 149 | 0 |1700 |1601 |1700 | 282 | 625k| 1 |3183 | 0.000000e+00 | 3.942380e+05 | Inf
679.10/679.15 c 663s|890000 |889999 | 2089k| 2.3 | 878M| 149 | 4 |1700 |1601 |1700 | 253 | 631k| 1 |3195 | 0.000000e+00 | 3.942380e+05 | Inf
686.41/686.47 c 670s|900000 |899999 | 2104k| 2.3 | 888M| 149 | 0 |1700 |1601 |1700 | 294 | 635k| 1 |3202 | 0.000000e+00 | 3.942380e+05 | Inf
693.81/693.88 c 677s|910000 |909999 | 2122k| 2.3 | 898M| 149 | 4 |1700 |1601 |1700 | 267 | 641k| 1 |3213 | 0.000000e+00 | 3.942380e+05 | Inf
701.20/701.29 c 684s|920000 |919999 | 2140k| 2.3 | 907M| 149 | 0 |1700 |1601 |1700 | 281 | 647k| 1 |3225 | 0.000000e+00 | 3.942380e+05 | Inf
708.61/708.69 c 692s|930000 |929999 | 2158k| 2.3 | 917M| 149 | 0 |1700 |1601 |1700 | 277 | 653k| 1 |3231 | 0.000000e+00 | 3.942380e+05 | Inf
716.01/716.06 c 699s|940000 |939999 | 2176k| 2.3 | 927M| 149 | 9 |1700 |1601 |1700 | 244 | 658k| 1 |3241 | 0.000000e+00 | 3.942380e+05 | Inf
723.30/723.37 c 706s|950000 |949999 | 2192k| 2.3 | 936M| 149 | 0 |1700 |1601 |1700 | 272 | 663k| 1 |3253 | 0.000000e+00 | 3.942380e+05 | Inf
730.50/730.59 c 713s|960000 |959999 | 2207k| 2.3 | 946M| 149 | 0 |1700 |1601 |1700 | 271 | 667k| 1 |3266 | 0.000000e+00 | 3.942380e+05 | Inf
737.91/737.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
737.91/737.94 c 720s|970000 |969999 | 2223k| 2.3 | 956M| 149 | 0 |1700 |1601 |1700 | 275 | 673k| 1 |3278 | 0.000000e+00 | 3.942380e+05 | Inf
745.11/745.19 c 727s|980000 |979999 | 2238k| 2.3 | 966M| 149 | 0 |1700 |1601 |1700 | 296 | 677k| 1 |3292 | 0.000000e+00 | 3.942380e+05 | Inf
752.51/752.54 c 734s|990000 |989999 | 2255k| 2.3 | 975M| 149 | 23 |1700 |1601 |1700 | 274 | 682k| 1 |3305 | 0.000000e+00 | 3.942380e+05 | Inf
759.91/759.92 c 742s| 1000k|999999 | 2275k| 2.3 | 985M| 149 | 0 |1700 |1601 |1700 | 255 | 688k| 1 |3318 | 0.000000e+00 | 3.942380e+05 | Inf
767.21/767.29 c 749s| 1010k| 1009k| 2296k| 2.3 | 995M| 149 | 0 |1700 |1601 |1700 | 266 | 695k| 1 |3333 | 0.000000e+00 | 3.942380e+05 | Inf
774.51/774.57 c 756s| 1020k| 1019k| 2313k| 2.3 |1005M| 149 | 0 |1700 |1601 |1700 | 274 | 700k| 1 |3348 | 0.000000e+00 | 3.942380e+05 | Inf
781.91/781.91 c 763s| 1030k| 1029k| 2330k| 2.3 |1014M| 149 | 17 |1700 |1601 |1700 | 272 | 705k| 1 |3361 | 0.000000e+00 | 3.942380e+05 | Inf
789.21/789.27 c 770s| 1040k| 1039k| 2346k| 2.3 |1024M| 149 | 0 |1700 |1601 |1700 | 284 | 710k| 1 |3367 | 0.000000e+00 | 3.942380e+05 | Inf
796.71/796.71 c 777s| 1050k| 1049k| 2366k| 2.3 |1034M| 149 | 0 |1700 |1601 |1700 | 279 | 716k| 1 |3385 | 0.000000e+00 | 3.942380e+05 | Inf
803.91/803.97 c 785s| 1060k| 1059k| 2383k| 2.2 |1043M| 149 | 0 |1700 |1601 |1700 | 256 | 721k| 1 |3400 | 0.000000e+00 | 3.942380e+05 | Inf
811.31/811.33 c 792s| 1070k| 1069k| 2405k| 2.2 |1053M| 149 | 4 |1700 |1601 |1700 | 207 | 727k| 1 |3415 | 0.000000e+00 | 3.942380e+05 | Inf
818.61/818.63 c 799s| 1080k| 1079k| 2422k| 2.2 |1063M| 149 | 0 |1700 |1601 |1700 | 260 | 732k| 1 |3431 | 0.000000e+00 | 3.942380e+05 | Inf
825.71/825.76 c 806s| 1090k| 1089k| 2434k| 2.2 |1072M| 149 | 0 |1700 |1601 |1700 | 253 | 736k| 1 |3447 | 0.000000e+00 | 3.942380e+05 | Inf
832.91/832.93 c 813s| 1100k| 1099k| 2449k| 2.2 |1082M| 149 | 0 |1700 |1601 |1700 | 266 | 740k| 1 |3461 | 0.000000e+00 | 3.942380e+05 | Inf
840.01/840.05 c 820s| 1110k| 1109k| 2463k| 2.2 |1092M| 149 | 0 |1700 |1601 |1700 | 262 | 743k| 1 |3461 | 0.000000e+00 | 3.942380e+05 | Inf
847.21/847.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
847.21/847.23 c 827s| 1120k| 1119k| 2477k| 2.2 |1101M| 149 | 0 |1700 |1601 |1700 | 276 | 747k| 1 |3477 | 0.000000e+00 | 3.942380e+05 | Inf
854.61/854.62 c 834s| 1130k| 1129k| 2497k| 2.2 |1111M| 149 | 0 |1700 |1601 |1700 | 312 | 753k| 1 |3491 | 0.000000e+00 | 3.942380e+05 | Inf
861.91/861.96 c 841s| 1140k| 1139k| 2517k| 2.2 |1121M| 149 | 0 |1700 |1601 |1700 | 274 | 760k| 1 |3504 | 0.000000e+00 | 3.942380e+05 | Inf
869.22/869.22 c 848s| 1150k| 1149k| 2537k| 2.2 |1130M| 149 | 0 |1700 |1601 |1700 | 252 | 766k| 1 |3517 | 0.000000e+00 | 3.942380e+05 | Inf
876.61/876.66 c 856s| 1160k| 1159k| 2560k| 2.2 |1140M| 149 | 0 |1700 |1601 |1700 | 259 | 772k| 1 |3531 | 0.000000e+00 | 3.942380e+05 | Inf
883.91/883.98 c 863s| 1170k| 1169k| 2579k| 2.2 |1150M| 149 | 19 |1700 |1601 |1700 | 271 | 778k| 1 |3547 | 0.000000e+00 | 3.942380e+05 | Inf
891.31/891.30 c 870s| 1180k| 1179k| 2595k| 2.2 |1159M| 149 | 21 |1700 |1601 |1700 | 258 | 782k| 1 |3561 | 0.000000e+00 | 3.942380e+05 | Inf
898.72/898.75 c 877s| 1190k| 1189k| 2617k| 2.2 |1169M| 149 | 0 |1700 |1601 |1700 | 267 | 789k| 1 |3572 | 0.000000e+00 | 3.942380e+05 | Inf
906.01/906.08 c 884s| 1200k| 1199k| 2639k| 2.2 |1179M| 149 | 0 |1700 |1601 |1700 | 252 | 794k| 1 |3584 | 0.000000e+00 | 3.942380e+05 | Inf
913.21/913.24 c 891s| 1210k| 1209k| 2656k| 2.2 |1188M| 149 | 0 |1700 |1601 |1700 | 256 | 799k| 1 |3596 | 0.000000e+00 | 3.942380e+05 | Inf
920.21/920.26 c 898s| 1220k| 1219k| 2669k| 2.2 |1198M| 149 | 0 |1700 |1601 |1700 | 233 | 803k| 1 |3612 | 0.000000e+00 | 3.942380e+05 | Inf
927.21/927.22 c 905s| 1230k| 1229k| 2682k| 2.2 |1207M| 149 | 0 |1700 |1601 |1700 | 235 | 807k| 1 |3625 | 0.000000e+00 | 3.942380e+05 | Inf
934.31/934.34 c 912s| 1240k| 1239k| 2697k| 2.2 |1217M| 149 | 0 |1700 |1601 |1700 | 246 | 811k| 1 |3629 | 0.000000e+00 | 3.942380e+05 | Inf
941.71/941.75 c 919s| 1250k| 1249k| 2717k| 2.2 |1227M| 149 | 0 |1700 |1601 |1700 | 265 | 817k| 1 |3643 | 0.000000e+00 | 3.942380e+05 | Inf
949.01/949.08 c 926s| 1260k| 1259k| 2733k| 2.2 |1236M| 149 | 0 |1700 |1601 |1700 | 277 | 821k| 1 |3657 | 0.000000e+00 | 3.942380e+05 | Inf
956.11/956.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
956.11/956.19 c 933s| 1270k| 1269k| 2747k| 2.2 |1246M| 149 | 0 |1700 |1601 |1700 | 275 | 826k| 1 |3670 | 0.000000e+00 | 3.942380e+05 | Inf
963.12/963.11 c 940s| 1280k| 1279k| 2755k| 2.2 |1255M| 149 | 0 |1700 |1601 |1700 | 252 | 828k| 1 |3670 | 0.000000e+00 | 3.942380e+05 | Inf
970.02/970.00 c 947s| 1290k| 1289k| 2763k| 2.1 |1265M| 149 | 0 |1700 |1601 |1700 | 254 | 830k| 1 |3680 | 0.000000e+00 | 3.942380e+05 | Inf
976.82/976.88 c 953s| 1300k| 1299k| 2771k| 2.1 |1275M| 149 | 0 |1700 |1601 |1700 | 264 | 833k| 1 |3684 | 0.000000e+00 | 3.942380e+05 | Inf
984.02/984.04 c 960s| 1310k| 1309k| 2785k| 2.1 |1284M| 149 | 0 |1700 |1601 |1700 | 277 | 837k| 1 |3699 | 0.000000e+00 | 3.942380e+05 | Inf
991.21/991.25 c 967s| 1320k| 1319k| 2800k| 2.1 |1294M| 149 | 0 |1700 |1601 |1700 | 270 | 842k| 1 |3700 | 0.000000e+00 | 3.942380e+05 | Inf
998.51/998.59 c 974s| 1330k| 1329k| 2819k| 2.1 |1304M| 149 | 0 |1700 |1601 |1700 | 281 | 847k| 1 |3714 | 0.000000e+00 | 3.942380e+05 | Inf
1005.91/1005.91 c 982s| 1340k| 1339k| 2836k| 2.1 |1313M| 149 | 0 |1700 |1601 |1700 | 263 | 853k| 1 |3725 | 0.000000e+00 | 3.942380e+05 | Inf
1013.12/1013.18 c 989s| 1350k| 1349k| 2854k| 2.1 |1323M| 149 | 0 |1700 |1601 |1700 | 261 | 858k| 1 |3737 | 0.000000e+00 | 3.942380e+05 | Inf
1020.22/1020.26 c 996s| 1360k| 1359k| 2866k| 2.1 |1333M| 149 | 0 |1700 |1601 |1700 | 281 | 862k| 1 |3750 | 0.000000e+00 | 3.942380e+05 | Inf
1027.32/1027.40 c 1003s| 1370k| 1369k| 2881k| 2.1 |1342M| 149 | 0 |1700 |1601 |1700 | 262 | 866k| 1 |3751 | 0.000000e+00 | 3.942380e+05 | Inf
1034.72/1034.79 c 1010s| 1380k| 1379k| 2899k| 2.1 |1352M| 149 | 0 |1700 |1601 |1700 | 262 | 871k| 1 |3763 | 0.000000e+00 | 3.942380e+05 | Inf
1041.92/1041.98 c 1017s| 1390k| 1389k| 2912k| 2.1 |1362M| 149 | 0 |1700 |1601 |1700 | 265 | 875k| 1 |3776 | 0.000000e+00 | 3.942380e+05 | Inf
1048.81/1048.82 c 1023s| 1400k| 1399k| 2919k| 2.1 |1371M| 149 | 0 |1700 |1601 |1700 | 276 | 878k| 1 |3776 | 0.000000e+00 | 3.942380e+05 | Inf
1055.62/1055.66 c 1030s| 1410k| 1409k| 2926k| 2.1 |1381M| 149 | 0 |1700 |1601 |1700 | 255 | 880k| 1 |3788 | 0.000000e+00 | 3.942380e+05 | Inf
1063.02/1063.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1063.02/1063.09 c 1037s| 1420k| 1419k| 2945k| 2.1 |1391M| 149 | 0 |1700 |1601 |1700 | 272 | 885k| 1 |3800 | 0.000000e+00 | 3.942380e+05 | Inf
1070.32/1070.38 c 1045s| 1430k| 1429k| 2961k| 2.1 |1400M| 149 | 0 |1700 |1601 |1700 | 251 | 890k| 1 |3806 | 0.000000e+00 | 3.942380e+05 | Inf
1077.42/1077.48 c 1051s| 1440k| 1439k| 2976k| 2.1 |1410M| 149 | 0 |1700 |1601 |1700 | 263 | 894k| 1 |3812 | 0.000000e+00 | 3.942380e+05 | Inf
1084.53/1084.56 c 1058s| 1450k| 1449k| 2989k| 2.1 |1420M| 149 | 0 |1700 |1601 |1700 | 277 | 898k| 1 |3824 | 0.000000e+00 | 3.942380e+05 | Inf
1091.62/1091.69 c 1065s| 1460k| 1459k| 3005k| 2.1 |1429M| 149 | 0 |1700 |1601 |1700 | 279 | 904k| 1 |3836 | 0.000000e+00 | 3.942380e+05 | Inf
1098.93/1098.97 c 1072s| 1470k| 1469k| 3023k| 2.1 |1439M| 149 | 0 |1700 |1601 |1700 | 260 | 909k| 1 |3843 | 0.000000e+00 | 3.942380e+05 | Inf
1106.12/1106.16 c 1079s| 1480k| 1479k| 3039k| 2.1 |1449M| 149 | 0 |1700 |1601 |1700 | 260 | 914k| 1 |3851 | 0.000000e+00 | 3.942380e+05 | Inf
1113.23/1113.28 c 1086s| 1490k| 1489k| 3051k| 2.0 |1458M| 149 | 0 |1700 |1601 |1700 | 263 | 917k| 1 |3864 | 0.000000e+00 | 3.942380e+05 | Inf
1120.42/1120.44 c 1093s| 1500k| 1499k| 3066k| 2.0 |1468M| 149 | 0 |1700 |1601 |1700 | 249 | 921k| 1 |3874 | 0.000000e+00 | 3.942380e+05 | Inf
1127.62/1127.63 c 1100s| 1510k| 1509k| 3082k| 2.0 |1478M| 149 | 2 |1700 |1601 |1700 | 253 | 927k| 1 |3880 | 0.000000e+00 | 3.942380e+05 | Inf
1134.92/1134.91 c 1108s| 1520k| 1519k| 3100k| 2.0 |1487M| 149 | 0 |1700 |1601 |1700 | 292 | 932k| 1 |3888 | 0.000000e+00 | 3.942380e+05 | Inf
1142.32/1142.33 c 1115s| 1530k| 1529k| 3121k| 2.0 |1497M| 149 | 4 |1700 |1601 |1700 | 222 | 939k| 1 |3905 | 0.000000e+00 | 3.942380e+05 | Inf
1149.32/1149.36 c 1122s| 1540k| 1539k| 3135k| 2.0 |1507M| 149 | 0 |1700 |1601 |1700 | 241 | 943k| 1 |3911 | 0.000000e+00 | 3.942380e+05 | Inf
1156.32/1156.36 c 1128s| 1550k| 1549k| 3147k| 2.0 |1516M| 149 | 0 |1700 |1601 |1700 | 247 | 948k| 1 |3925 | 0.000000e+00 | 3.942380e+05 | Inf
1163.32/1163.38 c 1135s| 1560k| 1559k| 3160k| 2.0 |1526M| 149 | 0 |1700 |1601 |1700 | 304 | 952k| 1 |3926 | 0.000000e+00 | 3.942380e+05 | Inf
1170.72/1170.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1170.72/1170.71 c 1142s| 1570k| 1569k| 3179k| 2.0 |1536M| 149 | 0 |1700 |1601 |1700 | 242 | 958k| 1 |3941 | 0.000000e+00 | 3.942380e+05 | Inf
1177.92/1177.94 c 1149s| 1580k| 1579k| 3195k| 2.0 |1545M| 149 | 0 |1700 |1601 |1700 | 281 | 963k| 1 |3954 | 0.000000e+00 | 3.942380e+05 | Inf
1185.22/1185.24 c 1157s| 1590k| 1589k| 3212k| 2.0 |1555M| 149 | 9 |1700 |1601 |1700 | 255 | 968k| 1 |3966 | 0.000000e+00 | 3.942380e+05 | Inf
1192.43/1192.48 c 1164s| 1600k| 1599k| 3229k| 2.0 |1565M| 149 | 0 |1700 |1601 |1700 | 264 | 973k| 1 |3977 | 0.000000e+00 | 3.942380e+05 | Inf
1199.92/1199.94 c 1171s| 1610k| 1609k| 3254k| 2.0 |1574M| 149 | 0 |1700 |1601 |1700 | 270 | 980k| 1 |3992 | 0.000000e+00 | 3.942380e+05 | Inf
1207.42/1207.44 c 1178s| 1620k| 1619k| 3277k| 2.0 |1584M| 149 | 0 |1700 |1601 |1700 | 284 | 987k| 1 |4012 | 0.000000e+00 | 3.942380e+05 | Inf
1214.62/1214.62 c 1185s| 1630k| 1629k| 3291k| 2.0 |1594M| 149 | 0 |1700 |1601 |1700 | 264 | 991k| 1 |4022 | 0.000000e+00 | 3.942380e+05 | Inf
1221.92/1221.99 c 1192s| 1640k| 1639k| 3309k| 2.0 |1604M| 149 | 0 |1700 |1601 |1700 | 263 | 997k| 1 |4026 | 0.000000e+00 | 3.942380e+05 | Inf
1229.12/1229.19 c 1200s| 1650k| 1649k| 3325k| 2.0 |1613M| 149 | 6 |1700 |1601 |1700 | 247 |1002k| 1 |4038 | 0.000000e+00 | 3.942380e+05 | Inf
1236.43/1236.46 c 1207s| 1660k| 1659k| 3342k| 2.0 |1623M| 149 | 0 |1700 |1601 |1700 | 261 |1008k| 1 |4052 | 0.000000e+00 | 3.942380e+05 | Inf
1243.72/1243.70 c 1214s| 1670k| 1669k| 3356k| 2.0 |1633M| 149 | 0 |1700 |1601 |1700 | 262 |1012k| 1 |4064 | 0.000000e+00 | 3.942380e+05 | Inf
1251.02/1251.00 c 1221s| 1680k| 1679k| 3372k| 2.0 |1642M| 149 | 0 |1700 |1601 |1700 | 238 |1016k| 1 |4069 | 0.000000e+00 | 3.942380e+05 | Inf
1258.33/1258.34 c 1228s| 1690k| 1689k| 3391k| 2.0 |1652M| 149 | 4 |1700 |1601 |1700 | 250 |1022k| 1 |4084 | 0.000000e+00 | 3.942380e+05 | Inf
1265.62/1265.66 c 1235s| 1700k| 1699k| 3407k| 2.0 |1662M| 149 | 0 |1700 |1601 |1700 | 290 |1026k| 1 |4102 | 0.000000e+00 | 3.942380e+05 | Inf
1272.92/1272.90 c 1242s| 1710k| 1709k| 3423k| 2.0 |1671M| 149 | 6 |1700 |1601 |1700 | 259 |1031k| 1 |4114 | 0.000000e+00 | 3.942380e+05 | Inf
1279.82/1279.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1279.82/1279.85 c 1249s| 1720k| 1719k| 3433k| 2.0 |1681M| 149 | 0 |1700 |1601 |1700 | 276 |1034k| 1 |4115 | 0.000000e+00 | 3.942380e+05 | Inf
1287.03/1287.09 c 1256s| 1730k| 1729k| 3452k| 2.0 |1691M| 149 | 0 |1700 |1601 |1700 | 238 |1039k| 1 |4127 | 0.000000e+00 | 3.942380e+05 | Inf
1294.22/1294.23 c 1263s| 1740k| 1739k| 3466k| 2.0 |1700M| 149 | 0 |1700 |1601 |1700 | 228 |1043k| 1 |4141 | 0.000000e+00 | 3.942380e+05 | Inf
1301.42/1301.48 c 1270s| 1750k| 1749k| 3483k| 2.0 |1710M| 149 | 17 |1700 |1601 |1700 | 231 |1048k| 1 |4141 | 0.000000e+00 | 3.942380e+05 | Inf
1308.72/1308.73 c 1277s| 1760k| 1759k| 3500k| 2.0 |1720M| 149 | 13 |1700 |1601 |1700 | 213 |1052k| 1 |4155 | 0.000000e+00 | 3.942380e+05 | Inf
1316.02/1316.09 c 1284s| 1770k| 1769k| 3521k| 2.0 |1729M| 149 | 4 |1700 |1601 |1700 | 252 |1059k| 1 |4170 | 0.000000e+00 | 3.942380e+05 | Inf
1323.12/1323.20 c 1291s| 1780k| 1779k| 3534k| 2.0 |1739M| 149 | 0 |1700 |1601 |1700 | 276 |1063k| 1 |4183 | 0.000000e+00 | 3.942380e+05 | Inf
1330.42/1330.41 c 1298s| 1790k| 1789k| 3550k| 2.0 |1749M| 149 | 0 |1700 |1601 |1700 | 264 |1068k| 1 |4185 | 0.000000e+00 | 3.942380e+05 | Inf
1337.72/1337.71 c 1305s| 1800k| 1799k| 3568k| 2.0 |1758M| 149 | 0 |1700 |1601 |1700 | 275 |1073k| 1 |4194 | 0.000000e+00 | 3.942380e+05 | Inf
1344.83/1344.81 c 1312s| 1810k| 1809k| 3581k| 2.0 |1768M| 149 | 0 |1700 |1601 |1700 | 250 |1077k| 1 |4206 | 0.000000e+00 | 3.942380e+05 | Inf
1351.93/1351.99 c 1319s| 1820k| 1819k| 3596k| 2.0 |1778M| 149 | 0 |1700 |1601 |1700 | 263 |1082k| 1 |4217 | 0.000000e+00 | 3.942380e+05 | Inf
1358.93/1358.97 c 1326s| 1830k| 1829k| 3603k| 2.0 |1787M| 149 | 10 |1700 |1601 |1700 | 292 |1084k| 1 |4217 | 0.000000e+00 | 3.942380e+05 | Inf
1366.13/1366.11 c 1333s| 1840k| 1839k| 3616k| 2.0 |1797M| 149 | 0 |1700 |1601 |1700 | 299 |1088k| 1 |4230 | 0.000000e+00 | 3.942380e+05 | Inf
1373.22/1373.26 c 1340s| 1850k| 1849k| 3630k| 2.0 |1807M| 149 | 0 |1700 |1601 |1700 | 254 |1092k| 1 |4231 | 0.000000e+00 | 3.942380e+05 | Inf
1380.43/1380.41 c 1347s| 1860k| 1859k| 3645k| 2.0 |1816M| 155 | 0 |1700 |1601 |1700 | 211 |1097k| 1 |4243 | 0.000000e+00 | 3.942380e+05 | Inf
1387.92/1387.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1387.92/1387.90 c 1354s| 1870k| 1869k| 3664k| 2.0 |1826M| 155 | 0 |1700 |1601 |1700 | 269 |1103k| 1 |4255 | 0.000000e+00 | 3.942380e+05 | Inf
1395.13/1395.17 c 1361s| 1880k| 1879k| 3680k| 2.0 |1836M| 155 | 0 |1700 |1601 |1700 | 301 |1108k| 1 |4262 | 0.000000e+00 | 3.942380e+05 | Inf
1402.23/1402.28 c 1368s| 1890k| 1889k| 3694k| 2.0 |1845M| 155 | 0 |1700 |1601 |1700 | 260 |1112k| 1 |4267 | 0.000000e+00 | 3.942380e+05 | Inf
1409.72/1409.73 c 1376s| 1900k| 1899k| 3711k| 2.0 |1855M| 155 | 0 |1700 |1601 |1700 | 277 |1118k| 1 |4278 | 0.000000e+00 | 3.942380e+05 | Inf
1417.12/1417.14 c 1383s| 1910k| 1909k| 3734k| 2.0 |1865M| 155 | 0 |1700 |1601 |1700 | 259 |1124k| 1 |4288 | 0.000000e+00 | 3.942380e+05 | Inf
1424.23/1424.22 c 1390s| 1920k| 1919k| 3748k| 2.0 |1874M| 155 | 0 |1700 |1601 |1700 | 284 |1128k| 1 |4297 | 0.000000e+00 | 3.942380e+05 | Inf
1431.53/1431.55 c 1397s| 1930k| 1929k| 3766k| 2.0 |1884M| 155 | 0 |1700 |1601 |1700 | 280 |1133k| 1 |4305 | 0.000000e+00 | 3.942380e+05 | Inf
1438.73/1438.72 c 1404s| 1940k| 1939k| 3781k| 1.9 |1894M| 155 | 16 |1700 |1601 |1700 | 224 |1137k| 1 |4309 | 0.000000e+00 | 3.942380e+05 | Inf
1446.12/1446.15 c 1411s| 1950k| 1949k| 3803k| 2.0 |1903M| 155 | 0 |1700 |1601 |1700 | 241 |1144k| 1 |4320 | 0.000000e+00 | 3.942380e+05 | Inf
1453.62/1453.64 c 1418s| 1960k| 1959k| 3822k| 1.9 |1913M| 155 | 0 |1700 |1601 |1700 | 300 |1149k| 1 |4332 | 0.000000e+00 | 3.942380e+05 | Inf
1460.83/1460.88 c 1426s| 1970k| 1969k| 3838k| 1.9 |1923M| 155 | 0 |1700 |1601 |1700 | 233 |1154k| 1 |4347 | 0.000000e+00 | 3.942380e+05 | Inf
1468.13/1468.15 c 1433s| 1980k| 1979k| 3859k| 1.9 |1932M| 155 | 0 |1700 |1601 |1700 | 211 |1160k| 1 |4359 | 0.000000e+00 | 3.942380e+05 | Inf
1475.23/1475.26 c 1440s| 1990k| 1989k| 3875k| 1.9 |1942M| 155 | 0 |1700 |1601 |1700 | 235 |1165k| 1 |4371 | 0.000000e+00 | 3.942380e+05 | Inf
1482.23/1482.25 c 1446s| 2000k| 1999k| 3889k| 1.9 |1952M| 155 | 0 |1700 |1601 |1700 | 255 |1169k| 1 |4371 | 0.000000e+00 | 3.942380e+05 | Inf
1489.53/1489.53 c 1454s| 2010k| 2009k| 3907k| 1.9 |1961M| 155 | 0 |1700 |1601 |1700 | 275 |1174k| 1 |4387 | 0.000000e+00 | 3.942380e+05 | Inf
1496.73/1496.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1496.73/1496.77 c 1461s| 2020k| 2019k| 3922k| 1.9 |1971M| 155 | 0 |1700 |1601 |1700 | 258 |1178k| 1 |4398 | 0.000000e+00 | 3.942380e+05 | Inf
1504.03/1504.06 c 1468s| 2030k| 2029k| 3938k| 1.9 |1981M| 155 | 0 |1700 |1603 |1700 | 270 |1184k| 3 |4405 | 0.000000e+00 | 3.942380e+05 | Inf
1511.03/1511.08 c 1475s| 2040k| 2039k| 3951k| 1.9 |1990M| 155 | 0 |1700 |1603 |1700 | 248 |1187k| 3 |4411 | 0.000000e+00 | 3.942380e+05 | Inf
1518.33/1518.39 c 1482s| 2050k| 2049k| 3968k| 1.9 |2000M| 155 | 0 |1700 |1603 |1700 | 284 |1192k| 3 |4421 | 0.000000e+00 | 3.942380e+05 | Inf
1525.53/1525.56 c 1489s| 2060k| 2059k| 3979k| 1.9 |2010M| 155 | 24 |1700 |1603 |1700 | 206 |1196k| 3 |4421 | 0.000000e+00 | 3.942380e+05 | Inf
1532.53/1532.55 c 1496s| 2070k| 2069k| 3992k| 1.9 |2019M| 155 | 0 |1700 |1603 |1700 | 223 |1200k| 3 |4435 | 0.000000e+00 | 3.942380e+05 | Inf
1539.33/1539.32 c 1502s| 2080k| 2079k| 4000k| 1.9 |2029M| 155 | 0 |1700 |1603 |1700 | 247 |1202k| 3 |4435 | 0.000000e+00 | 3.942380e+05 | Inf
1546.23/1546.20 c 1509s| 2090k| 2089k| 4011k| 1.9 |2038M| 155 | 0 |1700 |1603 |1700 | 267 |1204k| 3 |4445 | 0.000000e+00 | 3.942380e+05 | Inf
1553.13/1553.14 c 1516s| 2100k| 2099k| 4022k| 1.9 |2048M| 155 | 0 |1700 |1603 |1700 | 275 |1207k| 3 |4445 | 0.000000e+00 | 3.942380e+05 | Inf
1560.13/1560.19 c 1523s| 2110k| 2109k| 4033k| 1.9 |2057M| 155 | 0 |1700 |1603 |1700 | 294 |1210k| 3 |4454 | 0.000000e+00 | 3.942380e+05 | Inf
1567.03/1567.06 c 1529s| 2120k| 2119k| 4042k| 1.9 |2067M| 155 | 0 |1700 |1603 |1700 | 235 |1213k| 3 |4454 | 0.000000e+00 | 3.942380e+05 | Inf
1573.83/1573.86 c 1536s| 2130k| 2129k| 4050k| 1.9 |2076M| 155 | 0 |1700 |1603 |1700 | 249 |1215k| 3 |4464 | 0.000000e+00 | 3.942380e+05 | Inf
1581.13/1581.15 c 1543s| 2140k| 2139k| 4063k| 1.9 |2086M| 155 | 0 |1700 |1603 |1700 | 297 |1219k| 3 |4466 | 0.000000e+00 | 3.942380e+05 | Inf
1588.34/1588.32 c 1550s| 2150k| 2149k| 4077k| 1.9 |2096M| 155 | 0 |1700 |1603 |1700 | 230 |1223k| 3 |4478 | 0.000000e+00 | 3.942380e+05 | Inf
1595.74/1595.78 c 1557s| 2160k| 2159k| 4098k| 1.9 |2105M| 155 | 0 |1700 |1603 |1700 | 262 |1229k| 3 |4488 | 0.000000e+00 | 3.942380e+05 | Inf
1603.03/1603.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1603.03/1603.02 c 1564s| 2170k| 2169k| 4114k| 1.9 |2115M| 155 | 0 |1700 |1603 |1700 | 250 |1233k| 3 |4499 | 0.000000e+00 | 3.942380e+05 | Inf
1610.33/1610.31 c 1572s| 2180k| 2179k| 4132k| 1.9 |2125M| 155 | 0 |1700 |1603 |1700 | 287 |1238k| 3 |4507 | 0.000000e+00 | 3.942380e+05 | Inf
1617.33/1617.37 c 1578s| 2190k| 2189k| 4144k| 1.9 |2134M| 155 | 0 |1700 |1603 |1700 | 276 |1242k| 3 |4510 | 0.000000e+00 | 3.942380e+05 | Inf
1624.74/1624.75 c 1586s| 2200k| 2199k| 4158k| 1.9 |2144M| 155 | 11 |1700 |1603 |1700 | 298 |1246k| 3 |4521 | 0.000000e+00 | 3.942380e+05 | Inf
1631.83/1631.85 c 1593s| 2210k| 2209k| 4172k| 1.9 |2154M| 155 | 0 |1700 |1603 |1700 | 258 |1251k| 3 |4522 | 0.000000e+00 | 3.942380e+05 | Inf
1638.63/1638.67 c 1599s| 2220k| 2219k| 4180k| 1.9 |2163M| 155 | 0 |1700 |1603 |1700 | 230 |1253k| 3 |4532 | 0.000000e+00 | 3.942380e+05 | Inf
1645.74/1645.73 c 1606s| 2230k| 2229k| 4192k| 1.9 |2173M| 155 | 0 |1700 |1603 |1700 | 275 |1257k| 3 |4533 | 0.000000e+00 | 3.942380e+05 | Inf
1652.74/1652.79 c 1613s| 2240k| 2239k| 4203k| 1.9 |2182M| 155 | 0 |1700 |1603 |1700 | 243 |1260k| 3 |4544 | 0.000000e+00 | 3.942380e+05 | Inf
1659.63/1659.68 c 1620s| 2250k| 2249k| 4214k| 1.9 |2192M| 155 | 0 |1700 |1603 |1700 | 268 |1263k| 3 |4544 | 0.000000e+00 | 3.942380e+05 | Inf
1666.83/1666.84 c 1626s| 2260k| 2259k| 4228k| 1.9 |2202M| 155 | 0 |1700 |1602 |1700 | 257 |1267k| 3 |4553 | 0.000000e+00 | 3.942380e+05 | Inf
1674.03/1674.05 c 1633s| 2270k| 2269k| 4241k| 1.9 |2211M| 155 | 0 |1700 |1602 |1700 | 279 |1272k| 3 |4563 | 0.000000e+00 | 3.942380e+05 | Inf
1681.44/1681.43 c 1641s| 2280k| 2279k| 4259k| 1.9 |2221M| 155 | 0 |1700 |1602 |1700 | 272 |1277k| 3 |4565 | 0.000000e+00 | 3.942380e+05 | Inf
1688.63/1688.63 c 1648s| 2290k| 2289k| 4271k| 1.9 |2231M| 155 | 0 |1700 |1602 |1700 | 262 |1281k| 3 |4574 | 0.000000e+00 | 3.942380e+05 | Inf
1695.83/1695.88 c 1655s| 2300k| 2299k| 4284k| 1.9 |2240M| 155 | 0 |1700 |1602 |1700 | 258 |1285k| 3 |4578 | 0.000000e+00 | 3.942380e+05 | Inf
1702.64/1702.66 c 1661s| 2310k| 2309k| 4292k| 1.9 |2250M| 155 | 0 |1700 |1602 |1700 | 256 |1287k| 3 |4585 | 0.000000e+00 | 3.942380e+05 | Inf
1709.94/1709.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1709.94/1709.93 c 1668s| 2320k| 2319k| 4309k| 1.9 |2260M| 155 | 0 |1700 |1602 |1700 | 267 |1292k| 3 |4593 | 0.000000e+00 | 3.942380e+05 | Inf
1717.04/1717.04 c 1675s| 2330k| 2329k| 4323k| 1.9 |2269M| 155 | 0 |1700 |1602 |1700 | 288 |1296k| 3 |4594 | 0.000000e+00 | 3.942380e+05 | Inf
1724.23/1724.28 c 1682s| 2340k| 2339k| 4340k| 1.9 |2279M| 155 | 0 |1700 |1602 |1700 | 249 |1301k| 3 |4606 | 0.000000e+00 | 3.942380e+05 | Inf
1731.44/1731.49 c 1689s| 2350k| 2349k| 4353k| 1.9 |2289M| 155 | 28 |1700 |1602 |1700 | 208 |1305k| 3 |4616 | 0.000000e+00 | 3.942380e+05 | Inf
1738.44/1738.42 c 1696s| 2360k| 2359k| 4363k| 1.8 |2298M| 155 | 0 |1700 |1602 |1700 | 254 |1308k| 3 |4618 | 0.000000e+00 | 3.942380e+05 | Inf
1745.54/1745.59 c 1703s| 2370k| 2369k| 4381k| 1.8 |2308M| 155 | 16 |1700 |1602 |1700 | 237 |1313k| 3 |4631 | 0.000000e+00 | 3.942380e+05 | Inf
1752.93/1752.95 c 1710s| 2380k| 2379k| 4404k| 1.9 |2317M| 155 | 0 |1700 |1602 |1700 | 302 |1319k| 3 |4643 | 0.000000e+00 | 3.942380e+05 | Inf
1760.24/1760.21 c 1717s| 2390k| 2389k| 4423k| 1.9 |2327M| 155 | 0 |1700 |1602 |1700 | 239 |1325k| 3 |4646 | 0.000000e+00 | 3.942380e+05 | Inf
1767.33/1767.30 c 1724s| 2400k| 2399k| 4437k| 1.8 |2337M| 155 | 0 |1700 |1602 |1700 | 273 |1328k| 3 |4656 | 0.000000e+00 | 3.942380e+05 | Inf
1774.43/1774.45 c 1731s| 2410k| 2409k| 4454k| 1.8 |2346M| 155 | 25 |1700 |1602 |1700 | 254 |1333k| 3 |4669 | 0.000000e+00 | 3.942380e+05 | Inf
1781.83/1781.82 c 1738s| 2420k| 2419k| 4475k| 1.8 |2356M| 155 | 0 |1700 |1602 |1700 | 272 |1339k| 3 |4683 | 0.000000e+00 | 3.942380e+05 | Inf
1789.04/1789.03 c 1745s| 2430k| 2429k| 4494k| 1.8 |2366M| 155 | 0 |1700 |1602 |1700 | 246 |1344k| 3 |4693 | 0.000000e+00 | 3.942380e+05 | Inf
1796.24/1796.23 c 1752s| 2440k| 2439k| 4510k| 1.8 |2375M| 155 | 0 |1700 |1602 |1700 | 254 |1349k| 3 |4699 | 0.000000e+00 | 3.942380e+05 | Inf
1800.04/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.00 c
1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.00 c Solving Time (sec) : 1755.80
1800.04/1800.00 c Solving Nodes : 2445233
1800.04/1800.00 c Primal Bound : +3.94238000000000e+05 (100 solutions)
1800.04/1800.00 c Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.01 s SATISFIABLE
1800.04/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.04/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.04/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.04/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.04/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.04/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.04/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.04/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.04/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.01 c Solving Time : 1755.80
1800.04/1800.01 c Original Problem :
1800.04/1800.01 c Problem name : HOME/instance-2700128-1278534038.wbo
1800.04/1800.01 c Variables : 1800 (1000 binary, 0 integer, 0 implicit integer, 800 continuous)
1800.04/1800.01 c Constraints : 1701 initial, 1701 maximal
1800.04/1800.01 c Presolved Problem :
1800.04/1800.01 c Problem name : t_HOME/instance-2700128-1278534038.wbo
1800.04/1800.01 c Variables : 1700 (900 binary, 0 integer, 0 implicit integer, 800 continuous)
1800.04/1800.01 c Constraints : 1600 initial, 1603 maximal
1800.04/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c probing : 0.01 0 0 0 0 0 0 0 0
1800.04/1800.01 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c linear : 0.01 0 100 0 800 0 101 0 0
1800.04/1800.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c root node : - 0 - - 0 - - - -
1800.04/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.01 c integral : 0 0 0 2750525 0 0 0 0 0 939584
1800.04/1800.01 c indicator : 800 0 3426389 2280733 0 0 2464517 0 0 0
1800.04/1800.01 c linear : 800 6 3426389 2280733 0 2 1027581 1351390 0 0
1800.04/1800.01 c logicor : 0+ 0 42914 0 0 0 2044 0 0 0
1800.04/1800.01 c countsols : 0 0 0 1975439 0 0 0 0 0 0
1800.04/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.01 c integral : 8.33 0.00 0.00 8.33 0.00
1800.04/1800.01 c indicator : 152.85 0.06 32.76 120.03 0.00
1800.04/1800.01 c linear : 41.26 0.00 16.30 24.96 0.00
1800.04/1800.01 c logicor : 0.05 0.00 0.05 0.00 0.00
1800.04/1800.01 c countsols : 0.51 0.00 0.00 0.51 0.00
1800.04/1800.01 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.01 c vbounds : 0.84 2 0 0
1800.04/1800.01 c rootredcost : 0.63 0 0 0
1800.04/1800.01 c pseudoobj : 50.25 3426189 0 0
1800.04/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.01 c propagation : 0.00 2 2 2 5.0 1 3.0 -
1800.04/1800.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.04/1800.01 c applied globally : - - - 3 4.3 - - -
1800.04/1800.01 c applied locally : - - - 0 0.0 - - -
1800.04/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.01 c cut pool : 0.00 3 - - 4 - (maximal pool size: 42)
1800.04/1800.01 c redcost : 92.84 2750006 0 0 0 0
1800.04/1800.01 c impliedbounds : 0.00 4 0 0 0 0
1800.04/1800.01 c intobj : 0.00 0 0 0 0 0
1800.04/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.01 c gomory : 0.02 4 0 0 45 0
1800.04/1800.01 c strongcg : 0.01 4 0 0 0 0
1800.04/1800.01 c cmir : 0.01 4 0 0 0 0
1800.04/1800.01 c flowcover : 0.01 4 0 0 0 0
1800.04/1800.01 c clique : 0.00 1 0 0 0 0
1800.04/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.01 c mcf : 0.00 1 0 0 0 0
1800.04/1800.01 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.01 c Pricers : Time Calls Vars
1800.04/1800.01 c problem variables: 0.00 0 0
1800.04/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.01 c relpscost : 7.47 469792 0 0 0 0 939584
1800.04/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.01 c inference : 131.87 1975439 0 0 0 0 3950878
1800.04/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.01 c random : 0.00 0 0 0 0 0 0
1800.04/1800.01 c Primal Heuristics : Time Calls Found
1800.04/1800.01 c LP solutions : 0.00 - 0
1800.04/1800.01 c pseudo solutions : 0.00 - 0
1800.04/1800.01 c feaspump : 0.02 0 0
1800.04/1800.01 c oneopt : 1.44 1 0
1800.04/1800.01 c intshifting : 0.09 29 0
1800.04/1800.01 c crossover : 0.93 13 0
1800.04/1800.01 c linesearchdiving : 16.34 33135 0
1800.04/1800.01 c guideddiving : 15.96 33135 0
1800.04/1800.01 c pscostdiving : 16.89 33135 0
1800.04/1800.01 c fracdiving : 16.26 33135 0
1800.04/1800.01 c veclendiving : 15.81 33136 0
1800.04/1800.01 c coefdiving : 15.93 33136 0
1800.04/1800.01 c objpscostdiving : 16.79 33086 0
1800.04/1800.01 c rootsoldiving : 17.61 33086 0
1800.04/1800.01 c trivial : 0.01 2 1
1800.04/1800.01 c simplerounding : 1.16 469738 0
1800.04/1800.01 c zirounding : 0.64 1000 0
1800.04/1800.01 c rounding : 0.98 9589 0
1800.04/1800.01 c shifting : 1.54 3005 0
1800.04/1800.01 c twoopt : 0.00 0 0
1800.04/1800.01 c fixandinfer : 0.00 0 0
1800.04/1800.01 c intdiving : 0.00 0 0
1800.04/1800.01 c actconsdiving : 0.00 0 0
1800.04/1800.01 c octane : 0.00 0 0
1800.04/1800.01 c rens : 0.01 1 0
1800.04/1800.01 c rins : 0.00 0 0
1800.04/1800.01 c localbranching : 0.00 0 0
1800.04/1800.01 c mutation : 0.00 0 0
1800.04/1800.01 c dins : 0.00 0 0
1800.04/1800.01 c undercover : 0.00 0 0
1800.04/1800.01 c nlp : 0.55 0 0
1800.04/1800.01 c trysol : 1.06 37029 99
1800.04/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.01 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.01 c dual LP : 696.72 928426 4515600 4.86 6481.23
1800.04/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.01 c diving/probing LP: 0.25 630 1918 3.04 7672.00
1800.04/1800.01 c strong branching : 4.58 4703 62762 13.35 13703.49
1800.04/1800.01 c (at root node) : - 33 3391 102.76 -
1800.04/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.01 c B&B Tree :
1800.04/1800.01 c number of runs : 1
1800.04/1800.01 c nodes : 2445233
1800.04/1800.01 c nodes (total) : 2445233
1800.04/1800.01 c nodes left : 2445230
1800.04/1800.01 c max depth : 155
1800.04/1800.01 c max depth (total): 155
1800.04/1800.01 c backtracks : 33406 (1.4%)
1800.04/1800.01 c delayed cutoffs : 0
1800.04/1800.01 c repropagations : 14 (14 domain reductions, 0 cutoffs)
1800.04/1800.01 c avg switch length: 2.39
1800.04/1800.01 c switching time : 68.59
1800.04/1800.01 c Solution :
1800.04/1800.01 c Solutions found : 100 (1 improvements)
1800.04/1800.01 c First Solution : +3.94238000000000e+05 (in run 1, after 1 nodes, 0.03 seconds, depth 0, found by <trivial>)
1800.04/1800.01 c Primal Bound : +3.94238000000000e+05 (in run 1, after 1 nodes, 0.03 seconds, depth 0, found by <trivial>)
1800.04/1800.01 c Dual Bound : +0.00000000000000e+00
1800.04/1800.01 c Gap : infinite
1800.04/1800.01 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.01 c Root Iterations : 256
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700128-1278534038/watcher-2700128-1278534038 -o /tmp/evaluation-result-2700128-1278534038/solver-2700128-1278534038 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2700128-1278534038.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.52 1.91 0.82 4/178 18884
/proc/meminfo: memFree=28890084/32950904 swapFree=67111528/67111528
[pid=18884] ppid=18882 vsize=9280 CPUtime=0
/proc/18884/stat : 18884 (pbscip.linux.x8) R 18882 18884 17896 0 -1 4202496 1646 0 0 0 0 0 0 0 25 0 1 0 21617688 9502720 1565 4089446400 4194304 8223781 140735446544480 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/18884/statm: 2320 1565 369 984 0 1333 0
[startup+0.0678219 s]
/proc/loadavg: 2.52 1.91 0.82 4/178 18884
/proc/meminfo: memFree=28890084/32950904 swapFree=67111528/67111528
[pid=18884] ppid=18882 vsize=22524 CPUtime=0.06
/proc/18884/stat : 18884 (pbscip.linux.x8) R 18882 18884 17896 0 -1 4202496 5917 0 0 0 5 1 0 0 18 0 1 0 21617688 23064576 4692 4089446400 4194304 8223781 140735446544480 18446744073709551615 4240948 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18884/statm: 5631 4692 540 984 0 4644 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 22524
[startup+0.100755 s]
/proc/loadavg: 2.52 1.91 0.82 4/178 18884
/proc/meminfo: memFree=28890084/32950904 swapFree=67111528/67111528
[pid=18884] ppid=18882 vsize=23212 CPUtime=0.09
/proc/18884/stat : 18884 (pbscip.linux.x8) R 18882 18884 17896 0 -1 4202496 6147 0 0 0 8 1 0 0 18 0 1 0 21617688 23769088 4922 4089446400 4194304 8223781 140735446544480 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18884/statm: 5803 4922 564 984 0 4816 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23212
[startup+0.300777 s]
/proc/loadavg: 2.52 1.91 0.82 4/178 18884
/proc/meminfo: memFree=28890084/32950904 swapFree=67111528/67111528
[pid=18884] ppid=18882 vsize=23592 CPUtime=0.29
/proc/18884/stat : 18884 (pbscip.linux.x8) R 18882 18884 17896 0 -1 4202496 9101 0 0 0 28 1 0 0 18 0 1 0 21617688 24158208 5021 4089446400 4194304 8223781 140735446544480 18446744073709551615 6446826 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18884/statm: 5898 5021 578 984 0 4911 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23592
[startup+0.700746 s]
/proc/loadavg: 2.52 1.91 0.82 4/178 18884
/proc/meminfo: memFree=28890084/32950904 swapFree=67111528/67111528
[pid=18884] ppid=18882 vsize=23592 CPUtime=0.69
/proc/18884/stat : 18884 (pbscip.linux.x8) R 18882 18884 17896 0 -1 4202496 9102 0 0 0 67 2 0 0 18 0 1 0 21617688 24158208 5021 4089446400 4194304 8223781 140735446544480 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18884/statm: 5898 5021 578 984 0 4911 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 23592
[startup+1.50056 s]
/proc/loadavg: 2.52 1.91 0.82 3/179 18885
/proc/meminfo: memFree=28870236/32950904 swapFree=67111528/67111528
[pid=18884] ppid=18882 vsize=23592 CPUtime=1.49
/proc/18884/stat : 18884 (pbscip.linux.x8) R 18882 18884 17896 0 -1 4202496 9102 0 0 0 145 4 0 0 19 0 1 0 21617688 24158208 5021 4089446400 4194304 8223781 140735446544480 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18884/statm: 5898 5021 578 984 0 4911 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23592
[startup+3.10028 s]
/proc/loadavg: 2.52 1.91 0.82 3/179 18885
/proc/meminfo: memFree=28868624/32950904 swapFree=67111528/67111528
[pid=18884] ppid=18882 vsize=27088 CPUtime=3.09
/proc/18884/stat : 18884 (pbscip.linux.x8) R 18882 18884 17896 0 -1 4202496 15635 0 0 0 301 8 0 0 25 0 1 0 21617688 27738112 5797 4089446400 4194304 8223781 140735446544480 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18884/statm: 6772 5797 582 984 0 5785 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27088
[startup+6.30071 s]
/proc/loadavg: 2.48 1.91 0.83 3/179 18885
/proc/meminfo: memFree=28857972/32950904 swapFree=67111528/67111528
[pid=18884] ppid=18882 vsize=30968 CPUtime=6.29
/proc/18884/stat : 18884 (pbscip.linux.x8) R 18882 18884 17896 0 -1 4202496 22342 0 0 0 611 18 0 0 25 0 1 0 21617688 31711232 6784 4089446400 4194304 8223781 140735446544480 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18884/statm: 7742 6784 582 984 0 6755 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 30968
[startup+12.7005 s]
/proc/loadavg: 2.44 1.91 0.83 3/179 18885
/proc/meminfo: memFree=28842112/32950904 swapFree=67111528/67111528
[pid=18884] ppid=18882 vsize=39828 CPUtime=12.69
/proc/18884/stat : 18884 (pbscip.linux.x8) R 18882 18884 17896 0 -1 4202496 27429 0 0 0 1236 33 0 0 25 0 1 0 21617688 40783872 9017 4089446400 4194304 8223781 140735446544480 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18884/statm: 9957 9017 582 984 0 8970 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 39828
[startup+25.5002 s]
/proc/loadavg: 2.34 1.92 0.85 3/179 18885
/proc/meminfo: memFree=28810352/32950904 swapFree=67111528/67111528
[pid=18884] ppid=18882 vsize=54600 CPUtime=25.49
/proc/18884/stat : 18884 (pbscip.linux.x8) R 18882 18884 17896 0 -1 4202496 36943 0 0 0 2486 63 0 0 25 0 1 0 21617688 55910400 12798 4089446400 4194304 8223781 140735446544480 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18884/statm: 13650 12798 582 984 0 12663 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 54600
[startup+51.1007 s]
/proc/loadavg: 2.30 1.94 0.89 3/179 18887
/proc/meminfo: memFree=28747624/32950904 swapFree=67111528/67111528
[pid=18884] ppid=18882 vsize=86868 CPUtime=51.09
/proc/18884/stat : 18884 (pbscip.linux.x8) R 18882 18884 17896 0 -1 4202496 48003 0 0 0 4985 124 0 0 25 0 1 0 21617688 88952832 20978 4089446400 4194304 8223781 140735446544480 18446744073709551615 4651300 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18884/statm: 21717 20978 582 984 0 20730 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 86868
[startup+102.307 s]
/proc/loadavg: 2.13 1.95 0.94 3/179 18888
/proc/meminfo: memFree=28614900/32950904 swapFree=67111528/67111528
[pid=18884] ppid=18882 vsize=154296 CPUtime=102.3
/proc/18884/stat : 18884 (pbscip.linux.x8) R 18882 18884 17896 0 -1 4202496 67468 0 0 0 9985 245 0 0 25 0 1 0 21617688 157999104 37578 4089446400 4194304 8223781 140735446544480 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18884/statm: 38574 37578 582 984 0 37587 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 154296
[startup+162.301 s]
/proc/loadavg: 2.05 1.95 1.01 3/179 18889
/proc/meminfo: memFree=28462200/32950904 swapFree=67111528/67111528
[pid=18884] ppid=18882 vsize=230996 CPUtime=162.29
/proc/18884/stat : 18884 (pbscip.linux.x8) R 18882 18884 17896 0 -1 4202496 85902 0 0 0 15829 400 0 0 25 0 1 0 21617688 236539904 56011 4089446400 4194304 8223781 140735446544480 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18884/statm: 57749 56011 582 984 0 56762 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 230996
[startup+222.3 s]
/proc/loadavg: 2.02 1.96 1.06 3/179 18891
/proc/meminfo: memFree=28308260/32950904 swapFree=67111528/67111528
[pid=18884] ppid=18882 vsize=305068 CPUtime=222.3
/proc/18884/stat : 18884 (pbscip.linux.x8) R 18882 18884 17896 0 -1 4202496 107620 0 0 0 21679 551 0 0 25 0 1 0 21617688 312389632 74863 4089446400 4194304 8223781 140735446544480 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18884/statm: 76267 74863 586 984 0 75280 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 305068
[startup+282.3 s]
/proc/loadavg: 2.00 1.96 1.12 3/179 18893
/proc/meminfo: memFree=28152572/32950904 swapFree=67111528/67111528
[pid=18884] ppid=18882 vsize=382692 CPUtime=282.29
/proc/18884/stat : 18884 (pbscip.linux.x8) R 18882 18884 17896 0 -1 4202496 127335 0 0 0 27538 691 0 0 25 0 1 0 21617688 391876608 94578 4089446400 4194304 8223781 140735446544480 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18884/statm: 95673 94578 586 984 0 94686 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 382692
[startup+342.301 s]
/proc/loadavg: 2.00 1.97 1.17 3/179 18895
/proc/meminfo: memFree=27993312/32950904 swapFree=67111528/67111528
[pid=18884] ppid=18882 vsize=460152 CPUtime=342.3
/proc/18884/stat : 18884 (pbscip.linux.x8) R 18882 18884 17896 0 -1 4202496 149852 0 0 0 33398 832 0 0 25 0 1 0 21617688 471195648 114230 4089446400 4194304 8223781 140735446544480 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18884/statm: 115038 114230 586 984 0 114051 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 460152
[startup+402.301 s]
/proc/loadavg: 2.05 1.99 1.23 3/179 18895
/proc/meminfo: memFree=27838256/32950904 swapFree=67111528/67111528
[pid=18884] ppid=18882 vsize=544796 CPUtime=402.3
/proc/18884/stat : 18884 (pbscip.linux.x8) R 18882 18884 17896 0 -1 4202496 169276 0 0 0 39259 971 0 0 25 0 1 0 21617688 557871104 133654 4089446400 4194304 8223781 140735446544480 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18884/statm: 136199 133654 586 984 0 135212 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 544796
[startup+462.3 s]
/proc/loadavg: 2.02 1.99 1.27 3/179 18897
/proc/meminfo: memFree=27679332/32950904 swapFree=67111528/67111528
[pid=18884] ppid=18882 vsize=621428 CPUtime=462.3
/proc/18884/stat : 18884 (pbscip.linux.x8) R 18882 18884 17896 0 -1 4202496 188755 0 0 0 45118 1112 0 0 25 0 1 0 21617688 636342272 153133 4089446400 4194304 8223781 140735446544480 18446744073709551615 6003003 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18884/statm: 155357 153133 586 984 0 154370 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 621428
[startup+522.301 s]
/proc/loadavg: 2.00 1.99 1.31 3/179 18899
/proc/meminfo: memFree=27523900/32950904 swapFree=67111528/67111528
[pid=18884] ppid=18882 vsize=696676 CPUtime=522.3
/proc/18884/stat : 18884 (pbscip.linux.x8) R 18882 18884 17896 0 -1 4202496 207896 0 0 0 50982 1248 0 0 25 0 1 0 21617688 713396224 172274 4089446400 4194304 8223781 140735446544480 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18884/statm: 174169 172274 586 984 0 173182 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 696676
[startup+582.301 s]
/proc/loadavg: 2.00 1.99 1.35 3/179 18901
/proc/meminfo: memFree=27366720/32950904 swapFree=67111528/67111528
[pid=18884] ppid=18882 vsize=775300 CPUtime=582.3
/proc/18884/stat : 18884 (pbscip.linux.x8) R 18882 18884 17896 0 -1 4202496 227860 0 0 0 56832 1398 0 0 25 0 1 0 21617688 793907200 192237 4089446400 4194304 8223781 140735446544480 18446744073709551615 6482443 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18884/statm: 193825 192237 586 984 0 192838 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 775300
[startup+642.3 s]
/proc/loadavg: 2.04 2.00 1.40 3/179 18903
/proc/meminfo: memFree=27205592/32950904 swapFree=67111528/67111528
[pid=18884] ppid=18882 vsize=852692 CPUtime=642.31
/proc/18884/stat : 18884 (pbscip.linux.x8) R 18882 18884 17896 0 -1 4202496 250365 0 0 0 62681 1550 0 0 25 0 1 0 21617688 873156608 211892 4089446400 4194304 8223781 140735446544480 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18884/statm: 213173 211892 586 984 0 212186 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 852692
[startup+702.3 s]
################
# More data... #
################
/proc/18884/stat : 18884 (pbscip.linux.x8) R 18882 18884 17896 0 -1 4202496 370274 0 0 0 97809 2422 0 0 25 0 1 0 21617688 1373110272 331801 4089446400 4194304 8223781 140735446544480 18446744073709551615 6482896 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18884/statm: 335232 331801 586 984 0 334245 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 1340928
[startup+1062.3 s]
/proc/loadavg: 2.01 2.00 1.60 3/179 18913
/proc/meminfo: memFree=26091644/32950904 swapFree=67111528/67111528
[pid=18884] ppid=18882 vsize=1420552 CPUtime=1062.32
/proc/18884/stat : 18884 (pbscip.linux.x8) R 18882 18884 17896 0 -1 4202496 390506 0 0 0 103666 2566 0 0 25 0 1 0 21617688 1454645248 352031 4089446400 4194304 8223781 140735446544480 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18884/statm: 355138 352031 586 984 0 354151 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 1420552
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.63 3/179 18915
/proc/meminfo: memFree=25931604/32950904 swapFree=67111528/67111528
[pid=18884] ppid=18882 vsize=1500720 CPUtime=1122.32
/proc/18884/stat : 18884 (pbscip.linux.x8) R 18882 18884 17896 0 -1 4202496 410876 0 0 0 109524 2708 0 0 25 0 1 0 21617688 1536737280 372401 4089446400 4194304 8223781 140735446544480 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18884/statm: 375180 372401 586 984 0 374193 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 1500720
[startup+1182.3 s]
/proc/loadavg: 2.06 2.02 1.65 3/179 18917
/proc/meminfo: memFree=25771716/32950904 swapFree=67111528/67111528
[pid=18884] ppid=18882 vsize=1578940 CPUtime=1182.32
/proc/18884/stat : 18884 (pbscip.linux.x8) R 18882 18884 17896 0 -1 4202496 430742 0 0 0 115376 2856 0 0 25 0 1 0 21617688 1616834560 392267 4089446400 4194304 8223781 140735446544480 18446744073709551615 4902951 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18884/statm: 394735 392267 586 984 0 393748 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 1578940
[startup+1242.3 s]
/proc/loadavg: 2.02 2.01 1.67 3/179 18919
/proc/meminfo: memFree=25614432/32950904 swapFree=67111528/67111528
[pid=18884] ppid=18882 vsize=1657904 CPUtime=1242.32
/proc/18884/stat : 18884 (pbscip.linux.x8) R 18882 18884 17896 0 -1 4202496 453657 0 0 0 121234 2998 0 0 25 0 1 0 21617688 1697693696 412330 4089446400 4194304 8223781 140735446544480 18446744073709551615 6482443 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18884/statm: 414476 412330 586 984 0 413489 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 1657904
[startup+1302.3 s]
/proc/loadavg: 2.01 2.00 1.69 3/179 18920
/proc/meminfo: memFree=25450556/32950904 swapFree=67111528/67111528
[pid=18884] ppid=18882 vsize=1737996 CPUtime=1302.33
/proc/18884/stat : 18884 (pbscip.linux.x8) R 18882 18884 17896 0 -1 4202496 474007 0 0 0 127085 3148 0 0 25 0 1 0 21617688 1779707904 432680 4089446400 4194304 8223781 140735446544480 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18884/statm: 434499 432680 586 984 0 433512 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 1737996
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.71 3/179 18921
/proc/meminfo: memFree=25294724/32950904 swapFree=67111528/67111528
[pid=18884] ppid=18882 vsize=1818080 CPUtime=1362.32
/proc/18884/stat : 18884 (pbscip.linux.x8) R 18882 18884 17896 0 -1 4202496 494358 0 0 0 132938 3294 0 0 25 0 1 0 21617688 1861713920 453031 4089446400 4194304 8223781 140735446544480 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18884/statm: 454520 453031 586 984 0 453533 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 1818080
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.72 3/179 18923
/proc/meminfo: memFree=25135456/32950904 swapFree=67111528/67111528
[pid=18884] ppid=18882 vsize=1895116 CPUtime=1422.33
/proc/18884/stat : 18884 (pbscip.linux.x8) R 18882 18884 17896 0 -1 4202496 513938 0 0 0 138794 3439 0 0 25 0 1 0 21617688 1940598784 472611 4089446400 4194304 8223781 140735446544480 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18884/statm: 473779 472611 586 984 0 472792 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 1895116
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.74 3/179 18925
/proc/meminfo: memFree=24976824/32950904 swapFree=67111528/67111528
[pid=18884] ppid=18882 vsize=1973992 CPUtime=1482.33
/proc/18884/stat : 18884 (pbscip.linux.x8) R 18882 18884 17896 0 -1 4202496 533988 0 0 0 144651 3582 0 0 25 0 1 0 21617688 2021367808 492661 4089446400 4194304 8223781 140735446544480 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18884/statm: 493498 492661 586 984 0 492511 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 1973992
[startup+1542.3 s]
/proc/loadavg: 2.03 2.01 1.75 3/179 18927
/proc/meminfo: memFree=24817804/32950904 swapFree=67111528/67111528
[pid=18884] ppid=18882 vsize=2084656 CPUtime=1542.33
/proc/18884/stat : 18884 (pbscip.linux.x8) R 18882 18884 17896 0 -1 4202496 553780 0 0 0 150514 3719 0 0 25 0 1 0 21617688 2134687744 512453 4089446400 4194304 8223781 140735446544480 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18884/statm: 521164 512453 586 984 0 520177 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 2084656
[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 1.77 3/179 18927
/proc/meminfo: memFree=24657912/32950904 swapFree=67111528/67111528
[pid=18884] ppid=18882 vsize=2166828 CPUtime=1602.34
/proc/18884/stat : 18884 (pbscip.linux.x8) R 18882 18884 17896 0 -1 4202496 574656 0 0 0 156376 3858 0 0 25 0 1 0 21617688 2218831872 533329 4089446400 4194304 8223781 140735446544480 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18884/statm: 541707 533329 586 984 0 540720 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 2166828
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.78 3/179 18985
/proc/meminfo: memFree=26889560/32950904 swapFree=67111528/67111528
[pid=18884] ppid=18882 vsize=2245320 CPUtime=1662.33
/proc/18884/stat : 18884 (pbscip.linux.x8) R 18882 18884 17896 0 -1 4202496 594607 0 0 0 162214 4019 0 0 25 0 1 0 21617688 2299207680 553280 4089446400 4194304 8223781 140735446544480 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18884/statm: 561330 553280 586 984 0 560343 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 2245320
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.79 3/179 18987
/proc/meminfo: memFree=26812368/32950904 swapFree=67111528/67111528
[pid=18884] ppid=18882 vsize=2323488 CPUtime=1722.34
/proc/18884/stat : 18884 (pbscip.linux.x8) R 18882 18884 17896 0 -1 4202496 614494 0 0 0 168041 4193 0 0 25 0 1 0 21617688 2379251712 573167 4089446400 4194304 8223781 140735446544480 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18884/statm: 580872 573167 586 984 0 579885 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 2323488
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.80 3/179 18989
/proc/meminfo: memFree=26729968/32950904 swapFree=67111528/67111528
[pid=18884] ppid=18882 vsize=2403296 CPUtime=1782.33
/proc/18884/stat : 18884 (pbscip.linux.x8) R 18882 18884 17896 0 -1 4202496 634753 0 0 0 173852 4381 0 0 25 0 1 0 21617688 2460975104 593426 4089446400 4194304 8223781 140735446544480 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18884/statm: 600824 593426 586 984 0 599837 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 2403296
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.80 3/179 18989
/proc/meminfo: memFree=26705404/32950904 swapFree=67111528/67111528
[pid=18884] ppid=18882 vsize=2426384 CPUtime=1800.04
/proc/18884/stat : 18884 (pbscip.linux.x8) R 18882 18884 17896 0 -1 4202496 640623 0 0 0 175581 4423 0 0 25 0 1 0 21617688 2484617216 599296 4089446400 4194304 8223781 140735446544480 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18884/statm: 606596 599296 586 984 0 605609 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 2426384
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -18884
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 1.80 3/180 18990
/proc/meminfo: memFree=26705148/32950904 swapFree=67111528/67111528
[pid=18884] ppid=18882 vsize=2426384 CPUtime=1801.44
/proc/18884/stat : 18884 (pbscip.linux.x8) R 18882 18884 17896 0 -1 4202496 640625 0 0 0 175721 4423 0 0 25 0 1 0 21617688 2484617216 599298 4089446400 4194304 8223781 140735446544480 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/18884/statm: 606596 599298 588 984 0 605609 0
Current children cumulated CPU time (s) 1801.44
Current children cumulated vsize (KiB) 2426384
[startup+1801.81 s]
/proc/loadavg: 2.00 2.00 1.80 3/180 18990
/proc/meminfo: memFree=26705024/32950904 swapFree=67111528/67111528
[pid=18884] ppid=18882 vsize=2426384 CPUtime=1801.84
/proc/18884/stat : 18884 (pbscip.linux.x8) R 18882 18884 17896 0 -1 4202496 640625 0 0 0 175761 4423 0 0 25 0 1 0 21617688 2484617216 599298 4089446400 4194304 8223781 140735446544480 18446744073709551615 6206544 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/18884/statm: 606596 599298 588 984 0 605609 0
Current children cumulated CPU time (s) 1801.84
Current children cumulated vsize (KiB) 2426384
[startup+1802 s]
/proc/loadavg: 2.00 2.00 1.80 3/180 18990
/proc/meminfo: memFree=26705024/32950904 swapFree=67111528/67111528
[pid=18884] ppid=18882 vsize=2426384 CPUtime=1802.04
/proc/18884/stat : 18884 (pbscip.linux.x8) R 18882 18884 17896 0 -1 4202496 640625 0 0 0 175781 4423 0 0 25 0 1 0 21617688 2484617216 599298 4089446400 4194304 8223781 140735446544480 18446744073709551615 6206655 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/18884/statm: 606596 599298 588 984 0 605609 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 2426384
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.08
CPU time (s): 1802.13
CPU user time (s): 1757.82
CPU system time (s): 44.3093
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 2426384
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1757.82
system time used= 44.3093
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 640625
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= 1066
runsolver used 2.47562 second user time and 5.73813 second system time
The end
Begin job on node121 at 2010-07-07 22:20:38
IDJOB=2700128
IDBENCH=79402
IDSOLVER=1204
FILE ID=node121/2700128-1278534038
PBS_JOBID= 11239236
Free space on /tmp= 73664 MiB
SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh219_wcsp.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2700128-1278534038/watcher-2700128-1278534038 -o /tmp/evaluation-result-2700128-1278534038/solver-2700128-1278534038 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2700128-1278534038.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 0a308225f12d2c01751496daa1233c60
RANDOM SEED=1159440423
node121.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.847
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.69
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.847
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5226.15
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.847
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.847
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.82
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.847
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.67
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.847
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.76
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.847
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.847
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950904 kB
MemFree: 28890488 kB
Buffers: 132164 kB
Cached: 3503180 kB
SwapCached: 0 kB
Active: 1597964 kB
Inactive: 2316156 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950904 kB
LowFree: 28890488 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 4908 kB
Writeback: 0 kB
AnonPages: 278396 kB
Mapped: 16724 kB
Slab: 82148 kB
PageTables: 5276 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586980 kB
Committed_AS: 420316 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= 73664 MiB
End job on node121 at 2010-07-07 22:50:40