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-2700020-1278533893.wbo>
0.00/0.01 c original problem has 1900 variables (1050 bin, 0 int, 0 impl, 850 cont) and 1801 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.02 c presolving:
0.00/0.03 c (round 1) 100 del vars, 101 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1050 impls, 0 clqs
0.00/0.04 c (round 2) 100 del vars, 101 del conss, 850 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1050 impls, 0 clqs
0.00/0.06 c (0.0s) probing: 101/950 (10.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.06 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.06 c presolving (3 rounds):
0.00/0.06 c 100 deleted vars, 101 deleted constraints, 850 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.06 c 1050 implications, 0 cliques
0.00/0.06 c presolved problem has 1800 variables (950 bin, 0 int, 0 impl, 850 cont) and 1700 constraints
0.00/0.06 c 850 constraints of type <indicator>
0.00/0.06 c 850 constraints of type <linear>
0.00/0.06 c transformed objective value is always integral (scale: 1)
0.00/0.06 c Presolving Time: 0.04
0.00/0.06 c - non default parameters ----------------------------------------------------------------------
0.00/0.06 c # SCIP version 1.2.1.2
0.00/0.06 c
0.00/0.06 c # frequency for displaying node information lines
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.06 c display/freq = 10000
0.00/0.06 c
0.00/0.06 c # maximal time in seconds to run
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.06 c limits/time = 1799.99
0.00/0.06 c
0.00/0.06 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.06 c limits/memory = 3420
0.00/0.06 c
0.00/0.06 c # should presolving try to simplify inequalities
0.00/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06 c constraints/linear/simplifyinequalities = TRUE
0.00/0.06 c
0.00/0.06 c # should presolving try to simplify knapsacks
0.00/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.06 c
0.00/0.06 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.06 c separating/rapidlearning/freq = 0
0.00/0.06 c
0.00/0.06 c -----------------------------------------------------------------------------------------------
0.00/0.06 c start solving
0.00/0.06 c
0.00/0.06 o 420925
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 | - |6131k| 0 | - |1800 |1700 | 0 | 0 | 0 | 0 | 0 | -- | 4.209250e+05 | Inf
0.05/0.06 c 0.0s| 1 | 0 | 0 | - |6528k| 0 | 0 |1800 |1700 |1800 | 0 | 0 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.05/0.07 c 0.1s| 1 | 0 | 40 | - |6571k| 0 | 0 |1800 |1700 |1800 | 72 | 72 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.05/0.07 c 0.1s| 1 | 0 | 132 | - |6618k| 0 | 51 |1800 |1700 |1800 | 113 | 113 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.05/0.08 c 0.1s| 1 | 0 | 188 | - |6814k| 0 | 76 |1800 |1700 |1800 | 161 | 161 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.09/0.10 c 0.1s| 1 | 0 | 219 | - |6866k| 0 | 84 |1800 |1700 |1800 | 179 | 179 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.09/0.12 c 0.1s| 1 | 0 | 226 | - |6895k| 0 | 88 |1800 |1700 |1800 | 187 | 187 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.09/0.13 c 0.1s| 1 | 0 | 229 | - |6920k| 0 | 87 |1800 |1700 |1800 | 189 | 189 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.19/0.25 c 0.2s| 1 | 2 | 390 | - |6972k| 0 | 87 |1800 |1700 |1800 | 189 | 189 | 0 | 33 | 0.000000e+00 | 4.209250e+05 | Inf
12.97/13.63 c 12.7s| 10000 | 10001 | 76124 | 7.6 | 19M| 91 | 0 |1800 |1700 |1800 | 269 | 18k| 0 | 791 | 0.000000e+00 | 4.209250e+05 | Inf
21.76/22.46 c 21.3s| 20000 | 20001 |110134 | 5.5 | 30M| 155 | 0 |1800 |1700 |1800 | 280 | 27k| 0 | 791 | 0.000000e+00 | 4.209250e+05 | Inf
30.07/30.72 c 29.4s| 30000 | 30001 |128281 | 4.3 | 40M| 155 | 0 |1800 |1700 |1800 | 298 | 31k| 0 | 791 | 0.000000e+00 | 4.209250e+05 | Inf
38.57/39.20 c 37.7s| 40000 | 40001 |153435 | 3.8 | 50M| 155 | 14 |1800 |1700 |1800 | 188 | 38k| 0 | 814 | 0.000000e+00 | 4.209250e+05 | Inf
48.87/49.53 c 47.5s| 50000 | 50001 |176423 | 3.5 | 60M| 155 | 7 |1800 |1700 |1800 | 288 | 44k| 0 | 855 | 0.000000e+00 | 4.209250e+05 | Inf
59.06/59.71 c 57.0s| 60000 | 60001 |196947 | 3.3 | 70M| 155 | 0 |1800 |1700 |1800 | 259 | 50k| 0 | 890 | 0.000000e+00 | 4.209250e+05 | Inf
69.67/71.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
69.67/71.31 c 67.3s| 70000 | 70001 |228709 | 3.3 | 80M| 155 | 0 |1800 |1700 |1800 | 286 | 58k| 0 | 939 | 0.000000e+00 | 4.209250e+05 | Inf
79.62/82.33 c 76.8s| 80000 | 80001 |257698 | 3.2 | 90M| 155 | 0 |1800 |1700 |1800 | 283 | 67k| 0 |1007 | 0.000000e+00 | 4.209250e+05 | Inf
89.79/93.32 c 86.7s| 90000 | 90001 |286339 | 3.2 | 100M| 155 | 0 |1800 |1700 |1800 | 264 | 74k| 0 |1062 | 0.000000e+00 | 4.209250e+05 | Inf
97.48/101.04 c 94.3s|100000 |100001 |312379 | 3.1 | 110M| 155 | 0 |1800 |1700 |1800 | 265 | 82k| 0 |1135 | 0.000000e+00 | 4.209250e+05 | Inf
104.98/108.56 c 102s|110000 |110001 |332242 | 3.0 | 120M| 155 | 0 |1800 |1700 |1800 | 266 | 88k| 0 |1189 | 0.000000e+00 | 4.209250e+05 | Inf
112.59/116.15 c 109s|120000 |120001 |353938 | 2.9 | 130M| 155 | 0 |1800 |1700 |1800 | 242 | 94k| 0 |1227 | 0.000000e+00 | 4.209250e+05 | Inf
120.39/123.91 c 117s|130000 |130001 |380246 | 2.9 | 140M| 155 | 0 |1800 |1700 |1800 | 265 | 101k| 0 |1279 | 0.000000e+00 | 4.209250e+05 | Inf
128.09/131.60 c 124s|140000 |140001 |402886 | 2.9 | 150M| 155 | 0 |1800 |1700 |1800 | 276 | 107k| 0 |1336 | 0.000000e+00 | 4.209250e+05 | Inf
135.48/139.04 c 132s|150000 |150001 |420639 | 2.8 | 160M| 155 | 0 |1800 |1700 |1800 | 260 | 112k| 0 |1361 | 0.000000e+00 | 4.209250e+05 | Inf
145.07/149.04 c 141s|160000 |160001 |444486 | 2.8 | 170M| 155 | 0 |1800 |1700 |1800 | 271 | 120k| 0 |1417 | 0.000000e+00 | 4.209250e+05 | Inf
155.30/160.31 c 151s|170000 |170001 |469010 | 2.8 | 180M| 155 | 5 |1800 |1700 |1800 | 270 | 126k| 0 |1464 | 0.000000e+00 | 4.209250e+05 | Inf
165.27/171.91 c 160s|180000 |180001 |495321 | 2.8 | 190M| 155 | 0 |1800 |1700 |1800 | 275 | 134k| 0 |1520 | 0.000000e+00 | 4.209250e+05 | Inf
175.49/185.23 c 170s|190000 |190001 |512533 | 2.7 | 200M| 155 | 0 |1800 |1700 |1800 | 271 | 139k| 0 |1557 | 0.000000e+00 | 4.209250e+05 | Inf
185.41/197.44 c 180s|200000 |200001 |543194 | 2.7 | 210M| 155 | 4 |1800 |1700 |1800 | 307 | 148k| 0 |1605 | 0.000000e+00 | 4.209250e+05 | Inf
195.38/208.50 c 189s|210000 |210001 |571175 | 2.7 | 220M| 155 | 0 |1800 |1700 |1800 | 270 | 156k| 0 |1652 | 0.000000e+00 | 4.209250e+05 | Inf
203.25/216.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
203.25/216.43 c 197s|220000 |220001 |600103 | 2.7 | 230M| 155 | 0 |1800 |1700 |1800 | 270 | 164k| 0 |1704 | 0.000000e+00 | 4.209250e+05 | Inf
210.85/224.00 c 204s|230000 |229999 |620976 | 2.7 | 240M| 155 | 0 |1800 |1702 |1800 | 297 | 170k| 2 |1741 | 0.000000e+00 | 4.209250e+05 | Inf
218.45/231.60 c 211s|240000 |239997 |643250 | 2.7 | 249M| 155 | 5 |1800 |1703 |1800 | 263 | 177k| 3 |1791 | 0.000000e+00 | 4.209250e+05 | Inf
225.95/239.13 c 218s|250000 |249997 |663178 | 2.7 | 259M| 155 | 13 |1800 |1703 |1800 | 256 | 184k| 3 |1825 | 0.000000e+00 | 4.209250e+05 | Inf
233.55/246.76 c 225s|260000 |259995 |686966 | 2.6 | 269M| 185 | 0 |1800 |1704 |1800 | 242 | 190k| 4 |1859 | 0.000000e+00 | 4.209250e+05 | Inf
240.86/254.08 c 232s|270000 |269995 |702428 | 2.6 | 279M| 185 | 5 |1800 |1704 |1800 | 237 | 194k| 4 |1882 | 0.000000e+00 | 4.209250e+05 | Inf
248.36/261.52 c 239s|280000 |279995 |722442 | 2.6 | 289M| 185 | 0 |1800 |1704 |1800 | 278 | 201k| 4 |1924 | 0.000000e+00 | 4.209250e+05 | Inf
255.65/268.81 c 246s|290000 |289995 |738302 | 2.5 | 299M| 185 | 8 |1800 |1704 |1800 | 266 | 205k| 4 |1938 | 0.000000e+00 | 4.209250e+05 | Inf
263.15/276.35 c 253s|300000 |299995 |764666 | 2.5 | 309M| 185 | 0 |1800 |1704 |1800 | 260 | 212k| 4 |1993 | 0.000000e+00 | 4.209250e+05 | Inf
270.76/283.96 c 260s|310000 |309995 |791048 | 2.6 | 319M| 185 | 0 |1800 |1704 |1800 | 282 | 220k| 4 |2040 | 0.000000e+00 | 4.209250e+05 | Inf
278.15/291.32 c 267s|320000 |319995 |809150 | 2.5 | 329M| 185 | 0 |1800 |1704 |1800 | 267 | 225k| 4 |2069 | 0.000000e+00 | 4.209250e+05 | Inf
285.35/298.53 c 275s|330000 |329995 |820955 | 2.5 | 339M| 185 | 0 |1800 |1704 |1800 | 261 | 228k| 4 |2078 | 0.000000e+00 | 4.209250e+05 | Inf
292.56/305.79 c 282s|340000 |339995 |833738 | 2.5 | 349M| 185 | 0 |1800 |1704 |1800 | 257 | 232k| 4 |2098 | 0.000000e+00 | 4.209250e+05 | Inf
299.95/313.13 c 289s|350000 |349995 |851085 | 2.4 | 359M| 185 | 0 |1800 |1704 |1800 | 287 | 237k| 4 |2123 | 0.000000e+00 | 4.209250e+05 | Inf
307.25/320.43 c 296s|360000 |359995 |861853 | 2.4 | 369M| 185 | 0 |1800 |1703 |1800 | 283 | 241k| 4 |2140 | 0.000000e+00 | 4.209250e+05 | Inf
314.65/327.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
314.65/327.85 c 303s|370000 |369995 |877936 | 2.4 | 379M| 185 | 0 |1800 |1703 |1800 | 280 | 245k| 4 |2169 | 0.000000e+00 | 4.209250e+05 | Inf
321.85/335.04 c 310s|380000 |379995 |889272 | 2.3 | 388M| 185 | 0 |1800 |1703 |1800 | 276 | 248k| 4 |2184 | 0.000000e+00 | 4.209250e+05 | Inf
329.25/342.40 c 318s|390000 |389995 |905674 | 2.3 | 398M| 185 | 0 |1800 |1703 |1800 | 269 | 254k| 4 |2212 | 0.000000e+00 | 4.209250e+05 | Inf
336.36/349.57 c 325s|400000 |399995 |915050 | 2.3 | 408M| 185 | 0 |1800 |1703 |1800 | 288 | 256k| 4 |2219 | 0.000000e+00 | 4.209250e+05 | Inf
343.66/356.83 c 332s|410000 |409995 |928893 | 2.3 | 418M| 185 | 0 |1800 |1703 |1800 | 273 | 261k| 4 |2250 | 0.000000e+00 | 4.209250e+05 | Inf
350.96/364.18 c 339s|420000 |419995 |943920 | 2.2 | 428M| 185 | 3 |1800 |1703 |1800 | 259 | 265k| 4 |2272 | 0.000000e+00 | 4.209250e+05 | Inf
358.35/371.59 c 346s|430000 |429995 |964687 | 2.2 | 438M| 185 | 5 |1800 |1703 |1800 | 241 | 271k| 4 |2295 | 0.000000e+00 | 4.209250e+05 | Inf
365.86/379.09 c 354s|440000 |439995 |986958 | 2.2 | 448M| 185 | 0 |1800 |1703 |1800 | 278 | 278k| 4 |2317 | 0.000000e+00 | 4.209250e+05 | Inf
373.36/386.50 c 361s|450000 |449995 | 1003k| 2.2 | 458M| 185 | 0 |1800 |1703 |1800 | 266 | 282k| 4 |2337 | 0.000000e+00 | 4.209250e+05 | Inf
380.66/393.83 c 368s|460000 |459995 | 1017k| 2.2 | 468M| 185 | 0 |1800 |1703 |1800 | 273 | 286k| 4 |2362 | 0.000000e+00 | 4.209250e+05 | Inf
387.85/401.00 c 375s|470000 |469995 | 1027k| 2.2 | 478M| 185 | 0 |1800 |1703 |1800 | 261 | 289k| 4 |2384 | 0.000000e+00 | 4.209250e+05 | Inf
395.16/408.36 c 382s|480000 |479995 | 1041k| 2.2 | 488M| 185 | 0 |1800 |1703 |1800 | 283 | 293k| 4 |2401 | 0.000000e+00 | 4.209250e+05 | Inf
402.66/415.80 c 390s|490000 |489995 | 1062k| 2.2 | 498M| 185 | 0 |1800 |1703 |1800 | 277 | 299k| 4 |2428 | 0.000000e+00 | 4.209250e+05 | Inf
410.15/423.40 c 397s|500000 |499995 | 1090k| 2.2 | 508M| 185 | 12 |1800 |1703 |1800 | 205 | 308k| 4 |2465 | 0.000000e+00 | 4.209250e+05 | Inf
417.55/430.77 c 404s|510000 |509995 | 1108k| 2.2 | 517M| 185 | 0 |1800 |1703 |1800 | 267 | 313k| 4 |2493 | 0.000000e+00 | 4.209250e+05 | Inf
424.96/438.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
424.96/438.14 c 412s|520000 |519995 | 1125k| 2.2 | 527M| 185 | 7 |1800 |1703 |1800 | 250 | 318k| 4 |2516 | 0.000000e+00 | 4.209250e+05 | Inf
432.15/445.39 c 419s|530000 |529995 | 1139k| 2.1 | 537M| 185 | 0 |1800 |1703 |1800 | 281 | 323k| 4 |2535 | 0.000000e+00 | 4.209250e+05 | Inf
439.36/452.52 c 426s|540000 |539995 | 1152k| 2.1 | 547M| 185 | 0 |1800 |1703 |1800 | 257 | 326k| 4 |2556 | 0.000000e+00 | 4.209250e+05 | Inf
446.35/459.56 c 433s|550000 |549995 | 1161k| 2.1 | 557M| 185 | 0 |1800 |1703 |1800 | 275 | 329k| 4 |2558 | 0.000000e+00 | 4.209250e+05 | Inf
453.56/466.71 c 440s|560000 |559995 | 1173k| 2.1 | 567M| 185 | 0 |1800 |1703 |1800 | 262 | 332k| 4 |2581 | 0.000000e+00 | 4.209250e+05 | Inf
460.96/474.13 c 447s|570000 |569995 | 1192k| 2.1 | 577M| 185 | 4 |1800 |1703 |1800 | 248 | 338k| 4 |2599 | 0.000000e+00 | 4.209250e+05 | Inf
468.06/481.28 c 454s|580000 |579995 | 1206k| 2.1 | 587M| 185 | 0 |1800 |1703 |1800 | 294 | 342k| 4 |2616 | 0.000000e+00 | 4.209250e+05 | Inf
475.46/488.64 c 461s|590000 |589995 | 1223k| 2.1 | 597M| 185 | 0 |1800 |1703 |1800 | 274 | 347k| 4 |2635 | 0.000000e+00 | 4.209250e+05 | Inf
482.75/495.94 c 468s|600000 |599995 | 1238k| 2.1 | 607M| 185 | 0 |1800 |1703 |1800 | 267 | 352k| 4 |2653 | 0.000000e+00 | 4.209250e+05 | Inf
490.16/503.32 c 476s|610000 |609995 | 1258k| 2.1 | 616M| 185 | 0 |1800 |1703 |1800 | 259 | 358k| 4 |2672 | 0.000000e+00 | 4.209250e+05 | Inf
497.46/510.67 c 483s|620000 |619995 | 1275k| 2.1 | 626M| 185 | 0 |1800 |1703 |1800 | 273 | 363k| 4 |2696 | 0.000000e+00 | 4.209250e+05 | Inf
504.87/518.02 c 490s|630000 |629995 | 1291k| 2.0 | 636M| 185 | 0 |1800 |1703 |1800 | 234 | 368k| 4 |2712 | 0.000000e+00 | 4.209250e+05 | Inf
512.15/525.38 c 497s|640000 |639995 | 1309k| 2.0 | 646M| 185 | 12 |1800 |1703 |1800 | 249 | 374k| 4 |2729 | 0.000000e+00 | 4.209250e+05 | Inf
519.56/532.76 c 504s|650000 |649995 | 1325k| 2.0 | 656M| 185 | 0 |1800 |1703 |1800 | 271 | 379k| 4 |2755 | 0.000000e+00 | 4.209250e+05 | Inf
526.75/539.93 c 511s|660000 |659995 | 1338k| 2.0 | 666M| 185 | 0 |1800 |1703 |1800 | 265 | 382k| 4 |2757 | 0.000000e+00 | 4.209250e+05 | Inf
533.75/546.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
533.75/546.90 c 518s|670000 |669995 | 1347k| 2.0 | 676M| 185 | 11 |1800 |1703 |1800 | 225 | 385k| 4 |2772 | 0.000000e+00 | 4.209250e+05 | Inf
540.96/554.12 c 525s|680000 |679995 | 1362k| 2.0 | 686M| 185 | 8 |1800 |1703 |1800 | 263 | 389k| 4 |2791 | 0.000000e+00 | 4.209250e+05 | Inf
548.26/561.48 c 533s|690000 |689993 | 1379k| 2.0 | 696M| 185 | 4 |1800 |1706 |1800 | 248 | 395k| 7 |2816 | 0.000000e+00 | 4.209250e+05 | Inf
555.56/568.71 c 540s|700000 |699993 | 1393k| 2.0 | 706M| 185 | 4 |1800 |1706 |1800 | 257 | 399k| 7 |2824 | 0.000000e+00 | 4.209250e+05 | Inf
562.76/575.93 c 547s|710000 |709993 | 1405k| 2.0 | 716M| 185 | 0 |1800 |1706 |1800 | 271 | 402k| 7 |2846 | 0.000000e+00 | 4.209250e+05 | Inf
569.96/583.14 c 554s|720000 |719993 | 1418k| 2.0 | 725M| 185 | 0 |1800 |1706 |1800 | 263 | 406k| 7 |2861 | 0.000000e+00 | 4.209250e+05 | Inf
577.26/590.45 c 561s|730000 |729993 | 1433k| 2.0 | 735M| 185 | 0 |1800 |1706 |1800 | 288 | 411k| 7 |2883 | 0.000000e+00 | 4.209250e+05 | Inf
584.56/597.78 c 568s|740000 |739993 | 1450k| 2.0 | 745M| 185 | 0 |1800 |1706 |1800 | 274 | 416k| 7 |2898 | 0.000000e+00 | 4.209250e+05 | Inf
591.76/604.96 c 575s|750000 |749993 | 1461k| 1.9 | 755M| 185 | 0 |1800 |1706 |1800 | 271 | 419k| 7 |2916 | 0.000000e+00 | 4.209250e+05 | Inf
598.95/612.18 c 582s|760000 |759993 | 1476k| 1.9 | 765M| 185 | 0 |1800 |1706 |1800 | 289 | 424k| 7 |2931 | 0.000000e+00 | 4.209250e+05 | Inf
606.07/619.29 c 589s|770000 |769993 | 1486k| 1.9 | 775M| 185 | 0 |1800 |1706 |1800 | 273 | 426k| 7 |2931 | 0.000000e+00 | 4.209250e+05 | Inf
613.16/626.35 c 596s|780000 |779993 | 1493k| 1.9 | 785M| 185 | 11 |1800 |1705 |1800 | 235 | 428k| 7 |2946 | 0.000000e+00 | 4.209250e+05 | Inf
620.37/633.55 c 603s|790000 |789993 | 1503k| 1.9 | 795M| 185 | 0 |1800 |1705 |1800 | 277 | 430k| 7 |2948 | 0.000000e+00 | 4.209250e+05 | Inf
627.56/640.75 c 610s|800000 |799993 | 1516k| 1.9 | 805M| 185 | 0 |1800 |1705 |1800 | 237 | 434k| 7 |2957 | 0.000000e+00 | 4.209250e+05 | Inf
634.66/647.83 c 617s|810000 |809993 | 1523k| 1.9 | 814M| 185 | 0 |1800 |1705 |1800 | 268 | 437k| 7 |2959 | 0.000000e+00 | 4.209250e+05 | Inf
641.86/655.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
641.86/655.02 c 624s|820000 |819993 | 1535k| 1.9 | 824M| 185 | 0 |1800 |1705 |1800 | 265 | 440k| 7 |2977 | 0.000000e+00 | 4.209250e+05 | Inf
649.16/662.31 c 631s|830000 |829993 | 1551k| 1.9 | 834M| 185 | 0 |1800 |1705 |1800 | 293 | 445k| 7 |2992 | 0.000000e+00 | 4.209250e+05 | Inf
656.36/669.50 c 639s|840000 |839993 | 1561k| 1.9 | 844M| 185 | 0 |1800 |1705 |1800 | 285 | 448k| 7 |2992 | 0.000000e+00 | 4.209250e+05 | Inf
663.47/676.62 c 646s|850000 |849993 | 1569k| 1.8 | 854M| 185 | 0 |1800 |1705 |1800 | 257 | 451k| 7 |3007 | 0.000000e+00 | 4.209250e+05 | Inf
670.56/683.75 c 653s|860000 |859993 | 1580k| 1.8 | 864M| 185 | 0 |1800 |1705 |1800 | 251 | 454k| 7 |3007 | 0.000000e+00 | 4.209250e+05 | Inf
677.96/691.15 c 660s|870000 |869993 | 1598k| 1.8 | 874M| 185 | 0 |1800 |1705 |1800 | 271 | 460k| 7 |3030 | 0.000000e+00 | 4.209250e+05 | Inf
685.36/698.53 c 667s|880000 |879993 | 1615k| 1.8 | 884M| 185 | 0 |1800 |1705 |1800 | 299 | 465k| 7 |3044 | 0.000000e+00 | 4.209250e+05 | Inf
692.76/705.90 c 674s|890000 |889993 | 1631k| 1.8 | 894M| 185 | 0 |1800 |1705 |1800 | 270 | 469k| 7 |3058 | 0.000000e+00 | 4.209250e+05 | Inf
699.96/713.12 c 681s|900000 |899993 | 1643k| 1.8 | 904M| 185 | 0 |1800 |1704 |1800 | 260 | 473k| 7 |3069 | 0.000000e+00 | 4.209250e+05 | Inf
707.46/720.61 c 689s|910000 |909993 | 1664k| 1.8 | 914M| 185 | 0 |1800 |1704 |1800 | 284 | 479k| 7 |3089 | 0.000000e+00 | 4.209250e+05 | Inf
714.86/728.00 c 696s|920000 |919993 | 1681k| 1.8 | 923M| 185 | 0 |1800 |1704 |1800 | 264 | 483k| 7 |3106 | 0.000000e+00 | 4.209250e+05 | Inf
722.06/735.20 c 703s|930000 |929993 | 1693k| 1.8 | 933M| 185 | 0 |1800 |1704 |1800 | 284 | 487k| 7 |3117 | 0.000000e+00 | 4.209250e+05 | Inf
729.26/742.43 c 710s|940000 |939993 | 1707k| 1.8 | 943M| 185 | 0 |1800 |1704 |1800 | 244 | 491k| 7 |3119 | 0.000000e+00 | 4.209250e+05 | Inf
736.46/749.65 c 717s|950000 |949993 | 1719k| 1.8 | 953M| 185 | 0 |1800 |1704 |1800 | 275 | 495k| 7 |3140 | 0.000000e+00 | 4.209250e+05 | Inf
743.67/756.85 c 724s|960000 |959993 | 1731k| 1.8 | 963M| 185 | 0 |1800 |1704 |1800 | 292 | 498k| 7 |3153 | 0.000000e+00 | 4.209250e+05 | Inf
750.87/764.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
750.87/764.06 c 731s|970000 |969993 | 1745k| 1.8 | 973M| 185 | 0 |1800 |1704 |1800 | 272 | 503k| 7 |3161 | 0.000000e+00 | 4.209250e+05 | Inf
758.16/771.36 c 739s|980000 |979993 | 1758k| 1.8 | 983M| 185 | 0 |1800 |1704 |1800 | 296 | 506k| 7 |3172 | 0.000000e+00 | 4.209250e+05 | Inf
765.47/778.63 c 746s|990000 |989993 | 1774k| 1.8 | 993M| 185 | 12 |1800 |1704 |1800 | 211 | 511k| 7 |3192 | 0.000000e+00 | 4.209250e+05 | Inf
772.67/785.83 c 753s| 1000k|999993 | 1786k| 1.8 |1003M| 185 | 0 |1800 |1704 |1800 | 285 | 514k| 7 |3200 | 0.000000e+00 | 4.209250e+05 | Inf
779.97/793.18 c 760s| 1010k| 1009k| 1799k| 1.8 |1012M| 185 | 0 |1800 |1704 |1800 | 294 | 519k| 7 |3211 | 0.000000e+00 | 4.209250e+05 | Inf
787.37/800.54 c 767s| 1020k| 1019k| 1816k| 1.8 |1022M| 185 | 0 |1800 |1704 |1800 | 301 | 524k| 7 |3231 | 0.000000e+00 | 4.209250e+05 | Inf
794.67/807.82 c 774s| 1030k| 1029k| 1830k| 1.8 |1032M| 185 | 0 |1800 |1704 |1800 | 260 | 528k| 7 |3242 | 0.000000e+00 | 4.209250e+05 | Inf
801.97/815.11 c 781s| 1040k| 1039k| 1844k| 1.8 |1042M| 185 | 0 |1800 |1704 |1800 | 305 | 532k| 7 |3249 | 0.000000e+00 | 4.209250e+05 | Inf
809.26/822.44 c 789s| 1050k| 1049k| 1858k| 1.8 |1052M| 185 | 0 |1800 |1704 |1800 | 274 | 536k| 7 |3267 | 0.000000e+00 | 4.209250e+05 | Inf
816.67/829.84 c 796s| 1060k| 1059k| 1874k| 1.8 |1062M| 185 | 0 |1800 |1704 |1800 | 247 | 541k| 7 |3279 | 0.000000e+00 | 4.209250e+05 | Inf
823.97/837.12 c 803s| 1070k| 1069k| 1884k| 1.8 |1072M| 185 | 0 |1800 |1704 |1800 | 283 | 544k| 7 |3279 | 0.000000e+00 | 4.209250e+05 | Inf
831.37/844.51 c 810s| 1080k| 1079k| 1900k| 1.8 |1082M| 185 | 0 |1800 |1704 |1800 | 281 | 549k| 7 |3309 | 0.000000e+00 | 4.209250e+05 | Inf
838.67/851.81 c 817s| 1090k| 1089k| 1911k| 1.8 |1092M| 185 | 0 |1800 |1704 |1800 | 270 | 553k| 7 |3320 | 0.000000e+00 | 4.209250e+05 | Inf
845.77/858.97 c 824s| 1100k| 1099k| 1919k| 1.7 |1102M| 185 | 0 |1800 |1704 |1800 | 274 | 555k| 7 |3323 | 0.000000e+00 | 4.209250e+05 | Inf
853.07/866.27 c 832s| 1110k| 1109k| 1933k| 1.7 |1112M| 185 | 0 |1800 |1704 |1800 | 271 | 559k| 7 |3346 | 0.000000e+00 | 4.209250e+05 | Inf
860.37/873.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
860.37/873.55 c 839s| 1120k| 1119k| 1945k| 1.7 |1122M| 185 | 0 |1800 |1704 |1800 | 273 | 563k| 7 |3346 | 0.000000e+00 | 4.209250e+05 | Inf
867.67/880.81 c 846s| 1130k| 1129k| 1956k| 1.7 |1131M| 185 | 0 |1800 |1703 |1800 | 265 | 566k| 7 |3365 | 0.000000e+00 | 4.209250e+05 | Inf
874.87/888.08 c 853s| 1140k| 1139k| 1969k| 1.7 |1141M| 185 | 0 |1800 |1703 |1800 | 259 | 569k| 7 |3373 | 0.000000e+00 | 4.209250e+05 | Inf
882.28/895.42 c 860s| 1150k| 1149k| 1985k| 1.7 |1151M| 185 | 0 |1800 |1703 |1800 | 271 | 574k| 7 |3381 | 0.000000e+00 | 4.209250e+05 | Inf
889.57/902.75 c 867s| 1160k| 1159k| 2000k| 1.7 |1161M| 185 | 0 |1800 |1703 |1800 | 270 | 578k| 7 |3398 | 0.000000e+00 | 4.209250e+05 | Inf
896.97/910.10 c 875s| 1170k| 1169k| 2013k| 1.7 |1171M| 185 | 0 |1800 |1703 |1800 | 277 | 582k| 7 |3409 | 0.000000e+00 | 4.209250e+05 | Inf
904.27/917.40 c 882s| 1180k| 1179k| 2026k| 1.7 |1181M| 185 | 0 |1800 |1703 |1800 | 264 | 585k| 7 |3414 | 0.000000e+00 | 4.209250e+05 | Inf
911.57/924.70 c 889s| 1190k| 1189k| 2040k| 1.7 |1191M| 185 | 0 |1800 |1703 |1800 | 266 | 589k| 7 |3428 | 0.000000e+00 | 4.209250e+05 | Inf
918.67/931.89 c 896s| 1200k| 1199k| 2053k| 1.7 |1201M| 185 | 0 |1800 |1703 |1800 | 284 | 594k| 7 |3441 | 0.000000e+00 | 4.209250e+05 | Inf
925.87/939.07 c 903s| 1210k| 1209k| 2065k| 1.7 |1211M| 185 | 0 |1800 |1703 |1800 | 292 | 597k| 7 |3447 | 0.000000e+00 | 4.209250e+05 | Inf
933.17/946.38 c 910s| 1220k| 1219k| 2079k| 1.7 |1221M| 185 | 0 |1800 |1703 |1800 | 262 | 602k| 7 |3460 | 0.000000e+00 | 4.209250e+05 | Inf
940.67/953.86 c 918s| 1230k| 1229k| 2093k| 1.7 |1231M| 185 | 0 |1800 |1703 |1800 | 267 | 606k| 7 |3473 | 0.000000e+00 | 4.209250e+05 | Inf
947.97/961.18 c 925s| 1240k| 1239k| 2103k| 1.7 |1241M| 185 | 0 |1800 |1703 |1800 | 271 | 609k| 7 |3474 | 0.000000e+00 | 4.209250e+05 | Inf
955.47/968.62 c 932s| 1250k| 1249k| 2116k| 1.7 |1251M| 185 | 0 |1800 |1703 |1800 | 251 | 612k| 7 |3486 | 0.000000e+00 | 4.209250e+05 | Inf
962.76/975.95 c 939s| 1260k| 1259k| 2131k| 1.7 |1260M| 185 | 0 |1800 |1703 |1800 | 263 | 617k| 7 |3505 | 0.000000e+00 | 4.209250e+05 | Inf
969.96/983.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
969.96/983.16 c 946s| 1270k| 1269k| 2141k| 1.7 |1270M| 185 | 0 |1800 |1703 |1800 | 278 | 619k| 7 |3505 | 0.000000e+00 | 4.209250e+05 | Inf
977.17/990.30 c 953s| 1280k| 1279k| 2148k| 1.7 |1280M| 185 | 16 |1800 |1703 |1800 | 255 | 621k| 7 |3516 | 0.000000e+00 | 4.209250e+05 | Inf
984.17/997.38 c 960s| 1290k| 1289k| 2155k| 1.7 |1290M| 185 | 0 |1800 |1703 |1800 | 257 | 623k| 7 |3517 | 0.000000e+00 | 4.209250e+05 | Inf
991.26/1004.48 c 967s| 1300k| 1299k| 2163k| 1.7 |1300M| 185 | 0 |1800 |1703 |1800 | 241 | 625k| 7 |3523 | 0.000000e+00 | 4.209250e+05 | Inf
998.57/1011.79 c 974s| 1310k| 1309k| 2176k| 1.7 |1310M| 185 | 0 |1800 |1703 |1800 | 279 | 629k| 7 |3537 | 0.000000e+00 | 4.209250e+05 | Inf
1005.97/1019.16 c 982s| 1320k| 1319k| 2189k| 1.7 |1320M| 185 | 0 |1800 |1703 |1800 | 259 | 633k| 7 |3556 | 0.000000e+00 | 4.209250e+05 | Inf
1013.18/1026.33 c 989s| 1330k| 1329k| 2200k| 1.7 |1330M| 185 | 0 |1800 |1703 |1800 | 273 | 636k| 7 |3560 | 0.000000e+00 | 4.209250e+05 | Inf
1020.36/1033.57 c 996s| 1340k| 1339k| 2213k| 1.7 |1340M| 185 | 4 |1800 |1703 |1800 | 256 | 640k| 7 |3581 | 0.000000e+00 | 4.209250e+05 | Inf
1027.67/1040.83 c 1003s| 1350k| 1349k| 2226k| 1.6 |1350M| 185 | 9 |1800 |1703 |1800 | 266 | 643k| 7 |3583 | 0.000000e+00 | 4.209250e+05 | Inf
1035.08/1048.27 c 1010s| 1360k| 1359k| 2242k| 1.6 |1359M| 185 | 0 |1800 |1703 |1800 | 272 | 648k| 7 |3598 | 0.000000e+00 | 4.209250e+05 | Inf
1042.37/1055.59 c 1017s| 1370k| 1369k| 2254k| 1.6 |1369M| 185 | 0 |1800 |1703 |1800 | 274 | 651k| 7 |3612 | 0.000000e+00 | 4.209250e+05 | Inf
1049.57/1062.71 c 1024s| 1380k| 1379k| 2264k| 1.6 |1379M| 185 | 0 |1800 |1703 |1800 | 263 | 654k| 7 |3612 | 0.000000e+00 | 4.209250e+05 | Inf
1056.68/1069.87 c 1031s| 1390k| 1389k| 2273k| 1.6 |1389M| 185 | 0 |1800 |1703 |1800 | 256 | 657k| 7 |3625 | 0.000000e+00 | 4.209250e+05 | Inf
1063.87/1077.06 c 1038s| 1400k| 1399k| 2282k| 1.6 |1399M| 185 | 0 |1800 |1703 |1800 | 258 | 660k| 7 |3627 | 0.000000e+00 | 4.209250e+05 | Inf
1071.07/1084.23 c 1045s| 1410k| 1409k| 2292k| 1.6 |1409M| 185 | 0 |1800 |1702 |1800 | 268 | 663k| 7 |3639 | 0.000000e+00 | 4.209250e+05 | Inf
1078.17/1091.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1078.17/1091.32 c 1052s| 1420k| 1419k| 2301k| 1.6 |1419M| 185 | 0 |1800 |1702 |1800 | 278 | 666k| 7 |3643 | 0.000000e+00 | 4.209250e+05 | Inf
1085.47/1098.60 c 1059s| 1430k| 1429k| 2312k| 1.6 |1429M| 185 | 3 |1800 |1702 |1800 | 260 | 669k| 7 |3656 | 0.000000e+00 | 4.209250e+05 | Inf
1092.67/1105.88 c 1067s| 1440k| 1439k| 2326k| 1.6 |1439M| 185 | 0 |1800 |1702 |1800 | 254 | 674k| 7 |3661 | 0.000000e+00 | 4.209250e+05 | Inf
1099.98/1113.17 c 1074s| 1450k| 1449k| 2340k| 1.6 |1448M| 185 | 0 |1800 |1702 |1800 | 284 | 678k| 7 |3679 | 0.000000e+00 | 4.209250e+05 | Inf
1107.37/1120.50 c 1081s| 1460k| 1459k| 2355k| 1.6 |1458M| 185 | 0 |1800 |1702 |1800 | 289 | 682k| 7 |3692 | 0.000000e+00 | 4.209250e+05 | Inf
1114.57/1127.75 c 1088s| 1470k| 1469k| 2366k| 1.6 |1468M| 185 | 7 |1800 |1702 |1800 | 262 | 685k| 7 |3692 | 0.000000e+00 | 4.209250e+05 | Inf
1121.67/1134.87 c 1095s| 1480k| 1479k| 2375k| 1.6 |1478M| 185 | 0 |1800 |1702 |1800 | 270 | 688k| 7 |3703 | 0.000000e+00 | 4.209250e+05 | Inf
1128.78/1141.92 c 1102s| 1490k| 1489k| 2383k| 1.6 |1488M| 185 | 0 |1800 |1702 |1800 | 256 | 690k| 7 |3707 | 0.000000e+00 | 4.209250e+05 | Inf
1135.97/1149.10 c 1109s| 1500k| 1499k| 2393k| 1.6 |1498M| 185 | 0 |1800 |1702 |1800 | 265 | 693k| 7 |3714 | 0.000000e+00 | 4.209250e+05 | Inf
1143.17/1156.37 c 1116s| 1510k| 1509k| 2406k| 1.6 |1508M| 185 | 0 |1800 |1702 |1800 | 262 | 697k| 7 |3731 | 0.000000e+00 | 4.209250e+05 | Inf
1150.17/1163.34 c 1123s| 1520k| 1519k| 2411k| 1.6 |1518M| 185 | 0 |1800 |1702 |1800 | 273 | 698k| 7 |3731 | 0.000000e+00 | 4.209250e+05 | Inf
1157.18/1170.37 c 1130s| 1530k| 1529k| 2417k| 1.6 |1528M| 185 | 6 |1800 |1702 |1800 | 268 | 700k| 7 |3733 | 0.000000e+00 | 4.209250e+05 | Inf
1164.37/1177.51 c 1137s| 1540k| 1539k| 2426k| 1.6 |1537M| 185 | 0 |1800 |1702 |1800 | 259 | 702k| 7 |3746 | 0.000000e+00 | 4.209250e+05 | Inf
1171.68/1184.82 c 1144s| 1550k| 1549k| 2440k| 1.6 |1547M| 185 | 0 |1800 |1702 |1800 | 267 | 706k| 7 |3759 | 0.000000e+00 | 4.209250e+05 | Inf
1178.87/1192.05 c 1151s| 1560k| 1559k| 2453k| 1.6 |1557M| 185 | 0 |1800 |1702 |1800 | 260 | 710k| 7 |3762 | 0.000000e+00 | 4.209250e+05 | Inf
1186.18/1199.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1186.18/1199.37 c 1158s| 1570k| 1569k| 2466k| 1.6 |1567M| 185 | 0 |1800 |1702 |1800 | 250 | 714k| 7 |3778 | 0.000000e+00 | 4.209250e+05 | Inf
1193.28/1206.41 c 1165s| 1580k| 1579k| 2475k| 1.6 |1577M| 185 | 0 |1800 |1702 |1800 | 261 | 716k| 7 |3778 | 0.000000e+00 | 4.209250e+05 | Inf
1200.58/1213.79 c 1172s| 1590k| 1589k| 2491k| 1.6 |1587M| 185 | 0 |1800 |1702 |1800 | 273 | 722k| 7 |3794 | 0.000000e+00 | 4.209250e+05 | Inf
1207.67/1220.82 c 1179s| 1600k| 1599k| 2501k| 1.6 |1597M| 185 | 0 |1800 |1702 |1800 | 249 | 724k| 7 |3800 | 0.000000e+00 | 4.209250e+05 | Inf
1214.98/1228.11 c 1186s| 1610k| 1609k| 2515k| 1.6 |1607M| 185 | 10 |1800 |1702 |1800 | 249 | 729k| 7 |3809 | 0.000000e+00 | 4.209250e+05 | Inf
1222.28/1235.40 c 1194s| 1620k| 1619k| 2528k| 1.6 |1617M| 185 | 12 |1800 |1702 |1800 | 237 | 733k| 7 |3827 | 0.000000e+00 | 4.209250e+05 | Inf
1229.48/1242.68 c 1201s| 1630k| 1629k| 2541k| 1.6 |1627M| 185 | 0 |1800 |1702 |1800 | 263 | 736k| 7 |3827 | 0.000000e+00 | 4.209250e+05 | Inf
1236.78/1249.90 c 1208s| 1640k| 1639k| 2551k| 1.6 |1636M| 185 | 0 |1800 |1702 |1800 | 264 | 739k| 7 |3842 | 0.000000e+00 | 4.209250e+05 | Inf
1243.87/1257.00 c 1215s| 1650k| 1649k| 2560k| 1.6 |1646M| 185 | 0 |1800 |1702 |1800 | 273 | 742k| 7 |3843 | 0.000000e+00 | 4.209250e+05 | Inf
1251.27/1264.40 c 1222s| 1660k| 1659k| 2577k| 1.6 |1656M| 185 | 0 |1800 |1702 |1800 | 270 | 746k| 7 |3858 | 0.000000e+00 | 4.209250e+05 | Inf
1258.48/1271.60 c 1229s| 1670k| 1669k| 2589k| 1.6 |1666M| 185 | 0 |1800 |1702 |1800 | 268 | 750k| 7 |3873 | 0.000000e+00 | 4.209250e+05 | Inf
1265.58/1278.75 c 1236s| 1680k| 1679k| 2601k| 1.5 |1676M| 185 | 0 |1800 |1702 |1800 | 259 | 753k| 7 |3880 | 0.000000e+00 | 4.209250e+05 | Inf
1272.87/1286.03 c 1243s| 1690k| 1689k| 2614k| 1.5 |1686M| 185 | 0 |1800 |1702 |1800 | 259 | 757k| 7 |3896 | 0.000000e+00 | 4.209250e+05 | Inf
1280.18/1293.35 c 1250s| 1700k| 1699k| 2629k| 1.5 |1696M| 185 | 0 |1800 |1702 |1800 | 270 | 761k| 7 |3903 | 0.000000e+00 | 4.209250e+05 | Inf
1287.48/1300.64 c 1258s| 1710k| 1709k| 2642k| 1.5 |1706M| 185 | 0 |1800 |1702 |1800 | 271 | 765k| 7 |3914 | 0.000000e+00 | 4.209250e+05 | Inf
1294.78/1307.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1294.78/1307.94 c 1265s| 1720k| 1719k| 2657k| 1.5 |1716M| 185 | 10 |1800 |1702 |1800 | 282 | 769k| 7 |3932 | 0.000000e+00 | 4.209250e+05 | Inf
1302.07/1315.27 c 1272s| 1730k| 1729k| 2672k| 1.5 |1726M| 185 | 0 |1800 |1702 |1800 | 267 | 774k| 7 |3935 | 0.000000e+00 | 4.209250e+05 | Inf
1309.48/1322.68 c 1279s| 1740k| 1739k| 2687k| 1.5 |1735M| 185 | 0 |1800 |1702 |1800 | 264 | 778k| 7 |3949 | 0.000000e+00 | 4.209250e+05 | Inf
1316.68/1329.86 c 1286s| 1750k| 1749k| 2699k| 1.5 |1745M| 185 | 0 |1800 |1702 |1800 | 280 | 782k| 7 |3972 | 0.000000e+00 | 4.209250e+05 | Inf
1323.98/1337.16 c 1293s| 1760k| 1759k| 2713k| 1.5 |1755M| 185 | 0 |1800 |1702 |1800 | 257 | 786k| 7 |3972 | 0.000000e+00 | 4.209250e+05 | Inf
1331.57/1344.73 c 1301s| 1770k| 1769k| 2734k| 1.5 |1765M| 185 | 0 |1800 |1702 |1800 | 263 | 792k| 7 |3991 | 0.000000e+00 | 4.209250e+05 | Inf
1338.88/1352.03 c 1308s| 1780k| 1779k| 2747k| 1.5 |1775M| 185 | 0 |1800 |1702 |1800 | 271 | 796k| 7 |4011 | 0.000000e+00 | 4.209250e+05 | Inf
1346.08/1359.24 c 1315s| 1790k| 1789k| 2758k| 1.5 |1785M| 185 | 0 |1800 |1702 |1800 | 268 | 799k| 7 |4013 | 0.000000e+00 | 4.209250e+05 | Inf
1353.48/1366.60 c 1322s| 1800k| 1799k| 2773k| 1.5 |1795M| 185 | 0 |1800 |1702 |1800 | 288 | 803k| 7 |4030 | 0.000000e+00 | 4.209250e+05 | Inf
1360.68/1373.86 c 1329s| 1810k| 1809k| 2780k| 1.5 |1805M| 185 | 0 |1800 |1702 |1800 | 269 | 805k| 7 |4031 | 0.000000e+00 | 4.209250e+05 | Inf
1367.98/1381.20 c 1337s| 1820k| 1819k| 2796k| 1.5 |1815M| 185 | 0 |1800 |1702 |1800 | 253 | 810k| 7 |4045 | 0.000000e+00 | 4.209250e+05 | Inf
1375.28/1388.46 c 1344s| 1830k| 1829k| 2811k| 1.5 |1825M| 185 | 4 |1800 |1702 |1800 | 259 | 815k| 7 |4059 | 0.000000e+00 | 4.209250e+05 | Inf
1382.69/1395.86 c 1351s| 1840k| 1839k| 2829k| 1.5 |1834M| 185 | 0 |1800 |1702 |1800 | 262 | 820k| 7 |4067 | 0.000000e+00 | 4.209250e+05 | Inf
1389.98/1403.17 c 1358s| 1850k| 1849k| 2841k| 1.5 |1844M| 185 | 0 |1800 |1702 |1800 | 275 | 823k| 7 |4086 | 0.000000e+00 | 4.209250e+05 | Inf
1397.38/1410.52 c 1365s| 1860k| 1859k| 2857k| 1.5 |1854M| 185 | 0 |1800 |1702 |1800 | 276 | 829k| 7 |4096 | 0.000000e+00 | 4.209250e+05 | Inf
1404.68/1417.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1404.68/1417.81 c 1373s| 1870k| 1869k| 2873k| 1.5 |1864M| 185 | 0 |1800 |1702 |1800 | 263 | 834k| 7 |4104 | 0.000000e+00 | 4.209250e+05 | Inf
1411.88/1425.00 c 1380s| 1880k| 1879k| 2886k| 1.5 |1874M| 185 | 0 |1800 |1702 |1800 | 275 | 838k| 7 |4121 | 0.000000e+00 | 4.209250e+05 | Inf
1418.98/1432.16 c 1387s| 1890k| 1889k| 2898k| 1.5 |1884M| 185 | 0 |1800 |1702 |1800 | 268 | 841k| 7 |4130 | 0.000000e+00 | 4.209250e+05 | Inf
1426.18/1439.39 c 1394s| 1900k| 1899k| 2914k| 1.5 |1894M| 185 | 0 |1800 |1702 |1800 | 281 | 846k| 7 |4148 | 0.000000e+00 | 4.209250e+05 | Inf
1433.48/1446.69 c 1401s| 1910k| 1909k| 2928k| 1.5 |1904M| 185 | 0 |1800 |1702 |1800 | 268 | 850k| 7 |4148 | 0.000000e+00 | 4.209250e+05 | Inf
1440.88/1454.09 c 1408s| 1920k| 1919k| 2945k| 1.5 |1914M| 185 | 0 |1800 |1702 |1800 | 272 | 855k| 7 |4165 | 0.000000e+00 | 4.209250e+05 | Inf
1448.28/1461.42 c 1415s| 1930k| 1929k| 2959k| 1.5 |1923M| 185 | 0 |1800 |1702 |1800 | 260 | 859k| 7 |4181 | 0.000000e+00 | 4.209250e+05 | Inf
1455.48/1468.66 c 1422s| 1940k| 1939k| 2972k| 1.5 |1933M| 185 | 0 |1800 |1702 |1800 | 267 | 862k| 7 |4182 | 0.000000e+00 | 4.209250e+05 | Inf
1462.78/1475.98 c 1430s| 1950k| 1949k| 2986k| 1.5 |1943M| 185 | 0 |1800 |1702 |1800 | 251 | 866k| 7 |4200 | 0.000000e+00 | 4.209250e+05 | Inf
1470.28/1483.42 c 1437s| 1960k| 1959k| 3007k| 1.5 |1953M| 185 | 0 |1800 |1702 |1800 | 244 | 873k| 7 |4214 | 0.000000e+00 | 4.209250e+05 | Inf
1477.48/1490.64 c 1444s| 1970k| 1969k| 3019k| 1.5 |1963M| 185 | 0 |1800 |1702 |1800 | 282 | 876k| 7 |4218 | 0.000000e+00 | 4.209250e+05 | Inf
1484.68/1497.85 c 1451s| 1980k| 1979k| 3030k| 1.5 |1973M| 185 | 0 |1800 |1702 |1800 | 288 | 879k| 7 |4235 | 0.000000e+00 | 4.209250e+05 | Inf
1492.08/1505.21 c 1458s| 1990k| 1989k| 3046k| 1.5 |1983M| 185 | 27 |1800 |1702 |1800 | 216 | 883k| 7 |4244 | 0.000000e+00 | 4.209250e+05 | Inf
1499.29/1512.50 c 1466s| 2000k| 1999k| 3060k| 1.5 |1993M| 185 | 0 |1800 |1702 |1800 | 275 | 887k| 7 |4264 | 0.000000e+00 | 4.209250e+05 | Inf
1506.68/1519.80 c 1473s| 2010k| 2009k| 3070k| 1.5 |2003M| 185 | 0 |1800 |1702 |1800 | 278 | 890k| 7 |4265 | 0.000000e+00 | 4.209250e+05 | Inf
1513.78/1526.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1513.78/1526.98 c 1480s| 2020k| 2019k| 3083k| 1.5 |2013M| 185 | 0 |1800 |1702 |1800 | 260 | 894k| 7 |4276 | 0.000000e+00 | 4.209250e+05 | Inf
1521.18/1534.31 c 1487s| 2030k| 2029k| 3096k| 1.5 |2023M| 185 | 0 |1800 |1702 |1800 | 286 | 898k| 7 |4280 | 0.000000e+00 | 4.209250e+05 | Inf
1528.48/1541.69 c 1494s| 2040k| 2039k| 3112k| 1.5 |2032M| 185 | 0 |1800 |1702 |1800 | 296 | 902k| 7 |4297 | 0.000000e+00 | 4.209250e+05 | Inf
1535.78/1548.97 c 1501s| 2050k| 2049k| 3127k| 1.5 |2042M| 185 | 4 |1800 |1702 |1800 | 281 | 906k| 7 |4298 | 0.000000e+00 | 4.209250e+05 | Inf
1543.18/1556.37 c 1509s| 2060k| 2059k| 3142k| 1.5 |2052M| 185 | 50 |1800 |1702 |1800 | 233 | 911k| 7 |4313 | 0.000000e+00 | 4.209250e+05 | Inf
1550.58/1563.71 c 1516s| 2070k| 2069k| 3157k| 1.5 |2062M| 185 | 0 |1800 |1702 |1800 | 283 | 915k| 7 |4325 | 0.000000e+00 | 4.209250e+05 | Inf
1557.89/1571.08 c 1523s| 2080k| 2079k| 3171k| 1.5 |2072M| 185 | 0 |1800 |1702 |1800 | 288 | 920k| 7 |4327 | 0.000000e+00 | 4.209250e+05 | Inf
1565.18/1578.30 c 1530s| 2090k| 2089k| 3184k| 1.5 |2082M| 185 | 0 |1800 |1702 |1800 | 259 | 923k| 7 |4342 | 0.000000e+00 | 4.209250e+05 | Inf
1572.49/1585.62 c 1537s| 2100k| 2099k| 3198k| 1.5 |2092M| 185 | 0 |1800 |1702 |1800 | 270 | 927k| 7 |4349 | 0.000000e+00 | 4.209250e+05 | Inf
1579.88/1593.04 c 1544s| 2110k| 2109k| 3217k| 1.5 |2102M| 185 | 0 |1800 |1702 |1800 | 307 | 933k| 7 |4364 | 0.000000e+00 | 4.209250e+05 | Inf
1587.39/1600.52 c 1552s| 2120k| 2119k| 3238k| 1.5 |2112M| 185 | 10 |1800 |1701 |1800 | 264 | 940k| 7 |4384 | 0.000000e+00 | 4.209250e+05 | Inf
1594.48/1607.64 c 1559s| 2130k| 2129k| 3247k| 1.5 |2122M| 185 | 0 |1800 |1702 |1800 | 264 | 943k| 8 |4394 | 0.000000e+00 | 4.209250e+05 | Inf
1601.68/1614.88 c 1566s| 2140k| 2139k| 3259k| 1.5 |2132M| 185 | 0 |1800 |1702 |1800 | 252 | 946k| 8 |4404 | 0.000000e+00 | 4.209250e+05 | Inf
1608.98/1622.12 c 1573s| 2150k| 2149k| 3273k| 1.5 |2141M| 185 | 0 |1800 |1701 |1800 | 266 | 950k| 8 |4409 | 0.000000e+00 | 4.209250e+05 | Inf
1616.19/1629.35 c 1580s| 2160k| 2159k| 3283k| 1.5 |2151M| 185 | 0 |1800 |1701 |1800 | 270 | 953k| 8 |4421 | 0.000000e+00 | 4.209250e+05 | Inf
1623.38/1636.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1623.38/1636.52 c 1587s| 2170k| 2169k| 3293k| 1.5 |2161M| 185 | 0 |1800 |1701 |1800 | 265 | 956k| 8 |4421 | 0.000000e+00 | 4.209250e+05 | Inf
1630.59/1643.73 c 1594s| 2180k| 2179k| 3304k| 1.5 |2171M| 185 | 0 |1800 |1701 |1800 | 269 | 959k| 8 |4436 | 0.000000e+00 | 4.209250e+05 | Inf
1637.68/1650.86 c 1601s| 2190k| 2189k| 3314k| 1.5 |2181M| 185 | 0 |1800 |1701 |1800 | 251 | 962k| 8 |4437 | 0.000000e+00 | 4.209250e+05 | Inf
1644.88/1658.08 c 1608s| 2200k| 2199k| 3325k| 1.5 |2191M| 185 | 0 |1800 |1701 |1800 | 276 | 965k| 8 |4451 | 0.000000e+00 | 4.209250e+05 | Inf
1652.09/1665.24 c 1615s| 2210k| 2209k| 3332k| 1.5 |2201M| 185 | 0 |1800 |1701 |1800 | 256 | 967k| 8 |4453 | 0.000000e+00 | 4.209250e+05 | Inf
1659.18/1672.35 c 1622s| 2220k| 2219k| 3338k| 1.5 |2211M| 185 | 0 |1800 |1701 |1800 | 284 | 969k| 8 |4453 | 0.000000e+00 | 4.209250e+05 | Inf
1666.38/1679.59 c 1629s| 2230k| 2229k| 3348k| 1.5 |2221M| 185 | 0 |1800 |1701 |1800 | 259 | 972k| 8 |4466 | 0.000000e+00 | 4.209250e+05 | Inf
1673.58/1686.76 c 1636s| 2240k| 2239k| 3357k| 1.5 |2230M| 185 | 0 |1800 |1701 |1800 | 257 | 975k| 8 |4471 | 0.000000e+00 | 4.209250e+05 | Inf
1680.79/1693.99 c 1644s| 2250k| 2249k| 3367k| 1.5 |2240M| 185 | 3 |1800 |1701 |1800 | 251 | 978k| 8 |4478 | 0.000000e+00 | 4.209250e+05 | Inf
1688.09/1701.23 c 1651s| 2260k| 2259k| 3379k| 1.5 |2250M| 185 | 0 |1800 |1701 |1800 | 275 | 981k| 8 |4488 | 0.000000e+00 | 4.209250e+05 | Inf
1695.29/1708.45 c 1658s| 2270k| 2269k| 3389k| 1.5 |2260M| 185 | 0 |1800 |1701 |1800 | 256 | 984k| 8 |4489 | 0.000000e+00 | 4.209250e+05 | Inf
1702.49/1715.68 c 1665s| 2280k| 2279k| 3402k| 1.5 |2270M| 185 | 0 |1800 |1701 |1800 | 258 | 988k| 8 |4507 | 0.000000e+00 | 4.209250e+05 | Inf
1709.68/1722.83 c 1672s| 2290k| 2289k| 3412k| 1.5 |2280M| 185 | 3 |1800 |1701 |1800 | 222 | 991k| 8 |4507 | 0.000000e+00 | 4.209250e+05 | Inf
1717.09/1730.22 c 1679s| 2300k| 2299k| 3427k| 1.5 |2290M| 185 | 0 |1800 |1701 |1800 | 267 | 996k| 8 |4521 | 0.000000e+00 | 4.209250e+05 | Inf
1724.39/1737.50 c 1686s| 2310k| 2309k| 3440k| 1.5 |2300M| 185 | 7 |1800 |1701 |1800 | 207 | 999k| 8 |4533 | 0.000000e+00 | 4.209250e+05 | Inf
1731.39/1744.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1731.39/1744.55 c 1693s| 2320k| 2319k| 3450k| 1.5 |2309M| 185 | 0 |1800 |1701 |1800 | 262 |1001k| 8 |4536 | 0.000000e+00 | 4.209250e+05 | Inf
1738.68/1751.85 c 1700s| 2330k| 2329k| 3463k| 1.5 |2319M| 185 | 0 |1800 |1701 |1800 | 280 |1005k| 8 |4537 | 0.000000e+00 | 4.209250e+05 | Inf
1745.88/1759.06 c 1707s| 2340k| 2339k| 3472k| 1.5 |2329M| 185 | 0 |1800 |1701 |1800 | 267 |1008k| 8 |4551 | 0.000000e+00 | 4.209250e+05 | Inf
1753.09/1766.26 c 1714s| 2350k| 2349k| 3484k| 1.5 |2339M| 185 | 0 |1800 |1701 |1800 | 248 |1012k| 8 |4551 | 0.000000e+00 | 4.209250e+05 | Inf
1760.38/1773.51 c 1722s| 2360k| 2359k| 3495k| 1.5 |2349M| 185 | 0 |1800 |1701 |1800 | 275 |1016k| 8 |4569 | 0.000000e+00 | 4.209250e+05 | Inf
1767.49/1780.69 c 1729s| 2370k| 2369k| 3505k| 1.5 |2359M| 185 | 0 |1800 |1701 |1800 | 272 |1018k| 8 |4569 | 0.000000e+00 | 4.209250e+05 | Inf
1774.69/1787.85 c 1736s| 2380k| 2379k| 3512k| 1.5 |2369M| 185 | 0 |1800 |1701 |1800 | 308 |1020k| 8 |4582 | 0.000000e+00 | 4.209250e+05 | Inf
1781.88/1795.06 c 1743s| 2390k| 2389k| 3524k| 1.5 |2379M| 185 | 0 |1800 |1701 |1800 | 271 |1024k| 8 |4590 | 0.000000e+00 | 4.209250e+05 | Inf
1788.89/1802.06 c 1750s| 2400k| 2399k| 3531k| 1.5 |2388M| 185 | 0 |1800 |1701 |1800 | 286 |1026k| 8 |4590 | 0.000000e+00 | 4.209250e+05 | Inf
1796.08/1809.22 c 1757s| 2410k| 2409k| 3539k| 1.5 |2398M| 185 | 0 |1800 |1701 |1800 | 279 |1029k| 8 |4601 | 0.000000e+00 | 4.209250e+05 | Inf
1800.09/1813.20 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.09/1813.20 c
1800.09/1813.20 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1813.20 c Solving Time (sec) : 1760.55
1800.09/1813.20 c Solving Nodes : 2415473
1800.09/1813.20 c Primal Bound : +4.20925000000000e+05 (100 solutions)
1800.09/1813.20 c Dual Bound : +0.00000000000000e+00
1800.09/1813.20 c Gap : infinite
1800.09/1813.21 s SATISFIABLE
1800.09/1813.21 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.09/1813.21 v x176 -x175 x174 -x173 x172 -x171 x170 -x169 x168 -x167 x166 -x165 x164 -x163 x162 -x161 x160 -x159 x158 -x157 x156 -x155
1800.09/1813.21 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.09/1813.21 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.09/1813.21 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.09/1813.21 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.09/1813.21 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.09/1813.21 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.09/1813.21 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1813.21 c Solving Time : 1760.55
1800.09/1813.21 c Original Problem :
1800.09/1813.21 c Problem name : HOME/instance-2700020-1278533893.wbo
1800.09/1813.21 c Variables : 1900 (1050 binary, 0 integer, 0 implicit integer, 850 continuous)
1800.09/1813.21 c Constraints : 1801 initial, 1801 maximal
1800.09/1813.21 c Presolved Problem :
1800.09/1813.21 c Problem name : t_HOME/instance-2700020-1278533893.wbo
1800.09/1813.21 c Variables : 1800 (950 binary, 0 integer, 0 implicit integer, 850 continuous)
1800.09/1813.21 c Constraints : 1700 initial, 1706 maximal
1800.09/1813.21 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.09/1813.21 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.09/1813.21 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.09/1813.21 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.09/1813.21 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.09/1813.21 c implics : 0.00 0 0 0 0 0 0 0 0
1800.09/1813.21 c probing : 0.01 0 0 0 0 0 0 0 0
1800.09/1813.21 c indicator : 0.01 0 0 0 0 0 0 0 0
1800.09/1813.21 c linear : 0.02 0 100 0 850 0 101 0 0
1800.09/1813.21 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.09/1813.21 c root node : - 0 - - 0 - - - -
1800.09/1813.21 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.09/1813.21 c integral : 0 0 0 2660822 0 0 0 0 0 709558
1800.09/1813.21 c indicator : 850 0 3364022 2306043 0 0 2500553 0 0 0
1800.09/1813.21 c linear : 850 6 3364022 2306043 0 5 957904 1031306 0 0
1800.09/1813.21 c logicor : 0+ 0 56528 0 0 0 3502 0 0 0
1800.09/1813.21 c countsols : 0 0 0 2060689 0 0 0 0 0 0
1800.09/1813.21 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.09/1813.21 c integral : 8.13 0.00 0.00 8.13 0.00
1800.09/1813.21 c indicator : 162.66 0.12 35.23 127.31 0.00
1800.09/1813.21 c linear : 32.50 0.00 13.37 19.13 0.00
1800.09/1813.21 c logicor : 0.08 0.00 0.08 0.00 0.00
1800.09/1813.21 c countsols : 0.51 0.00 0.00 0.51 0.00
1800.09/1813.21 c Propagators : Time Calls Cutoffs DomReds
1800.09/1813.21 c vbounds : 0.87 2 0 0
1800.09/1813.21 c rootredcost : 0.79 0 0 0
1800.09/1813.21 c pseudoobj : 54.29 3363822 0 0
1800.09/1813.21 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.09/1813.21 c propagation : 0.00 5 5 5 6.6 3 4.0 -
1800.09/1813.21 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1813.21 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1813.21 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1813.21 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.09/1813.21 c applied globally : - - - 8 5.6 - - -
1800.09/1813.21 c applied locally : - - - 0 0.0 - - -
1800.09/1813.21 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.09/1813.21 c cut pool : 0.00 3 - - 0 - (maximal pool size: 50)
1800.09/1813.21 c redcost : 92.54 2660508 0 0 0 0
1800.09/1813.21 c impliedbounds : 0.00 4 0 0 0 0
1800.09/1813.21 c intobj : 0.00 0 0 0 0 0
1800.09/1813.21 c cgmip : 0.00 0 0 0 0 0
1800.09/1813.21 c gomory : 0.01 4 0 0 51 0
1800.09/1813.21 c strongcg : 0.01 4 0 0 0 0
1800.09/1813.21 c cmir : 0.01 4 0 0 0 0
1800.09/1813.21 c flowcover : 0.02 4 0 0 0 0
1800.09/1813.21 c clique : 0.00 1 0 0 0 0
1800.09/1813.21 c zerohalf : 0.00 0 0 0 0 0
1800.09/1813.21 c mcf : 0.00 1 0 0 0 0
1800.09/1813.21 c rapidlearning : 0.00 0 0 0 0 0
1800.09/1813.21 c Pricers : Time Calls Vars
1800.09/1813.21 c problem variables: 0.00 0 0
1800.09/1813.21 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.09/1813.21 c relpscost : 7.10 354779 0 0 0 0 709558
1800.09/1813.21 c pscost : 0.00 0 0 0 0 0 0
1800.09/1813.21 c inference : 147.14 2060689 0 0 0 0 4121378
1800.09/1813.21 c mostinf : 0.00 0 0 0 0 0 0
1800.09/1813.21 c leastinf : 0.00 0 0 0 0 0 0
1800.09/1813.21 c fullstrong : 0.00 0 0 0 0 0 0
1800.09/1813.21 c allfullstrong : 0.00 0 0 0 0 0 0
1800.09/1813.21 c random : 0.00 0 0 0 0 0 0
1800.09/1813.21 c Primal Heuristics : Time Calls Found
1800.09/1813.21 c LP solutions : 0.00 - 0
1800.09/1813.21 c pseudo solutions : 0.00 - 0
1800.09/1813.21 c feaspump : 0.02 0 0
1800.09/1813.21 c oneopt : 1.66 1 0
1800.09/1813.21 c intshifting : 0.06 16 0
1800.09/1813.21 c crossover : 0.87 13 0
1800.09/1813.21 c coefdiving : 14.24 25988 0
1800.09/1813.21 c fracdiving : 13.55 25988 0
1800.09/1813.21 c veclendiving : 13.93 25988 0
1800.09/1813.21 c linesearchdiving : 13.14 25988 0
1800.09/1813.21 c guideddiving : 14.02 25988 0
1800.09/1813.21 c pscostdiving : 13.38 25989 0
1800.09/1813.21 c objpscostdiving : 15.09 25967 0
1800.09/1813.21 c rootsoldiving : 14.37 25967 0
1800.09/1813.21 c trivial : 0.00 2 1
1800.09/1813.21 c simplerounding : 1.09 354756 0
1800.09/1813.21 c zirounding : 0.67 1000 0
1800.09/1813.21 c rounding : 1.00 8333 0
1800.09/1813.21 c shifting : 1.89 2618 0
1800.09/1813.21 c twoopt : 0.00 0 0
1800.09/1813.21 c fixandinfer : 0.00 0 0
1800.09/1813.21 c intdiving : 0.00 0 0
1800.09/1813.21 c actconsdiving : 0.00 0 0
1800.09/1813.21 c octane : 0.00 0 0
1800.09/1813.21 c rens : 0.01 1 0
1800.09/1813.21 c rins : 0.00 0 0
1800.09/1813.21 c localbranching : 0.00 0 0
1800.09/1813.21 c mutation : 0.00 0 0
1800.09/1813.21 c dins : 0.00 0 0
1800.09/1813.21 c undercover : 0.00 0 0
1800.09/1813.21 c nlp : 0.63 0 0
1800.09/1813.21 c trysol : 1.19 29223 99
1800.09/1813.21 c LP : Time Calls Iterations Iter/call Iter/sec
1800.09/1813.21 c primal LP : 0.00 0 0 0.00 -
1800.09/1813.21 c dual LP : 685.01 759428 3545453 4.67 5175.77
1800.09/1813.21 c lex dual LP : 0.00 0 0 0.00 -
1800.09/1813.21 c barrier LP : 0.00 0 0 0.00 -
1800.09/1813.21 c diving/probing LP: 0.18 421 1504 3.57 8355.56
1800.09/1813.21 c strong branching : 4.83 4605 63173 13.72 13079.30
1800.09/1813.21 c (at root node) : - 33 1551 47.00 -
1800.09/1813.21 c conflict analysis: 0.00 0 0 0.00 -
1800.09/1813.21 c B&B Tree :
1800.09/1813.21 c number of runs : 1
1800.09/1813.21 c nodes : 2415473
1800.09/1813.21 c nodes (total) : 2415473
1800.09/1813.21 c nodes left : 2415464
1800.09/1813.21 c max depth : 185
1800.09/1813.21 c max depth (total): 185
1800.09/1813.21 c backtracks : 26121 (1.1%)
1800.09/1813.21 c delayed cutoffs : 0
1800.09/1813.21 c repropagations : 10 (9 domain reductions, 0 cutoffs)
1800.09/1813.21 c avg switch length: 2.31
1800.09/1813.21 c switching time : 70.85
1800.09/1813.21 c Solution :
1800.09/1813.21 c Solutions found : 100 (1 improvements)
1800.09/1813.22 c First Solution : +4.20925000000000e+05 (in run 1, after 1 nodes, 0.04 seconds, depth 0, found by <trivial>)
1800.09/1813.22 c Primal Bound : +4.20925000000000e+05 (in run 1, after 1 nodes, 0.04 seconds, depth 0, found by <trivial>)
1800.09/1813.22 c Dual Bound : +0.00000000000000e+00
1800.09/1813.22 c Gap : infinite
1800.09/1813.22 c Root Dual Bound : +0.00000000000000e+00
1800.09/1813.22 c Root Iterations : 229
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700020-1278533893/watcher-2700020-1278533893 -o /tmp/evaluation-result-2700020-1278533893/solver-2700020-1278533893 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2700020-1278533893.wbo -t 1800 -m 3800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.65 0.58 0.20 4/179 18738
/proc/meminfo: memFree=28575544/32951124 swapFree=67111528/67111528
[pid=18738] ppid=18736 vsize=8992 CPUtime=0
/proc/18738/stat : 18738 (pbscip.linux.x8) R 18736 18738 18350 0 -1 4202496 1539 0 0 0 0 0 0 0 23 0 1 0 21602448 9207808 1458 4089446400 4194304 8223781 140736507986112 18446744073709551615 7235159 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/18738/statm: 2248 1460 363 984 0 1261 0
[startup+0.0680741 s]
/proc/loadavg: 1.65 0.58 0.20 4/179 18738
/proc/meminfo: memFree=28575544/32951124 swapFree=67111528/67111528
[pid=18738] ppid=18736 vsize=21696 CPUtime=0.05
/proc/18738/stat : 18738 (pbscip.linux.x8) R 18736 18738 18350 0 -1 4202496 5659 0 0 0 5 0 0 0 23 0 1 0 21602448 22216704 4441 4089446400 4194304 8223781 140736507986112 18446744073709551615 4561370 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18738/statm: 5424 4441 479 984 0 4437 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 21696
[startup+0.101068 s]
/proc/loadavg: 1.65 0.58 0.20 4/179 18738
/proc/meminfo: memFree=28575544/32951124 swapFree=67111528/67111528
[pid=18738] ppid=18736 vsize=23856 CPUtime=0.09
/proc/18738/stat : 18738 (pbscip.linux.x8) R 18736 18738 18350 0 -1 4202496 6261 0 0 0 8 1 0 0 24 0 1 0 21602448 24428544 5035 4089446400 4194304 8223781 140736507986112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18738/statm: 5964 5035 564 984 0 4977 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23856
[startup+0.301032 s]
/proc/loadavg: 1.65 0.58 0.20 4/179 18738
/proc/meminfo: memFree=28575544/32951124 swapFree=67111528/67111528
[pid=18738] ppid=18736 vsize=24352 CPUtime=0.29
/proc/18738/stat : 18738 (pbscip.linux.x8) R 18736 18738 18350 0 -1 4202496 9482 0 0 0 27 2 0 0 25 0 1 0 21602448 24936448 5188 4089446400 4194304 8223781 140736507986112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18738/statm: 6088 5188 578 984 0 5101 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24352
[startup+0.700996 s]
/proc/loadavg: 1.65 0.58 0.20 4/179 18738
/proc/meminfo: memFree=28575544/32951124 swapFree=67111528/67111528
[pid=18738] ppid=18736 vsize=24352 CPUtime=0.68
/proc/18738/stat : 18738 (pbscip.linux.x8) R 18736 18738 18350 0 -1 4202496 9483 0 0 0 66 2 0 0 25 0 1 0 21602448 24936448 5189 4089446400 4194304 8223781 140736507986112 18446744073709551615 6436202 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18738/statm: 6088 5189 579 984 0 5101 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 24352
[startup+1.50085 s]
/proc/loadavg: 1.65 0.58 0.20 3/180 18739
/proc/meminfo: memFree=28555820/32951124 swapFree=67111528/67111528
[pid=18738] ppid=18736 vsize=24352 CPUtime=1.48
/proc/18738/stat : 18738 (pbscip.linux.x8) R 18736 18738 18350 0 -1 4202496 9491 0 0 0 145 3 0 0 25 0 1 0 21602448 24936448 5197 4089446400 4194304 8223781 140736507986112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18738/statm: 6088 5197 579 984 0 5101 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 24352
[startup+3.10046 s]
/proc/loadavg: 1.68 0.60 0.21 3/180 18739
/proc/meminfo: memFree=28555696/32951124 swapFree=67111528/67111528
[pid=18738] ppid=18736 vsize=27552 CPUtime=3.09
/proc/18738/stat : 18738 (pbscip.linux.x8) R 18736 18738 18350 0 -1 4202496 13319 0 0 0 302 7 0 0 25 0 1 0 21602448 28213248 5907 4089446400 4194304 8223781 140736507986112 18446744073709551615 4966191 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18738/statm: 6888 5907 584 984 0 5901 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27552
[startup+6.30094 s]
/proc/loadavg: 1.68 0.60 0.21 3/180 18753
/proc/meminfo: memFree=28409632/32951124 swapFree=67111528/67111528
[pid=18738] ppid=18736 vsize=30512 CPUtime=5.66
/proc/18738/stat : 18738 (pbscip.linux.x8) R 18736 18738 18350 0 -1 4202496 20306 0 0 0 549 17 0 0 25 0 1 0 21602448 31244288 6664 4089446400 4194304 8223781 140736507986112 18446744073709551615 6003313 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18738/statm: 7628 6664 584 984 0 6641 0
Current children cumulated CPU time (s) 5.66
Current children cumulated vsize (KiB) 30512
[startup+12.7008 s]
/proc/loadavg: 1.73 0.65 0.23 3/180 18753
/proc/meminfo: memFree=28404944/32951124 swapFree=67111528/67111528
[pid=18738] ppid=18736 vsize=38940 CPUtime=12.06
/proc/18738/stat : 18738 (pbscip.linux.x8) R 18736 18738 18350 0 -1 4202496 28648 0 0 0 1175 31 0 0 25 0 1 0 21602448 39874560 8783 4089446400 4194304 8223781 140736507986112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18738/statm: 9735 8783 584 984 0 8748 0
Current children cumulated CPU time (s) 12.06
Current children cumulated vsize (KiB) 38940
[startup+25.5005 s]
/proc/loadavg: 1.77 0.69 0.25 3/180 18753
/proc/meminfo: memFree=28442128/32951124 swapFree=67111528/67111528
[pid=18738] ppid=18736 vsize=52568 CPUtime=24.87
/proc/18738/stat : 18738 (pbscip.linux.x8) R 18736 18738 18350 0 -1 4202496 35236 0 0 0 2432 55 0 0 25 0 1 0 21602448 53829632 12258 4089446400 4194304 8223781 140736507986112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18738/statm: 13142 12258 584 984 0 12155 0
Current children cumulated CPU time (s) 24.87
Current children cumulated vsize (KiB) 52568
[startup+51.1007 s]
/proc/loadavg: 2.49 0.93 0.34 10/187 18778
/proc/meminfo: memFree=28259812/32951124 swapFree=67111528/67111528
[pid=18738] ppid=18736 vsize=82764 CPUtime=50.46
/proc/18738/stat : 18738 (pbscip.linux.x8) R 18736 18738 18350 0 -1 4202496 49129 0 0 0 4900 146 0 0 25 0 1 0 21602448 84750336 19925 4089446400 4194304 8223781 140736507986112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18738/statm: 20691 19925 584 984 0 19704 0
Current children cumulated CPU time (s) 50.46
Current children cumulated vsize (KiB) 82764
[startup+102.306 s]
/proc/loadavg: 4.15 1.72 0.64 3/187 18779
/proc/meminfo: memFree=28101740/32951124 swapFree=67111528/67111528
[pid=18738] ppid=18736 vsize=135364 CPUtime=98.79
/proc/18738/stat : 18738 (pbscip.linux.x8) R 18736 18738 18350 0 -1 4202496 61946 0 0 0 9554 325 0 0 25 0 1 0 21602448 138612736 32734 4089446400 4194304 8223781 140736507986112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18738/statm: 33841 32734 584 984 0 32854 0
Current children cumulated CPU time (s) 98.79
Current children cumulated vsize (KiB) 135364
[startup+162.3 s]
/proc/loadavg: 5.03 2.29 0.90 7/187 18781
/proc/meminfo: memFree=28056204/32951124 swapFree=67111528/67111528
[pid=18738] ppid=18736 vsize=204672 CPUtime=157.28
/proc/18738/stat : 18738 (pbscip.linux.x8) R 18736 18738 18350 0 -1 4202496 82680 0 0 0 15280 448 0 0 25 0 1 0 21602448 209584128 50351 4089446400 4194304 8223781 140736507986112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18738/statm: 51168 50351 584 984 0 50181 0
Current children cumulated CPU time (s) 157.28
Current children cumulated vsize (KiB) 204672
[startup+222.3 s]
/proc/loadavg: 4.79 2.83 1.18 3/179 18968
/proc/meminfo: memFree=28381024/32951124 swapFree=67111528/67111528
[pid=18738] ppid=18736 vsize=263476 CPUtime=209.15
/proc/18738/stat : 18738 (pbscip.linux.x8) R 18736 18738 18350 0 -1 4202496 99670 0 0 0 20239 676 0 0 25 0 1 0 21602448 269799424 64228 4089446400 4194304 8223781 140736507986112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/18738/statm: 65869 64228 584 984 0 64882 0
Current children cumulated CPU time (s) 209.15
Current children cumulated vsize (KiB) 263476
[startup+282.301 s]
/proc/loadavg: 3.02 2.68 1.22 3/179 19092
/proc/meminfo: memFree=28304956/32951124 swapFree=67111528/67111528
[pid=18738] ppid=18736 vsize=340636 CPUtime=269.15
/proc/18738/stat : 18738 (pbscip.linux.x8) R 18736 18738 18350 0 -1 4202496 119280 0 0 0 25864 1051 0 0 25 0 1 0 21602448 348811264 83838 4089446400 4194304 8223781 140736507986112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18738/statm: 85159 83838 588 984 0 84172 0
Current children cumulated CPU time (s) 269.15
Current children cumulated vsize (KiB) 340636
[startup+342.301 s]
/proc/loadavg: 2.29 2.54 1.27 5/196 19136
/proc/meminfo: memFree=28207988/32951124 swapFree=67111528/67111528
[pid=18738] ppid=18736 vsize=421776 CPUtime=329.15
/proc/18738/stat : 18738 (pbscip.linux.x8) R 18736 18738 18350 0 -1 4202496 139902 0 0 0 31752 1163 0 0 25 0 1 0 21602448 431898624 104460 4089446400 4194304 8223781 140736507986112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18738/statm: 105444 104460 588 984 0 104457 0
Current children cumulated CPU time (s) 329.15
Current children cumulated vsize (KiB) 421776
[startup+402.301 s]
/proc/loadavg: 2.11 2.43 1.31 3/179 19170
/proc/meminfo: memFree=28143424/32951124 swapFree=67111528/67111528
[pid=18738] ppid=18736 vsize=507392 CPUtime=389.16
/proc/18738/stat : 18738 (pbscip.linux.x8) R 18736 18738 18350 0 -1 4202496 162674 0 0 0 37642 1274 0 0 25 0 1 0 21602448 519569408 124122 4089446400 4194304 8223781 140736507986112 18446744073709551615 6446826 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18738/statm: 126848 124122 588 984 0 125861 0
Current children cumulated CPU time (s) 389.16
Current children cumulated vsize (KiB) 507392
[startup+462.301 s]
/proc/loadavg: 2.04 2.35 1.35 3/179 19172
/proc/meminfo: memFree=28058280/32951124 swapFree=67111528/67111528
[pid=18738] ppid=18736 vsize=589624 CPUtime=449.16
/proc/18738/stat : 18738 (pbscip.linux.x8) R 18736 18738 18350 0 -1 4202496 183544 0 0 0 43526 1390 0 0 25 0 1 0 21602448 603774976 144992 4089446400 4194304 8223781 140736507986112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18738/statm: 147406 144992 588 984 0 146419 0
Current children cumulated CPU time (s) 449.16
Current children cumulated vsize (KiB) 589624
[startup+522.301 s]
/proc/loadavg: 2.01 2.29 1.39 3/179 19174
/proc/meminfo: memFree=27977620/32951124 swapFree=67111528/67111528
[pid=18738] ppid=18736 vsize=668932 CPUtime=509.16
/proc/18738/stat : 18738 (pbscip.linux.x8) R 18736 18738 18350 0 -1 4202496 203692 0 0 0 49411 1505 0 0 25 0 1 0 21602448 684986368 165140 4089446400 4194304 8223781 140736507986112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18738/statm: 167233 165140 588 984 0 166246 0
Current children cumulated CPU time (s) 509.16
Current children cumulated vsize (KiB) 668932
[startup+582.301 s]
/proc/loadavg: 2.00 2.23 1.42 3/179 19176
/proc/meminfo: memFree=27893860/32951124 swapFree=67111528/67111528
[pid=18738] ppid=18736 vsize=751504 CPUtime=569.16
/proc/18738/stat : 18738 (pbscip.linux.x8) R 18736 18738 18350 0 -1 4202496 224663 0 0 0 55297 1619 0 0 25 0 1 0 21602448 769540096 186111 4089446400 4194304 8223781 140736507986112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18738/statm: 187876 186111 588 984 0 186889 0
Current children cumulated CPU time (s) 569.16
Current children cumulated vsize (KiB) 751504
[startup+642.301 s]
/proc/loadavg: 2.00 2.19 1.46 3/176 19179
/proc/meminfo: memFree=27820892/32951124 swapFree=67111528/67111528
[pid=18738] ppid=18736 vsize=831744 CPUtime=629.17
/proc/18738/stat : 18738 (pbscip.linux.x8) R 18736 18738 18350 0 -1 4202496 245041 0 0 0 61189 1728 0 0 25 0 1 0 21602448 851705856 206488 4089446400 4194304 8223781 140736507986112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18738/statm: 207936 206488 588 984 0 206949 0
Current children cumulated CPU time (s) 629.17
Current children cumulated vsize (KiB) 831744
[startup+702.301 s]
################
# More data... #
################
/proc/18738/stat : 18738 (pbscip.linux.x8) R 18736 18738 18350 0 -1 4202496 370580 0 0 0 96502 2415 0 0 25 0 1 0 21602448 1361952768 328914 4089446400 4194304 8223781 140736507986112 18446744073709551615 6456376 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18738/statm: 332508 328914 588 984 0 331521 0
Current children cumulated CPU time (s) 989.17
Current children cumulated vsize (KiB) 1330032
[startup+1062.3 s]
/proc/loadavg: 2.00 2.05 1.65 3/179 19497
/proc/meminfo: memFree=26856992/32951124 swapFree=67111528/67111528
[pid=18738] ppid=18736 vsize=1409620 CPUtime=1049.17
/proc/18738/stat : 18738 (pbscip.linux.x8) R 18736 18738 18350 0 -1 4202496 390783 0 0 0 102383 2534 0 0 25 0 1 0 21602448 1443450880 349117 4089446400 4194304 8223781 140736507986112 18446744073709551615 6456376 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18738/statm: 352405 349117 588 984 0 351418 0
Current children cumulated CPU time (s) 1049.17
Current children cumulated vsize (KiB) 1409620
[startup+1122.3 s]
/proc/loadavg: 2.00 2.04 1.66 3/179 19499
/proc/meminfo: memFree=26743600/32951124 swapFree=67111528/67111528
[pid=18738] ppid=18736 vsize=1491344 CPUtime=1109.17
/proc/18738/stat : 18738 (pbscip.linux.x8) R 18736 18738 18350 0 -1 4202496 411538 0 0 0 108269 2648 0 0 25 0 1 0 21602448 1527136256 369872 4089446400 4194304 8223781 140736507986112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18738/statm: 372836 369872 588 984 0 371849 0
Current children cumulated CPU time (s) 1109.17
Current children cumulated vsize (KiB) 1491344
[startup+1182.3 s]
/proc/loadavg: 2.07 2.04 1.69 3/179 19604
/proc/meminfo: memFree=27061956/32951124 swapFree=67111528/67111528
[pid=18738] ppid=18736 vsize=1573412 CPUtime=1169.17
/proc/18738/stat : 18738 (pbscip.linux.x8) R 18736 18738 18350 0 -1 4202496 432388 0 0 0 114151 2766 0 0 25 0 1 0 21602448 1611173888 390722 4089446400 4194304 8223781 140736507986112 18446744073709551615 7253521 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18738/statm: 393353 390722 588 984 0 392366 0
Current children cumulated CPU time (s) 1169.17
Current children cumulated vsize (KiB) 1573412
[startup+1242.3 s]
/proc/loadavg: 2.02 2.03 1.70 3/179 19604
/proc/meminfo: memFree=26978660/32951124 swapFree=67111528/67111528
[pid=18738] ppid=18736 vsize=1653896 CPUtime=1229.17
/proc/18738/stat : 18738 (pbscip.linux.x8) R 18736 18738 18350 0 -1 4202496 452832 0 0 0 120039 2878 0 0 25 0 1 0 21602448 1693589504 411166 4089446400 4194304 8223781 140736507986112 18446744073709551615 6446984 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18738/statm: 413474 411166 588 984 0 412487 0
Current children cumulated CPU time (s) 1229.17
Current children cumulated vsize (KiB) 1653896
[startup+1302.3 s]
/proc/loadavg: 2.01 2.02 1.72 3/179 19633
/proc/meminfo: memFree=26820604/32951124 swapFree=67111528/67111528
[pid=18738] ppid=18736 vsize=1732916 CPUtime=1289.18
/proc/18738/stat : 18738 (pbscip.linux.x8) R 18736 18738 18350 0 -1 4202496 476007 0 0 0 125926 2992 0 0 25 0 1 0 21602448 1774505984 431247 4089446400 4194304 8223781 140736507986112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18738/statm: 433229 431247 588 984 0 432242 0
Current children cumulated CPU time (s) 1289.18
Current children cumulated vsize (KiB) 1732916
[startup+1362.3 s]
/proc/loadavg: 2.04 2.03 1.74 3/179 19635
/proc/meminfo: memFree=26646080/32951124 swapFree=67111528/67111528
[pid=18738] ppid=18736 vsize=1813220 CPUtime=1349.18
/proc/18738/stat : 18738 (pbscip.linux.x8) R 18736 18738 18350 0 -1 4202496 496413 0 0 0 131810 3108 0 0 25 0 1 0 21602448 1856737280 451653 4089446400 4194304 8223781 140736507986112 18446744073709551615 6482443 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18738/statm: 453305 451653 588 984 0 452318 0
Current children cumulated CPU time (s) 1349.18
Current children cumulated vsize (KiB) 1813220
[startup+1422.31 s]
/proc/loadavg: 2.01 2.02 1.75 3/179 19637
/proc/meminfo: memFree=26492124/32951124 swapFree=67111528/67111528
[pid=18738] ppid=18736 vsize=1893060 CPUtime=1409.19
/proc/18738/stat : 18738 (pbscip.linux.x8) R 18736 18738 18350 0 -1 4202496 516702 0 0 0 137698 3221 0 0 25 0 1 0 21602448 1938493440 471942 4089446400 4194304 8223781 140736507986112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18738/statm: 473265 471942 588 984 0 472278 0
Current children cumulated CPU time (s) 1409.19
Current children cumulated vsize (KiB) 1893060
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 1.76 3/179 19639
/proc/meminfo: memFree=26373740/32951124 swapFree=67111528/67111528
[pid=18738] ppid=18736 vsize=1972256 CPUtime=1469.18
/proc/18738/stat : 18738 (pbscip.linux.x8) R 18736 18738 18350 0 -1 4202496 536804 0 0 0 143587 3331 0 0 25 0 1 0 21602448 2019590144 492044 4089446400 4194304 8223781 140736507986112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18738/statm: 493064 492044 588 984 0 492077 0
Current children cumulated CPU time (s) 1469.18
Current children cumulated vsize (KiB) 1972256
[startup+1542.3 s]
/proc/loadavg: 2.05 2.03 1.78 3/179 19639
/proc/meminfo: memFree=26234420/32951124 swapFree=67111528/67111528
[pid=18738] ppid=18736 vsize=2085328 CPUtime=1529.18
/proc/18738/stat : 18738 (pbscip.linux.x8) R 18736 18738 18350 0 -1 4202496 557202 0 0 0 149473 3445 0 0 25 0 1 0 21602448 2135375872 512442 4089446400 4194304 8223781 140736507986112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18738/statm: 521332 512442 588 984 0 520345 0
Current children cumulated CPU time (s) 1529.18
Current children cumulated vsize (KiB) 2085328
[startup+1602.3 s]
/proc/loadavg: 2.02 2.02 1.79 3/179 19641
/proc/meminfo: memFree=26114324/32951124 swapFree=67111528/67111528
[pid=18738] ppid=18736 vsize=2163788 CPUtime=1589.19
/proc/18738/stat : 18738 (pbscip.linux.x8) R 18736 18738 18350 0 -1 4202496 577143 0 0 0 155358 3561 0 0 25 0 1 0 21602448 2215718912 532383 4089446400 4194304 8223781 140736507986112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18738/statm: 540947 532383 588 984 0 539960 0
Current children cumulated CPU time (s) 1589.19
Current children cumulated vsize (KiB) 2163788
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 1.80 3/179 19643
/proc/meminfo: memFree=25995452/32951124 swapFree=67111528/67111528
[pid=18738] ppid=18736 vsize=2247576 CPUtime=1649.18
/proc/18738/stat : 18738 (pbscip.linux.x8) R 18736 18738 18350 0 -1 4202496 598404 0 0 0 161249 3669 0 0 25 0 1 0 21602448 2301517824 553644 4089446400 4194304 8223781 140736507986112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18738/statm: 561894 553644 588 984 0 560907 0
Current children cumulated CPU time (s) 1649.18
Current children cumulated vsize (KiB) 2247576
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.81 3/179 19645
/proc/meminfo: memFree=25904616/32951124 swapFree=67111528/67111528
[pid=18738] ppid=18736 vsize=2327812 CPUtime=1709.19
/proc/18738/stat : 18738 (pbscip.linux.x8) R 18736 18738 18350 0 -1 4202496 618804 0 0 0 167130 3789 0 0 25 0 1 0 21602448 2383679488 574044 4089446400 4194304 8223781 140736507986112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18738/statm: 581953 574044 588 984 0 580966 0
Current children cumulated CPU time (s) 1709.19
Current children cumulated vsize (KiB) 2327812
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.82 3/179 19647
/proc/meminfo: memFree=25800144/32951124 swapFree=67111528/67111528
[pid=18738] ppid=18736 vsize=2407932 CPUtime=1769.18
/proc/18738/stat : 18738 (pbscip.linux.x8) R 18736 18738 18350 0 -1 4202496 639161 0 0 0 173021 3897 0 0 25 0 1 0 21602448 2465722368 594401 4089446400 4194304 8223781 140736507986112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18738/statm: 601983 594401 588 984 0 600996 0
Current children cumulated CPU time (s) 1769.18
Current children cumulated vsize (KiB) 2407932
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1813.2 s]
/proc/loadavg: 2.00 2.00 1.83 3/179 19647
/proc/meminfo: memFree=25745424/32951124 swapFree=67111528/67111528
[pid=18738] ppid=18736 vsize=2448864 CPUtime=1800.09
/proc/18738/stat : 18738 (pbscip.linux.x8) R 18736 18738 18350 0 -1 4202496 649562 0 0 0 176056 3953 0 0 25 0 1 0 21602448 2507636736 604802 4089446400 4194304 8223781 140736507986112 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18738/statm: 612216 604802 588 984 0 611229 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 2448864
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -18738
Solver just ended. Dumping a history of the last processes samples
[startup+1814.2 s]
/proc/loadavg: 2.00 2.00 1.83 3/180 19648
/proc/meminfo: memFree=25745044/32951124 swapFree=67111528/67111528
[pid=18738] ppid=18736 vsize=2448864 CPUtime=1801.08
/proc/18738/stat : 18738 (pbscip.linux.x8) R 18736 18738 18350 0 -1 4202496 649564 0 0 0 176155 3953 0 0 25 0 1 0 21602448 2507636736 604804 4089446400 4194304 8223781 140736507986112 18446744073709551615 6206544 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/18738/statm: 612216 604804 590 984 0 611229 0
Current children cumulated CPU time (s) 1801.08
Current children cumulated vsize (KiB) 2448864
[startup+1815.01 s]
/proc/loadavg: 2.00 2.00 1.83 3/180 19648
/proc/meminfo: memFree=25744172/32951124 swapFree=67111528/67111528
[pid=18738] ppid=18736 vsize=2448864 CPUtime=1801.88
/proc/18738/stat : 18738 (pbscip.linux.x8) R 18736 18738 18350 0 -1 4202496 649564 0 0 0 176235 3953 0 0 25 0 1 0 21602448 2507636736 604804 4089446400 4194304 8223781 140736507986112 18446744073709551615 6206658 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/18738/statm: 612216 604804 590 984 0 611229 0
Current children cumulated CPU time (s) 1801.88
Current children cumulated vsize (KiB) 2448864
[startup+1815.2 s]
/proc/loadavg: 2.00 2.00 1.83 3/180 19648
/proc/meminfo: memFree=25744172/32951124 swapFree=67111528/67111528
[pid=18738] ppid=18736 vsize=2448864 CPUtime=1802.08
/proc/18738/stat : 18738 (pbscip.linux.x8) R 18736 18738 18350 0 -1 4202496 649564 0 0 0 176255 3953 0 0 25 0 1 0 21602448 2507636736 604804 4089446400 4194304 8223781 140736507986112 18446744073709551615 6206520 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/18738/statm: 612216 604804 590 984 0 611229 0
Current children cumulated CPU time (s) 1802.08
Current children cumulated vsize (KiB) 2448864
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1815.29
CPU time (s): 1802.18
CPU user time (s): 1762.56
CPU system time (s): 39.622
CPU usage (%): 99.278
Max. virtual memory (cumulated for all children) (KiB): 2448864
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1762.56
system time used= 39.622
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 649564
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1
involuntary context switches= 6695
runsolver used 2.74258 second user time and 5.95909 second system time
The end
Begin job on node138 at 2010-07-07 22:18:13
IDJOB=2700020
IDBENCH=79393
IDSOLVER=1204
FILE ID=node138/2700020-1278533893
PBS_JOBID= 11239201
Free space on /tmp= 73596 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-jnh04_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-2700020-1278533893/watcher-2700020-1278533893 -o /tmp/evaluation-result-2700020-1278533893/solver-2700020-1278533893 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2700020-1278533893.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 54ef51abb9454409d6f66c5b853cdf79
RANDOM SEED=292526277
node138.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.845
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.845
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 : 5266.27
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.845
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.82
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.845
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.73
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.845
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.82
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.845
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.845
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.845
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.88
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 28576072 kB
Buffers: 127240 kB
Cached: 3981240 kB
SwapCached: 0 kB
Active: 1669692 kB
Inactive: 2553444 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 28576072 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 4680 kB
Writeback: 0 kB
AnonPages: 115020 kB
Mapped: 18572 kB
Slab: 85076 kB
PageTables: 4932 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 285896 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 node138 at 2010-07-07 22:48:29