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-2700092-1278533967.wbo>
0.00/0.01 c original problem has 1800 variables (1000 bin, 0 int, 0 impl, 800 cont) and 1701 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.02 c presolving:
0.00/0.02 c (round 1) 100 del vars, 101 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1000 impls, 0 clqs
0.00/0.03 c (round 2) 100 del vars, 101 del conss, 800 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1000 impls, 0 clqs
0.00/0.05 c (0.0s) probing: 101/900 (11.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.05 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.05 c presolving (3 rounds):
0.00/0.05 c 100 deleted vars, 101 deleted constraints, 800 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.05 c 1000 implications, 0 cliques
0.00/0.05 c presolved problem has 1700 variables (900 bin, 0 int, 0 impl, 800 cont) and 1600 constraints
0.00/0.05 c 800 constraints of type <indicator>
0.00/0.05 c 800 constraints of type <linear>
0.00/0.05 c transformed objective value is always integral (scale: 1)
0.00/0.05 c Presolving Time: 0.03
0.00/0.05 c - non default parameters ----------------------------------------------------------------------
0.00/0.05 c # SCIP version 1.2.1.2
0.00/0.05 c
0.00/0.05 c # frequency for displaying node information lines
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.05 c display/freq = 10000
0.00/0.05 c
0.00/0.05 c # maximal time in seconds to run
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.05 c limits/time = 1799.99
0.00/0.05 c
0.00/0.05 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.05 c limits/memory = 3420
0.00/0.05 c
0.00/0.05 c # should presolving try to simplify inequalities
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c constraints/linear/simplifyinequalities = TRUE
0.00/0.05 c
0.00/0.05 c # should presolving try to simplify knapsacks
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.05 c
0.00/0.05 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.05 c separating/rapidlearning/freq = 0
0.00/0.05 c
0.00/0.05 c -----------------------------------------------------------------------------------------------
0.00/0.05 c start solving
0.00/0.05 c
0.00/0.06 o 394238
0.00/0.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.06 c t 0.0s| 1 | 0 | 0 | - |5795k| 0 | - |1700 |1600 | 0 | 0 | 0 | 0 | 0 | -- | 3.942380e+05 | Inf
0.00/0.06 c 0.0s| 1 | 0 | 0 | - |6167k| 0 | 0 |1700 |1600 |1700 | 0 | 0 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.00/0.06 c 0.0s| 1 | 0 | 38 | - |6207k| 0 | 0 |1700 |1600 |1700 | 68 | 68 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.00/0.06 c 0.0s| 1 | 0 | 132 | - |6264k| 0 | 61 |1700 |1600 |1700 | 126 | 126 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.00/0.08 c 0.1s| 1 | 0 | 267 | - |6438k| 0 | 70 |1700 |1600 |1700 | 170 | 170 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.09/0.10 c 0.1s| 1 | 0 | 358 | - |6500k| 0 | 82 |1700 |1600 |1700 | 190 | 190 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.09/0.13 c 0.1s| 1 | 0 | 461 | - |6530k| 0 | 67 |1700 |1600 |1700 | 198 | 198 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.09/0.16 c 0.1s| 1 | 0 | 463 | - |6555k| 0 | 68 |1700 |1600 |1700 | 199 | 199 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.49/0.59 c 0.5s| 1 | 2 | 618 | - |6607k| 0 | 68 |1700 |1600 |1700 | 199 | 199 | 0 | 33 | 0.000000e+00 | 3.942380e+05 | Inf
12.39/12.40 c 11.4s| 10000 | 10001 | 48940 | 4.8 | 19M| 101 | 0 |1700 |1600 |1700 | 283 | 10k| 0 | 770 | 0.000000e+00 | 3.942380e+05 | Inf
20.79/20.83 c 19.3s| 20000 | 20001 | 82054 | 4.1 | 29M| 103 | 0 |1700 |1600 |1700 | 267 | 20k| 0 | 770 | 0.000000e+00 | 3.942380e+05 | Inf
28.88/28.92 c 26.8s| 30000 | 30001 |113792 | 3.8 | 38M| 145 | 13 |1700 |1600 |1700 | 275 | 27k| 0 | 771 | 0.000000e+00 | 3.942380e+05 | Inf
37.19/37.27 c 34.6s| 40000 | 40001 |155899 | 3.9 | 48M| 145 | 0 |1700 |1600 |1700 | 288 | 36k| 0 | 771 | 0.000000e+00 | 3.942380e+05 | Inf
45.88/45.99 c 42.7s| 50000 | 50001 |210507 | 4.2 | 58M| 145 | 0 |1700 |1600 |1700 | 298 | 46k| 0 | 771 | 0.000000e+00 | 3.942380e+05 | Inf
53.79/53.87 c 50.1s| 60000 | 60001 |236514 | 3.9 | 68M| 145 | 0 |1700 |1600 |1700 | 262 | 52k| 0 | 771 | 0.000000e+00 | 3.942380e+05 | Inf
60.98/61.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
60.98/61.08 c 56.8s| 70000 | 70001 |251716 | 3.6 | 78M| 145 | 0 |1700 |1600 |1700 | 291 | 57k| 0 | 771 | 0.000000e+00 | 3.942380e+05 | Inf
68.89/68.99 c 64.2s| 80000 | 80001 |281108 | 3.5 | 87M| 145 | 7 |1700 |1600 |1700 | 265 | 64k| 0 | 792 | 0.000000e+00 | 3.942380e+05 | Inf
76.79/76.88 c 71.5s| 90000 | 90001 |312356 | 3.5 | 97M| 145 | 0 |1700 |1600 |1700 | 265 | 73k| 0 | 829 | 0.000000e+00 | 3.942380e+05 | Inf
84.59/84.63 c 78.7s|100000 |100001 |339310 | 3.4 | 107M| 145 | 0 |1700 |1600 |1700 | 288 | 80k| 0 | 853 | 0.000000e+00 | 3.942380e+05 | Inf
92.39/92.49 c 86.1s|110000 |110001 |366314 | 3.3 | 117M| 145 | 0 |1700 |1600 |1700 | 242 | 87k| 0 | 876 | 0.000000e+00 | 3.942380e+05 | Inf
100.39/100.49 c 93.5s|120000 |120001 |397428 | 3.3 | 127M| 145 | 21 |1700 |1600 |1700 | 233 | 95k| 0 | 920 | 0.000000e+00 | 3.942380e+05 | Inf
108.48/108.54 c 101s|130000 |130001 |430864 | 3.3 | 136M| 145 | 0 |1700 |1600 |1700 | 267 | 102k| 0 | 964 | 0.000000e+00 | 3.942380e+05 | Inf
116.29/116.39 c 108s|140000 |140001 |458192 | 3.3 | 146M| 145 | 0 |1700 |1600 |1700 | 287 | 109k| 0 | 989 | 0.000000e+00 | 3.942380e+05 | Inf
124.19/124.23 c 116s|150000 |150001 |486520 | 3.2 | 156M| 145 | 0 |1700 |1600 |1700 | 285 | 116k| 0 |1016 | 0.000000e+00 | 3.942380e+05 | Inf
131.79/131.90 c 123s|160000 |160001 |508807 | 3.2 | 166M| 145 | 12 |1700 |1600 |1700 | 253 | 122k| 0 |1052 | 0.000000e+00 | 3.942380e+05 | Inf
139.59/139.68 c 130s|170000 |170001 |533518 | 3.1 | 175M| 145 | 0 |1700 |1600 |1700 | 303 | 129k| 0 |1078 | 0.000000e+00 | 3.942380e+05 | Inf
147.49/147.51 c 137s|180000 |180001 |559368 | 3.1 | 185M| 145 | 0 |1700 |1600 |1700 | 262 | 136k| 0 |1102 | 0.000000e+00 | 3.942380e+05 | Inf
155.29/155.34 c 145s|190000 |190001 |583549 | 3.1 | 195M| 145 | 5 |1700 |1600 |1700 | 285 | 142k| 0 |1124 | 0.000000e+00 | 3.942380e+05 | Inf
162.99/163.03 c 152s|200000 |200001 |607186 | 3.0 | 205M| 145 | 0 |1700 |1600 |1700 | 285 | 148k| 0 |1166 | 0.000000e+00 | 3.942380e+05 | Inf
170.79/170.84 c 159s|210000 |210001 |631972 | 3.0 | 215M| 145 | 4 |1700 |1600 |1700 | 226 | 155k| 0 |1188 | 0.000000e+00 | 3.942380e+05 | Inf
178.59/178.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
178.59/178.61 c 166s|220000 |220001 |655653 | 3.0 | 224M| 145 | 0 |1700 |1600 |1700 | 266 | 161k| 0 |1207 | 0.000000e+00 | 3.942380e+05 | Inf
186.09/186.11 c 173s|230000 |230001 |674402 | 2.9 | 234M| 145 | 6 |1700 |1600 |1700 | 256 | 167k| 0 |1229 | 0.000000e+00 | 3.942380e+05 | Inf
193.59/193.62 c 180s|240000 |240001 |691512 | 2.9 | 244M| 145 | 0 |1700 |1600 |1700 | 289 | 172k| 0 |1249 | 0.000000e+00 | 3.942380e+05 | Inf
201.30/201.32 c 188s|250000 |250001 |712830 | 2.8 | 254M| 145 | 14 |1700 |1600 |1700 | 236 | 178k| 0 |1272 | 0.000000e+00 | 3.942380e+05 | Inf
209.00/209.06 c 195s|260000 |260001 |736712 | 2.8 | 263M| 145 | 0 |1700 |1600 |1700 | 275 | 184k| 0 |1295 | 0.000000e+00 | 3.942380e+05 | Inf
216.90/216.91 c 202s|270000 |270001 |762714 | 2.8 | 273M| 145 | 4 |1700 |1600 |1700 | 205 | 191k| 0 |1315 | 0.000000e+00 | 3.942380e+05 | Inf
224.19/224.29 c 209s|280000 |280001 |780551 | 2.8 | 283M| 145 | 0 |1700 |1600 |1700 | 223 | 196k| 0 |1334 | 0.000000e+00 | 3.942380e+05 | Inf
232.09/232.17 c 216s|290000 |290001 |806448 | 2.8 | 293M| 145 | 3 |1700 |1600 |1700 | 261 | 203k| 0 |1355 | 0.000000e+00 | 3.942380e+05 | Inf
239.89/239.99 c 224s|300000 |300001 |831544 | 2.8 | 302M| 145 | 21 |1700 |1600 |1700 | 245 | 210k| 0 |1394 | 0.000000e+00 | 3.942380e+05 | Inf
247.50/247.54 c 231s|310000 |310001 |851818 | 2.7 | 312M| 145 | 0 |1700 |1600 |1700 | 276 | 215k| 0 |1414 | 0.000000e+00 | 3.942380e+05 | Inf
255.10/255.20 c 238s|320000 |320001 |874294 | 2.7 | 322M| 145 | 0 |1700 |1600 |1700 | 281 | 221k| 0 |1438 | 0.000000e+00 | 3.942380e+05 | Inf
262.80/262.89 c 245s|330000 |330001 |895371 | 2.7 | 332M| 149 | 0 |1700 |1600 |1700 | 258 | 227k| 0 |1459 | 0.000000e+00 | 3.942380e+05 | Inf
270.50/270.55 c 252s|340000 |340001 |918297 | 2.7 | 342M| 149 | 0 |1700 |1600 |1700 | 241 | 233k| 0 |1479 | 0.000000e+00 | 3.942380e+05 | Inf
278.10/278.15 c 259s|350000 |350001 |938143 | 2.7 | 351M| 149 | 0 |1700 |1600 |1700 | 275 | 238k| 0 |1502 | 0.000000e+00 | 3.942380e+05 | Inf
285.70/285.76 c 266s|360000 |360001 |957628 | 2.7 | 361M| 149 | 0 |1700 |1600 |1700 | 291 | 244k| 0 |1522 | 0.000000e+00 | 3.942380e+05 | Inf
293.29/293.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
293.29/293.35 c 274s|370000 |370001 |977140 | 2.6 | 371M| 149 | 21 |1700 |1600 |1700 | 232 | 249k| 0 |1527 | 0.000000e+00 | 3.942380e+05 | Inf
300.80/300.87 c 281s|380000 |380001 |995064 | 2.6 | 381M| 149 | 0 |1700 |1600 |1700 | 297 | 255k| 0 |1545 | 0.000000e+00 | 3.942380e+05 | Inf
308.30/308.40 c 288s|390000 |390001 | 1014k| 2.6 | 390M| 149 | 0 |1700 |1600 |1700 | 272 | 260k| 0 |1565 | 0.000000e+00 | 3.942380e+05 | Inf
316.00/316.05 c 295s|400000 |400001 | 1034k| 2.6 | 400M| 149 | 0 |1700 |1600 |1700 | 290 | 266k| 0 |1584 | 0.000000e+00 | 3.942380e+05 | Inf
323.59/323.65 c 302s|410000 |410001 | 1053k| 2.6 | 410M| 149 | 8 |1700 |1600 |1700 | 294 | 271k| 0 |1608 | 0.000000e+00 | 3.942380e+05 | Inf
331.19/331.26 c 309s|420000 |420001 | 1073k| 2.6 | 420M| 149 | 0 |1700 |1600 |1700 | 261 | 277k| 0 |1629 | 0.000000e+00 | 3.942380e+05 | Inf
338.89/338.91 c 316s|430000 |430001 | 1094k| 2.5 | 429M| 149 | 0 |1700 |1600 |1700 | 235 | 283k| 0 |1654 | 0.000000e+00 | 3.942380e+05 | Inf
346.60/346.62 c 323s|440000 |440001 | 1116k| 2.5 | 439M| 149 | 15 |1700 |1600 |1700 | 246 | 289k| 0 |1676 | 0.000000e+00 | 3.942380e+05 | Inf
354.20/354.29 c 331s|450000 |450001 | 1138k| 2.5 | 449M| 149 | 0 |1700 |1600 |1700 | 271 | 295k| 0 |1701 | 0.000000e+00 | 3.942380e+05 | Inf
362.10/362.12 c 338s|460000 |460001 | 1163k| 2.5 | 459M| 149 | 0 |1700 |1600 |1700 | 240 | 302k| 0 |1723 | 0.000000e+00 | 3.942380e+05 | Inf
369.80/369.83 c 345s|470000 |470001 | 1185k| 2.5 | 469M| 149 | 0 |1700 |1600 |1700 | 270 | 308k| 0 |1746 | 0.000000e+00 | 3.942380e+05 | Inf
377.20/377.29 c 352s|480000 |480001 | 1202k| 2.5 | 478M| 149 | 0 |1700 |1600 |1700 | 240 | 313k| 0 |1769 | 0.000000e+00 | 3.942380e+05 | Inf
384.80/384.87 c 359s|490000 |490001 | 1221k| 2.5 | 488M| 149 | 8 |1700 |1600 |1700 | 250 | 318k| 0 |1789 | 0.000000e+00 | 3.942380e+05 | Inf
392.71/392.77 c 367s|500000 |500001 | 1248k| 2.5 | 498M| 149 | 0 |1700 |1600 |1700 | 289 | 325k| 0 |1817 | 0.000000e+00 | 3.942380e+05 | Inf
400.30/400.35 c 374s|510000 |510001 | 1266k| 2.5 | 508M| 165 | 0 |1700 |1600 |1700 | 265 | 331k| 0 |1840 | 0.000000e+00 | 3.942380e+05 | Inf
407.90/407.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
407.90/407.94 c 381s|520000 |520001 | 1288k| 2.5 | 517M| 165 | 0 |1700 |1600 |1700 | 275 | 336k| 0 |1863 | 0.000000e+00 | 3.942380e+05 | Inf
415.30/415.39 c 388s|530000 |530001 | 1307k| 2.5 | 527M| 165 | 0 |1700 |1600 |1700 | 259 | 341k| 0 |1875 | 0.000000e+00 | 3.942380e+05 | Inf
422.90/422.93 c 395s|540000 |540001 | 1327k| 2.5 | 537M| 165 | 0 |1700 |1600 |1700 | 298 | 347k| 0 |1885 | 0.000000e+00 | 3.942380e+05 | Inf
430.49/430.54 c 402s|550000 |550001 | 1347k| 2.4 | 547M| 165 | 10 |1700 |1600 |1700 | 257 | 353k| 0 |1906 | 0.000000e+00 | 3.942380e+05 | Inf
437.90/437.96 c 409s|560000 |560001 | 1364k| 2.4 | 557M| 165 | 0 |1700 |1600 |1700 | 271 | 357k| 0 |1927 | 0.000000e+00 | 3.942380e+05 | Inf
445.20/445.23 c 416s|570000 |570001 | 1377k| 2.4 | 566M| 165 | 0 |1700 |1600 |1700 | 261 | 361k| 0 |1940 | 0.000000e+00 | 3.942380e+05 | Inf
452.49/452.59 c 422s|580000 |580001 | 1393k| 2.4 | 576M| 165 | 0 |1700 |1600 |1700 | 270 | 366k| 0 |1944 | 0.000000e+00 | 3.942380e+05 | Inf
460.20/460.20 c 430s|590000 |590001 | 1416k| 2.4 | 586M| 165 | 0 |1700 |1600 |1700 | 268 | 372k| 0 |1962 | 0.000000e+00 | 3.942380e+05 | Inf
467.60/467.68 c 437s|600000 |600001 | 1436k| 2.4 | 596M| 165 | 0 |1700 |1600 |1700 | 263 | 378k| 0 |1981 | 0.000000e+00 | 3.942380e+05 | Inf
475.21/475.29 c 444s|610000 |610001 | 1460k| 2.4 | 605M| 165 | 0 |1700 |1600 |1700 | 297 | 385k| 0 |1997 | 0.000000e+00 | 3.942380e+05 | Inf
482.70/482.73 c 451s|620000 |620001 | 1479k| 2.4 | 615M| 165 | 0 |1700 |1600 |1700 | 273 | 390k| 0 |2017 | 0.000000e+00 | 3.942380e+05 | Inf
490.20/490.23 c 458s|630000 |630001 | 1499k| 2.4 | 625M| 165 | 16 |1700 |1600 |1700 | 247 | 396k| 0 |2032 | 0.000000e+00 | 3.942380e+05 | Inf
498.10/498.11 c 465s|640000 |640001 | 1528k| 2.4 | 635M| 165 | 0 |1700 |1600 |1700 | 279 | 401k| 0 |2050 | 0.000000e+00 | 3.942380e+05 | Inf
505.60/505.62 c 472s|650000 |650001 | 1547k| 2.4 | 644M| 165 | 0 |1700 |1600 |1700 | 246 | 406k| 0 |2069 | 0.000000e+00 | 3.942380e+05 | Inf
513.00/513.02 c 479s|660000 |660001 | 1565k| 2.4 | 654M| 165 | 0 |1700 |1600 |1700 | 276 | 411k| 0 |2088 | 0.000000e+00 | 3.942380e+05 | Inf
520.40/520.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
520.40/520.41 c 486s|670000 |670001 | 1582k| 2.4 | 664M| 165 | 0 |1700 |1600 |1700 | 259 | 416k| 0 |2102 | 0.000000e+00 | 3.942380e+05 | Inf
527.90/527.94 c 493s|680000 |680001 | 1603k| 2.4 | 674M| 165 | 0 |1700 |1600 |1700 | 255 | 422k| 0 |2122 | 0.000000e+00 | 3.942380e+05 | Inf
535.21/535.29 c 500s|690000 |690001 | 1619k| 2.3 | 683M| 165 | 0 |1700 |1600 |1700 | 283 | 426k| 0 |2125 | 0.000000e+00 | 3.942380e+05 | Inf
542.80/542.83 c 507s|700000 |700001 | 1639k| 2.3 | 693M| 165 | 15 |1700 |1600 |1700 | 217 | 432k| 0 |2143 | 0.000000e+00 | 3.942380e+05 | Inf
550.30/550.35 c 514s|710000 |710001 | 1660k| 2.3 | 703M| 165 | 10 |1700 |1600 |1700 | 272 | 437k| 0 |2163 | 0.000000e+00 | 3.942380e+05 | Inf
557.80/557.86 c 521s|720000 |720001 | 1681k| 2.3 | 713M| 165 | 0 |1700 |1600 |1700 | 278 | 443k| 0 |2181 | 0.000000e+00 | 3.942380e+05 | Inf
565.31/565.38 c 528s|730000 |730001 | 1701k| 2.3 | 722M| 165 | 0 |1700 |1600 |1700 | 225 | 448k| 0 |2201 | 0.000000e+00 | 3.942380e+05 | Inf
572.50/572.58 c 535s|740000 |740001 | 1714k| 2.3 | 732M| 165 | 0 |1700 |1600 |1700 | 282 | 452k| 0 |2202 | 0.000000e+00 | 3.942380e+05 | Inf
580.00/580.05 c 542s|750000 |750001 | 1734k| 2.3 | 742M| 165 | 0 |1700 |1600 |1700 | 278 | 458k| 0 |2222 | 0.000000e+00 | 3.942380e+05 | Inf
587.40/587.48 c 548s|760000 |760001 | 1751k| 2.3 | 752M| 165 | 0 |1700 |1600 |1700 | 248 | 463k| 0 |2240 | 0.000000e+00 | 3.942380e+05 | Inf
594.90/594.99 c 555s|770000 |770001 | 1771k| 2.3 | 761M| 165 | 0 |1700 |1600 |1700 | 302 | 469k| 0 |2258 | 0.000000e+00 | 3.942380e+05 | Inf
602.40/602.47 c 562s|780000 |780001 | 1791k| 2.3 | 771M| 165 | 0 |1700 |1600 |1700 | 281 | 475k| 0 |2259 | 0.000000e+00 | 3.942380e+05 | Inf
609.91/609.92 c 569s|790000 |790001 | 1809k| 2.3 | 781M| 165 | 0 |1700 |1600 |1700 | 266 | 480k| 0 |2278 | 0.000000e+00 | 3.942380e+05 | Inf
617.61/617.60 c 577s|800000 |800001 | 1835k| 2.3 | 791M| 165 | 5 |1700 |1600 |1700 | 239 | 486k| 0 |2299 | 0.000000e+00 | 3.942380e+05 | Inf
625.01/625.08 c 584s|810000 |810001 | 1855k| 2.3 | 800M| 165 | 0 |1700 |1600 |1700 | 270 | 491k| 0 |2318 | 0.000000e+00 | 3.942380e+05 | Inf
632.60/632.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
632.60/632.67 c 591s|820000 |820001 | 1879k| 2.3 | 810M| 165 | 0 |1700 |1600 |1700 | 249 | 498k| 0 |2332 | 0.000000e+00 | 3.942380e+05 | Inf
640.00/640.10 c 598s|830000 |830001 | 1897k| 2.3 | 820M| 165 | 0 |1700 |1600 |1700 | 280 | 503k| 0 |2347 | 0.000000e+00 | 3.942380e+05 | Inf
647.41/647.43 c 604s|840000 |840001 | 1915k| 2.3 | 830M| 165 | 0 |1700 |1600 |1700 | 261 | 508k| 0 |2362 | 0.000000e+00 | 3.942380e+05 | Inf
654.80/654.83 c 611s|850000 |850001 | 1934k| 2.3 | 839M| 165 | 0 |1700 |1600 |1700 | 280 | 513k| 0 |2363 | 0.000000e+00 | 3.942380e+05 | Inf
662.50/662.57 c 619s|860000 |860001 | 1960k| 2.3 | 849M| 165 | 6 |1700 |1600 |1700 | 294 | 519k| 0 |2392 | 0.000000e+00 | 3.942380e+05 | Inf
670.00/670.07 c 626s|870000 |870001 | 1980k| 2.3 | 859M| 165 | 0 |1700 |1600 |1700 | 274 | 525k| 0 |2395 | 0.000000e+00 | 3.942380e+05 | Inf
677.61/677.62 c 633s|880000 |880001 | 2001k| 2.3 | 869M| 165 | 0 |1700 |1600 |1700 | 286 | 530k| 0 |2415 | 0.000000e+00 | 3.942380e+05 | Inf
685.10/685.11 c 640s|890000 |890001 | 2021k| 2.3 | 878M| 165 | 0 |1700 |1600 |1700 | 275 | 536k| 0 |2432 | 0.000000e+00 | 3.942380e+05 | Inf
692.51/692.54 c 647s|900000 |900001 | 2041k| 2.3 | 888M| 165 | 3 |1700 |1600 |1700 | 254 | 543k| 0 |2450 | 0.000000e+00 | 3.942380e+05 | Inf
699.70/699.72 c 653s|910000 |910001 | 2055k| 2.3 | 898M| 165 | 4 |1700 |1600 |1700 | 245 | 547k| 0 |2461 | 0.000000e+00 | 3.942380e+05 | Inf
706.91/706.99 c 660s|920000 |920001 | 2071k| 2.3 | 908M| 165 | 0 |1700 |1600 |1700 | 281 | 551k| 0 |2470 | 0.000000e+00 | 3.942380e+05 | Inf
714.30/714.32 c 667s|930000 |930001 | 2087k| 2.2 | 917M| 165 | 0 |1700 |1600 |1700 | 279 | 556k| 0 |2485 | 0.000000e+00 | 3.942380e+05 | Inf
721.81/721.82 c 674s|940000 |940001 | 2106k| 2.2 | 927M| 165 | 0 |1700 |1600 |1700 | 299 | 561k| 0 |2502 | 0.000000e+00 | 3.942380e+05 | Inf
729.21/729.21 c 681s|950000 |950001 | 2122k| 2.2 | 937M| 165 | 0 |1700 |1600 |1700 | 263 | 566k| 0 |2503 | 0.000000e+00 | 3.942380e+05 | Inf
736.60/736.67 c 688s|960000 |960001 | 2142k| 2.2 | 947M| 165 | 0 |1700 |1600 |1700 | 236 | 571k| 0 |2518 | 0.000000e+00 | 3.942380e+05 | Inf
744.21/744.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
744.21/744.23 c 695s|970000 |970001 | 2162k| 2.2 | 956M| 165 | 0 |1700 |1600 |1700 | 289 | 577k| 0 |2535 | 0.000000e+00 | 3.942380e+05 | Inf
751.51/751.58 c 702s|980000 |980001 | 2178k| 2.2 | 966M| 165 | 0 |1700 |1600 |1700 | 261 | 581k| 0 |2551 | 0.000000e+00 | 3.942380e+05 | Inf
758.92/758.98 c 709s|990000 |990001 | 2197k| 2.2 | 976M| 169 | 0 |1700 |1600 |1700 | 287 | 586k| 0 |2558 | 0.000000e+00 | 3.942380e+05 | Inf
766.41/766.48 c 716s| 1000k| 1000k| 2219k| 2.2 | 985M| 169 | 0 |1700 |1600 |1700 | 278 | 591k| 0 |2566 | 0.000000e+00 | 3.942380e+05 | Inf
773.91/773.99 c 723s| 1010k| 1010k| 2240k| 2.2 | 995M| 169 | 0 |1700 |1600 |1700 | 267 | 596k| 0 |2583 | 0.000000e+00 | 3.942380e+05 | Inf
781.31/781.36 c 730s| 1020k| 1020k| 2258k| 2.2 |1005M| 169 | 5 |1700 |1600 |1700 | 260 | 601k| 0 |2600 | 0.000000e+00 | 3.942380e+05 | Inf
788.81/788.85 c 737s| 1030k| 1030k| 2279k| 2.2 |1015M| 169 | 0 |1700 |1600 |1700 | 265 | 607k| 0 |2614 | 0.000000e+00 | 3.942380e+05 | Inf
796.01/796.06 c 743s| 1040k| 1040k| 2293k| 2.2 |1024M| 169 | 15 |1700 |1600 |1700 | 255 | 611k| 0 |2615 | 0.000000e+00 | 3.942380e+05 | Inf
803.40/803.45 c 750s| 1050k| 1050k| 2311k| 2.2 |1034M| 169 | 0 |1700 |1600 |1700 | 263 | 616k| 0 |2631 | 0.000000e+00 | 3.942380e+05 | Inf
810.81/810.86 c 757s| 1060k| 1060k| 2329k| 2.2 |1044M| 169 | 0 |1700 |1600 |1700 | 307 | 620k| 0 |2647 | 0.000000e+00 | 3.942380e+05 | Inf
818.21/818.26 c 764s| 1070k| 1070k| 2346k| 2.2 |1053M| 169 | 0 |1700 |1600 |1700 | 287 | 625k| 0 |2659 | 0.000000e+00 | 3.942380e+05 | Inf
825.51/825.53 c 771s| 1080k| 1080k| 2362k| 2.2 |1063M| 169 | 12 |1700 |1600 |1700 | 254 | 629k| 0 |2665 | 0.000000e+00 | 3.942380e+05 | Inf
832.91/832.99 c 778s| 1090k| 1090k| 2382k| 2.2 |1073M| 169 | 0 |1700 |1600 |1700 | 263 | 635k| 0 |2683 | 0.000000e+00 | 3.942380e+05 | Inf
840.41/840.41 c 785s| 1100k| 1100k| 2401k| 2.2 |1083M| 169 | 0 |1700 |1600 |1700 | 289 | 641k| 0 |2703 | 0.000000e+00 | 3.942380e+05 | Inf
847.71/847.74 c 792s| 1110k| 1110k| 2418k| 2.2 |1092M| 169 | 0 |1700 |1600 |1700 | 288 | 646k| 0 |2704 | 0.000000e+00 | 3.942380e+05 | Inf
855.11/855.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
855.11/855.15 c 799s| 1120k| 1120k| 2435k| 2.2 |1102M| 169 | 0 |1700 |1600 |1700 | 257 | 651k| 0 |2723 | 0.000000e+00 | 3.942380e+05 | Inf
862.61/862.61 c 805s| 1130k| 1130k| 2456k| 2.2 |1112M| 169 | 0 |1700 |1600 |1700 | 267 | 656k| 0 |2737 | 0.000000e+00 | 3.942380e+05 | Inf
870.02/870.07 c 812s| 1140k| 1140k| 2476k| 2.2 |1122M| 169 | 0 |1700 |1600 |1700 | 265 | 662k| 0 |2757 | 0.000000e+00 | 3.942380e+05 | Inf
877.31/877.38 c 819s| 1150k| 1150k| 2492k| 2.2 |1131M| 169 | 0 |1700 |1600 |1700 | 281 | 666k| 0 |2758 | 0.000000e+00 | 3.942380e+05 | Inf
884.81/884.83 c 826s| 1160k| 1160k| 2510k| 2.2 |1141M| 169 | 0 |1700 |1600 |1700 | 271 | 671k| 0 |2777 | 0.000000e+00 | 3.942380e+05 | Inf
892.12/892.17 c 833s| 1170k| 1170k| 2526k| 2.2 |1151M| 169 | 0 |1700 |1600 |1700 | 277 | 676k| 0 |2793 | 0.000000e+00 | 3.942380e+05 | Inf
899.61/899.67 c 840s| 1180k| 1180k| 2547k| 2.2 |1161M| 169 | 0 |1700 |1600 |1700 | 298 | 682k| 0 |2800 | 0.000000e+00 | 3.942380e+05 | Inf
907.01/907.06 c 847s| 1190k| 1190k| 2565k| 2.2 |1170M| 169 | 0 |1700 |1600 |1700 | 271 | 687k| 0 |2814 | 0.000000e+00 | 3.942380e+05 | Inf
914.32/914.39 c 854s| 1200k| 1200k| 2582k| 2.2 |1180M| 169 | 0 |1700 |1600 |1700 | 260 | 691k| 0 |2827 | 0.000000e+00 | 3.942380e+05 | Inf
921.72/921.79 c 861s| 1210k| 1210k| 2600k| 2.1 |1190M| 169 | 0 |1700 |1600 |1700 | 296 | 696k| 0 |2845 | 0.000000e+00 | 3.942380e+05 | Inf
929.11/929.12 c 868s| 1220k| 1220k| 2616k| 2.1 |1199M| 169 | 0 |1700 |1600 |1700 | 305 | 701k| 0 |2845 | 0.000000e+00 | 3.942380e+05 | Inf
936.51/936.52 c 874s| 1230k| 1230k| 2633k| 2.1 |1209M| 169 | 0 |1700 |1600 |1700 | 281 | 706k| 0 |2862 | 0.000000e+00 | 3.942380e+05 | Inf
943.82/943.88 c 881s| 1240k| 1240k| 2650k| 2.1 |1219M| 169 | 0 |1700 |1600 |1700 | 301 | 710k| 0 |2879 | 0.000000e+00 | 3.942380e+05 | Inf
951.22/951.24 c 888s| 1250k| 1250k| 2667k| 2.1 |1229M| 169 | 0 |1700 |1600 |1700 | 283 | 715k| 0 |2880 | 0.000000e+00 | 3.942380e+05 | Inf
958.42/958.42 c 895s| 1260k| 1260k| 2679k| 2.1 |1238M| 169 | 0 |1700 |1600 |1700 | 256 | 719k| 0 |2897 | 0.000000e+00 | 3.942380e+05 | Inf
965.41/965.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
965.41/965.48 c 902s| 1270k| 1270k| 2693k| 2.1 |1248M| 169 | 0 |1700 |1600 |1700 | 277 | 722k| 0 |2897 | 0.000000e+00 | 3.942380e+05 | Inf
972.71/972.79 c 908s| 1280k| 1280k| 2709k| 2.1 |1258M| 169 | 0 |1700 |1600 |1700 | 286 | 727k| 0 |2912 | 0.000000e+00 | 3.942380e+05 | Inf
980.21/980.21 c 915s| 1290k| 1290k| 2728k| 2.1 |1267M| 169 | 0 |1700 |1600 |1700 | 258 | 733k| 0 |2927 | 0.000000e+00 | 3.942380e+05 | Inf
987.62/987.69 c 922s| 1300k| 1300k| 2746k| 2.1 |1277M| 169 | 0 |1700 |1600 |1700 | 260 | 738k| 0 |2938 | 0.000000e+00 | 3.942380e+05 | Inf
995.01/995.04 c 929s| 1310k| 1310k| 2761k| 2.1 |1287M| 169 | 0 |1700 |1600 |1700 | 266 | 742k| 0 |2944 | 0.000000e+00 | 3.942380e+05 | Inf
1002.42/1002.42 c 936s| 1320k| 1320k| 2777k| 2.1 |1297M| 169 | 0 |1700 |1600 |1700 | 262 | 747k| 0 |2958 | 0.000000e+00 | 3.942380e+05 | Inf
1009.72/1009.77 c 943s| 1330k| 1330k| 2795k| 2.1 |1306M| 169 | 0 |1700 |1600 |1700 | 283 | 751k| 0 |2964 | 0.000000e+00 | 3.942380e+05 | Inf
1017.21/1017.22 c 950s| 1340k| 1340k| 2815k| 2.1 |1316M| 169 | 0 |1700 |1600 |1700 | 283 | 758k| 0 |2973 | 0.000000e+00 | 3.942380e+05 | Inf
1024.52/1024.58 c 957s| 1350k| 1350k| 2832k| 2.1 |1326M| 169 | 0 |1700 |1600 |1700 | 278 | 762k| 0 |2990 | 0.000000e+00 | 3.942380e+05 | Inf
1032.11/1032.12 c 964s| 1360k| 1360k| 2853k| 2.1 |1335M| 169 | 0 |1700 |1600 |1700 | 271 | 768k| 0 |3006 | 0.000000e+00 | 3.942380e+05 | Inf
1039.32/1039.37 c 971s| 1370k| 1370k| 2869k| 2.1 |1345M| 169 | 3 |1700 |1600 |1700 | 261 | 773k| 0 |3006 | 0.000000e+00 | 3.942380e+05 | Inf
1046.71/1046.78 c 978s| 1380k| 1380k| 2887k| 2.1 |1355M| 169 | 0 |1700 |1600 |1700 | 273 | 777k| 0 |3022 | 0.000000e+00 | 3.942380e+05 | Inf
1054.11/1054.10 c 985s| 1390k| 1390k| 2904k| 2.1 |1365M| 169 | 0 |1700 |1600 |1700 | 268 | 782k| 0 |3040 | 0.000000e+00 | 3.942380e+05 | Inf
1061.53/1061.51 c 991s| 1400k| 1400k| 2922k| 2.1 |1374M| 169 | 0 |1700 |1600 |1700 | 304 | 787k| 0 |3043 | 0.000000e+00 | 3.942380e+05 | Inf
1068.82/1068.83 c 998s| 1410k| 1410k| 2938k| 2.1 |1384M| 169 | 4 |1700 |1600 |1700 | 273 | 792k| 0 |3059 | 0.000000e+00 | 3.942380e+05 | Inf
1076.22/1076.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1076.22/1076.20 c 1005s| 1420k| 1420k| 2955k| 2.1 |1394M| 169 | 0 |1700 |1600 |1700 | 286 | 797k| 0 |3077 | 0.000000e+00 | 3.942380e+05 | Inf
1083.53/1083.58 c 1012s| 1430k| 1429k| 2972k| 2.1 |1404M| 169 | 0 |1700 |1603 |1700 | 257 | 802k| 3 |3077 | 0.000000e+00 | 3.942380e+05 | Inf
1090.82/1090.86 c 1019s| 1440k| 1439k| 2988k| 2.1 |1413M| 169 | 0 |1700 |1603 |1700 | 287 | 807k| 3 |3095 | 0.000000e+00 | 3.942380e+05 | Inf
1098.22/1098.25 c 1026s| 1450k| 1449k| 3006k| 2.1 |1423M| 169 | 9 |1700 |1603 |1700 | 259 | 812k| 3 |3114 | 0.000000e+00 | 3.942380e+05 | Inf
1105.62/1105.65 c 1033s| 1460k| 1459k| 3023k| 2.1 |1433M| 169 | 0 |1700 |1603 |1700 | 253 | 817k| 3 |3115 | 0.000000e+00 | 3.942380e+05 | Inf
1112.92/1112.91 c 1040s| 1470k| 1469k| 3038k| 2.1 |1442M| 169 | 0 |1700 |1603 |1700 | 265 | 821k| 3 |3133 | 0.000000e+00 | 3.942380e+05 | Inf
1120.22/1120.25 c 1046s| 1480k| 1479k| 3053k| 2.1 |1452M| 169 | 0 |1700 |1603 |1700 | 270 | 825k| 3 |3143 | 0.000000e+00 | 3.942380e+05 | Inf
1127.62/1127.63 c 1053s| 1490k| 1489k| 3070k| 2.1 |1462M| 169 | 8 |1700 |1603 |1700 | 236 | 830k| 3 |3153 | 0.000000e+00 | 3.942380e+05 | Inf
1135.12/1135.12 c 1060s| 1500k| 1499k| 3085k| 2.1 |1472M| 169 | 0 |1700 |1603 |1700 | 302 | 835k| 3 |3168 | 0.000000e+00 | 3.942380e+05 | Inf
1142.42/1142.40 c 1067s| 1510k| 1509k| 3097k| 2.1 |1481M| 169 | 0 |1700 |1603 |1700 | 261 | 839k| 3 |3170 | 0.000000e+00 | 3.942380e+05 | Inf
1149.82/1149.87 c 1074s| 1520k| 1519k| 3117k| 2.1 |1491M| 169 | 32 |1700 |1603 |1700 | 221 | 845k| 3 |3186 | 0.000000e+00 | 3.942380e+05 | Inf
1157.42/1157.43 c 1081s| 1530k| 1529k| 3138k| 2.1 |1501M| 169 | 0 |1700 |1603 |1700 | 296 | 851k| 3 |3201 | 0.000000e+00 | 3.942380e+05 | Inf
1164.32/1164.32 c 1088s| 1540k| 1539k| 3147k| 2.0 |1510M| 169 | 0 |1700 |1603 |1700 | 283 | 853k| 3 |3202 | 0.000000e+00 | 3.942380e+05 | Inf
1171.72/1171.74 c 1095s| 1550k| 1549k| 3162k| 2.0 |1520M| 169 | 0 |1700 |1603 |1700 | 287 | 857k| 3 |3217 | 0.000000e+00 | 3.942380e+05 | Inf
1179.13/1179.12 c 1101s| 1560k| 1559k| 3178k| 2.0 |1530M| 169 | 0 |1700 |1603 |1700 | 247 | 862k| 3 |3219 | 0.000000e+00 | 3.942380e+05 | Inf
1186.42/1186.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1186.42/1186.40 c 1108s| 1570k| 1569k| 3193k| 2.0 |1540M| 169 | 14 |1700 |1603 |1700 | 236 | 866k| 3 |3235 | 0.000000e+00 | 3.942380e+05 | Inf
1193.72/1193.74 c 1115s| 1580k| 1579k| 3209k| 2.0 |1549M| 169 | 0 |1700 |1603 |1700 | 263 | 870k| 3 |3241 | 0.000000e+00 | 3.942380e+05 | Inf
1201.02/1201.03 c 1122s| 1590k| 1589k| 3225k| 2.0 |1559M| 169 | 0 |1700 |1603 |1700 | 304 | 874k| 3 |3248 | 0.000000e+00 | 3.942380e+05 | Inf
1208.42/1208.43 c 1129s| 1600k| 1599k| 3241k| 2.0 |1569M| 169 | 0 |1700 |1603 |1700 | 283 | 879k| 3 |3263 | 0.000000e+00 | 3.942380e+05 | Inf
1215.72/1215.75 c 1136s| 1610k| 1609k| 3259k| 2.0 |1578M| 169 | 0 |1700 |1603 |1700 | 251 | 884k| 3 |3264 | 0.000000e+00 | 3.942380e+05 | Inf
1223.13/1223.20 c 1143s| 1620k| 1619k| 3276k| 2.0 |1588M| 169 | 0 |1700 |1603 |1700 | 271 | 889k| 3 |3280 | 0.000000e+00 | 3.942380e+05 | Inf
1230.52/1230.52 c 1150s| 1630k| 1629k| 3293k| 2.0 |1598M| 169 | 0 |1700 |1603 |1700 | 262 | 894k| 3 |3296 | 0.000000e+00 | 3.942380e+05 | Inf
1238.22/1238.27 c 1157s| 1640k| 1639k| 3321k| 2.0 |1608M| 169 | 0 |1700 |1607 |1700 | 289 | 901k| 7 |3313 | 0.000000e+00 | 3.942380e+05 | Inf
1245.53/1245.59 c 1164s| 1650k| 1649k| 3338k| 2.0 |1617M| 169 | 11 |1700 |1607 |1700 | 256 | 906k| 7 |3314 | 0.000000e+00 | 3.942380e+05 | Inf
1252.72/1252.77 c 1170s| 1660k| 1659k| 3352k| 2.0 |1627M| 169 | 7 |1700 |1607 |1700 | 269 | 910k| 7 |3331 | 0.000000e+00 | 3.942380e+05 | Inf
1260.22/1260.27 c 1177s| 1670k| 1669k| 3373k| 2.0 |1637M| 169 | 18 |1700 |1607 |1700 | 215 | 915k| 7 |3345 | 0.000000e+00 | 3.942380e+05 | Inf
1267.62/1267.60 c 1184s| 1680k| 1679k| 3390k| 2.0 |1647M| 169 | 16 |1700 |1607 |1700 | 227 | 920k| 7 |3348 | 0.000000e+00 | 3.942380e+05 | Inf
1275.02/1275.03 c 1191s| 1690k| 1689k| 3409k| 2.0 |1656M| 169 | 0 |1700 |1607 |1700 | 279 | 925k| 7 |3362 | 0.000000e+00 | 3.942380e+05 | Inf
1282.32/1282.33 c 1198s| 1700k| 1699k| 3426k| 2.0 |1666M| 169 | 0 |1700 |1607 |1700 | 281 | 930k| 7 |3367 | 0.000000e+00 | 3.942380e+05 | Inf
1289.82/1289.83 c 1205s| 1710k| 1709k| 3447k| 2.0 |1676M| 169 | 0 |1700 |1606 |1700 | 246 | 936k| 7 |3377 | 0.000000e+00 | 3.942380e+05 | Inf
1297.12/1297.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1297.12/1297.19 c 1212s| 1720k| 1719k| 3464k| 2.0 |1686M| 169 | 0 |1700 |1606 |1700 | 277 | 940k| 7 |3392 | 0.000000e+00 | 3.942380e+05 | Inf
1304.53/1304.57 c 1219s| 1730k| 1729k| 3481k| 2.0 |1695M| 169 | 0 |1700 |1606 |1700 | 275 | 945k| 7 |3396 | 0.000000e+00 | 3.942380e+05 | Inf
1311.93/1311.97 c 1226s| 1740k| 1739k| 3498k| 2.0 |1705M| 169 | 4 |1700 |1606 |1700 | 265 | 950k| 7 |3406 | 0.000000e+00 | 3.942380e+05 | Inf
1319.42/1319.42 c 1233s| 1750k| 1749k| 3516k| 2.0 |1715M| 169 | 0 |1700 |1606 |1700 | 295 | 956k| 7 |3418 | 0.000000e+00 | 3.942380e+05 | Inf
1326.92/1326.94 c 1240s| 1760k| 1759k| 3537k| 2.0 |1724M| 169 | 0 |1700 |1606 |1700 | 303 | 961k| 7 |3429 | 0.000000e+00 | 3.942380e+05 | Inf
1334.33/1334.39 c 1247s| 1770k| 1769k| 3556k| 2.0 |1734M| 169 | 0 |1700 |1606 |1700 | 266 | 966k| 7 |3434 | 0.000000e+00 | 3.942380e+05 | Inf
1341.73/1341.74 c 1254s| 1780k| 1779k| 3571k| 2.0 |1744M| 169 | 0 |1700 |1606 |1700 | 276 | 970k| 7 |3449 | 0.000000e+00 | 3.942380e+05 | Inf
1348.92/1348.92 c 1260s| 1790k| 1789k| 3585k| 2.0 |1754M| 169 | 0 |1700 |1606 |1700 | 274 | 975k| 7 |3449 | 0.000000e+00 | 3.942380e+05 | Inf
1356.03/1356.03 c 1267s| 1800k| 1799k| 3597k| 2.0 |1763M| 169 | 0 |1700 |1606 |1700 | 310 | 978k| 7 |3462 | 0.000000e+00 | 3.942380e+05 | Inf
1363.43/1363.49 c 1274s| 1810k| 1809k| 3615k| 2.0 |1773M| 169 | 0 |1700 |1606 |1700 | 263 | 983k| 7 |3466 | 0.000000e+00 | 3.942380e+05 | Inf
1370.73/1370.76 c 1281s| 1820k| 1819k| 3630k| 2.0 |1783M| 169 | 0 |1700 |1606 |1700 | 250 | 987k| 7 |3478 | 0.000000e+00 | 3.942380e+05 | Inf
1378.13/1378.19 c 1288s| 1830k| 1829k| 3646k| 2.0 |1792M| 169 | 0 |1700 |1606 |1700 | 255 | 992k| 7 |3491 | 0.000000e+00 | 3.942380e+05 | Inf
1385.53/1385.52 c 1295s| 1840k| 1839k| 3660k| 2.0 |1802M| 169 | 0 |1700 |1606 |1700 | 265 | 996k| 7 |3492 | 0.000000e+00 | 3.942380e+05 | Inf
1392.73/1392.73 c 1301s| 1850k| 1849k| 3673k| 2.0 |1812M| 169 | 6 |1700 |1606 |1700 | 253 |1000k| 7 |3508 | 0.000000e+00 | 3.942380e+05 | Inf
1400.34/1400.39 c 1309s| 1860k| 1859k| 3697k| 2.0 |1822M| 169 | 0 |1700 |1606 |1700 | 305 |1007k| 7 |3522 | 0.000000e+00 | 3.942380e+05 | Inf
1407.73/1407.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1407.73/1407.74 c 1316s| 1870k| 1869k| 3714k| 2.0 |1831M| 169 | 9 |1700 |1606 |1700 | 279 |1012k| 7 |3524 | 0.000000e+00 | 3.942380e+05 | Inf
1415.02/1415.00 c 1322s| 1880k| 1879k| 3729k| 2.0 |1841M| 169 | 0 |1700 |1606 |1700 | 281 |1017k| 7 |3541 | 0.000000e+00 | 3.942380e+05 | Inf
1422.13/1422.19 c 1329s| 1890k| 1889k| 3745k| 2.0 |1851M| 169 | 0 |1700 |1606 |1700 | 292 |1021k| 7 |3542 | 0.000000e+00 | 3.942380e+05 | Inf
1429.23/1429.26 c 1336s| 1900k| 1899k| 3757k| 2.0 |1860M| 169 | 0 |1700 |1606 |1700 | 315 |1025k| 7 |3556 | 0.000000e+00 | 3.942380e+05 | Inf
1436.43/1436.42 c 1342s| 1910k| 1909k| 3770k| 2.0 |1870M| 169 | 0 |1700 |1606 |1700 | 260 |1029k| 7 |3557 | 0.000000e+00 | 3.942380e+05 | Inf
1443.63/1443.67 c 1349s| 1920k| 1919k| 3784k| 2.0 |1880M| 169 | 0 |1700 |1605 |1700 | 282 |1032k| 7 |3570 | 0.000000e+00 | 3.942380e+05 | Inf
1450.83/1450.83 c 1356s| 1930k| 1929k| 3796k| 2.0 |1889M| 169 | 0 |1700 |1605 |1700 | 257 |1036k| 7 |3571 | 0.000000e+00 | 3.942380e+05 | Inf
1458.13/1458.12 c 1363s| 1940k| 1939k| 3811k| 2.0 |1899M| 169 | 0 |1700 |1605 |1700 | 281 |1041k| 7 |3585 | 0.000000e+00 | 3.942380e+05 | Inf
1465.43/1465.46 c 1370s| 1950k| 1949k| 3827k| 2.0 |1909M| 169 | 14 |1700 |1605 |1700 | 219 |1045k| 7 |3587 | 0.000000e+00 | 3.942380e+05 | Inf
1472.84/1472.86 c 1376s| 1960k| 1959k| 3843k| 2.0 |1918M| 169 | 0 |1700 |1605 |1700 | 279 |1050k| 7 |3602 | 0.000000e+00 | 3.942380e+05 | Inf
1480.23/1480.22 c 1383s| 1970k| 1969k| 3861k| 2.0 |1928M| 169 | 0 |1700 |1605 |1700 | 269 |1055k| 7 |3615 | 0.000000e+00 | 3.942380e+05 | Inf
1487.53/1487.56 c 1390s| 1980k| 1979k| 3877k| 2.0 |1938M| 169 | 10 |1700 |1605 |1700 | 231 |1059k| 7 |3617 | 0.000000e+00 | 3.942380e+05 | Inf
1495.03/1495.00 c 1397s| 1990k| 1989k| 3897k| 2.0 |1948M| 169 | 0 |1700 |1605 |1700 | 289 |1065k| 7 |3634 | 0.000000e+00 | 3.942380e+05 | Inf
1502.23/1502.26 c 1404s| 2000k| 1999k| 3910k| 2.0 |1957M| 169 | 0 |1700 |1605 |1700 | 300 |1069k| 7 |3634 | 0.000000e+00 | 3.942380e+05 | Inf
1509.43/1509.49 c 1411s| 2010k| 2009k| 3924k| 2.0 |1967M| 169 | 0 |1700 |1605 |1700 | 264 |1073k| 7 |3649 | 0.000000e+00 | 3.942380e+05 | Inf
1516.84/1516.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1516.84/1516.87 c 1418s| 2020k| 2019k| 3941k| 2.0 |1977M| 169 | 0 |1700 |1605 |1700 | 262 |1077k| 7 |3658 | 0.000000e+00 | 3.942380e+05 | Inf
1524.13/1524.16 c 1424s| 2030k| 2029k| 3955k| 1.9 |1987M| 169 | 21 |1700 |1605 |1700 | 246 |1082k| 7 |3664 | 0.000000e+00 | 3.942380e+05 | Inf
1531.33/1531.36 c 1431s| 2040k| 2039k| 3970k| 1.9 |1996M| 169 | 0 |1700 |1605 |1700 | 287 |1086k| 7 |3678 | 0.000000e+00 | 3.942380e+05 | Inf
1538.73/1538.78 c 1438s| 2050k| 2049k| 3989k| 1.9 |2006M| 169 | 0 |1700 |1605 |1700 | 261 |1091k| 7 |3682 | 0.000000e+00 | 3.942380e+05 | Inf
1546.03/1546.09 c 1445s| 2060k| 2059k| 4004k| 1.9 |2016M| 169 | 0 |1700 |1605 |1700 | 291 |1095k| 7 |3698 | 0.000000e+00 | 3.942380e+05 | Inf
1553.54/1553.57 c 1452s| 2070k| 2069k| 4024k| 1.9 |2025M| 169 | 0 |1700 |1605 |1700 | 272 |1101k| 7 |3706 | 0.000000e+00 | 3.942380e+05 | Inf
1560.73/1560.71 c 1459s| 2080k| 2079k| 4037k| 1.9 |2035M| 169 | 25 |1700 |1605 |1700 | 215 |1104k| 7 |3716 | 0.000000e+00 | 3.942380e+05 | Inf
1568.14/1568.14 c 1466s| 2090k| 2089k| 4056k| 1.9 |2045M| 169 | 5 |1700 |1605 |1700 | 270 |1109k| 7 |3728 | 0.000000e+00 | 3.942380e+05 | Inf
1575.63/1575.62 c 1473s| 2100k| 2099k| 4076k| 1.9 |2054M| 169 | 0 |1700 |1605 |1700 | 261 |1114k| 7 |3732 | 0.000000e+00 | 3.942380e+05 | Inf
1582.73/1582.79 c 1479s| 2110k| 2109k| 4089k| 1.9 |2064M| 169 | 0 |1700 |1605 |1700 | 265 |1117k| 7 |3748 | 0.000000e+00 | 3.942380e+05 | Inf
1589.93/1589.97 c 1486s| 2120k| 2119k| 4103k| 1.9 |2074M| 169 | 0 |1700 |1605 |1700 | 280 |1121k| 7 |3748 | 0.000000e+00 | 3.942380e+05 | Inf
1597.34/1597.35 c 1493s| 2130k| 2129k| 4119k| 1.9 |2084M| 169 | 0 |1700 |1605 |1700 | 286 |1126k| 7 |3763 | 0.000000e+00 | 3.942380e+05 | Inf
1604.54/1604.52 c 1500s| 2140k| 2139k| 4128k| 1.9 |2093M| 169 | 0 |1700 |1605 |1700 | 278 |1129k| 7 |3763 | 0.000000e+00 | 3.942380e+05 | Inf
1611.64/1611.69 c 1506s| 2150k| 2149k| 4140k| 1.9 |2103M| 169 | 0 |1700 |1604 |1700 | 279 |1133k| 7 |3778 | 0.000000e+00 | 3.942380e+05 | Inf
1618.84/1618.88 c 1513s| 2160k| 2159k| 4153k| 1.9 |2113M| 169 | 6 |1700 |1604 |1700 | 262 |1137k| 7 |3779 | 0.000000e+00 | 3.942380e+05 | Inf
1626.24/1626.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1626.24/1626.20 c 1520s| 2170k| 2169k| 4167k| 1.9 |2122M| 169 | 0 |1700 |1604 |1700 | 296 |1141k| 7 |3794 | 0.000000e+00 | 3.942380e+05 | Inf
1633.44/1633.43 c 1527s| 2180k| 2179k| 4181k| 1.9 |2132M| 169 | 0 |1700 |1604 |1700 | 240 |1145k| 7 |3795 | 0.000000e+00 | 3.942380e+05 | Inf
1640.73/1640.78 c 1534s| 2190k| 2189k| 4197k| 1.9 |2142M| 169 | 0 |1700 |1604 |1700 | 295 |1149k| 7 |3811 | 0.000000e+00 | 3.942380e+05 | Inf
1648.14/1648.11 c 1541s| 2200k| 2199k| 4213k| 1.9 |2152M| 169 | 0 |1700 |1604 |1700 | 276 |1154k| 7 |3811 | 0.000000e+00 | 3.942380e+05 | Inf
1655.54/1655.51 c 1547s| 2210k| 2209k| 4231k| 1.9 |2161M| 169 | 0 |1700 |1604 |1700 | 300 |1159k| 7 |3828 | 0.000000e+00 | 3.942380e+05 | Inf
1662.74/1662.79 c 1554s| 2220k| 2219k| 4245k| 1.9 |2171M| 169 | 6 |1700 |1604 |1700 | 284 |1164k| 7 |3831 | 0.000000e+00 | 3.942380e+05 | Inf
1670.14/1670.14 c 1561s| 2230k| 2229k| 4262k| 1.9 |2181M| 169 | 0 |1700 |1604 |1700 | 262 |1168k| 7 |3843 | 0.000000e+00 | 3.942380e+05 | Inf
1677.24/1677.26 c 1568s| 2240k| 2239k| 4271k| 1.9 |2190M| 169 | 0 |1700 |1604 |1700 | 286 |1172k| 7 |3843 | 0.000000e+00 | 3.942380e+05 | Inf
1684.44/1684.44 c 1574s| 2250k| 2249k| 4279k| 1.9 |2200M| 169 | 0 |1700 |1604 |1700 | 276 |1175k| 7 |3855 | 0.000000e+00 | 3.942380e+05 | Inf
1691.53/1691.55 c 1581s| 2260k| 2259k| 4289k| 1.9 |2210M| 169 | 4 |1700 |1604 |1700 | 248 |1178k| 7 |3858 | 0.000000e+00 | 3.942380e+05 | Inf
1698.84/1698.80 c 1588s| 2270k| 2269k| 4302k| 1.9 |2220M| 169 | 0 |1700 |1604 |1700 | 275 |1181k| 7 |3869 | 0.000000e+00 | 3.942380e+05 | Inf
1705.94/1705.95 c 1595s| 2280k| 2279k| 4315k| 1.9 |2229M| 169 | 0 |1700 |1604 |1700 | 252 |1185k| 7 |3873 | 0.000000e+00 | 3.942380e+05 | Inf
1713.34/1713.30 c 1602s| 2290k| 2289k| 4330k| 1.9 |2239M| 169 | 0 |1700 |1604 |1700 | 301 |1190k| 7 |3889 | 0.000000e+00 | 3.942380e+05 | Inf
1720.54/1720.53 c 1608s| 2300k| 2299k| 4344k| 1.9 |2249M| 169 | 0 |1700 |1604 |1700 | 261 |1194k| 7 |3892 | 0.000000e+00 | 3.942380e+05 | Inf
1727.74/1727.73 c 1615s| 2310k| 2309k| 4356k| 1.9 |2258M| 169 | 0 |1700 |1604 |1700 | 283 |1198k| 7 |3899 | 0.000000e+00 | 3.942380e+05 | Inf
1734.94/1734.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1734.94/1734.95 c 1622s| 2320k| 2319k| 4369k| 1.9 |2268M| 169 | 0 |1700 |1604 |1700 | 282 |1202k| 7 |3909 | 0.000000e+00 | 3.942380e+05 | Inf
1742.14/1742.11 c 1629s| 2330k| 2329k| 4381k| 1.9 |2278M| 169 | 0 |1700 |1604 |1700 | 254 |1205k| 7 |3909 | 0.000000e+00 | 3.942380e+05 | Inf
1749.44/1749.42 c 1635s| 2340k| 2339k| 4398k| 1.9 |2287M| 169 | 0 |1700 |1604 |1700 | 269 |1209k| 7 |3926 | 0.000000e+00 | 3.942380e+05 | Inf
1756.85/1756.81 c 1642s| 2350k| 2349k| 4414k| 1.9 |2297M| 169 | 0 |1700 |1604 |1700 | 293 |1214k| 7 |3934 | 0.000000e+00 | 3.942380e+05 | Inf
1764.05/1764.05 c 1649s| 2360k| 2359k| 4428k| 1.9 |2307M| 169 | 0 |1700 |1604 |1700 | 260 |1218k| 7 |3942 | 0.000000e+00 | 3.942380e+05 | Inf
1771.05/1771.04 c 1656s| 2370k| 2369k| 4438k| 1.9 |2316M| 169 | 0 |1700 |1603 |1700 | 245 |1220k| 7 |3942 | 0.000000e+00 | 3.942380e+05 | Inf
1778.25/1778.24 c 1662s| 2380k| 2379k| 4451k| 1.9 |2326M| 169 | 0 |1700 |1603 |1700 | 262 |1224k| 7 |3958 | 0.000000e+00 | 3.942380e+05 | Inf
1785.55/1785.51 c 1669s| 2390k| 2389k| 4466k| 1.9 |2336M| 169 | 0 |1700 |1603 |1700 | 256 |1228k| 7 |3958 | 0.000000e+00 | 3.942380e+05 | Inf
1792.95/1792.94 c 1676s| 2400k| 2399k| 4482k| 1.9 |2346M| 169 | 0 |1700 |1603 |1700 | 259 |1233k| 7 |3971 | 0.000000e+00 | 3.942380e+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) : 1682.76
1800.05/1800.00 c Solving Nodes : 2409671
1800.05/1800.00 c Primal Bound : +3.94238000000000e+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 : 1682.76
1800.05/1800.01 c Original Problem :
1800.05/1800.01 c Problem name : HOME/instance-2700092-1278533967.wbo
1800.05/1800.01 c Variables : 1800 (1000 binary, 0 integer, 0 implicit integer, 800 continuous)
1800.05/1800.01 c Constraints : 1701 initial, 1701 maximal
1800.05/1800.01 c Presolved Problem :
1800.05/1800.01 c Problem name : t_HOME/instance-2700092-1278533967.wbo
1800.05/1800.01 c Variables : 1700 (900 binary, 0 integer, 0 implicit integer, 800 continuous)
1800.05/1800.01 c Constraints : 1600 initial, 1607 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.01 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.01 0 100 0 800 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 2749408 0 0 0 0 0 898650
1800.05/1800.01 c indicator : 800 0 3428598 2300083 0 0 2461065 0 0 0
1800.05/1800.01 c linear : 800 6 3428598 2300083 0 2 1096535 1237715 0 0
1800.05/1800.01 c logicor : 0+ 0 40565 0 0 0 4140 0 0 0
1800.05/1800.01 c countsols : 0 0 0 1960344 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.77 0.00 0.00 7.77 0.00
1800.05/1800.01 c indicator : 146.86 0.00 30.83 116.03 0.00
1800.05/1800.01 c linear : 33.30 0.00 13.24 20.06 0.00
1800.05/1800.01 c logicor : 0.00 0.00 0.00 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.52 3428398 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 4.5 5 3.8 -
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 : - - - 7 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 - - 4 - (maximal pool size: 40)
1800.05/1800.01 c redcost : 90.04 2748699 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.00 4 0 0 41 0
1800.05/1800.01 c strongcg : 0.00 4 0 0 0 0
1800.05/1800.01 c cmir : 0.03 4 0 0 0 0
1800.05/1800.01 c flowcover : 0.02 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.74 449325 0 0 0 0 898650
1800.05/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.01 c inference : 129.97 1960344 0 0 0 0 3920688
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.06 1 0
1800.05/1800.01 c intshifting : 0.03 17 0
1800.05/1800.01 c crossover : 0.14 13 0
1800.05/1800.01 c pscostdiving : 14.28 28834 0
1800.05/1800.01 c fracdiving : 14.05 28834 0
1800.05/1800.01 c guideddiving : 14.08 28834 0
1800.05/1800.01 c veclendiving : 14.50 28835 0
1800.05/1800.01 c linesearchdiving : 13.77 28835 0
1800.05/1800.01 c coefdiving : 14.24 28835 0
1800.05/1800.01 c objpscostdiving : 14.82 28812 0
1800.05/1800.01 c rootsoldiving : 15.00 28812 0
1800.05/1800.01 c trivial : 0.01 2 1
1800.05/1800.01 c simplerounding : 0.04 448879 0
1800.05/1800.01 c zirounding : 0.03 1000 0
1800.05/1800.01 c rounding : 0.51 9455 0
1800.05/1800.01 c shifting : 1.45 2933 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.13 32693 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 : 695.88 972457 4497629 4.63 6463.22
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.18 295 985 3.34 5472.22
1800.05/1800.01 c strong branching : 5.05 3973 82870 20.86 16409.90
1800.05/1800.01 c (at root node) : - 33 8282 250.97 -
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 : 2409671
1800.05/1800.01 c nodes (total) : 2409671
1800.05/1800.01 c nodes left : 2409668
1800.05/1800.01 c max depth : 169
1800.05/1800.01 c max depth (total): 169
1800.05/1800.01 c backtracks : 28959 (1.2%)
1800.05/1800.01 c delayed cutoffs : 0
1800.05/1800.01 c repropagations : 30 (7 domain reductions, 0 cutoffs)
1800.05/1800.01 c avg switch length: 2.38
1800.05/1800.01 c switching time : 68.37
1800.05/1800.01 c Solution :
1800.05/1800.01 c Solutions found : 100 (1 improvements)
1800.05/1800.01 c First Solution : +3.94238000000000e+05 (in run 1, after 1 nodes, 0.03 seconds, depth 0, found by <trivial>)
1800.05/1800.01 c Primal Bound : +3.94238000000000e+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 : 463
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700092-1278533967/watcher-2700092-1278533967 -o /tmp/evaluation-result-2700092-1278533967/solver-2700092-1278533967 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2700092-1278533967.wbo -t 1800 -m 3800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.62 0.62 0.22 3/178 20196
/proc/meminfo: memFree=29934108/32951124 swapFree=67111528/67111528
[pid=20196] ppid=20194 vsize=9284 CPUtime=0
/proc/20196/stat : 20196 (pbscip.linux.x8) R 20194 20196 19312 0 -1 4202496 1643 0 0 0 0 0 0 0 22 0 1 0 21608930 9506816 1563 4089446400 4194304 8223781 140735541729088 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20196/statm: 2321 1564 369 984 0 1334 0
[startup+0.0849659 s]
/proc/loadavg: 1.62 0.62 0.22 3/178 20196
/proc/meminfo: memFree=29934108/32951124 swapFree=67111528/67111528
[pid=20196] ppid=20194 vsize=22996 CPUtime=0.07
/proc/20196/stat : 20196 (pbscip.linux.x8) R 20194 20196 19312 0 -1 4202496 6059 0 0 0 7 0 0 0 22 0 1 0 21608930 23547904 4835 4089446400 4194304 8223781 140735541729088 18446744073709551615 4561370 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20196/statm: 5749 4835 563 984 0 4762 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 22996
[startup+0.10096 s]
/proc/loadavg: 1.62 0.62 0.22 3/178 20196
/proc/meminfo: memFree=29934108/32951124 swapFree=67111528/67111528
[pid=20196] ppid=20194 vsize=25924 CPUtime=0.09
/proc/20196/stat : 20196 (pbscip.linux.x8) R 20194 20196 19312 0 -1 4202496 6702 0 0 0 8 1 0 0 22 0 1 0 21608930 26546176 5478 4089446400 4194304 8223781 140735541729088 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20196/statm: 6481 5478 564 984 0 5494 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25924
[startup+0.30092 s]
/proc/loadavg: 1.62 0.62 0.22 3/178 20196
/proc/meminfo: memFree=29934108/32951124 swapFree=67111528/67111528
[pid=20196] ppid=20194 vsize=30872 CPUtime=0.29
/proc/20196/stat : 20196 (pbscip.linux.x8) R 20194 20196 19312 0 -1 4202496 10118 0 0 0 27 2 0 0 22 0 1 0 21608930 31612928 6670 4089446400 4194304 8223781 140735541729088 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20196/statm: 7718 6670 578 984 0 6731 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 30872
[startup+0.700845 s]
/proc/loadavg: 1.62 0.62 0.22 3/178 20196
/proc/meminfo: memFree=29934108/32951124 swapFree=67111528/67111528
[pid=20196] ppid=20194 vsize=30872 CPUtime=0.69
/proc/20196/stat : 20196 (pbscip.linux.x8) R 20194 20196 19312 0 -1 4202496 10118 0 0 0 64 5 0 0 24 0 1 0 21608930 31612928 6670 4089446400 4194304 8223781 140735541729088 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20196/statm: 7718 6670 578 984 0 6731 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 30872
[startup+1.5007 s]
/proc/loadavg: 1.62 0.62 0.22 3/179 20198
/proc/meminfo: memFree=29909940/32951124 swapFree=67111528/67111528
[pid=20196] ppid=20194 vsize=30872 CPUtime=1.49
/proc/20196/stat : 20196 (pbscip.linux.x8) R 20194 20196 19312 0 -1 4202496 10118 0 0 0 138 11 0 0 25 0 1 0 21608930 31612928 6670 4089446400 4194304 8223781 140735541729088 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20196/statm: 7718 6670 578 984 0 6731 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 30872
[startup+3.10039 s]
/proc/loadavg: 1.62 0.62 0.22 3/179 20198
/proc/meminfo: memFree=29909940/32951124 swapFree=67111528/67111528
[pid=20196] ppid=20194 vsize=30872 CPUtime=3.09
/proc/20196/stat : 20196 (pbscip.linux.x8) R 20194 20196 19312 0 -1 4202496 10141 0 0 0 283 26 0 0 25 0 1 0 21608930 31612928 6693 4089446400 4194304 8223781 140735541729088 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20196/statm: 7718 6693 581 984 0 6731 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 30872
[startup+6.30079 s]
/proc/loadavg: 1.65 0.64 0.23 3/179 20198
/proc/meminfo: memFree=29906848/32951124 swapFree=67111528/67111528
[pid=20196] ppid=20194 vsize=34772 CPUtime=6.29
/proc/20196/stat : 20196 (pbscip.linux.x8) R 20194 20196 19312 0 -1 4202496 18467 0 0 0 576 53 0 0 25 0 1 0 21608930 35606528 7632 4089446400 4194304 8223781 140735541729088 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20196/statm: 8693 7632 582 984 0 7706 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 34772
[startup+12.7006 s]
/proc/loadavg: 1.68 0.66 0.24 3/180 20227
/proc/meminfo: memFree=29892588/32951124 swapFree=67111528/67111528
[pid=20196] ppid=20194 vsize=43552 CPUtime=12.69
/proc/20196/stat : 20196 (pbscip.linux.x8) R 20194 20196 19312 0 -1 4202496 26429 0 0 0 1169 100 0 0 25 0 1 0 21608930 44597248 9864 4089446400 4194304 8223781 140735541729088 18446744073709551615 6456034 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20196/statm: 10888 9864 582 984 0 9901 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 43552
[startup+25.5001 s]
/proc/loadavg: 1.88 0.76 0.27 3/179 20415
/proc/meminfo: memFree=29854740/32951124 swapFree=67111528/67111528
[pid=20196] ppid=20194 vsize=58988 CPUtime=25.49
/proc/20196/stat : 20196 (pbscip.linux.x8) R 20194 20196 19312 0 -1 4202496 36089 0 0 0 2364 185 0 0 25 0 1 0 21608930 60403712 13792 4089446400 4194304 8223781 140735541729088 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20196/statm: 14747 13792 582 984 0 13760 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 58988
[startup+51.1003 s]
/proc/loadavg: 1.92 0.86 0.32 3/179 20415
/proc/meminfo: memFree=29802888/32951124 swapFree=67111528/67111528
[pid=20196] ppid=20194 vsize=89896 CPUtime=51.08
/proc/20196/stat : 20196 (pbscip.linux.x8) R 20194 20196 19312 0 -1 4202496 46779 0 0 0 4748 360 0 0 25 0 1 0 21608930 92053504 21617 4089446400 4194304 8223781 140735541729088 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20196/statm: 22474 21617 582 984 0 21487 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 89896
[startup+102.307 s]
/proc/loadavg: 1.96 1.03 0.40 3/179 20417
/proc/meminfo: memFree=29675592/32951124 swapFree=67111528/67111528
[pid=20196] ppid=20194 vsize=155408 CPUtime=102.29
/proc/20196/stat : 20196 (pbscip.linux.x8) R 20194 20196 19312 0 -1 4202496 65781 0 0 0 9520 709 0 0 25 0 1 0 21608930 159137792 37738 4089446400 4194304 8223781 140735541729088 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20196/statm: 38852 37738 582 984 0 37865 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 155408
[startup+162.3 s]
/proc/loadavg: 1.98 1.20 0.50 3/179 20419
/proc/meminfo: memFree=29526608/32951124 swapFree=67111528/67111528
[pid=20196] ppid=20194 vsize=235676 CPUtime=162.29
/proc/20196/stat : 20196 (pbscip.linux.x8) R 20194 20196 19312 0 -1 4202496 85123 0 0 0 15112 1117 0 0 25 0 1 0 21608930 241332224 57074 4089446400 4194304 8223781 140735541729088 18446744073709551615 4830989 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20196/statm: 58919 57074 582 984 0 57932 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 235676
[startup+222.301 s]
/proc/loadavg: 1.99 1.35 0.59 3/179 20419
/proc/meminfo: memFree=29377640/32951124 swapFree=67111528/67111528
[pid=20196] ppid=20194 vsize=309200 CPUtime=222.3
/proc/20196/stat : 20196 (pbscip.linux.x8) R 20194 20196 19312 0 -1 4202496 106677 0 0 0 20715 1515 0 0 25 0 1 0 21608930 316620800 75767 4089446400 4194304 8223781 140735541729088 18446744073709551615 7256745 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20196/statm: 77300 75767 582 984 0 76313 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 309200
[startup+282.3 s]
/proc/loadavg: 1.99 1.46 0.68 3/179 20421
/proc/meminfo: memFree=29227924/32951124 swapFree=67111528/67111528
[pid=20196] ppid=20194 vsize=383368 CPUtime=282.29
/proc/20196/stat : 20196 (pbscip.linux.x8) R 20194 20196 19312 0 -1 4202496 125528 0 0 0 26326 1903 0 0 25 0 1 0 21608930 392568832 94616 4089446400 4194304 8223781 140735541729088 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20196/statm: 95842 94616 582 984 0 94855 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 383368
[startup+342.301 s]
/proc/loadavg: 1.99 1.56 0.76 3/179 20423
/proc/meminfo: memFree=29074132/32951124 swapFree=67111528/67111528
[pid=20196] ppid=20194 vsize=460084 CPUtime=342.29
/proc/20196/stat : 20196 (pbscip.linux.x8) R 20194 20196 19312 0 -1 4202496 147865 0 0 0 31935 2294 0 0 25 0 1 0 21608930 471126016 114092 4089446400 4194304 8223781 140735541729088 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20196/statm: 115021 114092 582 984 0 114034 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 460084
[startup+402.301 s]
/proc/loadavg: 1.99 1.64 0.83 3/179 20425
/proc/meminfo: memFree=28923040/32951124 swapFree=67111528/67111528
[pid=20196] ppid=20194 vsize=543124 CPUtime=402.29
/proc/20196/stat : 20196 (pbscip.linux.x8) R 20194 20196 19312 0 -1 4202496 166896 0 0 0 37542 2687 0 0 25 0 1 0 21608930 556158976 133123 4089446400 4194304 8223781 140735541729088 18446744073709551615 6446822 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20196/statm: 135781 133123 582 984 0 134794 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 543124
[startup+462.3 s]
/proc/loadavg: 2.07 1.72 0.91 3/179 20427
/proc/meminfo: memFree=28766996/32951124 swapFree=67111528/67111528
[pid=20196] ppid=20194 vsize=619724 CPUtime=462.3
/proc/20196/stat : 20196 (pbscip.linux.x8) R 20194 20196 19312 0 -1 4202496 186357 0 0 0 43153 3077 0 0 25 0 1 0 21608930 634597376 152584 4089446400 4194304 8223781 140735541729088 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20196/statm: 154931 152584 582 984 0 153944 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 619724
[startup+522.301 s]
/proc/loadavg: 2.03 1.77 0.97 3/179 20427
/proc/meminfo: memFree=28610568/32951124 swapFree=67111528/67111528
[pid=20196] ppid=20194 vsize=696392 CPUtime=522.3
/proc/20196/stat : 20196 (pbscip.linux.x8) R 20194 20196 19312 0 -1 4202496 205862 0 0 0 48754 3476 0 0 25 0 1 0 21608930 713105408 172071 4089446400 4194304 8223781 140735541729088 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20196/statm: 174098 172071 582 984 0 173111 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 696392
[startup+582.301 s]
/proc/loadavg: 2.01 1.80 1.03 3/179 20429
/proc/meminfo: memFree=28450908/32951124 swapFree=67111528/67111528
[pid=20196] ppid=20194 vsize=774956 CPUtime=582.31
/proc/20196/stat : 20196 (pbscip.linux.x8) R 20194 20196 19312 0 -1 4202496 225807 0 0 0 54362 3869 0 0 25 0 1 0 21608930 793554944 192016 4089446400 4194304 8223781 140735541729088 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20196/statm: 193739 192016 582 984 0 192752 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 774956
[startup+642.3 s]
/proc/loadavg: 2.00 1.84 1.09 3/179 20431
/proc/meminfo: memFree=28295488/32951124 swapFree=67111528/67111528
[pid=20196] ppid=20194 vsize=852208 CPUtime=642.31
/proc/20196/stat : 20196 (pbscip.linux.x8) R 20194 20196 19312 0 -1 4202496 248301 0 0 0 59965 4266 0 0 25 0 1 0 21608930 872660992 211637 4089446400 4194304 8223781 140735541729088 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20196/statm: 213052 211637 582 984 0 212065 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 852208
[startup+702.301 s]
################
# More data... #
################
/proc/20196/stat : 20196 (pbscip.linux.x8) R 20194 20196 19312 0 -1 4202496 366384 0 0 0 93607 6624 0 0 25 0 1 0 21608930 1365245952 329713 4089446400 4194304 8223781 140735541729088 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20196/statm: 333312 329713 582 984 0 332325 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 1333248
[startup+1062.3 s]
/proc/loadavg: 2.00 1.96 1.41 3/179 20443
/proc/meminfo: memFree=27169924/32951124 swapFree=67111528/67111528
[pid=20196] ppid=20194 vsize=1409264 CPUtime=1062.32
/proc/20196/stat : 20196 (pbscip.linux.x8) R 20194 20196 19312 0 -1 4202496 385716 0 0 0 99221 7011 0 0 25 0 1 0 21608930 1443086336 349035 4089446400 4194304 8223781 140735541729088 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20196/statm: 352316 349035 582 984 0 351329 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 1409264
[startup+1122.3 s]
/proc/loadavg: 2.00 1.96 1.44 3/179 20443
/proc/meminfo: memFree=27005444/32951124 swapFree=67111528/67111528
[pid=20196] ppid=20194 vsize=1489592 CPUtime=1122.31
/proc/20196/stat : 20196 (pbscip.linux.x8) R 20194 20196 19312 0 -1 4202496 406131 0 0 0 104832 7399 0 0 25 0 1 0 21608930 1525342208 369440 4089446400 4194304 8223781 140735541729088 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20196/statm: 372398 369440 586 984 0 371411 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 1489592
[startup+1182.3 s]
/proc/loadavg: 2.00 1.97 1.48 3/179 20445
/proc/meminfo: memFree=26844308/32951124 swapFree=67111528/67111528
[pid=20196] ppid=20194 vsize=1567116 CPUtime=1182.33
/proc/20196/stat : 20196 (pbscip.linux.x8) R 20194 20196 19312 0 -1 4202496 425837 0 0 0 110449 7784 0 0 25 0 1 0 21608930 1604726784 389141 4089446400 4194304 8223781 140735541729088 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20196/statm: 391779 389141 586 984 0 390792 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 1567116
[startup+1242.3 s]
/proc/loadavg: 2.00 1.97 1.50 3/179 20447
/proc/meminfo: memFree=26680688/32951124 swapFree=67111528/67111528
[pid=20196] ppid=20194 vsize=1642148 CPUtime=1242.32
/proc/20196/stat : 20196 (pbscip.linux.x8) R 20194 20196 19312 0 -1 4202496 447773 0 0 0 116059 8173 0 0 25 0 1 0 21608930 1681559552 408209 4089446400 4194304 8223781 140735541729088 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20196/statm: 410537 408209 586 984 0 409550 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 1642148
[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 1.53 3/179 20449
/proc/meminfo: memFree=26516696/32951124 swapFree=67111528/67111528
[pid=20196] ppid=20194 vsize=1722524 CPUtime=1302.33
/proc/20196/stat : 20196 (pbscip.linux.x8) R 20194 20196 19312 0 -1 4202496 468180 0 0 0 121672 8561 0 0 25 0 1 0 21608930 1763864576 428609 4089446400 4194304 8223781 140735541729088 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20196/statm: 430631 428609 586 984 0 429644 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 1722524
[startup+1362.3 s]
/proc/loadavg: 2.06 1.99 1.57 3/179 20451
/proc/meminfo: memFree=26354700/32951124 swapFree=67111528/67111528
[pid=20196] ppid=20194 vsize=1800172 CPUtime=1362.33
/proc/20196/stat : 20196 (pbscip.linux.x8) R 20194 20196 19312 0 -1 4202496 487934 0 0 0 127294 8939 0 0 25 0 1 0 21608930 1843376128 448357 4089446400 4194304 8223781 140735541729088 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20196/statm: 450043 448357 586 984 0 449056 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 1800172
[startup+1422.31 s]
/proc/loadavg: 2.02 1.99 1.59 3/179 20451
/proc/meminfo: memFree=26187984/32951124 swapFree=67111528/67111528
[pid=20196] ppid=20194 vsize=1878348 CPUtime=1422.33
/proc/20196/stat : 20196 (pbscip.linux.x8) R 20194 20196 19312 0 -1 4202496 507796 0 0 0 132919 9314 0 0 25 0 1 0 21608930 1923428352 468219 4089446400 4194304 8223781 140735541729088 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20196/statm: 469587 468219 586 984 0 468600 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 1878348
[startup+1482.3 s]
/proc/loadavg: 2.01 1.99 1.61 3/179 20453
/proc/meminfo: memFree=26027344/32951124 swapFree=67111528/67111528
[pid=20196] ppid=20194 vsize=1958348 CPUtime=1482.33
/proc/20196/stat : 20196 (pbscip.linux.x8) R 20194 20196 19312 0 -1 4202496 528120 0 0 0 138528 9705 0 0 25 0 1 0 21608930 2005348352 488543 4089446400 4194304 8223781 140735541729088 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20196/statm: 489587 488543 586 984 0 488600 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 1958348
[startup+1542.3 s]
/proc/loadavg: 2.06 2.00 1.64 3/179 20455
/proc/meminfo: memFree=25860872/32951124 swapFree=67111528/67111528
[pid=20196] ppid=20194 vsize=2067664 CPUtime=1542.33
/proc/20196/stat : 20196 (pbscip.linux.x8) R 20194 20196 19312 0 -1 4202496 547578 0 0 0 144142 10091 0 0 25 0 1 0 21608930 2117287936 508001 4089446400 4194304 8223781 140735541729088 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20196/statm: 516916 508001 586 984 0 515929 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 2067664
[startup+1602.3 s]
/proc/loadavg: 2.02 2.00 1.66 3/179 20457
/proc/meminfo: memFree=25696152/32951124 swapFree=67111528/67111528
[pid=20196] ppid=20194 vsize=2146816 CPUtime=1602.33
/proc/20196/stat : 20196 (pbscip.linux.x8) R 20194 20196 19312 0 -1 4202496 567705 0 0 0 149764 10469 0 0 25 0 1 0 21608930 2198339584 528115 4089446400 4194304 8223781 140735541729088 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20196/statm: 536704 528115 586 984 0 535717 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 2146816
[startup+1662.3 s]
/proc/loadavg: 2.01 2.00 1.68 3/179 20459
/proc/meminfo: memFree=25533668/32951124 swapFree=67111528/67111528
[pid=20196] ppid=20194 vsize=2224320 CPUtime=1662.34
/proc/20196/stat : 20196 (pbscip.linux.x8) R 20194 20196 19312 0 -1 4202496 587410 0 0 0 155376 10858 0 0 25 0 1 0 21608930 2277703680 547811 4089446400 4194304 8223781 140735541729088 18446744073709551615 6446852 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20196/statm: 556080 547811 586 984 0 555093 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 2224320
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.69 3/179 20459
/proc/meminfo: memFree=25370192/32951124 swapFree=67111528/67111528
[pid=20196] ppid=20194 vsize=2302424 CPUtime=1722.34
/proc/20196/stat : 20196 (pbscip.linux.x8) R 20194 20196 19312 0 -1 4202496 607251 0 0 0 160998 11236 0 0 25 0 1 0 21608930 2357682176 567652 4089446400 4194304 8223781 140735541729088 18446744073709551615 4902814 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20196/statm: 575606 567652 586 984 0 574619 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 2302424
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.71 3/179 20461
/proc/meminfo: memFree=25201236/32951124 swapFree=67111528/67111528
[pid=20196] ppid=20194 vsize=2383244 CPUtime=1782.34
/proc/20196/stat : 20196 (pbscip.linux.x8) R 20194 20196 19312 0 -1 4202496 627786 0 0 0 166619 11615 0 0 25 0 1 0 21608930 2440441856 588184 4089446400 4194304 8223781 140735541729088 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20196/statm: 595811 588184 586 984 0 594824 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 2383244
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.72 3/179 20461
/proc/meminfo: memFree=25152836/32951124 swapFree=67111528/67111528
[pid=20196] ppid=20194 vsize=2404820 CPUtime=1800.05
/proc/20196/stat : 20196 (pbscip.linux.x8) R 20194 20196 19312 0 -1 4202496 633265 0 0 0 168277 11728 0 0 25 0 1 0 21608930 2462535680 593663 4089446400 4194304 8223781 140735541729088 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20196/statm: 601205 593663 586 984 0 600218 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 2404820
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -20196
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 1.72 3/180 20462
/proc/meminfo: memFree=25150968/32951124 swapFree=67111528/67111528
[pid=20196] ppid=20194 vsize=2404820 CPUtime=1801.44
/proc/20196/stat : 20196 (pbscip.linux.x8) R 20194 20196 19312 0 -1 4202496 633267 0 0 0 168416 11728 0 0 25 0 1 0 21608930 2462535680 593665 4089446400 4194304 8223781 140735541729088 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20196/statm: 601205 593665 588 984 0 600218 0
Current children cumulated CPU time (s) 1801.44
Current children cumulated vsize (KiB) 2404820
[startup+1801.81 s]
/proc/loadavg: 2.00 2.00 1.72 3/180 20463
/proc/meminfo: memFree=25149976/32951124 swapFree=67111528/67111528
[pid=20196] ppid=20194 vsize=2404820 CPUtime=1801.85
/proc/20196/stat : 20196 (pbscip.linux.x8) R 20194 20196 19312 0 -1 4202496 633267 0 0 0 168457 11728 0 0 25 0 1 0 21608930 2462535680 593665 4089446400 4194304 8223781 140735541729088 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20196/statm: 601205 593665 588 984 0 600218 0
Current children cumulated CPU time (s) 1801.85
Current children cumulated vsize (KiB) 2404820
[startup+1802 s]
/proc/loadavg: 2.00 2.00 1.72 3/180 20463
/proc/meminfo: memFree=25149976/32951124 swapFree=67111528/67111528
[pid=20196] ppid=20194 vsize=2404820 CPUtime=1802.04
/proc/20196/stat : 20196 (pbscip.linux.x8) R 20194 20196 19312 0 -1 4202496 633267 0 0 0 168476 11728 0 0 25 0 1 0 21608930 2462535680 593665 4089446400 4194304 8223781 140735541729088 18446744073709551615 6206658 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20196/statm: 601205 593665 588 984 0 600218 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 2404820
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.08
CPU time (s): 1802.14
CPU user time (s): 1684.77
CPU system time (s): 117.361
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 2404820
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1684.77
system time used= 117.361
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 633267
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= 3319
runsolver used 2.46663 second user time and 5.78612 second system time
The end
Begin job on node141 at 2010-07-07 22:19:27
IDJOB=2700092
IDBENCH=79399
IDSOLVER=1204
FILE ID=node141/2700092-1278533967
PBS_JOBID= 11239196
Free space on /tmp= 73644 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-jnh218_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-2700092-1278533967/watcher-2700092-1278533967 -o /tmp/evaluation-result-2700092-1278533967/solver-2700092-1278533967 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2700092-1278533967.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= e9977e481ed86e7573c7f989943259e1
RANDOM SEED=912756049
node141.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.839
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.67
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.839
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 : 5265.34
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.839
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.839
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.74
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.839
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.76
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.839
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.839
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.839
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: 32951124 kB
MemFree: 29934636 kB
Buffers: 142260 kB
Cached: 2646896 kB
SwapCached: 0 kB
Active: 1263088 kB
Inactive: 1598648 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 29934636 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 6456 kB
Writeback: 0 kB
AnonPages: 72852 kB
Mapped: 15448 kB
Slab: 88432 kB
PageTables: 5068 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 215068 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= 73636 MiB
End job on node141 at 2010-07-07 22:49:29