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-2700356-1278534951.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.03 c (round 2) 100 del vars, 101 del conss, 850 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1050 impls, 0 clqs
0.05/0.06 c (0.0s) probing: 101/950 (10.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.05/0.06 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.05/0.06 c presolving (3 rounds):
0.05/0.06 c 100 deleted vars, 101 deleted constraints, 850 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.05/0.06 c 1050 implications, 0 cliques
0.05/0.06 c presolved problem has 1800 variables (950 bin, 0 int, 0 impl, 850 cont) and 1700 constraints
0.05/0.06 c 850 constraints of type <indicator>
0.05/0.06 c 850 constraints of type <linear>
0.05/0.06 c transformed objective value is always integral (scale: 1)
0.05/0.06 c Presolving Time: 0.03
0.05/0.06 c - non default parameters ----------------------------------------------------------------------
0.05/0.06 c # SCIP version 1.2.1.2
0.05/0.06 c
0.05/0.06 c # frequency for displaying node information lines
0.05/0.06 c # [type: int, range: [-1,2147483647], default: 100]
0.05/0.06 c display/freq = 10000
0.05/0.06 c
0.05/0.06 c # maximal time in seconds to run
0.05/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.05/0.06 c limits/time = 1799.99
0.05/0.06 c
0.05/0.06 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.05/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.05/0.06 c limits/memory = 3420
0.05/0.06 c
0.05/0.06 c # should presolving try to simplify inequalities
0.05/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.05/0.06 c constraints/linear/simplifyinequalities = TRUE
0.05/0.06 c
0.05/0.06 c # should presolving try to simplify knapsacks
0.05/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.05/0.06 c constraints/knapsack/simplifyinequalities = TRUE
0.05/0.06 c
0.05/0.06 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.05/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.05/0.06 c separating/rapidlearning/freq = 0
0.05/0.06 c
0.05/0.06 c -----------------------------------------------------------------------------------------------
0.05/0.06 c start solving
0.05/0.06 c
0.05/0.06 o 420925
0.05/0.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.05/0.06 c t 0.0s| 1 | 0 | 0 | - |6127k| 0 | - |1800 |1700 | 0 | 0 | 0 | 0 | 0 | -- | 4.209250e+05 | Inf
0.05/0.06 c 0.0s| 1 | 0 | 0 | - |6524k| 0 | 0 |1800 |1700 |1800 | 0 | 0 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.05/0.06 c 0.0s| 1 | 0 | 39 | - |6564k| 0 | 0 |1800 |1700 |1800 | 68 | 68 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.05/0.07 c 0.0s| 1 | 0 | 126 | - |6618k| 0 | 48 |1800 |1700 |1800 | 123 | 123 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.05/0.08 c 0.1s| 1 | 0 | 196 | - |6796k| 0 | 73 |1800 |1700 |1800 | 179 | 179 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.09/0.10 c 0.1s| 1 | 0 | 238 | - |6851k| 0 | 83 |1800 |1700 |1800 | 188 | 188 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.09/0.12 c 0.1s| 1 | 0 | 273 | - |6884k| 0 | 83 |1800 |1700 |1800 | 197 | 197 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.09/0.14 c 0.1s| 1 | 0 | 299 | - |6911k| 0 | 84 |1800 |1700 |1800 | 200 | 200 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.49/0.54 c 0.5s| 1 | 2 | 493 | - |6963k| 0 | 84 |1800 |1700 |1800 | 200 | 200 | 0 | 33 | 0.000000e+00 | 4.209250e+05 | Inf
12.39/12.48 c 11.5s| 10000 | 10001 | 46878 | 4.7 | 19M| 159 | 0 |1800 |1700 |1800 | 281 |9281 | 0 | 776 | 0.000000e+00 | 4.209250e+05 | Inf
20.39/20.44 c 18.9s| 20000 | 20001 | 69150 | 3.4 | 29M| 159 | 0 |1800 |1700 |1800 | 294 | 15k| 0 | 776 | 0.000000e+00 | 4.209250e+05 | Inf
28.29/28.34 c 26.3s| 30000 | 30001 | 92941 | 3.1 | 40M| 159 | 0 |1800 |1700 |1800 | 322 | 21k| 0 | 776 | 0.000000e+00 | 4.209250e+05 | Inf
36.78/36.86 c 34.2s| 40000 | 40001 |137001 | 3.4 | 50M| 159 | 0 |1800 |1700 |1800 | 303 | 31k| 0 | 776 | 0.000000e+00 | 4.209250e+05 | Inf
45.58/45.70 c 42.4s| 50000 | 50001 |188536 | 3.8 | 60M| 159 | 0 |1800 |1700 |1800 | 300 | 41k| 0 | 776 | 0.000000e+00 | 4.209250e+05 | Inf
53.78/53.81 c 49.9s| 60000 | 60001 |220052 | 3.7 | 70M| 159 | 0 |1800 |1700 |1800 | 298 | 49k| 0 | 776 | 0.000000e+00 | 4.209250e+05 | Inf
61.98/62.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
61.98/62.06 c 57.6s| 70000 | 70001 |256272 | 3.7 | 80M| 159 | 5 |1800 |1700 |1800 | 221 | 58k| 0 | 788 | 0.000000e+00 | 4.209250e+05 | Inf
70.39/70.41 c 65.3s| 80000 | 80001 |293934 | 3.7 | 90M| 159 | 14 |1800 |1700 |1800 | 258 | 67k| 0 | 828 | 0.000000e+00 | 4.209250e+05 | Inf
78.48/78.54 c 72.9s| 90000 | 90001 |324354 | 3.6 | 100M| 159 | 10 |1800 |1700 |1800 | 290 | 76k| 0 | 874 | 0.000000e+00 | 4.209250e+05 | Inf
86.68/86.74 c 80.5s|100000 |100001 |356874 | 3.6 | 111M| 159 | 0 |1800 |1700 |1800 | 254 | 84k| 0 | 903 | 0.000000e+00 | 4.209250e+05 | Inf
94.88/94.97 c 88.2s|110000 |110001 |390553 | 3.5 | 121M| 159 | 3 |1800 |1700 |1800 | 312 | 93k| 0 | 957 | 0.000000e+00 | 4.209250e+05 | Inf
102.99/103.07 c 95.7s|120000 |120001 |419146 | 3.5 | 131M| 159 | 0 |1800 |1700 |1800 | 282 | 101k| 0 |1018 | 0.000000e+00 | 4.209250e+05 | Inf
111.18/111.24 c 103s|130000 |130001 |450585 | 3.5 | 141M| 159 | 0 |1800 |1700 |1800 | 310 | 109k| 0 |1055 | 0.000000e+00 | 4.209250e+05 | Inf
119.19/119.24 c 111s|140000 |140001 |478301 | 3.4 | 151M| 159 | 0 |1800 |1700 |1800 | 269 | 117k| 0 |1096 | 0.000000e+00 | 4.209250e+05 | Inf
127.09/127.16 c 118s|150000 |150001 |504001 | 3.4 | 161M| 159 | 0 |1800 |1700 |1800 | 289 | 124k| 0 |1147 | 0.000000e+00 | 4.209250e+05 | Inf
135.08/135.14 c 126s|160000 |160001 |532321 | 3.3 | 171M| 159 | 10 |1800 |1700 |1800 | 279 | 131k| 0 |1178 | 0.000000e+00 | 4.209250e+05 | Inf
142.89/142.99 c 133s|170000 |170001 |555516 | 3.3 | 181M| 159 | 0 |1800 |1700 |1800 | 301 | 138k| 0 |1208 | 0.000000e+00 | 4.209250e+05 | Inf
150.88/150.93 c 140s|180000 |180001 |581654 | 3.2 | 191M| 159 | 0 |1800 |1700 |1800 | 299 | 145k| 0 |1261 | 0.000000e+00 | 4.209250e+05 | Inf
158.78/158.84 c 148s|190000 |190001 |605338 | 3.2 | 201M| 159 | 0 |1800 |1700 |1800 | 316 | 151k| 0 |1292 | 0.000000e+00 | 4.209250e+05 | Inf
166.88/166.91 c 155s|200000 |200001 |634153 | 3.2 | 212M| 159 | 0 |1800 |1700 |1800 | 277 | 159k| 0 |1324 | 0.000000e+00 | 4.209250e+05 | Inf
174.90/174.92 c 163s|210000 |210001 |659505 | 3.1 | 222M| 171 | 27 |1800 |1700 |1800 | 251 | 166k| 0 |1354 | 0.000000e+00 | 4.209250e+05 | Inf
182.59/182.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
182.59/182.68 c 170s|220000 |220001 |681626 | 3.1 | 232M| 171 | 0 |1800 |1700 |1800 | 301 | 172k| 0 |1382 | 0.000000e+00 | 4.209250e+05 | Inf
190.49/190.53 c 177s|230000 |230001 |706757 | 3.1 | 242M| 171 | 5 |1800 |1700 |1800 | 279 | 179k| 0 |1417 | 0.000000e+00 | 4.209250e+05 | Inf
198.18/198.23 c 185s|240000 |240001 |728915 | 3.0 | 252M| 171 | 14 |1800 |1700 |1800 | 272 | 186k| 0 |1459 | 0.000000e+00 | 4.209250e+05 | Inf
206.09/206.17 c 192s|250000 |250001 |756683 | 3.0 | 262M| 171 | 22 |1800 |1700 |1800 | 272 | 193k| 0 |1491 | 0.000000e+00 | 4.209250e+05 | Inf
214.19/214.21 c 200s|260000 |260001 |783239 | 3.0 | 272M| 171 | 0 |1800 |1700 |1800 | 275 | 200k| 0 |1520 | 0.000000e+00 | 4.209250e+05 | Inf
221.99/222.03 c 207s|270000 |270001 |806060 | 3.0 | 282M| 171 | 0 |1800 |1700 |1800 | 256 | 206k| 0 |1543 | 0.000000e+00 | 4.209250e+05 | Inf
229.79/229.81 c 214s|280000 |280001 |831549 | 3.0 | 292M| 171 | 17 |1800 |1700 |1800 | 237 | 212k| 0 |1569 | 0.000000e+00 | 4.209250e+05 | Inf
237.29/237.38 c 221s|290000 |290001 |847982 | 2.9 | 302M| 177 | 0 |1800 |1700 |1800 | 296 | 217k| 0 |1594 | 0.000000e+00 | 4.209250e+05 | Inf
245.09/245.16 c 228s|300000 |300001 |872077 | 2.9 | 312M| 177 | 0 |1800 |1700 |1800 | 265 | 223k| 0 |1613 | 0.000000e+00 | 4.209250e+05 | Inf
252.99/253.06 c 236s|310000 |310001 |900678 | 2.9 | 322M| 177 | 0 |1800 |1700 |1800 | 232 | 231k| 0 |1637 | 0.000000e+00 | 4.209250e+05 | Inf
261.19/261.26 c 243s|320000 |320001 |933242 | 2.9 | 332M| 177 | 0 |1800 |1700 |1800 | 310 | 236k| 0 |1678 | 0.000000e+00 | 4.209250e+05 | Inf
269.09/269.16 c 251s|330000 |330001 |959531 | 2.9 | 342M| 177 | 14 |1800 |1700 |1800 | 308 | 241k| 0 |1708 | 0.000000e+00 | 4.209250e+05 | Inf
277.09/277.11 c 258s|340000 |340001 |985416 | 2.9 | 352M| 177 | 0 |1800 |1700 |1800 | 311 | 248k| 0 |1730 | 0.000000e+00 | 4.209250e+05 | Inf
284.90/284.90 c 266s|350000 |350001 | 1008k| 2.9 | 362M| 177 | 0 |1800 |1700 |1800 | 270 | 254k| 0 |1757 | 0.000000e+00 | 4.209250e+05 | Inf
292.59/292.60 c 273s|360000 |360001 | 1032k| 2.9 | 372M| 181 | 22 |1800 |1700 |1800 | 255 | 260k| 0 |1780 | 0.000000e+00 | 4.209250e+05 | Inf
300.19/300.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
300.19/300.21 c 280s|370000 |370001 | 1053k| 2.8 | 382M| 181 | 18 |1800 |1700 |1800 | 281 | 266k| 0 |1802 | 0.000000e+00 | 4.209250e+05 | Inf
307.79/307.84 c 287s|380000 |380001 | 1071k| 2.8 | 392M| 181 | 0 |1800 |1700 |1800 | 302 | 270k| 0 |1827 | 0.000000e+00 | 4.209250e+05 | Inf
315.29/315.36 c 294s|390000 |390001 | 1088k| 2.8 | 402M| 181 | 0 |1800 |1700 |1800 | 273 | 275k| 0 |1846 | 0.000000e+00 | 4.209250e+05 | Inf
322.89/322.94 c 301s|400000 |400001 | 1106k| 2.8 | 412M| 181 | 0 |1800 |1700 |1800 | 304 | 279k| 0 |1848 | 0.000000e+00 | 4.209250e+05 | Inf
330.59/330.61 c 308s|410000 |410001 | 1128k| 2.8 | 423M| 181 | 0 |1800 |1700 |1800 | 285 | 285k| 0 |1869 | 0.000000e+00 | 4.209250e+05 | Inf
338.19/338.22 c 315s|420000 |420001 | 1147k| 2.7 | 433M| 181 | 0 |1800 |1700 |1800 | 302 | 291k| 0 |1890 | 0.000000e+00 | 4.209250e+05 | Inf
345.99/346.02 c 323s|430000 |430001 | 1171k| 2.7 | 443M| 181 | 0 |1800 |1700 |1800 | 292 | 297k| 0 |1911 | 0.000000e+00 | 4.209250e+05 | Inf
353.59/353.64 c 330s|440000 |440001 | 1190k| 2.7 | 453M| 181 | 15 |1800 |1700 |1800 | 255 | 303k| 0 |1931 | 0.000000e+00 | 4.209250e+05 | Inf
361.00/361.04 c 337s|450000 |450001 | 1204k| 2.7 | 463M| 181 | 0 |1800 |1700 |1800 | 299 | 307k| 0 |1947 | 0.000000e+00 | 4.209250e+05 | Inf
368.60/368.66 c 344s|460000 |460001 | 1224k| 2.7 | 473M| 181 | 0 |1800 |1700 |1800 | 284 | 313k| 0 |1958 | 0.000000e+00 | 4.209250e+05 | Inf
376.29/376.37 c 351s|470000 |470001 | 1243k| 2.6 | 483M| 181 | 0 |1800 |1700 |1800 | 274 | 318k| 0 |1981 | 0.000000e+00 | 4.209250e+05 | Inf
383.99/384.06 c 358s|480000 |480001 | 1267k| 2.6 | 493M| 181 | 0 |1800 |1700 |1800 | 324 | 324k| 0 |2001 | 0.000000e+00 | 4.209250e+05 | Inf
391.79/391.80 c 365s|490000 |490001 | 1287k| 2.6 | 503M| 181 | 14 |1800 |1700 |1800 | 249 | 330k| 0 |2021 | 0.000000e+00 | 4.209250e+05 | Inf
399.40/399.49 c 373s|500000 |500001 | 1307k| 2.6 | 513M| 181 | 8 |1800 |1700 |1800 | 270 | 335k| 0 |2048 | 0.000000e+00 | 4.209250e+05 | Inf
406.90/406.99 c 380s|510000 |510001 | 1323k| 2.6 | 523M| 181 | 0 |1800 |1700 |1800 | 289 | 340k| 0 |2066 | 0.000000e+00 | 4.209250e+05 | Inf
414.70/414.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
414.70/414.71 c 387s|520000 |520001 | 1343k| 2.6 | 533M| 181 | 0 |1800 |1700 |1800 | 290 | 345k| 0 |2081 | 0.000000e+00 | 4.209250e+05 | Inf
422.09/422.12 c 394s|530000 |530001 | 1358k| 2.6 | 543M| 181 | 14 |1800 |1700 |1800 | 294 | 350k| 0 |2092 | 0.000000e+00 | 4.209250e+05 | Inf
429.80/429.80 c 401s|540000 |540001 | 1375k| 2.5 | 553M| 181 | 12 |1800 |1700 |1800 | 258 | 355k| 0 |2108 | 0.000000e+00 | 4.209250e+05 | Inf
437.49/437.58 c 408s|550000 |550001 | 1398k| 2.5 | 563M| 181 | 0 |1800 |1700 |1800 | 281 | 361k| 0 |2126 | 0.000000e+00 | 4.209250e+05 | Inf
445.19/445.28 c 415s|560000 |560001 | 1419k| 2.5 | 573M| 181 | 0 |1800 |1700 |1800 | 286 | 367k| 0 |2140 | 0.000000e+00 | 4.209250e+05 | Inf
452.89/452.95 c 423s|570000 |570001 | 1438k| 2.5 | 583M| 181 | 0 |1800 |1700 |1800 | 285 | 373k| 0 |2157 | 0.000000e+00 | 4.209250e+05 | Inf
460.49/460.58 c 430s|580000 |580001 | 1457k| 2.5 | 593M| 181 | 2 |1800 |1700 |1800 | 286 | 378k| 0 |2161 | 0.000000e+00 | 4.209250e+05 | Inf
468.10/468.15 c 437s|590000 |590001 | 1474k| 2.5 | 603M| 181 | 0 |1800 |1700 |1800 | 257 | 383k| 0 |2178 | 0.000000e+00 | 4.209250e+05 | Inf
475.59/475.67 c 444s|600000 |600001 | 1490k| 2.5 | 613M| 181 | 5 |1800 |1700 |1800 | 290 | 387k| 0 |2196 | 0.000000e+00 | 4.209250e+05 | Inf
483.40/483.49 c 451s|610000 |610001 | 1507k| 2.5 | 623M| 181 | 0 |1800 |1700 |1800 | 283 | 392k| 0 |2205 | 0.000000e+00 | 4.209250e+05 | Inf
491.10/491.19 c 458s|620000 |620001 | 1522k| 2.5 | 633M| 181 | 0 |1800 |1700 |1800 | 271 | 396k| 0 |2209 | 0.000000e+00 | 4.209250e+05 | Inf
498.80/498.80 c 466s|630000 |630001 | 1533k| 2.4 | 643M| 181 | 0 |1800 |1700 |1800 | 267 | 400k| 0 |2220 | 0.000000e+00 | 4.209250e+05 | Inf
506.20/506.24 c 472s|640000 |640001 | 1541k| 2.4 | 653M| 181 | 4 |1800 |1700 |1800 | 286 | 403k| 0 |2229 | 0.000000e+00 | 4.209250e+05 | Inf
514.00/514.01 c 480s|650000 |650001 | 1561k| 2.4 | 663M| 181 | 0 |1800 |1700 |1800 | 272 | 408k| 0 |2249 | 0.000000e+00 | 4.209250e+05 | Inf
521.70/521.70 c 487s|660000 |660001 | 1580k| 2.4 | 673M| 181 | 0 |1800 |1700 |1800 | 271 | 413k| 0 |2262 | 0.000000e+00 | 4.209250e+05 | Inf
529.40/529.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
529.40/529.40 c 494s|670000 |670001 | 1596k| 2.4 | 683M| 181 | 0 |1800 |1700 |1800 | 317 | 418k| 0 |2265 | 0.000000e+00 | 4.209250e+05 | Inf
536.90/536.91 c 501s|680000 |680001 | 1612k| 2.4 | 693M| 181 | 0 |1800 |1700 |1800 | 314 | 422k| 0 |2289 | 0.000000e+00 | 4.209250e+05 | Inf
544.59/544.67 c 508s|690000 |690001 | 1635k| 2.4 | 703M| 181 | 23 |1800 |1700 |1800 | 254 | 428k| 0 |2311 | 0.000000e+00 | 4.209250e+05 | Inf
552.30/552.30 c 516s|700000 |700001 | 1652k| 2.4 | 713M| 181 | 0 |1800 |1700 |1800 | 304 | 433k| 0 |2324 | 0.000000e+00 | 4.209250e+05 | Inf
559.91/559.96 c 523s|710000 |710001 | 1673k| 2.4 | 723M| 181 | 0 |1800 |1700 |1800 | 298 | 439k| 0 |2331 | 0.000000e+00 | 4.209250e+05 | Inf
567.50/567.54 c 530s|720000 |720001 | 1691k| 2.3 | 733M| 181 | 0 |1800 |1700 |1800 | 279 | 444k| 0 |2347 | 0.000000e+00 | 4.209250e+05 | Inf
575.10/575.20 c 537s|730000 |730001 | 1710k| 2.3 | 743M| 181 | 0 |1800 |1700 |1800 | 321 | 449k| 0 |2364 | 0.000000e+00 | 4.209250e+05 | Inf
582.50/582.55 c 544s|740000 |740001 | 1721k| 2.3 | 753M| 181 | 5 |1800 |1700 |1800 | 263 | 453k| 0 |2364 | 0.000000e+00 | 4.209250e+05 | Inf
590.00/590.08 c 551s|750000 |750001 | 1736k| 2.3 | 763M| 181 | 0 |1800 |1700 |1800 | 261 | 457k| 0 |2381 | 0.000000e+00 | 4.209250e+05 | Inf
597.70/597.73 c 558s|760000 |760001 | 1755k| 2.3 | 773M| 181 | 0 |1800 |1700 |1800 | 276 | 463k| 0 |2396 | 0.000000e+00 | 4.209250e+05 | Inf
605.30/605.30 c 565s|770000 |770001 | 1773k| 2.3 | 783M| 181 | 0 |1800 |1700 |1800 | 314 | 468k| 0 |2409 | 0.000000e+00 | 4.209250e+05 | Inf
612.71/612.75 c 572s|780000 |780001 | 1789k| 2.3 | 793M| 181 | 0 |1800 |1700 |1800 | 293 | 473k| 0 |2410 | 0.000000e+00 | 4.209250e+05 | Inf
620.31/620.40 c 579s|790000 |790001 | 1810k| 2.3 | 803M| 181 | 2 |1800 |1700 |1800 | 293 | 479k| 0 |2433 | 0.000000e+00 | 4.209250e+05 | Inf
628.01/628.05 c 586s|800000 |800001 | 1829k| 2.3 | 813M| 181 | 0 |1800 |1700 |1800 | 304 | 484k| 0 |2450 | 0.000000e+00 | 4.209250e+05 | Inf
635.40/635.49 c 593s|810000 |810001 | 1844k| 2.3 | 823M| 181 | 0 |1800 |1700 |1800 | 293 | 489k| 0 |2452 | 0.000000e+00 | 4.209250e+05 | Inf
642.70/642.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
642.70/642.72 c 600s|820000 |820001 | 1853k| 2.3 | 833M| 181 | 0 |1800 |1700 |1800 | 283 | 492k| 0 |2468 | 0.000000e+00 | 4.209250e+05 | Inf
650.50/650.51 c 607s|830000 |830001 | 1874k| 2.3 | 843M| 181 | 0 |1800 |1700 |1800 | 276 | 498k| 0 |2482 | 0.000000e+00 | 4.209250e+05 | Inf
658.10/658.19 c 615s|840000 |840001 | 1894k| 2.3 | 853M| 181 | 0 |1800 |1700 |1800 | 264 | 503k| 0 |2487 | 0.000000e+00 | 4.209250e+05 | Inf
665.70/665.75 c 622s|850000 |850001 | 1909k| 2.2 | 863M| 181 | 0 |1800 |1700 |1800 | 292 | 507k| 0 |2503 | 0.000000e+00 | 4.209250e+05 | Inf
673.40/673.40 c 629s|860000 |860001 | 1928k| 2.2 | 873M| 181 | 5 |1800 |1700 |1800 | 287 | 512k| 0 |2516 | 0.000000e+00 | 4.209250e+05 | Inf
681.01/681.08 c 636s|870000 |870001 | 1948k| 2.2 | 883M| 181 | 0 |1800 |1700 |1800 | 325 | 518k| 0 |2531 | 0.000000e+00 | 4.209250e+05 | Inf
688.71/688.80 c 643s|880000 |880001 | 1969k| 2.2 | 893M| 181 | 0 |1800 |1700 |1800 | 284 | 524k| 0 |2537 | 0.000000e+00 | 4.209250e+05 | Inf
696.50/696.52 c 650s|890000 |890001 | 1987k| 2.2 | 903M| 181 | 0 |1800 |1700 |1800 | 290 | 530k| 0 |2552 | 0.000000e+00 | 4.209250e+05 | Inf
703.90/703.98 c 657s|900000 |900001 | 2002k| 2.2 | 913M| 181 | 3 |1800 |1700 |1800 | 273 | 534k| 0 |2576 | 0.000000e+00 | 4.209250e+05 | Inf
711.51/711.60 c 664s|910000 |910001 | 2019k| 2.2 | 923M| 181 | 0 |1800 |1700 |1800 | 289 | 539k| 0 |2585 | 0.000000e+00 | 4.209250e+05 | Inf
719.10/719.15 c 672s|920000 |920001 | 2036k| 2.2 | 933M| 181 | 0 |1800 |1700 |1800 | 263 | 544k| 0 |2594 | 0.000000e+00 | 4.209250e+05 | Inf
726.70/726.76 c 679s|930000 |930001 | 2055k| 2.2 | 943M| 181 | 0 |1800 |1700 |1800 | 291 | 549k| 0 |2609 | 0.000000e+00 | 4.209250e+05 | Inf
734.30/734.33 c 686s|940000 |940001 | 2072k| 2.2 | 953M| 181 | 0 |1800 |1700 |1800 | 287 | 553k| 0 |2626 | 0.000000e+00 | 4.209250e+05 | Inf
742.01/742.02 c 693s|950000 |950001 | 2092k| 2.2 | 963M| 181 | 25 |1800 |1700 |1800 | 253 | 559k| 0 |2634 | 0.000000e+00 | 4.209250e+05 | Inf
749.60/749.67 c 700s|960000 |960001 | 2111k| 2.2 | 973M| 181 | 0 |1800 |1700 |1800 | 281 | 564k| 0 |2647 | 0.000000e+00 | 4.209250e+05 | Inf
757.01/757.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
757.01/757.02 c 707s|970000 |970001 | 2122k| 2.2 | 983M| 181 | 0 |1800 |1700 |1800 | 284 | 567k| 0 |2661 | 0.000000e+00 | 4.209250e+05 | Inf
764.31/764.36 c 714s|980000 |980001 | 2132k| 2.2 | 993M| 181 | 24 |1800 |1700 |1800 | 272 | 570k| 0 |2664 | 0.000000e+00 | 4.209250e+05 | Inf
772.00/772.05 c 721s|990000 |990001 | 2151k| 2.2 |1003M| 181 | 0 |1800 |1700 |1800 | 286 | 574k| 0 |2680 | 0.000000e+00 | 4.209250e+05 | Inf
779.60/779.62 c 728s| 1000k| 1000k| 2168k| 2.2 |1013M| 181 | 0 |1800 |1700 |1800 | 289 | 579k| 0 |2681 | 0.000000e+00 | 4.209250e+05 | Inf
787.30/787.30 c 735s| 1010k| 1010k| 2188k| 2.2 |1023M| 181 | 21 |1800 |1700 |1800 | 278 | 584k| 0 |2697 | 0.000000e+00 | 4.209250e+05 | Inf
794.91/794.93 c 742s| 1020k| 1020k| 2208k| 2.2 |1033M| 181 | 0 |1800 |1700 |1800 | 290 | 589k| 0 |2714 | 0.000000e+00 | 4.209250e+05 | Inf
802.50/802.53 c 749s| 1030k| 1030k| 2225k| 2.2 |1043M| 181 | 0 |1800 |1700 |1800 | 293 | 594k| 0 |2729 | 0.000000e+00 | 4.209250e+05 | Inf
810.11/810.14 c 757s| 1040k| 1040k| 2244k| 2.2 |1053M| 181 | 12 |1800 |1700 |1800 | 238 | 599k| 0 |2730 | 0.000000e+00 | 4.209250e+05 | Inf
817.61/817.64 c 764s| 1050k| 1050k| 2259k| 2.2 |1063M| 181 | 11 |1800 |1700 |1800 | 258 | 603k| 0 |2747 | 0.000000e+00 | 4.209250e+05 | Inf
825.21/825.29 c 771s| 1060k| 1060k| 2278k| 2.1 |1073M| 181 | 0 |1800 |1700 |1800 | 285 | 608k| 0 |2762 | 0.000000e+00 | 4.209250e+05 | Inf
832.61/832.68 c 778s| 1070k| 1070k| 2292k| 2.1 |1083M| 181 | 0 |1800 |1700 |1800 | 297 | 612k| 0 |2762 | 0.000000e+00 | 4.209250e+05 | Inf
840.41/840.40 c 785s| 1080k| 1080k| 2314k| 2.1 |1093M| 181 | 11 |1800 |1700 |1800 | 281 | 619k| 0 |2775 | 0.000000e+00 | 4.209250e+05 | Inf
848.11/848.18 c 792s| 1090k| 1090k| 2338k| 2.1 |1103M| 181 | 0 |1800 |1700 |1800 | 276 | 625k| 0 |2791 | 0.000000e+00 | 4.209250e+05 | Inf
855.71/855.80 c 799s| 1100k| 1100k| 2356k| 2.1 |1113M| 181 | 0 |1800 |1700 |1800 | 296 | 630k| 0 |2807 | 0.000000e+00 | 4.209250e+05 | Inf
863.31/863.35 c 806s| 1110k| 1110k| 2372k| 2.1 |1123M| 181 | 0 |1800 |1700 |1800 | 271 | 635k| 0 |2813 | 0.000000e+00 | 4.209250e+05 | Inf
870.70/870.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
870.70/870.77 c 813s| 1120k| 1120k| 2384k| 2.1 |1133M| 181 | 15 |1800 |1700 |1800 | 250 | 638k| 0 |2825 | 0.000000e+00 | 4.209250e+05 | Inf
878.10/878.12 c 820s| 1130k| 1130k| 2396k| 2.1 |1143M| 181 | 0 |1800 |1700 |1800 | 281 | 642k| 0 |2825 | 0.000000e+00 | 4.209250e+05 | Inf
885.41/885.45 c 827s| 1140k| 1140k| 2405k| 2.1 |1153M| 181 | 0 |1800 |1700 |1800 | 312 | 645k| 0 |2839 | 0.000000e+00 | 4.209250e+05 | Inf
892.71/892.73 c 834s| 1150k| 1150k| 2416k| 2.1 |1163M| 181 | 0 |1800 |1700 |1800 | 269 | 647k| 0 |2839 | 0.000000e+00 | 4.209250e+05 | Inf
900.00/900.06 c 841s| 1160k| 1160k| 2426k| 2.1 |1173M| 181 | 0 |1800 |1700 |1800 | 266 | 650k| 0 |2854 | 0.000000e+00 | 4.209250e+05 | Inf
907.51/907.58 c 848s| 1170k| 1170k| 2438k| 2.1 |1183M| 181 | 0 |1800 |1700 |1800 | 264 | 654k| 0 |2854 | 0.000000e+00 | 4.209250e+05 | Inf
915.00/915.04 c 855s| 1180k| 1180k| 2452k| 2.1 |1193M| 181 | 0 |1800 |1700 |1800 | 274 | 658k| 0 |2868 | 0.000000e+00 | 4.209250e+05 | Inf
922.41/922.49 c 862s| 1190k| 1190k| 2467k| 2.1 |1203M| 181 | 7 |1800 |1700 |1800 | 261 | 662k| 0 |2872 | 0.000000e+00 | 4.209250e+05 | Inf
930.01/930.04 c 869s| 1200k| 1200k| 2482k| 2.1 |1212M| 181 | 0 |1800 |1700 |1800 | 294 | 666k| 0 |2887 | 0.000000e+00 | 4.209250e+05 | Inf
937.71/937.79 c 876s| 1210k| 1210k| 2503k| 2.1 |1223M| 181 | 0 |1800 |1700 |1800 | 312 | 673k| 0 |2910 | 0.000000e+00 | 4.209250e+05 | Inf
945.40/945.46 c 883s| 1220k| 1220k| 2523k| 2.1 |1233M| 181 | 0 |1800 |1700 |1800 | 290 | 678k| 0 |2922 | 0.000000e+00 | 4.209250e+05 | Inf
953.01/953.06 c 890s| 1230k| 1230k| 2541k| 2.1 |1243M| 181 | 12 |1800 |1700 |1800 | 249 | 683k| 0 |2927 | 0.000000e+00 | 4.209250e+05 | Inf
960.51/960.59 c 897s| 1240k| 1240k| 2559k| 2.1 |1253M| 181 | 0 |1800 |1700 |1800 | 298 | 688k| 0 |2943 | 0.000000e+00 | 4.209250e+05 | Inf
968.30/968.31 c 905s| 1250k| 1250k| 2579k| 2.1 |1263M| 181 | 0 |1800 |1700 |1800 | 299 | 694k| 0 |2956 | 0.000000e+00 | 4.209250e+05 | Inf
975.91/975.98 c 912s| 1260k| 1260k| 2600k| 2.1 |1273M| 181 | 0 |1800 |1700 |1800 | 262 | 699k| 0 |2968 | 0.000000e+00 | 4.209250e+05 | Inf
983.61/983.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
983.61/983.66 c 919s| 1270k| 1270k| 2618k| 2.1 |1283M| 181 | 0 |1800 |1700 |1800 | 271 | 704k| 0 |2979 | 0.000000e+00 | 4.209250e+05 | Inf
991.31/991.32 c 926s| 1280k| 1280k| 2635k| 2.1 |1293M| 181 | 0 |1800 |1700 |1800 | 288 | 709k| 0 |2991 | 0.000000e+00 | 4.209250e+05 | Inf
998.91/998.98 c 933s| 1290k| 1290k| 2651k| 2.1 |1303M| 181 | 0 |1800 |1700 |1800 | 288 | 713k| 0 |2996 | 0.000000e+00 | 4.209250e+05 | Inf
1006.71/1006.77 c 941s| 1300k| 1300k| 2673k| 2.1 |1313M| 181 | 0 |1800 |1700 |1800 | 291 | 717k| 0 |3019 | 0.000000e+00 | 4.209250e+05 | Inf
1014.41/1014.44 c 948s| 1310k| 1310k| 2692k| 2.1 |1323M| 181 | 0 |1800 |1700 |1800 | 271 | 723k| 0 |3037 | 0.000000e+00 | 4.209250e+05 | Inf
1021.92/1021.97 c 955s| 1320k| 1320k| 2709k| 2.1 |1333M| 181 | 0 |1800 |1700 |1800 | 309 | 729k| 0 |3044 | 0.000000e+00 | 4.209250e+05 | Inf
1029.52/1029.54 c 962s| 1330k| 1330k| 2727k| 2.1 |1343M| 181 | 0 |1800 |1700 |1800 | 285 | 734k| 0 |3053 | 0.000000e+00 | 4.209250e+05 | Inf
1037.01/1037.05 c 969s| 1340k| 1340k| 2745k| 2.0 |1353M| 181 | 0 |1800 |1700 |1800 | 260 | 739k| 0 |3068 | 0.000000e+00 | 4.209250e+05 | Inf
1044.31/1044.31 c 976s| 1350k| 1350k| 2759k| 2.0 |1362M| 181 | 0 |1800 |1700 |1800 | 250 | 743k| 0 |3069 | 0.000000e+00 | 4.209250e+05 | Inf
1051.71/1051.75 c 983s| 1360k| 1360k| 2775k| 2.0 |1372M| 181 | 0 |1800 |1700 |1800 | 244 | 747k| 0 |3084 | 0.000000e+00 | 4.209250e+05 | Inf
1059.22/1059.24 c 990s| 1370k| 1370k| 2791k| 2.0 |1382M| 181 | 0 |1800 |1700 |1800 | 270 | 752k| 0 |3103 | 0.000000e+00 | 4.209250e+05 | Inf
1066.41/1066.47 c 997s| 1380k| 1380k| 2800k| 2.0 |1392M| 181 | 0 |1800 |1700 |1800 | 285 | 754k| 0 |3106 | 0.000000e+00 | 4.209250e+05 | Inf
1073.91/1073.90 c 1003s| 1390k| 1390k| 2813k| 2.0 |1402M| 181 | 6 |1800 |1700 |1800 | 269 | 757k| 0 |3108 | 0.000000e+00 | 4.209250e+05 | Inf
1081.41/1081.44 c 1011s| 1400k| 1400k| 2830k| 2.0 |1412M| 181 | 0 |1800 |1700 |1800 | 279 | 762k| 0 |3133 | 0.000000e+00 | 4.209250e+05 | Inf
1088.92/1088.97 c 1018s| 1410k| 1410k| 2845k| 2.0 |1422M| 181 | 0 |1800 |1700 |1800 | 326 | 766k| 0 |3134 | 0.000000e+00 | 4.209250e+05 | Inf
1096.52/1096.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1096.52/1096.58 c 1025s| 1420k| 1420k| 2860k| 2.0 |1432M| 181 | 0 |1800 |1700 |1800 | 283 | 770k| 0 |3149 | 0.000000e+00 | 4.209250e+05 | Inf
1104.01/1104.04 c 1032s| 1430k| 1430k| 2873k| 2.0 |1442M| 185 | 0 |1800 |1700 |1800 | 290 | 774k| 0 |3158 | 0.000000e+00 | 4.209250e+05 | Inf
1111.31/1111.38 c 1039s| 1440k| 1440k| 2881k| 2.0 |1452M| 185 | 0 |1800 |1700 |1800 | 274 | 776k| 0 |3164 | 0.000000e+00 | 4.209250e+05 | Inf
1118.91/1118.96 c 1046s| 1450k| 1450k| 2898k| 2.0 |1462M| 185 | 0 |1800 |1700 |1800 | 284 | 781k| 0 |3173 | 0.000000e+00 | 4.209250e+05 | Inf
1126.61/1126.61 c 1053s| 1460k| 1460k| 2919k| 2.0 |1472M| 185 | 25 |1800 |1700 |1800 | 274 | 786k| 0 |3181 | 0.000000e+00 | 4.209250e+05 | Inf
1134.12/1134.10 c 1060s| 1470k| 1470k| 2933k| 2.0 |1482M| 185 | 0 |1800 |1700 |1800 | 295 | 790k| 0 |3196 | 0.000000e+00 | 4.209250e+05 | Inf
1141.51/1141.59 c 1067s| 1480k| 1480k| 2950k| 2.0 |1492M| 185 | 0 |1800 |1700 |1800 | 306 | 794k| 0 |3199 | 0.000000e+00 | 4.209250e+05 | Inf
1149.11/1149.17 c 1074s| 1490k| 1490k| 2967k| 2.0 |1502M| 185 | 0 |1800 |1700 |1800 | 288 | 799k| 0 |3213 | 0.000000e+00 | 4.209250e+05 | Inf
1156.72/1156.77 c 1081s| 1500k| 1500k| 2982k| 2.0 |1512M| 185 | 0 |1800 |1700 |1800 | 315 | 804k| 0 |3224 | 0.000000e+00 | 4.209250e+05 | Inf
1164.21/1164.21 c 1088s| 1510k| 1510k| 2997k| 2.0 |1522M| 185 | 0 |1800 |1700 |1800 | 278 | 808k| 0 |3226 | 0.000000e+00 | 4.209250e+05 | Inf
1171.72/1171.70 c 1095s| 1520k| 1520k| 3012k| 2.0 |1532M| 185 | 6 |1800 |1700 |1800 | 254 | 812k| 0 |3239 | 0.000000e+00 | 4.209250e+05 | Inf
1179.02/1179.06 c 1102s| 1530k| 1530k| 3024k| 2.0 |1542M| 185 | 0 |1800 |1700 |1800 | 303 | 815k| 0 |3240 | 0.000000e+00 | 4.209250e+05 | Inf
1186.42/1186.44 c 1109s| 1540k| 1540k| 3037k| 2.0 |1552M| 185 | 0 |1800 |1700 |1800 | 268 | 819k| 0 |3256 | 0.000000e+00 | 4.209250e+05 | Inf
1193.72/1193.75 c 1116s| 1550k| 1550k| 3049k| 2.0 |1562M| 185 | 0 |1800 |1700 |1800 | 261 | 822k| 0 |3256 | 0.000000e+00 | 4.209250e+05 | Inf
1201.13/1201.18 c 1123s| 1560k| 1560k| 3062k| 2.0 |1572M| 185 | 0 |1800 |1700 |1800 | 298 | 825k| 0 |3274 | 0.000000e+00 | 4.209250e+05 | Inf
1208.62/1208.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1208.62/1208.63 c 1130s| 1570k| 1570k| 3076k| 2.0 |1582M| 191 | 0 |1800 |1700 |1800 | 309 | 829k| 0 |3274 | 0.000000e+00 | 4.209250e+05 | Inf
1215.82/1215.85 c 1136s| 1580k| 1580k| 3086k| 2.0 |1592M| 191 | 10 |1800 |1700 |1800 | 274 | 832k| 0 |3286 | 0.000000e+00 | 4.209250e+05 | Inf
1223.32/1223.32 c 1143s| 1590k| 1589k| 3102k| 2.0 |1602M| 191 | 0 |1800 |1703 |1800 | 301 | 836k| 3 |3287 | 0.000000e+00 | 4.209250e+05 | Inf
1230.93/1230.95 c 1150s| 1600k| 1599k| 3120k| 2.0 |1612M| 191 | 0 |1800 |1703 |1800 | 292 | 842k| 3 |3299 | 0.000000e+00 | 4.209250e+05 | Inf
1238.42/1238.46 c 1157s| 1610k| 1609k| 3135k| 1.9 |1622M| 191 | 0 |1800 |1703 |1800 | 292 | 846k| 3 |3306 | 0.000000e+00 | 4.209250e+05 | Inf
1246.02/1246.02 c 1165s| 1620k| 1619k| 3151k| 1.9 |1632M| 191 | 15 |1800 |1703 |1800 | 246 | 850k| 3 |3315 | 0.000000e+00 | 4.209250e+05 | Inf
1253.32/1253.39 c 1171s| 1630k| 1629k| 3162k| 1.9 |1642M| 191 | 0 |1800 |1703 |1800 | 262 | 854k| 3 |3325 | 0.000000e+00 | 4.209250e+05 | Inf
1260.92/1260.90 c 1178s| 1640k| 1639k| 3178k| 1.9 |1652M| 191 | 0 |1800 |1703 |1800 | 276 | 858k| 3 |3329 | 0.000000e+00 | 4.209250e+05 | Inf
1268.43/1268.46 c 1186s| 1650k| 1649k| 3194k| 1.9 |1662M| 191 | 0 |1800 |1703 |1800 | 318 | 863k| 3 |3341 | 0.000000e+00 | 4.209250e+05 | Inf
1276.12/1276.16 c 1193s| 1660k| 1659k| 3214k| 1.9 |1672M| 191 | 0 |1800 |1703 |1800 | 262 | 869k| 3 |3347 | 0.000000e+00 | 4.209250e+05 | Inf
1283.52/1283.55 c 1200s| 1670k| 1669k| 3225k| 1.9 |1682M| 191 | 6 |1800 |1703 |1800 | 319 | 872k| 3 |3356 | 0.000000e+00 | 4.209250e+05 | Inf
1291.12/1291.11 c 1207s| 1680k| 1679k| 3243k| 1.9 |1692M| 191 | 0 |1800 |1703 |1800 | 294 | 877k| 3 |3368 | 0.000000e+00 | 4.209250e+05 | Inf
1298.82/1298.80 c 1214s| 1690k| 1689k| 3263k| 1.9 |1702M| 191 | 0 |1800 |1703 |1800 | 272 | 880k| 3 |3373 | 0.000000e+00 | 4.209250e+05 | Inf
1306.32/1306.30 c 1221s| 1700k| 1699k| 3278k| 1.9 |1712M| 191 | 0 |1800 |1703 |1800 | 262 | 885k| 3 |3386 | 0.000000e+00 | 4.209250e+05 | Inf
1313.72/1313.74 c 1228s| 1710k| 1709k| 3288k| 1.9 |1722M| 191 | 0 |1800 |1703 |1800 | 287 | 888k| 3 |3387 | 0.000000e+00 | 4.209250e+05 | Inf
1321.32/1321.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1321.32/1321.39 c 1235s| 1720k| 1719k| 3302k| 1.9 |1732M| 191 | 0 |1800 |1703 |1800 | 286 | 892k| 3 |3398 | 0.000000e+00 | 4.209250e+05 | Inf
1328.92/1328.91 c 1242s| 1730k| 1729k| 3316k| 1.9 |1742M| 191 | 0 |1800 |1703 |1800 | 284 | 895k| 3 |3401 | 0.000000e+00 | 4.209250e+05 | Inf
1336.32/1336.32 c 1249s| 1740k| 1739k| 3329k| 1.9 |1752M| 191 | 19 |1800 |1703 |1800 | 282 | 899k| 3 |3412 | 0.000000e+00 | 4.209250e+05 | Inf
1343.82/1343.81 c 1256s| 1750k| 1749k| 3346k| 1.9 |1762M| 191 | 0 |1800 |1703 |1800 | 321 | 904k| 3 |3414 | 0.000000e+00 | 4.209250e+05 | Inf
1351.22/1351.27 c 1263s| 1760k| 1759k| 3359k| 1.9 |1772M| 191 | 0 |1800 |1703 |1800 | 261 | 907k| 3 |3427 | 0.000000e+00 | 4.209250e+05 | Inf
1358.73/1358.77 c 1270s| 1770k| 1769k| 3375k| 1.9 |1782M| 191 | 0 |1800 |1703 |1800 | 307 | 912k| 3 |3427 | 0.000000e+00 | 4.209250e+05 | Inf
1366.23/1366.22 c 1277s| 1780k| 1779k| 3388k| 1.9 |1792M| 191 | 0 |1800 |1703 |1800 | 290 | 915k| 3 |3443 | 0.000000e+00 | 4.209250e+05 | Inf
1373.83/1373.86 c 1284s| 1790k| 1789k| 3406k| 1.9 |1802M| 191 | 0 |1800 |1703 |1800 | 289 | 919k| 3 |3453 | 0.000000e+00 | 4.209250e+05 | Inf
1381.32/1381.37 c 1291s| 1800k| 1799k| 3420k| 1.9 |1812M| 191 | 0 |1800 |1703 |1800 | 292 | 924k| 3 |3455 | 0.000000e+00 | 4.209250e+05 | Inf
1388.83/1388.88 c 1298s| 1810k| 1809k| 3434k| 1.9 |1822M| 191 | 0 |1800 |1703 |1800 | 286 | 928k| 3 |3464 | 0.000000e+00 | 4.209250e+05 | Inf
1396.13/1396.19 c 1305s| 1820k| 1819k| 3445k| 1.9 |1832M| 191 | 0 |1800 |1703 |1800 | 270 | 931k| 3 |3467 | 0.000000e+00 | 4.209250e+05 | Inf
1403.73/1403.75 c 1312s| 1830k| 1829k| 3462k| 1.9 |1842M| 191 | 0 |1800 |1703 |1800 | 278 | 936k| 3 |3479 | 0.000000e+00 | 4.209250e+05 | Inf
1411.42/1411.40 c 1319s| 1840k| 1839k| 3482k| 1.9 |1852M| 191 | 0 |1800 |1703 |1800 | 317 | 942k| 3 |3482 | 0.000000e+00 | 4.209250e+05 | Inf
1419.03/1419.05 c 1327s| 1850k| 1849k| 3497k| 1.9 |1862M| 191 | 0 |1800 |1703 |1800 | 276 | 946k| 3 |3496 | 0.000000e+00 | 4.209250e+05 | Inf
1426.63/1426.62 c 1334s| 1860k| 1859k| 3513k| 1.9 |1872M| 191 | 0 |1800 |1703 |1800 | 266 | 950k| 3 |3507 | 0.000000e+00 | 4.209250e+05 | Inf
1434.03/1434.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1434.03/1434.06 c 1341s| 1870k| 1869k| 3526k| 1.9 |1882M| 191 | 17 |1800 |1703 |1800 | 285 | 954k| 3 |3513 | 0.000000e+00 | 4.209250e+05 | Inf
1441.63/1441.60 c 1348s| 1880k| 1879k| 3542k| 1.9 |1892M| 191 | 10 |1800 |1703 |1800 | 290 | 958k| 3 |3523 | 0.000000e+00 | 4.209250e+05 | Inf
1449.23/1449.24 c 1355s| 1890k| 1889k| 3560k| 1.9 |1902M| 191 | 0 |1800 |1703 |1800 | 275 | 963k| 3 |3527 | 0.000000e+00 | 4.209250e+05 | Inf
1456.83/1456.83 c 1362s| 1900k| 1899k| 3577k| 1.9 |1912M| 191 | 0 |1800 |1703 |1800 | 324 | 968k| 3 |3541 | 0.000000e+00 | 4.209250e+05 | Inf
1464.43/1464.44 c 1369s| 1910k| 1909k| 3594k| 1.9 |1922M| 191 | 0 |1800 |1703 |1800 | 267 | 973k| 3 |3543 | 0.000000e+00 | 4.209250e+05 | Inf
1472.03/1472.03 c 1376s| 1920k| 1919k| 3612k| 1.9 |1932M| 191 | 28 |1800 |1703 |1800 | 239 | 977k| 3 |3558 | 0.000000e+00 | 4.209250e+05 | Inf
1479.53/1479.54 c 1383s| 1930k| 1929k| 3627k| 1.9 |1942M| 191 | 0 |1800 |1703 |1800 | 296 | 981k| 3 |3569 | 0.000000e+00 | 4.209250e+05 | Inf
1487.03/1487.01 c 1390s| 1940k| 1939k| 3640k| 1.9 |1952M| 191 | 0 |1800 |1703 |1800 | 297 | 985k| 3 |3572 | 0.000000e+00 | 4.209250e+05 | Inf
1494.43/1494.45 c 1397s| 1950k| 1949k| 3655k| 1.9 |1962M| 191 | 0 |1800 |1703 |1800 | 289 | 990k| 3 |3582 | 0.000000e+00 | 4.209250e+05 | Inf
1502.13/1502.11 c 1404s| 1960k| 1959k| 3674k| 1.9 |1972M| 191 | 0 |1800 |1703 |1800 | 275 | 995k| 3 |3583 | 0.000000e+00 | 4.209250e+05 | Inf
1509.83/1509.84 c 1412s| 1970k| 1969k| 3692k| 1.9 |1982M| 191 | 0 |1800 |1703 |1800 | 264 |1000k| 3 |3596 | 0.000000e+00 | 4.209250e+05 | Inf
1517.43/1517.49 c 1419s| 1980k| 1979k| 3711k| 1.9 |1992M| 191 | 0 |1800 |1703 |1800 | 296 |1005k| 3 |3609 | 0.000000e+00 | 4.209250e+05 | Inf
1525.03/1525.05 c 1426s| 1990k| 1989k| 3727k| 1.9 |2002M| 191 | 6 |1800 |1703 |1800 | 291 |1010k| 3 |3610 | 0.000000e+00 | 4.209250e+05 | Inf
1532.43/1532.49 c 1433s| 2000k| 1999k| 3741k| 1.9 |2012M| 191 | 0 |1800 |1705 |1800 | 290 |1014k| 5 |3621 | 0.000000e+00 | 4.209250e+05 | Inf
1540.33/1540.30 c 1440s| 2010k| 2009k| 3765k| 1.9 |2022M| 191 | 0 |1800 |1705 |1800 | 334 |1020k| 5 |3634 | 0.000000e+00 | 4.209250e+05 | Inf
1547.93/1547.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1547.93/1547.97 c 1447s| 2020k| 2019k| 3784k| 1.9 |2032M| 191 | 0 |1800 |1705 |1800 | 303 |1026k| 5 |3644 | 0.000000e+00 | 4.209250e+05 | Inf
1555.64/1555.62 c 1454s| 2030k| 2029k| 3803k| 1.9 |2042M| 191 | 5 |1800 |1705 |1800 | 224 |1031k| 5 |3654 | 0.000000e+00 | 4.209250e+05 | Inf
1563.23/1563.21 c 1462s| 2040k| 2039k| 3820k| 1.9 |2052M| 191 | 0 |1800 |1705 |1800 | 295 |1037k| 5 |3664 | 0.000000e+00 | 4.209250e+05 | Inf
1570.74/1570.77 c 1469s| 2050k| 2049k| 3836k| 1.9 |2062M| 191 | 0 |1800 |1705 |1800 | 286 |1042k| 5 |3669 | 0.000000e+00 | 4.209250e+05 | Inf
1578.14/1578.13 c 1476s| 2060k| 2059k| 3848k| 1.9 |2072M| 191 | 0 |1800 |1705 |1800 | 270 |1046k| 5 |3681 | 0.000000e+00 | 4.209250e+05 | Inf
1585.63/1585.61 c 1483s| 2070k| 2069k| 3864k| 1.9 |2082M| 191 | 0 |1800 |1705 |1800 | 276 |1051k| 5 |3682 | 0.000000e+00 | 4.209250e+05 | Inf
1593.23/1593.26 c 1490s| 2080k| 2079k| 3883k| 1.9 |2092M| 191 | 0 |1800 |1705 |1800 | 297 |1056k| 5 |3697 | 0.000000e+00 | 4.209250e+05 | Inf
1600.83/1600.89 c 1497s| 2090k| 2089k| 3900k| 1.9 |2102M| 191 | 0 |1800 |1705 |1800 | 293 |1062k| 5 |3710 | 0.000000e+00 | 4.209250e+05 | Inf
1608.43/1608.49 c 1504s| 2100k| 2099k| 3916k| 1.9 |2112M| 191 | 0 |1800 |1705 |1800 | 298 |1067k| 5 |3712 | 0.000000e+00 | 4.209250e+05 | Inf
1616.03/1616.01 c 1511s| 2110k| 2109k| 3931k| 1.9 |2122M| 191 | 6 |1800 |1705 |1800 | 248 |1071k| 5 |3723 | 0.000000e+00 | 4.209250e+05 | Inf
1623.54/1623.54 c 1518s| 2120k| 2119k| 3946k| 1.9 |2132M| 191 | 0 |1800 |1705 |1800 | 293 |1075k| 5 |3726 | 0.000000e+00 | 4.209250e+05 | Inf
1630.84/1630.82 c 1525s| 2130k| 2129k| 3958k| 1.9 |2142M| 191 | 0 |1800 |1705 |1800 | 286 |1079k| 5 |3736 | 0.000000e+00 | 4.209250e+05 | Inf
1638.23/1638.26 c 1532s| 2140k| 2139k| 3972k| 1.9 |2152M| 191 | 0 |1800 |1705 |1800 | 298 |1082k| 5 |3739 | 0.000000e+00 | 4.209250e+05 | Inf
1645.73/1645.79 c 1539s| 2150k| 2149k| 3988k| 1.9 |2162M| 191 | 0 |1800 |1705 |1800 | 296 |1087k| 5 |3752 | 0.000000e+00 | 4.209250e+05 | Inf
1653.34/1653.38 c 1546s| 2160k| 2159k| 4005k| 1.9 |2172M| 191 | 0 |1800 |1705 |1800 | 293 |1092k| 5 |3753 | 0.000000e+00 | 4.209250e+05 | Inf
1661.04/1661.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1661.04/1661.04 c 1553s| 2170k| 2169k| 4024k| 1.9 |2182M| 191 | 0 |1800 |1705 |1800 | 307 |1098k| 5 |3770 | 0.000000e+00 | 4.209250e+05 | Inf
1668.64/1668.61 c 1560s| 2180k| 2179k| 4041k| 1.9 |2193M| 191 | 0 |1800 |1705 |1800 | 296 |1102k| 5 |3785 | 0.000000e+00 | 4.209250e+05 | Inf
1676.04/1676.05 c 1567s| 2190k| 2189k| 4057k| 1.9 |2202M| 191 | 0 |1800 |1705 |1800 | 292 |1107k| 5 |3785 | 0.000000e+00 | 4.209250e+05 | Inf
1683.63/1683.65 c 1574s| 2200k| 2199k| 4074k| 1.9 |2213M| 191 | 0 |1800 |1705 |1800 | 307 |1112k| 5 |3801 | 0.000000e+00 | 4.209250e+05 | Inf
1691.04/1691.08 c 1581s| 2210k| 2209k| 4086k| 1.8 |2223M| 191 | 6 |1800 |1705 |1800 | 283 |1115k| 5 |3801 | 0.000000e+00 | 4.209250e+05 | Inf
1698.64/1698.62 c 1588s| 2220k| 2219k| 4101k| 1.8 |2233M| 191 | 0 |1800 |1705 |1800 | 288 |1119k| 5 |3816 | 0.000000e+00 | 4.209250e+05 | Inf
1706.15/1706.13 c 1595s| 2230k| 2229k| 4117k| 1.8 |2243M| 191 | 0 |1800 |1705 |1800 | 269 |1124k| 5 |3818 | 0.000000e+00 | 4.209250e+05 | Inf
1713.44/1713.49 c 1602s| 2240k| 2239k| 4130k| 1.8 |2252M| 191 | 0 |1800 |1705 |1800 | 317 |1127k| 5 |3832 | 0.000000e+00 | 4.209250e+05 | Inf
1721.14/1721.15 c 1610s| 2250k| 2249k| 4147k| 1.8 |2263M| 191 | 0 |1800 |1705 |1800 | 298 |1133k| 5 |3832 | 0.000000e+00 | 4.209250e+05 | Inf
1728.74/1728.70 c 1617s| 2260k| 2259k| 4163k| 1.8 |2273M| 191 | 0 |1800 |1705 |1800 | 291 |1138k| 5 |3846 | 0.000000e+00 | 4.209250e+05 | Inf
1736.14/1736.19 c 1624s| 2270k| 2269k| 4179k| 1.8 |2283M| 191 | 0 |1800 |1705 |1800 | 308 |1144k| 5 |3855 | 0.000000e+00 | 4.209250e+05 | Inf
1743.84/1743.84 c 1631s| 2280k| 2279k| 4198k| 1.8 |2293M| 191 | 0 |1800 |1705 |1800 | 301 |1150k| 5 |3856 | 0.000000e+00 | 4.209250e+05 | Inf
1751.34/1751.38 c 1638s| 2290k| 2289k| 4214k| 1.8 |2303M| 191 | 0 |1800 |1705 |1800 | 299 |1155k| 5 |3868 | 0.000000e+00 | 4.209250e+05 | Inf
1758.94/1758.93 c 1645s| 2300k| 2299k| 4230k| 1.8 |2313M| 191 | 0 |1800 |1705 |1800 | 284 |1160k| 5 |3886 | 0.000000e+00 | 4.209250e+05 | Inf
1766.34/1766.36 c 1652s| 2310k| 2309k| 4243k| 1.8 |2323M| 191 | 0 |1800 |1705 |1800 | 295 |1163k| 5 |3898 | 0.000000e+00 | 4.209250e+05 | Inf
1773.94/1773.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1773.94/1773.95 c 1659s| 2320k| 2319k| 4258k| 1.8 |2333M| 191 | 0 |1800 |1705 |1800 | 284 |1168k| 5 |3900 | 0.000000e+00 | 4.209250e+05 | Inf
1782.04/1782.03 c 1666s| 2330k| 2329k| 4287k| 1.8 |2343M| 191 | 27 |1800 |1705 |1800 | 255 |1173k| 5 |3917 | 0.000000e+00 | 4.209250e+05 | Inf
1790.24/1790.28 c 1674s| 2340k| 2339k| 4321k| 1.8 |2353M| 191 | 0 |1800 |1705 |1800 | 302 |1178k| 5 |3932 | 0.000000e+00 | 4.209250e+05 | Inf
1797.84/1797.89 c 1681s| 2350k| 2349k| 4340k| 1.8 |2363M| 191 | 0 |1800 |1705 |1800 | 296 |1184k| 5 |3946 | 0.000000e+00 | 4.209250e+05 | Inf
1800.05/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.00 c
1800.05/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.00 c Solving Time (sec) : 1683.25
1800.05/1800.00 c Solving Nodes : 2352829
1800.05/1800.00 c Primal Bound : +4.20925000000000e+05 (100 solutions)
1800.05/1800.00 c Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Gap : infinite
1800.05/1800.01 s SATISFIABLE
1800.05/1800.01 v x200 -x199 x198 -x197 x196 -x195 x194 -x193 x192 -x191 x190 -x189 x188 -x187 x186 -x185 x184 -x183 x182 -x181 x180 -x179 x178 -x177
1800.05/1800.01 v x176 -x175 x174 -x173 x172 -x171 x170 -x169 x168 -x167 x166 -x165 x164 -x163 x162 -x161 x160 -x159 x158 -x157 x156 -x155
1800.05/1800.01 v x154 -x153 x152 -x151 x150 -x149 x148 -x147 x146 -x145 x144 -x143 x142 -x141 x140 -x139 x138 -x137 x136 -x135 x134 -x133 x132
1800.05/1800.01 v -x131 x130 -x129 x128 -x127 x126 -x125 x124 -x123 x122 -x121 x120 -x119 x118 -x117 x116 -x115 x114 -x113 x112 -x111 x110 -x109
1800.05/1800.01 v x108 -x107 x106 -x105 x104 -x103 x102 -x101 x100 -x99 x98 -x97 x96 -x95 x94 -x93 x92 -x91 x90 -x89 x88 -x87 x86 -x85 x84
1800.05/1800.01 v -x83 x82 -x81 x80 -x79 x78 -x77 x76 -x75 x74 -x73 x72 -x71 x70 -x69 x68 -x67 x66 -x65 x64 -x63 x62 -x61 x60 -x59 x58 -x57 x56
1800.05/1800.01 v -x55 x54 -x53 x52 -x51 x50 -x49 x48 -x47 x46 -x45 x44 -x43 x42 -x41 x40 -x39 x38 -x37 x36 -x35 x34 -x33 x32 -x31 x30 -x29 x28
1800.05/1800.01 v -x27 x26 -x25 x24 -x23 x22 -x21 x20 -x19 x18 -x17 x16 -x15 x14 -x13 x12 -x11 x10 -x9 x8 -x7 x6 -x5 x4 -x3 x2 -x1
1800.05/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.01 c Solving Time : 1683.25
1800.05/1800.01 c Original Problem :
1800.05/1800.01 c Problem name : HOME/instance-2700356-1278534951.wbo
1800.05/1800.01 c Variables : 1900 (1050 binary, 0 integer, 0 implicit integer, 850 continuous)
1800.05/1800.01 c Constraints : 1801 initial, 1801 maximal
1800.05/1800.01 c Presolved Problem :
1800.05/1800.01 c Problem name : t_HOME/instance-2700356-1278534951.wbo
1800.05/1800.01 c Variables : 1800 (950 binary, 0 integer, 0 implicit integer, 850 continuous)
1800.05/1800.01 c Constraints : 1700 initial, 1705 maximal
1800.05/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c probing : 0.01 0 0 0 0 0 0 0 0
1800.05/1800.01 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c linear : 0.02 0 100 0 850 0 101 0 0
1800.05/1800.01 c logicor : 0.00 0 0 0 0 0 0 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 2619169 0 0 0 0 0 851492
1800.05/1800.01 c indicator : 850 0 3241327 2193423 0 0 2453558 0 0 0
1800.05/1800.01 c linear : 850 6 3241327 2193423 0 2 1001314 1185207 0 0
1800.05/1800.01 c logicor : 0+ 0 22890 0 0 0 4060 0 0 0
1800.05/1800.01 c countsols : 0 0 0 1927081 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.82 0.00 0.00 7.82 0.00
1800.05/1800.01 c indicator : 146.88 0.00 30.34 116.54 0.00
1800.05/1800.01 c linear : 32.75 0.00 12.53 20.22 0.00
1800.05/1800.01 c logicor : 0.03 0.00 0.03 0.00 0.00
1800.05/1800.01 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.01 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.01 c vbounds : 0.00 2 0 0
1800.05/1800.01 c rootredcost : 0.00 0 0 0
1800.05/1800.01 c pseudoobj : 48.73 3241127 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 2 2 2 5.5 3 3.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 : - - - 5 4.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 - - 14 - (maximal pool size: 47)
1800.05/1800.01 c redcost : 90.51 2618854 0 0 0 0
1800.05/1800.01 c impliedbounds : 0.00 4 0 0 0 0
1800.05/1800.01 c intobj : 0.00 0 0 0 0 0
1800.05/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.01 c gomory : 0.02 4 0 0 53 0
1800.05/1800.01 c strongcg : 0.02 4 0 0 0 0
1800.05/1800.01 c cmir : 0.00 4 0 0 0 0
1800.05/1800.01 c flowcover : 0.03 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 : 7.82 425746 0 0 0 0 851492
1800.05/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.01 c inference : 133.37 1927081 0 0 0 0 3854162
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 : 0.00 1 0
1800.05/1800.01 c intshifting : 0.02 14 0
1800.05/1800.01 c crossover : 0.14 13 0
1800.05/1800.01 c linesearchdiving : 13.95 25257 0
1800.05/1800.01 c guideddiving : 12.83 25257 0
1800.05/1800.01 c coefdiving : 13.35 25258 0
1800.05/1800.01 c pscostdiving : 13.43 25258 0
1800.05/1800.01 c fracdiving : 12.78 25258 0
1800.05/1800.01 c veclendiving : 13.34 25258 0
1800.05/1800.01 c objpscostdiving : 14.09 25237 0
1800.05/1800.01 c rootsoldiving : 14.34 25237 0
1800.05/1800.01 c trivial : 0.01 2 1
1800.05/1800.01 c simplerounding : 0.02 425684 0
1800.05/1800.01 c zirounding : 0.04 1000 0
1800.05/1800.01 c rounding : 0.58 9246 0
1800.05/1800.01 c shifting : 1.80 2903 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.00 0 0
1800.05/1800.01 c trysol : 0.12 28966 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 : 698.89 834169 4343617 5.21 6215.02
1800.05/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.01 c diving/probing LP: 0.13 327 1159 3.54 8915.38
1800.05/1800.01 c strong branching : 5.45 3946 84708 21.47 15542.75
1800.05/1800.01 c (at root node) : - 33 6441 195.18 -
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 : 2352829
1800.05/1800.01 c nodes (total) : 2352829
1800.05/1800.01 c nodes left : 2352826
1800.05/1800.01 c max depth : 191
1800.05/1800.01 c max depth (total): 191
1800.05/1800.01 c backtracks : 25372 (1.1%)
1800.05/1800.01 c delayed cutoffs : 0
1800.05/1800.01 c repropagations : 27 (6 domain reductions, 0 cutoffs)
1800.05/1800.01 c avg switch length: 2.29
1800.05/1800.01 c switching time : 66.79
1800.05/1800.01 c Solution :
1800.05/1800.01 c Solutions found : 100 (1 improvements)
1800.05/1800.01 c First Solution : +4.20925000000000e+05 (in run 1, after 1 nodes, 0.03 seconds, depth 0, found by <trivial>)
1800.05/1800.01 c Primal Bound : +4.20925000000000e+05 (in run 1, after 1 nodes, 0.03 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 : 299
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700356-1278534951/watcher-2700356-1278534951 -o /tmp/evaluation-result-2700356-1278534951/solver-2700356-1278534951 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2700356-1278534951.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 2.57 2.08 3/177 16101
/proc/meminfo: memFree=29535184/32950928 swapFree=67111528/67111528
[pid=16101] ppid=16099 vsize=9284 CPUtime=0
/proc/16101/stat : 16101 (pbscip.linux.x8) R 16099 16101 15410 0 -1 4202496 1620 0 0 0 0 0 0 0 21 0 1 0 21642363 9506816 1539 4089446400 4194304 8223781 140734613423776 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/16101/statm: 2321 1556 369 984 0 1334 0
[startup+0.054745 s]
/proc/loadavg: 2.00 2.57 2.08 3/177 16101
/proc/meminfo: memFree=29535184/32950928 swapFree=67111528/67111528
[pid=16101] ppid=16099 vsize=20528 CPUtime=0.05
/proc/16101/stat : 16101 (pbscip.linux.x8) R 16099 16101 15410 0 -1 4202496 5340 0 0 0 4 1 0 0 21 0 1 0 21642363 21020672 4124 4089446400 4194304 8223781 140734613423776 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16101/statm: 5132 4124 462 984 0 4145 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 20528
[startup+0.100732 s]
/proc/loadavg: 2.00 2.57 2.08 3/177 16101
/proc/meminfo: memFree=29535184/32950928 swapFree=67111528/67111528
[pid=16101] ppid=16099 vsize=23820 CPUtime=0.09
/proc/16101/stat : 16101 (pbscip.linux.x8) R 16099 16101 15410 0 -1 4202496 6259 0 0 0 8 1 0 0 21 0 1 0 21642363 24391680 5032 4089446400 4194304 8223781 140734613423776 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16101/statm: 5955 5032 564 984 0 4968 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23820
[startup+0.300697 s]
/proc/loadavg: 2.00 2.57 2.08 3/177 16101
/proc/meminfo: memFree=29535184/32950928 swapFree=67111528/67111528
[pid=16101] ppid=16099 vsize=24292 CPUtime=0.29
/proc/16101/stat : 16101 (pbscip.linux.x8) R 16099 16101 15410 0 -1 4202496 9523 0 0 0 26 3 0 0 21 0 1 0 21642363 24875008 5192 4089446400 4194304 8223781 140734613423776 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16101/statm: 6073 5192 578 984 0 5086 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24292
[startup+0.700617 s]
/proc/loadavg: 2.00 2.57 2.08 3/177 16101
/proc/meminfo: memFree=29535184/32950928 swapFree=67111528/67111528
[pid=16101] ppid=16099 vsize=24292 CPUtime=0.69
/proc/16101/stat : 16101 (pbscip.linux.x8) R 16099 16101 15410 0 -1 4202496 9535 0 0 0 63 6 0 0 22 0 1 0 21642363 24875008 5192 4089446400 4194304 8223781 140734613423776 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16101/statm: 6073 5192 578 984 0 5086 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24292
[startup+1.50048 s]
/proc/loadavg: 2.00 2.56 2.08 3/178 16102
/proc/meminfo: memFree=29516204/32950928 swapFree=67111528/67111528
[pid=16101] ppid=16099 vsize=24292 CPUtime=1.49
/proc/16101/stat : 16101 (pbscip.linux.x8) R 16099 16101 15410 0 -1 4202496 9535 0 0 0 136 13 0 0 25 0 1 0 21642363 24875008 5192 4089446400 4194304 8223781 140734613423776 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16101/statm: 6073 5192 578 984 0 5086 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24292
[startup+3.10016 s]
/proc/loadavg: 2.00 2.56 2.08 3/178 16102
/proc/meminfo: memFree=29516976/32950928 swapFree=67111528/67111528
[pid=16101] ppid=16099 vsize=24292 CPUtime=3.09
/proc/16101/stat : 16101 (pbscip.linux.x8) R 16099 16101 15410 0 -1 4202496 9562 0 0 0 283 26 0 0 25 0 1 0 21642363 24875008 5205 4089446400 4194304 8223781 140734613423776 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16101/statm: 6073 5205 581 984 0 5086 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 24292
[startup+6.30054 s]
/proc/loadavg: 2.00 2.55 2.08 3/178 16102
/proc/meminfo: memFree=29512016/32950928 swapFree=67111528/67111528
[pid=16101] ppid=16099 vsize=30872 CPUtime=6.29
/proc/16101/stat : 16101 (pbscip.linux.x8) R 16099 16101 15410 0 -1 4202496 20466 0 0 0 577 52 0 0 25 0 1 0 21642363 31612928 6741 4089446400 4194304 8223781 140734613423776 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16101/statm: 7718 6741 582 984 0 6731 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 30872
[startup+12.7003 s]
/proc/loadavg: 2.00 2.54 2.08 3/178 16102
/proc/meminfo: memFree=29501992/32950928 swapFree=67111528/67111528
[pid=16101] ppid=16099 vsize=40032 CPUtime=12.69
/proc/16101/stat : 16101 (pbscip.linux.x8) R 16099 16101 15410 0 -1 4202496 29087 0 0 0 1172 97 0 0 25 0 1 0 21642363 40992768 9081 4089446400 4194304 8223781 140734613423776 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16101/statm: 10008 9081 582 984 0 9021 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 40032
[startup+25.5009 s]
/proc/loadavg: 2.00 2.52 2.08 3/178 16102
/proc/meminfo: memFree=29483684/32950928 swapFree=67111528/67111528
[pid=16101] ppid=16099 vsize=56940 CPUtime=25.5
/proc/16101/stat : 16101 (pbscip.linux.x8) R 16099 16101 15410 0 -1 4202496 39637 0 0 0 2366 184 0 0 25 0 1 0 21642363 58306560 13359 4089446400 4194304 8223781 140734613423776 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/16101/statm: 14235 13359 582 984 0 13248 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 56940
[startup+51.1009 s]
/proc/loadavg: 2.00 2.47 2.08 3/178 16102
/proc/meminfo: memFree=29446080/32950928 swapFree=67111528/67111528
[pid=16101] ppid=16099 vsize=88780 CPUtime=51.08
/proc/16101/stat : 16101 (pbscip.linux.x8) R 16099 16101 15410 0 -1 4202496 50844 0 0 0 4742 366 0 0 25 0 1 0 21642363 90910720 21431 4089446400 4194304 8223781 140734613423776 18446744073709551615 4561440 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16101/statm: 22195 21431 582 984 0 21208 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 88780
[startup+102.306 s]
/proc/loadavg: 2.00 2.40 2.07 3/178 16104
/proc/meminfo: memFree=29333308/32950928 swapFree=67111528/67111528
[pid=16101] ppid=16099 vsize=153192 CPUtime=102.29
/proc/16101/stat : 16101 (pbscip.linux.x8) R 16099 16101 15410 0 -1 4202496 69830 0 0 0 9504 725 0 0 25 0 1 0 21642363 156868608 37272 4089446400 4194304 8223781 140734613423776 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16101/statm: 38298 37272 582 984 0 37311 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 153192
[startup+162.301 s]
/proc/loadavg: 2.00 2.32 2.07 3/178 16106
/proc/meminfo: memFree=29171800/32950928 swapFree=67111528/67111528
[pid=16101] ppid=16099 vsize=226724 CPUtime=162.28
/proc/16101/stat : 16101 (pbscip.linux.x8) R 16099 16101 15410 0 -1 4202496 88530 0 0 0 15106 1122 0 0 25 0 1 0 21642363 232165376 55964 4089446400 4194304 8223781 140734613423776 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16101/statm: 56681 55964 582 984 0 55694 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 226724
[startup+222.301 s]
/proc/loadavg: 2.06 2.28 2.06 3/178 16108
/proc/meminfo: memFree=29037548/32950928 swapFree=67111528/67111528
[pid=16101] ppid=16099 vsize=307876 CPUtime=222.28
/proc/16101/stat : 16101 (pbscip.linux.x8) R 16099 16101 15410 0 -1 4202496 111221 0 0 0 20710 1518 0 0 25 0 1 0 21642363 315265024 75514 4089446400 4194304 8223781 140734613423776 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16101/statm: 76969 75514 582 984 0 75982 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 307876
[startup+282.3 s]
/proc/loadavg: 2.02 2.22 2.06 3/178 16108
/proc/meminfo: memFree=28877904/32950928 swapFree=67111528/67111528
[pid=16101] ppid=16099 vsize=384084 CPUtime=282.29
/proc/16101/stat : 16101 (pbscip.linux.x8) R 16099 16101 15410 0 -1 4202496 130559 0 0 0 26308 1921 0 0 25 0 1 0 21642363 393302016 94851 4089446400 4194304 8223781 140734613423776 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16101/statm: 96021 94851 582 984 0 95034 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 384084
[startup+342.301 s]
/proc/loadavg: 2.00 2.18 2.05 3/178 16110
/proc/meminfo: memFree=28726916/32950928 swapFree=67111528/67111528
[pid=16101] ppid=16099 vsize=460008 CPUtime=342.29
/proc/16101/stat : 16101 (pbscip.linux.x8) R 16099 16101 15410 0 -1 4202496 153014 0 0 0 31913 2316 0 0 25 0 1 0 21642363 471048192 114163 4089446400 4194304 8223781 140734613423776 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16101/statm: 115002 114163 582 984 0 114015 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 460008
[startup+402.3 s]
/proc/loadavg: 2.00 2.14 2.05 3/178 16112
/proc/meminfo: memFree=28607940/32950928 swapFree=67111528/67111528
[pid=16101] ppid=16099 vsize=547452 CPUtime=402.29
/proc/16101/stat : 16101 (pbscip.linux.x8) R 16099 16101 15410 0 -1 4202496 173136 0 0 0 37520 2709 0 0 25 0 1 0 21642363 560590848 134280 4089446400 4194304 8223781 140734613423776 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16101/statm: 136863 134280 582 984 0 135876 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 547452
[startup+462.301 s]
/proc/loadavg: 2.00 2.12 2.04 3/178 16114
/proc/meminfo: memFree=28486596/32950928 swapFree=67111528/67111528
[pid=16101] ppid=16099 vsize=625020 CPUtime=462.3
/proc/16101/stat : 16101 (pbscip.linux.x8) R 16099 16101 15410 0 -1 4202496 192836 0 0 0 43126 3104 0 0 25 0 1 0 21642363 640020480 153979 4089446400 4194304 8223781 140734613423776 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16101/statm: 156255 153979 582 984 0 155268 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 625020
[startup+522.301 s]
/proc/loadavg: 2.07 2.11 2.04 3/178 16116
/proc/meminfo: memFree=28394392/32950928 swapFree=67111528/67111528
[pid=16101] ppid=16099 vsize=701680 CPUtime=522.3
/proc/16101/stat : 16101 (pbscip.linux.x8) R 16099 16101 15410 0 -1 4202496 212285 0 0 0 48752 3478 0 0 25 0 1 0 21642363 718520320 173428 4089446400 4194304 8223781 140734613423776 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16101/statm: 175420 173428 582 984 0 174433 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 701680
[startup+582.301 s]
/proc/loadavg: 2.02 2.09 2.04 3/178 16117
/proc/meminfo: memFree=28273788/32950928 swapFree=67111528/67111528
[pid=16101] ppid=16099 vsize=778900 CPUtime=582.3
/proc/16101/stat : 16101 (pbscip.linux.x8) R 16099 16101 15410 0 -1 4202496 231897 0 0 0 54365 3865 0 0 25 0 1 0 21642363 797593600 193039 4089446400 4194304 8223781 140734613423776 18446744073709551615 6456034 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16101/statm: 194725 193039 582 984 0 193738 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 778900
[startup+642.301 s]
/proc/loadavg: 2.01 2.07 2.03 3/178 16118
/proc/meminfo: memFree=28189900/32950928 swapFree=67111528/67111528
[pid=16101] ppid=16099 vsize=857292 CPUtime=642.31
/proc/16101/stat : 16101 (pbscip.linux.x8) R 16099 16101 15410 0 -1 4202496 254964 0 0 0 59976 4255 0 0 25 0 1 0 21642363 877867008 212974 4089446400 4194304 8223781 140734613423776 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16101/statm: 214323 212974 582 984 0 213336 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 857292
[startup+702.3 s]
################
# More data... #
################
/proc/16101/stat : 16101 (pbscip.linux.x8) R 16099 16101 15410 0 -1 4202496 373113 0 0 0 93646 6585 0 0 25 0 1 0 21642363 1370906624 331090 4089446400 4194304 8223781 140734613423776 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16101/statm: 334694 331090 582 984 0 333707 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 1338776
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 16234
/proc/meminfo: memFree=28889248/32950928 swapFree=67111528/67111528
[pid=16101] ppid=16099 vsize=1418816 CPUtime=1062.32
/proc/16101/stat : 16101 (pbscip.linux.x8) R 16099 16101 15410 0 -1 4202496 393429 0 0 0 99261 6971 0 0 25 0 1 0 21642363 1452867584 351406 4089446400 4194304 8223781 140734613423776 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16101/statm: 354704 351406 582 984 0 353717 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 1418816
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 16236
/proc/meminfo: memFree=28808104/32950928 swapFree=67111528/67111528
[pid=16101] ppid=16099 vsize=1499108 CPUtime=1122.32
/proc/16101/stat : 16101 (pbscip.linux.x8) R 16099 16101 15410 0 -1 4202496 413827 0 0 0 104877 7355 0 0 25 0 1 0 21642363 1535086592 371799 4089446400 4194304 8223781 140734613423776 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16101/statm: 374777 371799 582 984 0 373790 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 1499108
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16236
/proc/meminfo: memFree=28729040/32950928 swapFree=67111528/67111528
[pid=16101] ppid=16099 vsize=1576080 CPUtime=1182.32
/proc/16101/stat : 16101 (pbscip.linux.x8) R 16099 16101 15410 0 -1 4202496 433362 0 0 0 110493 7739 0 0 25 0 1 0 21642363 1613905920 391334 4089446400 4194304 8223781 140734613423776 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16101/statm: 394020 391334 582 984 0 393033 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 1576080
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16238
/proc/meminfo: memFree=28647636/32950928 swapFree=67111528/67111528
[pid=16101] ppid=16099 vsize=1654832 CPUtime=1242.32
/proc/16101/stat : 16101 (pbscip.linux.x8) R 16099 16101 15410 0 -1 4202496 453386 0 0 0 116109 8123 0 0 25 0 1 0 21642363 1694547968 411354 4089446400 4194304 8223781 140734613423776 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16101/statm: 413708 411354 586 984 0 412721 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 1654832
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16240
/proc/meminfo: memFree=28562272/32950928 swapFree=67111528/67111528
[pid=16101] ppid=16099 vsize=1732876 CPUtime=1302.32
/proc/16101/stat : 16101 (pbscip.linux.x8) R 16099 16101 15410 0 -1 4202496 476321 0 0 0 121722 8510 0 0 25 0 1 0 21642363 1774465024 431175 4089446400 4194304 8223781 140734613423776 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16101/statm: 433219 431175 586 984 0 432232 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 1732876
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16242
/proc/meminfo: memFree=28471312/32950928 swapFree=67111528/67111528
[pid=16101] ppid=16099 vsize=1810744 CPUtime=1362.32
/proc/16101/stat : 16101 (pbscip.linux.x8) R 16099 16101 15410 0 -1 4202496 496098 0 0 0 127341 8891 0 0 25 0 1 0 21642363 1854201856 450949 4089446400 4194304 8223781 140734613423776 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16101/statm: 452686 450949 586 984 0 451699 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 1810744
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16244
/proc/meminfo: memFree=28389668/32950928 swapFree=67111528/67111528
[pid=16101] ppid=16099 vsize=1889804 CPUtime=1422.33
/proc/16101/stat : 16101 (pbscip.linux.x8) R 16099 16101 15410 0 -1 4202496 516171 0 0 0 132962 9271 0 0 25 0 1 0 21642363 1935159296 471022 4089446400 4194304 8223781 140734613423776 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16101/statm: 472451 471022 586 984 0 471464 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 1889804
[startup+1482.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 16244
/proc/meminfo: memFree=28310240/32950928 swapFree=67111528/67111528
[pid=16101] ppid=16099 vsize=1969456 CPUtime=1482.33
/proc/16101/stat : 16101 (pbscip.linux.x8) R 16099 16101 15410 0 -1 4202496 536399 0 0 0 138581 9652 0 0 25 0 1 0 21642363 2016722944 491246 4089446400 4194304 8223781 140734613423776 18446744073709551615 6446877 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16101/statm: 492364 491246 586 984 0 491377 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 1969456
[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 16255
/proc/meminfo: memFree=28229428/32950928 swapFree=67111528/67111528
[pid=16101] ppid=16099 vsize=2047008 CPUtime=1542.33
/proc/16101/stat : 16101 (pbscip.linux.x8) R 16099 16101 15410 0 -1 4202496 556102 0 0 0 144198 10035 0 0 25 0 1 0 21642363 2096136192 510949 4089446400 4194304 8223781 140734613423776 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16101/statm: 511752 510949 586 984 0 510765 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 2047008
[startup+1602.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 16257
/proc/meminfo: memFree=28152096/32950928 swapFree=67111528/67111528
[pid=16101] ppid=16099 vsize=2155780 CPUtime=1602.34
/proc/16101/stat : 16101 (pbscip.linux.x8) R 16099 16101 15410 0 -1 4202496 575419 0 0 0 149823 10411 0 0 25 0 1 0 21642363 2207518720 530266 4089446400 4194304 8223781 140734613423776 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16101/statm: 538945 530266 586 984 0 537958 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 2155780
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16259
/proc/meminfo: memFree=28067188/32950928 swapFree=67111528/67111528
[pid=16101] ppid=16099 vsize=2235828 CPUtime=1662.34
/proc/16101/stat : 16101 (pbscip.linux.x8) R 16099 16101 15410 0 -1 4202496 595748 0 0 0 155444 10790 0 0 25 0 1 0 21642363 2289487872 550595 4089446400 4194304 8223781 140734613423776 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16101/statm: 558957 550595 586 984 0 557970 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 2235828
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16261
/proc/meminfo: memFree=27972648/32950928 swapFree=67111528/67111528
[pid=16101] ppid=16099 vsize=2313976 CPUtime=1722.34
/proc/16101/stat : 16101 (pbscip.linux.x8) R 16099 16101 15410 0 -1 4202496 615583 0 0 0 161068 11166 0 0 25 0 1 0 21642363 2369511424 570430 4089446400 4194304 8223781 140734613423776 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16101/statm: 578494 570430 586 984 0 577507 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 2313976
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16262
/proc/meminfo: memFree=27894224/32950928 swapFree=67111528/67111528
[pid=16101] ppid=16099 vsize=2389884 CPUtime=1782.35
/proc/16101/stat : 16101 (pbscip.linux.x8) R 16099 16101 15410 0 -1 4202496 634867 0 0 0 166674 11561 0 0 25 0 1 0 21642363 2447241216 589714 4089446400 4194304 8223781 140734613423776 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16101/statm: 597471 589714 586 984 0 596484 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 2389884
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16263
/proc/meminfo: memFree=27872760/32950928 swapFree=67111528/67111528
[pid=16101] ppid=16099 vsize=2411120 CPUtime=1800.05
/proc/16101/stat : 16101 (pbscip.linux.x8) R 16099 16101 15410 0 -1 4202496 640272 0 0 0 168326 11679 0 0 25 0 1 0 21642363 2468986880 595110 4089446400 4194304 8223781 140734613423776 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/16101/statm: 602780 595110 586 984 0 601793 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 2411120
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -16101
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16264
/proc/meminfo: memFree=27872752/32950928 swapFree=67111528/67111528
[pid=16101] ppid=16099 vsize=2411120 CPUtime=1801.44
/proc/16101/stat : 16101 (pbscip.linux.x8) R 16099 16101 15410 0 -1 4202496 640274 0 0 0 168465 11679 0 0 25 0 1 0 21642363 2468986880 595112 4089446400 4194304 8223781 140734613423776 18446744073709551615 4670466 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/16101/statm: 602780 595112 588 984 0 601793 0
Current children cumulated CPU time (s) 1801.44
Current children cumulated vsize (KiB) 2411120
[startup+1801.81 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16264
/proc/meminfo: memFree=27872752/32950928 swapFree=67111528/67111528
[pid=16101] ppid=16099 vsize=2411120 CPUtime=1801.85
/proc/16101/stat : 16101 (pbscip.linux.x8) R 16099 16101 15410 0 -1 4202496 640274 0 0 0 168506 11679 0 0 25 0 1 0 21642363 2468986880 595112 4089446400 4194304 8223781 140734613423776 18446744073709551615 6207111 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/16101/statm: 602780 595112 588 984 0 601793 0
Current children cumulated CPU time (s) 1801.85
Current children cumulated vsize (KiB) 2411120
[startup+1802 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16264
/proc/meminfo: memFree=27872752/32950928 swapFree=67111528/67111528
[pid=16101] ppid=16099 vsize=2408048 CPUtime=1802.04
/proc/16101/stat : 16101 (pbscip.linux.x8) R 16099 16101 15410 0 -1 4202496 640274 0 0 0 168525 11679 0 0 25 0 1 0 21642363 2465841152 594344 4089446400 4194304 8223781 140734613423776 18446744073709551615 6206589 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/16101/statm: 602012 594344 588 984 0 601025 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 2408048
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.08
CPU time (s): 1802.13
CPU user time (s): 1685.26
CPU system time (s): 116.871
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 2411120
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1685.26
system time used= 116.871
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 640274
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= 4010
runsolver used 2.40563 second user time and 5.85211 second system time
The end
Begin job on node115 at 2010-07-07 22:35:51
IDJOB=2700356
IDBENCH=79421
IDSOLVER=1204
FILE ID=node115/2700356-1278534951
PBS_JOBID= 11239248
Free space on /tmp= 73620 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-jnh07_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-2700356-1278534951/watcher-2700356-1278534951 -o /tmp/evaluation-result-2700356-1278534951/solver-2700356-1278534951 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2700356-1278534951.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 124b6775b7bb4e390bc62510a681a702
RANDOM SEED=2020800665
node115.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.812
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.62
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.812
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.76
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.812
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.812
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.75
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.812
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.812
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.812
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.812
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950928 kB
MemFree: 29535836 kB
Buffers: 125272 kB
Cached: 2117524 kB
SwapCached: 0 kB
Active: 1884560 kB
Inactive: 1383916 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 29535836 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 4732 kB
Writeback: 0 kB
AnonPages: 1025500 kB
Mapped: 17316 kB
Slab: 78780 kB
PageTables: 6608 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 1247424 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= 73620 MiB
End job on node115 at 2010-07-07 23:05:54