0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2700189-1278534342.wbo>
0.00/0.01 c original problem has 2000 variables (1100 bin, 0 int, 0 impl, 900 cont) and 1901 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, 1100 impls, 0 clqs
0.00/0.03 c (round 2) 100 del vars, 101 del conss, 900 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1100 impls, 0 clqs
0.00/0.06 c (0.0s) probing: 101/1000 (10.1%) - 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, 900 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.06 c 1100 implications, 0 cliques
0.00/0.06 c presolved problem has 1900 variables (1000 bin, 0 int, 0 impl, 900 cont) and 1800 constraints
0.00/0.06 c 900 constraints of type <indicator>
0.00/0.06 c 900 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 444854
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 | - |6458k| 0 | - |1900 |1800 | 0 | 0 | 0 | 0 | 0 | -- | 4.448540e+05 | Inf
0.00/0.06 c 0.0s| 1 | 0 | 0 | - |6880k| 0 | 0 |1900 |1800 |1900 | 0 | 0 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.00/0.07 c 0.0s| 1 | 0 | 43 | - |6924k| 0 | 0 |1900 |1800 |1900 | 75 | 75 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.00/0.07 c 0.1s| 1 | 0 | 133 | - |6974k| 0 | 32 |1900 |1800 |1900 | 122 | 122 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.00/0.08 c 0.1s| 1 | 0 | 190 | - |7074k| 0 | 74 |1900 |1800 |1900 | 164 | 164 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.00/0.09 c 0.1s| 1 | 0 | 247 | - |7113k| 0 | 80 |1900 |1800 |1900 | 189 | 189 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.10/0.11 c 0.1s| 1 | 0 | 266 | - |7143k| 0 | 88 |1900 |1800 |1900 | 199 | 199 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.10/0.13 c 0.1s| 1 | 0 | 267 | - |7168k| 0 | 88 |1900 |1800 |1900 | 200 | 200 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.19/0.24 c 0.2s| 1 | 2 | 429 | - |7195k| 0 | 88 |1900 |1800 |1900 | 200 | 200 | 0 | 33 | 0.000000e+00 | 4.448540e+05 | Inf
10.00/10.09 c 9.6s| 10000 | 10001 | 46997 | 4.7 | 20M| 109 | 10 |1900 |1800 |1900 | 281 | 13k| 0 | 790 | 0.000000e+00 | 4.448540e+05 | Inf
18.50/18.58 c 17.8s| 20000 | 20001 | 95590 | 4.8 | 31M| 109 | 0 |1900 |1800 |1900 | 291 | 27k| 0 | 848 | 0.000000e+00 | 4.448540e+05 | Inf
26.89/26.92 c 25.8s| 30000 | 30001 |137315 | 4.6 | 41M| 109 | 0 |1900 |1800 |1900 | 296 | 40k| 0 |1069 | 0.000000e+00 | 4.448540e+05 | Inf
35.39/35.40 c 34.0s| 40000 | 40001 |185558 | 4.6 | 51M| 109 | 0 |1900 |1800 |1900 | 283 | 53k| 0 |1292 | 0.000000e+00 | 4.448540e+05 | Inf
43.49/43.53 c 41.8s| 50000 | 50001 |220839 | 4.4 | 62M| 109 | 11 |1900 |1800 |1900 | 259 | 64k| 0 |1445 | 0.000000e+00 | 4.448540e+05 | Inf
51.99/52.08 c 50.0s| 60000 | 60001 |275327 | 4.6 | 72M| 117 | 15 |1900 |1800 |1900 | 245 | 78k| 0 |1627 | 0.000000e+00 | 4.448540e+05 | Inf
59.99/60.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
59.99/60.04 c 57.7s| 70000 | 70001 |311275 | 4.4 | 82M| 117 | 0 |1900 |1800 |1900 | 283 | 87k| 0 |1768 | 0.000000e+00 | 4.448540e+05 | Inf
67.29/67.33 c 64.8s| 80000 | 80001 |328548 | 4.1 | 93M| 117 | 0 |1900 |1800 |1900 | 302 | 93k| 0 |1829 | 0.000000e+00 | 4.448540e+05 | Inf
75.00/75.05 c 72.2s| 90000 | 90001 |357833 | 4.0 | 103M| 117 | 12 |1900 |1800 |1900 | 264 | 101k| 0 |1941 | 0.000000e+00 | 4.448540e+05 | Inf
82.39/82.44 c 79.3s|100000 |100001 |377563 | 3.8 | 113M| 125 | 0 |1900 |1800 |1900 | 286 | 108k| 0 |1979 | 0.000000e+00 | 4.448540e+05 | Inf
90.20/90.27 c 86.8s|110000 |110001 |408116 | 3.7 | 124M| 125 | 0 |1900 |1800 |1900 | 290 | 117k| 0 |2072 | 0.000000e+00 | 4.448540e+05 | Inf
97.79/97.84 c 94.2s|120000 |120001 |432029 | 3.6 | 134M| 125 | 0 |1900 |1800 |1900 | 280 | 125k| 0 |2132 | 0.000000e+00 | 4.448540e+05 | Inf
105.39/105.40 c 102s|130000 |130001 |456820 | 3.5 | 144M| 125 | 10 |1900 |1800 |1900 | 263 | 133k| 0 |2200 | 0.000000e+00 | 4.448540e+05 | Inf
112.89/112.95 c 109s|140000 |140001 |481645 | 3.4 | 155M| 125 | 0 |1900 |1800 |1900 | 281 | 141k| 0 |2271 | 0.000000e+00 | 4.448540e+05 | Inf
120.49/120.52 c 116s|150000 |150001 |505893 | 3.4 | 165M| 131 | 0 |1900 |1800 |1900 | 312 | 149k| 0 |2318 | 0.000000e+00 | 4.448540e+05 | Inf
128.09/128.12 c 123s|160000 |160001 |533493 | 3.3 | 175M| 131 | 27 |1900 |1800 |1900 | 249 | 157k| 0 |2387 | 0.000000e+00 | 4.448540e+05 | Inf
135.60/135.69 c 131s|170000 |170001 |559078 | 3.3 | 186M| 131 | 0 |1900 |1800 |1900 | 296 | 165k| 0 |2430 | 0.000000e+00 | 4.448540e+05 | Inf
143.29/143.31 c 138s|180000 |180001 |585893 | 3.3 | 196M| 131 | 0 |1900 |1800 |1900 | 276 | 174k| 0 |2485 | 0.000000e+00 | 4.448540e+05 | Inf
150.80/150.84 c 145s|190000 |190001 |608675 | 3.2 | 206M| 131 | 0 |1900 |1800 |1900 | 288 | 181k| 0 |2537 | 0.000000e+00 | 4.448540e+05 | Inf
158.40/158.43 c 153s|200000 |200001 |635010 | 3.2 | 217M| 131 | 0 |1900 |1800 |1900 | 299 | 190k| 0 |2594 | 0.000000e+00 | 4.448540e+05 | Inf
166.00/166.09 c 160s|210000 |210001 |660967 | 3.1 | 227M| 131 | 0 |1900 |1800 |1900 | 295 | 198k| 0 |2643 | 0.000000e+00 | 4.448540e+05 | Inf
173.39/173.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
173.39/173.47 c 167s|220000 |220001 |681388 | 3.1 | 237M| 131 | 0 |1900 |1800 |1900 | 284 | 205k| 0 |2673 | 0.000000e+00 | 4.448540e+05 | Inf
180.80/180.85 c 174s|230000 |230001 |701082 | 3.0 | 248M| 131 | 0 |1900 |1800 |1900 | 310 | 211k| 0 |2704 | 0.000000e+00 | 4.448540e+05 | Inf
187.90/187.91 c 181s|240000 |240001 |716607 | 3.0 | 258M| 131 | 0 |1900 |1800 |1900 | 328 | 216k| 0 |2736 | 0.000000e+00 | 4.448540e+05 | Inf
195.29/195.38 c 188s|250000 |250001 |739229 | 3.0 | 268M| 131 | 0 |1900 |1800 |1900 | 288 | 223k| 0 |2780 | 0.000000e+00 | 4.448540e+05 | Inf
202.60/202.60 c 195s|260000 |260001 |754044 | 2.9 | 279M| 131 | 0 |1900 |1800 |1900 | 306 | 228k| 0 |2812 | 0.000000e+00 | 4.448540e+05 | Inf
209.90/209.96 c 203s|270000 |270001 |772205 | 2.9 | 289M| 131 | 0 |1900 |1800 |1900 | 290 | 234k| 0 |2839 | 0.000000e+00 | 4.448540e+05 | Inf
217.40/217.48 c 210s|280000 |280001 |792000 | 2.8 | 299M| 131 | 0 |1900 |1800 |1900 | 319 | 240k| 0 |2885 | 0.000000e+00 | 4.448540e+05 | Inf
224.51/224.57 c 217s|290000 |290001 |805150 | 2.8 | 309M| 147 | 0 |1900 |1800 |1900 | 295 | 245k| 0 |2902 | 0.000000e+00 | 4.448540e+05 | Inf
232.00/232.04 c 224s|300000 |300001 |829035 | 2.8 | 320M| 147 | 0 |1900 |1800 |1900 | 264 | 253k| 0 |2942 | 0.000000e+00 | 4.448540e+05 | Inf
239.20/239.29 c 231s|310000 |310001 |848033 | 2.7 | 330M| 147 | 0 |1900 |1800 |1900 | 340 | 259k| 0 |2974 | 0.000000e+00 | 4.448540e+05 | Inf
246.41/246.47 c 238s|320000 |320001 |865852 | 2.7 | 340M| 147 | 0 |1900 |1800 |1900 | 291 | 265k| 0 |3012 | 0.000000e+00 | 4.448540e+05 | Inf
253.70/253.77 c 245s|330000 |330001 |884549 | 2.7 | 351M| 147 | 19 |1900 |1800 |1900 | 287 | 271k| 0 |3044 | 0.000000e+00 | 4.448540e+05 | Inf
260.99/261.10 c 252s|340000 |340001 |906744 | 2.7 | 361M| 147 | 0 |1900 |1800 |1900 | 310 | 278k| 0 |3071 | 0.000000e+00 | 4.448540e+05 | Inf
268.40/268.46 c 259s|350000 |350001 |927253 | 2.6 | 371M| 147 | 0 |1900 |1800 |1900 | 309 | 285k| 0 |3102 | 0.000000e+00 | 4.448540e+05 | Inf
275.80/275.83 c 266s|360000 |360001 |946574 | 2.6 | 382M| 147 | 25 |1900 |1800 |1900 | 251 | 291k| 0 |3146 | 0.000000e+00 | 4.448540e+05 | Inf
282.89/282.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
282.89/282.96 c 273s|370000 |370001 |964770 | 2.6 | 392M| 147 | 0 |1900 |1800 |1900 | 294 | 297k| 0 |3169 | 0.000000e+00 | 4.448540e+05 | Inf
290.30/290.31 c 280s|380000 |380001 |980134 | 2.6 | 402M| 147 | 0 |1900 |1800 |1900 | 284 | 302k| 0 |3190 | 0.000000e+00 | 4.448540e+05 | Inf
297.60/297.63 c 287s|390000 |390001 |997272 | 2.6 | 412M| 147 | 0 |1900 |1800 |1900 | 313 | 308k| 0 |3215 | 0.000000e+00 | 4.448540e+05 | Inf
305.00/305.09 c 295s|400000 |400001 | 1020k| 2.6 | 423M| 147 | 0 |1900 |1800 |1900 | 301 | 315k| 0 |3248 | 0.000000e+00 | 4.448540e+05 | Inf
312.40/312.45 c 302s|410000 |410001 | 1040k| 2.5 | 433M| 147 | 0 |1900 |1800 |1900 | 285 | 322k| 0 |3277 | 0.000000e+00 | 4.448540e+05 | Inf
319.30/319.39 c 308s|420000 |420001 | 1053k| 2.5 | 443M| 155 | 0 |1900 |1800 |1900 | 300 | 326k| 0 |3297 | 0.000000e+00 | 4.448540e+05 | Inf
326.60/326.62 c 315s|430000 |430001 | 1072k| 2.5 | 454M| 155 | 0 |1900 |1800 |1900 | 308 | 332k| 0 |3318 | 0.000000e+00 | 4.448540e+05 | Inf
333.90/333.98 c 323s|440000 |440001 | 1094k| 2.5 | 464M| 157 | 0 |1900 |1800 |1900 | 284 | 339k| 0 |3344 | 0.000000e+00 | 4.448540e+05 | Inf
341.29/341.36 c 330s|450000 |450001 | 1117k| 2.5 | 474M| 157 | 0 |1900 |1800 |1900 | 275 | 347k| 0 |3389 | 0.000000e+00 | 4.448540e+05 | Inf
348.81/348.82 c 337s|460000 |460001 | 1142k| 2.5 | 484M| 157 | 3 |1900 |1800 |1900 | 278 | 355k| 0 |3413 | 0.000000e+00 | 4.448540e+05 | Inf
356.10/356.14 c 344s|470000 |470001 | 1163k| 2.5 | 495M| 157 | 0 |1900 |1800 |1900 | 320 | 361k| 0 |3447 | 0.000000e+00 | 4.448540e+05 | Inf
363.50/363.56 c 351s|480000 |480001 | 1186k| 2.5 | 505M| 157 | 0 |1900 |1800 |1900 | 287 | 368k| 0 |3482 | 0.000000e+00 | 4.448540e+05 | Inf
371.00/371.03 c 358s|490000 |490001 | 1213k| 2.5 | 515M| 157 | 0 |1900 |1800 |1900 | 296 | 376k| 0 |3513 | 0.000000e+00 | 4.448540e+05 | Inf
378.51/378.50 c 365s|500000 |500001 | 1239k| 2.5 | 526M| 157 | 0 |1900 |1800 |1900 | 273 | 384k| 0 |3572 | 0.000000e+00 | 4.448540e+05 | Inf
385.90/385.93 c 373s|510000 |510001 | 1265k| 2.5 | 536M| 157 | 0 |1900 |1800 |1900 | 285 | 392k| 0 |3604 | 0.000000e+00 | 4.448540e+05 | Inf
393.40/393.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
393.40/393.41 c 380s|520000 |520001 | 1292k| 2.5 | 546M| 157 | 0 |1900 |1800 |1900 | 276 | 400k| 0 |3648 | 0.000000e+00 | 4.448540e+05 | Inf
400.70/400.72 c 387s|530000 |530001 | 1316k| 2.5 | 557M| 157 | 0 |1900 |1800 |1900 | 281 | 407k| 0 |3689 | 0.000000e+00 | 4.448540e+05 | Inf
407.80/407.85 c 394s|540000 |540001 | 1335k| 2.5 | 567M| 157 | 0 |1900 |1800 |1900 | 274 | 414k| 0 |3713 | 0.000000e+00 | 4.448540e+05 | Inf
415.10/415.14 c 401s|550000 |550001 | 1357k| 2.5 | 577M| 157 | 18 |1900 |1800 |1900 | 277 | 421k| 0 |3752 | 0.000000e+00 | 4.448540e+05 | Inf
422.20/422.23 c 408s|560000 |560001 | 1374k| 2.5 | 587M| 157 | 0 |1900 |1800 |1900 | 290 | 427k| 0 |3773 | 0.000000e+00 | 4.448540e+05 | Inf
429.30/429.39 c 414s|570000 |570001 | 1394k| 2.4 | 598M| 157 | 0 |1900 |1800 |1900 | 300 | 433k| 0 |3810 | 0.000000e+00 | 4.448540e+05 | Inf
436.40/436.45 c 421s|580000 |580001 | 1409k| 2.4 | 608M| 157 | 4 |1900 |1800 |1900 | 310 | 438k| 0 |3822 | 0.000000e+00 | 4.448540e+05 | Inf
443.41/443.45 c 428s|590000 |590001 | 1425k| 2.4 | 618M| 157 | 0 |1900 |1800 |1900 | 293 | 443k| 0 |3838 | 0.000000e+00 | 4.448540e+05 | Inf
450.30/450.31 c 435s|600000 |600001 | 1437k| 2.4 | 628M| 157 | 0 |1900 |1800 |1900 | 273 | 447k| 0 |3859 | 0.000000e+00 | 4.448540e+05 | Inf
457.50/457.56 c 442s|610000 |610001 | 1459k| 2.4 | 638M| 157 | 17 |1900 |1800 |1900 | 242 | 454k| 0 |3892 | 0.000000e+00 | 4.448540e+05 | Inf
464.61/464.60 c 449s|620000 |620001 | 1474k| 2.4 | 649M| 157 | 0 |1900 |1800 |1900 | 280 | 459k| 0 |3916 | 0.000000e+00 | 4.448540e+05 | Inf
471.41/471.47 c 455s|630000 |630001 | 1485k| 2.4 | 659M| 157 | 0 |1900 |1800 |1900 | 296 | 463k| 0 |3917 | 0.000000e+00 | 4.448540e+05 | Inf
478.40/478.47 c 462s|640000 |640001 | 1500k| 2.3 | 669M| 157 | 0 |1900 |1800 |1900 | 294 | 468k| 0 |3934 | 0.000000e+00 | 4.448540e+05 | Inf
485.30/485.36 c 469s|650000 |650001 | 1512k| 2.3 | 679M| 157 | 0 |1900 |1800 |1900 | 310 | 472k| 0 |3958 | 0.000000e+00 | 4.448540e+05 | Inf
492.10/492.19 c 475s|660000 |660001 | 1523k| 2.3 | 689M| 157 | 0 |1900 |1800 |1900 | 304 | 476k| 0 |3978 | 0.000000e+00 | 4.448540e+05 | Inf
499.41/499.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
499.41/499.41 c 482s|670000 |670001 | 1545k| 2.3 | 700M| 157 | 0 |1900 |1800 |1900 | 276 | 482k| 0 |4013 | 0.000000e+00 | 4.448540e+05 | Inf
506.30/506.38 c 489s|680000 |680001 | 1560k| 2.3 | 710M| 157 | 0 |1900 |1800 |1900 | 289 | 487k| 0 |4019 | 0.000000e+00 | 4.448540e+05 | Inf
513.21/513.26 c 496s|690000 |690001 | 1572k| 2.3 | 720M| 157 | 15 |1900 |1800 |1900 | 280 | 491k| 0 |4039 | 0.000000e+00 | 4.448540e+05 | Inf
520.10/520.17 c 502s|700000 |700001 | 1584k| 2.3 | 730M| 157 | 0 |1900 |1800 |1900 | 288 | 495k| 0 |4056 | 0.000000e+00 | 4.448540e+05 | Inf
526.91/526.97 c 509s|710000 |710001 | 1595k| 2.2 | 740M| 157 | 0 |1900 |1800 |1900 | 282 | 499k| 0 |4063 | 0.000000e+00 | 4.448540e+05 | Inf
533.91/533.98 c 516s|720000 |720001 | 1611k| 2.2 | 751M| 157 | 0 |1900 |1800 |1900 | 283 | 504k| 0 |4085 | 0.000000e+00 | 4.448540e+05 | Inf
541.10/541.16 c 523s|730000 |730001 | 1633k| 2.2 | 761M| 157 | 22 |1900 |1800 |1900 | 271 | 511k| 0 |4131 | 0.000000e+00 | 4.448540e+05 | Inf
548.30/548.38 c 530s|740000 |740001 | 1655k| 2.2 | 771M| 157 | 0 |1900 |1800 |1900 | 260 | 517k| 0 |4160 | 0.000000e+00 | 4.448540e+05 | Inf
555.51/555.51 c 537s|750000 |750001 | 1675k| 2.2 | 781M| 157 | 0 |1900 |1800 |1900 | 293 | 524k| 0 |4185 | 0.000000e+00 | 4.448540e+05 | Inf
562.51/562.52 c 543s|760000 |760001 | 1690k| 2.2 | 792M| 157 | 0 |1900 |1800 |1900 | 289 | 529k| 0 |4209 | 0.000000e+00 | 4.448540e+05 | Inf
569.70/569.73 c 550s|770000 |770001 | 1709k| 2.2 | 802M| 157 | 0 |1900 |1800 |1900 | 297 | 535k| 0 |4232 | 0.000000e+00 | 4.448540e+05 | Inf
576.60/576.69 c 557s|780000 |780001 | 1724k| 2.2 | 812M| 157 | 0 |1900 |1800 |1900 | 289 | 539k| 0 |4256 | 0.000000e+00 | 4.448540e+05 | Inf
583.71/583.73 c 564s|790000 |790001 | 1739k| 2.2 | 822M| 157 | 0 |1900 |1800 |1900 | 299 | 545k| 0 |4278 | 0.000000e+00 | 4.448540e+05 | Inf
590.91/590.93 c 571s|800000 |800001 | 1759k| 2.2 | 833M| 157 | 0 |1900 |1800 |1900 | 280 | 551k| 0 |4301 | 0.000000e+00 | 4.448540e+05 | Inf
598.10/598.13 c 578s|810000 |810001 | 1777k| 2.2 | 843M| 157 | 0 |1900 |1800 |1900 | 312 | 556k| 0 |4315 | 0.000000e+00 | 4.448540e+05 | Inf
605.11/605.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
605.11/605.14 c 585s|820000 |820001 | 1792k| 2.2 | 853M| 157 | 24 |1900 |1800 |1900 | 273 | 561k| 0 |4331 | 0.000000e+00 | 4.448540e+05 | Inf
612.20/612.23 c 592s|830000 |830001 | 1809k| 2.2 | 863M| 157 | 0 |1900 |1800 |1900 | 287 | 567k| 0 |4354 | 0.000000e+00 | 4.448540e+05 | Inf
619.31/619.34 c 598s|840000 |840001 | 1825k| 2.2 | 873M| 157 | 0 |1900 |1800 |1900 | 282 | 573k| 0 |4378 | 0.000000e+00 | 4.448540e+05 | Inf
626.41/626.46 c 605s|850000 |850001 | 1842k| 2.2 | 884M| 157 | 0 |1900 |1800 |1900 | 312 | 578k| 0 |4397 | 0.000000e+00 | 4.448540e+05 | Inf
633.50/633.51 c 612s|860000 |860001 | 1857k| 2.2 | 894M| 157 | 8 |1900 |1800 |1900 | 297 | 583k| 0 |4405 | 0.000000e+00 | 4.448540e+05 | Inf
640.70/640.79 c 619s|870000 |870001 | 1880k| 2.2 | 904M| 157 | 0 |1900 |1800 |1900 | 284 | 589k| 0 |4432 | 0.000000e+00 | 4.448540e+05 | Inf
647.91/647.95 c 626s|880000 |880001 | 1899k| 2.2 | 914M| 157 | 0 |1900 |1800 |1900 | 276 | 595k| 0 |4444 | 0.000000e+00 | 4.448540e+05 | Inf
654.91/654.97 c 633s|890000 |890001 | 1916k| 2.2 | 925M| 163 | 0 |1900 |1800 |1900 | 279 | 601k| 0 |4468 | 0.000000e+00 | 4.448540e+05 | Inf
662.11/662.17 c 640s|900000 |900001 | 1938k| 2.2 | 935M| 163 | 0 |1900 |1800 |1900 | 280 | 609k| 0 |4488 | 0.000000e+00 | 4.448540e+05 | Inf
669.11/669.17 c 647s|910000 |910001 | 1954k| 2.1 | 945M| 163 | 0 |1900 |1800 |1900 | 269 | 614k| 0 |4512 | 0.000000e+00 | 4.448540e+05 | Inf
676.31/676.35 c 654s|920000 |920001 | 1973k| 2.1 | 955M| 163 | 0 |1900 |1800 |1900 | 295 | 620k| 0 |4532 | 0.000000e+00 | 4.448540e+05 | Inf
683.51/683.56 c 661s|930000 |930001 | 1996k| 2.1 | 966M| 177 | 16 |1900 |1800 |1900 | 292 | 627k| 0 |4550 | 0.000000e+00 | 4.448540e+05 | Inf
690.81/690.81 c 668s|940000 |940001 | 2022k| 2.2 | 976M| 177 | 11 |1900 |1800 |1900 | 295 | 634k| 0 |4573 | 0.000000e+00 | 4.448540e+05 | Inf
697.80/697.87 c 674s|950000 |950001 | 2042k| 2.1 | 986M| 177 | 0 |1900 |1800 |1900 | 292 | 640k| 0 |4603 | 0.000000e+00 | 4.448540e+05 | Inf
704.91/704.99 c 681s|960000 |960001 | 2062k| 2.1 | 996M| 177 | 0 |1900 |1800 |1900 | 302 | 647k| 0 |4626 | 0.000000e+00 | 4.448540e+05 | Inf
712.01/712.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
712.01/712.04 c 688s|970000 |970001 | 2080k| 2.1 |1007M| 177 | 0 |1900 |1800 |1900 | 291 | 652k| 0 |4654 | 0.000000e+00 | 4.448540e+05 | Inf
719.11/719.10 c 695s|980000 |980001 | 2098k| 2.1 |1017M| 177 | 0 |1900 |1800 |1900 | 300 | 658k| 0 |4667 | 0.000000e+00 | 4.448540e+05 | Inf
726.12/726.15 c 702s|990000 |990001 | 2117k| 2.1 |1027M| 177 | 0 |1900 |1800 |1900 | 303 | 664k| 0 |4684 | 0.000000e+00 | 4.448540e+05 | Inf
733.01/733.09 c 709s| 1000k| 1000k| 2133k| 2.1 |1038M| 177 | 0 |1900 |1800 |1900 | 296 | 669k| 0 |4694 | 0.000000e+00 | 4.448540e+05 | Inf
740.01/740.01 c 715s| 1010k| 1010k| 2147k| 2.1 |1048M| 177 | 24 |1900 |1800 |1900 | 227 | 674k| 0 |4714 | 0.000000e+00 | 4.448540e+05 | Inf
747.11/747.15 c 722s| 1020k| 1020k| 2167k| 2.1 |1058M| 177 | 0 |1900 |1800 |1900 | 293 | 680k| 0 |4735 | 0.000000e+00 | 4.448540e+05 | Inf
754.21/754.24 c 729s| 1030k| 1030k| 2184k| 2.1 |1068M| 177 | 0 |1900 |1800 |1900 | 314 | 685k| 0 |4754 | 0.000000e+00 | 4.448540e+05 | Inf
761.41/761.49 c 736s| 1040k| 1040k| 2206k| 2.1 |1079M| 177 | 0 |1900 |1800 |1900 | 296 | 692k| 0 |4774 | 0.000000e+00 | 4.448540e+05 | Inf
768.71/768.72 c 743s| 1050k| 1050k| 2228k| 2.1 |1089M| 177 | 0 |1900 |1800 |1900 | 293 | 699k| 0 |4794 | 0.000000e+00 | 4.448540e+05 | Inf
775.91/775.98 c 750s| 1060k| 1060k| 2244k| 2.1 |1099M| 177 | 0 |1900 |1800 |1900 | 294 | 704k| 0 |4808 | 0.000000e+00 | 4.448540e+05 | Inf
783.01/783.08 c 757s| 1070k| 1070k| 2258k| 2.1 |1109M| 177 | 0 |1900 |1800 |1900 | 308 | 709k| 0 |4815 | 0.000000e+00 | 4.448540e+05 | Inf
790.01/790.05 c 764s| 1080k| 1080k| 2271k| 2.1 |1120M| 177 | 0 |1900 |1800 |1900 | 277 | 713k| 0 |4841 | 0.000000e+00 | 4.448540e+05 | Inf
797.11/797.11 c 770s| 1090k| 1090k| 2285k| 2.1 |1130M| 177 | 0 |1900 |1800 |1900 | 306 | 718k| 0 |4852 | 0.000000e+00 | 4.448540e+05 | Inf
804.00/804.07 c 777s| 1100k| 1100k| 2296k| 2.1 |1140M| 177 | 0 |1900 |1800 |1900 | 298 | 723k| 0 |4863 | 0.000000e+00 | 4.448540e+05 | Inf
810.91/810.95 c 784s| 1110k| 1110k| 2307k| 2.1 |1150M| 177 | 0 |1900 |1800 |1900 | 268 | 727k| 0 |4879 | 0.000000e+00 | 4.448540e+05 | Inf
817.91/817.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
817.91/817.98 c 791s| 1120k| 1120k| 2320k| 2.1 |1160M| 177 | 0 |1900 |1800 |1900 | 315 | 732k| 0 |4881 | 0.000000e+00 | 4.448540e+05 | Inf
825.02/825.03 c 798s| 1130k| 1130k| 2332k| 2.1 |1171M| 177 | 0 |1900 |1800 |1900 | 300 | 736k| 0 |4897 | 0.000000e+00 | 4.448540e+05 | Inf
831.91/831.92 c 804s| 1140k| 1140k| 2343k| 2.1 |1181M| 177 | 0 |1900 |1800 |1900 | 292 | 741k| 0 |4913 | 0.000000e+00 | 4.448540e+05 | Inf
838.71/838.74 c 811s| 1150k| 1150k| 2352k| 2.0 |1191M| 177 | 0 |1900 |1800 |1900 | 306 | 744k| 0 |4923 | 0.000000e+00 | 4.448540e+05 | Inf
845.62/845.60 c 817s| 1160k| 1160k| 2364k| 2.0 |1201M| 177 | 6 |1900 |1800 |1900 | 296 | 748k| 0 |4930 | 0.000000e+00 | 4.448540e+05 | Inf
852.21/852.28 c 824s| 1170k| 1170k| 2371k| 2.0 |1211M| 177 | 0 |1900 |1800 |1900 | 300 | 751k| 0 |4942 | 0.000000e+00 | 4.448540e+05 | Inf
858.91/858.98 c 830s| 1180k| 1180k| 2379k| 2.0 |1222M| 177 | 0 |1900 |1800 |1900 | 305 | 754k| 0 |4942 | 0.000000e+00 | 4.448540e+05 | Inf
865.91/865.94 c 837s| 1190k| 1190k| 2390k| 2.0 |1232M| 177 | 0 |1900 |1800 |1900 | 301 | 759k| 0 |4960 | 0.000000e+00 | 4.448540e+05 | Inf
872.61/872.62 c 844s| 1200k| 1200k| 2399k| 2.0 |1242M| 177 | 0 |1900 |1800 |1900 | 285 | 762k| 0 |4960 | 0.000000e+00 | 4.448540e+05 | Inf
879.41/879.42 c 850s| 1210k| 1210k| 2409k| 2.0 |1252M| 177 | 0 |1900 |1800 |1900 | 274 | 766k| 0 |4979 | 0.000000e+00 | 4.448540e+05 | Inf
886.31/886.33 c 857s| 1220k| 1220k| 2421k| 2.0 |1262M| 177 | 0 |1900 |1800 |1900 | 295 | 771k| 0 |4989 | 0.000000e+00 | 4.448540e+05 | Inf
893.01/893.02 c 863s| 1230k| 1230k| 2430k| 2.0 |1273M| 177 | 0 |1900 |1800 |1900 | 277 | 774k| 0 |4996 | 0.000000e+00 | 4.448540e+05 | Inf
899.82/899.81 c 870s| 1240k| 1240k| 2438k| 2.0 |1283M| 177 | 0 |1900 |1800 |1900 | 293 | 777k| 0 |4999 | 0.000000e+00 | 4.448540e+05 | Inf
906.61/906.64 c 877s| 1250k| 1250k| 2448k| 2.0 |1293M| 177 | 0 |1900 |1800 |1900 | 276 | 781k| 0 |5013 | 0.000000e+00 | 4.448540e+05 | Inf
913.41/913.45 c 883s| 1260k| 1260k| 2457k| 2.0 |1303M| 177 | 0 |1900 |1800 |1900 | 320 | 784k| 0 |5025 | 0.000000e+00 | 4.448540e+05 | Inf
920.22/920.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
920.22/920.23 c 890s| 1270k| 1270k| 2465k| 1.9 |1313M| 177 | 0 |1900 |1800 |1900 | 295 | 788k| 0 |5040 | 0.000000e+00 | 4.448540e+05 | Inf
927.12/927.19 c 897s| 1280k| 1280k| 2478k| 1.9 |1323M| 177 | 0 |1900 |1800 |1900 | 305 | 793k| 0 |5045 | 0.000000e+00 | 4.448540e+05 | Inf
933.81/933.88 c 903s| 1290k| 1290k| 2487k| 1.9 |1334M| 177 | 0 |1900 |1800 |1900 | 290 | 796k| 0 |5065 | 0.000000e+00 | 4.448540e+05 | Inf
940.62/940.66 c 910s| 1300k| 1300k| 2498k| 1.9 |1344M| 177 | 0 |1900 |1800 |1900 | 298 | 800k| 0 |5066 | 0.000000e+00 | 4.448540e+05 | Inf
947.32/947.36 c 916s| 1310k| 1310k| 2507k| 1.9 |1354M| 177 | 0 |1900 |1800 |1900 | 286 | 803k| 0 |5086 | 0.000000e+00 | 4.448540e+05 | Inf
953.92/954.00 c 923s| 1320k| 1320k| 2515k| 1.9 |1364M| 177 | 0 |1900 |1800 |1900 | 297 | 805k| 0 |5087 | 0.000000e+00 | 4.448540e+05 | Inf
960.61/960.60 c 929s| 1330k| 1330k| 2522k| 1.9 |1374M| 177 | 0 |1900 |1800 |1900 | 299 | 808k| 0 |5105 | 0.000000e+00 | 4.448540e+05 | Inf
967.11/967.14 c 935s| 1340k| 1340k| 2528k| 1.9 |1385M| 177 | 0 |1900 |1800 |1900 | 286 | 810k| 0 |5105 | 0.000000e+00 | 4.448540e+05 | Inf
973.91/973.90 c 942s| 1350k| 1350k| 2536k| 1.9 |1395M| 177 | 0 |1900 |1800 |1900 | 270 | 813k| 0 |5105 | 0.000000e+00 | 4.448540e+05 | Inf
980.72/980.75 c 949s| 1360k| 1360k| 2546k| 1.9 |1405M| 177 | 0 |1900 |1800 |1900 | 300 | 817k| 0 |5123 | 0.000000e+00 | 4.448540e+05 | Inf
987.61/987.62 c 955s| 1370k| 1370k| 2557k| 1.9 |1415M| 177 | 0 |1900 |1800 |1900 | 266 | 821k| 0 |5131 | 0.000000e+00 | 4.448540e+05 | Inf
994.32/994.36 c 962s| 1380k| 1380k| 2564k| 1.9 |1425M| 177 | 0 |1900 |1800 |1900 | 299 | 825k| 0 |5137 | 0.000000e+00 | 4.448540e+05 | Inf
1001.12/1001.11 c 968s| 1390k| 1390k| 2572k| 1.9 |1436M| 177 | 0 |1900 |1800 |1900 | 262 | 827k| 0 |5137 | 0.000000e+00 | 4.448540e+05 | Inf
1007.81/1007.86 c 975s| 1400k| 1400k| 2581k| 1.8 |1446M| 177 | 0 |1900 |1800 |1900 | 309 | 831k| 0 |5151 | 0.000000e+00 | 4.448540e+05 | Inf
1014.61/1014.63 c 981s| 1410k| 1410k| 2592k| 1.8 |1456M| 177 | 0 |1900 |1800 |1900 | 298 | 835k| 0 |5158 | 0.000000e+00 | 4.448540e+05 | Inf
1021.41/1021.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1021.41/1021.49 c 988s| 1420k| 1420k| 2602k| 1.8 |1466M| 177 | 0 |1900 |1800 |1900 | 296 | 839k| 0 |5177 | 0.000000e+00 | 4.448540e+05 | Inf
1028.11/1028.13 c 995s| 1430k| 1430k| 2610k| 1.8 |1477M| 177 | 0 |1900 |1800 |1900 | 301 | 842k| 0 |5177 | 0.000000e+00 | 4.448540e+05 | Inf
1034.82/1034.82 c 1001s| 1440k| 1440k| 2617k| 1.8 |1487M| 177 | 0 |1900 |1800 |1900 | 291 | 844k| 0 |5194 | 0.000000e+00 | 4.448540e+05 | Inf
1041.51/1041.57 c 1008s| 1450k| 1450k| 2626k| 1.8 |1497M| 177 | 0 |1900 |1800 |1900 | 277 | 848k| 0 |5195 | 0.000000e+00 | 4.448540e+05 | Inf
1048.22/1048.30 c 1014s| 1460k| 1460k| 2634k| 1.8 |1507M| 177 | 0 |1900 |1800 |1900 | 271 | 850k| 0 |5207 | 0.000000e+00 | 4.448540e+05 | Inf
1054.92/1054.93 c 1021s| 1470k| 1470k| 2641k| 1.8 |1517M| 177 | 0 |1900 |1800 |1900 | 278 | 853k| 0 |5219 | 0.000000e+00 | 4.448540e+05 | Inf
1061.63/1061.63 c 1027s| 1480k| 1480k| 2648k| 1.8 |1527M| 177 | 0 |1900 |1800 |1900 | 315 | 856k| 0 |5219 | 0.000000e+00 | 4.448540e+05 | Inf
1068.61/1068.61 c 1034s| 1490k| 1490k| 2662k| 1.8 |1538M| 177 | 0 |1900 |1800 |1900 | 302 | 861k| 0 |5239 | 0.000000e+00 | 4.448540e+05 | Inf
1075.31/1075.31 c 1040s| 1500k| 1500k| 2671k| 1.8 |1548M| 177 | 0 |1900 |1800 |1900 | 283 | 864k| 0 |5239 | 0.000000e+00 | 4.448540e+05 | Inf
1082.02/1082.07 c 1047s| 1510k| 1510k| 2680k| 1.8 |1558M| 177 | 0 |1900 |1800 |1900 | 286 | 867k| 0 |5253 | 0.000000e+00 | 4.448540e+05 | Inf
1088.62/1088.63 c 1053s| 1520k| 1520k| 2687k| 1.8 |1568M| 177 | 9 |1900 |1800 |1900 | 288 | 869k| 0 |5255 | 0.000000e+00 | 4.448540e+05 | Inf
1095.42/1095.42 c 1060s| 1530k| 1530k| 2696k| 1.8 |1578M| 177 | 0 |1900 |1800 |1900 | 273 | 872k| 0 |5256 | 0.000000e+00 | 4.448540e+05 | Inf
1102.02/1102.00 c 1066s| 1540k| 1540k| 2702k| 1.8 |1589M| 177 | 0 |1900 |1800 |1900 | 275 | 875k| 0 |5270 | 0.000000e+00 | 4.448540e+05 | Inf
1108.62/1108.61 c 1073s| 1550k| 1550k| 2709k| 1.7 |1599M| 177 | 0 |1900 |1800 |1900 | 282 | 877k| 0 |5273 | 0.000000e+00 | 4.448540e+05 | Inf
1115.12/1115.14 c 1079s| 1560k| 1560k| 2715k| 1.7 |1609M| 177 | 0 |1900 |1800 |1900 | 284 | 880k| 0 |5273 | 0.000000e+00 | 4.448540e+05 | Inf
1121.92/1121.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1121.92/1121.93 c 1086s| 1570k| 1570k| 2724k| 1.7 |1619M| 177 | 0 |1900 |1800 |1900 | 301 | 883k| 0 |5290 | 0.000000e+00 | 4.448540e+05 | Inf
1128.52/1128.59 c 1092s| 1580k| 1580k| 2732k| 1.7 |1629M| 177 | 0 |1900 |1800 |1900 | 281 | 886k| 0 |5290 | 0.000000e+00 | 4.448540e+05 | Inf
1135.12/1135.17 c 1098s| 1590k| 1590k| 2739k| 1.7 |1640M| 177 | 0 |1900 |1800 |1900 | 305 | 888k| 0 |5304 | 0.000000e+00 | 4.448540e+05 | Inf
1142.02/1142.04 c 1105s| 1600k| 1600k| 2749k| 1.7 |1650M| 177 | 0 |1900 |1800 |1900 | 302 | 892k| 0 |5305 | 0.000000e+00 | 4.448540e+05 | Inf
1148.92/1148.90 c 1112s| 1610k| 1610k| 2759k| 1.7 |1660M| 177 | 0 |1900 |1800 |1900 | 299 | 896k| 0 |5318 | 0.000000e+00 | 4.448540e+05 | Inf
1155.42/1155.46 c 1118s| 1620k| 1620k| 2766k| 1.7 |1670M| 177 | 0 |1900 |1800 |1900 | 292 | 899k| 0 |5319 | 0.000000e+00 | 4.448540e+05 | Inf
1162.22/1162.24 c 1125s| 1630k| 1630k| 2773k| 1.7 |1680M| 177 | 0 |1900 |1800 |1900 | 288 | 902k| 0 |5321 | 0.000000e+00 | 4.448540e+05 | Inf
1168.92/1168.91 c 1131s| 1640k| 1640k| 2780k| 1.7 |1691M| 177 | 0 |1900 |1800 |1900 | 310 | 904k| 0 |5332 | 0.000000e+00 | 4.448540e+05 | Inf
1175.52/1175.55 c 1138s| 1650k| 1650k| 2786k| 1.7 |1701M| 177 | 0 |1900 |1800 |1900 | 273 | 907k| 0 |5332 | 0.000000e+00 | 4.448540e+05 | Inf
1182.32/1182.35 c 1144s| 1660k| 1660k| 2797k| 1.7 |1711M| 177 | 0 |1900 |1800 |1900 | 308 | 910k| 0 |5349 | 0.000000e+00 | 4.448540e+05 | Inf
1189.02/1189.09 c 1151s| 1670k| 1670k| 2805k| 1.7 |1721M| 177 | 0 |1900 |1800 |1900 | 301 | 914k| 0 |5349 | 0.000000e+00 | 4.448540e+05 | Inf
1195.72/1195.75 c 1157s| 1680k| 1680k| 2812k| 1.7 |1731M| 177 | 0 |1900 |1800 |1900 | 294 | 917k| 0 |5349 | 0.000000e+00 | 4.448540e+05 | Inf
1202.43/1202.44 c 1164s| 1690k| 1690k| 2819k| 1.7 |1742M| 177 | 0 |1900 |1800 |1900 | 283 | 919k| 0 |5362 | 0.000000e+00 | 4.448540e+05 | Inf
1209.03/1209.07 c 1170s| 1700k| 1700k| 2825k| 1.7 |1752M| 177 | 0 |1900 |1800 |1900 | 283 | 922k| 0 |5362 | 0.000000e+00 | 4.448540e+05 | Inf
1215.72/1215.72 c 1177s| 1710k| 1710k| 2832k| 1.7 |1762M| 177 | 0 |1900 |1800 |1900 | 275 | 925k| 0 |5371 | 0.000000e+00 | 4.448540e+05 | Inf
1222.42/1222.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1222.42/1222.40 c 1183s| 1720k| 1720k| 2839k| 1.7 |1772M| 177 | 0 |1900 |1800 |1900 | 273 | 927k| 0 |5376 | 0.000000e+00 | 4.448540e+05 | Inf
1228.82/1228.82 c 1189s| 1730k| 1730k| 2844k| 1.6 |1782M| 177 | 0 |1900 |1800 |1900 | 288 | 929k| 0 |5376 | 0.000000e+00 | 4.448540e+05 | Inf
1235.42/1235.49 c 1196s| 1740k| 1740k| 2852k| 1.6 |1792M| 177 | 0 |1900 |1800 |1900 | 278 | 932k| 0 |5387 | 0.000000e+00 | 4.448540e+05 | Inf
1242.12/1242.18 c 1202s| 1750k| 1750k| 2859k| 1.6 |1803M| 177 | 8 |1900 |1800 |1900 | 254 | 935k| 0 |5400 | 0.000000e+00 | 4.448540e+05 | Inf
1249.02/1249.01 c 1209s| 1760k| 1760k| 2869k| 1.6 |1813M| 177 | 0 |1900 |1800 |1900 | 302 | 938k| 0 |5404 | 0.000000e+00 | 4.448540e+05 | Inf
1255.82/1255.80 c 1215s| 1770k| 1770k| 2879k| 1.6 |1823M| 177 | 0 |1900 |1800 |1900 | 288 | 942k| 0 |5417 | 0.000000e+00 | 4.448540e+05 | Inf
1262.42/1262.44 c 1222s| 1780k| 1780k| 2886k| 1.6 |1833M| 177 | 0 |1900 |1800 |1900 | 298 | 944k| 0 |5423 | 0.000000e+00 | 4.448540e+05 | Inf
1269.22/1269.24 c 1228s| 1790k| 1790k| 2895k| 1.6 |1843M| 177 | 0 |1900 |1800 |1900 | 277 | 947k| 0 |5423 | 0.000000e+00 | 4.448540e+05 | Inf
1275.92/1276.00 c 1235s| 1800k| 1800k| 2903k| 1.6 |1853M| 177 | 0 |1900 |1800 |1900 | 276 | 950k| 0 |5440 | 0.000000e+00 | 4.448540e+05 | Inf
1282.52/1282.50 c 1241s| 1810k| 1810k| 2909k| 1.6 |1864M| 177 | 0 |1900 |1800 |1900 | 295 | 952k| 0 |5440 | 0.000000e+00 | 4.448540e+05 | Inf
1289.12/1289.18 c 1248s| 1820k| 1820k| 2916k| 1.6 |1874M| 177 | 0 |1900 |1800 |1900 | 289 | 955k| 0 |5452 | 0.000000e+00 | 4.448540e+05 | Inf
1296.02/1296.00 c 1254s| 1830k| 1830k| 2925k| 1.6 |1884M| 177 | 0 |1900 |1800 |1900 | 278 | 958k| 0 |5454 | 0.000000e+00 | 4.448540e+05 | Inf
1302.63/1302.63 c 1261s| 1840k| 1840k| 2932k| 1.6 |1894M| 177 | 0 |1900 |1800 |1900 | 278 | 960k| 0 |5454 | 0.000000e+00 | 4.448540e+05 | Inf
1309.43/1309.42 c 1267s| 1850k| 1850k| 2943k| 1.6 |1904M| 177 | 0 |1900 |1800 |1900 | 287 | 963k| 0 |5471 | 0.000000e+00 | 4.448540e+05 | Inf
1316.43/1316.42 c 1274s| 1860k| 1860k| 2959k| 1.6 |1915M| 177 | 21 |1900 |1800 |1900 | 259 | 968k| 0 |5506 | 0.000000e+00 | 4.448540e+05 | Inf
1323.13/1323.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1323.13/1323.18 c 1281s| 1870k| 1870k| 2969k| 1.6 |1925M| 177 | 0 |1900 |1800 |1900 | 280 | 972k| 0 |5515 | 0.000000e+00 | 4.448540e+05 | Inf
1329.93/1329.92 c 1287s| 1880k| 1880k| 2978k| 1.6 |1935M| 177 | 0 |1900 |1800 |1900 | 269 | 975k| 0 |5522 | 0.000000e+00 | 4.448540e+05 | Inf
1336.63/1336.61 c 1294s| 1890k| 1890k| 2987k| 1.6 |1945M| 177 | 0 |1900 |1800 |1900 | 285 | 977k| 0 |5528 | 0.000000e+00 | 4.448540e+05 | Inf
1343.73/1343.75 c 1301s| 1900k| 1900k| 3006k| 1.6 |1956M| 177 | 0 |1900 |1800 |1900 | 282 | 983k| 0 |5542 | 0.000000e+00 | 4.448540e+05 | Inf
1350.63/1350.69 c 1307s| 1910k| 1910k| 3020k| 1.6 |1966M| 177 | 0 |1900 |1800 |1900 | 287 | 987k| 0 |5560 | 0.000000e+00 | 4.448540e+05 | Inf
1357.72/1357.79 c 1314s| 1920k| 1920k| 3043k| 1.6 |1976M| 177 | 0 |1900 |1800 |1900 | 308 | 994k| 0 |5579 | 0.000000e+00 | 4.448540e+05 | Inf
1364.92/1364.90 c 1321s| 1930k| 1930k| 3061k| 1.6 |1986M| 177 | 0 |1900 |1800 |1900 | 288 |1000k| 0 |5590 | 0.000000e+00 | 4.448540e+05 | Inf
1371.93/1371.96 c 1328s| 1940k| 1940k| 3078k| 1.6 |1997M| 177 | 0 |1900 |1800 |1900 | 300 |1006k| 0 |5602 | 0.000000e+00 | 4.448540e+05 | Inf
1379.03/1379.06 c 1335s| 1950k| 1950k| 3094k| 1.6 |2007M| 177 | 0 |1900 |1800 |1900 | 294 |1010k| 0 |5617 | 0.000000e+00 | 4.448540e+05 | Inf
1385.82/1385.81 c 1341s| 1960k| 1960k| 3104k| 1.6 |2017M| 177 | 0 |1900 |1800 |1900 | 307 |1014k| 0 |5623 | 0.000000e+00 | 4.448540e+05 | Inf
1392.93/1392.94 c 1348s| 1970k| 1970k| 3120k| 1.6 |2027M| 177 | 0 |1900 |1800 |1900 | 296 |1019k| 0 |5639 | 0.000000e+00 | 4.448540e+05 | Inf
1400.13/1400.16 c 1355s| 1980k| 1980k| 3140k| 1.6 |2038M| 177 | 0 |1900 |1800 |1900 | 290 |1025k| 0 |5658 | 0.000000e+00 | 4.448540e+05 | Inf
1407.03/1407.07 c 1362s| 1990k| 1990k| 3153k| 1.6 |2048M| 177 | 0 |1900 |1800 |1900 | 294 |1029k| 0 |5662 | 0.000000e+00 | 4.448540e+05 | Inf
1414.12/1414.14 c 1369s| 2000k| 2000k| 3168k| 1.6 |2058M| 177 | 22 |1900 |1800 |1900 | 197 |1034k| 0 |5684 | 0.000000e+00 | 4.448540e+05 | Inf
1421.23/1421.24 c 1376s| 2010k| 2010k| 3186k| 1.6 |2068M| 177 | 0 |1900 |1800 |1900 | 300 |1040k| 0 |5695 | 0.000000e+00 | 4.448540e+05 | Inf
1428.22/1428.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1428.22/1428.24 c 1382s| 2020k| 2020k| 3200k| 1.6 |2079M| 177 | 0 |1900 |1800 |1900 | 297 |1044k| 0 |5705 | 0.000000e+00 | 4.448540e+05 | Inf
1435.12/1435.10 c 1389s| 2030k| 2030k| 3211k| 1.6 |2089M| 177 | 11 |1900 |1800 |1900 | 310 |1048k| 0 |5717 | 0.000000e+00 | 4.448540e+05 | Inf
1441.92/1441.92 c 1396s| 2040k| 2040k| 3222k| 1.6 |2099M| 177 | 0 |1900 |1800 |1900 | 305 |1052k| 0 |5726 | 0.000000e+00 | 4.448540e+05 | Inf
1448.92/1448.91 c 1403s| 2050k| 2050k| 3237k| 1.6 |2109M| 177 | 19 |1900 |1800 |1900 | 197 |1056k| 0 |5740 | 0.000000e+00 | 4.448540e+05 | Inf
1455.73/1455.72 c 1409s| 2060k| 2060k| 3247k| 1.6 |2119M| 177 | 0 |1900 |1800 |1900 | 301 |1060k| 0 |5744 | 0.000000e+00 | 4.448540e+05 | Inf
1462.63/1462.62 c 1416s| 2070k| 2070k| 3259k| 1.6 |2130M| 177 | 0 |1900 |1800 |1900 | 305 |1064k| 0 |5762 | 0.000000e+00 | 4.448540e+05 | Inf
1469.33/1469.32 c 1422s| 2080k| 2080k| 3268k| 1.6 |2140M| 177 | 0 |1900 |1800 |1900 | 287 |1067k| 0 |5763 | 0.000000e+00 | 4.448540e+05 | Inf
1476.24/1476.26 c 1429s| 2090k| 2090k| 3281k| 1.6 |2150M| 177 | 0 |1900 |1800 |1900 | 297 |1071k| 0 |5778 | 0.000000e+00 | 4.448540e+05 | Inf
1483.03/1483.00 c 1436s| 2100k| 2100k| 3291k| 1.6 |2160M| 177 | 0 |1900 |1800 |1900 | 284 |1074k| 0 |5782 | 0.000000e+00 | 4.448540e+05 | Inf
1489.63/1489.64 c 1442s| 2110k| 2110k| 3298k| 1.6 |2171M| 177 | 0 |1900 |1800 |1900 | 275 |1077k| 0 |5785 | 0.000000e+00 | 4.448540e+05 | Inf
1496.33/1496.31 c 1449s| 2120k| 2120k| 3306k| 1.6 |2181M| 177 | 0 |1900 |1800 |1900 | 283 |1080k| 0 |5795 | 0.000000e+00 | 4.448540e+05 | Inf
1503.13/1503.11 c 1455s| 2130k| 2130k| 3315k| 1.6 |2191M| 177 | 10 |1900 |1800 |1900 | 290 |1083k| 0 |5795 | 0.000000e+00 | 4.448540e+05 | Inf
1509.93/1509.92 c 1462s| 2140k| 2140k| 3326k| 1.6 |2201M| 177 | 0 |1900 |1800 |1900 | 272 |1087k| 0 |5808 | 0.000000e+00 | 4.448540e+05 | Inf
1516.83/1516.81 c 1468s| 2150k| 2150k| 3337k| 1.6 |2211M| 177 | 0 |1900 |1800 |1900 | 298 |1090k| 0 |5808 | 0.000000e+00 | 4.448540e+05 | Inf
1523.64/1523.63 c 1475s| 2160k| 2160k| 3348k| 1.5 |2222M| 177 | 0 |1900 |1800 |1900 | 284 |1094k| 0 |5821 | 0.000000e+00 | 4.448540e+05 | Inf
1530.32/1530.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1530.32/1530.32 c 1482s| 2170k| 2170k| 3356k| 1.5 |2232M| 177 | 0 |1900 |1800 |1900 | 279 |1096k| 0 |5822 | 0.000000e+00 | 4.448540e+05 | Inf
1537.03/1537.09 c 1488s| 2180k| 2180k| 3366k| 1.5 |2242M| 177 | 10 |1900 |1800 |1900 | 266 |1099k| 0 |5838 | 0.000000e+00 | 4.448540e+05 | Inf
1543.93/1543.90 c 1495s| 2190k| 2190k| 3377k| 1.5 |2252M| 177 | 0 |1900 |1800 |1900 | 276 |1103k| 0 |5840 | 0.000000e+00 | 4.448540e+05 | Inf
1550.53/1550.53 c 1501s| 2200k| 2200k| 3384k| 1.5 |2262M| 177 | 0 |1900 |1800 |1900 | 279 |1106k| 0 |5840 | 0.000000e+00 | 4.448540e+05 | Inf
1557.43/1557.46 c 1508s| 2210k| 2210k| 3397k| 1.5 |2272M| 177 | 0 |1900 |1800 |1900 | 290 |1110k| 0 |5855 | 0.000000e+00 | 4.448540e+05 | Inf
1564.13/1564.16 c 1514s| 2220k| 2220k| 3405k| 1.5 |2283M| 177 | 0 |1900 |1800 |1900 | 294 |1113k| 0 |5855 | 0.000000e+00 | 4.448540e+05 | Inf
1570.83/1570.86 c 1521s| 2230k| 2230k| 3413k| 1.5 |2293M| 177 | 0 |1900 |1800 |1900 | 293 |1116k| 0 |5870 | 0.000000e+00 | 4.448540e+05 | Inf
1577.63/1577.65 c 1527s| 2240k| 2240k| 3425k| 1.5 |2303M| 177 | 0 |1900 |1800 |1900 | 295 |1119k| 0 |5874 | 0.000000e+00 | 4.448540e+05 | Inf
1584.43/1584.42 c 1534s| 2250k| 2250k| 3434k| 1.5 |2313M| 177 | 0 |1900 |1800 |1900 | 296 |1122k| 0 |5888 | 0.000000e+00 | 4.448540e+05 | Inf
1591.13/1591.10 c 1540s| 2260k| 2260k| 3442k| 1.5 |2323M| 177 | 0 |1900 |1800 |1900 | 290 |1125k| 0 |5888 | 0.000000e+00 | 4.448540e+05 | Inf
1597.93/1597.91 c 1547s| 2270k| 2270k| 3454k| 1.5 |2333M| 177 | 0 |1900 |1800 |1900 | 303 |1129k| 0 |5901 | 0.000000e+00 | 4.448540e+05 | Inf
1604.73/1604.72 c 1554s| 2280k| 2280k| 3465k| 1.5 |2344M| 177 | 0 |1900 |1800 |1900 | 282 |1133k| 0 |5908 | 0.000000e+00 | 4.448540e+05 | Inf
1611.43/1611.41 c 1560s| 2290k| 2290k| 3474k| 1.5 |2354M| 177 | 0 |1900 |1800 |1900 | 297 |1136k| 0 |5908 | 0.000000e+00 | 4.448540e+05 | Inf
1618.03/1618.08 c 1567s| 2300k| 2300k| 3482k| 1.5 |2364M| 177 | 0 |1900 |1800 |1900 | 281 |1139k| 0 |5922 | 0.000000e+00 | 4.448540e+05 | Inf
1624.63/1624.64 c 1573s| 2310k| 2310k| 3488k| 1.5 |2374M| 177 | 0 |1900 |1800 |1900 | 276 |1141k| 0 |5922 | 0.000000e+00 | 4.448540e+05 | Inf
1631.13/1631.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1631.13/1631.15 c 1579s| 2320k| 2320k| 3494k| 1.5 |2384M| 177 | 0 |1900 |1800 |1900 | 281 |1143k| 0 |5924 | 0.000000e+00 | 4.448540e+05 | Inf
1638.03/1638.03 c 1586s| 2330k| 2330k| 3508k| 1.5 |2394M| 177 | 0 |1900 |1800 |1900 | 298 |1148k| 0 |5940 | 0.000000e+00 | 4.448540e+05 | Inf
1644.73/1644.71 c 1592s| 2340k| 2340k| 3516k| 1.5 |2404M| 177 | 9 |1900 |1800 |1900 | 267 |1151k| 0 |5940 | 0.000000e+00 | 4.448540e+05 | Inf
1651.44/1651.49 c 1599s| 2350k| 2350k| 3527k| 1.5 |2415M| 177 | 0 |1900 |1800 |1900 | 298 |1155k| 0 |5956 | 0.000000e+00 | 4.448540e+05 | Inf
1658.13/1658.13 c 1606s| 2360k| 2360k| 3534k| 1.5 |2425M| 177 | 0 |1900 |1800 |1900 | 304 |1157k| 0 |5956 | 0.000000e+00 | 4.448540e+05 | Inf
1664.74/1664.74 c 1612s| 2370k| 2370k| 3541k| 1.5 |2435M| 177 | 0 |1900 |1800 |1900 | 281 |1159k| 0 |5957 | 0.000000e+00 | 4.448540e+05 | Inf
1671.33/1671.31 c 1618s| 2380k| 2380k| 3547k| 1.5 |2445M| 177 | 0 |1900 |1800 |1900 | 279 |1162k| 0 |5971 | 0.000000e+00 | 4.448540e+05 | Inf
1677.83/1677.89 c 1625s| 2390k| 2390k| 3554k| 1.5 |2455M| 177 | 0 |1900 |1800 |1900 | 283 |1164k| 0 |5972 | 0.000000e+00 | 4.448540e+05 | Inf
1684.44/1684.45 c 1631s| 2400k| 2400k| 3560k| 1.5 |2465M| 177 | 0 |1900 |1800 |1900 | 298 |1166k| 0 |5973 | 0.000000e+00 | 4.448540e+05 | Inf
1691.33/1691.34 c 1638s| 2410k| 2410k| 3575k| 1.5 |2475M| 177 | 0 |1900 |1800 |1900 | 294 |1171k| 0 |5990 | 0.000000e+00 | 4.448540e+05 | Inf
1698.03/1698.04 c 1644s| 2420k| 2420k| 3584k| 1.5 |2486M| 177 | 0 |1900 |1800 |1900 | 295 |1175k| 0 |5998 | 0.000000e+00 | 4.448540e+05 | Inf
1704.73/1704.70 c 1651s| 2430k| 2430k| 3593k| 1.5 |2496M| 177 | 0 |1900 |1800 |1900 | 281 |1178k| 0 |6005 | 0.000000e+00 | 4.448540e+05 | Inf
1711.33/1711.31 c 1657s| 2440k| 2440k| 3600k| 1.5 |2506M| 177 | 0 |1900 |1800 |1900 | 288 |1180k| 0 |6005 | 0.000000e+00 | 4.448540e+05 | Inf
1717.93/1717.90 c 1664s| 2450k| 2450k| 3607k| 1.5 |2516M| 177 | 0 |1900 |1800 |1900 | 283 |1182k| 0 |6014 | 0.000000e+00 | 4.448540e+05 | Inf
1724.54/1724.50 c 1670s| 2460k| 2460k| 3613k| 1.5 |2526M| 177 | 0 |1900 |1800 |1900 | 275 |1184k| 0 |6021 | 0.000000e+00 | 4.448540e+05 | Inf
1731.24/1731.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1731.24/1731.28 c 1676s| 2470k| 2470k| 3625k| 1.5 |2536M| 177 | 19 |1900 |1800 |1900 | 288 |1189k| 0 |6023 | 0.000000e+00 | 4.448540e+05 | Inf
1738.04/1738.06 c 1683s| 2480k| 2480k| 3636k| 1.5 |2546M| 177 | 0 |1900 |1800 |1900 | 318 |1193k| 0 |6038 | 0.000000e+00 | 4.448540e+05 | Inf
1744.74/1744.73 c 1689s| 2490k| 2490k| 3645k| 1.5 |2557M| 177 | 0 |1900 |1800 |1900 | 279 |1196k| 0 |6038 | 0.000000e+00 | 4.448540e+05 | Inf
1751.34/1751.36 c 1696s| 2500k| 2500k| 3654k| 1.5 |2567M| 177 | 13 |1900 |1800 |1900 | 280 |1199k| 0 |6053 | 0.000000e+00 | 4.448540e+05 | Inf
1757.94/1757.92 c 1702s| 2510k| 2510k| 3661k| 1.5 |2577M| 177 | 0 |1900 |1800 |1900 | 293 |1201k| 0 |6053 | 0.000000e+00 | 4.448540e+05 | Inf
1764.84/1764.84 c 1709s| 2520k| 2520k| 3677k| 1.5 |2587M| 177 | 0 |1900 |1800 |1900 | 301 |1207k| 0 |6068 | 0.000000e+00 | 4.448540e+05 | Inf
1771.63/1771.65 c 1716s| 2530k| 2530k| 3690k| 1.5 |2597M| 177 | 0 |1900 |1800 |1900 | 278 |1212k| 0 |6068 | 0.000000e+00 | 4.448540e+05 | Inf
1778.34/1778.36 c 1722s| 2540k| 2540k| 3700k| 1.5 |2607M| 177 | 0 |1900 |1800 |1900 | 297 |1216k| 0 |6083 | 0.000000e+00 | 4.448540e+05 | Inf
1785.14/1785.14 c 1729s| 2550k| 2550k| 3712k| 1.5 |2617M| 177 | 0 |1900 |1800 |1900 | 291 |1220k| 0 |6083 | 0.000000e+00 | 4.448540e+05 | Inf
1791.83/1791.82 c 1735s| 2560k| 2560k| 3720k| 1.5 |2627M| 177 | 0 |1900 |1800 |1900 | 287 |1222k| 0 |6098 | 0.000000e+00 | 4.448540e+05 | Inf
1798.54/1798.50 c 1742s| 2570k| 2570k| 3730k| 1.5 |2638M| 177 | 0 |1900 |1800 |1900 | 277 |1226k| 0 |6098 | 0.000000e+00 | 4.448540e+05 | Inf
1800.05/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.00 c
1800.05/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.00 c Solving Time (sec) : 1743.05
1800.05/1800.00 c Solving Nodes : 2572225
1800.05/1800.00 c Primal Bound : +4.44854000000000e+05 (100 solutions)
1800.05/1800.00 c Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Gap : infinite
1800.05/1800.01 s SATISFIABLE
1800.05/1800.01 v x200 -x199 x198 -x197 x196 -x195 x194 -x193 x192 -x191 x190 -x189 x188 -x187 x186 -x185 x184 -x183 x182 -x181 x180 -x179 x178 -x177
1800.05/1800.01 v x176 -x175 x174 -x173 x172 -x171 x170 -x169 x168 -x167 x166 -x165 x164 -x163 x162 -x161 x160 -x159 x158 -x157 x156 -x155
1800.05/1800.01 v x154 -x153 x152 -x151 x150 -x149 x148 -x147 x146 -x145 x144 -x143 x142 -x141 x140 -x139 x138 -x137 x136 -x135 x134 -x133 x132
1800.05/1800.01 v -x131 x130 -x129 x128 -x127 x126 -x125 x124 -x123 x122 -x121 x120 -x119 x118 -x117 x116 -x115 x114 -x113 x112 -x111 x110 -x109
1800.05/1800.01 v x108 -x107 x106 -x105 x104 -x103 x102 -x101 x100 -x99 x98 -x97 x96 -x95 x94 -x93 x92 -x91 x90 -x89 x88 -x87 x86 -x85 x84
1800.05/1800.01 v -x83 x82 -x81 x80 -x79 x78 -x77 x76 -x75 x74 -x73 x72 -x71 x70 -x69 x68 -x67 x66 -x65 x64 -x63 x62 -x61 x60 -x59 x58 -x57 x56
1800.05/1800.01 v -x55 x54 -x53 x52 -x51 x50 -x49 x48 -x47 x46 -x45 x44 -x43 x42 -x41 x40 -x39 x38 -x37 x36 -x35 x34 -x33 x32 -x31 x30 -x29 x28
1800.05/1800.01 v -x27 x26 -x25 x24 -x23 x22 -x21 x20 -x19 x18 -x17 x16 -x15 x14 -x13 x12 -x11 x10 -x9 x8 -x7 x6 -x5 x4 -x3 x2 -x1
1800.05/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.01 c Solving Time : 1743.05
1800.05/1800.01 c Original Problem :
1800.05/1800.01 c Problem name : HOME/instance-2700189-1278534342.wbo
1800.05/1800.01 c Variables : 2000 (1100 binary, 0 integer, 0 implicit integer, 900 continuous)
1800.05/1800.01 c Constraints : 1901 initial, 1901 maximal
1800.05/1800.01 c Presolved Problem :
1800.05/1800.01 c Problem name : t_HOME/instance-2700189-1278534342.wbo
1800.05/1800.01 c Variables : 1900 (1000 binary, 0 integer, 0 implicit integer, 900 continuous)
1800.05/1800.01 c Constraints : 1800 initial, 1800 maximal
1800.05/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c implics : 0.01 0 0 0 0 0 0 0 0
1800.05/1800.01 c probing : 0.02 0 0 0 0 0 0 0 0
1800.05/1800.01 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c linear : 0.01 0 100 0 900 0 101 0 0
1800.05/1800.01 c root node : - 0 - - 0 - - - -
1800.05/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.01 c integral : 0 0 0 2829676 0 0 0 0 0 870930
1800.05/1800.01 c indicator : 900 0 3579803 2394211 0 0 2656793 0 0 0
1800.05/1800.01 c linear : 900 6 3579803 2394211 0 0 1051427 1227154 0 0
1800.05/1800.01 c countsols : 0 0 0 2136760 0 0 0 0 0 0
1800.05/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.01 c integral : 7.46 0.00 0.00 7.46 0.00
1800.05/1800.01 c indicator : 178.88 0.07 40.41 138.40 0.00
1800.05/1800.01 c linear : 35.51 0.00 15.07 20.44 0.00
1800.05/1800.01 c countsols : 0.66 0.00 0.00 0.66 0.00
1800.05/1800.01 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.01 c vbounds : 0.95 2 0 0
1800.05/1800.01 c rootredcost : 0.75 0 0 0
1800.05/1800.01 c pseudoobj : 58.99 3579603 0 0
1800.05/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.01 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.01 c applied globally : - - - 0 0.0 - - -
1800.05/1800.01 c applied locally : - - - 0 0.0 - - -
1800.05/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.01 c cut pool : 0.00 3 - - 0 - (maximal pool size: 30)
1800.05/1800.01 c redcost : 103.83 2829233 0 0 0 0
1800.05/1800.01 c impliedbounds : 0.00 4 0 0 0 0
1800.05/1800.01 c intobj : 0.00 0 0 0 0 0
1800.05/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.01 c gomory : 0.01 4 0 0 32 0
1800.05/1800.01 c strongcg : 0.01 4 0 0 0 0
1800.05/1800.01 c cmir : 0.01 4 0 0 0 0
1800.05/1800.01 c flowcover : 0.01 4 0 0 0 0
1800.05/1800.01 c clique : 0.00 1 0 0 0 0
1800.05/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.01 c mcf : 0.00 1 0 0 0 0
1800.05/1800.01 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.01 c Pricers : Time Calls Vars
1800.05/1800.01 c problem variables: 0.00 0 0
1800.05/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.01 c relpscost : 6.79 435465 0 0 0 0 870930
1800.05/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.01 c inference : 158.66 2136760 0 0 0 0 4273520
1800.05/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.01 c random : 0.00 0 0 0 0 0 0
1800.05/1800.01 c Primal Heuristics : Time Calls Found
1800.05/1800.01 c LP solutions : 0.00 - 0
1800.05/1800.01 c pseudo solutions : 0.00 - 0
1800.05/1800.01 c feaspump : 0.00 0 0
1800.05/1800.01 c oneopt : 1.42 1 0
1800.05/1800.01 c intshifting : 0.04 17 0
1800.05/1800.01 c crossover : 0.98 13 0
1800.05/1800.01 c fracdiving : 16.15 30645 0
1800.05/1800.01 c veclendiving : 15.70 30645 0
1800.05/1800.01 c linesearchdiving : 16.28 30645 0
1800.05/1800.01 c guideddiving : 16.98 30645 0
1800.05/1800.01 c pscostdiving : 16.08 30645 0
1800.05/1800.01 c coefdiving : 16.54 30646 0
1800.05/1800.01 c objpscostdiving : 16.74 30624 0
1800.05/1800.01 c rootsoldiving : 17.24 30624 0
1800.05/1800.01 c trivial : 0.00 2 1
1800.05/1800.01 c simplerounding : 1.29 435432 0
1800.05/1800.01 c zirounding : 0.69 1000 0
1800.05/1800.01 c rounding : 1.00 9205 0
1800.05/1800.01 c shifting : 1.39 2896 0
1800.05/1800.01 c twoopt : 0.00 0 0
1800.05/1800.01 c fixandinfer : 0.00 0 0
1800.05/1800.01 c intdiving : 0.00 0 0
1800.05/1800.01 c actconsdiving : 0.00 0 0
1800.05/1800.01 c octane : 0.00 0 0
1800.05/1800.01 c rens : 0.01 1 0
1800.05/1800.01 c rins : 0.00 0 0
1800.05/1800.01 c localbranching : 0.00 0 0
1800.05/1800.01 c mutation : 0.00 0 0
1800.05/1800.01 c dins : 0.00 0 0
1800.05/1800.01 c undercover : 0.00 0 0
1800.05/1800.01 c nlp : 0.67 0 0
1800.05/1800.01 c trysol : 1.57 34181 99
1800.05/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.01 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.01 c dual LP : 681.28 836819 3731072 4.46 5476.56
1800.05/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.01 c diving/probing LP: 0.17 273 902 3.30 5305.88
1800.05/1800.01 c strong branching : 4.05 6098 59442 9.75 14677.04
1800.05/1800.01 c (at root node) : - 33 2306 69.88 -
1800.05/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.01 c B&B Tree :
1800.05/1800.01 c number of runs : 1
1800.05/1800.01 c nodes : 2572225
1800.05/1800.01 c nodes (total) : 2572225
1800.05/1800.01 c nodes left : 2572226
1800.05/1800.01 c max depth : 177
1800.05/1800.01 c max depth (total): 177
1800.05/1800.01 c backtracks : 30767 (1.2%)
1800.05/1800.01 c delayed cutoffs : 0
1800.05/1800.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.05/1800.01 c avg switch length: 2.28
1800.05/1800.01 c switching time : 50.29
1800.05/1800.01 c Solution :
1800.05/1800.01 c Solutions found : 100 (1 improvements)
1800.05/1800.01 c First Solution : +4.44854000000000e+05 (in run 1, after 1 nodes, 0.04 seconds, depth 0, found by <trivial>)
1800.05/1800.01 c Primal Bound : +4.44854000000000e+05 (in run 1, after 1 nodes, 0.04 seconds, depth 0, found by <trivial>)
1800.05/1800.01 c Dual Bound : +0.00000000000000e+00
1800.05/1800.01 c Gap : infinite
1800.05/1800.01 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.01 c Root Iterations : 267
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700189-1278534342/watcher-2700189-1278534342 -o /tmp/evaluation-result-2700189-1278534342/solver-2700189-1278534342 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2700189-1278534342.wbo -t 1800 -m 3800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 1.90 1.07 4/178 17535
/proc/meminfo: memFree=29864704/32950928 swapFree=4192956/4192956
[pid=17535] ppid=17533 vsize=10980 CPUtime=0
/proc/17535/stat : 17535 (pbscip.linux.x8) R 17533 17535 16719 0 -1 4202496 1677 0 0 0 0 0 0 0 25 0 1 0 21647657 11243520 1598 4089446400 4194304 9819077 140737314358480 18446744073709551615 8656455 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/17535/statm: 2745 1598 392 1374 0 1366 0
[startup+0.105582 s]
/proc/loadavg: 2.00 1.90 1.07 4/178 17535
/proc/meminfo: memFree=29864704/32950928 swapFree=4192956/4192956
[pid=17535] ppid=17533 vsize=25816 CPUtime=0.1
/proc/17535/stat : 17535 (pbscip.linux.x8) R 17533 17535 16719 0 -1 4202496 6329 0 0 0 9 1 0 0 25 0 1 0 21647657 26435584 5055 4089446400 4194304 9819077 140737314358480 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17535/statm: 6454 5055 673 1374 0 5075 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 25816
[startup+0.200559 s]
/proc/loadavg: 2.00 1.90 1.07 4/178 17535
/proc/meminfo: memFree=29864704/32950928 swapFree=4192956/4192956
[pid=17535] ppid=17533 vsize=27284 CPUtime=0.19
/proc/17535/stat : 17535 (pbscip.linux.x8) R 17533 17535 16719 0 -1 4202496 10618 0 0 0 18 1 0 0 25 0 1 0 21647657 27938816 5171 4089446400 4194304 9819077 140737314358480 18446744073709551615 6566706 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17535/statm: 6821 5171 695 1374 0 5442 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 27284
[startup+0.300543 s]
/proc/loadavg: 2.00 1.90 1.07 4/178 17535
/proc/meminfo: memFree=29864704/32950928 swapFree=4192956/4192956
[pid=17535] ppid=17533 vsize=27288 CPUtime=0.29
/proc/17535/stat : 17535 (pbscip.linux.x8) R 17533 17535 16719 0 -1 4202496 13044 0 0 0 27 2 0 0 25 0 1 0 21647657 27942912 5173 4089446400 4194304 9819077 140737314358480 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17535/statm: 6822 5173 700 1374 0 5443 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27288
[startup+0.700414 s]
/proc/loadavg: 2.00 1.90 1.07 4/178 17535
/proc/meminfo: memFree=29864704/32950928 swapFree=4192956/4192956
[pid=17535] ppid=17533 vsize=27244 CPUtime=0.69
/proc/17535/stat : 17535 (pbscip.linux.x8) R 17533 17535 16719 0 -1 4202496 23596 0 0 0 65 4 0 0 25 0 1 0 21647657 27897856 5171 4089446400 4194304 9819077 140737314358480 18446744073709551615 6362461 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17535/statm: 6811 5171 700 1374 0 5432 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27244
[startup+1.5011 s]
/proc/loadavg: 2.00 1.90 1.07 3/179 17536
/proc/meminfo: memFree=29845476/32950928 swapFree=4192956/4192956
[pid=17535] ppid=17533 vsize=27736 CPUtime=1.49
/proc/17535/stat : 17535 (pbscip.linux.x8) R 17533 17535 16719 0 -1 4202496 44476 0 0 0 139 10 0 0 25 0 1 0 21647657 28401664 5509 4089446400 4194304 9819077 140737314358480 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17535/statm: 6934 5509 703 1374 0 5555 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 27736
[startup+3.10099 s]
/proc/loadavg: 2.00 1.90 1.07 3/179 17536
/proc/meminfo: memFree=29841632/32950928 swapFree=4192956/4192956
[pid=17535] ppid=17533 vsize=31212 CPUtime=3.09
/proc/17535/stat : 17535 (pbscip.linux.x8) R 17533 17535 16719 0 -1 4202496 61714 0 0 0 292 17 0 0 25 0 1 0 21647657 31961088 6372 4089446400 4194304 9819077 140737314358480 18446744073709551615 8495008 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17535/statm: 7803 6372 703 1374 0 6424 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 31212
[startup+6.30049 s]
/proc/loadavg: 2.00 1.90 1.08 3/179 17536
/proc/meminfo: memFree=29832452/32950928 swapFree=4192956/4192956
[pid=17535] ppid=17533 vsize=37156 CPUtime=6.29
/proc/17535/stat : 17535 (pbscip.linux.x8) R 17533 17535 16719 0 -1 4202496 84855 0 0 0 601 28 0 0 25 0 1 0 21647657 38047744 7842 4089446400 4194304 9819077 140737314358480 18446744073709551615 6597825 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17535/statm: 9289 7842 703 1374 0 7910 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 37156
[startup+12.7004 s]
/proc/loadavg: 2.00 1.90 1.08 3/179 17536
/proc/meminfo: memFree=29817752/32950928 swapFree=4192956/4192956
[pid=17535] ppid=17533 vsize=44392 CPUtime=12.69
/proc/17535/stat : 17535 (pbscip.linux.x8) R 17533 17535 16719 0 -1 4202496 136546 0 0 0 1217 52 0 0 25 0 1 0 21647657 45457408 9702 4089446400 4194304 9819077 140737314358480 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17535/statm: 11098 9702 703 1374 0 9719 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 44392
[startup+25.5011 s]
/proc/loadavg: 2.00 1.91 1.10 3/179 17537
/proc/meminfo: memFree=29788624/32950928 swapFree=4192956/4192956
[pid=17535] ppid=17533 vsize=61572 CPUtime=25.49
/proc/17535/stat : 17535 (pbscip.linux.x8) R 17533 17535 16719 0 -1 4202496 226303 0 0 0 2446 103 0 0 25 0 1 0 21647657 63049728 14059 4089446400 4194304 9819077 140737314358480 18446744073709551615 7301542 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17535/statm: 15393 14059 703 1374 0 14014 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 61572
[startup+51.1006 s]
/proc/loadavg: 2.06 1.93 1.12 3/179 17537
/proc/meminfo: memFree=29734896/32950928 swapFree=4192956/4192956
[pid=17535] ppid=17533 vsize=93996 CPUtime=51.09
/proc/17535/stat : 17535 (pbscip.linux.x8) R 17533 17535 16719 0 -1 4202496 400283 0 0 0 4908 201 0 0 25 0 1 0 21647657 96251904 22289 4089446400 4194304 9819077 140737314358480 18446744073709551615 6362607 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17535/statm: 23499 22289 703 1374 0 22120 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 93996
[startup+102.3 s]
/proc/loadavg: 2.02 1.94 1.17 3/179 17539
/proc/meminfo: memFree=29618412/32950928 swapFree=4192956/4192956
[pid=17535] ppid=17533 vsize=164448 CPUtime=102.29
/proc/17535/stat : 17535 (pbscip.linux.x8) R 17533 17535 16719 0 -1 4202496 680835 0 0 0 9847 382 0 0 25 0 1 0 21647657 168394752 39598 4089446400 4194304 9819077 140737314358480 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17535/statm: 41112 39598 703 1374 0 39733 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 164448
[startup+162.301 s]
/proc/loadavg: 2.01 1.95 1.22 3/179 17540
/proc/meminfo: memFree=29490136/32950928 swapFree=4192956/4192956
[pid=17535] ppid=17533 vsize=249756 CPUtime=162.3
/proc/17535/stat : 17535 (pbscip.linux.x8) R 17533 17535 16719 0 -1 4202496 994666 0 0 0 15642 588 0 0 25 0 1 0 21647657 255750144 60256 4089446400 4194304 9819077 140737314358480 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17535/statm: 62439 60256 703 1374 0 61060 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 249756
[startup+222.306 s]
/proc/loadavg: 2.00 1.95 1.26 3/179 17541
/proc/meminfo: memFree=29348976/32950928 swapFree=4192956/4192956
[pid=17535] ppid=17533 vsize=332152 CPUtime=222.3
/proc/17535/stat : 17535 (pbscip.linux.x8) R 17533 17535 16719 0 -1 4202496 1269342 0 0 0 21447 783 0 0 25 0 1 0 21647657 340123648 81173 4089446400 4194304 9819077 140737314358480 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17535/statm: 83038 81173 703 1374 0 81659 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 332152
[startup+282.301 s]
/proc/loadavg: 2.00 1.96 1.31 3/179 17543
/proc/meminfo: memFree=29212392/32950928 swapFree=4192956/4192956
[pid=17535] ppid=17533 vsize=415308 CPUtime=282.3
/proc/17535/stat : 17535 (pbscip.linux.x8) R 17533 17535 16719 0 -1 4202496 1545017 0 0 0 27255 975 0 0 25 0 1 0 21647657 425275392 102275 4089446400 4194304 9819077 140737314358480 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17535/statm: 103827 102275 703 1374 0 102448 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 415308
[startup+342.301 s]
/proc/loadavg: 2.00 1.96 1.35 3/179 17545
/proc/meminfo: memFree=29080284/32950928 swapFree=4192956/4192956
[pid=17535] ppid=17533 vsize=497496 CPUtime=342.3
/proc/17535/stat : 17535 (pbscip.linux.x8) R 17533 17535 16719 0 -1 4202496 1815182 0 0 0 33053 1177 0 0 25 0 1 0 21647657 509435904 123164 4089446400 4194304 9819077 140737314358480 18446744073709551615 7816459 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17535/statm: 124374 123164 703 1374 0 122995 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 497496
[startup+402.3 s]
/proc/loadavg: 2.00 1.97 1.39 3/179 17547
/proc/meminfo: memFree=28949052/32950928 swapFree=4192956/4192956
[pid=17535] ppid=17533 vsize=590024 CPUtime=402.3
/proc/17535/stat : 17535 (pbscip.linux.x8) R 17533 17535 16719 0 -1 4202496 2109051 0 0 0 38840 1390 0 0 25 0 1 0 21647657 604184576 144459 4089446400 4194304 9819077 140737314358480 18446744073709551615 4561370 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17535/statm: 147506 144459 703 1374 0 146127 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 590024
[startup+462.301 s]
/proc/loadavg: 2.00 1.97 1.42 3/179 17548
/proc/meminfo: memFree=28813344/32950928 swapFree=4192956/4192956
[pid=17535] ppid=17533 vsize=675304 CPUtime=462.31
/proc/17535/stat : 17535 (pbscip.linux.x8) R 17533 17535 16719 0 -1 4202496 2369251 0 0 0 44639 1592 0 0 25 0 1 0 21647657 691511296 166175 4089446400 4194304 9819077 140737314358480 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17535/statm: 168826 166175 703 1374 0 167447 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 675304
[startup+522.301 s]
/proc/loadavg: 2.00 1.97 1.46 3/179 17549
/proc/meminfo: memFree=28679240/32950928 swapFree=4192956/4192956
[pid=17535] ppid=17533 vsize=761260 CPUtime=522.31
/proc/17535/stat : 17535 (pbscip.linux.x8) R 17533 17535 16719 0 -1 4202496 2596275 0 0 0 50459 1772 0 0 25 0 1 0 21647657 779530240 187993 4089446400 4194304 9819077 140737314358480 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17535/statm: 190315 187993 703 1374 0 188936 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 761260
[startup+582.301 s]
/proc/loadavg: 2.00 1.97 1.48 3/179 17551
/proc/meminfo: memFree=28538944/32950928 swapFree=4192956/4192956
[pid=17535] ppid=17533 vsize=846028 CPUtime=582.3
/proc/17535/stat : 17535 (pbscip.linux.x8) R 17533 17535 16719 0 -1 4202496 2849668 0 0 0 56268 1962 0 0 25 0 1 0 21647657 866332672 209534 4089446400 4194304 9819077 140737314358480 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17535/statm: 211507 209534 703 1374 0 210128 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 846028
[startup+642.301 s]
/proc/loadavg: 2.03 1.99 1.52 3/179 17553
/proc/meminfo: memFree=28401364/32950928 swapFree=4192956/4192956
[pid=17535] ppid=17533 vsize=930988 CPUtime=642.3
/proc/17535/stat : 17535 (pbscip.linux.x8) R 17533 17535 16719 0 -1 4202496 3110791 0 0 0 62071 2159 0 0 25 0 1 0 21647657 953331712 231095 4089446400 4194304 9819077 140737314358480 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17535/statm: 232747 231095 703 1374 0 231368 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 930988
[startup+702.3 s]
################
# More data... #
################
/proc/17535/stat : 17535 (pbscip.linux.x8) R 17533 17535 16719 0 -1 4202496 4658009 0 0 0 102776 3455 0 0 25 0 1 0 21647657 1596280832 386338 4089446400 4194304 9819077 140737314358480 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17535/statm: 389717 386338 703 1374 0 388338 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 1558868
[startup+1122.3 s]
/proc/loadavg: 2.00 1.99 1.69 3/179 17565
/proc/meminfo: memFree=27277704/32950928 swapFree=4192956/4192956
[pid=17535] ppid=17533 vsize=1649744 CPUtime=1122.32
/proc/17535/stat : 17535 (pbscip.linux.x8) R 17533 17535 16719 0 -1 4202496 4841132 0 0 0 108598 3634 0 0 25 0 1 0 21647657 1689337856 409392 4089446400 4194304 9819077 140737314358480 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17535/statm: 412436 409392 703 1374 0 411057 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 1649744
[startup+1182.3 s]
/proc/loadavg: 2.05 2.00 1.72 3/179 17567
/proc/meminfo: memFree=27137632/32950928 swapFree=4192956/4192956
[pid=17535] ppid=17533 vsize=1738400 CPUtime=1182.32
/proc/17535/stat : 17535 (pbscip.linux.x8) R 17533 17535 16719 0 -1 4202496 5034040 0 0 0 114414 3818 0 0 25 0 1 0 21647657 1780121600 431975 4089446400 4194304 9819077 140737314358480 18446744073709551615 6003452 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17535/statm: 434600 431975 703 1374 0 433221 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 1738400
[startup+1242.3 s]
/proc/loadavg: 2.02 2.00 1.73 3/179 17569
/proc/meminfo: memFree=26991136/32950928 swapFree=4192956/4192956
[pid=17535] ppid=17533 vsize=1828576 CPUtime=1242.32
/proc/17535/stat : 17535 (pbscip.linux.x8) R 17533 17535 16719 0 -1 4202496 5213031 0 0 0 120235 3997 0 0 25 0 1 0 21647657 1872461824 454786 4089446400 4194304 9819077 140737314358480 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17535/statm: 457144 454786 703 1374 0 455765 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 1828576
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.74 3/179 17571
/proc/meminfo: memFree=26847860/32950928 swapFree=4192956/4192956
[pid=17535] ppid=17533 vsize=1919192 CPUtime=1302.32
/proc/17535/stat : 17535 (pbscip.linux.x8) R 17533 17535 16719 0 -1 4202496 5402777 0 0 0 126051 4181 0 0 25 0 1 0 21647657 1965252608 477845 4089446400 4194304 9819077 140737314358480 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17535/statm: 479798 477845 703 1374 0 478419 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 1919192
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.76 3/179 17572
/proc/meminfo: memFree=26700116/32950928 swapFree=4192956/4192956
[pid=17535] ppid=17533 vsize=2005404 CPUtime=1362.32
/proc/17535/stat : 17535 (pbscip.linux.x8) R 17533 17535 16719 0 -1 4202496 5628503 0 0 0 131857 4375 0 0 25 0 1 0 21647657 2053533696 499745 4089446400 4194304 9819077 140737314358480 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17535/statm: 501351 499745 703 1374 0 499972 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 2005404
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 1.77 3/179 17573
/proc/meminfo: memFree=26564876/32950928 swapFree=4192956/4192956
[pid=17535] ppid=17533 vsize=2092836 CPUtime=1422.33
/proc/17535/stat : 17535 (pbscip.linux.x8) R 17533 17535 16719 0 -1 4202496 5850782 0 0 0 137675 4558 0 0 25 0 1 0 21647657 2143064064 521859 4089446400 4194304 9819077 140737314358480 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17535/statm: 523209 521859 703 1374 0 521830 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 2092836
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.78 3/179 17575
/proc/meminfo: memFree=26429780/32950928 swapFree=4192956/4192956
[pid=17535] ppid=17533 vsize=2211928 CPUtime=1482.33
/proc/17535/stat : 17535 (pbscip.linux.x8) R 17533 17535 16719 0 -1 4202496 6041174 0 0 0 143498 4735 0 0 25 0 1 0 21647657 2265014272 543842 4089446400 4194304 9819077 140737314358480 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17535/statm: 552982 543842 703 1374 0 551603 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 2211928
[startup+1542.31 s]
/proc/loadavg: 1.93 1.98 1.79 3/179 17605
/proc/meminfo: memFree=27747040/32950928 swapFree=4192956/4192956
[pid=17535] ppid=17533 vsize=2300736 CPUtime=1542.33
/proc/17535/stat : 17535 (pbscip.linux.x8) R 17533 17535 16719 0 -1 4202496 6220537 0 0 0 149322 4911 0 0 25 0 1 0 21647657 2355953664 566385 4089446400 4194304 9819077 140737314358480 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17535/statm: 575184 566385 703 1374 0 573805 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 2300736
[startup+1602.3 s]
/proc/loadavg: 1.97 1.98 1.80 3/179 17607
/proc/meminfo: memFree=27635544/32950928 swapFree=4192956/4192956
[pid=17535] ppid=17533 vsize=2391236 CPUtime=1602.33
/proc/17535/stat : 17535 (pbscip.linux.x8) R 17533 17535 16719 0 -1 4202496 6408529 0 0 0 155131 5102 0 0 25 0 1 0 21647657 2448625664 589308 4089446400 4194304 9819077 140737314358480 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17535/statm: 597809 589308 703 1374 0 596430 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 2391236
[startup+1662.3 s]
/proc/loadavg: 1.99 1.98 1.81 3/179 17608
/proc/meminfo: memFree=27528956/32950928 swapFree=4192956/4192956
[pid=17535] ppid=17533 vsize=2480240 CPUtime=1662.33
/proc/17535/stat : 17535 (pbscip.linux.x8) R 17533 17535 16719 0 -1 4202496 6581708 0 0 0 160956 5277 0 0 25 0 1 0 21647657 2539765760 611955 4089446400 4194304 9819077 140737314358480 18446744073709551615 4902992 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17535/statm: 620060 611955 703 1374 0 618681 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 2480240
[startup+1722.3 s]
/proc/loadavg: 1.99 1.98 1.82 3/179 17609
/proc/meminfo: memFree=27421500/32950928 swapFree=4192956/4192956
[pid=17535] ppid=17533 vsize=2571284 CPUtime=1722.34
/proc/17535/stat : 17535 (pbscip.linux.x8) R 17533 17535 16719 0 -1 4202496 6749539 0 0 0 166777 5457 0 0 25 0 1 0 21647657 2632994816 635073 4089446400 4194304 9819077 140737314358480 18446744073709551615 6003129 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17535/statm: 642821 635073 703 1374 0 641442 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 2571284
[startup+1782.3 s]
/proc/loadavg: 1.99 1.98 1.83 3/179 17611
/proc/meminfo: memFree=27314676/32950928 swapFree=4192956/4192956
[pid=17535] ppid=17533 vsize=2658980 CPUtime=1782.34
/proc/17535/stat : 17535 (pbscip.linux.x8) R 17533 17535 16719 0 -1 4202496 6940171 0 0 0 172588 5646 0 0 25 0 1 0 21647657 2722795520 657252 4089446400 4194304 9819077 140737314358480 18446744073709551615 6388095 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17535/statm: 664745 657252 703 1374 0 663366 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 2658980
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 1.99 1.98 1.83 3/179 17612
/proc/meminfo: memFree=27283288/32950928 swapFree=4192956/4192956
[pid=17535] ppid=17533 vsize=2684776 CPUtime=1800.05
/proc/17535/stat : 17535 (pbscip.linux.x8) R 17533 17535 16719 0 -1 4202496 6993448 0 0 0 174306 5699 0 0 25 0 1 0 21647657 2749210624 663844 4089446400 4194304 9819077 140737314358480 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17535/statm: 671194 663844 703 1374 0 669815 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 2684776
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -17535
Solver just ended. Dumping a history of the last processes samples
[startup+1800.7 s]
/proc/loadavg: 1.99 1.98 1.83 3/180 17613
/proc/meminfo: memFree=27283280/32950928 swapFree=4192956/4192956
[pid=17535] ppid=17533 vsize=2684776 CPUtime=1800.74
/proc/17535/stat : 17535 (pbscip.linux.x8) R 17533 17535 16719 0 -1 4202496 6993464 0 0 0 174375 5699 0 0 25 0 1 0 21647657 2749210624 663847 4089446400 4194304 9819077 140737314358480 18446744073709551615 4670052 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/17535/statm: 671194 663847 706 1374 0 669815 0
Current children cumulated CPU time (s) 1800.74
Current children cumulated vsize (KiB) 2684776
[startup+1801.5 s]
/proc/loadavg: 1.99 1.98 1.83 3/180 17613
/proc/meminfo: memFree=27283280/32950928 swapFree=4192956/4192956
[pid=17535] ppid=17533 vsize=2684776 CPUtime=1801.54
/proc/17535/stat : 17535 (pbscip.linux.x8) R 17533 17535 16719 0 -1 4202496 6993464 0 0 0 174455 5699 0 0 25 0 1 0 21647657 2749210624 663847 4089446400 4194304 9819077 140737314358480 18446744073709551615 6180095 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/17535/statm: 671194 663847 706 1374 0 669815 0
Current children cumulated CPU time (s) 1801.54
Current children cumulated vsize (KiB) 2684776
[startup+1801.91 s]
/proc/loadavg: 1.99 1.98 1.83 3/180 17613
/proc/meminfo: memFree=27282412/32950928 swapFree=4192956/4192956
[pid=17535] ppid=17533 vsize=2684776 CPUtime=1801.94
/proc/17535/stat : 17535 (pbscip.linux.x8) R 17533 17535 16719 0 -1 4202496 6993464 0 0 0 174495 5699 0 0 25 0 1 0 21647657 2749210624 663847 4089446400 4194304 9819077 140737314358480 18446744073709551615 6180095 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/17535/statm: 671194 663847 706 1374 0 669815 0
Current children cumulated CPU time (s) 1801.94
Current children cumulated vsize (KiB) 2684776
[startup+1802 s]
/proc/loadavg: 1.99 1.98 1.83 3/180 17613
/proc/meminfo: memFree=27282412/32950928 swapFree=4192956/4192956
[pid=17535] ppid=17533 vsize=2684776 CPUtime=1802.04
/proc/17535/stat : 17535 (pbscip.linux.x8) R 17533 17535 16719 0 -1 4202496 6993464 0 0 0 174505 5699 0 0 25 0 1 0 21647657 2749210624 663847 4089446400 4194304 9819077 140737314358480 18446744073709551615 6162881 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/17535/statm: 671194 663847 706 1374 0 669815 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 2684776
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.09
CPU time (s): 1802.14
CPU user time (s): 1745.06
CPU system time (s): 57.0773
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 2684956
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1745.06
system time used= 57.0773
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6993464
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= 3
involuntary context switches= 940
runsolver used 2.46962 second user time and 5.87111 second system time
The end
Begin job on node124 at 2010-07-07 22:25:42
IDJOB=2700189
IDBENCH=79407
IDSOLVER=1205
FILE ID=node124/2700189-1278534342
PBS_JOBID= 11239230
Free space on /tmp= 130200 MiB
SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh304_wcsp.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2700189-1278534342/watcher-2700189-1278534342 -o /tmp/evaluation-result-2700189-1278534342/solver-2700189-1278534342 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2700189-1278534342.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 4141aec8f84b614aac5b3a0221093342
RANDOM SEED=1615604381
node124.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.846
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.846
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5226.14
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.846
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.846
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.846
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.75
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.846
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.82
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.846
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.76
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.846
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.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950928 kB
MemFree: 29865232 kB
Buffers: 131104 kB
Cached: 2515764 kB
SwapCached: 0 kB
Active: 1251960 kB
Inactive: 1724964 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 29865232 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 6240 kB
Writeback: 0 kB
AnonPages: 330560 kB
Mapped: 17336 kB
Slab: 76608 kB
PageTables: 5324 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 20668420 kB
Committed_AS: 479640 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 265212 kB
VmallocChunk: 34359471699 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 130192 MiB
End job on node124 at 2010-07-07 22:55:45