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-2700296-1278534644.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.04
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.05 c
0.00/0.05 o 394238
0.00/0.05 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.05 c t 0.0s| 1 | 0 | 0 | - |5799k| 0 | - |1700 |1600 | 0 | 0 | 0 | 0 | 0 | -- | 3.942380e+05 | Inf
0.00/0.06 c 0.0s| 1 | 0 | 0 | - |6171k| 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 | 37 | - |6211k| 0 | 0 |1700 |1600 |1700 | 67 | 67 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.00/0.06 c 0.0s| 1 | 0 | 102 | - |6251k| 0 | 31 |1700 |1600 |1700 | 97 | 97 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.00/0.07 c 0.1s| 1 | 0 | 157 | - |6371k| 0 | 74 |1700 |1600 |1700 | 148 | 148 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.07/0.09 c 0.1s| 1 | 0 | 187 | - |6417k| 0 | 77 |1700 |1600 |1700 | 161 | 161 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.09/0.10 c 0.1s| 1 | 0 | 197 | - |6444k| 0 | 76 |1700 |1600 |1700 | 165 | 165 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.09/0.12 c 0.1s| 1 | 0 | 202 | - |6471k| 0 | 75 |1700 |1600 |1700 | 168 | 168 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.19/0.24 c 0.2s| 1 | 2 | 329 | - |6523k| 0 | 75 |1700 |1600 |1700 | 168 | 168 | 0 | 33 | 0.000000e+00 | 3.942380e+05 | Inf
9.99/10.06 c 9.8s| 10000 | 10001 | 40663 | 4.0 | 19M| 103 | 0 |1700 |1600 |1700 | 261 | 12k| 0 | 792 | 0.000000e+00 | 3.942380e+05 | Inf
17.99/18.02 c 17.6s| 20000 | 20001 | 70098 | 3.5 | 28M| 103 | 13 |1700 |1600 |1700 | 168 | 20k| 0 | 792 | 0.000000e+00 | 3.942380e+05 | Inf
26.09/26.11 c 25.5s| 30000 | 30001 |103508 | 3.4 | 38M| 109 | 2 |1700 |1600 |1700 | 236 | 29k| 0 | 804 | 0.000000e+00 | 3.942380e+05 | Inf
34.00/34.05 c 33.3s| 40000 | 40001 |132773 | 3.3 | 48M| 109 | 0 |1700 |1600 |1700 | 254 | 38k| 0 | 917 | 0.000000e+00 | 3.942380e+05 | Inf
41.49/41.57 c 40.6s| 50000 | 50001 |153913 | 3.1 | 58M| 113 | 0 |1700 |1600 |1700 | 256 | 44k| 0 | 971 | 0.000000e+00 | 3.942380e+05 | Inf
49.29/49.38 c 48.3s| 60000 | 60001 |179145 | 3.0 | 67M| 119 | 0 |1700 |1600 |1700 | 255 | 51k| 0 |1070 | 0.000000e+00 | 3.942380e+05 | Inf
57.20/57.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
57.20/57.24 c 56.0s| 70000 | 70001 |200129 | 2.9 | 77M| 119 | 0 |1700 |1600 |1700 | 237 | 56k| 0 |1145 | 0.000000e+00 | 3.942380e+05 | Inf
65.59/65.63 c 64.2s| 80000 | 80001 |222821 | 2.8 | 87M| 119 | 2 |1700 |1600 |1700 | 248 | 64k| 0 |1237 | 0.000000e+00 | 3.942380e+05 | Inf
73.99/74.06 c 72.5s| 90000 | 90001 |249236 | 2.8 | 96M| 119 | 0 |1700 |1600 |1700 | 251 | 72k| 0 |1329 | 0.000000e+00 | 3.942380e+05 | Inf
82.28/82.33 c 80.6s|100000 |100001 |267475 | 2.7 | 106M| 119 | 0 |1700 |1600 |1700 | 255 | 79k| 0 |1383 | 0.000000e+00 | 3.942380e+05 | Inf
90.59/90.68 c 88.8s|110000 |110001 |288797 | 2.6 | 116M| 119 | 0 |1700 |1600 |1700 | 240 | 85k| 0 |1436 | 0.000000e+00 | 3.942380e+05 | Inf
99.09/99.15 c 97.1s|120000 |120001 |312961 | 2.6 | 125M| 119 | 0 |1700 |1600 |1700 | 259 | 92k| 0 |1491 | 0.000000e+00 | 3.942380e+05 | Inf
107.49/107.54 c 105s|130000 |130001 |332292 | 2.6 | 135M| 119 | 0 |1700 |1600 |1700 | 257 | 98k| 0 |1552 | 0.000000e+00 | 3.942380e+05 | Inf
115.50/115.58 c 113s|140000 |140001 |344259 | 2.5 | 145M| 119 | 0 |1700 |1600 |1700 | 252 | 101k| 0 |1580 | 0.000000e+00 | 3.942380e+05 | Inf
123.69/123.74 c 121s|150000 |150001 |360502 | 2.4 | 154M| 119 | 0 |1700 |1600 |1700 | 289 | 106k| 0 |1632 | 0.000000e+00 | 3.942380e+05 | Inf
132.09/132.11 c 129s|160000 |160001 |381578 | 2.4 | 164M| 119 | 3 |1700 |1600 |1700 | 263 | 112k| 0 |1683 | 0.000000e+00 | 3.942380e+05 | Inf
139.99/140.01 c 137s|170000 |170001 |394037 | 2.3 | 174M| 119 | 0 |1700 |1600 |1700 | 246 | 116k| 0 |1708 | 0.000000e+00 | 3.942380e+05 | Inf
148.19/148.26 c 145s|180000 |180001 |412652 | 2.3 | 183M| 119 | 0 |1700 |1600 |1700 | 279 | 122k| 0 |1759 | 0.000000e+00 | 3.942380e+05 | Inf
156.59/156.65 c 154s|190000 |190001 |433995 | 2.3 | 193M| 119 | 0 |1700 |1600 |1700 | 277 | 128k| 0 |1805 | 0.000000e+00 | 3.942380e+05 | Inf
165.09/165.17 c 162s|200000 |200001 |459494 | 2.3 | 203M| 119 | 8 |1700 |1600 |1700 | 219 | 137k| 0 |1858 | 0.000000e+00 | 3.942380e+05 | Inf
173.09/173.16 c 170s|210000 |210001 |469044 | 2.2 | 212M| 119 | 0 |1700 |1600 |1700 | 276 | 140k| 0 |1886 | 0.000000e+00 | 3.942380e+05 | Inf
181.29/181.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
181.29/181.32 c 178s|220000 |220001 |485988 | 2.2 | 222M| 123 | 0 |1700 |1600 |1700 | 264 | 145k| 0 |1915 | 0.000000e+00 | 3.942380e+05 | Inf
189.39/189.44 c 186s|230000 |230001 |502764 | 2.2 | 231M| 123 | 0 |1700 |1600 |1700 | 273 | 150k| 0 |1962 | 0.000000e+00 | 3.942380e+05 | Inf
197.59/197.63 c 194s|240000 |240001 |521472 | 2.2 | 241M| 123 | 0 |1700 |1600 |1700 | 247 | 155k| 0 |1998 | 0.000000e+00 | 3.942380e+05 | Inf
206.00/206.04 c 202s|250000 |250001 |545177 | 2.2 | 251M| 127 | 0 |1700 |1600 |1700 | 243 | 162k| 0 |2045 | 0.000000e+00 | 3.942380e+05 | Inf
214.29/214.37 c 210s|260000 |260001 |566900 | 2.2 | 260M| 127 | 0 |1700 |1600 |1700 | 256 | 169k| 0 |2084 | 0.000000e+00 | 3.942380e+05 | Inf
222.69/222.70 c 218s|270000 |270001 |589380 | 2.2 | 270M| 127 | 0 |1700 |1600 |1700 | 251 | 176k| 0 |2124 | 0.000000e+00 | 3.942380e+05 | Inf
230.90/230.91 c 226s|280000 |280001 |608946 | 2.2 | 280M| 127 | 0 |1700 |1600 |1700 | 241 | 182k| 0 |2156 | 0.000000e+00 | 3.942380e+05 | Inf
239.00/239.08 c 234s|290000 |290001 |627579 | 2.2 | 290M| 127 | 4 |1700 |1600 |1700 | 253 | 187k| 0 |2192 | 0.000000e+00 | 3.942380e+05 | Inf
246.79/246.89 c 242s|300000 |300001 |642815 | 2.1 | 299M| 127 | 0 |1700 |1600 |1700 | 243 | 191k| 0 |2206 | 0.000000e+00 | 3.942380e+05 | Inf
254.99/255.00 c 250s|310000 |310001 |663486 | 2.1 | 309M| 127 | 0 |1700 |1600 |1700 | 247 | 197k| 0 |2242 | 0.000000e+00 | 3.942380e+05 | Inf
263.20/263.24 c 258s|320000 |320001 |683662 | 2.1 | 319M| 127 | 0 |1700 |1600 |1700 | 263 | 203k| 0 |2282 | 0.000000e+00 | 3.942380e+05 | Inf
271.19/271.20 c 266s|330000 |330001 |698438 | 2.1 | 328M| 127 | 0 |1700 |1600 |1700 | 261 | 208k| 0 |2307 | 0.000000e+00 | 3.942380e+05 | Inf
279.59/279.60 c 274s|340000 |340001 |721710 | 2.1 | 338M| 127 | 0 |1700 |1600 |1700 | 244 | 215k| 0 |2345 | 0.000000e+00 | 3.942380e+05 | Inf
287.59/287.64 c 282s|350000 |350001 |734856 | 2.1 | 348M| 127 | 0 |1700 |1600 |1700 | 275 | 219k| 0 |2364 | 0.000000e+00 | 3.942380e+05 | Inf
295.39/295.40 c 290s|360000 |360001 |742893 | 2.1 | 357M| 127 | 0 |1700 |1600 |1700 | 247 | 221k| 0 |2370 | 0.000000e+00 | 3.942380e+05 | Inf
303.69/303.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
303.69/303.73 c 298s|370000 |370001 |763518 | 2.1 | 367M| 127 | 0 |1700 |1600 |1700 | 252 | 226k| 0 |2404 | 0.000000e+00 | 3.942380e+05 | Inf
311.70/311.77 c 306s|380000 |380001 |778696 | 2.0 | 376M| 127 | 0 |1700 |1600 |1700 | 302 | 231k| 0 |2426 | 0.000000e+00 | 3.942380e+05 | Inf
319.90/319.95 c 314s|390000 |390001 |795456 | 2.0 | 386M| 127 | 0 |1700 |1600 |1700 | 254 | 236k| 0 |2464 | 0.000000e+00 | 3.942380e+05 | Inf
328.19/328.24 c 322s|400000 |400001 |815465 | 2.0 | 396M| 127 | 0 |1700 |1600 |1700 | 256 | 243k| 0 |2488 | 0.000000e+00 | 3.942380e+05 | Inf
336.30/336.34 c 330s|410000 |410001 |832156 | 2.0 | 406M| 127 | 0 |1700 |1600 |1700 | 235 | 248k| 0 |2522 | 0.000000e+00 | 3.942380e+05 | Inf
344.60/344.64 c 338s|420000 |420001 |852980 | 2.0 | 415M| 127 | 0 |1700 |1600 |1700 | 265 | 254k| 0 |2549 | 0.000000e+00 | 3.942380e+05 | Inf
353.00/353.01 c 346s|430000 |430001 |875733 | 2.0 | 425M| 127 | 0 |1700 |1600 |1700 | 254 | 261k| 0 |2591 | 0.000000e+00 | 3.942380e+05 | Inf
361.09/361.13 c 354s|440000 |440001 |892529 | 2.0 | 435M| 127 | 0 |1700 |1600 |1700 | 246 | 266k| 0 |2615 | 0.000000e+00 | 3.942380e+05 | Inf
369.09/369.10 c 362s|450000 |450001 |907340 | 2.0 | 444M| 127 | 0 |1700 |1600 |1700 | 280 | 271k| 0 |2633 | 0.000000e+00 | 3.942380e+05 | Inf
377.10/377.20 c 370s|460000 |460001 |923832 | 2.0 | 454M| 127 | 0 |1700 |1600 |1700 | 252 | 276k| 0 |2662 | 0.000000e+00 | 3.942380e+05 | Inf
385.20/385.29 c 378s|470000 |470001 |940725 | 2.0 | 464M| 127 | 17 |1700 |1600 |1700 | 259 | 281k| 0 |2691 | 0.000000e+00 | 3.942380e+05 | Inf
393.50/393.59 c 386s|480000 |480001 |959032 | 2.0 | 473M| 127 | 12 |1700 |1600 |1700 | 228 | 286k| 0 |2708 | 0.000000e+00 | 3.942380e+05 | Inf
401.89/401.92 c 394s|490000 |490001 |977564 | 2.0 | 483M| 127 | 3 |1700 |1600 |1700 | 255 | 292k| 0 |2741 | 0.000000e+00 | 3.942380e+05 | Inf
409.90/409.94 c 402s|500000 |500001 |993121 | 2.0 | 493M| 127 | 5 |1700 |1600 |1700 | 251 | 296k| 0 |2763 | 0.000000e+00 | 3.942380e+05 | Inf
417.40/417.43 c 410s|510000 |510001 | 1012k| 2.0 | 502M| 127 | 0 |1700 |1600 |1700 | 245 | 303k| 0 |2782 | 0.000000e+00 | 3.942380e+05 | Inf
424.69/424.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
424.69/424.79 c 417s|520000 |520001 | 1029k| 2.0 | 512M| 127 | 0 |1700 |1600 |1700 | 248 | 308k| 0 |2811 | 0.000000e+00 | 3.942380e+05 | Inf
432.19/432.26 c 424s|530000 |530001 | 1050k| 2.0 | 522M| 127 | 24 |1700 |1600 |1700 | 260 | 315k| 0 |2834 | 0.000000e+00 | 3.942380e+05 | Inf
439.59/439.66 c 431s|540000 |540001 | 1068k| 2.0 | 531M| 127 | 24 |1700 |1600 |1700 | 233 | 320k| 0 |2851 | 0.000000e+00 | 3.942380e+05 | Inf
446.89/446.98 c 439s|550000 |550001 | 1083k| 2.0 | 541M| 127 | 0 |1700 |1600 |1700 | 274 | 325k| 0 |2879 | 0.000000e+00 | 3.942380e+05 | Inf
454.40/454.46 c 446s|560000 |560001 | 1101k| 2.0 | 551M| 127 | 0 |1700 |1600 |1700 | 247 | 330k| 0 |2904 | 0.000000e+00 | 3.942380e+05 | Inf
462.00/462.05 c 453s|570000 |570001 | 1120k| 2.0 | 560M| 127 | 0 |1700 |1600 |1700 | 260 | 336k| 0 |2922 | 0.000000e+00 | 3.942380e+05 | Inf
469.89/469.92 c 461s|580000 |580001 | 1136k| 2.0 | 570M| 127 | 0 |1700 |1600 |1700 | 249 | 342k| 0 |2947 | 0.000000e+00 | 3.942380e+05 | Inf
478.09/478.19 c 469s|590000 |590001 | 1155k| 2.0 | 580M| 127 | 0 |1700 |1600 |1700 | 276 | 348k| 0 |2975 | 0.000000e+00 | 3.942380e+05 | Inf
486.39/486.48 c 477s|600000 |600001 | 1177k| 2.0 | 589M| 127 | 10 |1700 |1600 |1700 | 212 | 354k| 0 |2994 | 0.000000e+00 | 3.942380e+05 | Inf
494.79/494.90 c 486s|610000 |610001 | 1199k| 2.0 | 599M| 127 | 0 |1700 |1600 |1700 | 263 | 362k| 0 |3033 | 0.000000e+00 | 3.942380e+05 | Inf
503.19/503.25 c 494s|620000 |620001 | 1221k| 2.0 | 609M| 127 | 0 |1700 |1600 |1700 | 283 | 370k| 0 |3062 | 0.000000e+00 | 3.942380e+05 | Inf
511.39/511.49 c 502s|630000 |630001 | 1238k| 2.0 | 618M| 127 | 12 |1700 |1600 |1700 | 231 | 375k| 0 |3096 | 0.000000e+00 | 3.942380e+05 | Inf
519.59/519.64 c 510s|640000 |640001 | 1255k| 2.0 | 628M| 127 | 0 |1700 |1600 |1700 | 248 | 380k| 0 |3119 | 0.000000e+00 | 3.942380e+05 | Inf
527.69/527.77 c 518s|650000 |650001 | 1272k| 2.0 | 638M| 127 | 0 |1700 |1600 |1700 | 258 | 386k| 0 |3140 | 0.000000e+00 | 3.942380e+05 | Inf
535.70/535.77 c 526s|660000 |660001 | 1285k| 1.9 | 647M| 127 | 7 |1700 |1600 |1700 | 228 | 390k| 0 |3155 | 0.000000e+00 | 3.942380e+05 | Inf
544.00/544.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
544.00/544.01 c 534s|670000 |670001 | 1304k| 1.9 | 657M| 127 | 0 |1700 |1600 |1700 | 241 | 396k| 0 |3176 | 0.000000e+00 | 3.942380e+05 | Inf
551.99/552.10 c 542s|680000 |680001 | 1321k| 1.9 | 667M| 127 | 0 |1700 |1600 |1700 | 250 | 401k| 0 |3192 | 0.000000e+00 | 3.942380e+05 | Inf
560.29/560.32 c 550s|690000 |690001 | 1340k| 1.9 | 676M| 127 | 3 |1700 |1600 |1700 | 254 | 407k| 0 |3228 | 0.000000e+00 | 3.942380e+05 | Inf
568.19/568.26 c 558s|700000 |700001 | 1353k| 1.9 | 686M| 127 | 0 |1700 |1600 |1700 | 241 | 411k| 0 |3244 | 0.000000e+00 | 3.942380e+05 | Inf
576.30/576.33 c 566s|710000 |710001 | 1367k| 1.9 | 695M| 127 | 0 |1700 |1600 |1700 | 202 | 415k| 0 |3254 | 0.000000e+00 | 3.942380e+05 | Inf
584.30/584.31 c 574s|720000 |720001 | 1379k| 1.9 | 705M| 127 | 0 |1700 |1600 |1700 | 237 | 420k| 0 |3265 | 0.000000e+00 | 3.942380e+05 | Inf
592.29/592.33 c 581s|730000 |730001 | 1394k| 1.9 | 715M| 127 | 5 |1700 |1600 |1700 | 176 | 424k| 0 |3282 | 0.000000e+00 | 3.942380e+05 | Inf
600.40/600.50 c 589s|740000 |740001 | 1410k| 1.9 | 724M| 127 | 0 |1700 |1600 |1700 | 260 | 430k| 0 |3308 | 0.000000e+00 | 3.942380e+05 | Inf
608.70/608.74 c 598s|750000 |750001 | 1430k| 1.9 | 734M| 127 | 0 |1700 |1600 |1700 | 241 | 436k| 0 |3326 | 0.000000e+00 | 3.942380e+05 | Inf
616.69/616.79 c 605s|760000 |760001 | 1444k| 1.9 | 744M| 127 | 0 |1700 |1600 |1700 | 251 | 440k| 0 |3339 | 0.000000e+00 | 3.942380e+05 | Inf
624.80/624.89 c 613s|770000 |770001 | 1462k| 1.9 | 753M| 127 | 0 |1700 |1600 |1700 | 250 | 446k| 0 |3351 | 0.000000e+00 | 3.942380e+05 | Inf
633.00/633.09 c 621s|780000 |780001 | 1478k| 1.9 | 763M| 127 | 0 |1700 |1600 |1700 | 267 | 452k| 0 |3367 | 0.000000e+00 | 3.942380e+05 | Inf
641.20/641.21 c 629s|790000 |790001 | 1493k| 1.9 | 773M| 127 | 0 |1700 |1600 |1700 | 243 | 456k| 0 |3384 | 0.000000e+00 | 3.942380e+05 | Inf
649.20/649.26 c 637s|800000 |800001 | 1508k| 1.9 | 782M| 127 | 3 |1700 |1600 |1700 | 247 | 461k| 0 |3402 | 0.000000e+00 | 3.942380e+05 | Inf
657.40/657.42 c 645s|810000 |810001 | 1526k| 1.9 | 792M| 127 | 0 |1700 |1600 |1700 | 260 | 467k| 0 |3420 | 0.000000e+00 | 3.942380e+05 | Inf
665.59/665.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
665.59/665.68 c 653s|820000 |820001 | 1544k| 1.9 | 802M| 127 | 0 |1700 |1600 |1700 | 265 | 472k| 0 |3451 | 0.000000e+00 | 3.942380e+05 | Inf
673.80/673.86 c 661s|830000 |830001 | 1562k| 1.9 | 811M| 127 | 0 |1700 |1600 |1700 | 229 | 478k| 0 |3467 | 0.000000e+00 | 3.942380e+05 | Inf
681.70/681.72 c 669s|840000 |840001 | 1574k| 1.9 | 821M| 127 | 0 |1700 |1600 |1700 | 267 | 482k| 0 |3484 | 0.000000e+00 | 3.942380e+05 | Inf
690.00/690.06 c 677s|850000 |850001 | 1596k| 1.9 | 830M| 127 | 0 |1700 |1600 |1700 | 252 | 487k| 0 |3499 | 0.000000e+00 | 3.942380e+05 | Inf
698.19/698.23 c 685s|860000 |860001 | 1615k| 1.9 | 840M| 127 | 0 |1700 |1600 |1700 | 268 | 494k| 0 |3523 | 0.000000e+00 | 3.942380e+05 | Inf
706.49/706.59 c 694s|870000 |870001 | 1636k| 1.9 | 850M| 127 | 0 |1700 |1600 |1700 | 238 | 501k| 0 |3547 | 0.000000e+00 | 3.942380e+05 | Inf
714.70/714.76 c 702s|880000 |880001 | 1653k| 1.9 | 860M| 127 | 22 |1700 |1600 |1700 | 265 | 506k| 0 |3562 | 0.000000e+00 | 3.942380e+05 | Inf
723.00/723.00 c 710s|890000 |890001 | 1672k| 1.9 | 869M| 127 | 0 |1700 |1600 |1700 | 254 | 513k| 0 |3582 | 0.000000e+00 | 3.942380e+05 | Inf
731.20/731.26 c 718s|900000 |900001 | 1693k| 1.9 | 879M| 127 | 0 |1700 |1600 |1700 | 239 | 519k| 0 |3613 | 0.000000e+00 | 3.942380e+05 | Inf
739.29/739.35 c 726s|910000 |910001 | 1709k| 1.9 | 889M| 127 | 0 |1700 |1600 |1700 | 265 | 525k| 0 |3627 | 0.000000e+00 | 3.942380e+05 | Inf
747.40/747.46 c 734s|920000 |920001 | 1724k| 1.9 | 898M| 127 | 0 |1700 |1600 |1700 | 242 | 529k| 0 |3648 | 0.000000e+00 | 3.942380e+05 | Inf
755.70/755.72 c 742s|930000 |930001 | 1746k| 1.9 | 908M| 127 | 8 |1700 |1600 |1700 | 251 | 536k| 0 |3665 | 0.000000e+00 | 3.942380e+05 | Inf
764.60/764.63 c 751s|940000 |940001 | 1778k| 1.9 | 918M| 127 | 38 |1700 |1600 |1700 | 193 | 544k| 0 |3700 | 0.000000e+00 | 3.942380e+05 | Inf
772.90/772.90 c 759s|950000 |950001 | 1795k| 1.9 | 927M| 127 | 0 |1700 |1600 |1700 | 246 | 549k| 0 |3715 | 0.000000e+00 | 3.942380e+05 | Inf
780.91/780.93 c 767s|960000 |960001 | 1809k| 1.9 | 937M| 127 | 0 |1700 |1600 |1700 | 259 | 553k| 0 |3730 | 0.000000e+00 | 3.942380e+05 | Inf
788.90/788.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
788.90/788.93 c 774s|970000 |970001 | 1825k| 1.9 | 946M| 127 | 0 |1700 |1600 |1700 | 254 | 557k| 0 |3744 | 0.000000e+00 | 3.942380e+05 | Inf
796.90/796.99 c 782s|980000 |980001 | 1841k| 1.9 | 956M| 127 | 0 |1700 |1600 |1700 | 272 | 562k| 0 |3761 | 0.000000e+00 | 3.942380e+05 | Inf
804.90/804.96 c 790s|990000 |990001 | 1854k| 1.9 | 966M| 127 | 0 |1700 |1600 |1700 | 256 | 566k| 0 |3776 | 0.000000e+00 | 3.942380e+05 | Inf
813.10/813.13 c 798s| 1000k| 1000k| 1871k| 1.9 | 975M| 127 | 0 |1700 |1600 |1700 | 227 | 571k| 0 |3790 | 0.000000e+00 | 3.942380e+05 | Inf
821.10/821.10 c 806s| 1010k| 1010k| 1887k| 1.9 | 985M| 127 | 0 |1700 |1600 |1700 | 240 | 576k| 0 |3802 | 0.000000e+00 | 3.942380e+05 | Inf
829.31/829.34 c 814s| 1020k| 1020k| 1905k| 1.9 | 995M| 127 | 0 |1700 |1600 |1700 | 268 | 582k| 0 |3814 | 0.000000e+00 | 3.942380e+05 | Inf
837.40/837.45 c 822s| 1030k| 1030k| 1923k| 1.9 |1004M| 127 | 0 |1700 |1600 |1700 | 241 | 588k| 0 |3836 | 0.000000e+00 | 3.942380e+05 | Inf
845.40/845.48 c 830s| 1040k| 1040k| 1938k| 1.9 |1014M| 127 | 0 |1700 |1600 |1700 | 257 | 593k| 0 |3846 | 0.000000e+00 | 3.942380e+05 | Inf
852.90/852.91 c 837s| 1050k| 1050k| 1955k| 1.9 |1024M| 127 | 0 |1700 |1600 |1700 | 264 | 598k| 0 |3867 | 0.000000e+00 | 3.942380e+05 | Inf
860.41/860.48 c 845s| 1060k| 1060k| 1980k| 1.9 |1033M| 127 | 13 |1700 |1600 |1700 | 254 | 604k| 0 |3890 | 0.000000e+00 | 3.942380e+05 | Inf
867.90/867.95 c 852s| 1070k| 1070k| 2000k| 1.9 |1043M| 127 | 9 |1700 |1600 |1700 | 238 | 611k| 0 |3907 | 0.000000e+00 | 3.942380e+05 | Inf
875.61/875.62 c 860s| 1080k| 1080k| 2029k| 1.9 |1053M| 127 | 0 |1700 |1600 |1700 | 263 | 620k| 0 |3939 | 0.000000e+00 | 3.942380e+05 | Inf
883.10/883.15 c 867s| 1090k| 1090k| 2050k| 1.9 |1062M| 127 | 0 |1700 |1600 |1700 | 243 | 625k| 0 |3954 | 0.000000e+00 | 3.942380e+05 | Inf
890.71/890.77 c 874s| 1100k| 1100k| 2074k| 1.9 |1072M| 127 | 0 |1700 |1600 |1700 | 245 | 630k| 0 |3979 | 0.000000e+00 | 3.942380e+05 | Inf
897.81/897.86 c 881s| 1110k| 1110k| 2085k| 1.9 |1081M| 127 | 0 |1700 |1600 |1700 | 262 | 634k| 0 |3986 | 0.000000e+00 | 3.942380e+05 | Inf
905.60/905.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
905.60/905.63 c 889s| 1120k| 1120k| 2115k| 1.9 |1091M| 127 | 0 |1700 |1600 |1700 | 252 | 643k| 0 |4016 | 0.000000e+00 | 3.942380e+05 | Inf
913.31/913.37 c 897s| 1130k| 1130k| 2147k| 1.9 |1101M| 127 | 0 |1700 |1600 |1700 | 264 | 653k| 0 |4043 | 0.000000e+00 | 3.942380e+05 | Inf
920.90/920.92 c 904s| 1140k| 1140k| 2172k| 1.9 |1111M| 127 | 0 |1700 |1600 |1700 | 264 | 661k| 0 |4070 | 0.000000e+00 | 3.942380e+05 | Inf
928.01/928.03 c 911s| 1150k| 1150k| 2181k| 1.9 |1120M| 127 | 0 |1700 |1600 |1700 | 249 | 664k| 0 |4083 | 0.000000e+00 | 3.942380e+05 | Inf
935.01/935.08 c 918s| 1160k| 1160k| 2191k| 1.9 |1130M| 127 | 0 |1700 |1600 |1700 | 258 | 667k| 0 |4086 | 0.000000e+00 | 3.942380e+05 | Inf
942.20/942.28 c 925s| 1170k| 1170k| 2206k| 1.9 |1139M| 127 | 0 |1700 |1600 |1700 | 259 | 671k| 0 |4101 | 0.000000e+00 | 3.942380e+05 | Inf
949.71/949.70 c 932s| 1180k| 1180k| 2223k| 1.9 |1149M| 127 | 0 |1700 |1600 |1700 | 291 | 676k| 0 |4115 | 0.000000e+00 | 3.942380e+05 | Inf
957.31/957.38 c 940s| 1190k| 1190k| 2247k| 1.9 |1159M| 127 | 0 |1700 |1600 |1700 | 256 | 684k| 0 |4142 | 0.000000e+00 | 3.942380e+05 | Inf
965.00/965.09 c 947s| 1200k| 1200k| 2274k| 1.9 |1169M| 127 | 0 |1700 |1600 |1700 | 238 | 692k| 0 |4158 | 0.000000e+00 | 3.942380e+05 | Inf
972.41/972.44 c 954s| 1210k| 1210k| 2288k| 1.9 |1178M| 127 | 0 |1700 |1600 |1700 | 270 | 696k| 0 |4170 | 0.000000e+00 | 3.942380e+05 | Inf
979.71/979.75 c 962s| 1220k| 1220k| 2301k| 1.9 |1188M| 127 | 0 |1700 |1600 |1700 | 257 | 700k| 0 |4183 | 0.000000e+00 | 3.942380e+05 | Inf
986.90/986.98 c 969s| 1230k| 1230k| 2313k| 1.9 |1197M| 127 | 0 |1700 |1600 |1700 | 272 | 703k| 0 |4195 | 0.000000e+00 | 3.942380e+05 | Inf
994.11/994.10 c 976s| 1240k| 1240k| 2323k| 1.9 |1207M| 127 | 0 |1700 |1600 |1700 | 269 | 706k| 0 |4198 | 0.000000e+00 | 3.942380e+05 | Inf
1001.20/1001.20 c 983s| 1250k| 1250k| 2335k| 1.9 |1217M| 127 | 0 |1700 |1600 |1700 | 271 | 709k| 0 |4211 | 0.000000e+00 | 3.942380e+05 | Inf
1008.71/1008.70 c 990s| 1260k| 1260k| 2355k| 1.9 |1226M| 127 | 0 |1700 |1600 |1700 | 248 | 715k| 0 |4225 | 0.000000e+00 | 3.942380e+05 | Inf
1016.31/1016.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1016.31/1016.38 c 998s| 1270k| 1270k| 2379k| 1.9 |1236M| 127 | 0 |1700 |1600 |1700 | 240 | 722k| 0 |4239 | 0.000000e+00 | 3.942380e+05 | Inf
1023.81/1023.83 c 1005s| 1280k| 1280k| 2398k| 1.9 |1246M| 127 | 3 |1700 |1600 |1700 | 224 | 727k| 0 |4253 | 0.000000e+00 | 3.942380e+05 | Inf
1031.20/1031.20 c 1012s| 1290k| 1290k| 2414k| 1.9 |1255M| 127 | 0 |1700 |1600 |1700 | 236 | 731k| 0 |4266 | 0.000000e+00 | 3.942380e+05 | Inf
1038.42/1038.46 c 1019s| 1300k| 1300k| 2430k| 1.9 |1265M| 127 | 0 |1700 |1600 |1700 | 245 | 736k| 0 |4280 | 0.000000e+00 | 3.942380e+05 | Inf
1045.81/1045.84 c 1026s| 1310k| 1310k| 2446k| 1.9 |1274M| 127 | 0 |1700 |1600 |1700 | 277 | 741k| 0 |4293 | 0.000000e+00 | 3.942380e+05 | Inf
1053.11/1053.15 c 1034s| 1320k| 1320k| 2461k| 1.9 |1284M| 127 | 0 |1700 |1600 |1700 | 264 | 746k| 0 |4305 | 0.000000e+00 | 3.942380e+05 | Inf
1060.71/1060.72 c 1041s| 1330k| 1330k| 2483k| 1.9 |1294M| 127 | 0 |1700 |1600 |1700 | 248 | 752k| 0 |4318 | 0.000000e+00 | 3.942380e+05 | Inf
1068.12/1068.19 c 1048s| 1340k| 1340k| 2500k| 1.9 |1303M| 127 | 0 |1700 |1600 |1700 | 258 | 758k| 0 |4332 | 0.000000e+00 | 3.942380e+05 | Inf
1075.41/1075.44 c 1056s| 1350k| 1350k| 2514k| 1.9 |1313M| 127 | 0 |1700 |1600 |1700 | 240 | 762k| 0 |4346 | 0.000000e+00 | 3.942380e+05 | Inf
1082.61/1082.65 c 1063s| 1360k| 1360k| 2528k| 1.9 |1323M| 127 | 0 |1700 |1600 |1700 | 252 | 766k| 0 |4360 | 0.000000e+00 | 3.942380e+05 | Inf
1090.02/1090.02 c 1070s| 1370k| 1370k| 2544k| 1.9 |1332M| 127 | 0 |1700 |1600 |1700 | 227 | 771k| 0 |4373 | 0.000000e+00 | 3.942380e+05 | Inf
1097.20/1097.25 c 1077s| 1380k| 1380k| 2558k| 1.9 |1342M| 133 | 0 |1700 |1600 |1700 | 247 | 776k| 0 |4382 | 0.000000e+00 | 3.942380e+05 | Inf
1104.61/1104.62 c 1084s| 1390k| 1390k| 2576k| 1.9 |1352M| 133 | 0 |1700 |1600 |1700 | 253 | 781k| 0 |4393 | 0.000000e+00 | 3.942380e+05 | Inf
1112.01/1112.06 c 1091s| 1400k| 1400k| 2595k| 1.9 |1361M| 133 | 0 |1700 |1600 |1700 | 282 | 787k| 0 |4412 | 0.000000e+00 | 3.942380e+05 | Inf
1119.41/1119.43 c 1099s| 1410k| 1410k| 2613k| 1.9 |1371M| 133 | 13 |1700 |1600 |1700 | 208 | 793k| 0 |4425 | 0.000000e+00 | 3.942380e+05 | Inf
1126.71/1126.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1126.71/1126.71 c 1106s| 1420k| 1420k| 2630k| 1.9 |1381M| 133 | 0 |1700 |1600 |1700 | 241 | 798k| 0 |4433 | 0.000000e+00 | 3.942380e+05 | Inf
1134.02/1134.04 c 1113s| 1430k| 1430k| 2646k| 1.9 |1390M| 133 | 0 |1700 |1600 |1700 | 248 | 803k| 0 |4447 | 0.000000e+00 | 3.942380e+05 | Inf
1141.20/1141.20 c 1120s| 1440k| 1440k| 2658k| 1.8 |1400M| 133 | 0 |1700 |1600 |1700 | 217 | 807k| 0 |4460 | 0.000000e+00 | 3.942380e+05 | Inf
1148.41/1148.44 c 1127s| 1450k| 1450k| 2673k| 1.8 |1409M| 133 | 0 |1700 |1600 |1700 | 245 | 812k| 0 |4472 | 0.000000e+00 | 3.942380e+05 | Inf
1155.81/1155.87 c 1134s| 1460k| 1460k| 2694k| 1.8 |1419M| 133 | 0 |1700 |1600 |1700 | 277 | 819k| 0 |4485 | 0.000000e+00 | 3.942380e+05 | Inf
1163.21/1163.24 c 1142s| 1470k| 1470k| 2711k| 1.8 |1429M| 133 | 0 |1700 |1600 |1700 | 239 | 824k| 0 |4500 | 0.000000e+00 | 3.942380e+05 | Inf
1170.42/1170.46 c 1149s| 1480k| 1480k| 2726k| 1.8 |1438M| 133 | 0 |1700 |1600 |1700 | 249 | 828k| 0 |4515 | 0.000000e+00 | 3.942380e+05 | Inf
1177.81/1177.88 c 1156s| 1490k| 1490k| 2744k| 1.8 |1448M| 133 | 0 |1700 |1600 |1700 | 269 | 834k| 0 |4528 | 0.000000e+00 | 3.942380e+05 | Inf
1185.31/1185.32 c 1163s| 1500k| 1500k| 2765k| 1.8 |1458M| 133 | 0 |1700 |1600 |1700 | 251 | 841k| 0 |4543 | 0.000000e+00 | 3.942380e+05 | Inf
1192.61/1192.68 c 1171s| 1510k| 1510k| 2782k| 1.8 |1468M| 133 | 11 |1700 |1600 |1700 | 228 | 847k| 0 |4556 | 0.000000e+00 | 3.942380e+05 | Inf
1200.02/1200.08 c 1178s| 1520k| 1520k| 2803k| 1.8 |1477M| 133 | 0 |1700 |1600 |1700 | 221 | 854k| 0 |4576 | 0.000000e+00 | 3.942380e+05 | Inf
1207.21/1207.24 c 1185s| 1530k| 1530k| 2816k| 1.8 |1487M| 133 | 0 |1700 |1600 |1700 | 275 | 858k| 0 |4583 | 0.000000e+00 | 3.942380e+05 | Inf
1214.51/1214.51 c 1192s| 1540k| 1540k| 2831k| 1.8 |1496M| 133 | 13 |1700 |1600 |1700 | 279 | 863k| 0 |4596 | 0.000000e+00 | 3.942380e+05 | Inf
1222.02/1222.03 c 1199s| 1550k| 1550k| 2854k| 1.8 |1506M| 133 | 0 |1700 |1600 |1700 | 258 | 870k| 0 |4613 | 0.000000e+00 | 3.942380e+05 | Inf
1229.41/1229.43 c 1207s| 1560k| 1560k| 2873k| 1.8 |1516M| 133 | 0 |1700 |1600 |1700 | 218 | 876k| 0 |4624 | 0.000000e+00 | 3.942380e+05 | Inf
1236.62/1236.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1236.62/1236.66 c 1214s| 1570k| 1570k| 2887k| 1.8 |1525M| 133 | 0 |1700 |1600 |1700 | 250 | 881k| 0 |4636 | 0.000000e+00 | 3.942380e+05 | Inf
1244.22/1244.24 c 1221s| 1580k| 1580k| 2910k| 1.8 |1535M| 133 | 0 |1700 |1600 |1700 | 276 | 888k| 0 |4655 | 0.000000e+00 | 3.942380e+05 | Inf
1251.51/1251.58 c 1228s| 1590k| 1590k| 2927k| 1.8 |1545M| 133 | 0 |1700 |1600 |1700 | 233 | 893k| 0 |4663 | 0.000000e+00 | 3.942380e+05 | Inf
1258.91/1258.90 c 1235s| 1600k| 1600k| 2942k| 1.8 |1555M| 133 | 0 |1700 |1600 |1700 | 225 | 898k| 0 |4677 | 0.000000e+00 | 3.942380e+05 | Inf
1266.31/1266.30 c 1243s| 1610k| 1610k| 2959k| 1.8 |1564M| 133 | 0 |1700 |1600 |1700 | 276 | 904k| 0 |4692 | 0.000000e+00 | 3.942380e+05 | Inf
1273.61/1273.70 c 1250s| 1620k| 1620k| 2979k| 1.8 |1574M| 133 | 0 |1700 |1600 |1700 | 237 | 910k| 0 |4705 | 0.000000e+00 | 3.942380e+05 | Inf
1281.01/1281.08 c 1257s| 1630k| 1630k| 2998k| 1.8 |1584M| 133 | 0 |1700 |1600 |1700 | 258 | 917k| 0 |4721 | 0.000000e+00 | 3.942380e+05 | Inf
1288.31/1288.35 c 1264s| 1640k| 1640k| 3014k| 1.8 |1593M| 133 | 0 |1700 |1600 |1700 | 215 | 921k| 0 |4733 | 0.000000e+00 | 3.942380e+05 | Inf
1295.51/1295.51 c 1271s| 1650k| 1650k| 3028k| 1.8 |1603M| 133 | 0 |1700 |1600 |1700 | 249 | 926k| 0 |4746 | 0.000000e+00 | 3.942380e+05 | Inf
1302.81/1302.85 c 1279s| 1660k| 1660k| 3044k| 1.8 |1612M| 133 | 0 |1700 |1600 |1700 | 222 | 931k| 0 |4761 | 0.000000e+00 | 3.942380e+05 | Inf
1310.02/1310.01 c 1286s| 1670k| 1670k| 3059k| 1.8 |1622M| 133 | 0 |1700 |1600 |1700 | 269 | 936k| 0 |4770 | 0.000000e+00 | 3.942380e+05 | Inf
1317.12/1317.16 c 1293s| 1680k| 1680k| 3073k| 1.8 |1632M| 163 | 14 |1700 |1600 |1700 | 255 | 940k| 0 |4776 | 0.000000e+00 | 3.942380e+05 | Inf
1324.21/1324.20 c 1299s| 1690k| 1690k| 3088k| 1.8 |1641M| 163 | 0 |1700 |1600 |1700 | 237 | 944k| 0 |4792 | 0.000000e+00 | 3.942380e+05 | Inf
1331.02/1331.06 c 1306s| 1700k| 1700k| 3098k| 1.8 |1651M| 163 | 0 |1700 |1600 |1700 | 258 | 946k| 0 |4794 | 0.000000e+00 | 3.942380e+05 | Inf
1338.11/1338.10 c 1313s| 1710k| 1710k| 3110k| 1.8 |1660M| 163 | 0 |1700 |1600 |1700 | 258 | 950k| 0 |4806 | 0.000000e+00 | 3.942380e+05 | Inf
1345.02/1345.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1345.02/1345.08 c 1320s| 1720k| 1720k| 3124k| 1.8 |1670M| 163 | 6 |1700 |1600 |1700 | 253 | 954k| 0 |4818 | 0.000000e+00 | 3.942380e+05 | Inf
1352.11/1352.12 c 1327s| 1730k| 1730k| 3136k| 1.8 |1679M| 163 | 0 |1700 |1600 |1700 | 263 | 958k| 0 |4826 | 0.000000e+00 | 3.942380e+05 | Inf
1358.92/1358.99 c 1334s| 1740k| 1740k| 3143k| 1.8 |1689M| 163 | 0 |1700 |1600 |1700 | 264 | 960k| 0 |4833 | 0.000000e+00 | 3.942380e+05 | Inf
1365.91/1365.97 c 1340s| 1750k| 1750k| 3153k| 1.8 |1699M| 163 | 0 |1700 |1600 |1700 | 278 | 963k| 0 |4835 | 0.000000e+00 | 3.942380e+05 | Inf
1372.82/1372.85 c 1347s| 1760k| 1760k| 3160k| 1.8 |1708M| 163 | 0 |1700 |1600 |1700 | 255 | 965k| 0 |4846 | 0.000000e+00 | 3.942380e+05 | Inf
1379.72/1379.74 c 1354s| 1770k| 1770k| 3168k| 1.8 |1718M| 163 | 0 |1700 |1600 |1700 | 260 | 968k| 0 |4846 | 0.000000e+00 | 3.942380e+05 | Inf
1386.72/1386.74 c 1361s| 1780k| 1780k| 3181k| 1.8 |1727M| 163 | 0 |1700 |1600 |1700 | 249 | 971k| 0 |4859 | 0.000000e+00 | 3.942380e+05 | Inf
1393.73/1393.73 c 1368s| 1790k| 1790k| 3191k| 1.8 |1737M| 163 | 0 |1700 |1600 |1700 | 268 | 974k| 0 |4867 | 0.000000e+00 | 3.942380e+05 | Inf
1400.52/1400.59 c 1374s| 1800k| 1800k| 3200k| 1.8 |1746M| 163 | 0 |1700 |1600 |1700 | 254 | 977k| 0 |4874 | 0.000000e+00 | 3.942380e+05 | Inf
1407.52/1407.58 c 1381s| 1810k| 1810k| 3211k| 1.8 |1756M| 163 | 0 |1700 |1600 |1700 | 222 | 980k| 0 |4884 | 0.000000e+00 | 3.942380e+05 | Inf
1414.62/1414.61 c 1388s| 1820k| 1820k| 3222k| 1.8 |1766M| 163 | 0 |1700 |1600 |1700 | 255 | 983k| 0 |4889 | 0.000000e+00 | 3.942380e+05 | Inf
1421.52/1421.53 c 1395s| 1830k| 1830k| 3230k| 1.8 |1775M| 163 | 0 |1700 |1600 |1700 | 266 | 986k| 0 |4904 | 0.000000e+00 | 3.942380e+05 | Inf
1428.42/1428.47 c 1402s| 1840k| 1840k| 3239k| 1.8 |1785M| 163 | 0 |1700 |1600 |1700 | 264 | 989k| 0 |4904 | 0.000000e+00 | 3.942380e+05 | Inf
1435.32/1435.40 c 1409s| 1850k| 1850k| 3248k| 1.8 |1794M| 163 | 4 |1700 |1600 |1700 | 220 | 991k| 0 |4914 | 0.000000e+00 | 3.942380e+05 | Inf
1442.32/1442.40 c 1415s| 1860k| 1860k| 3259k| 1.8 |1804M| 163 | 0 |1700 |1600 |1700 | 263 | 995k| 0 |4919 | 0.000000e+00 | 3.942380e+05 | Inf
1449.22/1449.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1449.22/1449.27 c 1422s| 1870k| 1870k| 3269k| 1.7 |1814M| 163 | 0 |1700 |1600 |1700 | 255 | 998k| 0 |4927 | 0.000000e+00 | 3.942380e+05 | Inf
1456.22/1456.21 c 1429s| 1880k| 1880k| 3278k| 1.7 |1823M| 163 | 0 |1700 |1600 |1700 | 267 |1001k| 0 |4934 | 0.000000e+00 | 3.942380e+05 | Inf
1463.22/1463.28 c 1436s| 1890k| 1890k| 3290k| 1.7 |1833M| 163 | 0 |1700 |1600 |1700 | 263 |1005k| 0 |4945 | 0.000000e+00 | 3.942380e+05 | Inf
1470.22/1470.21 c 1443s| 1900k| 1900k| 3301k| 1.7 |1842M| 163 | 0 |1700 |1600 |1700 | 243 |1007k| 0 |4946 | 0.000000e+00 | 3.942380e+05 | Inf
1477.22/1477.26 c 1450s| 1910k| 1910k| 3314k| 1.7 |1852M| 163 | 0 |1700 |1600 |1700 | 268 |1011k| 0 |4958 | 0.000000e+00 | 3.942380e+05 | Inf
1484.21/1484.28 c 1457s| 1920k| 1920k| 3327k| 1.7 |1862M| 163 | 0 |1700 |1600 |1700 | 256 |1015k| 0 |4972 | 0.000000e+00 | 3.942380e+05 | Inf
1491.32/1491.34 c 1463s| 1930k| 1930k| 3341k| 1.7 |1871M| 163 | 0 |1700 |1600 |1700 | 265 |1020k| 0 |4983 | 0.000000e+00 | 3.942380e+05 | Inf
1498.32/1498.30 c 1470s| 1940k| 1940k| 3351k| 1.7 |1881M| 163 | 0 |1700 |1600 |1700 | 286 |1023k| 0 |4987 | 0.000000e+00 | 3.942380e+05 | Inf
1505.42/1505.48 c 1477s| 1950k| 1950k| 3364k| 1.7 |1891M| 163 | 0 |1700 |1600 |1700 | 262 |1027k| 0 |5002 | 0.000000e+00 | 3.942380e+05 | Inf
1512.62/1512.68 c 1484s| 1960k| 1960k| 3382k| 1.7 |1900M| 163 | 25 |1700 |1600 |1700 | 198 |1032k| 0 |5012 | 0.000000e+00 | 3.942380e+05 | Inf
1519.72/1519.74 c 1491s| 1970k| 1970k| 3396k| 1.7 |1910M| 163 | 0 |1700 |1600 |1700 | 275 |1036k| 0 |5016 | 0.000000e+00 | 3.942380e+05 | Inf
1526.62/1526.65 c 1498s| 1980k| 1980k| 3405k| 1.7 |1919M| 163 | 0 |1700 |1600 |1700 | 220 |1039k| 0 |5028 | 0.000000e+00 | 3.942380e+05 | Inf
1533.62/1533.63 c 1505s| 1990k| 1990k| 3416k| 1.7 |1929M| 163 | 0 |1700 |1600 |1700 | 241 |1042k| 0 |5029 | 0.000000e+00 | 3.942380e+05 | Inf
1540.42/1540.40 c 1512s| 2000k| 2000k| 3423k| 1.7 |1939M| 163 | 0 |1700 |1600 |1700 | 268 |1044k| 0 |5040 | 0.000000e+00 | 3.942380e+05 | Inf
1547.32/1547.33 c 1518s| 2010k| 2010k| 3433k| 1.7 |1948M| 163 | 16 |1700 |1600 |1700 | 241 |1047k| 0 |5040 | 0.000000e+00 | 3.942380e+05 | Inf
1554.22/1554.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1554.22/1554.25 c 1525s| 2020k| 2020k| 3443k| 1.7 |1958M| 163 | 0 |1700 |1600 |1700 | 269 |1050k| 0 |5053 | 0.000000e+00 | 3.942380e+05 | Inf
1561.12/1561.15 c 1532s| 2030k| 2030k| 3453k| 1.7 |1967M| 163 | 0 |1700 |1600 |1700 | 251 |1054k| 0 |5053 | 0.000000e+00 | 3.942380e+05 | Inf
1567.92/1567.98 c 1539s| 2040k| 2040k| 3460k| 1.7 |1977M| 163 | 0 |1700 |1600 |1700 | 255 |1056k| 0 |5066 | 0.000000e+00 | 3.942380e+05 | Inf
1575.13/1575.14 c 1546s| 2050k| 2050k| 3475k| 1.7 |1987M| 163 | 0 |1700 |1600 |1700 | 224 |1060k| 0 |5076 | 0.000000e+00 | 3.942380e+05 | Inf
1582.42/1582.44 c 1553s| 2060k| 2060k| 3492k| 1.7 |1996M| 163 | 13 |1700 |1600 |1700 | 279 |1065k| 0 |5085 | 0.000000e+00 | 3.942380e+05 | Inf
1589.62/1589.64 c 1560s| 2070k| 2070k| 3507k| 1.7 |2006M| 163 | 0 |1700 |1600 |1700 | 257 |1070k| 0 |5090 | 0.000000e+00 | 3.942380e+05 | Inf
1596.72/1596.78 c 1567s| 2080k| 2080k| 3522k| 1.7 |2016M| 163 | 0 |1700 |1600 |1700 | 264 |1074k| 0 |5104 | 0.000000e+00 | 3.942380e+05 | Inf
1603.82/1603.85 c 1574s| 2090k| 2090k| 3533k| 1.7 |2025M| 163 | 0 |1700 |1600 |1700 | 269 |1078k| 0 |5117 | 0.000000e+00 | 3.942380e+05 | Inf
1611.02/1611.09 c 1581s| 2100k| 2100k| 3552k| 1.7 |2035M| 163 | 0 |1700 |1600 |1700 | 250 |1083k| 0 |5126 | 0.000000e+00 | 3.942380e+05 | Inf
1618.12/1618.10 c 1588s| 2110k| 2110k| 3564k| 1.7 |2044M| 163 | 0 |1700 |1600 |1700 | 251 |1088k| 0 |5130 | 0.000000e+00 | 3.942380e+05 | Inf
1625.22/1625.21 c 1595s| 2120k| 2120k| 3578k| 1.7 |2054M| 163 | 6 |1700 |1600 |1700 | 217 |1092k| 0 |5144 | 0.000000e+00 | 3.942380e+05 | Inf
1632.03/1632.07 c 1601s| 2130k| 2130k| 3587k| 1.7 |2064M| 163 | 0 |1700 |1600 |1700 | 279 |1095k| 0 |5156 | 0.000000e+00 | 3.942380e+05 | Inf
1639.03/1639.02 c 1608s| 2140k| 2140k| 3598k| 1.7 |2073M| 163 | 0 |1700 |1600 |1700 | 239 |1099k| 0 |5159 | 0.000000e+00 | 3.942380e+05 | Inf
1645.92/1645.90 c 1615s| 2150k| 2150k| 3608k| 1.7 |2083M| 163 | 0 |1700 |1600 |1700 | 257 |1102k| 0 |5170 | 0.000000e+00 | 3.942380e+05 | Inf
1652.72/1652.79 c 1622s| 2160k| 2160k| 3617k| 1.7 |2092M| 163 | 0 |1700 |1600 |1700 | 256 |1106k| 0 |5173 | 0.000000e+00 | 3.942380e+05 | Inf
1659.83/1659.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1659.83/1659.89 c 1629s| 2170k| 2170k| 3632k| 1.7 |2102M| 163 | 0 |1700 |1600 |1700 | 237 |1110k| 0 |5187 | 0.000000e+00 | 3.942380e+05 | Inf
1666.83/1666.85 c 1636s| 2180k| 2180k| 3643k| 1.7 |2112M| 163 | 0 |1700 |1600 |1700 | 255 |1114k| 0 |5194 | 0.000000e+00 | 3.942380e+05 | Inf
1673.92/1673.92 c 1642s| 2190k| 2190k| 3657k| 1.7 |2121M| 163 | 0 |1700 |1600 |1700 | 261 |1118k| 0 |5201 | 0.000000e+00 | 3.942380e+05 | Inf
1680.93/1680.92 c 1649s| 2200k| 2200k| 3669k| 1.7 |2131M| 163 | 0 |1700 |1600 |1700 | 272 |1122k| 0 |5212 | 0.000000e+00 | 3.942380e+05 | Inf
1687.83/1687.81 c 1656s| 2210k| 2210k| 3678k| 1.7 |2140M| 163 | 0 |1700 |1600 |1700 | 250 |1124k| 0 |5215 | 0.000000e+00 | 3.942380e+05 | Inf
1694.72/1694.79 c 1663s| 2220k| 2220k| 3689k| 1.7 |2150M| 163 | 0 |1700 |1600 |1700 | 249 |1128k| 0 |5225 | 0.000000e+00 | 3.942380e+05 | Inf
1701.73/1701.76 c 1670s| 2230k| 2230k| 3700k| 1.7 |2160M| 163 | 0 |1700 |1600 |1700 | 267 |1131k| 0 |5228 | 0.000000e+00 | 3.942380e+05 | Inf
1708.73/1708.75 c 1677s| 2240k| 2240k| 3712k| 1.7 |2169M| 163 | 0 |1700 |1600 |1700 | 249 |1135k| 0 |5237 | 0.000000e+00 | 3.942380e+05 | Inf
1715.72/1715.70 c 1683s| 2250k| 2250k| 3723k| 1.7 |2179M| 163 | 0 |1700 |1600 |1700 | 287 |1138k| 0 |5244 | 0.000000e+00 | 3.942380e+05 | Inf
1722.53/1722.57 c 1690s| 2260k| 2260k| 3734k| 1.7 |2188M| 163 | 0 |1700 |1600 |1700 | 269 |1142k| 0 |5248 | 0.000000e+00 | 3.942380e+05 | Inf
1729.63/1729.61 c 1697s| 2270k| 2270k| 3745k| 1.6 |2198M| 163 | 0 |1700 |1600 |1700 | 277 |1146k| 0 |5260 | 0.000000e+00 | 3.942380e+05 | Inf
1736.33/1736.39 c 1704s| 2280k| 2280k| 3752k| 1.6 |2208M| 163 | 0 |1700 |1600 |1700 | 245 |1148k| 0 |5260 | 0.000000e+00 | 3.942380e+05 | Inf
1743.23/1743.27 c 1710s| 2290k| 2290k| 3761k| 1.6 |2217M| 163 | 0 |1700 |1600 |1700 | 262 |1150k| 0 |5271 | 0.000000e+00 | 3.942380e+05 | Inf
1750.32/1750.32 c 1717s| 2300k| 2300k| 3773k| 1.6 |2227M| 163 | 6 |1700 |1600 |1700 | 253 |1154k| 0 |5271 | 0.000000e+00 | 3.942380e+05 | Inf
1757.23/1757.29 c 1724s| 2310k| 2310k| 3783k| 1.6 |2236M| 163 | 10 |1700 |1600 |1700 | 266 |1157k| 0 |5284 | 0.000000e+00 | 3.942380e+05 | Inf
1764.22/1764.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1764.22/1764.26 c 1730s| 2320k| 2320k| 3793k| 1.6 |2246M| 163 | 0 |1700 |1600 |1700 | 237 |1160k| 0 |5284 | 0.000000e+00 | 3.942380e+05 | Inf
1771.23/1771.24 c 1737s| 2330k| 2330k| 3804k| 1.6 |2255M| 163 | 0 |1700 |1600 |1700 | 270 |1163k| 0 |5297 | 0.000000e+00 | 3.942380e+05 | Inf
1778.23/1778.23 c 1743s| 2340k| 2340k| 3813k| 1.6 |2265M| 163 | 0 |1700 |1600 |1700 | 247 |1166k| 0 |5304 | 0.000000e+00 | 3.942380e+05 | Inf
1785.23/1785.29 c 1750s| 2350k| 2350k| 3826k| 1.6 |2275M| 163 | 0 |1700 |1600 |1700 | 264 |1170k| 0 |5310 | 0.000000e+00 | 3.942380e+05 | Inf
1792.23/1792.23 c 1757s| 2360k| 2360k| 3836k| 1.6 |2284M| 163 | 0 |1700 |1600 |1700 | 260 |1173k| 0 |5323 | 0.000000e+00 | 3.942380e+05 | Inf
1799.33/1799.36 c 1763s| 2370k| 2370k| 3849k| 1.6 |2294M| 163 | 0 |1700 |1600 |1700 | 277 |1177k| 0 |5326 | 0.000000e+00 | 3.942380e+05 | Inf
1800.03/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.00 c
1800.03/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.00 c Solving Time (sec) : 1763.91
1800.03/1800.00 c Solving Nodes : 2370912
1800.03/1800.00 c Primal Bound : +3.94238000000000e+05 (100 solutions)
1800.03/1800.00 c Dual Bound : +0.00000000000000e+00
1800.03/1800.00 c Gap : infinite
1800.03/1800.01 s SATISFIABLE
1800.03/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.03/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.03/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.03/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.03/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.03/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.03/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.03/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.03/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.01 c Solving Time : 1763.91
1800.03/1800.01 c Original Problem :
1800.03/1800.01 c Problem name : HOME/instance-2700296-1278534644.wbo
1800.03/1800.01 c Variables : 1800 (1000 binary, 0 integer, 0 implicit integer, 800 continuous)
1800.03/1800.01 c Constraints : 1701 initial, 1701 maximal
1800.03/1800.01 c Presolved Problem :
1800.03/1800.01 c Problem name : t_HOME/instance-2700296-1278534644.wbo
1800.03/1800.01 c Variables : 1700 (900 binary, 0 integer, 0 implicit integer, 800 continuous)
1800.03/1800.01 c Constraints : 1600 initial, 1600 maximal
1800.03/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.01 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.01 c probing : 0.02 0 0 0 0 0 0 0 0
1800.03/1800.01 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.01 c linear : 0.02 0 100 0 800 0 101 0 0
1800.03/1800.01 c root node : - 0 - - 0 - - - -
1800.03/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.01 c integral : 0 0 0 2670671 0 0 0 0 0 810162
1800.03/1800.01 c indicator : 800 0 3346922 2265590 0 0 2381841 0 0 0
1800.03/1800.01 c linear : 800 6 3346922 2265590 0 0 977213 1178029 0 0
1800.03/1800.01 c countsols : 0 0 0 1965831 0 0 0 0 0 0
1800.03/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.01 c integral : 8.27 0.00 0.00 8.27 0.00
1800.03/1800.01 c indicator : 158.92 0.07 33.86 124.99 0.00
1800.03/1800.01 c linear : 42.88 0.00 16.25 26.63 0.00
1800.03/1800.01 c countsols : 0.50 0.00 0.00 0.50 0.00
1800.03/1800.01 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.01 c vbounds : 0.84 2 0 0
1800.03/1800.01 c rootredcost : 0.76 0 0 0
1800.03/1800.01 c pseudoobj : 52.29 3346722 0 0
1800.03/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.01 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1800.03/1800.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.03/1800.01 c applied globally : - - - 0 0.0 - - -
1800.03/1800.01 c applied locally : - - - 0 0.0 - - -
1800.03/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.01 c cut pool : 0.00 3 - - 2 - (maximal pool size: 33)
1800.03/1800.01 c redcost : 93.23 2670107 0 0 0 0
1800.03/1800.01 c impliedbounds : 0.00 4 0 0 0 0
1800.03/1800.01 c intobj : 0.00 0 0 0 0 0
1800.03/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.01 c gomory : 0.03 4 0 0 35 0
1800.03/1800.01 c strongcg : 0.00 4 0 0 0 0
1800.03/1800.01 c cmir : 0.00 4 0 0 0 0
1800.03/1800.01 c flowcover : 0.02 4 0 0 0 0
1800.03/1800.01 c clique : 0.00 1 0 0 0 0
1800.03/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.01 c mcf : 0.00 1 0 0 0 0
1800.03/1800.01 c rapidlearning : 0.00 0 0 0 0 0
1800.03/1800.01 c Pricers : Time Calls Vars
1800.03/1800.01 c problem variables: 0.00 0 0
1800.03/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.01 c relpscost : 7.22 405081 0 0 0 0 810162
1800.03/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.01 c inference : 134.75 1965831 0 0 0 0 3931662
1800.03/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.01 c random : 0.00 0 0 0 0 0 0
1800.03/1800.01 c Primal Heuristics : Time Calls Found
1800.03/1800.01 c LP solutions : 0.00 - 0
1800.03/1800.01 c pseudo solutions : 0.00 - 0
1800.03/1800.01 c oneopt : 1.66 1 0
1800.03/1800.01 c crossover : 0.96 13 0
1800.03/1800.01 c coefdiving : 17.73 33868 0
1800.03/1800.01 c pscostdiving : 17.67 33868 0
1800.03/1800.01 c fracdiving : 17.80 33868 0
1800.03/1800.01 c veclendiving : 16.76 33868 0
1800.03/1800.01 c guideddiving : 17.02 33868 0
1800.03/1800.01 c linesearchdiving : 17.70 33869 0
1800.03/1800.01 c objpscostdiving : 18.04 33839 0
1800.03/1800.01 c rootsoldiving : 18.25 33839 0
1800.03/1800.01 c trivial : 0.00 2 1
1800.03/1800.01 c simplerounding : 1.19 405034 0
1800.03/1800.01 c zirounding : 0.64 1000 0
1800.03/1800.01 c rounding : 1.20 8889 0
1800.03/1800.01 c shifting : 1.40 2777 0
1800.03/1800.01 c intshifting : 0.02 19 0
1800.03/1800.01 c twoopt : 0.00 0 0
1800.03/1800.01 c fixandinfer : 0.00 0 0
1800.03/1800.01 c feaspump : 0.02 0 0
1800.03/1800.01 c intdiving : 0.00 0 0
1800.03/1800.01 c actconsdiving : 0.00 0 0
1800.03/1800.01 c octane : 0.00 0 0
1800.03/1800.01 c rens : 0.02 1 0
1800.03/1800.01 c rins : 0.00 0 0
1800.03/1800.01 c localbranching : 0.00 0 0
1800.03/1800.01 c mutation : 0.00 0 0
1800.03/1800.01 c dins : 0.00 0 0
1800.03/1800.01 c undercover : 0.00 0 0
1800.03/1800.01 c nlp : 0.57 0 0
1800.03/1800.01 c trysol : 0.98 37503 99
1800.03/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.01 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.01 c dual LP : 677.36 869706 3849754 4.43 5683.47
1800.03/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.01 c diving/probing LP: 0.10 325 1047 3.22 10470.00
1800.03/1800.01 c strong branching : 4.56 5328 50658 9.51 11109.21
1800.03/1800.01 c (at root node) : - 33 2123 64.33 -
1800.03/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.01 c B&B Tree :
1800.03/1800.01 c number of runs : 1
1800.03/1800.01 c nodes : 2370912
1800.03/1800.01 c nodes (total) : 2370912
1800.03/1800.01 c nodes left : 2370913
1800.03/1800.01 c max depth : 163
1800.03/1800.01 c max depth (total): 163
1800.03/1800.01 c backtracks : 34032 (1.4%)
1800.03/1800.01 c delayed cutoffs : 0
1800.03/1800.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.03/1800.01 c avg switch length: 2.42
1800.03/1800.01 c switching time : 69.00
1800.03/1800.01 c Solution :
1800.03/1800.01 c Solutions found : 100 (1 improvements)
1800.03/1800.01 c First Solution : +3.94238000000000e+05 (in run 1, after 1 nodes, 0.04 seconds, depth 0, found by <trivial>)
1800.03/1800.01 c Primal Bound : +3.94238000000000e+05 (in run 1, after 1 nodes, 0.04 seconds, depth 0, found by <trivial>)
1800.03/1800.01 c Dual Bound : +0.00000000000000e+00
1800.03/1800.01 c Gap : infinite
1800.03/1800.01 c Root Dual Bound : +0.00000000000000e+00
1800.03/1800.01 c Root Iterations : 202
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700296-1278534644/watcher-2700296-1278534644 -o /tmp/evaluation-result-2700296-1278534644/solver-2700296-1278534644 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2700296-1278534644.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: 5.05 5.39 3.53 4/178 18663
/proc/meminfo: memFree=29988444/32951124 swapFree=67111528/67111528
[pid=18663] ppid=18661 vsize=9408 CPUtime=0
/proc/18663/stat : 18663 (pbscip.linux.x8) R 18661 18663 17674 0 -1 4202496 1646 0 0 0 0 0 0 0 25 0 1 0 21676656 9633792 1566 4089446400 4194304 8223781 140737445678752 18446744073709551615 7235108 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/18663/statm: 2352 1567 369 984 0 1365 0
[startup+0.0828381 s]
/proc/loadavg: 5.05 5.39 3.53 4/178 18663
/proc/meminfo: memFree=29988444/32951124 swapFree=67111528/67111528
[pid=18663] ppid=18661 vsize=22696 CPUtime=0.07
/proc/18663/stat : 18663 (pbscip.linux.x8) R 18661 18663 17674 0 -1 4202496 6008 0 0 0 7 0 0 0 18 0 1 0 21676656 23240704 4783 4089446400 4194304 8223781 140737445678752 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18663/statm: 5674 4783 563 984 0 4687 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 22696
[startup+0.100829 s]
/proc/loadavg: 5.05 5.39 3.53 4/178 18663
/proc/meminfo: memFree=29988444/32951124 swapFree=67111528/67111528
[pid=18663] ppid=18661 vsize=24248 CPUtime=0.09
/proc/18663/stat : 18663 (pbscip.linux.x8) R 18661 18663 17674 0 -1 4202496 6372 0 0 0 9 0 0 0 18 0 1 0 21676656 24829952 5147 4089446400 4194304 8223781 140737445678752 18446744073709551615 5727783 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18663/statm: 6062 5147 564 984 0 5075 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24248
[startup+0.300795 s]
/proc/loadavg: 5.05 5.39 3.53 4/178 18663
/proc/meminfo: memFree=29988444/32951124 swapFree=67111528/67111528
[pid=18663] ppid=18661 vsize=24724 CPUtime=0.29
/proc/18663/stat : 18663 (pbscip.linux.x8) R 18661 18663 17674 0 -1 4202496 9299 0 0 0 28 1 0 0 18 0 1 0 21676656 25317376 5247 4089446400 4194304 8223781 140737445678752 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18663/statm: 6215 5248 578 984 0 5228 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24724
[startup+0.700723 s]
/proc/loadavg: 5.05 5.39 3.53 4/178 18663
/proc/meminfo: memFree=29988444/32951124 swapFree=67111528/67111528
[pid=18663] ppid=18661 vsize=24724 CPUtime=0.69
/proc/18663/stat : 18663 (pbscip.linux.x8) R 18661 18663 17674 0 -1 4202496 9300 0 0 0 67 2 0 0 18 0 1 0 21676656 25317376 5247 4089446400 4194304 8223781 140737445678752 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18663/statm: 6181 5247 578 984 0 5194 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24724
[startup+1.50059 s]
/proc/loadavg: 5.05 5.39 3.53 3/179 18664
/proc/meminfo: memFree=29967604/32951124 swapFree=67111528/67111528
[pid=18663] ppid=18661 vsize=25656 CPUtime=1.49
/proc/18663/stat : 18663 (pbscip.linux.x8) R 18661 18663 17674 0 -1 4202496 9529 0 0 0 146 3 0 0 19 0 1 0 21676656 26271744 5476 4089446400 4194304 8223781 140737445678752 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18663/statm: 6414 5476 581 984 0 5427 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 25656
[startup+3.10029 s]
/proc/loadavg: 5.05 5.39 3.53 3/179 18664
/proc/meminfo: memFree=29964380/32951124 swapFree=67111528/67111528
[pid=18663] ppid=18661 vsize=29884 CPUtime=3.09
/proc/18663/stat : 18663 (pbscip.linux.x8) R 18661 18663 17674 0 -1 4202496 19134 0 0 0 302 7 0 0 25 0 1 0 21676656 30601216 6456 4089446400 4194304 8223781 140737445678752 18446744073709551615 6483706 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18663/statm: 7471 6456 582 984 0 6484 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 29884
[startup+6.30072 s]
/proc/loadavg: 4.80 5.34 3.52 3/179 18664
/proc/meminfo: memFree=29955832/32951124 swapFree=67111528/67111528
[pid=18663] ppid=18661 vsize=33908 CPUtime=6.29
/proc/18663/stat : 18663 (pbscip.linux.x8) R 18661 18663 17674 0 -1 4202496 23012 0 0 0 616 13 0 0 25 0 1 0 21676656 34721792 7468 4089446400 4194304 8223781 140737445678752 18446744073709551615 6445147 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18663/statm: 8477 7468 582 984 0 7490 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 33908
[startup+12.7006 s]
/proc/loadavg: 4.58 5.28 3.51 3/179 18664
/proc/meminfo: memFree=29939884/32951124 swapFree=67111528/67111528
[pid=18663] ppid=18661 vsize=42796 CPUtime=12.69
/proc/18663/stat : 18663 (pbscip.linux.x8) R 18661 18663 17674 0 -1 4202496 31009 0 0 0 1240 29 0 0 25 0 1 0 21676656 43823104 9747 4089446400 4194304 8223781 140737445678752 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18663/statm: 10699 9747 582 984 0 9712 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 42796
[startup+25.5003 s]
/proc/loadavg: 4.01 5.12 3.49 3/179 18664
/proc/meminfo: memFree=29909804/32951124 swapFree=67111528/67111528
[pid=18663] ppid=18661 vsize=58860 CPUtime=25.49
/proc/18663/stat : 18663 (pbscip.linux.x8) R 18661 18663 17674 0 -1 4202496 37935 0 0 0 2492 57 0 0 25 0 1 0 21676656 60272640 13805 4089446400 4194304 8223781 140737445678752 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18663/statm: 14715 13805 582 984 0 13728 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 58860
[startup+51.1007 s]
/proc/loadavg: 3.40 4.89 3.45 3/179 18664
/proc/meminfo: memFree=29848460/32951124 swapFree=67111528/67111528
[pid=18663] ppid=18661 vsize=91652 CPUtime=51.09
/proc/18663/stat : 18663 (pbscip.linux.x8) R 18661 18663 17674 0 -1 4202496 49129 0 0 0 4998 111 0 0 25 0 1 0 21676656 93851648 22132 4089446400 4194304 8223781 140737445678752 18446744073709551615 6372002 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18663/statm: 22913 22132 582 984 0 21926 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 91652
[startup+102.306 s]
/proc/loadavg: 2.61 4.44 3.37 3/179 18666
/proc/meminfo: memFree=29720812/32951124 swapFree=67111528/67111528
[pid=18663] ppid=18661 vsize=151884 CPUtime=102.3
/proc/18663/stat : 18663 (pbscip.linux.x8) R 18661 18663 17674 0 -1 4202496 66806 0 0 0 10020 210 0 0 25 0 1 0 21676656 155529216 36938 4089446400 4194304 8223781 140737445678752 18446744073709551615 6003263 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18663/statm: 37971 36938 582 984 0 36984 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 151884
[startup+162.301 s]
/proc/loadavg: 2.22 3.99 3.28 3/179 18668
/proc/meminfo: memFree=29573556/32951124 swapFree=67111528/67111528
[pid=18663] ppid=18661 vsize=224908 CPUtime=162.29
/proc/18663/stat : 18663 (pbscip.linux.x8) R 18661 18663 17674 0 -1 4202496 84307 0 0 0 15916 313 0 0 25 0 1 0 21676656 230305792 54439 4089446400 4194304 8223781 140737445678752 18446744073709551615 6003933 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18663/statm: 56227 54439 582 984 0 55240 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 224908
[startup+222.301 s]
/proc/loadavg: 2.08 3.63 3.20 3/179 18670
/proc/meminfo: memFree=29421092/32951124 swapFree=67111528/67111528
[pid=18663] ppid=18661 vsize=293572 CPUtime=222.29
/proc/18663/stat : 18663 (pbscip.linux.x8) R 18661 18663 17674 0 -1 4202496 104639 0 0 0 21804 425 0 0 25 0 1 0 21676656 300617728 71905 4089446400 4194304 8223781 140737445678752 18446744073709551615 5905507 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18663/statm: 73393 71905 582 984 0 72406 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 293572
[startup+282.3 s]
/proc/loadavg: 2.03 3.33 3.12 3/179 18671
/proc/meminfo: memFree=29271492/32951124 swapFree=67111528/67111528
[pid=18663] ppid=18661 vsize=364028 CPUtime=282.29
/proc/18663/stat : 18663 (pbscip.linux.x8) R 18661 18663 17674 0 -1 4202496 122541 0 0 0 27694 535 0 0 25 0 1 0 21676656 372764672 89806 4089446400 4194304 8223781 140737445678752 18446744073709551615 4651565 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18663/statm: 91007 89806 582 984 0 90020 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 364028
[startup+342.3 s]
/proc/loadavg: 2.01 3.08 3.05 3/179 18672
/proc/meminfo: memFree=29116816/32951124 swapFree=67111528/67111528
[pid=18663] ppid=18661 vsize=435484 CPUtime=342.3
/proc/18663/stat : 18663 (pbscip.linux.x8) R 18661 18663 17674 0 -1 4202496 143540 0 0 0 33585 645 0 0 25 0 1 0 21676656 445935616 107943 4089446400 4194304 8223781 140737445678752 18446744073709551615 6592907 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18663/statm: 108871 107943 582 984 0 107884 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 435484
[startup+402.301 s]
/proc/loadavg: 2.00 2.88 2.98 3/179 18674
/proc/meminfo: memFree=28964848/32951124 swapFree=67111528/67111528
[pid=18663] ppid=18661 vsize=513304 CPUtime=402.3
/proc/18663/stat : 18663 (pbscip.linux.x8) R 18661 18663 17674 0 -1 4202496 161229 0 0 0 39476 754 0 0 25 0 1 0 21676656 525623296 125632 4089446400 4194304 8223781 140737445678752 18446744073709551615 6448545 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18663/statm: 128326 125632 582 984 0 127339 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 513304
[startup+462.301 s]
/proc/loadavg: 2.00 2.72 2.92 3/179 18676
/proc/meminfo: memFree=28805076/32951124 swapFree=67111528/67111528
[pid=18663] ppid=18661 vsize=589800 CPUtime=462.3
/proc/18663/stat : 18663 (pbscip.linux.x8) R 18661 18663 17674 0 -1 4202496 180669 0 0 0 45367 863 0 0 25 0 1 0 21676656 603955200 145070 4089446400 4194304 8223781 140737445678752 18446744073709551615 6003998 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/18663/statm: 147450 145070 582 984 0 146463 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 589800
[startup+522.301 s]
/proc/loadavg: 2.04 2.60 2.86 3/179 18678
/proc/meminfo: memFree=28652740/32951124 swapFree=67111528/67111528
[pid=18663] ppid=18661 vsize=660076 CPUtime=522.29
/proc/18663/stat : 18663 (pbscip.linux.x8) R 18661 18663 17674 0 -1 4202496 198534 0 0 0 51262 967 0 0 25 0 1 0 21676656 675917824 162935 4089446400 4194304 8223781 140737445678752 18446744073709551615 4697631 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18663/statm: 165019 162935 582 984 0 164032 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 660076
[startup+582.3 s]
/proc/loadavg: 2.01 2.49 2.80 3/179 18679
/proc/meminfo: memFree=28502768/32951124 swapFree=67111528/67111528
[pid=18663] ppid=18661 vsize=728576 CPUtime=582.3
/proc/18663/stat : 18663 (pbscip.linux.x8) R 18661 18663 17674 0 -1 4202496 215957 0 0 0 57155 1075 0 0 25 0 1 0 21676656 746061824 180358 4089446400 4194304 8223781 140737445678752 18446744073709551615 4524747 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18663/statm: 182144 180358 582 984 0 181157 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 728576
[startup+642.301 s]
/proc/loadavg: 2.05 2.41 2.76 3/179 18680
/proc/meminfo: memFree=28346340/32951124 swapFree=67111528/67111528
[pid=18663] ppid=18661 vsize=799308 CPUtime=642.31
/proc/18663/stat : 18663 (pbscip.linux.x8) R 18661 18663 17674 0 -1 4202496 233904 0 0 0 63049 1182 0 0 25 0 1 0 21676656 818491392 198305 4089446400 4194304 8223781 140737445678752 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18663/statm: 199827 198305 582 984 0 198840 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 799308
[startup+702.301 s]
################
# More data... #
################
/proc/18663/stat : 18663 (pbscip.linux.x8) R 18661 18663 17674 0 -1 4202496 347845 0 0 0 98376 1855 0 0 25 0 1 0 21676656 1282867200 309382 4089446400 4194304 8223781 140737445678752 18446744073709551615 5892370 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18663/statm: 313200 309382 582 984 0 312213 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 1252800
[startup+1062.3 s]
/proc/loadavg: 2.06 2.11 2.47 3/179 18692
/proc/meminfo: memFree=27247128/32951124 swapFree=67111528/67111528
[pid=18663] ppid=18661 vsize=1328364 CPUtime=1062.31
/proc/18663/stat : 18663 (pbscip.linux.x8) R 18661 18663 17674 0 -1 4202496 367065 0 0 0 104263 1968 0 0 25 0 1 0 21676656 1360244736 328595 4089446400 4194304 8223781 140737445678752 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18663/statm: 332091 328595 582 984 0 331104 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 1328364
[startup+1122.3 s]
/proc/loadavg: 2.02 2.08 2.44 3/179 18694
/proc/meminfo: memFree=27080764/32951124 swapFree=67111528/67111528
[pid=18663] ppid=18661 vsize=1408172 CPUtime=1122.31
/proc/18663/stat : 18663 (pbscip.linux.x8) R 18661 18663 17674 0 -1 4202496 387337 0 0 0 110147 2084 0 0 25 0 1 0 21676656 1441968128 348867 4089446400 4194304 8223781 140737445678752 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18663/statm: 352043 348867 582 984 0 351056 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 1408172
[startup+1182.3 s]
/proc/loadavg: 2.07 2.08 2.41 3/179 18695
/proc/meminfo: memFree=26923844/32951124 swapFree=67111528/67111528
[pid=18663] ppid=18661 vsize=1484384 CPUtime=1182.31
/proc/18663/stat : 18663 (pbscip.linux.x8) R 18661 18663 17674 0 -1 4202496 406709 0 0 0 116036 2195 0 0 25 0 1 0 21676656 1520009216 368239 4089446400 4194304 8223781 140737445678752 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18663/statm: 371096 368239 582 984 0 370109 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 1484384
[startup+1242.3 s]
/proc/loadavg: 2.02 2.07 2.38 3/179 18696
/proc/meminfo: memFree=26762840/32951124 swapFree=67111528/67111528
[pid=18663] ppid=18661 vsize=1561344 CPUtime=1242.31
/proc/18663/stat : 18663 (pbscip.linux.x8) R 18661 18663 17674 0 -1 4202496 426256 0 0 0 121921 2310 0 0 25 0 1 0 21676656 1598816256 387786 4089446400 4194304 8223781 140737445678752 18446744073709551615 6435824 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18663/statm: 390336 387786 582 984 0 389349 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 1561344
[startup+1302.3 s]
/proc/loadavg: 2.01 2.05 2.36 3/179 18698
/proc/meminfo: memFree=26598348/32951124 swapFree=67111528/67111528
[pid=18663] ppid=18661 vsize=1638384 CPUtime=1302.31
/proc/18663/stat : 18663 (pbscip.linux.x8) R 18661 18663 17674 0 -1 4202496 448708 0 0 0 127799 2432 0 0 25 0 1 0 21676656 1677705216 407374 4089446400 4194304 8223781 140737445678752 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18663/statm: 409596 407374 582 984 0 408609 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 1638384
[startup+1362.3 s]
/proc/loadavg: 2.00 2.04 2.33 3/179 18700
/proc/meminfo: memFree=26433756/32951124 swapFree=67111528/67111528
[pid=18663] ppid=18661 vsize=1718864 CPUtime=1362.31
/proc/18663/stat : 18663 (pbscip.linux.x8) R 18661 18663 17674 0 -1 4202496 469154 0 0 0 133685 2546 0 0 25 0 1 0 21676656 1760116736 427818 4089446400 4194304 8223781 140737445678752 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18663/statm: 429716 427818 582 984 0 428729 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 1718864
[startup+1422.31 s]
/proc/loadavg: 2.00 2.03 2.31 3/179 18702
/proc/meminfo: memFree=26271728/32951124 swapFree=67111528/67111528
[pid=18663] ppid=18661 vsize=1800336 CPUtime=1422.32
/proc/18663/stat : 18663 (pbscip.linux.x8) R 18661 18663 17674 0 -1 4202496 489856 0 0 0 139572 2660 0 0 25 0 1 0 21676656 1843544064 448520 4089446400 4194304 8223781 140737445678752 18446744073709551615 6003003 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18663/statm: 450084 448520 582 984 0 449097 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 1800336
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.29 3/179 18703
/proc/meminfo: memFree=26113692/32951124 swapFree=67111528/67111528
[pid=18663] ppid=18661 vsize=1882168 CPUtime=1482.32
/proc/18663/stat : 18663 (pbscip.linux.x8) R 18661 18663 17674 0 -1 4202496 510670 0 0 0 145460 2772 0 0 25 0 1 0 21676656 1927340032 469334 4089446400 4194304 8223781 140737445678752 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18663/statm: 470542 469334 582 984 0 469555 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 1882168
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.27 3/179 18704
/proc/meminfo: memFree=25944232/32951124 swapFree=67111528/67111528
[pid=18663] ppid=18661 vsize=1961728 CPUtime=1542.32
/proc/18663/stat : 18663 (pbscip.linux.x8) R 18661 18663 17674 0 -1 4202496 530868 0 0 0 151344 2888 0 0 25 0 1 0 21676656 2008809472 489532 4089446400 4194304 8223781 140737445678752 18446744073709551615 6446805 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18663/statm: 490432 489532 582 984 0 489445 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 1961728
[startup+1602.3 s]
/proc/loadavg: 2.08 2.03 2.25 3/179 18706
/proc/meminfo: memFree=25779372/32951124 swapFree=67111528/67111528
[pid=18663] ppid=18661 vsize=2076164 CPUtime=1602.32
/proc/18663/stat : 18663 (pbscip.linux.x8) R 18661 18663 17674 0 -1 4202496 551643 0 0 0 157221 3011 0 0 25 0 1 0 21676656 2125991936 510307 4089446400 4194304 8223781 140737445678752 18446744073709551615 6446826 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18663/statm: 519041 510307 582 984 0 518054 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 2076164
[startup+1662.3 s]
/proc/loadavg: 2.03 2.02 2.24 3/179 18708
/proc/meminfo: memFree=25609180/32951124 swapFree=67111528/67111528
[pid=18663] ppid=18661 vsize=2158040 CPUtime=1662.32
/proc/18663/stat : 18663 (pbscip.linux.x8) R 18661 18663 17674 0 -1 4202496 572451 0 0 0 163104 3128 0 0 25 0 1 0 21676656 2209832960 531115 4089446400 4194304 8223781 140737445678752 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18663/statm: 539510 531115 582 984 0 538523 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 2158040
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.22 3/179 18710
/proc/meminfo: memFree=25448632/32951124 swapFree=67111528/67111528
[pid=18663] ppid=18661 vsize=2239640 CPUtime=1722.32
/proc/18663/stat : 18663 (pbscip.linux.x8) R 18661 18663 17674 0 -1 4202496 593189 0 0 0 168987 3245 0 0 25 0 1 0 21676656 2293391360 551853 4089446400 4194304 8223781 140737445678752 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18663/statm: 559910 551853 582 984 0 558923 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 2239640
[startup+1782.3 s]
/proc/loadavg: 2.05 2.03 2.21 3/197 18921
/proc/meminfo: memFree=27737452/32951124 swapFree=67111528/67111528
[pid=18663] ppid=18661 vsize=2319524 CPUtime=1782.33
/proc/18663/stat : 18663 (pbscip.linux.x8) R 18661 18663 17674 0 -1 4202496 613486 0 0 0 174728 3505 0 0 25 0 1 0 21676656 2375192576 572146 4089446400 4194304 8223781 140737445678752 18446744073709551615 4240948 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18663/statm: 579881 572146 582 984 0 578894 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 2319524
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.04 2.02 2.20 3/197 18922
/proc/meminfo: memFree=27711628/32951124 swapFree=67111528/67111528
[pid=18663] ppid=18661 vsize=2343836 CPUtime=1800.03
/proc/18663/stat : 18663 (pbscip.linux.x8) R 18661 18663 17674 0 -1 4202496 619665 0 0 0 176392 3611 0 0 25 0 1 0 21676656 2400088064 578324 4089446400 4194304 8223781 140737445678752 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18663/statm: 585959 578324 582 984 0 584972 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 2343836
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -18663
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.04 2.02 2.20 3/198 18923
/proc/meminfo: memFree=27711620/32951124 swapFree=67111528/67111528
[pid=18663] ppid=18661 vsize=2343836 CPUtime=1801.43
/proc/18663/stat : 18663 (pbscip.linux.x8) R 18661 18663 17674 0 -1 4202496 619667 0 0 0 176532 3611 0 0 25 0 1 0 21676656 2400088064 578326 4089446400 4194304 8223781 140737445678752 18446744073709551615 6206658 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/18663/statm: 585959 578326 584 984 0 584972 0
Current children cumulated CPU time (s) 1801.43
Current children cumulated vsize (KiB) 2343836
[startup+1801.81 s]
/proc/loadavg: 2.04 2.02 2.20 3/198 18923
/proc/meminfo: memFree=27711740/32951124 swapFree=67111528/67111528
[pid=18663] ppid=18661 vsize=2343836 CPUtime=1801.83
/proc/18663/stat : 18663 (pbscip.linux.x8) R 18661 18663 17674 0 -1 4202496 619667 0 0 0 176572 3611 0 0 25 0 1 0 21676656 2400088064 578326 4089446400 4194304 8223781 140737445678752 18446744073709551615 4670052 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/18663/statm: 585959 578326 584 984 0 584972 0
Current children cumulated CPU time (s) 1801.83
Current children cumulated vsize (KiB) 2343836
[startup+1802 s]
/proc/loadavg: 2.04 2.02 2.20 3/198 18923
/proc/meminfo: memFree=27711740/32951124 swapFree=67111528/67111528
[pid=18663] ppid=18661 vsize=2343836 CPUtime=1802.03
/proc/18663/stat : 18663 (pbscip.linux.x8) R 18661 18663 17674 0 -1 4202496 619667 0 0 0 176592 3611 0 0 25 0 1 0 21676656 2400088064 578326 4089446400 4194304 8223781 140737445678752 18446744073709551615 6206655 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/18663/statm: 585959 578326 584 984 0 584972 0
Current children cumulated CPU time (s) 1802.03
Current children cumulated vsize (KiB) 2343836
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.08
CPU time (s): 1802.12
CPU user time (s): 1765.93
CPU system time (s): 36.1935
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 2343836
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1765.93
system time used= 36.1935
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 619667
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= 2923
runsolver used 2.45763 second user time and 5.75612 second system time
The end
Begin job on node145 at 2010-07-07 22:30:44
IDJOB=2700296
IDBENCH=79416
IDSOLVER=1204
FILE ID=node145/2700296-1278534644
PBS_JOBID= 11239187
Free space on /tmp= 73604 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-jnh209_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-2700296-1278534644/watcher-2700296-1278534644 -o /tmp/evaluation-result-2700296-1278534644/solver-2700296-1278534644 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2700296-1278534644.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 9631dbe60bb4b54b94c0583eca7044d2
RANDOM SEED=198634431
node145.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.859
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.71
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.859
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.859
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.74
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.859
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.859
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.74
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.859
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.859
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.859
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.76
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 29988856 kB
Buffers: 139408 kB
Cached: 2523860 kB
SwapCached: 0 kB
Active: 1502900 kB
Inactive: 1307528 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 29988856 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 4668 kB
Writeback: 0 kB
AnonPages: 147588 kB
Mapped: 16836 kB
Slab: 84896 kB
PageTables: 4372 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 289740 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 node145 at 2010-07-07 23:00:46