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-2700440-1278535631.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.02 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.04/0.06 c (0.0s) probing: 101/950 (10.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.04/0.06 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.04/0.06 c presolving (3 rounds):
0.04/0.06 c 100 deleted vars, 101 deleted constraints, 850 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.04/0.06 c 1050 implications, 0 cliques
0.04/0.06 c presolved problem has 1800 variables (950 bin, 0 int, 0 impl, 850 cont) and 1700 constraints
0.04/0.06 c 850 constraints of type <indicator>
0.04/0.06 c 850 constraints of type <linear>
0.04/0.06 c transformed objective value is always integral (scale: 1)
0.04/0.06 c Presolving Time: 0.04
0.04/0.06 c - non default parameters ----------------------------------------------------------------------
0.04/0.06 c # SCIP version 1.2.1.2
0.04/0.06 c
0.04/0.06 c # frequency for displaying node information lines
0.04/0.06 c # [type: int, range: [-1,2147483647], default: 100]
0.04/0.06 c display/freq = 10000
0.04/0.06 c
0.04/0.06 c # maximal time in seconds to run
0.04/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.04/0.06 c limits/time = 1799.99
0.04/0.06 c
0.04/0.06 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.04/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.04/0.06 c limits/memory = 3420
0.04/0.06 c
0.04/0.06 c # should presolving try to simplify inequalities
0.04/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.04/0.06 c constraints/linear/simplifyinequalities = TRUE
0.04/0.06 c
0.04/0.06 c # should presolving try to simplify knapsacks
0.04/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.04/0.06 c constraints/knapsack/simplifyinequalities = TRUE
0.04/0.06 c
0.04/0.06 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.04/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.04/0.06 c separating/rapidlearning/freq = 0
0.04/0.06 c
0.04/0.06 c -----------------------------------------------------------------------------------------------
0.04/0.06 c start solving
0.04/0.06 c
0.04/0.06 o 420925
0.04/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.04/0.06 c t 0.0s| 1 | 0 | 0 | - |6123k| 0 | - |1800 |1700 | 0 | 0 | 0 | 0 | 0 | -- | 4.209250e+05 | Inf
0.04/0.06 c 0.0s| 1 | 0 | 0 | - |6520k| 0 | 0 |1800 |1700 |1800 | 0 | 0 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.04/0.06 c 0.0s| 1 | 0 | 36 | - |6556k| 0 | 5 |1800 |1700 |1800 | 62 | 62 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.04/0.07 c 0.1s| 1 | 0 | 112 | - |6610k| 0 | 47 |1800 |1700 |1800 | 109 | 109 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.04/0.08 c 0.1s| 1 | 0 | 176 | - |6747k| 0 | 65 |1800 |1700 |1800 | 155 | 155 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.04/0.09 c 0.1s| 1 | 0 | 226 | - |6859k| 0 | 71 |1800 |1700 |1800 | 180 | 180 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.09/0.11 c 0.1s| 1 | 0 | 241 | - |6888k| 0 | 80 |1800 |1700 |1800 | 188 | 188 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.09/0.13 c 0.1s| 1 | 0 | 245 | - |6915k| 0 | 80 |1800 |1700 |1800 | 190 | 190 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.29/0.30 c 0.3s| 1 | 2 | 402 | - |6967k| 0 | 80 |1800 |1700 |1800 | 190 | 190 | 0 | 33 | 0.000000e+00 | 4.209250e+05 | Inf
10.79/10.82 c 10.6s| 10000 | 10001 | 44182 | 4.4 | 19M| 97 | 0 |1800 |1700 |1800 | 253 | 11k| 0 | 790 | 0.000000e+00 | 4.209250e+05 | Inf
19.49/19.51 c 19.0s| 20000 | 20001 | 82412 | 4.1 | 30M| 109 | 0 |1800 |1700 |1800 | 311 | 22k| 0 | 790 | 0.000000e+00 | 4.209250e+05 | Inf
28.29/28.33 c 27.6s| 30000 | 30001 |126761 | 4.2 | 40M| 109 | 0 |1800 |1700 |1800 | 260 | 35k| 0 | 890 | 0.000000e+00 | 4.209250e+05 | Inf
37.19/37.27 c 36.4s| 40000 | 40001 |174956 | 4.4 | 50M| 109 | 48 |1800 |1700 |1800 | 188 | 48k| 0 |1089 | 0.000000e+00 | 4.209250e+05 | Inf
45.89/45.93 c 44.7s| 50000 | 50001 |215124 | 4.3 | 60M| 109 | 0 |1800 |1700 |1800 | 273 | 60k| 0 |1224 | 0.000000e+00 | 4.209250e+05 | Inf
54.69/54.74 c 53.3s| 60000 | 60001 |256768 | 4.3 | 70M| 109 | 0 |1800 |1700 |1800 | 284 | 73k| 0 |1389 | 0.000000e+00 | 4.209250e+05 | Inf
63.19/63.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
63.19/63.27 c 61.7s| 70000 | 70001 |289674 | 4.1 | 81M| 109 | 9 |1800 |1700 |1800 | 289 | 83k| 0 |1533 | 0.000000e+00 | 4.209250e+05 | Inf
71.90/71.91 c 70.0s| 80000 | 80001 |324331 | 4.1 | 91M| 109 | 11 |1800 |1700 |1800 | 243 | 94k| 0 |1652 | 0.000000e+00 | 4.209250e+05 | Inf
80.50/80.53 c 78.5s| 90000 | 90001 |358996 | 4.0 | 101M| 109 | 9 |1800 |1700 |1800 | 277 | 105k| 0 |1775 | 0.000000e+00 | 4.209250e+05 | Inf
89.00/89.01 c 86.7s|100000 |100001 |391843 | 3.9 | 111M| 109 | 12 |1800 |1700 |1800 | 266 | 114k| 0 |1871 | 0.000000e+00 | 4.209250e+05 | Inf
97.59/97.63 c 95.1s|110000 |110001 |428072 | 3.9 | 121M| 109 | 0 |1800 |1700 |1800 | 295 | 126k| 0 |1965 | 0.000000e+00 | 4.209250e+05 | Inf
106.19/106.24 c 104s|120000 |120001 |462716 | 3.9 | 131M| 109 | 0 |1800 |1700 |1800 | 287 | 136k| 0 |2081 | 0.000000e+00 | 4.209250e+05 | Inf
115.10/115.10 c 112s|130000 |130001 |506699 | 3.9 | 142M| 109 | 23 |1800 |1700 |1800 | 260 | 149k| 0 |2194 | 0.000000e+00 | 4.209250e+05 | Inf
123.70/123.74 c 120s|140000 |140001 |542398 | 3.9 | 152M| 109 | 16 |1800 |1700 |1800 | 251 | 159k| 0 |2297 | 0.000000e+00 | 4.209250e+05 | Inf
132.40/132.45 c 129s|150000 |150001 |580378 | 3.9 | 162M| 109 | 12 |1800 |1700 |1800 | 275 | 171k| 0 |2372 | 0.000000e+00 | 4.209250e+05 | Inf
141.10/141.10 c 137s|160000 |160001 |618440 | 3.9 | 172M| 109 | 0 |1800 |1700 |1800 | 268 | 183k| 0 |2468 | 0.000000e+00 | 4.209250e+05 | Inf
149.60/149.61 c 146s|170000 |170001 |654398 | 3.8 | 182M| 109 | 0 |1800 |1700 |1800 | 273 | 193k| 0 |2547 | 0.000000e+00 | 4.209250e+05 | Inf
158.19/158.22 c 154s|180000 |180001 |689367 | 3.8 | 192M| 109 | 0 |1800 |1700 |1800 | 303 | 204k| 0 |2643 | 0.000000e+00 | 4.209250e+05 | Inf
166.90/166.93 c 163s|190000 |190001 |727309 | 3.8 | 203M| 109 | 14 |1800 |1700 |1800 | 268 | 216k| 0 |2707 | 0.000000e+00 | 4.209250e+05 | Inf
175.19/175.24 c 171s|200000 |200001 |757641 | 3.8 | 213M| 109 | 8 |1800 |1700 |1800 | 250 | 226k| 0 |2797 | 0.000000e+00 | 4.209250e+05 | Inf
183.70/183.74 c 179s|210000 |210001 |791997 | 3.8 | 223M| 109 | 0 |1800 |1700 |1800 | 297 | 236k| 0 |2874 | 0.000000e+00 | 4.209250e+05 | Inf
192.30/192.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
192.30/192.35 c 187s|220000 |220001 |827397 | 3.8 | 233M| 109 | 0 |1800 |1700 |1800 | 289 | 247k| 0 |2945 | 0.000000e+00 | 4.209250e+05 | Inf
200.60/200.67 c 195s|230000 |230001 |860601 | 3.7 | 243M| 121 | 0 |1800 |1700 |1800 | 263 | 257k| 0 |3008 | 0.000000e+00 | 4.209250e+05 | Inf
209.01/209.01 c 204s|240000 |240001 |891594 | 3.7 | 253M| 121 | 10 |1800 |1700 |1800 | 242 | 267k| 0 |3075 | 0.000000e+00 | 4.209250e+05 | Inf
216.99/217.03 c 211s|250000 |250001 |915757 | 3.7 | 263M| 121 | 0 |1800 |1700 |1800 | 268 | 275k| 0 |3133 | 0.000000e+00 | 4.209250e+05 | Inf
225.19/225.21 c 219s|260000 |260001 |942265 | 3.6 | 273M| 121 | 0 |1800 |1700 |1800 | 266 | 283k| 0 |3167 | 0.000000e+00 | 4.209250e+05 | Inf
233.50/233.56 c 228s|270000 |270001 |972944 | 3.6 | 283M| 121 | 0 |1800 |1700 |1800 | 287 | 292k| 0 |3222 | 0.000000e+00 | 4.209250e+05 | Inf
241.69/241.76 c 236s|280000 |280001 | 1000k| 3.6 | 293M| 121 | 0 |1800 |1700 |1800 | 292 | 301k| 0 |3273 | 0.000000e+00 | 4.209250e+05 | Inf
250.10/250.14 c 244s|290000 |290001 | 1031k| 3.6 | 304M| 121 | 0 |1800 |1700 |1800 | 246 | 310k| 0 |3330 | 0.000000e+00 | 4.209250e+05 | Inf
258.40/258.40 c 252s|300000 |300001 | 1059k| 3.5 | 314M| 121 | 0 |1800 |1700 |1800 | 256 | 318k| 0 |3363 | 0.000000e+00 | 4.209250e+05 | Inf
266.59/266.62 c 260s|310000 |310001 | 1087k| 3.5 | 324M| 121 | 3 |1800 |1700 |1800 | 280 | 327k| 0 |3412 | 0.000000e+00 | 4.209250e+05 | Inf
274.79/274.88 c 268s|320000 |320001 | 1117k| 3.5 | 334M| 121 | 0 |1800 |1700 |1800 | 276 | 335k| 0 |3469 | 0.000000e+00 | 4.209250e+05 | Inf
283.20/283.26 c 276s|330000 |330001 | 1150k| 3.5 | 344M| 121 | 5 |1800 |1700 |1800 | 254 | 345k| 0 |3517 | 0.000000e+00 | 4.209250e+05 | Inf
291.40/291.47 c 284s|340000 |340001 | 1177k| 3.5 | 354M| 121 | 0 |1800 |1700 |1800 | 268 | 354k| 0 |3557 | 0.000000e+00 | 4.209250e+05 | Inf
299.80/299.81 c 292s|350000 |350001 | 1209k| 3.5 | 364M| 121 | 5 |1800 |1700 |1800 | 240 | 363k| 0 |3616 | 0.000000e+00 | 4.209250e+05 | Inf
308.00/308.03 c 300s|360000 |360001 | 1236k| 3.4 | 374M| 125 | 0 |1800 |1700 |1800 | 295 | 371k| 0 |3652 | 0.000000e+00 | 4.209250e+05 | Inf
316.40/316.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
316.40/316.40 c 308s|370000 |370001 | 1267k| 3.4 | 384M| 125 | 0 |1800 |1700 |1800 | 283 | 380k| 0 |3705 | 0.000000e+00 | 4.209250e+05 | Inf
324.60/324.67 c 316s|380000 |380001 | 1297k| 3.4 | 395M| 125 | 0 |1800 |1700 |1800 | 296 | 389k| 0 |3747 | 0.000000e+00 | 4.209250e+05 | Inf
332.90/332.92 c 324s|390000 |390001 | 1327k| 3.4 | 405M| 125 | 0 |1800 |1700 |1800 | 278 | 398k| 0 |3791 | 0.000000e+00 | 4.209250e+05 | Inf
340.91/340.99 c 332s|400000 |400001 | 1351k| 3.4 | 415M| 125 | 11 |1800 |1700 |1800 | 286 | 405k| 0 |3821 | 0.000000e+00 | 4.209250e+05 | Inf
349.10/349.17 c 340s|410000 |410001 | 1379k| 3.4 | 425M| 125 | 0 |1800 |1700 |1800 | 291 | 413k| 0 |3872 | 0.000000e+00 | 4.209250e+05 | Inf
357.30/357.39 c 348s|420000 |420001 | 1407k| 3.4 | 435M| 125 | 0 |1800 |1700 |1800 | 271 | 422k| 0 |3900 | 0.000000e+00 | 4.209250e+05 | Inf
365.70/365.71 c 356s|430000 |430001 | 1438k| 3.3 | 445M| 125 | 0 |1800 |1700 |1800 | 274 | 430k| 0 |3955 | 0.000000e+00 | 4.209250e+05 | Inf
373.91/373.90 c 364s|440000 |440001 | 1465k| 3.3 | 455M| 125 | 12 |1800 |1700 |1800 | 251 | 438k| 0 |3982 | 0.000000e+00 | 4.209250e+05 | Inf
381.90/381.96 c 372s|450000 |450001 | 1487k| 3.3 | 465M| 125 | 0 |1800 |1700 |1800 | 315 | 444k| 0 |4006 | 0.000000e+00 | 4.209250e+05 | Inf
390.10/390.18 c 380s|460000 |460001 | 1515k| 3.3 | 475M| 125 | 0 |1800 |1700 |1800 | 276 | 452k| 0 |4056 | 0.000000e+00 | 4.209250e+05 | Inf
398.30/398.34 c 388s|470000 |470001 | 1542k| 3.3 | 485M| 139 | 0 |1800 |1700 |1800 | 280 | 460k| 0 |4081 | 0.000000e+00 | 4.209250e+05 | Inf
406.40/406.43 c 396s|480000 |480001 | 1569k| 3.3 | 495M| 139 | 0 |1800 |1700 |1800 | 309 | 468k| 0 |4123 | 0.000000e+00 | 4.209250e+05 | Inf
414.41/414.41 c 404s|490000 |490001 | 1593k| 3.3 | 506M| 139 | 0 |1800 |1700 |1800 | 280 | 475k| 0 |4156 | 0.000000e+00 | 4.209250e+05 | Inf
422.20/422.26 c 412s|500000 |500001 | 1615k| 3.2 | 516M| 139 | 17 |1800 |1700 |1800 | 282 | 482k| 0 |4183 | 0.000000e+00 | 4.209250e+05 | Inf
430.40/430.46 c 420s|510000 |510001 | 1644k| 3.2 | 526M| 139 | 0 |1800 |1700 |1800 | 278 | 490k| 0 |4214 | 0.000000e+00 | 4.209250e+05 | Inf
438.30/438.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
438.30/438.39 c 427s|520000 |520001 | 1668k| 3.2 | 536M| 139 | 0 |1800 |1700 |1800 | 292 | 497k| 0 |4240 | 0.000000e+00 | 4.209250e+05 | Inf
446.40/446.44 c 435s|530000 |530001 | 1693k| 3.2 | 546M| 139 | 0 |1800 |1700 |1800 | 271 | 505k| 0 |4285 | 0.000000e+00 | 4.209250e+05 | Inf
454.41/454.47 c 443s|540000 |539999 | 1718k| 3.2 | 556M| 139 | 0 |1800 |1702 |1800 | 261 | 513k| 2 |4314 | 0.000000e+00 | 4.209250e+05 | Inf
462.50/462.58 c 451s|550000 |549999 | 1746k| 3.2 | 566M| 139 | 4 |1800 |1702 |1800 | 288 | 520k| 2 |4343 | 0.000000e+00 | 4.209250e+05 | Inf
470.50/470.58 c 459s|560000 |559999 | 1769k| 3.2 | 576M| 139 | 0 |1800 |1702 |1800 | 297 | 528k| 2 |4380 | 0.000000e+00 | 4.209250e+05 | Inf
478.70/478.77 c 467s|570000 |569999 | 1799k| 3.2 | 586M| 139 | 0 |1800 |1702 |1800 | 263 | 536k| 2 |4424 | 0.000000e+00 | 4.209250e+05 | Inf
486.70/486.79 c 475s|580000 |579999 | 1822k| 3.1 | 596M| 139 | 0 |1800 |1702 |1800 | 290 | 543k| 2 |4455 | 0.000000e+00 | 4.209250e+05 | Inf
494.80/494.80 c 482s|590000 |589997 | 1845k| 3.1 | 606M| 139 | 0 |1800 |1704 |1800 | 278 | 550k| 4 |4480 | 0.000000e+00 | 4.209250e+05 | Inf
502.71/502.71 c 490s|600000 |599997 | 1866k| 3.1 | 616M| 139 | 0 |1800 |1704 |1800 | 299 | 556k| 4 |4508 | 0.000000e+00 | 4.209250e+05 | Inf
510.71/510.72 c 498s|610000 |609997 | 1891k| 3.1 | 627M| 139 | 0 |1800 |1704 |1800 | 290 | 564k| 4 |4543 | 0.000000e+00 | 4.209250e+05 | Inf
518.51/518.59 c 506s|620000 |619997 | 1913k| 3.1 | 637M| 139 | 0 |1800 |1704 |1800 | 265 | 570k| 4 |4576 | 0.000000e+00 | 4.209250e+05 | Inf
526.71/526.70 c 513s|630000 |629997 | 1939k| 3.1 | 647M| 139 | 0 |1800 |1704 |1800 | 271 | 578k| 4 |4608 | 0.000000e+00 | 4.209250e+05 | Inf
534.70/534.72 c 521s|640000 |639997 | 1963k| 3.1 | 657M| 139 | 0 |1800 |1704 |1800 | 276 | 585k| 4 |4633 | 0.000000e+00 | 4.209250e+05 | Inf
542.81/542.81 c 529s|650000 |649997 | 1987k| 3.1 | 667M| 139 | 0 |1800 |1704 |1800 | 262 | 593k| 4 |4655 | 0.000000e+00 | 4.209250e+05 | Inf
551.01/551.08 c 537s|660000 |659997 | 2018k| 3.1 | 677M| 139 | 0 |1800 |1704 |1800 | 308 | 602k| 4 |4700 | 0.000000e+00 | 4.209250e+05 | Inf
559.30/559.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
559.30/559.33 c 545s|670000 |669997 | 2047k| 3.1 | 687M| 139 | 24 |1800 |1704 |1800 | 226 | 611k| 4 |4728 | 0.000000e+00 | 4.209250e+05 | Inf
567.31/567.36 c 553s|680000 |679997 | 2071k| 3.0 | 697M| 139 | 0 |1800 |1704 |1800 | 298 | 618k| 4 |4753 | 0.000000e+00 | 4.209250e+05 | Inf
575.40/575.40 c 561s|690000 |689997 | 2095k| 3.0 | 707M| 139 | 0 |1800 |1704 |1800 | 289 | 624k| 4 |4774 | 0.000000e+00 | 4.209250e+05 | Inf
583.31/583.39 c 569s|700000 |699997 | 2117k| 3.0 | 718M| 139 | 0 |1800 |1704 |1800 | 294 | 631k| 4 |4801 | 0.000000e+00 | 4.209250e+05 | Inf
591.60/591.62 c 577s|710000 |709997 | 2146k| 3.0 | 728M| 139 | 0 |1800 |1704 |1800 | 306 | 640k| 4 |4842 | 0.000000e+00 | 4.209250e+05 | Inf
599.71/599.76 c 585s|720000 |719997 | 2173k| 3.0 | 738M| 139 | 0 |1800 |1704 |1800 | 287 | 648k| 4 |4876 | 0.000000e+00 | 4.209250e+05 | Inf
607.70/607.78 c 593s|730000 |729997 | 2194k| 3.0 | 748M| 139 | 0 |1800 |1704 |1800 | 280 | 654k| 4 |4900 | 0.000000e+00 | 4.209250e+05 | Inf
615.51/615.53 c 600s|740000 |739997 | 2212k| 3.0 | 758M| 139 | 0 |1800 |1704 |1800 | 251 | 659k| 4 |4914 | 0.000000e+00 | 4.209250e+05 | Inf
623.51/623.60 c 608s|750000 |749997 | 2238k| 3.0 | 768M| 139 | 11 |1800 |1704 |1800 | 268 | 667k| 4 |4942 | 0.000000e+00 | 4.209250e+05 | Inf
631.81/631.86 c 616s|760000 |759997 | 2269k| 3.0 | 778M| 139 | 0 |1800 |1704 |1800 | 311 | 675k| 4 |4970 | 0.000000e+00 | 4.209250e+05 | Inf
639.91/639.94 c 624s|770000 |769997 | 2294k| 3.0 | 788M| 139 | 0 |1800 |1704 |1800 | 280 | 683k| 4 |4995 | 0.000000e+00 | 4.209250e+05 | Inf
648.01/648.05 c 632s|780000 |779997 | 2319k| 3.0 | 798M| 139 | 3 |1800 |1704 |1800 | 224 | 690k| 4 |5017 | 0.000000e+00 | 4.209250e+05 | Inf
656.11/656.10 c 640s|790000 |789997 | 2343k| 3.0 | 809M| 139 | 10 |1800 |1704 |1800 | 271 | 697k| 4 |5043 | 0.000000e+00 | 4.209250e+05 | Inf
664.00/664.02 c 648s|800000 |799997 | 2364k| 3.0 | 819M| 139 | 0 |1800 |1704 |1800 | 285 | 703k| 4 |5060 | 0.000000e+00 | 4.209250e+05 | Inf
672.11/672.17 c 656s|810000 |809997 | 2390k| 3.0 | 829M| 143 | 0 |1800 |1704 |1800 | 260 | 710k| 4 |5097 | 0.000000e+00 | 4.209250e+05 | Inf
680.10/680.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
680.10/680.13 c 663s|820000 |819997 | 2412k| 2.9 | 839M| 143 | 0 |1800 |1704 |1800 | 307 | 717k| 4 |5113 | 0.000000e+00 | 4.209250e+05 | Inf
687.91/687.93 c 671s|830000 |829997 | 2430k| 2.9 | 849M| 143 | 0 |1800 |1704 |1800 | 274 | 722k| 4 |5125 | 0.000000e+00 | 4.209250e+05 | Inf
696.00/696.00 c 679s|840000 |839997 | 2455k| 2.9 | 859M| 143 | 0 |1800 |1704 |1800 | 296 | 729k| 4 |5147 | 0.000000e+00 | 4.209250e+05 | Inf
703.91/704.00 c 687s|850000 |849997 | 2478k| 2.9 | 869M| 143 | 8 |1800 |1704 |1800 | 275 | 736k| 4 |5178 | 0.000000e+00 | 4.209250e+05 | Inf
711.91/711.94 c 694s|860000 |859997 | 2499k| 2.9 | 879M| 143 | 0 |1800 |1704 |1800 | 289 | 743k| 4 |5196 | 0.000000e+00 | 4.209250e+05 | Inf
720.11/720.15 c 702s|870000 |869997 | 2526k| 2.9 | 889M| 143 | 0 |1800 |1704 |1800 | 248 | 751k| 4 |5235 | 0.000000e+00 | 4.209250e+05 | Inf
728.12/728.18 c 710s|880000 |879997 | 2548k| 2.9 | 899M| 143 | 0 |1800 |1704 |1800 | 260 | 758k| 4 |5255 | 0.000000e+00 | 4.209250e+05 | Inf
736.21/736.21 c 718s|890000 |889997 | 2571k| 2.9 | 910M| 143 | 0 |1800 |1704 |1800 | 259 | 765k| 4 |5276 | 0.000000e+00 | 4.209250e+05 | Inf
743.91/743.98 c 726s|900000 |899997 | 2587k| 2.9 | 920M| 143 | 0 |1800 |1704 |1800 | 287 | 769k| 4 |5290 | 0.000000e+00 | 4.209250e+05 | Inf
751.51/751.54 c 733s|910000 |909997 | 2598k| 2.9 | 929M| 143 | 0 |1800 |1704 |1800 | 282 | 773k| 4 |5291 | 0.000000e+00 | 4.209250e+05 | Inf
759.41/759.42 c 741s|920000 |919997 | 2618k| 2.8 | 940M| 143 | 9 |1800 |1704 |1800 | 225 | 778k| 4 |5312 | 0.000000e+00 | 4.209250e+05 | Inf
767.51/767.51 c 749s|930000 |929997 | 2644k| 2.8 | 950M| 143 | 0 |1800 |1704 |1800 | 293 | 786k| 4 |5329 | 0.000000e+00 | 4.209250e+05 | Inf
775.51/775.58 c 756s|940000 |939997 | 2668k| 2.8 | 960M| 143 | 0 |1800 |1704 |1800 | 322 | 793k| 4 |5346 | 0.000000e+00 | 4.209250e+05 | Inf
783.61/783.66 c 764s|950000 |949997 | 2692k| 2.8 | 970M| 143 | 0 |1800 |1704 |1800 | 295 | 800k| 4 |5368 | 0.000000e+00 | 4.209250e+05 | Inf
791.71/791.76 c 772s|960000 |959997 | 2718k| 2.8 | 980M| 143 | 10 |1800 |1704 |1800 | 243 | 808k| 4 |5398 | 0.000000e+00 | 4.209250e+05 | Inf
799.91/799.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
799.91/799.90 c 780s|970000 |969997 | 2745k| 2.8 | 990M| 143 | 0 |1800 |1704 |1800 | 294 | 816k| 4 |5418 | 0.000000e+00 | 4.209250e+05 | Inf
807.81/807.86 c 788s|980000 |979997 | 2768k| 2.8 |1000M| 151 | 0 |1800 |1704 |1800 | 268 | 822k| 4 |5440 | 0.000000e+00 | 4.209250e+05 | Inf
815.71/815.77 c 796s|990000 |989997 | 2791k| 2.8 |1010M| 151 | 0 |1800 |1704 |1800 | 290 | 828k| 4 |5459 | 0.000000e+00 | 4.209250e+05 | Inf
823.61/823.66 c 803s| 1000k|999997 | 2811k| 2.8 |1020M| 151 | 2 |1800 |1704 |1800 | 268 | 834k| 4 |5477 | 0.000000e+00 | 4.209250e+05 | Inf
831.62/831.65 c 811s| 1010k| 1009k| 2835k| 2.8 |1030M| 151 | 9 |1800 |1704 |1800 | 268 | 841k| 4 |5495 | 0.000000e+00 | 4.209250e+05 | Inf
839.62/839.68 c 819s| 1020k| 1019k| 2863k| 2.8 |1041M| 151 | 0 |1800 |1704 |1800 | 278 | 849k| 4 |5511 | 0.000000e+00 | 4.209250e+05 | Inf
847.61/847.65 c 827s| 1030k| 1029k| 2887k| 2.8 |1051M| 151 | 12 |1800 |1704 |1800 | 271 | 855k| 4 |5527 | 0.000000e+00 | 4.209250e+05 | Inf
855.61/855.66 c 835s| 1040k| 1039k| 2913k| 2.8 |1061M| 151 | 0 |1800 |1704 |1800 | 279 | 863k| 4 |5551 | 0.000000e+00 | 4.209250e+05 | Inf
863.61/863.68 c 842s| 1050k| 1049k| 2941k| 2.8 |1071M| 151 | 0 |1800 |1704 |1800 | 309 | 872k| 4 |5573 | 0.000000e+00 | 4.209250e+05 | Inf
871.52/871.56 c 850s| 1060k| 1059k| 2961k| 2.8 |1081M| 151 | 0 |1800 |1704 |1800 | 317 | 878k| 4 |5593 | 0.000000e+00 | 4.209250e+05 | Inf
879.61/879.68 c 858s| 1070k| 1069k| 2992k| 2.8 |1091M| 151 | 0 |1800 |1704 |1800 | 284 | 886k| 4 |5611 | 0.000000e+00 | 4.209250e+05 | Inf
887.52/887.52 c 866s| 1080k| 1079k| 3012k| 2.8 |1101M| 151 | 0 |1800 |1704 |1800 | 262 | 892k| 4 |5628 | 0.000000e+00 | 4.209250e+05 | Inf
895.21/895.26 c 873s| 1090k| 1089k| 3030k| 2.8 |1111M| 151 | 0 |1800 |1704 |1800 | 254 | 898k| 4 |5646 | 0.000000e+00 | 4.209250e+05 | Inf
903.12/903.15 c 881s| 1100k| 1099k| 3051k| 2.8 |1121M| 151 | 0 |1800 |1704 |1800 | 275 | 904k| 4 |5663 | 0.000000e+00 | 4.209250e+05 | Inf
910.92/910.91 c 888s| 1110k| 1109k| 3070k| 2.8 |1131M| 151 | 0 |1800 |1704 |1800 | 287 | 910k| 4 |5675 | 0.000000e+00 | 4.209250e+05 | Inf
918.72/918.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
918.72/918.73 c 896s| 1120k| 1119k| 3090k| 2.8 |1141M| 151 | 0 |1800 |1704 |1800 | 257 | 916k| 4 |5685 | 0.000000e+00 | 4.209250e+05 | Inf
926.42/926.43 c 904s| 1130k| 1129k| 3108k| 2.8 |1151M| 151 | 0 |1800 |1704 |1800 | 263 | 921k| 4 |5699 | 0.000000e+00 | 4.209250e+05 | Inf
934.11/934.18 c 911s| 1140k| 1139k| 3126k| 2.7 |1161M| 151 | 0 |1800 |1704 |1800 | 284 | 926k| 4 |5715 | 0.000000e+00 | 4.209250e+05 | Inf
942.02/942.09 c 919s| 1150k| 1149k| 3147k| 2.7 |1171M| 151 | 0 |1800 |1704 |1800 | 302 | 933k| 4 |5733 | 0.000000e+00 | 4.209250e+05 | Inf
950.02/950.05 c 927s| 1160k| 1159k| 3170k| 2.7 |1182M| 151 | 0 |1800 |1704 |1800 | 262 | 939k| 4 |5750 | 0.000000e+00 | 4.209250e+05 | Inf
958.02/958.05 c 934s| 1170k| 1169k| 3195k| 2.7 |1192M| 151 | 0 |1800 |1704 |1800 | 297 | 947k| 4 |5767 | 0.000000e+00 | 4.209250e+05 | Inf
965.91/965.96 c 942s| 1180k| 1179k| 3217k| 2.7 |1202M| 151 | 0 |1800 |1704 |1800 | 278 | 953k| 4 |5786 | 0.000000e+00 | 4.209250e+05 | Inf
973.82/973.87 c 950s| 1190k| 1189k| 3241k| 2.7 |1212M| 151 | 0 |1800 |1704 |1800 | 286 | 960k| 4 |5804 | 0.000000e+00 | 4.209250e+05 | Inf
981.71/981.77 c 958s| 1200k| 1199k| 3264k| 2.7 |1222M| 151 | 8 |1800 |1704 |1800 | 304 | 967k| 4 |5822 | 0.000000e+00 | 4.209250e+05 | Inf
989.72/989.76 c 965s| 1210k| 1209k| 3289k| 2.7 |1232M| 151 | 0 |1800 |1704 |1800 | 282 | 974k| 4 |5838 | 0.000000e+00 | 4.209250e+05 | Inf
997.62/997.65 c 973s| 1220k| 1219k| 3311k| 2.7 |1242M| 151 | 0 |1800 |1704 |1800 | 274 | 981k| 4 |5858 | 0.000000e+00 | 4.209250e+05 | Inf
1005.42/1005.48 c 981s| 1230k| 1229k| 3331k| 2.7 |1252M| 151 | 4 |1800 |1704 |1800 | 266 | 987k| 4 |5872 | 0.000000e+00 | 4.209250e+05 | Inf
1013.32/1013.39 c 988s| 1240k| 1239k| 3357k| 2.7 |1262M| 151 | 0 |1800 |1704 |1800 | 308 | 995k| 4 |5891 | 0.000000e+00 | 4.209250e+05 | Inf
1021.12/1021.16 c 996s| 1250k| 1249k| 3377k| 2.7 |1272M| 151 | 6 |1800 |1704 |1800 | 262 |1001k| 4 |5909 | 0.000000e+00 | 4.209250e+05 | Inf
1028.92/1028.95 c 1004s| 1260k| 1259k| 3396k| 2.7 |1282M| 151 | 18 |1800 |1704 |1800 | 243 |1007k| 4 |5916 | 0.000000e+00 | 4.209250e+05 | Inf
1036.72/1036.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1036.72/1036.77 c 1011s| 1270k| 1269k| 3417k| 2.7 |1292M| 151 | 15 |1800 |1704 |1800 | 217 |1013k| 4 |5926 | 0.000000e+00 | 4.209250e+05 | Inf
1044.62/1044.65 c 1019s| 1280k| 1279k| 3440k| 2.7 |1302M| 151 | 0 |1800 |1703 |1800 | 272 |1020k| 4 |5950 | 0.000000e+00 | 4.209250e+05 | Inf
1052.42/1052.47 c 1026s| 1290k| 1289k| 3461k| 2.7 |1312M| 151 | 0 |1800 |1705 |1800 | 282 |1026k| 6 |5960 | 0.000000e+00 | 4.209250e+05 | Inf
1060.43/1060.40 c 1034s| 1300k| 1299k| 3483k| 2.7 |1322M| 151 | 2 |1800 |1705 |1800 | 256 |1032k| 6 |5980 | 0.000000e+00 | 4.209250e+05 | Inf
1068.22/1068.23 c 1042s| 1310k| 1309k| 3504k| 2.7 |1333M| 151 | 0 |1800 |1705 |1800 | 277 |1039k| 6 |5997 | 0.000000e+00 | 4.209250e+05 | Inf
1075.92/1075.96 c 1049s| 1320k| 1319k| 3521k| 2.7 |1343M| 151 | 0 |1800 |1704 |1800 | 259 |1044k| 6 |6012 | 0.000000e+00 | 4.209250e+05 | Inf
1083.62/1083.67 c 1057s| 1330k| 1329k| 3538k| 2.7 |1353M| 151 | 0 |1800 |1704 |1800 | 298 |1048k| 6 |6022 | 0.000000e+00 | 4.209250e+05 | Inf
1091.41/1091.46 c 1065s| 1340k| 1339k| 3559k| 2.7 |1363M| 151 | 0 |1800 |1704 |1800 | 288 |1054k| 6 |6029 | 0.000000e+00 | 4.209250e+05 | Inf
1099.22/1099.21 c 1072s| 1350k| 1349k| 3579k| 2.7 |1373M| 151 | 0 |1800 |1704 |1800 | 304 |1060k| 6 |6046 | 0.000000e+00 | 4.209250e+05 | Inf
1106.82/1106.81 c 1080s| 1360k| 1359k| 3592k| 2.6 |1383M| 151 | 19 |1800 |1704 |1800 | 234 |1063k| 6 |6059 | 0.000000e+00 | 4.209250e+05 | Inf
1114.62/1114.66 c 1087s| 1370k| 1369k| 3613k| 2.6 |1393M| 151 | 0 |1800 |1704 |1800 | 278 |1070k| 6 |6073 | 0.000000e+00 | 4.209250e+05 | Inf
1122.52/1122.57 c 1095s| 1380k| 1379k| 3635k| 2.6 |1403M| 151 | 0 |1800 |1704 |1800 | 286 |1077k| 6 |6086 | 0.000000e+00 | 4.209250e+05 | Inf
1130.32/1130.39 c 1103s| 1390k| 1389k| 3656k| 2.6 |1413M| 151 | 0 |1800 |1704 |1800 | 286 |1083k| 6 |6097 | 0.000000e+00 | 4.209250e+05 | Inf
1138.32/1138.36 c 1110s| 1400k| 1399k| 3681k| 2.6 |1423M| 151 | 0 |1800 |1704 |1800 | 304 |1090k| 6 |6118 | 0.000000e+00 | 4.209250e+05 | Inf
1146.23/1146.23 c 1118s| 1410k| 1409k| 3701k| 2.6 |1433M| 151 | 0 |1800 |1704 |1800 | 268 |1096k| 6 |6123 | 0.000000e+00 | 4.209250e+05 | Inf
1154.12/1154.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1154.12/1154.10 c 1126s| 1420k| 1419k| 3719k| 2.6 |1443M| 151 | 0 |1800 |1704 |1800 | 275 |1102k| 6 |6140 | 0.000000e+00 | 4.209250e+05 | Inf
1162.02/1162.02 c 1133s| 1430k| 1429k| 3743k| 2.6 |1453M| 151 | 19 |1800 |1704 |1800 | 266 |1109k| 6 |6156 | 0.000000e+00 | 4.209250e+05 | Inf
1169.92/1169.94 c 1141s| 1440k| 1439k| 3766k| 2.6 |1463M| 151 | 0 |1800 |1704 |1800 | 261 |1116k| 6 |6173 | 0.000000e+00 | 4.209250e+05 | Inf
1177.92/1177.92 c 1149s| 1450k| 1449k| 3787k| 2.6 |1473M| 151 | 14 |1800 |1704 |1800 | 237 |1122k| 6 |6189 | 0.000000e+00 | 4.209250e+05 | Inf
1185.83/1185.87 c 1157s| 1460k| 1459k| 3810k| 2.6 |1484M| 151 | 0 |1800 |1704 |1800 | 283 |1129k| 6 |6206 | 0.000000e+00 | 4.209250e+05 | Inf
1193.53/1193.59 c 1164s| 1470k| 1469k| 3826k| 2.6 |1494M| 151 | 0 |1800 |1704 |1800 | 302 |1134k| 6 |6222 | 0.000000e+00 | 4.209250e+05 | Inf
1201.52/1201.50 c 1172s| 1480k| 1479k| 3849k| 2.6 |1504M| 151 | 0 |1800 |1704 |1800 | 262 |1141k| 6 |6238 | 0.000000e+00 | 4.209250e+05 | Inf
1209.32/1209.37 c 1180s| 1490k| 1489k| 3872k| 2.6 |1514M| 151 | 15 |1800 |1704 |1800 | 267 |1148k| 6 |6248 | 0.000000e+00 | 4.209250e+05 | Inf
1217.02/1217.06 c 1187s| 1500k| 1499k| 3890k| 2.6 |1524M| 151 | 0 |1800 |1704 |1800 | 281 |1153k| 6 |6254 | 0.000000e+00 | 4.209250e+05 | Inf
1224.92/1224.94 c 1195s| 1510k| 1509k| 3912k| 2.6 |1534M| 151 | 0 |1800 |1704 |1800 | 282 |1159k| 6 |6271 | 0.000000e+00 | 4.209250e+05 | Inf
1232.72/1232.72 c 1202s| 1520k| 1519k| 3931k| 2.6 |1544M| 151 | 0 |1800 |1704 |1800 | 268 |1165k| 6 |6287 | 0.000000e+00 | 4.209250e+05 | Inf
1240.52/1240.51 c 1210s| 1530k| 1529k| 3948k| 2.6 |1554M| 151 | 0 |1800 |1704 |1800 | 251 |1170k| 6 |6304 | 0.000000e+00 | 4.209250e+05 | Inf
1248.43/1248.45 c 1218s| 1540k| 1539k| 3970k| 2.6 |1564M| 151 | 0 |1800 |1704 |1800 | 274 |1176k| 6 |6320 | 0.000000e+00 | 4.209250e+05 | Inf
1256.32/1256.32 c 1226s| 1550k| 1549k| 3990k| 2.6 |1574M| 151 | 0 |1800 |1704 |1800 | 282 |1182k| 6 |6325 | 0.000000e+00 | 4.209250e+05 | Inf
1264.13/1264.19 c 1233s| 1560k| 1559k| 4012k| 2.6 |1584M| 151 | 0 |1800 |1704 |1800 | 286 |1189k| 6 |6338 | 0.000000e+00 | 4.209250e+05 | Inf
1271.93/1271.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1271.93/1271.95 c 1241s| 1570k| 1569k| 4030k| 2.6 |1594M| 151 | 0 |1800 |1704 |1800 | 303 |1194k| 6 |6354 | 0.000000e+00 | 4.209250e+05 | Inf
1279.73/1279.71 c 1248s| 1580k| 1579k| 4049k| 2.6 |1604M| 151 | 0 |1800 |1704 |1800 | 264 |1199k| 6 |6373 | 0.000000e+00 | 4.209250e+05 | Inf
1287.62/1287.61 c 1256s| 1590k| 1589k| 4071k| 2.6 |1614M| 151 | 0 |1800 |1704 |1800 | 287 |1206k| 6 |6390 | 0.000000e+00 | 4.209250e+05 | Inf
1295.32/1295.36 c 1264s| 1600k| 1599k| 4089k| 2.6 |1624M| 151 | 0 |1800 |1704 |1800 | 282 |1211k| 6 |6393 | 0.000000e+00 | 4.209250e+05 | Inf
1303.12/1303.17 c 1271s| 1610k| 1609k| 4110k| 2.6 |1634M| 151 | 0 |1800 |1704 |1800 | 276 |1217k| 6 |6413 | 0.000000e+00 | 4.209250e+05 | Inf
1311.13/1311.16 c 1279s| 1620k| 1619k| 4134k| 2.6 |1645M| 151 | 0 |1800 |1704 |1800 | 266 |1224k| 6 |6430 | 0.000000e+00 | 4.209250e+05 | Inf
1319.03/1319.00 c 1287s| 1630k| 1629k| 4155k| 2.5 |1655M| 151 | 0 |1800 |1704 |1800 | 273 |1230k| 6 |6445 | 0.000000e+00 | 4.209250e+05 | Inf
1326.92/1326.98 c 1294s| 1640k| 1639k| 4180k| 2.5 |1665M| 151 | 0 |1800 |1704 |1800 | 294 |1237k| 6 |6458 | 0.000000e+00 | 4.209250e+05 | Inf
1334.83/1334.82 c 1302s| 1650k| 1649k| 4201k| 2.5 |1675M| 151 | 0 |1800 |1704 |1800 | 279 |1243k| 6 |6467 | 0.000000e+00 | 4.209250e+05 | Inf
1342.73/1342.79 c 1310s| 1660k| 1659k| 4225k| 2.5 |1685M| 151 | 0 |1800 |1704 |1800 | 270 |1250k| 6 |6478 | 0.000000e+00 | 4.209250e+05 | Inf
1350.63/1350.60 c 1317s| 1670k| 1669k| 4245k| 2.5 |1695M| 151 | 0 |1800 |1704 |1800 | 294 |1256k| 6 |6495 | 0.000000e+00 | 4.209250e+05 | Inf
1358.23/1358.27 c 1325s| 1680k| 1679k| 4261k| 2.5 |1705M| 151 | 0 |1800 |1704 |1800 | 293 |1261k| 6 |6510 | 0.000000e+00 | 4.209250e+05 | Inf
1366.02/1366.02 c 1333s| 1690k| 1689k| 4279k| 2.5 |1715M| 151 | 0 |1800 |1704 |1800 | 250 |1266k| 6 |6523 | 0.000000e+00 | 4.209250e+05 | Inf
1373.83/1373.86 c 1340s| 1700k| 1699k| 4299k| 2.5 |1725M| 151 | 11 |1800 |1704 |1800 | 284 |1271k| 6 |6525 | 0.000000e+00 | 4.209250e+05 | Inf
1381.73/1381.79 c 1348s| 1710k| 1709k| 4322k| 2.5 |1735M| 151 | 0 |1800 |1704 |1800 | 310 |1278k| 6 |6539 | 0.000000e+00 | 4.209250e+05 | Inf
1389.73/1389.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1389.73/1389.71 c 1356s| 1720k| 1719k| 4344k| 2.5 |1745M| 151 | 8 |1800 |1704 |1800 | 251 |1284k| 6 |6554 | 0.000000e+00 | 4.209250e+05 | Inf
1397.53/1397.55 c 1363s| 1730k| 1729k| 4365k| 2.5 |1755M| 151 | 0 |1800 |1704 |1800 | 307 |1290k| 6 |6570 | 0.000000e+00 | 4.209250e+05 | Inf
1405.13/1405.18 c 1371s| 1740k| 1739k| 4381k| 2.5 |1765M| 151 | 0 |1800 |1704 |1800 | 279 |1295k| 6 |6587 | 0.000000e+00 | 4.209250e+05 | Inf
1413.03/1413.09 c 1379s| 1750k| 1749k| 4403k| 2.5 |1776M| 151 | 0 |1800 |1704 |1800 | 282 |1302k| 6 |6601 | 0.000000e+00 | 4.209250e+05 | Inf
1421.02/1421.06 c 1386s| 1760k| 1759k| 4427k| 2.5 |1786M| 151 | 0 |1800 |1704 |1800 | 252 |1309k| 6 |6612 | 0.000000e+00 | 4.209250e+05 | Inf
1428.73/1428.79 c 1394s| 1770k| 1769k| 4447k| 2.5 |1796M| 151 | 0 |1800 |1704 |1800 | 287 |1314k| 6 |6628 | 0.000000e+00 | 4.209250e+05 | Inf
1436.43/1436.45 c 1401s| 1780k| 1779k| 4462k| 2.5 |1806M| 151 | 0 |1800 |1704 |1800 | 267 |1319k| 6 |6647 | 0.000000e+00 | 4.209250e+05 | Inf
1444.33/1444.31 c 1409s| 1790k| 1789k| 4482k| 2.5 |1816M| 151 | 0 |1800 |1704 |1800 | 285 |1325k| 6 |6659 | 0.000000e+00 | 4.209250e+05 | Inf
1452.04/1452.02 c 1417s| 1800k| 1799k| 4500k| 2.5 |1826M| 151 | 0 |1800 |1704 |1800 | 293 |1330k| 6 |6666 | 0.000000e+00 | 4.209250e+05 | Inf
1459.83/1459.85 c 1424s| 1810k| 1809k| 4521k| 2.5 |1836M| 151 | 0 |1800 |1704 |1800 | 307 |1336k| 6 |6686 | 0.000000e+00 | 4.209250e+05 | Inf
1467.63/1467.65 c 1432s| 1820k| 1819k| 4539k| 2.5 |1846M| 151 | 0 |1800 |1704 |1800 | 294 |1342k| 6 |6696 | 0.000000e+00 | 4.209250e+05 | Inf
1475.43/1475.49 c 1439s| 1830k| 1829k| 4560k| 2.5 |1856M| 151 | 0 |1800 |1704 |1800 | 282 |1348k| 6 |6703 | 0.000000e+00 | 4.209250e+05 | Inf
1483.33/1483.31 c 1447s| 1840k| 1839k| 4579k| 2.5 |1866M| 151 | 0 |1800 |1704 |1800 | 321 |1353k| 6 |6722 | 0.000000e+00 | 4.209250e+05 | Inf
1491.13/1491.10 c 1455s| 1850k| 1849k| 4599k| 2.5 |1876M| 151 | 0 |1800 |1704 |1800 | 281 |1359k| 6 |6739 | 0.000000e+00 | 4.209250e+05 | Inf
1498.83/1498.87 c 1462s| 1860k| 1859k| 4619k| 2.5 |1886M| 151 | 36 |1800 |1704 |1800 | 238 |1364k| 6 |6753 | 0.000000e+00 | 4.209250e+05 | Inf
1506.73/1506.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1506.73/1506.72 c 1470s| 1870k| 1869k| 4641k| 2.5 |1896M| 151 | 0 |1800 |1704 |1800 | 297 |1371k| 6 |6761 | 0.000000e+00 | 4.209250e+05 | Inf
1514.43/1514.44 c 1477s| 1880k| 1879k| 4659k| 2.5 |1906M| 151 | 0 |1800 |1704 |1800 | 281 |1376k| 6 |6777 | 0.000000e+00 | 4.209250e+05 | Inf
1522.44/1522.43 c 1485s| 1890k| 1889k| 4683k| 2.5 |1917M| 151 | 9 |1800 |1704 |1800 | 286 |1383k| 6 |6794 | 0.000000e+00 | 4.209250e+05 | Inf
1530.34/1530.32 c 1493s| 1900k| 1899k| 4704k| 2.5 |1927M| 151 | 6 |1800 |1704 |1800 | 239 |1389k| 6 |6809 | 0.000000e+00 | 4.209250e+05 | Inf
1538.23/1538.30 c 1501s| 1910k| 1909k| 4730k| 2.5 |1937M| 151 | 0 |1800 |1704 |1800 | 309 |1396k| 6 |6823 | 0.000000e+00 | 4.209250e+05 | Inf
1546.03/1546.09 c 1508s| 1920k| 1919k| 4750k| 2.5 |1947M| 151 | 14 |1800 |1704 |1800 | 270 |1402k| 6 |6827 | 0.000000e+00 | 4.209250e+05 | Inf
1554.04/1554.01 c 1516s| 1930k| 1929k| 4774k| 2.5 |1957M| 151 | 0 |1800 |1704 |1800 | 278 |1409k| 6 |6844 | 0.000000e+00 | 4.209250e+05 | Inf
1561.73/1561.78 c 1524s| 1940k| 1939k| 4794k| 2.5 |1967M| 151 | 0 |1800 |1703 |1800 | 296 |1414k| 6 |6859 | 0.000000e+00 | 4.209250e+05 | Inf
1569.64/1569.70 c 1531s| 1950k| 1949k| 4817k| 2.5 |1977M| 151 | 0 |1800 |1703 |1800 | 274 |1421k| 6 |6874 | 0.000000e+00 | 4.209250e+05 | Inf
1577.44/1577.43 c 1539s| 1960k| 1959k| 4836k| 2.5 |1987M| 151 | 0 |1800 |1703 |1800 | 268 |1427k| 6 |6890 | 0.000000e+00 | 4.209250e+05 | Inf
1585.33/1585.32 c 1547s| 1970k| 1969k| 4858k| 2.5 |1997M| 151 | 10 |1800 |1703 |1800 | 292 |1433k| 6 |6901 | 0.000000e+00 | 4.209250e+05 | Inf
1593.13/1593.12 c 1554s| 1980k| 1979k| 4877k| 2.5 |2007M| 151 | 0 |1800 |1703 |1800 | 308 |1439k| 6 |6914 | 0.000000e+00 | 4.209250e+05 | Inf
1600.84/1600.89 c 1562s| 1990k| 1989k| 4895k| 2.5 |2017M| 151 | 7 |1800 |1703 |1800 | 284 |1444k| 6 |6931 | 0.000000e+00 | 4.209250e+05 | Inf
1608.73/1608.76 c 1569s| 2000k| 1999k| 4917k| 2.5 |2027M| 151 | 18 |1800 |1703 |1800 | 217 |1450k| 6 |6944 | 0.000000e+00 | 4.209250e+05 | Inf
1616.64/1616.65 c 1577s| 2010k| 2009k| 4939k| 2.5 |2038M| 151 | 0 |1800 |1703 |1800 | 306 |1457k| 6 |6949 | 0.000000e+00 | 4.209250e+05 | Inf
1624.53/1624.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1624.53/1624.51 c 1585s| 2020k| 2019k| 4960k| 2.5 |2048M| 151 | 0 |1800 |1703 |1800 | 282 |1463k| 6 |6963 | 0.000000e+00 | 4.209250e+05 | Inf
1632.44/1632.46 c 1592s| 2030k| 2029k| 4983k| 2.5 |2058M| 151 | 0 |1800 |1703 |1800 | 295 |1470k| 6 |6979 | 0.000000e+00 | 4.209250e+05 | Inf
1640.53/1640.54 c 1600s| 2040k| 2039k| 5013k| 2.5 |2068M| 151 | 5 |1800 |1703 |1800 | 268 |1478k| 6 |6993 | 0.000000e+00 | 4.209250e+05 | Inf
1648.34/1648.30 c 1608s| 2050k| 2049k| 5030k| 2.5 |2078M| 151 | 8 |1800 |1703 |1800 | 251 |1482k| 6 |7009 | 0.000000e+00 | 4.209250e+05 | Inf
1656.13/1656.10 c 1616s| 2060k| 2059k| 5051k| 2.5 |2088M| 151 | 0 |1800 |1703 |1800 | 286 |1489k| 6 |7022 | 0.000000e+00 | 4.209250e+05 | Inf
1663.84/1663.87 c 1623s| 2070k| 2069k| 5070k| 2.4 |2098M| 151 | 5 |1800 |1703 |1800 | 256 |1494k| 6 |7023 | 0.000000e+00 | 4.209250e+05 | Inf
1671.73/1671.78 c 1631s| 2080k| 2079k| 5092k| 2.4 |2108M| 151 | 9 |1800 |1703 |1800 | 262 |1500k| 6 |7037 | 0.000000e+00 | 4.209250e+05 | Inf
1679.74/1679.75 c 1639s| 2090k| 2089k| 5115k| 2.4 |2118M| 151 | 0 |1800 |1703 |1800 | 274 |1506k| 6 |7052 | 0.000000e+00 | 4.209250e+05 | Inf
1687.44/1687.45 c 1646s| 2100k| 2099k| 5133k| 2.4 |2128M| 169 | 0 |1800 |1703 |1800 | 286 |1511k| 6 |7067 | 0.000000e+00 | 4.209250e+05 | Inf
1695.14/1695.16 c 1654s| 2110k| 2109k| 5152k| 2.4 |2138M| 169 | 18 |1800 |1703 |1800 | 271 |1517k| 6 |7079 | 0.000000e+00 | 4.209250e+05 | Inf
1702.74/1702.77 c 1661s| 2120k| 2119k| 5169k| 2.4 |2148M| 169 | 0 |1800 |1703 |1800 | 275 |1522k| 6 |7081 | 0.000000e+00 | 4.209250e+05 | Inf
1710.63/1710.61 c 1669s| 2130k| 2129k| 5194k| 2.4 |2158M| 169 | 0 |1800 |1703 |1800 | 268 |1529k| 6 |7095 | 0.000000e+00 | 4.209250e+05 | Inf
1718.24/1718.25 c 1676s| 2140k| 2139k| 5210k| 2.4 |2168M| 169 | 0 |1800 |1703 |1800 | 314 |1535k| 6 |7108 | 0.000000e+00 | 4.209250e+05 | Inf
1725.94/1725.99 c 1684s| 2150k| 2149k| 5232k| 2.4 |2179M| 169 | 0 |1800 |1703 |1800 | 302 |1541k| 6 |7121 | 0.000000e+00 | 4.209250e+05 | Inf
1733.54/1733.52 c 1691s| 2160k| 2159k| 5247k| 2.4 |2189M| 169 | 0 |1800 |1703 |1800 | 278 |1545k| 6 |7126 | 0.000000e+00 | 4.209250e+05 | Inf
1741.14/1741.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1741.14/1741.10 c 1699s| 2170k| 2169k| 5263k| 2.4 |2199M| 169 | 11 |1800 |1703 |1800 | 286 |1549k| 6 |7143 | 0.000000e+00 | 4.209250e+05 | Inf
1748.73/1748.76 c 1706s| 2180k| 2179k| 5280k| 2.4 |2209M| 169 | 0 |1800 |1703 |1800 | 285 |1554k| 6 |7143 | 0.000000e+00 | 4.209250e+05 | Inf
1756.53/1756.57 c 1714s| 2190k| 2189k| 5304k| 2.4 |2219M| 169 | 0 |1800 |1703 |1800 | 278 |1562k| 6 |7159 | 0.000000e+00 | 4.209250e+05 | Inf
1764.24/1764.22 c 1721s| 2200k| 2199k| 5323k| 2.4 |2229M| 169 | 4 |1800 |1703 |1800 | 278 |1567k| 6 |7171 | 0.000000e+00 | 4.209250e+05 | Inf
1771.84/1771.84 c 1729s| 2210k| 2209k| 5340k| 2.4 |2239M| 169 | 6 |1800 |1703 |1800 | 255 |1572k| 6 |7172 | 0.000000e+00 | 4.209250e+05 | Inf
1779.53/1779.55 c 1736s| 2220k| 2219k| 5361k| 2.4 |2249M| 169 | 24 |1800 |1703 |1800 | 246 |1578k| 6 |7183 | 0.000000e+00 | 4.209250e+05 | Inf
1787.13/1787.10 c 1744s| 2230k| 2229k| 5377k| 2.4 |2259M| 169 | 0 |1800 |1703 |1800 | 290 |1583k| 6 |7193 | 0.000000e+00 | 4.209250e+05 | Inf
1794.34/1794.40 c 1751s| 2240k| 2239k| 5388k| 2.4 |2269M| 169 | 0 |1800 |1702 |1800 | 269 |1585k| 6 |7193 | 0.000000e+00 | 4.209250e+05 | Inf
1800.04/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.00 c
1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.00 c Solving Time (sec) : 1756.19
1800.04/1800.00 c Solving Nodes : 2247162
1800.04/1800.00 c Primal Bound : +4.20925000000000e+05 (100 solutions)
1800.04/1800.00 c Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.01 s SATISFIABLE
1800.04/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.04/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.04/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.04/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.04/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.04/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.04/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.04/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.04/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.01 c Solving Time : 1756.19
1800.04/1800.01 c Original Problem :
1800.04/1800.01 c Problem name : HOME/instance-2700440-1278535631.wbo
1800.04/1800.01 c Variables : 1900 (1050 binary, 0 integer, 0 implicit integer, 850 continuous)
1800.04/1800.01 c Constraints : 1801 initial, 1801 maximal
1800.04/1800.01 c Presolved Problem :
1800.04/1800.01 c Problem name : t_HOME/instance-2700440-1278535631.wbo
1800.04/1800.01 c Variables : 1800 (950 binary, 0 integer, 0 implicit integer, 850 continuous)
1800.04/1800.01 c Constraints : 1700 initial, 1705 maximal
1800.04/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c probing : 0.02 0 0 0 0 0 0 0 0
1800.04/1800.01 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c linear : 0.01 0 100 0 850 0 101 0 0
1800.04/1800.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c root node : - 0 - - 0 - - - -
1800.04/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.01 c integral : 0 0 0 2573692 0 0 0 0 0 1054150
1800.04/1800.01 c indicator : 850 0 3260724 2046617 0 0 2310251 0 0 0
1800.04/1800.01 c linear : 850 6 3260724 2046617 0 3 1181295 1591290 0 0
1800.04/1800.01 c logicor : 0+ 0 92082 0 0 0 22685 0 0 0
1800.04/1800.01 c countsols : 0 0 0 1720084 0 0 0 0 0 0
1800.04/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.01 c integral : 10.11 0.00 0.00 10.11 0.00
1800.04/1800.01 c indicator : 149.70 0.05 33.18 116.47 0.00
1800.04/1800.01 c linear : 38.82 0.00 16.62 22.20 0.00
1800.04/1800.01 c logicor : 0.14 0.00 0.14 0.00 0.00
1800.04/1800.01 c countsols : 0.38 0.00 0.00 0.38 0.00
1800.04/1800.01 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.01 c vbounds : 0.84 2 0 0
1800.04/1800.01 c rootredcost : 0.66 0 0 0
1800.04/1800.01 c pseudoobj : 52.78 3260524 0 0
1800.04/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.01 c propagation : 0.00 3 3 3 3.0 3 3.7 -
1800.04/1800.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.04/1800.01 c applied globally : - - - 6 3.3 - - -
1800.04/1800.01 c applied locally : - - - 0 0.0 - - -
1800.04/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.01 c cut pool : 0.00 4 - - 0 - (maximal pool size: 66)
1800.04/1800.01 c redcost : 91.11 2573329 0 0 0 0
1800.04/1800.01 c impliedbounds : 0.00 5 0 0 0 0
1800.04/1800.01 c intobj : 0.00 0 0 0 0 0
1800.04/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.01 c gomory : 0.01 5 0 0 71 0
1800.04/1800.01 c strongcg : 0.01 5 0 0 0 0
1800.04/1800.01 c cmir : 0.00 5 0 0 0 0
1800.04/1800.01 c flowcover : 0.04 5 0 0 0 0
1800.04/1800.01 c clique : 0.00 1 0 0 0 0
1800.04/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.01 c mcf : 0.00 1 0 0 0 0
1800.04/1800.01 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.01 c Pricers : Time Calls Vars
1800.04/1800.01 c problem variables: 0.00 0 0
1800.04/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.01 c relpscost : 9.30 527075 0 0 0 0 1054150
1800.04/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.01 c inference : 121.61 1720084 0 0 0 0 3440168
1800.04/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.01 c random : 0.00 0 0 0 0 0 0
1800.04/1800.01 c Primal Heuristics : Time Calls Found
1800.04/1800.01 c LP solutions : 0.00 - 0
1800.04/1800.01 c pseudo solutions : 0.00 - 0
1800.04/1800.01 c feaspump : 0.02 0 0
1800.04/1800.01 c oneopt : 1.24 1 0
1800.04/1800.01 c intshifting : 0.06 16 0
1800.04/1800.01 c crossover : 0.75 13 0
1800.04/1800.01 c coefdiving : 17.22 30936 0
1800.04/1800.01 c pscostdiving : 16.77 30936 0
1800.04/1800.01 c fracdiving : 16.48 30936 0
1800.04/1800.01 c veclendiving : 16.38 30936 0
1800.04/1800.01 c linesearchdiving : 15.35 30936 0
1800.04/1800.01 c guideddiving : 16.65 30936 0
1800.04/1800.01 c objpscostdiving : 17.76 30894 0
1800.04/1800.01 c rootsoldiving : 17.53 30894 0
1800.04/1800.01 c trivial : 0.01 2 1
1800.04/1800.01 c simplerounding : 1.18 526934 0
1800.04/1800.01 c zirounding : 0.61 1000 0
1800.04/1800.01 c rounding : 0.99 10249 0
1800.04/1800.01 c shifting : 1.63 3169 0
1800.04/1800.01 c twoopt : 0.00 0 0
1800.04/1800.01 c fixandinfer : 0.00 0 0
1800.04/1800.01 c intdiving : 0.00 0 0
1800.04/1800.01 c actconsdiving : 0.00 0 0
1800.04/1800.01 c octane : 0.00 0 0
1800.04/1800.01 c rens : 0.01 1 0
1800.04/1800.01 c rins : 0.00 0 0
1800.04/1800.01 c localbranching : 0.00 0 0
1800.04/1800.01 c mutation : 0.00 0 0
1800.04/1800.01 c dins : 0.00 0 0
1800.04/1800.01 c undercover : 0.00 0 0
1800.04/1800.01 c nlp : 0.59 0 0
1800.04/1800.01 c trysol : 1.24 34909 99
1800.04/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.01 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.01 c dual LP : 716.64 1032109 5405420 5.24 7542.73
1800.04/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.01 c diving/probing LP: 0.26 572 1757 3.07 6757.69
1800.04/1800.01 c strong branching : 5.85 7206 68899 9.56 11777.61
1800.04/1800.01 c (at root node) : - 33 2751 83.36 -
1800.04/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.01 c B&B Tree :
1800.04/1800.01 c number of runs : 1
1800.04/1800.01 c nodes : 2247162
1800.04/1800.01 c nodes (total) : 2247162
1800.04/1800.01 c nodes left : 2247157
1800.04/1800.01 c max depth : 169
1800.04/1800.01 c max depth (total): 169
1800.04/1800.01 c backtracks : 31165 (1.4%)
1800.04/1800.01 c delayed cutoffs : 0
1800.04/1800.01 c repropagations : 71 (11 domain reductions, 0 cutoffs)
1800.04/1800.01 c avg switch length: 2.38
1800.04/1800.01 c switching time : 67.02
1800.04/1800.01 c Solution :
1800.04/1800.01 c Solutions found : 100 (1 improvements)
1800.04/1800.01 c First Solution : +4.20925000000000e+05 (in run 1, after 1 nodes, 0.04 seconds, depth 0, found by <trivial>)
1800.04/1800.01 c Primal Bound : +4.20925000000000e+05 (in run 1, after 1 nodes, 0.04 seconds, depth 0, found by <trivial>)
1800.04/1800.01 c Dual Bound : +0.00000000000000e+00
1800.04/1800.01 c Gap : infinite
1800.04/1800.01 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.01 c Root Iterations : 245
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700440-1278535631/watcher-2700440-1278535631 -o /tmp/evaluation-result-2700440-1278535631/solver-2700440-1278535631 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2700440-1278535631.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.91 1.95 1.67 4/178 19628
/proc/meminfo: memFree=27741688/32950928 swapFree=67111528/67111528
[pid=19628] ppid=19626 vsize=9416 CPUtime=0
/proc/19628/stat : 19628 (pbscip.linux.x8) R 19626 19628 19071 0 -1 4202496 1649 0 0 0 0 0 0 0 24 0 1 0 21776660 9641984 1568 4089446400 4194304 8223781 140736999658832 18446744073709551615 7235159 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/19628/statm: 2354 1568 369 984 0 1367 0
[startup+0.0568851 s]
/proc/loadavg: 1.91 1.95 1.67 4/178 19628
/proc/meminfo: memFree=27741688/32950928 swapFree=67111528/67111528
[pid=19628] ppid=19626 vsize=20580 CPUtime=0.04
/proc/19628/stat : 19628 (pbscip.linux.x8) R 19626 19628 19071 0 -1 4202496 5348 0 0 0 4 0 0 0 24 0 1 0 21776660 21073920 4132 4089446400 4194304 8223781 140736999658832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19628/statm: 5145 4132 462 984 0 4158 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 20580
[startup+0.100821 s]
/proc/loadavg: 1.91 1.95 1.67 4/178 19628
/proc/meminfo: memFree=27741688/32950928 swapFree=67111528/67111528
[pid=19628] ppid=19626 vsize=23356 CPUtime=0.09
/proc/19628/stat : 19628 (pbscip.linux.x8) R 19626 19628 19071 0 -1 4202496 6172 0 0 0 8 1 0 0 24 0 1 0 21776660 23916544 4945 4089446400 4194304 8223781 140736999658832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19628/statm: 5839 4945 564 984 0 4852 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23356
[startup+0.300786 s]
/proc/loadavg: 1.91 1.95 1.67 4/178 19628
/proc/meminfo: memFree=27741688/32950928 swapFree=67111528/67111528
[pid=19628] ppid=19626 vsize=28708 CPUtime=0.29
/proc/19628/stat : 19628 (pbscip.linux.x8) R 19626 19628 19071 0 -1 4202496 10495 0 0 0 28 1 0 0 25 0 1 0 21776660 29396992 6201 4089446400 4194304 8223781 140736999658832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19628/statm: 7177 6201 578 984 0 6190 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 28708
[startup+0.700718 s]
/proc/loadavg: 1.91 1.95 1.67 4/178 19628
/proc/meminfo: memFree=27741688/32950928 swapFree=67111528/67111528
[pid=19628] ppid=19626 vsize=28708 CPUtime=0.69
/proc/19628/stat : 19628 (pbscip.linux.x8) R 19626 19628 19071 0 -1 4202496 10495 0 0 0 67 2 0 0 25 0 1 0 21776660 29396992 6201 4089446400 4194304 8223781 140736999658832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19628/statm: 7177 6201 578 984 0 6190 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 28708
[startup+1.50057 s]
/proc/loadavg: 1.91 1.95 1.67 3/179 19629
/proc/meminfo: memFree=27718244/32950928 swapFree=67111528/67111528
[pid=19628] ppid=19626 vsize=29220 CPUtime=1.49
/proc/19628/stat : 19628 (pbscip.linux.x8) R 19626 19628 19071 0 -1 4202496 10618 0 0 0 145 4 0 0 25 0 1 0 21776660 29921280 6324 4089446400 4194304 8223781 140736999658832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19628/statm: 7305 6324 581 984 0 6318 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 29220
[startup+3.10029 s]
/proc/loadavg: 1.91 1.95 1.67 3/179 19629
/proc/meminfo: memFree=27714656/32950928 swapFree=67111528/67111528
[pid=19628] ppid=19626 vsize=33612 CPUtime=3.08
/proc/19628/stat : 19628 (pbscip.linux.x8) R 19626 19628 19071 0 -1 4202496 17869 0 0 0 301 7 0 0 25 0 1 0 21776660 34418688 7349 4089446400 4194304 8223781 140736999658832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19628/statm: 8403 7349 584 984 0 7416 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 33612
[startup+6.30071 s]
/proc/loadavg: 1.92 1.95 1.67 3/179 19629
/proc/meminfo: memFree=27704860/32950928 swapFree=67111528/67111528
[pid=19628] ppid=19626 vsize=37740 CPUtime=6.29
/proc/19628/stat : 19628 (pbscip.linux.x8) R 19626 19628 19071 0 -1 4202496 25129 0 0 0 612 17 0 0 25 0 1 0 21776660 38645760 8385 4089446400 4194304 8223781 140736999658832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19628/statm: 9435 8385 584 984 0 8448 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 37740
[startup+12.7006 s]
/proc/loadavg: 1.93 1.95 1.67 3/179 19630
/proc/meminfo: memFree=27688764/32950928 swapFree=67111528/67111528
[pid=19628] ppid=19626 vsize=46440 CPUtime=12.69
/proc/19628/stat : 19628 (pbscip.linux.x8) R 19626 19628 19071 0 -1 4202496 30440 0 0 0 1238 31 0 0 25 0 1 0 21776660 47554560 10599 4089446400 4194304 8223781 140736999658832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19628/statm: 11610 10599 584 984 0 10623 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 46440
[startup+25.5003 s]
/proc/loadavg: 1.94 1.96 1.68 3/179 19630
/proc/meminfo: memFree=27658116/32950928 swapFree=67111528/67111528
[pid=19628] ppid=19626 vsize=60668 CPUtime=25.49
/proc/19628/stat : 19628 (pbscip.linux.x8) R 19626 19628 19071 0 -1 4202496 40314 0 0 0 2488 61 0 0 25 0 1 0 21776660 62124032 14228 4089446400 4194304 8223781 140736999658832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19628/statm: 15167 14228 584 984 0 14180 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 60668
[startup+51.1007 s]
/proc/loadavg: 1.74 1.91 1.67 2/174 20159
/proc/meminfo: memFree=29714000/32950928 swapFree=67111528/67111528
[pid=19628] ppid=19626 vsize=92188 CPUtime=51.09
/proc/19628/stat : 19628 (pbscip.linux.x8) R 19626 19628 19071 0 -1 4202496 51423 0 0 0 4978 131 0 0 25 0 1 0 21776660 94400512 22221 4089446400 4194304 8223781 140736999658832 18446744073709551615 6436202 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19628/statm: 23047 22221 584 984 0 22060 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 92188
[startup+102.307 s]
/proc/loadavg: 1.89 1.92 1.68 3/197 20283
/proc/meminfo: memFree=29623256/32950928 swapFree=67111528/67111528
[pid=19628] ppid=19626 vsize=153264 CPUtime=102.29
/proc/19628/stat : 19628 (pbscip.linux.x8) R 19626 19628 19071 0 -1 4202496 69515 0 0 0 9965 264 0 0 25 0 1 0 21776660 156942336 37210 4089446400 4194304 8223781 140736999658832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19628/statm: 38316 37210 584 984 0 37329 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 153264
[startup+162.301 s]
/proc/loadavg: 1.96 1.93 1.70 3/197 20285
/proc/meminfo: memFree=29550292/32950928 swapFree=67111528/67111528
[pid=19628] ppid=19626 vsize=224276 CPUtime=162.3
/proc/19628/stat : 19628 (pbscip.linux.x8) R 19626 19628 19071 0 -1 4202496 87530 0 0 0 15805 425 0 0 25 0 1 0 21776660 229658624 55225 4089446400 4194304 8223781 140736999658832 18446744073709551615 6003212 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19628/statm: 56069 55225 584 984 0 55082 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 224276
[startup+222.3 s]
/proc/loadavg: 1.98 1.94 1.72 3/197 20286
/proc/meminfo: memFree=29476064/32950928 swapFree=67111528/67111528
[pid=19628] ppid=19626 vsize=299856 CPUtime=222.29
/proc/19628/stat : 19628 (pbscip.linux.x8) R 19626 19628 19071 0 -1 4202496 108802 0 0 0 21656 573 0 0 25 0 1 0 21776660 307052544 73379 4089446400 4194304 8223781 140736999658832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19628/statm: 74964 73379 584 984 0 73977 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 299856
[startup+282.301 s]
/proc/loadavg: 1.99 1.95 1.73 3/197 20288
/proc/meminfo: memFree=29403080/32950928 swapFree=67111528/67111528
[pid=19628] ppid=19626 vsize=371660 CPUtime=282.3
/proc/19628/stat : 19628 (pbscip.linux.x8) R 19626 19628 19071 0 -1 4202496 127018 0 0 0 27504 726 0 0 25 0 1 0 21776660 380579840 91595 4089446400 4194304 8223781 140736999658832 18446744073709551615 6003380 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19628/statm: 92915 91595 584 984 0 91928 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 371660
[startup+342.301 s]
/proc/loadavg: 1.99 1.95 1.74 3/197 20290
/proc/meminfo: memFree=29328356/32950928 swapFree=67111528/67111528
[pid=19628] ppid=19626 vsize=443368 CPUtime=342.3
/proc/19628/stat : 19628 (pbscip.linux.x8) R 19626 19628 19071 0 -1 4202496 145222 0 0 0 33362 868 0 0 25 0 1 0 21776660 454008832 109799 4089446400 4194304 8223781 140736999658832 18446744073709551615 6003313 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19628/statm: 110842 109799 584 984 0 109855 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 443368
[startup+402.301 s]
/proc/loadavg: 1.99 1.96 1.76 3/197 20291
/proc/meminfo: memFree=29255380/32950928 swapFree=67111528/67111528
[pid=19628] ppid=19626 vsize=524836 CPUtime=402.3
/proc/19628/stat : 19628 (pbscip.linux.x8) R 19626 19628 19071 0 -1 4202496 166964 0 0 0 39211 1019 0 0 25 0 1 0 21776660 537432064 128432 4089446400 4194304 8223781 140736999658832 18446744073709551615 5892378 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19628/statm: 131209 128432 584 984 0 130222 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 524836
[startup+462.3 s]
/proc/loadavg: 1.99 1.97 1.77 3/197 20293
/proc/meminfo: memFree=29178940/32950928 swapFree=67111528/67111528
[pid=19628] ppid=19626 vsize=598344 CPUtime=462.31
/proc/19628/stat : 19628 (pbscip.linux.x8) R 19626 19628 19071 0 -1 4202496 185622 0 0 0 45065 1166 0 0 25 0 1 0 21776660 612704256 147088 4089446400 4194304 8223781 140736999658832 18446744073709551615 6089671 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19628/statm: 149586 147088 588 984 0 148599 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 598344
[startup+522.301 s]
/proc/loadavg: 2.03 1.98 1.78 3/197 20294
/proc/meminfo: memFree=29102748/32950928 swapFree=67111528/67111528
[pid=19628] ppid=19626 vsize=673800 CPUtime=522.31
/proc/19628/stat : 19628 (pbscip.linux.x8) R 19626 19628 19071 0 -1 4202496 204787 0 0 0 50917 1314 0 0 25 0 1 0 21776660 689971200 166253 4089446400 4194304 8223781 140736999658832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19628/statm: 168450 166253 588 984 0 167463 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 673800
[startup+582.301 s]
/proc/loadavg: 2.01 1.98 1.80 3/197 20296
/proc/meminfo: memFree=29026048/32950928 swapFree=67111528/67111528
[pid=19628] ppid=19626 vsize=748048 CPUtime=582.31
/proc/19628/stat : 19628 (pbscip.linux.x8) R 19626 19628 19071 0 -1 4202496 223631 0 0 0 56774 1457 0 0 25 0 1 0 21776660 766001152 185096 4089446400 4194304 8223781 140736999658832 18446744073709551615 6436959 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19628/statm: 187012 185096 588 984 0 186025 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 748048
[startup+642.3 s]
/proc/loadavg: 2.00 1.98 1.81 3/197 20298
/proc/meminfo: memFree=28948960/32950928 swapFree=67111528/67111528
[pid=19628] ppid=19626 vsize=822496 CPUtime=642.31
/proc/19628/stat : 19628 (pbscip.linux.x8) R 19626 19628 19071 0 -1 4202496 242534 0 0 0 62638 1593 0 0 25 0 1 0 21776660 842235904 203999 4089446400 4194304 8223781 140736999658832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19628/statm: 205624 203999 588 984 0 204637 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 822496
[startup+702.3 s]
################
# More data... #
################
/proc/19628/stat : 19628 (pbscip.linux.x8) R 19626 19628 19071 0 -1 4202496 359427 0 0 0 97758 2474 0 0 25 0 1 0 21776660 1317818368 317778 4089446400 4194304 8223781 140736999658832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19628/statm: 321733 317778 588 984 0 320746 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 1286932
[startup+1062.3 s]
/proc/loadavg: 2.04 2.00 1.86 3/197 20318
/proc/meminfo: memFree=28415556/32950928 swapFree=67111528/67111528
[pid=19628] ppid=19626 vsize=1362416 CPUtime=1062.31
/proc/19628/stat : 19628 (pbscip.linux.x8) R 19626 19628 19071 0 -1 4202496 378597 0 0 0 103607 2624 0 0 25 0 1 0 21776660 1395113984 336948 4089446400 4194304 8223781 140736999658832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19628/statm: 340604 336948 588 984 0 339617 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 1362416
[startup+1122.3 s]
/proc/loadavg: 2.01 2.00 1.87 3/197 20319
/proc/meminfo: memFree=28337868/32950928 swapFree=67111528/67111528
[pid=19628] ppid=19626 vsize=1437656 CPUtime=1122.32
/proc/19628/stat : 19628 (pbscip.linux.x8) R 19626 19628 19071 0 -1 4202496 397706 0 0 0 109463 2769 0 0 25 0 1 0 21776660 1472159744 356057 4089446400 4194304 8223781 140736999658832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19628/statm: 359414 356057 588 984 0 358427 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 1437656
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/197 20321
/proc/meminfo: memFree=28261652/32950928 swapFree=67111528/67111528
[pid=19628] ppid=19626 vsize=1514608 CPUtime=1182.32
/proc/19628/stat : 19628 (pbscip.linux.x8) R 19626 19628 19071 0 -1 4202496 417245 0 0 0 115326 2906 0 0 25 0 1 0 21776660 1550958592 375596 4089446400 4194304 8223781 140736999658832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19628/statm: 378652 375596 588 984 0 377665 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 1514608
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/197 20323
/proc/meminfo: memFree=28186808/32950928 swapFree=67111528/67111528
[pid=19628] ppid=19626 vsize=1587960 CPUtime=1242.33
/proc/19628/stat : 19628 (pbscip.linux.x8) R 19626 19628 19071 0 -1 4202496 435893 0 0 0 121187 3046 0 0 25 0 1 0 21776660 1626071040 394244 4089446400 4194304 8223781 140736999658832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19628/statm: 396990 394244 588 984 0 396003 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 1587960
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/197 20324
/proc/meminfo: memFree=28107504/32950928 swapFree=67111528/67111528
[pid=19628] ppid=19626 vsize=1663616 CPUtime=1302.33
/proc/19628/stat : 19628 (pbscip.linux.x8) R 19626 19628 19071 0 -1 4202496 455094 0 0 0 127041 3192 0 0 25 0 1 0 21776660 1703542784 413444 4089446400 4194304 8223781 140736999658832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19628/statm: 415904 413444 588 984 0 414917 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 1663616
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/197 20326
/proc/meminfo: memFree=28029060/32950928 swapFree=67111528/67111528
[pid=19628] ppid=19626 vsize=1740864 CPUtime=1362.33
/proc/19628/stat : 19628 (pbscip.linux.x8) R 19626 19628 19071 0 -1 4202496 477819 0 0 0 132893 3340 0 0 25 0 1 0 21776660 1782644736 433061 4089446400 4194304 8223781 140736999658832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19628/statm: 435216 433061 588 984 0 434229 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 1740864
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.89 3/197 20327
/proc/meminfo: memFree=27951508/32950928 swapFree=67111528/67111528
[pid=19628] ppid=19626 vsize=1817184 CPUtime=1422.33
/proc/19628/stat : 19628 (pbscip.linux.x8) R 19626 19628 19071 0 -1 4202496 497200 0 0 0 138751 3482 0 0 25 0 1 0 21776660 1860796416 452442 4089446400 4194304 8223781 140736999658832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19628/statm: 454296 452442 588 984 0 453309 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 1817184
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/197 20329
/proc/meminfo: memFree=27874800/32950928 swapFree=67111528/67111528
[pid=19628] ppid=19626 vsize=1892012 CPUtime=1482.33
/proc/19628/stat : 19628 (pbscip.linux.x8) R 19626 19628 19071 0 -1 4202496 516198 0 0 0 144608 3625 0 0 25 0 1 0 21776660 1937420288 471440 4089446400 4194304 8223781 140736999658832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19628/statm: 473003 471440 588 984 0 472016 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 1892012
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/197 20331
/proc/meminfo: memFree=27797232/32950928 swapFree=67111528/67111528
[pid=19628] ppid=19626 vsize=1968104 CPUtime=1542.34
/proc/19628/stat : 19628 (pbscip.linux.x8) R 19626 19628 19071 0 -1 4202496 535518 0 0 0 150455 3779 0 0 25 0 1 0 21776660 2015338496 490758 4089446400 4194304 8223781 140736999658832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19628/statm: 492026 490758 588 984 0 491039 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 1968104
[startup+1602.3 s]
/proc/loadavg: 2.06 2.02 1.91 3/197 20332
/proc/meminfo: memFree=27720540/32950928 swapFree=67111528/67111528
[pid=19628] ppid=19626 vsize=2043820 CPUtime=1602.33
/proc/19628/stat : 19628 (pbscip.linux.x8) R 19626 19628 19071 0 -1 4202496 554753 0 0 0 156309 3924 0 0 25 0 1 0 21776660 2092871680 509993 4089446400 4194304 8223781 140736999658832 18446744073709551615 6445147 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19628/statm: 510955 509993 588 984 0 509968 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 2043820
[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 1.91 3/197 20334
/proc/meminfo: memFree=27643192/32950928 swapFree=67111528/67111528
[pid=19628] ppid=19626 vsize=2152228 CPUtime=1662.33
/proc/19628/stat : 19628 (pbscip.linux.x8) R 19626 19628 19071 0 -1 4202496 573948 0 0 0 162169 4064 0 0 25 0 1 0 21776660 2203881472 529188 4089446400 4194304 8223781 140736999658832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19628/statm: 538057 529188 588 984 0 537070 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 2152228
[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 1.91 3/197 20335
/proc/meminfo: memFree=27563768/32950928 swapFree=67111528/67111528
[pid=19628] ppid=19626 vsize=2230984 CPUtime=1722.34
/proc/19628/stat : 19628 (pbscip.linux.x8) R 19626 19628 19071 0 -1 4202496 593939 0 0 0 168028 4206 0 0 25 0 1 0 21776660 2284527616 549179 4089446400 4194304 8223781 140736999658832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19628/statm: 557746 549179 588 984 0 556759 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 2230984
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/197 20337
/proc/meminfo: memFree=27483332/32950928 swapFree=67111528/67111528
[pid=19628] ppid=19626 vsize=2307904 CPUtime=1782.34
/proc/19628/stat : 19628 (pbscip.linux.x8) R 19626 19628 19071 0 -1 4202496 613478 0 0 0 173892 4342 0 0 25 0 1 0 21776660 2363293696 568718 4089446400 4194304 8223781 140736999658832 18446744073709551615 7073958 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19628/statm: 576976 568718 588 984 0 575989 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 2307904
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.91 3/197 20337
/proc/meminfo: memFree=27459136/32950928 swapFree=67111528/67111528
[pid=19628] ppid=19626 vsize=2331640 CPUtime=1800.04
/proc/19628/stat : 19628 (pbscip.linux.x8) R 19626 19628 19071 0 -1 4202496 619500 0 0 0 175620 4384 0 0 25 0 1 0 21776660 2387599360 574740 4089446400 4194304 8223781 140736999658832 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19628/statm: 582910 574740 588 984 0 581923 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 2331640
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -19628
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 1.91 3/198 20338
/proc/meminfo: memFree=27459128/32950928 swapFree=67111528/67111528
[pid=19628] ppid=19626 vsize=2331640 CPUtime=1801.44
/proc/19628/stat : 19628 (pbscip.linux.x8) R 19626 19628 19071 0 -1 4202496 619502 0 0 0 175760 4384 0 0 25 0 1 0 21776660 2387599360 574742 4089446400 4194304 8223781 140736999658832 18446744073709551615 4609365 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/19628/statm: 582910 574742 590 984 0 581923 0
Current children cumulated CPU time (s) 1801.44
Current children cumulated vsize (KiB) 2331640
[startup+1801.81 s]
/proc/loadavg: 2.00 2.00 1.91 3/198 20338
/proc/meminfo: memFree=27459244/32950928 swapFree=67111528/67111528
[pid=19628] ppid=19626 vsize=2330616 CPUtime=1801.84
/proc/19628/stat : 19628 (pbscip.linux.x8) R 19626 19628 19071 0 -1 4202496 619502 0 0 0 175800 4384 0 0 25 0 1 0 21776660 2386550784 574486 4089446400 4194304 8223781 140736999658832 18446744073709551615 6206655 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/19628/statm: 582654 574486 590 984 0 581667 0
Current children cumulated CPU time (s) 1801.84
Current children cumulated vsize (KiB) 2330616
[startup+1802 s]
/proc/loadavg: 2.00 2.00 1.91 3/198 20338
/proc/meminfo: memFree=27459244/32950928 swapFree=67111528/67111528
[pid=19628] ppid=19626 vsize=2330616 CPUtime=1802.04
/proc/19628/stat : 19628 (pbscip.linux.x8) R 19626 19628 19071 0 -1 4202496 619502 0 0 0 175820 4384 0 0 25 0 1 0 21776660 2386550784 574486 4089446400 4194304 8223781 140736999658832 18446744073709551615 6206629 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/19628/statm: 582654 574486 590 984 0 581667 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 2330616
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.08
CPU time (s): 1802.13
CPU user time (s): 1758.21
CPU system time (s): 43.9213
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 2331640
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1758.21
system time used= 43.9213
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 619502
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= 4
involuntary context switches= 925
runsolver used 2.75758 second user time and 5.86011 second system time
The end
Begin job on node122 at 2010-07-07 22:47:11
IDJOB=2700440
IDBENCH=79428
IDSOLVER=1204
FILE ID=node122/2700440-1278535631
PBS_JOBID= 11239234
Free space on /tmp= 73404 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-jnh05_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-2700440-1278535631/watcher-2700440-1278535631 -o /tmp/evaluation-result-2700440-1278535631/solver-2700440-1278535631 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2700440-1278535631.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 1604fdd87dcee54076f2101bd99fabb3
RANDOM SEED=1434610872
node122.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 : 5226.16
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.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.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.81
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.67
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: 32950928 kB
MemFree: 27742092 kB
Buffers: 139252 kB
Cached: 2788464 kB
SwapCached: 0 kB
Active: 3144544 kB
Inactive: 1907880 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 27742092 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 4688 kB
Writeback: 0 kB
AnonPages: 2125316 kB
Mapped: 17316 kB
Slab: 87660 kB
PageTables: 8932 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 2268352 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= 73404 MiB
End job on node122 at 2010-07-07 23:17:13