0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [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-2693812-1277893994.wbo>
0.00/0.02 c original problem has 7020 variables (6910 bin, 0 int, 0 impl, 110 cont) and 276 constraints
0.00/0.02 c problem read
0.00/0.02 c presolving settings loaded
0.00/0.02 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.04 c presolving:
0.03/0.04 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 110 impls, 27 clqs
0.03/0.05 c (round 2) 0 del vars, 1 del conss, 110 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 110 impls, 27 clqs
0.03/0.05 c (round 3) 0 del vars, 1 del conss, 110 chg bounds, 0 chg sides, 0 chg coeffs, 28 upgd conss, 110 impls, 27 clqs
0.03/0.05 c (round 4) 0 del vars, 1 del conss, 110 chg bounds, 0 chg sides, 0 chg coeffs, 55 upgd conss, 110 impls, 27 clqs
0.09/0.10 c (0.1s) probing: 101/6910 (1.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.10 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.10 c presolving (5 rounds):
0.09/0.10 c 0 deleted vars, 1 deleted constraints, 110 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.10 c 110 implications, 27 cliques
0.09/0.10 c presolved problem has 7020 variables (6910 bin, 0 int, 0 impl, 110 cont) and 275 constraints
0.09/0.10 c 110 constraints of type <indicator>
0.09/0.10 c 27 constraints of type <setppc>
0.09/0.10 c 110 constraints of type <linear>
0.09/0.10 c 28 constraints of type <logicor>
0.09/0.10 c transformed objective value is always integral (scale: 1)
0.09/0.10 c Presolving Time: 0.07
0.09/0.10 c - non default parameters ----------------------------------------------------------------------
0.09/0.10 c # SCIP version 1.2.1.2
0.09/0.10 c
0.09/0.10 c # frequency for displaying node information lines
0.09/0.10 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.10 c display/freq = 10000
0.09/0.10 c
0.09/0.10 c # maximal time in seconds to run
0.09/0.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.10 c limits/time = 1799.98
0.09/0.10 c
0.09/0.10 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.10 c limits/memory = 3420
0.09/0.10 c
0.09/0.10 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.10 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.11 c lp/solvefreq = -1
0.09/0.11 c
0.09/0.11 c # should presolving try to simplify inequalities
0.09/0.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.11 c constraints/linear/simplifyinequalities = TRUE
0.09/0.11 c
0.09/0.11 c # should presolving try to simplify knapsacks
0.09/0.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.11 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.11 c
0.09/0.11 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.11 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.11 c separating/rapidlearning/freq = 0
0.09/0.11 c
0.09/0.11 c -----------------------------------------------------------------------------------------------
0.09/0.11 c start solving
0.09/0.11 c
0.09/0.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.11 c 0.1s| 1 | 2 | 0 | - | 12M| 0 | - |7020 | 275 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
3.99/4.02 c 3.9s| 10000 | 9998 | 0 | 0.0 | 16M|5596 | - |7020 | 283 | 0 | 0 | 0 | 20 | 0 | 0.000000e+00 | -- | Inf
7.59/7.61 c 7.5s| 20000 | 19970 | 0 | 0.0 | 19M|5596 | - |7020 | 346 | 0 | 0 | 0 | 160 | 0 | 0.000000e+00 | -- | Inf
11.69/11.75 c 11.6s| 30000 | 29947 | 0 | 0.0 | 22M|5596 | - |7020 | 347 | 0 | 0 | 0 | 270 | 0 | 0.000000e+00 | -- | Inf
15.49/15.50 c 15.3s| 40000 | 39933 | 0 | 0.0 | 25M|5596 | - |7020 | 323 | 0 | 0 | 0 | 340 | 0 | 0.000000e+00 | -- | Inf
19.50/19.59 c 19.3s| 50000 | 49925 | 0 | 0.0 | 28M|5596 | - |7020 | 291 | 0 | 0 | 0 | 380 | 0 | 0.000000e+00 | -- | Inf
23.89/23.98 c 23.6s| 60000 | 59911 | 0 | 0.0 | 31M|5596 | - |7020 | 287 | 0 | 0 | 0 | 450 | 0 | 0.000000e+00 | -- | Inf
28.49/28.59 c 28.2s| 70000 | 69899 | 0 | 0.0 | 34M|5596 | - |7020 | 305 | 0 | 0 | 0 | 510 | 0 | 0.000000e+00 | -- | Inf
32.79/32.86 c 32.4s| 80000 | 79885 | 0 | 0.0 | 37M|5596 | - |7020 | 326 | 0 | 0 | 0 | 580 | 0 | 0.000000e+00 | -- | Inf
37.40/37.46 c 37.0s| 90000 | 89877 | 0 | 0.0 | 40M|5596 | - |7020 | 313 | 0 | 0 | 0 | 620 | 0 | 0.000000e+00 | -- | Inf
41.70/41.72 c 41.2s|100000 | 99865 | 0 | 0.0 | 43M|5596 | - |7020 | 327 | 0 | 0 | 0 | 680 | 0 | 0.000000e+00 | -- | Inf
46.49/46.52 c 45.9s|110000 |109853 | 0 | 0.0 | 46M|5596 | - |7020 | 340 | 0 | 0 | 0 | 740 | 0 | 0.000000e+00 | -- | Inf
51.09/51.15 c 50.5s|120000 |119841 | 0 | 0.0 | 49M|5596 | - |7020 | 349 | 0 | 0 | 0 | 800 | 0 | 0.000000e+00 | -- | Inf
55.59/55.67 c 54.9s|130000 |129833 | 0 | 0.0 | 52M|5596 | - |7020 | 336 | 0 | 0 | 0 | 840 | 0 | 0.000000e+00 | -- | Inf
60.10/60.17 c 59.4s|140000 |139823 | 0 | 0.0 | 55M|5596 | - |7020 | 357 | 0 | 0 | 0 | 890 | 0 | 0.000000e+00 | -- | Inf
64.60/64.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
64.60/64.67 c 63.8s|150000 |149815 | 0 | 0.0 | 57M|5596 | - |7020 | 367 | 0 | 0 | 0 | 930 | 0 | 0.000000e+00 | -- | Inf
69.20/69.24 c 68.3s|160000 |159803 | 0 | 0.0 | 60M|5596 | - |7020 | 394 | 0 | 0 | 0 | 990 | 0 | 0.000000e+00 | -- | Inf
73.79/73.83 c 72.9s|170000 |169791 | 0 | 0.0 | 63M|5596 | - |7020 | 415 | 0 | 0 | 0 |1050 | 0 | 0.000000e+00 | -- | Inf
78.29/78.37 c 77.3s|180000 |179781 | 0 | 0.0 | 66M|5596 | - |7020 | 409 | 0 | 0 | 0 |1100 | 0 | 0.000000e+00 | -- | Inf
82.90/82.91 c 81.8s|190000 |189767 | 0 | 0.0 | 68M|5596 | - |7020 | 426 | 0 | 0 | 0 |1168 | 0 | 0.000000e+00 | -- | Inf
87.39/87.46 c 86.3s|200000 |199757 | 0 | 0.0 | 71M|5596 | - |7020 | 418 | 0 | 0 | 0 |1215 | 0 | 0.000000e+00 | -- | Inf
92.00/92.07 c 90.9s|210000 |209748 | 0 | 0.0 | 74M|5596 | - |7020 | 425 | 0 | 0 | 0 |1260 | 0 | 0.000000e+00 | -- | Inf
96.59/96.63 c 95.4s|220000 |219739 | 0 | 0.0 | 76M|5596 | - |7020 | 435 | 0 | 0 | 0 |1304 | 0 | 0.000000e+00 | -- | Inf
101.10/101.16 c 99.9s|230000 |229727 | 0 | 0.0 | 79M|5596 | - |7020 | 444 | 0 | 0 | 0 |1360 | 0 | 0.000000e+00 | -- | Inf
105.69/105.78 c 104s|240000 |239717 | 0 | 0.0 | 82M|5596 | - |7020 | 453 | 0 | 0 | 0 |1410 | 0 | 0.000000e+00 | -- | Inf
110.40/110.44 c 109s|250000 |249701 | 0 | 0.0 | 85M|5596 | - |7020 | 475 | 0 | 0 | 0 |1490 | 0 | 0.000000e+00 | -- | Inf
115.09/115.12 c 114s|260000 |259683 | 0 | 0.0 | 87M|5596 | - |7020 | 466 | 0 | 0 | 0 |1580 | 0 | 0.000000e+00 | -- | Inf
119.59/119.64 c 118s|270000 |269669 | 0 | 0.0 | 90M|5596 | - |7020 | 487 | 0 | 0 | 0 |1650 | 0 | 0.000000e+00 | -- | Inf
124.19/124.25 c 123s|280000 |279657 | 0 | 0.0 | 93M|5596 | - |7020 | 488 | 0 | 0 | 0 |1710 | 0 | 0.000000e+00 | -- | Inf
128.89/128.92 c 127s|290000 |289643 | 0 | 0.0 | 96M|5596 | - |7020 | 478 | 0 | 0 | 0 |1780 | 0 | 0.000000e+00 | -- | Inf
133.49/133.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
133.49/133.57 c 132s|300000 |299627 | 0 | 0.0 | 98M|5596 | - |7020 | 493 | 0 | 0 | 0 |1860 | 0 | 0.000000e+00 | -- | Inf
138.20/138.21 c 137s|310000 |309617 | 0 | 0.0 | 101M|5596 | - |7020 | 496 | 0 | 0 | 0 |1910 | 0 | 0.000000e+00 | -- | Inf
142.79/142.83 c 141s|320000 |319605 | 0 | 0.0 | 104M|5596 | - |7020 | 493 | 0 | 0 | 0 |1970 | 0 | 0.000000e+00 | -- | Inf
147.49/147.52 c 146s|330000 |329595 | 0 | 0.0 | 107M|5596 | - |7020 | 495 | 0 | 0 | 0 |2020 | 0 | 0.000000e+00 | -- | Inf
152.09/152.13 c 150s|340000 |339587 | 0 | 0.0 | 109M|5596 | - |7020 | 500 | 0 | 0 | 0 |2060 | 0 | 0.000000e+00 | -- | Inf
156.69/156.79 c 155s|350000 |349577 | 0 | 0.0 | 112M|5596 | - |7020 | 520 | 0 | 0 | 0 |2110 | 0 | 0.000000e+00 | -- | Inf
161.49/161.51 c 160s|360000 |359567 | 0 | 0.0 | 115M|5596 | - |7020 | 515 | 0 | 0 | 0 |2160 | 0 | 0.000000e+00 | -- | Inf
166.00/166.07 c 164s|370000 |369557 | 0 | 0.0 | 118M|5596 | - |7020 | 521 | 0 | 0 | 0 |2210 | 0 | 0.000000e+00 | -- | Inf
170.60/170.62 c 169s|380000 |379551 | 0 | 0.0 | 120M|5596 | - |7020 | 520 | 0 | 0 | 0 |2240 | 0 | 0.000000e+00 | -- | Inf
175.49/175.51 c 173s|390000 |389541 | 0 | 0.0 | 123M|5596 | - |7020 | 528 | 0 | 0 | 0 |2290 | 0 | 0.000000e+00 | -- | Inf
180.30/180.32 c 178s|400000 |399525 | 0 | 0.0 | 126M|5596 | - |7020 | 556 | 0 | 0 | 0 |2370 | 0 | 0.000000e+00 | -- | Inf
185.00/185.01 c 183s|410000 |409513 | 0 | 0.0 | 128M|5596 | - |7020 | 558 | 0 | 0 | 0 |2430 | 0 | 0.000000e+00 | -- | Inf
189.69/189.70 c 187s|420000 |419501 | 0 | 0.0 | 131M|5596 | - |7020 | 562 | 0 | 0 | 0 |2490 | 0 | 0.000000e+00 | -- | Inf
194.19/194.23 c 192s|430000 |429491 | 0 | 0.0 | 134M|5596 | - |7020 | 562 | 0 | 0 | 0 |2540 | 0 | 0.000000e+00 | -- | Inf
198.59/198.64 c 196s|440000 |439483 | 0 | 0.0 | 136M|5596 | - |7020 | 559 | 0 | 0 | 0 |2580 | 0 | 0.000000e+00 | -- | Inf
203.00/203.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
203.00/203.09 c 201s|450000 |449473 | 0 | 0.0 | 139M|5596 | - |7020 | 569 | 0 | 0 | 0 |2630 | 0 | 0.000000e+00 | -- | Inf
207.60/207.66 c 205s|460000 |459461 | 0 | 0.0 | 142M|5596 | - |7020 | 581 | 0 | 0 | 0 |2690 | 0 | 0.000000e+00 | -- | Inf
212.30/212.30 c 210s|470000 |469453 | 0 | 0.0 | 145M|5596 | - |7020 | 572 | 0 | 0 | 0 |2730 | 0 | 0.000000e+00 | -- | Inf
216.80/216.87 c 214s|480000 |479445 | 0 | 0.0 | 147M|5596 | - |7020 | 583 | 0 | 0 | 0 |2770 | 0 | 0.000000e+00 | -- | Inf
221.30/221.35 c 219s|490000 |489437 | 0 | 0.0 | 150M|5596 | - |7020 | 596 | 0 | 0 | 0 |2810 | 0 | 0.000000e+00 | -- | Inf
226.00/226.08 c 223s|500000 |499429 | 0 | 0.0 | 153M|5596 | - |7020 | 587 | 0 | 0 | 0 |2850 | 0 | 0.000000e+00 | -- | Inf
230.60/230.65 c 228s|510000 |509419 | 0 | 0.0 | 155M|5596 | - |7020 | 589 | 0 | 0 | 0 |2900 | 0 | 0.000000e+00 | -- | Inf
235.30/235.30 c 232s|520000 |519407 | 0 | 0.0 | 158M|5596 | - |7020 | 603 | 0 | 0 | 0 |2960 | 0 | 0.000000e+00 | -- | Inf
239.89/239.99 c 237s|530000 |529397 | 0 | 0.0 | 161M|5596 | - |7020 | 595 | 0 | 0 | 0 |3010 | 0 | 0.000000e+00 | -- | Inf
244.69/244.74 c 242s|540000 |539383 | 0 | 0.0 | 164M|5596 | - |7020 | 611 | 0 | 0 | 0 |3080 | 0 | 0.000000e+00 | -- | Inf
249.40/249.43 c 246s|550000 |549373 | 0 | 0.0 | 166M|5596 | - |7020 | 603 | 0 | 0 | 0 |3130 | 0 | 0.000000e+00 | -- | Inf
254.00/254.09 c 251s|560000 |559363 | 0 | 0.0 | 169M|5596 | - |7020 | 619 | 0 | 0 | 0 |3180 | 0 | 0.000000e+00 | -- | Inf
258.80/258.80 c 256s|570000 |569351 | 0 | 0.0 | 172M|5596 | - |7020 | 625 | 0 | 0 | 0 |3240 | 0 | 0.000000e+00 | -- | Inf
263.40/263.45 c 260s|580000 |579339 | 0 | 0.0 | 174M|5596 | - |7020 | 618 | 0 | 0 | 0 |3300 | 0 | 0.000000e+00 | -- | Inf
267.99/268.08 c 265s|590000 |589327 | 0 | 0.0 | 177M|5596 | - |7020 | 630 | 0 | 0 | 0 |3360 | 0 | 0.000000e+00 | -- | Inf
272.70/272.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
272.70/272.75 c 269s|600000 |599315 | 0 | 0.0 | 180M|5596 | - |7020 | 646 | 0 | 0 | 0 |3420 | 0 | 0.000000e+00 | -- | Inf
277.30/277.39 c 274s|610000 |609301 | 0 | 0.0 | 183M|5596 | - |7020 | 660 | 0 | 0 | 0 |3490 | 0 | 0.000000e+00 | -- | Inf
282.00/282.01 c 279s|620000 |619293 | 0 | 0.0 | 185M|5596 | - |7020 | 647 | 0 | 0 | 0 |3530 | 0 | 0.000000e+00 | -- | Inf
286.60/286.66 c 283s|630000 |629281 | 0 | 0.0 | 188M|5596 | - |7020 | 663 | 0 | 0 | 0 |3590 | 0 | 0.000000e+00 | -- | Inf
291.30/291.33 c 288s|640000 |639269 | 0 | 0.0 | 191M|5596 | - |7020 | 675 | 0 | 0 | 0 |3650 | 0 | 0.000000e+00 | -- | Inf
295.81/295.83 c 292s|650000 |649259 | 0 | 0.0 | 193M|5596 | - |7020 | 675 | 0 | 0 | 0 |3700 | 0 | 0.000000e+00 | -- | Inf
300.40/300.42 c 297s|660000 |659255 | 0 | 0.0 | 196M|5596 | - |7020 | 647 | 0 | 0 | 0 |3720 | 0 | 0.000000e+00 | -- | Inf
305.40/305.42 c 302s|670000 |669241 | 0 | 0.0 | 199M|5596 | - |7020 | 671 | 0 | 0 | 0 |3790 | 0 | 0.000000e+00 | -- | Inf
310.29/310.33 c 307s|680000 |679229 | 0 | 0.0 | 201M|5596 | - |7020 | 674 | 0 | 0 | 0 |3850 | 0 | 0.000000e+00 | -- | Inf
314.90/314.95 c 311s|690000 |689217 | 0 | 0.0 | 204M|5596 | - |7020 | 675 | 0 | 0 | 0 |3910 | 0 | 0.000000e+00 | -- | Inf
319.50/319.53 c 316s|700000 |699205 | 0 | 0.0 | 207M|5596 | - |7020 | 671 | 0 | 0 | 0 |3970 | 0 | 0.000000e+00 | -- | Inf
324.09/324.12 c 320s|710000 |709195 | 0 | 0.0 | 209M|5596 | - |7020 | 671 | 0 | 0 | 0 |4020 | 0 | 0.000000e+00 | -- | Inf
328.80/328.84 c 325s|720000 |719183 | 0 | 0.0 | 212M|5596 | - |7020 | 691 | 0 | 0 | 0 |4080 | 0 | 0.000000e+00 | -- | Inf
333.30/333.34 c 329s|730000 |729173 | 0 | 0.0 | 215M|5596 | - |7020 | 686 | 0 | 0 | 0 |4130 | 0 | 0.000000e+00 | -- | Inf
337.80/337.85 c 334s|740000 |739163 | 0 | 0.0 | 218M|5596 | - |7020 | 688 | 0 | 0 | 0 |4180 | 0 | 0.000000e+00 | -- | Inf
342.39/342.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
342.39/342.48 c 338s|750000 |749151 | 0 | 0.0 | 220M|5596 | - |7020 | 702 | 0 | 0 | 0 |4240 | 0 | 0.000000e+00 | -- | Inf
347.10/347.15 c 343s|760000 |759137 | 0 | 0.0 | 223M|5596 | - |7020 | 699 | 0 | 0 | 0 |4310 | 0 | 0.000000e+00 | -- | Inf
351.60/351.64 c 347s|770000 |769127 | 0 | 0.0 | 226M|5596 | - |7020 | 716 | 0 | 0 | 0 |4360 | 0 | 0.000000e+00 | -- | Inf
356.50/356.56 c 352s|780000 |779109 | 0 | 0.0 | 228M|5596 | - |7020 | 755 | 0 | 0 | 0 |4450 | 0 | 0.000000e+00 | -- | Inf
361.30/361.31 c 357s|790000 |789099 | 0 | 0.0 | 231M|5599 | - |7020 | 715 | 0 | 0 | 0 |4500 | 0 | 0.000000e+00 | -- | Inf
365.80/365.82 c 361s|800000 |799085 | 0 | 0.0 | 234M|5645 | - |7020 | 722 | 0 | 0 | 0 |4570 | 0 | 0.000000e+00 | -- | Inf
370.40/370.40 c 366s|810000 |809069 | 0 | 0.0 | 236M|5645 | - |7020 | 750 | 0 | 0 | 0 |4650 | 0 | 0.000000e+00 | -- | Inf
375.00/375.02 c 370s|820000 |819057 | 0 | 0.0 | 239M|5645 | - |7020 | 724 | 0 | 0 | 0 |4710 | 0 | 0.000000e+00 | -- | Inf
379.30/379.35 c 375s|830000 |829051 | 0 | 0.0 | 242M|5645 | - |7020 | 700 | 0 | 0 | 0 |4740 | 0 | 0.000000e+00 | -- | Inf
384.00/384.03 c 379s|840000 |839041 | 0 | 0.0 | 244M|5645 | - |7020 | 697 | 0 | 0 | 0 |4790 | 0 | 0.000000e+00 | -- | Inf
388.80/388.83 c 384s|850000 |849029 | 0 | 0.0 | 247M|5645 | - |7020 | 705 | 0 | 0 | 0 |4850 | 0 | 0.000000e+00 | -- | Inf
393.40/393.45 c 389s|860000 |859015 | 0 | 0.0 | 250M|5645 | - |7020 | 719 | 0 | 0 | 0 |4920 | 0 | 0.000000e+00 | -- | Inf
398.10/398.12 c 393s|870000 |869005 | 0 | 0.0 | 252M|5645 | - |7020 | 708 | 0 | 0 | 0 |4970 | 0 | 0.000000e+00 | -- | Inf
402.70/402.72 c 398s|880000 |878993 | 0 | 0.0 | 255M|5645 | - |7020 | 730 | 0 | 0 | 0 |5030 | 0 | 0.000000e+00 | -- | Inf
407.40/407.40 c 402s|890000 |888983 | 0 | 0.0 | 258M|5645 | - |7020 | 718 | 0 | 0 | 0 |5080 | 0 | 0.000000e+00 | -- | Inf
411.90/411.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
411.90/411.95 c 407s|900000 |898973 | 0 | 0.0 | 260M|5645 | - |7020 | 708 | 0 | 0 | 0 |5130 | 0 | 0.000000e+00 | -- | Inf
416.30/416.39 c 411s|910000 |908963 | 0 | 0.0 | 263M|5645 | - |7020 | 715 | 0 | 0 | 0 |5180 | 0 | 0.000000e+00 | -- | Inf
421.10/421.13 c 416s|920000 |918951 | 0 | 0.0 | 266M|5645 | - |7020 | 722 | 0 | 0 | 0 |5240 | 0 | 0.000000e+00 | -- | Inf
425.71/425.76 c 421s|930000 |928945 | 0 | 0.0 | 269M|5645 | - |7020 | 687 | 0 | 0 | 0 |5270 | 0 | 0.000000e+00 | -- | Inf
430.50/430.58 c 425s|940000 |938935 | 0 | 0.0 | 271M|5645 | - |7020 | 684 | 0 | 0 | 0 |5320 | 0 | 0.000000e+00 | -- | Inf
435.40/435.44 c 430s|950000 |948921 | 0 | 0.0 | 274M|5645 | - |7020 | 694 | 0 | 0 | 0 |5390 | 0 | 0.000000e+00 | -- | Inf
439.91/439.95 c 435s|960000 |958914 | 0 | 0.0 | 277M|5645 | - |7020 | 683 | 0 | 0 | 0 |5430 | 0 | 0.000000e+00 | -- | Inf
444.41/444.40 c 439s|970000 |968900 | 0 | 0.0 | 279M|5645 | - |7020 | 714 | 0 | 0 | 0 |5500 | 0 | 0.000000e+00 | -- | Inf
448.80/448.86 c 443s|980000 |978892 | 0 | 0.0 | 282M|5645 | - |7020 | 704 | 0 | 0 | 0 |5540 | 0 | 0.000000e+00 | -- | Inf
453.30/453.38 c 448s|990000 |988878 | 0 | 0.0 | 285M|5645 | - |7020 | 740 | 0 | 0 | 0 |5610 | 0 | 0.000000e+00 | -- | Inf
457.90/457.92 c 452s| 1000k|998868 | 0 | 0.0 | 287M|5645 | - |7020 | 735 | 0 | 0 | 0 |5660 | 0 | 0.000000e+00 | -- | Inf
462.41/462.45 c 457s| 1010k| 1008k| 0 | 0.0 | 290M|5645 | - |7020 | 745 | 0 | 0 | 0 |5730 | 0 | 0.000000e+00 | -- | Inf
467.00/467.00 c 461s| 1020k| 1018k| 0 | 0.0 | 293M|5645 | - |7020 | 745 | 0 | 0 | 0 |5790 | 0 | 0.000000e+00 | -- | Inf
471.30/471.37 c 466s| 1030k| 1028k| 0 | 0.0 | 295M|5645 | - |7020 | 747 | 0 | 0 | 0 |5850 | 0 | 0.000000e+00 | -- | Inf
475.81/475.82 c 470s| 1040k| 1038k| 0 | 0.0 | 298M|5645 | - |7020 | 748 | 0 | 0 | 0 |5920 | 0 | 0.000000e+00 | -- | Inf
480.20/480.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
480.20/480.22 c 474s| 1050k| 1048k| 0 | 0.0 | 301M|5645 | - |7020 | 716 | 0 | 0 | 0 |5950 | 0 | 0.000000e+00 | -- | Inf
484.90/484.97 c 479s| 1060k| 1058k| 0 | 0.0 | 303M|5645 | - |7020 | 711 | 0 | 0 | 0 |6010 | 0 | 0.000000e+00 | -- | Inf
489.81/489.84 c 484s| 1070k| 1068k| 0 | 0.0 | 306M|5645 | - |7020 | 712 | 0 | 0 | 0 |6060 | 0 | 0.000000e+00 | -- | Inf
494.30/494.35 c 488s| 1080k| 1078k| 0 | 0.0 | 309M|5645 | - |7020 | 714 | 0 | 0 | 0 |6120 | 0 | 0.000000e+00 | -- | Inf
498.90/498.98 c 493s| 1090k| 1088k| 0 | 0.0 | 312M|5645 | - |7020 | 711 | 0 | 0 | 0 |6170 | 0 | 0.000000e+00 | -- | Inf
503.60/503.62 c 498s| 1100k| 1098k| 0 | 0.0 | 314M|5645 | - |7020 | 734 | 0 | 0 | 0 |6260 | 0 | 0.000000e+00 | -- | Inf
508.11/508.13 c 502s| 1110k| 1108k| 0 | 0.0 | 317M|5645 | - |7020 | 733 | 0 | 0 | 0 |6320 | 0 | 0.000000e+00 | -- | Inf
512.71/512.79 c 507s| 1120k| 1118k| 0 | 0.0 | 320M|5645 | - |7020 | 738 | 0 | 0 | 0 |6390 | 0 | 0.000000e+00 | -- | Inf
517.21/517.27 c 511s| 1130k| 1128k| 0 | 0.0 | 322M|5645 | - |7020 | 754 | 0 | 0 | 0 |6460 | 0 | 0.000000e+00 | -- | Inf
521.80/521.87 c 516s| 1140k| 1138k| 0 | 0.0 | 325M|5645 | - |7020 | 732 | 0 | 0 | 0 |6500 | 0 | 0.000000e+00 | -- | Inf
526.30/526.39 c 520s| 1150k| 1148k| 0 | 0.0 | 328M|5645 | - |7020 | 736 | 0 | 0 | 0 |6560 | 0 | 0.000000e+00 | -- | Inf
530.70/530.77 c 524s| 1160k| 1158k| 0 | 0.0 | 330M|5645 | - |7020 | 755 | 0 | 0 | 0 |6630 | 0 | 0.000000e+00 | -- | Inf
535.11/535.14 c 529s| 1170k| 1168k| 0 | 0.0 | 333M|5645 | - |7020 | 745 | 0 | 0 | 0 |6680 | 0 | 0.000000e+00 | -- | Inf
539.50/539.56 c 533s| 1180k| 1178k| 0 | 0.0 | 336M|5645 | - |7020 | 730 | 0 | 0 | 0 |6730 | 0 | 0.000000e+00 | -- | Inf
544.10/544.12 c 538s| 1190k| 1188k| 0 | 0.0 | 339M|5645 | - |7020 | 749 | 0 | 0 | 0 |6810 | 0 | 0.000000e+00 | -- | Inf
548.31/548.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
548.31/548.37 c 542s| 1200k| 1198k| 0 | 0.0 | 341M|5645 | - |7020 | 735 | 0 | 0 | 0 |6840 | 0 | 0.000000e+00 | -- | Inf
552.60/552.67 c 546s| 1210k| 1208k| 0 | 0.0 | 344M|5645 | - |7020 | 731 | 0 | 0 | 0 |6880 | 0 | 0.000000e+00 | -- | Inf
557.10/557.12 c 550s| 1220k| 1218k| 0 | 0.0 | 347M|5645 | - |7020 | 750 | 0 | 0 | 0 |6930 | 0 | 0.000000e+00 | -- | Inf
561.71/561.71 c 555s| 1230k| 1228k| 0 | 0.0 | 349M|5645 | - |7020 | 773 | 0 | 0 | 0 |7020 | 0 | 0.000000e+00 | -- | Inf
566.51/566.50 c 560s| 1240k| 1238k| 0 | 0.0 | 352M|5645 | - |7020 | 778 | 0 | 0 | 0 |7080 | 0 | 0.000000e+00 | -- | Inf
571.01/571.04 c 564s| 1250k| 1248k| 0 | 0.0 | 355M|5645 | - |7020 | 776 | 0 | 0 | 0 |7140 | 0 | 0.000000e+00 | -- | Inf
575.31/575.39 c 568s| 1260k| 1258k| 0 | 0.0 | 357M|5645 | - |7020 | 768 | 0 | 0 | 0 |7190 | 0 | 0.000000e+00 | -- | Inf
579.90/579.96 c 573s| 1270k| 1268k| 0 | 0.0 | 360M|5645 | - |7020 | 778 | 0 | 0 | 0 |7260 | 0 | 0.000000e+00 | -- | Inf
584.50/584.57 c 577s| 1280k| 1278k| 0 | 0.0 | 363M|5645 | - |7020 | 769 | 0 | 0 | 0 |7310 | 0 | 0.000000e+00 | -- | Inf
588.91/588.92 c 582s| 1290k| 1288k| 0 | 0.0 | 365M|5645 | - |7020 | 773 | 0 | 0 | 0 |7360 | 0 | 0.000000e+00 | -- | Inf
593.61/593.60 c 586s| 1300k| 1298k| 0 | 0.0 | 368M|5645 | - |7020 | 779 | 0 | 0 | 0 |7430 | 0 | 0.000000e+00 | -- | Inf
597.81/597.89 c 591s| 1310k| 1308k| 0 | 0.0 | 371M|5645 | - |7020 | 770 | 0 | 0 | 0 |7470 | 0 | 0.000000e+00 | -- | Inf
602.31/602.38 c 595s| 1320k| 1318k| 0 | 0.0 | 373M|5645 | - |7020 | 777 | 0 | 0 | 0 |7530 | 0 | 0.000000e+00 | -- | Inf
607.00/607.07 c 600s| 1330k| 1328k| 0 | 0.0 | 376M|5645 | - |7020 | 786 | 0 | 0 | 0 |7590 | 0 | 0.000000e+00 | -- | Inf
611.40/611.45 c 604s| 1340k| 1338k| 0 | 0.0 | 379M|5645 | - |7020 | 802 | 0 | 0 | 0 |7660 | 0 | 0.000000e+00 | -- | Inf
615.70/615.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
615.70/615.73 c 608s| 1350k| 1348k| 0 | 0.0 | 382M|5645 | - |7020 | 794 | 0 | 0 | 0 |7710 | 0 | 0.000000e+00 | -- | Inf
620.00/620.05 c 612s| 1360k| 1358k| 0 | 0.0 | 384M|5645 | - |7020 | 787 | 0 | 0 | 0 |7760 | 0 | 0.000000e+00 | -- | Inf
624.41/624.43 c 617s| 1370k| 1368k| 0 | 0.0 | 387M|5645 | - |7020 | 817 | 0 | 0 | 0 |7830 | 0 | 0.000000e+00 | -- | Inf
628.70/628.72 c 621s| 1380k| 1378k| 0 | 0.0 | 390M|5645 | - |7020 | 800 | 0 | 0 | 0 |7880 | 0 | 0.000000e+00 | -- | Inf
633.11/633.12 c 625s| 1390k| 1388k| 0 | 0.0 | 392M|5645 | - |7020 | 827 | 0 | 0 | 0 |7960 | 0 | 0.000000e+00 | -- | Inf
637.41/637.47 c 630s| 1400k| 1398k| 0 | 0.0 | 395M|5645 | - |7020 | 828 | 0 | 0 | 0 |8010 | 0 | 0.000000e+00 | -- | Inf
641.80/641.85 c 634s| 1410k| 1408k| 0 | 0.0 | 398M|5645 | - |7020 | 806 | 0 | 0 | 0 |8070 | 0 | 0.000000e+00 | -- | Inf
646.10/646.13 c 638s| 1420k| 1418k| 0 | 0.0 | 401M|5645 | - |7020 | 808 | 0 | 0 | 0 |8120 | 0 | 0.000000e+00 | -- | Inf
650.61/650.61 c 643s| 1430k| 1428k| 0 | 0.0 | 403M|5645 | - |7020 | 802 | 0 | 0 | 0 |8180 | 0 | 0.000000e+00 | -- | Inf
655.01/655.07 c 647s| 1440k| 1438k| 0 | 0.0 | 406M|5645 | - |7020 | 801 | 0 | 0 | 0 |8250 | 0 | 0.000000e+00 | -- | Inf
659.50/659.56 c 651s| 1450k| 1448k| 0 | 0.0 | 409M|5645 | - |7020 | 796 | 0 | 0 | 0 |8310 | 0 | 0.000000e+00 | -- | Inf
663.81/663.88 c 656s| 1460k| 1458k| 0 | 0.0 | 411M|5645 | - |7020 | 768 | 0 | 0 | 0 |8350 | 0 | 0.000000e+00 | -- | Inf
668.21/668.25 c 660s| 1470k| 1468k| 0 | 0.0 | 414M|5645 | - |7020 | 784 | 0 | 0 | 0 |8410 | 0 | 0.000000e+00 | -- | Inf
672.71/672.71 c 664s| 1480k| 1478k| 0 | 0.0 | 417M|5645 | - |7020 | 799 | 0 | 0 | 0 |8480 | 0 | 0.000000e+00 | -- | Inf
677.21/677.23 c 669s| 1490k| 1488k| 0 | 0.0 | 419M|5645 | - |7020 | 789 | 0 | 0 | 0 |8540 | 0 | 0.000000e+00 | -- | Inf
681.51/681.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
681.51/681.54 c 673s| 1500k| 1498k| 0 | 0.0 | 422M|5645 | - |7020 | 768 | 0 | 0 | 0 |8580 | 0 | 0.000000e+00 | -- | Inf
686.01/686.08 c 678s| 1510k| 1508k| 0 | 0.0 | 425M|5645 | - |7020 | 778 | 0 | 0 | 0 |8640 | 0 | 0.000000e+00 | -- | Inf
690.41/690.46 c 682s| 1520k| 1518k| 0 | 0.0 | 428M|5645 | - |7020 | 791 | 0 | 0 | 0 |8710 | 0 | 0.000000e+00 | -- | Inf
694.81/694.82 c 686s| 1530k| 1528k| 0 | 0.0 | 430M|5645 | - |7020 | 804 | 0 | 0 | 0 |8800 | 0 | 0.000000e+00 | -- | Inf
699.41/699.44 c 691s| 1540k| 1538k| 0 | 0.0 | 433M|5645 | - |7020 | 780 | 0 | 0 | 0 |8840 | 0 | 0.000000e+00 | -- | Inf
703.71/703.73 c 695s| 1550k| 1548k| 0 | 0.0 | 436M|5645 | - |7020 | 776 | 0 | 0 | 0 |8880 | 0 | 0.000000e+00 | -- | Inf
708.31/708.31 c 700s| 1560k| 1558k| 0 | 0.0 | 438M|5645 | - |7020 | 795 | 0 | 0 | 0 |8940 | 0 | 0.000000e+00 | -- | Inf
712.50/712.56 c 704s| 1570k| 1568k| 0 | 0.0 | 441M|5645 | - |7020 | 771 | 0 | 0 | 0 |8980 | 0 | 0.000000e+00 | -- | Inf
716.81/716.86 c 708s| 1580k| 1578k| 0 | 0.0 | 444M|5645 | - |7020 | 801 | 0 | 0 | 0 |9040 | 0 | 0.000000e+00 | -- | Inf
721.10/721.14 c 712s| 1590k| 1588k| 0 | 0.0 | 446M|5645 | - |7020 | 791 | 0 | 0 | 0 |9080 | 0 | 0.000000e+00 | -- | Inf
725.41/725.42 c 716s| 1600k| 1598k| 0 | 0.0 | 449M|5645 | - |7020 | 795 | 0 | 0 | 0 |9130 | 0 | 0.000000e+00 | -- | Inf
729.71/729.79 c 721s| 1610k| 1608k| 0 | 0.0 | 452M|5645 | - |7020 | 793 | 0 | 0 | 0 |9190 | 0 | 0.000000e+00 | -- | Inf
734.41/734.40 c 725s| 1620k| 1618k| 0 | 0.0 | 455M|5645 | - |7020 | 813 | 0 | 0 | 0 |9300 | 0 | 0.000000e+00 | -- | Inf
738.71/738.76 c 730s| 1630k| 1628k| 0 | 0.0 | 457M|5645 | - |7020 | 789 | 0 | 0 | 0 |9370 | 0 | 0.000000e+00 | -- | Inf
743.21/743.28 c 734s| 1640k| 1638k| 0 | 0.0 | 460M|5645 | - |7020 | 787 | 0 | 0 | 0 |9440 | 0 | 0.000000e+00 | -- | Inf
747.51/747.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
747.51/747.53 c 738s| 1650k| 1648k| 0 | 0.0 | 463M|5645 | - |7020 | 751 | 0 | 0 | 0 |9480 | 0 | 0.000000e+00 | -- | Inf
751.81/751.84 c 743s| 1660k| 1658k| 0 | 0.0 | 465M|5645 | - |7020 | 765 | 0 | 0 | 0 |9540 | 0 | 0.000000e+00 | -- | Inf
756.21/756.26 c 747s| 1670k| 1668k| 0 | 0.0 | 468M|5645 | - |7020 | 754 | 0 | 0 | 0 |9590 | 0 | 0.000000e+00 | -- | Inf
760.81/760.86 c 751s| 1680k| 1678k| 0 | 0.0 | 471M|5645 | - |7020 | 769 | 0 | 0 | 0 |9680 | 0 | 0.000000e+00 | -- | Inf
765.41/765.41 c 756s| 1690k| 1688k| 0 | 0.0 | 474M|5645 | - |7020 | 738 | 0 | 0 | 0 |9720 | 0 | 0.000000e+00 | -- | Inf
769.71/769.78 c 760s| 1700k| 1698k| 0 | 0.0 | 476M|5645 | - |7020 | 741 | 0 | 0 | 0 |9770 | 0 | 0.000000e+00 | -- | Inf
774.21/774.24 c 765s| 1710k| 1708k| 0 | 0.0 | 479M|5645 | - |7020 | 763 | 0 | 0 | 0 |9830 | 0 | 0.000000e+00 | -- | Inf
778.61/778.66 c 769s| 1720k| 1718k| 0 | 0.0 | 482M|5645 | - |7020 | 809 | 0 | 0 | 0 |9940 | 0 | 0.000000e+00 | -- | Inf
783.21/783.24 c 774s| 1730k| 1727k| 0 | 0.0 | 484M|5645 | - |7020 | 790 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
787.41/787.47 c 778s| 1740k| 1737k| 0 | 0.0 | 487M|5645 | - |7020 | 773 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
791.61/791.69 c 782s| 1750k| 1747k| 0 | 0.0 | 490M|5645 | - |7020 | 751 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
795.81/795.83 c 786s| 1760k| 1757k| 0 | 0.0 | 492M|5645 | - |7020 | 759 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
800.11/800.10 c 790s| 1770k| 1767k| 0 | 0.0 | 495M|5645 | - |7020 | 754 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
804.41/804.47 c 794s| 1780k| 1777k| 0 | 0.0 | 498M|5645 | - |7020 | 770 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
808.71/808.75 c 799s| 1790k| 1787k| 0 | 0.0 | 501M|5645 | - |7020 | 772 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
813.01/813.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
813.01/813.00 c 803s| 1800k| 1797k| 0 | 0.0 | 503M|5645 | - |7020 | 762 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
817.01/817.03 c 807s| 1810k| 1807k| 0 | 0.0 | 506M|5645 | - |7020 | 762 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
821.21/821.26 c 811s| 1820k| 1817k| 0 | 0.0 | 509M|5645 | - |7020 | 778 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
825.41/825.47 c 815s| 1830k| 1827k| 0 | 0.0 | 511M|5645 | - |7020 | 753 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
829.61/829.69 c 819s| 1840k| 1837k| 0 | 0.0 | 514M|5645 | - |7020 | 801 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
834.11/834.10 c 824s| 1850k| 1847k| 0 | 0.0 | 517M|5645 | - |7020 | 784 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
838.31/838.35 c 828s| 1860k| 1857k| 0 | 0.0 | 520M|5645 | - |7020 | 781 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
842.81/842.80 c 832s| 1870k| 1867k| 0 | 0.0 | 522M|5645 | - |7020 | 790 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
847.21/847.26 c 837s| 1880k| 1877k| 0 | 0.0 | 525M|5645 | - |7020 | 775 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
851.72/851.74 c 841s| 1890k| 1887k| 0 | 0.0 | 528M|5645 | - |7020 | 772 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
855.91/855.93 c 845s| 1900k| 1897k| 0 | 0.0 | 531M|5645 | - |7020 | 765 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
860.11/860.14 c 849s| 1910k| 1907k| 0 | 0.0 | 533M|5645 | - |7020 | 752 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
864.21/864.21 c 853s| 1920k| 1917k| 0 | 0.0 | 536M|5645 | - |7020 | 750 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
868.31/868.31 c 858s| 1930k| 1927k| 0 | 0.0 | 539M|5645 | - |7020 | 758 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
872.61/872.68 c 862s| 1940k| 1937k| 0 | 0.0 | 541M|5645 | - |7020 | 782 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
876.82/876.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
876.82/876.80 c 866s| 1950k| 1947k| 0 | 0.0 | 544M|5645 | - |7020 | 767 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
881.01/881.05 c 870s| 1960k| 1957k| 0 | 0.0 | 547M|5645 | - |7020 | 796 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
885.21/885.28 c 874s| 1970k| 1967k| 0 | 0.0 | 550M|5645 | - |7020 | 766 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
889.42/889.44 c 878s| 1980k| 1977k| 0 | 0.0 | 552M|5645 | - |7020 | 757 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
893.62/893.65 c 883s| 1990k| 1987k| 0 | 0.0 | 555M|5645 | - |7020 | 771 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
897.71/897.76 c 887s| 2000k| 1997k| 0 | 0.0 | 558M|5645 | - |7020 | 747 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
901.81/901.85 c 891s| 2010k| 2007k| 0 | 0.0 | 561M|5645 | - |7020 | 753 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
905.91/905.96 c 895s| 2020k| 2017k| 0 | 0.0 | 563M|5645 | - |7020 | 750 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
910.11/910.11 c 899s| 2030k| 2027k| 0 | 0.0 | 566M|5645 | - |7020 | 733 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
914.61/914.69 c 903s| 2040k| 2037k| 0 | 0.0 | 569M|5645 | - |7020 | 760 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
919.01/919.04 c 908s| 2050k| 2047k| 0 | 0.0 | 571M|5645 | - |7020 | 730 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
923.31/923.36 c 912s| 2060k| 2057k| 0 | 0.0 | 574M|5645 | - |7020 | 751 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
927.91/927.90 c 916s| 2070k| 2067k| 0 | 0.0 | 577M|5645 | - |7020 | 757 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
932.02/932.07 c 920s| 2080k| 2077k| 0 | 0.0 | 580M|5645 | - |7020 | 716 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
936.22/936.28 c 925s| 2090k| 2087k| 0 | 0.0 | 582M|5645 | - |7020 | 715 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
940.31/940.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
940.31/940.37 c 929s| 2100k| 2097k| 0 | 0.0 | 585M|5645 | - |7020 | 711 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
944.42/944.49 c 933s| 2110k| 2107k| 0 | 0.0 | 588M|5645 | - |7020 | 705 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
948.72/948.77 c 937s| 2120k| 2117k| 0 | 0.0 | 591M|5645 | - |7020 | 735 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
953.11/953.18 c 941s| 2130k| 2127k| 0 | 0.0 | 593M|5645 | - |7020 | 711 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
957.22/957.26 c 945s| 2140k| 2137k| 0 | 0.0 | 596M|5645 | - |7020 | 697 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
961.61/961.61 c 950s| 2150k| 2147k| 0 | 0.0 | 599M|5645 | - |7020 | 696 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
966.01/966.00 c 954s| 2160k| 2157k| 0 | 0.0 | 601M|5645 | - |7020 | 715 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
970.12/970.19 c 958s| 2170k| 2167k| 0 | 0.0 | 604M|5645 | - |7020 | 697 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
974.32/974.35 c 962s| 2180k| 2177k| 0 | 0.0 | 607M|5645 | - |7020 | 703 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
978.71/978.78 c 967s| 2190k| 2187k| 0 | 0.0 | 610M|5645 | - |7020 | 713 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
982.71/982.76 c 970s| 2200k| 2197k| 0 | 0.0 | 612M|5645 | - |7020 | 675 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
986.62/986.66 c 974s| 2210k| 2207k| 0 | 0.0 | 615M|5645 | - |7020 | 677 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
991.12/991.19 c 979s| 2220k| 2217k| 0 | 0.0 | 618M|5645 | - |7020 | 684 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
995.42/995.50 c 983s| 2230k| 2227k| 0 | 0.0 | 620M|5645 | - |7020 | 697 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
999.72/999.75 c 987s| 2240k| 2237k| 0 | 0.0 | 623M|5645 | - |7020 | 682 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
1003.92/1003.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1003.92/1003.94 c 991s| 2250k| 2247k| 0 | 0.0 | 626M|5645 | - |7020 | 685 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
1008.62/1008.61 c 996s| 2260k| 2257k| 0 | 0.0 | 629M|5645 | - |7020 | 723 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
1012.72/1012.75 c 1000s| 2270k| 2267k| 0 | 0.0 | 631M|5645 | - |7020 | 692 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
1016.61/1016.67 c 1004s| 2280k| 2277k| 0 | 0.0 | 634M|5645 | - |7020 | 693 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
1021.01/1021.09 c 1008s| 2290k| 2287k| 0 | 0.0 | 637M|5645 | - |7020 | 697 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
1025.32/1025.30 c 1012s| 2300k| 2297k| 0 | 0.0 | 640M|5645 | - |7020 | 712 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
1029.62/1029.66 c 1017s| 2310k| 2307k| 0 | 0.0 | 642M|5645 | - |7020 | 701 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
1033.71/1033.79 c 1021s| 2320k| 2317k| 0 | 0.0 | 645M|5645 | - |7020 | 696 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
1037.82/1037.84 c 1025s| 2330k| 2327k| 0 | 0.0 | 648M|5645 | - |7020 | 691 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
1042.11/1042.15 c 1029s| 2340k| 2337k| 0 | 0.0 | 650M|5645 | - |7020 | 703 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
1046.21/1046.29 c 1033s| 2350k| 2347k| 0 | 0.0 | 653M|5645 | - |7020 | 700 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
1050.52/1050.53 c 1037s| 2360k| 2357k| 0 | 0.0 | 656M|5645 | - |7020 | 686 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
1054.71/1054.74 c 1042s| 2370k| 2367k| 0 | 0.0 | 659M|5645 | - |7020 | 698 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
1059.01/1059.08 c 1046s| 2380k| 2377k| 0 | 0.0 | 661M|5645 | - |7020 | 690 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
1063.11/1063.10 c 1050s| 2390k| 2387k| 0 | 0.0 | 664M|5645 | - |7020 | 677 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
1067.22/1067.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1067.22/1067.20 c 1054s| 2400k| 2397k| 0 | 0.0 | 667M|5645 | - |7020 | 686 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
1071.42/1071.41 c 1058s| 2410k| 2407k| 0 | 0.0 | 670M|5645 | - |7020 | 697 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
1075.82/1075.81 c 1062s| 2420k| 2417k| 0 | 0.0 | 672M|5645 | - |7020 | 670 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
1079.92/1079.95 c 1066s| 2430k| 2427k| 0 | 0.0 | 675M|5645 | - |7020 | 646 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
1084.12/1084.10 c 1070s| 2440k| 2437k| 0 | 0.0 | 678M|5645 | - |7020 | 656 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
1088.12/1088.20 c 1075s| 2450k| 2447k| 0 | 0.0 | 681M|5645 | - |7020 | 652 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
1092.33/1092.33 c 1079s| 2460k| 2457k| 0 | 0.0 | 683M|5645 | - |7020 | 647 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
1096.51/1096.51 c 1083s| 2470k| 2467k| 0 | 0.0 | 686M|5645 | - |7020 | 648 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
1100.82/1100.82 c 1087s| 2480k| 2477k| 0 | 0.0 | 689M|5645 | - |7020 | 653 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
1105.02/1105.04 c 1091s| 2490k| 2486k| 0 | 0.0 | 692M|5645 | - |7020 | 671 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
1109.02/1109.07 c 1095s| 2500k| 2496k| 0 | 0.0 | 694M|5645 | - |7020 | 655 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
1113.13/1113.20 c 1099s| 2510k| 2506k| 0 | 0.0 | 697M|5645 | - |7020 | 672 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
1117.22/1117.22 c 1103s| 2520k| 2516k| 0 | 0.0 | 700M|5645 | - |7020 | 639 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
1121.42/1121.43 c 1107s| 2530k| 2526k| 0 | 0.0 | 702M|5645 | - |7020 | 632 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
1125.52/1125.52 c 1111s| 2540k| 2536k| 0 | 0.0 | 705M|5645 | - |7020 | 641 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
1129.72/1129.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1129.72/1129.77 c 1116s| 2550k| 2546k| 0 | 0.0 | 708M|5645 | - |7020 | 653 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
1133.72/1133.75 c 1120s| 2560k| 2556k| 0 | 0.0 | 711M|5645 | - |7020 | 629 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
1137.62/1137.62 c 1123s| 2570k| 2566k| 0 | 0.0 | 713M|5645 | - |7020 | 623 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
1141.32/1141.38 c 1127s| 2580k| 2576k| 0 | 0.0 | 716M|5645 | - |7020 | 626 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
1145.52/1145.51 c 1131s| 2590k| 2586k| 0 | 0.0 | 719M|5645 | - |7020 | 634 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
1149.62/1149.61 c 1135s| 2600k| 2596k| 0 | 0.0 | 722M|5645 | - |7020 | 650 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
1153.62/1153.63 c 1139s| 2610k| 2606k| 0 | 0.0 | 724M|5645 | - |7020 | 643 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
1157.62/1157.62 c 1143s| 2620k| 2616k| 0 | 0.0 | 727M|5645 | - |7020 | 642 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
1161.32/1161.33 c 1147s| 2630k| 2626k| 0 | 0.0 | 730M|5645 | - |7020 | 632 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
1165.72/1165.71 c 1151s| 2640k| 2636k| 0 | 0.0 | 733M|5645 | - |7020 | 633 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
1169.82/1169.87 c 1155s| 2650k| 2646k| 0 | 0.0 | 735M|5645 | - |7020 | 680 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
1174.02/1174.02 c 1159s| 2660k| 2656k| 0 | 0.0 | 738M|5645 | - |7020 | 659 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
1177.82/1177.82 c 1163s| 2670k| 2666k| 0 | 0.0 | 741M|5645 | - |7020 | 639 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
1182.02/1182.09 c 1167s| 2680k| 2676k| 0 | 0.0 | 744M|5645 | - |7020 | 667 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
1186.42/1186.48 c 1172s| 2690k| 2686k| 0 | 0.0 | 746M|5645 | - |7020 | 665 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
1190.42/1190.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1190.42/1190.46 c 1175s| 2700k| 2696k| 0 | 0.0 | 749M|5645 | - |7020 | 655 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
1194.22/1194.24 c 1179s| 2710k| 2706k| 0 | 0.0 | 752M|5645 | - |7020 | 654 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
1198.12/1198.14 c 1183s| 2720k| 2716k| 0 | 0.0 | 754M|5645 | - |7020 | 686 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
1202.22/1202.27 c 1187s| 2730k| 2726k| 0 | 0.0 | 757M|5645 | - |7020 | 660 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
1206.42/1206.41 c 1191s| 2740k| 2736k| 0 | 0.0 | 760M|5645 | - |7020 | 656 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
1210.32/1210.37 c 1195s| 2750k| 2746k| 0 | 0.0 | 763M|5645 | - |7020 | 676 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
1214.32/1214.39 c 1199s| 2760k| 2756k| 0 | 0.0 | 765M|5645 | - |7020 | 657 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
1218.72/1218.76 c 1203s| 2770k| 2766k| 0 | 0.0 | 768M|5645 | - |7020 | 658 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
1222.72/1222.72 c 1207s| 2780k| 2776k| 0 | 0.0 | 771M|5645 | - |7020 | 646 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
1226.53/1226.59 c 1210s| 2790k| 2786k| 0 | 0.0 | 774M|5645 | - |7020 | 632 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
1230.62/1230.64 c 1214s| 2800k| 2796k| 0 | 0.0 | 776M|5645 | - |7020 | 639 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
1234.62/1234.62 c 1218s| 2810k| 2806k| 0 | 0.0 | 779M|5645 | - |7020 | 627 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
1238.72/1238.76 c 1222s| 2820k| 2816k| 0 | 0.0 | 782M|5645 | - |7020 | 641 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
1242.52/1242.55 c 1226s| 2830k| 2826k| 0 | 0.0 | 785M|5645 | - |7020 | 627 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
1246.52/1246.56 c 1229s| 2840k| 2836k| 0 | 0.0 | 788M|5645 | - |7020 | 638 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
1250.73/1250.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1250.73/1250.71 c 1233s| 2850k| 2846k| 0 | 0.0 | 790M|5645 | - |7020 | 630 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
1254.72/1254.80 c 1237s| 2860k| 2856k| 0 | 0.0 | 793M|5645 | - |7020 | 654 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
1258.62/1258.62 c 1241s| 2870k| 2866k| 0 | 0.0 | 796M|5645 | - |7020 | 610 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
1262.83/1262.83 c 1245s| 2880k| 2876k| 0 | 0.0 | 799M|5645 | - |7020 | 607 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
1267.02/1267.05 c 1249s| 2890k| 2886k| 0 | 0.0 | 801M|5645 | - |7020 | 624 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
1270.92/1270.90 c 1253s| 2900k| 2896k| 0 | 0.0 | 804M|5645 | - |7020 | 605 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
1275.02/1275.04 c 1257s| 2910k| 2906k| 0 | 0.0 | 807M|5645 | - |7020 | 623 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
1279.23/1279.24 c 1261s| 2920k| 2916k| 0 | 0.0 | 810M|5645 | - |7020 | 623 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
1283.10/1283.16 c 1265s| 2930k| 2926k| 0 | 0.0 | 812M|5645 | - |7020 | 624 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
1287.18/1287.21 c 1269s| 2940k| 2936k| 0 | 0.0 | 815M|5645 | - |7020 | 618 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
1291.16/1291.29 c 1273s| 2950k| 2946k| 0 | 0.0 | 818M|5645 | - |7020 | 638 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
1295.27/1295.38 c 1276s| 2960k| 2956k| 0 | 0.0 | 821M|5645 | - |7020 | 621 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
1299.08/1299.10 c 1280s| 2970k| 2966k| 0 | 0.0 | 823M|5645 | - |7020 | 619 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
1302.96/1303.00 c 1284s| 2980k| 2976k| 0 | 0.0 | 826M|5645 | - |7020 | 622 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
1307.06/1307.12 c 1288s| 2990k| 2986k| 0 | 0.0 | 829M|5645 | - |7020 | 613 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
1311.26/1311.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1311.26/1311.35 c 1292s| 3000k| 2996k| 0 | 0.0 | 832M|5645 | - |7020 | 663 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
1314.96/1315.08 c 1295s| 3010k| 3006k| 0 | 0.0 | 834M|5645 | - |7020 | 598 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
1319.27/1319.31 c 1299s| 3020k| 3016k| 0 | 0.0 | 837M|5645 | - |7020 | 649 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
1323.17/1323.21 c 1303s| 3030k| 3026k| 0 | 0.0 | 840M|5645 | - |7020 | 621 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
1327.07/1327.17 c 1307s| 3040k| 3036k| 0 | 0.0 | 843M|5645 | - |7020 | 627 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
1331.46/1331.51 c 1311s| 3050k| 3046k| 0 | 0.0 | 845M|5645 | - |7020 | 594 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
1335.27/1335.40 c 1315s| 3060k| 3056k| 0 | 0.0 | 848M|5645 | - |7020 | 597 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
1339.26/1339.34 c 1319s| 3070k| 3066k| 0 | 0.0 | 851M|5645 | - |7020 | 602 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
1343.56/1343.64 c 1323s| 3080k| 3076k| 0 | 0.0 | 854M|5645 | - |7020 | 616 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
1347.37/1347.50 c 1326s| 3090k| 3086k| 0 | 0.0 | 856M|5645 | - |7020 | 597 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
1351.37/1351.46 c 1330s| 3100k| 3096k| 0 | 0.0 | 859M|5645 | - |7020 | 594 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
1355.56/1355.65 c 1334s| 3110k| 3106k| 0 | 0.0 | 862M|5645 | - |7020 | 607 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
1359.57/1359.63 c 1338s| 3120k| 3116k| 0 | 0.0 | 865M|5645 | - |7020 | 619 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
1363.37/1363.41 c 1342s| 3130k| 3126k| 0 | 0.0 | 868M|5645 | - |7020 | 607 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
1367.57/1367.66 c 1346s| 3140k| 3136k| 0 | 0.0 | 870M|5645 | - |7020 | 585 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
1371.57/1371.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1371.57/1371.65 c 1349s| 3150k| 3146k| 0 | 0.0 | 873M|5645 | - |7020 | 597 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
1375.46/1375.52 c 1353s| 3160k| 3156k| 0 | 0.0 | 876M|5645 | - |7020 | 616 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
1379.37/1379.47 c 1357s| 3170k| 3166k| 0 | 0.0 | 879M|5645 | - |7020 | 607 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
1383.27/1383.36 c 1361s| 3180k| 3176k| 0 | 0.0 | 881M|5645 | - |7020 | 590 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
1387.27/1387.34 c 1364s| 3190k| 3185k| 0 | 0.0 | 884M|5645 | - |7020 | 580 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
1391.17/1391.29 c 1368s| 3200k| 3195k| 0 | 0.0 | 887M|5645 | - |7020 | 588 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
1394.87/1394.97 c 1372s| 3210k| 3205k| 0 | 0.0 | 890M|5645 | - |7020 | 591 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
1398.76/1398.87 c 1375s| 3220k| 3215k| 0 | 0.0 | 892M|5645 | - |7020 | 598 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
1402.57/1402.61 c 1379s| 3230k| 3225k| 0 | 0.0 | 895M|5645 | - |7020 | 580 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
1406.57/1406.69 c 1383s| 3240k| 3235k| 0 | 0.0 | 898M|5645 | - |7020 | 597 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
1410.87/1410.98 c 1387s| 3250k| 3245k| 0 | 0.0 | 901M|5645 | - |7020 | 581 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
1414.57/1414.66 c 1390s| 3260k| 3255k| 0 | 0.0 | 903M|5645 | - |7020 | 576 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
1418.47/1418.51 c 1394s| 3270k| 3265k| 0 | 0.0 | 906M|5645 | - |7020 | 603 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
1422.17/1422.26 c 1398s| 3280k| 3275k| 0 | 0.0 | 909M|5645 | - |7020 | 579 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
1425.87/1425.95 c 1401s| 3290k| 3285k| 0 | 0.0 | 912M|5645 | - |7020 | 582 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
1429.77/1429.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1429.77/1429.81 c 1405s| 3300k| 3295k| 0 | 0.0 | 915M|5645 | - |7020 | 587 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
1433.67/1433.74 c 1409s| 3310k| 3305k| 0 | 0.0 | 917M|5645 | - |7020 | 624 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
1437.77/1437.85 c 1413s| 3320k| 3315k| 0 | 0.0 | 920M|5645 | - |7020 | 594 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
1441.87/1441.96 c 1417s| 3330k| 3325k| 0 | 0.0 | 923M|5645 | - |7020 | 605 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
1445.77/1445.89 c 1420s| 3340k| 3335k| 0 | 0.0 | 926M|5645 | - |7020 | 634 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
1449.67/1449.77 c 1424s| 3350k| 3345k| 0 | 0.0 | 928M|5645 | - |7020 | 590 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
1453.67/1453.74 c 1428s| 3360k| 3355k| 0 | 0.0 | 931M|5645 | - |7020 | 589 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
1457.27/1457.38 c 1431s| 3370k| 3365k| 0 | 0.0 | 934M|5645 | - |7020 | 574 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
1461.46/1461.50 c 1435s| 3380k| 3375k| 0 | 0.0 | 937M|5645 | - |7020 | 577 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
1465.56/1465.63 c 1439s| 3390k| 3385k| 0 | 0.0 | 939M|5645 | - |7020 | 574 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
1469.37/1469.47 c 1443s| 3400k| 3395k| 0 | 0.0 | 942M|5645 | - |7020 | 597 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
1473.17/1473.24 c 1446s| 3410k| 3405k| 0 | 0.0 | 945M|5645 | - |7020 | 597 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
1477.07/1477.15 c 1450s| 3420k| 3415k| 0 | 0.0 | 948M|5645 | - |7020 | 596 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
1480.77/1480.84 c 1454s| 3430k| 3425k| 0 | 0.0 | 951M|5645 | - |7020 | 602 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
1484.57/1484.63 c 1457s| 3440k| 3435k| 0 | 0.0 | 953M|5645 | - |7020 | 600 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
1488.57/1488.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1488.57/1488.61 c 1461s| 3450k| 3445k| 0 | 0.0 | 956M|5645 | - |7020 | 607 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
1492.27/1492.31 c 1465s| 3460k| 3455k| 0 | 0.0 | 959M|5645 | - |7020 | 564 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
1496.07/1496.13 c 1468s| 3470k| 3465k| 0 | 0.0 | 962M|5645 | - |7020 | 582 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
1499.97/1500.05 c 1472s| 3480k| 3475k| 0 | 0.0 | 964M|5645 | - |7020 | 569 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
1503.67/1503.78 c 1475s| 3490k| 3485k| 0 | 0.0 | 967M|5645 | - |7020 | 564 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
1507.47/1507.57 c 1479s| 3500k| 3495k| 0 | 0.0 | 970M|5645 | - |7020 | 567 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
1511.27/1511.38 c 1483s| 3510k| 3505k| 0 | 0.0 | 973M|5645 | - |7020 | 574 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
1515.27/1515.36 c 1486s| 3520k| 3515k| 0 | 0.0 | 975M|5645 | - |7020 | 558 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
1519.27/1519.32 c 1490s| 3530k| 3525k| 0 | 0.0 | 978M|5645 | - |7020 | 588 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
1522.87/1522.97 c 1494s| 3540k| 3535k| 0 | 0.0 | 981M|5645 | - |7020 | 590 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
1526.97/1527.08 c 1498s| 3550k| 3545k| 0 | 0.0 | 984M|5645 | - |7020 | 585 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
1530.57/1530.62 c 1501s| 3560k| 3555k| 0 | 0.0 | 986M|5645 | - |7020 | 565 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
1534.37/1534.47 c 1505s| 3570k| 3565k| 0 | 0.0 | 989M|5645 | - |7020 | 577 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
1538.17/1538.27 c 1508s| 3580k| 3575k| 0 | 0.0 | 992M|5645 | - |7020 | 593 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
1542.08/1542.15 c 1512s| 3590k| 3585k| 0 | 0.0 | 995M|5645 | - |7020 | 595 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
1545.97/1546.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1545.97/1546.03 c 1516s| 3600k| 3595k| 0 | 0.0 | 998M|5645 | - |7020 | 577 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
1549.37/1549.46 c 1519s| 3610k| 3605k| 0 | 0.0 |1000M|5645 | - |7020 | 596 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
1553.67/1553.77 c 1523s| 3620k| 3615k| 0 | 0.0 |1003M|5645 | - |7020 | 583 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
1557.17/1557.29 c 1526s| 3630k| 3625k| 0 | 0.0 |1006M|5645 | - |7020 | 586 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
1561.17/1561.22 c 1530s| 3640k| 3635k| 0 | 0.0 |1009M|5645 | - |7020 | 578 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
1564.77/1564.87 c 1534s| 3650k| 3645k| 0 | 0.0 |1011M|5645 | - |7020 | 589 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
1568.47/1568.60 c 1537s| 3660k| 3655k| 0 | 0.0 |1014M|5645 | - |7020 | 570 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
1572.07/1572.12 c 1541s| 3670k| 3665k| 0 | 0.0 |1017M|5645 | - |7020 | 598 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
1575.77/1575.87 c 1544s| 3680k| 3675k| 0 | 0.0 |1020M|5645 | - |7020 | 580 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
1579.47/1579.52 c 1548s| 3690k| 3685k| 0 | 0.0 |1023M|5645 | - |7020 | 590 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
1583.38/1583.40 c 1551s| 3700k| 3695k| 0 | 0.0 |1026M|5645 | - |7020 | 588 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
1587.18/1587.27 c 1555s| 3710k| 3705k| 0 | 0.0 |1028M|5645 | - |7020 | 600 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
1590.97/1591.01 c 1559s| 3720k| 3715k| 0 | 0.0 |1031M|5645 | - |7020 | 567 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
1594.88/1594.92 c 1562s| 3730k| 3725k| 0 | 0.0 |1034M|5645 | - |7020 | 608 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
1598.57/1598.60 c 1566s| 3740k| 3735k| 0 | 0.0 |1037M|5645 | - |7020 | 576 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
1602.37/1602.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1602.37/1602.42 c 1570s| 3750k| 3745k| 0 | 0.0 |1040M|5645 | - |7020 | 629 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
1606.27/1606.38 c 1573s| 3760k| 3755k| 0 | 0.0 |1042M|5645 | - |7020 | 576 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
1609.87/1609.95 c 1577s| 3770k| 3765k| 0 | 0.0 |1045M|5645 | - |7020 | 568 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
1613.87/1613.92 c 1581s| 3780k| 3775k| 0 | 0.0 |1048M|5645 | - |7020 | 566 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
1617.97/1618.03 c 1584s| 3790k| 3785k| 0 | 0.0 |1051M|5645 | - |7020 | 583 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
1621.57/1621.65 c 1588s| 3800k| 3795k| 0 | 0.0 |1053M|5645 | - |7020 | 570 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
1625.58/1625.65 c 1592s| 3810k| 3805k| 0 | 0.0 |1056M|5645 | - |7020 | 579 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
1629.17/1629.26 c 1595s| 3820k| 3815k| 0 | 0.0 |1059M|5645 | - |7020 | 560 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
1632.88/1632.95 c 1599s| 3830k| 3825k| 0 | 0.0 |1062M|5645 | - |7020 | 562 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
1636.67/1636.74 c 1602s| 3840k| 3835k| 0 | 0.0 |1065M|5645 | - |7020 | 546 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
1640.47/1640.53 c 1606s| 3850k| 3844k| 0 | 0.0 |1067M|5645 | - |7020 | 540 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
1644.38/1644.49 c 1610s| 3860k| 3854k| 0 | 0.0 |1070M|5645 | - |7020 | 548 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
1648.17/1648.21 c 1613s| 3870k| 3864k| 0 | 0.0 |1073M|5645 | - |7020 | 554 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
1651.77/1651.87 c 1617s| 3880k| 3874k| 0 | 0.0 |1076M|5645 | - |7020 | 553 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
1655.77/1655.84 c 1621s| 3890k| 3884k| 0 | 0.0 |1079M|5645 | - |7020 | 547 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
1659.28/1659.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1659.28/1659.38 c 1624s| 3900k| 3894k| 0 | 0.0 |1081M|5645 | - |7020 | 531 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
1662.88/1662.94 c 1627s| 3910k| 3904k| 0 | 0.0 |1084M|5645 | - |7020 | 536 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
1666.38/1666.48 c 1631s| 3920k| 3914k| 0 | 0.0 |1087M|5645 | - |7020 | 543 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
1670.37/1670.41 c 1634s| 3930k| 3924k| 0 | 0.0 |1090M|5645 | - |7020 | 521 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
1673.88/1673.98 c 1638s| 3940k| 3934k| 0 | 0.0 |1092M|5645 | - |7020 | 528 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
1677.77/1677.85 c 1641s| 3950k| 3944k| 0 | 0.0 |1095M|5645 | - |7020 | 585 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
1681.27/1681.37 c 1645s| 3960k| 3954k| 0 | 0.0 |1098M|5645 | - |7020 | 527 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
1685.07/1685.15 c 1648s| 3970k| 3964k| 0 | 0.0 |1101M|5645 | - |7020 | 524 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
1688.67/1688.72 c 1652s| 3980k| 3974k| 0 | 0.0 |1104M|5645 | - |7020 | 517 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
1692.57/1692.64 c 1656s| 3990k| 3984k| 0 | 0.0 |1106M|5645 | - |7020 | 508 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
1695.97/1696.07 c 1659s| 4000k| 3994k| 0 | 0.0 |1109M|5645 | - |7020 | 537 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
1699.58/1699.64 c 1662s| 4010k| 4004k| 0 | 0.0 |1112M|5645 | - |7020 | 515 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
1703.17/1703.25 c 1666s| 4020k| 4014k| 0 | 0.0 |1115M|5645 | - |7020 | 522 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
1706.57/1706.60 c 1669s| 4030k| 4024k| 0 | 0.0 |1118M|5645 | - |7020 | 506 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
1710.47/1710.55 c 1673s| 4040k| 4034k| 0 | 0.0 |1121M|5645 | - |7020 | 505 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
1714.07/1714.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1714.07/1714.13 c 1676s| 4050k| 4044k| 0 | 0.0 |1123M|5645 | - |7020 | 538 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
1717.57/1717.62 c 1679s| 4060k| 4054k| 0 | 0.0 |1126M|5645 | - |7020 | 509 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
1721.07/1721.19 c 1683s| 4070k| 4064k| 0 | 0.0 |1129M|5645 | - |7020 | 509 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
1724.57/1724.67 c 1686s| 4080k| 4074k| 0 | 0.0 |1132M|5645 | - |7020 | 494 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
1728.17/1728.25 c 1690s| 4090k| 4084k| 0 | 0.0 |1135M|5645 | - |7020 | 519 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
1731.77/1731.88 c 1693s| 4100k| 4094k| 0 | 0.0 |1137M|5645 | - |7020 | 501 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
1735.58/1735.67 c 1697s| 4110k| 4104k| 0 | 0.0 |1140M|5645 | - |7020 | 528 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
1739.08/1739.11 c 1700s| 4120k| 4114k| 0 | 0.0 |1143M|5645 | - |7020 | 488 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
1742.77/1742.82 c 1703s| 4130k| 4124k| 0 | 0.0 |1146M|5645 | - |7020 | 508 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
1746.47/1746.55 c 1707s| 4140k| 4134k| 0 | 0.0 |1149M|5645 | - |7020 | 493 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
1750.17/1750.21 c 1710s| 4150k| 4144k| 0 | 0.0 |1152M|5645 | - |7020 | 507 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
1753.98/1754.05 c 1714s| 4160k| 4154k| 0 | 0.0 |1154M|5645 | - |7020 | 483 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
1757.78/1757.81 c 1718s| 4170k| 4164k| 0 | 0.0 |1157M|5645 | - |7020 | 476 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
1761.47/1761.53 c 1721s| 4180k| 4174k| 0 | 0.0 |1160M|5645 | - |7020 | 476 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
1765.48/1765.51 c 1725s| 4190k| 4184k| 0 | 0.0 |1163M|5645 | - |7020 | 503 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
1768.87/1768.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1768.87/1768.99 c 1728s| 4200k| 4194k| 0 | 0.0 |1166M|5645 | - |7020 | 521 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
1772.48/1772.58 c 1732s| 4210k| 4204k| 0 | 0.0 |1168M|5645 | - |7020 | 481 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
1776.07/1776.17 c 1735s| 4220k| 4214k| 0 | 0.0 |1171M|5645 | - |7020 | 495 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
1779.57/1779.60 c 1738s| 4230k| 4224k| 0 | 0.0 |1174M|5645 | - |7020 | 511 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
1783.18/1783.22 c 1742s| 4240k| 4234k| 0 | 0.0 |1177M|5645 | - |7020 | 497 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
1786.97/1787.00 c 1745s| 4250k| 4244k| 0 | 0.0 |1180M|5645 | - |7020 | 522 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
1790.37/1790.48 c 1749s| 4260k| 4254k| 0 | 0.0 |1183M|5645 | - |7020 | 513 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
1794.08/1794.16 c 1752s| 4270k| 4264k| 0 | 0.0 |1185M|5645 | - |7020 | 492 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
1797.87/1797.90 c 1756s| 4280k| 4274k| 0 | 0.0 |1188M|5645 | - |7020 | 493 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
1800.07/1800.10 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.07/1800.10 c
1800.07/1800.10 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.10 c Solving Time (sec) : 1757.92
1800.07/1800.10 c Solving Nodes : 4286491
1800.07/1800.10 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.07/1800.10 c Dual Bound : +0.00000000000000e+00
1800.07/1800.10 c Gap : infinite
1800.07/1800.10 s UNKNOWN
1800.07/1800.10 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.10 c Solving Time : 1757.92
1800.07/1800.10 c Original Problem :
1800.07/1800.10 c Problem name : HOME/instance-2693812-1277893994.wbo
1800.07/1800.10 c Variables : 7020 (6910 binary, 0 integer, 0 implicit integer, 110 continuous)
1800.07/1800.10 c Constraints : 276 initial, 276 maximal
1800.07/1800.10 c Presolved Problem :
1800.07/1800.10 c Problem name : t_HOME/instance-2693812-1277893994.wbo
1800.07/1800.10 c Variables : 7020 (6910 binary, 0 integer, 0 implicit integer, 110 continuous)
1800.07/1800.10 c Constraints : 275 initial, 847 maximal
1800.07/1800.10 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.07/1800.10 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.10 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.10 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.10 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.10 c implics : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.10 c probing : 0.05 0 0 0 0 0 0 0 0
1800.07/1800.10 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.10 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.10 c linear : 0.01 0 0 0 110 0 1 0 0
1800.07/1800.10 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.10 c root node : - 0 - - 0 - - - -
1800.07/1800.10 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.07/1800.10 c integral : 0 0 0 0 0 0 0 0 0 0
1800.07/1800.10 c indicator : 110 0 313 0 110 0 110 0 0 0
1800.07/1800.10 c setppc : 27 0 4365123 0 4263610 579 883945 0 0 0
1800.07/1800.10 c linear : 110 0 4393135 0 4283640 1941 765365 0 0 0
1800.07/1800.10 c logicor : 28+ 0 208114 0 4283640 338 24697 0 0 0
1800.07/1800.10 c countsols : 0 0 0 0 4283640 0 0 0 0 0
1800.07/1800.10 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.07/1800.10 c integral : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.10 c indicator : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.10 c setppc : 123.25 0.00 13.23 0.00 110.02
1800.07/1800.10 c linear : 96.63 0.00 94.92 0.00 1.71
1800.07/1800.10 c logicor : 106.66 0.00 11.31 0.00 95.35
1800.07/1800.10 c countsols : 0.55 0.00 0.00 0.00 0.55
1800.07/1800.10 c Propagators : Time Calls Cutoffs DomReds
1800.07/1800.10 c vbounds : 0.72 2 0 0
1800.07/1800.10 c rootredcost : 0.66 0 0 0
1800.07/1800.10 c pseudoobj : 13.69 4393514 0 0
1800.07/1800.10 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.07/1800.10 c propagation : 92.87 2858 2858 108366 1091.6 101585 69.4 -
1800.07/1800.10 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.10 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.10 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.10 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.07/1800.10 c applied globally : - - - 28525 76.9 - - -
1800.07/1800.10 c applied locally : - - - 1 1005.0 - - -
1800.07/1800.10 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.07/1800.10 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.07/1800.10 c redcost : 0.00 0 0 0 0 0
1800.07/1800.10 c impliedbounds : 0.00 0 0 0 0 0
1800.07/1800.10 c intobj : 0.00 0 0 0 0 0
1800.07/1800.10 c cgmip : 0.00 0 0 0 0 0
1800.07/1800.10 c gomory : 0.00 0 0 0 0 0
1800.07/1800.10 c strongcg : 0.00 0 0 0 0 0
1800.07/1800.10 c cmir : 0.00 0 0 0 0 0
1800.07/1800.10 c flowcover : 0.00 0 0 0 0 0
1800.07/1800.10 c clique : 0.00 0 0 0 0 0
1800.07/1800.10 c zerohalf : 0.00 0 0 0 0 0
1800.07/1800.10 c mcf : 0.00 0 0 0 0 0
1800.07/1800.10 c rapidlearning : 0.00 0 0 0 0 0
1800.07/1800.10 c Pricers : Time Calls Vars
1800.07/1800.10 c problem variables: 0.00 0 0
1800.07/1800.10 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.07/1800.10 c relpscost : 0.00 0 0 0 0 0 0
1800.07/1800.10 c pscost : 0.00 0 0 0 0 0 0
1800.07/1800.10 c inference : 1360.39 4283640 0 0 0 0 8567280
1800.07/1800.10 c mostinf : 0.00 0 0 0 0 0 0
1800.07/1800.10 c leastinf : 0.00 0 0 0 0 0 0
1800.07/1800.10 c fullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.10 c allfullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.10 c random : 0.00 0 0 0 0 0 0
1800.07/1800.10 c Primal Heuristics : Time Calls Found
1800.07/1800.10 c LP solutions : 0.00 - 0
1800.07/1800.10 c pseudo solutions : 0.00 - 0
1800.07/1800.10 c oneopt : 0.55 0 0
1800.07/1800.10 c trivial : 0.02 2 0
1800.07/1800.10 c simplerounding : 0.00 0 0
1800.07/1800.10 c zirounding : 0.00 0 0
1800.07/1800.10 c rounding : 0.00 0 0
1800.07/1800.10 c shifting : 0.00 0 0
1800.07/1800.10 c intshifting : 0.00 0 0
1800.07/1800.10 c twoopt : 0.00 0 0
1800.07/1800.10 c fixandinfer : 0.00 0 0
1800.07/1800.10 c feaspump : 0.00 0 0
1800.07/1800.10 c coefdiving : 0.00 0 0
1800.07/1800.10 c pscostdiving : 0.00 0 0
1800.07/1800.10 c fracdiving : 0.00 0 0
1800.07/1800.10 c veclendiving : 0.00 0 0
1800.07/1800.10 c intdiving : 0.00 0 0
1800.07/1800.10 c actconsdiving : 0.00 0 0
1800.07/1800.10 c objpscostdiving : 0.00 0 0
1800.07/1800.10 c rootsoldiving : 0.00 0 0
1800.07/1800.10 c linesearchdiving : 0.00 0 0
1800.07/1800.10 c guideddiving : 0.00 0 0
1800.07/1800.10 c octane : 0.00 0 0
1800.07/1800.10 c rens : 0.00 0 0
1800.07/1800.10 c rins : 0.00 0 0
1800.07/1800.10 c localbranching : 0.00 0 0
1800.07/1800.10 c mutation : 0.00 0 0
1800.07/1800.10 c crossover : 0.00 0 0
1800.07/1800.10 c dins : 0.00 0 0
1800.07/1800.10 c undercover : 0.00 0 0
1800.07/1800.10 c nlp : 0.91 0 0
1800.07/1800.10 c trysol : 0.57 1 0
1800.07/1800.10 c LP : Time Calls Iterations Iter/call Iter/sec
1800.07/1800.10 c primal LP : 0.00 0 0 0.00 -
1800.07/1800.10 c dual LP : 0.00 0 0 0.00 -
1800.07/1800.10 c lex dual LP : 0.00 0 0 0.00 -
1800.07/1800.10 c barrier LP : 0.00 0 0 0.00 -
1800.07/1800.10 c diving/probing LP: 0.00 0 0 0.00 -
1800.07/1800.10 c strong branching : 0.00 0 0 0.00 -
1800.07/1800.10 c (at root node) : - 0 0 0.00 -
1800.07/1800.10 c conflict analysis: 0.00 0 0 0.00 -
1800.07/1800.10 c B&B Tree :
1800.07/1800.10 c number of runs : 1
1800.07/1800.10 c nodes : 4286491
1800.07/1800.10 c nodes (total) : 4286491
1800.07/1800.10 c nodes left : 4280782
1800.07/1800.10 c max depth : 5645
1800.07/1800.10 c max depth (total): 5645
1800.07/1800.10 c backtracks : 1036 (0.0%)
1800.07/1800.10 c delayed cutoffs : 8
1800.07/1800.10 c repropagations : 262 (2012 domain reductions, 7 cutoffs)
1800.07/1800.10 c avg switch length: 2.20
1800.07/1800.10 c switching time : 16.90
1800.07/1800.10 c Solution :
1800.07/1800.10 c Solutions found : 0 (0 improvements)
1800.07/1800.10 c Primal Bound : -
1800.07/1800.10 c Dual Bound : +0.00000000000000e+00
1800.07/1800.10 c Gap : infinite
1800.07/1800.10 c Root Dual Bound : +0.00000000000000e+00
1800.07/1800.10 c Root Iterations : 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693812-1277893994/watcher-2693812-1277893994 -o /tmp/evaluation-result-2693812-1277893994/solver-2693812-1277893994 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693812-1277893994.wbo -t 1800 -m 3800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.10 2.05 2.01 4/182 11972
/proc/meminfo: memFree=31325400/32951124 swapFree=67111528/67111528
[pid=11972] ppid=11970 vsize=9180 CPUtime=0
/proc/11972/stat : 11972 (pbscip.linux.x8) R 11970 11972 9854 0 -1 4202496 1784 0 0 0 0 0 0 0 25 0 1 0 130695608 9400320 1706 4089446400 4194304 7136930 140734299121264 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/11972/statm: 2295 1706 275 719 0 1574 0
[startup+0.041398 s]
/proc/loadavg: 2.10 2.05 2.01 4/182 11972
/proc/meminfo: memFree=31325400/32951124 swapFree=67111528/67111528
[pid=11972] ppid=11970 vsize=25960 CPUtime=0.03
/proc/11972/stat : 11972 (pbscip.linux.x8) R 11970 11972 9854 0 -1 4202496 6069 0 0 0 3 0 0 0 25 0 1 0 130695608 26583040 5637 4089446400 4194304 7136930 140734299121264 18446744073709551615 5489933 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11972/statm: 6490 5637 326 719 0 5769 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 25960
[startup+0.10039 s]
/proc/loadavg: 2.10 2.05 2.01 4/182 11972
/proc/meminfo: memFree=31325400/32951124 swapFree=67111528/67111528
[pid=11972] ppid=11970 vsize=27548 CPUtime=0.09
/proc/11972/stat : 11972 (pbscip.linux.x8) R 11970 11972 9854 0 -1 4202496 7877 0 0 0 8 1 0 0 25 0 1 0 130695608 28209152 6160 4089446400 4194304 7136930 140734299121264 18446744073709551615 5502780 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11972/statm: 6887 6160 370 719 0 6166 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27548
[startup+0.300353 s]
/proc/loadavg: 2.10 2.05 2.01 4/182 11972
/proc/meminfo: memFree=31325400/32951124 swapFree=67111528/67111528
[pid=11972] ppid=11970 vsize=29044 CPUtime=0.29
/proc/11972/stat : 11972 (pbscip.linux.x8) R 11970 11972 9854 0 -1 4202496 8181 0 0 0 28 1 0 0 25 0 1 0 130695608 29741056 6464 4089446400 4194304 7136930 140734299121264 18446744073709551615 4407868 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11972/statm: 7261 6464 390 719 0 6540 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 29044
[startup+0.700283 s]
/proc/loadavg: 2.10 2.05 2.01 4/182 11972
/proc/meminfo: memFree=31325400/32951124 swapFree=67111528/67111528
[pid=11972] ppid=11970 vsize=29560 CPUtime=0.69
/proc/11972/stat : 11972 (pbscip.linux.x8) R 11970 11972 9854 0 -1 4202496 8339 0 0 0 68 1 0 0 25 0 1 0 130695608 30269440 6622 4089446400 4194304 7136930 140734299121264 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11972/statm: 7390 6622 390 719 0 6669 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 29560
[startup+1.50011 s]
/proc/loadavg: 2.10 2.05 2.01 3/183 11973
/proc/meminfo: memFree=31298856/32951124 swapFree=67111528/67111528
[pid=11972] ppid=11970 vsize=31072 CPUtime=1.49
/proc/11972/stat : 11972 (pbscip.linux.x8) R 11970 11972 9854 0 -1 4202496 8706 0 0 0 146 3 0 0 25 0 1 0 130695608 31817728 6989 4089446400 4194304 7136930 140734299121264 18446744073709551615 4740369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11972/statm: 7768 6989 390 719 0 7047 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 31072
[startup+3.10084 s]
/proc/loadavg: 2.17 2.06 2.01 3/183 11973
/proc/meminfo: memFree=31299000/32951124 swapFree=67111528/67111528
[pid=11972] ppid=11970 vsize=32776 CPUtime=3.09
/proc/11972/stat : 11972 (pbscip.linux.x8) R 11970 11972 9854 0 -1 4202496 9134 0 0 0 305 4 0 0 25 0 1 0 130695608 33562624 7416 4089446400 4194304 7136930 140734299121264 18446744073709551615 4642088 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11972/statm: 8194 7416 394 719 0 7473 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 32776
[startup+6.30027 s]
/proc/loadavg: 2.17 2.06 2.01 3/183 11974
/proc/meminfo: memFree=31294532/32951124 swapFree=67111528/67111528
[pid=11972] ppid=11970 vsize=35944 CPUtime=6.29
/proc/11972/stat : 11972 (pbscip.linux.x8) R 11970 11972 9854 0 -1 4202496 9987 0 0 0 620 9 0 0 25 0 1 0 130695608 36806656 8269 4089446400 4194304 7136930 140734299121264 18446744073709551615 5892284 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11972/statm: 8986 8269 394 719 0 8265 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 35944
[startup+12.7001 s]
/proc/loadavg: 2.15 2.06 2.01 3/183 11974
/proc/meminfo: memFree=31285844/32951124 swapFree=67111528/67111528
[pid=11972] ppid=11970 vsize=44716 CPUtime=12.69
/proc/11972/stat : 11972 (pbscip.linux.x8) R 11970 11972 9854 0 -1 4202496 12216 0 0 0 1251 18 0 0 25 0 1 0 130695608 45789184 10498 4089446400 4194304 7136930 140734299121264 18446744073709551615 4643170 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11972/statm: 11179 10498 394 719 0 10458 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 44716
[startup+25.5009 s]
/proc/loadavg: 2.12 2.06 2.01 3/183 11975
/proc/meminfo: memFree=31274032/32951124 swapFree=67111528/67111528
[pid=11972] ppid=11970 vsize=57036 CPUtime=25.49
/proc/11972/stat : 11972 (pbscip.linux.x8) R 11970 11972 9854 0 -1 4202496 15398 0 0 0 2516 33 0 0 25 0 1 0 130695608 58404864 13680 4089446400 4194304 7136930 140734299121264 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11972/statm: 14259 13680 394 719 0 13538 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 57036
[startup+51.1003 s]
/proc/loadavg: 2.19 2.08 2.02 3/183 11975
/proc/meminfo: memFree=31255308/32951124 swapFree=67111528/67111528
[pid=11972] ppid=11970 vsize=77320 CPUtime=51.09
/proc/11972/stat : 11972 (pbscip.linux.x8) R 11970 11972 9854 0 -1 4202496 20174 0 0 0 5044 65 0 0 25 0 1 0 130695608 79175680 18456 4089446400 4194304 7136930 140734299121264 18446744073709551615 4414517 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11972/statm: 19330 18456 394 719 0 18609 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 77320
[startup+102.306 s]
/proc/loadavg: 2.08 2.07 2.01 3/183 11977
/proc/meminfo: memFree=31218208/32951124 swapFree=67111528/67111528
[pid=11972] ppid=11970 vsize=115556 CPUtime=102.3
/proc/11972/stat : 11972 (pbscip.linux.x8) R 11970 11972 9854 0 -1 4202496 29134 0 0 0 10102 128 0 0 25 0 1 0 130695608 118329344 27416 4089446400 4194304 7136930 140734299121264 18446744073709551615 4643289 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11972/statm: 28889 27416 394 719 0 28168 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 115556
[startup+162.3 s]
/proc/loadavg: 2.03 2.05 2.01 3/183 11978
/proc/meminfo: memFree=31173776/32951124 swapFree=67111528/67111528
[pid=11972] ppid=11970 vsize=158960 CPUtime=162.29
/proc/11972/stat : 11972 (pbscip.linux.x8) R 11970 11972 9854 0 -1 4202496 40387 0 0 0 16031 198 0 0 25 0 1 0 130695608 162775040 38669 4089446400 4194304 7136930 140734299121264 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11972/statm: 39740 38669 394 719 0 39019 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 158960
[startup+222.301 s]
/proc/loadavg: 2.01 2.04 2.00 3/183 11979
/proc/meminfo: memFree=31132932/32951124 swapFree=67111528/67111528
[pid=11972] ppid=11970 vsize=206120 CPUtime=222.29
/proc/11972/stat : 11972 (pbscip.linux.x8) R 11970 11972 9854 0 -1 4202496 50560 0 0 0 21959 270 0 0 25 0 1 0 130695608 211066880 48842 4089446400 4194304 7136930 140734299121264 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11972/statm: 51530 48842 394 719 0 50809 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 206120
[startup+282.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/183 11981
/proc/meminfo: memFree=31095440/32951124 swapFree=67111528/67111528
[pid=11972] ppid=11970 vsize=241776 CPUtime=282.3
/proc/11972/stat : 11972 (pbscip.linux.x8) R 11970 11972 9854 0 -1 4202496 59929 0 0 0 27889 341 0 0 25 0 1 0 130695608 247578624 58211 4089446400 4194304 7136930 140734299121264 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11972/statm: 60444 58211 394 719 0 59723 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 241776
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.00 4/183 11983
/proc/meminfo: memFree=31053240/32951124 swapFree=67111528/67111528
[pid=11972] ppid=11970 vsize=281872 CPUtime=342.3
/proc/11972/stat : 11972 (pbscip.linux.x8) R 11970 11972 9854 0 -1 4202496 70304 0 0 0 33815 415 0 0 25 0 1 0 130695608 288636928 68586 4089446400 4194304 7136930 140734299121264 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11972/statm: 70468 68586 394 719 0 69747 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 281872
[startup+402.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 11985
/proc/meminfo: memFree=31012888/32951124 swapFree=67111528/67111528
[pid=11972] ppid=11970 vsize=321216 CPUtime=402.3
/proc/11972/stat : 11972 (pbscip.linux.x8) R 11970 11972 9854 0 -1 4202496 80528 0 0 0 39748 482 0 0 25 0 1 0 130695608 328925184 78810 4089446400 4194304 7136930 140734299121264 18446744073709551615 5892267 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11972/statm: 80304 78810 394 719 0 79583 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 321216
[startup+462.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 11986
/proc/meminfo: memFree=30973284/32951124 swapFree=67111528/67111528
[pid=11972] ppid=11970 vsize=374772 CPUtime=462.3
/proc/11972/stat : 11972 (pbscip.linux.x8) R 11970 11972 9854 0 -1 4202496 90208 0 0 0 45675 555 0 0 25 0 1 0 130695608 383766528 88490 4089446400 4194304 7136930 140734299121264 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11972/statm: 93693 88490 394 719 0 92972 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 374772
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 11987
/proc/meminfo: memFree=30932800/32951124 swapFree=67111528/67111528
[pid=11972] ppid=11970 vsize=413924 CPUtime=522.31
/proc/11972/stat : 11972 (pbscip.linux.x8) R 11970 11972 9854 0 -1 4202496 100373 0 0 0 51600 631 0 0 25 0 1 0 130695608 423858176 98655 4089446400 4194304 7136930 140734299121264 18446744073709551615 4642180 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11972/statm: 103481 98655 394 719 0 102760 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 413924
[startup+582.301 s]
/proc/loadavg: 2.06 2.02 2.00 3/183 11989
/proc/meminfo: memFree=30892332/32951124 swapFree=67111528/67111528
[pid=11972] ppid=11970 vsize=452596 CPUtime=582.31
/proc/11972/stat : 11972 (pbscip.linux.x8) R 11970 11972 9854 0 -1 4202496 110492 0 0 0 57521 710 0 0 25 0 1 0 130695608 463458304 108774 4089446400 4194304 7136930 140734299121264 18446744073709551615 4643155 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11972/statm: 113149 108774 394 719 0 112428 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 452596
[startup+642.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 11991
/proc/meminfo: memFree=30850384/32951124 swapFree=67111528/67111528
[pid=11972] ppid=11970 vsize=492180 CPUtime=642.31
/proc/11972/stat : 11972 (pbscip.linux.x8) R 11970 11972 9854 0 -1 4202496 120850 0 0 0 63444 787 0 0 25 0 1 0 130695608 503992320 119132 4089446400 4194304 7136930 140734299121264 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11972/statm: 123045 119132 394 719 0 122324 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 492180
[startup+702.3 s]
################
# More data... #
################
/proc/11972/stat : 11972 (pbscip.linux.x8) R 11970 11972 9854 0 -1 4202496 192634 0 0 0 104902 1330 0 0 25 0 1 0 130695608 818257920 190916 4089446400 4194304 7136930 140734299121264 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11972/statm: 199770 190916 394 719 0 199049 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 799080
[startup+1122.3 s]
/proc/loadavg: 2.16 2.06 2.01 3/183 12003
/proc/meminfo: memFree=30516408/32951124 swapFree=67111528/67111528
[pid=11972] ppid=11970 vsize=843116 CPUtime=1122.32
/proc/11972/stat : 11972 (pbscip.linux.x8) R 11970 11972 9854 0 -1 4202496 204094 0 0 0 110823 1409 0 0 25 0 1 0 130695608 863350784 202376 4089446400 4194304 7136930 140734299121264 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11972/statm: 210779 202376 394 719 0 210058 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 843116
[startup+1182.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/183 12005
/proc/meminfo: memFree=30470848/32951124 swapFree=67111528/67111528
[pid=11972] ppid=11970 vsize=887344 CPUtime=1182.33
/proc/11972/stat : 11972 (pbscip.linux.x8) R 11970 11972 9854 0 -1 4202496 215660 0 0 0 116744 1489 0 0 25 0 1 0 130695608 908640256 213942 4089446400 4194304 7136930 140734299121264 18446744073709551615 4641936 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11972/statm: 221836 213942 394 719 0 221115 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 887344
[startup+1242.3 s]
/proc/loadavg: 2.06 2.05 2.00 3/183 12081
/proc/meminfo: memFree=30447900/32951124 swapFree=67111528/67111528
[pid=11972] ppid=11970 vsize=929704 CPUtime=1242.32
/proc/11972/stat : 11972 (pbscip.linux.x8) R 11970 11972 9854 0 -1 4202496 226824 0 0 0 122542 1690 0 0 25 0 1 0 130695608 952016896 225106 4089446400 4194304 7136930 140734299121264 18446744073709551615 4740365 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/11972/statm: 232426 225106 394 719 0 231705 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 929704
[startup+1302.3 s]
/proc/loadavg: 2.42 2.13 2.03 2/202 12135
/proc/meminfo: memFree=30186840/32951124 swapFree=67111528/67111528
[pid=11972] ppid=11970 vsize=972312 CPUtime=1302.27
/proc/11972/stat : 11972 (pbscip.linux.x8) R 11970 11972 9854 0 -1 4202496 237979 0 0 0 128311 1916 0 0 25 0 1 0 130695608 995647488 236261 4089446400 4194304 7136930 140734299121264 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11972/statm: 243078 236261 394 719 0 242357 0
Current children cumulated CPU time (s) 1302.27
Current children cumulated vsize (KiB) 972312
[startup+1362.3 s]
/proc/loadavg: 2.15 2.11 2.02 3/183 12164
/proc/meminfo: memFree=30358124/32951124 swapFree=67111528/67111528
[pid=11972] ppid=11970 vsize=1016016 CPUtime=1362.26
/proc/11972/stat : 11972 (pbscip.linux.x8) R 11970 11972 9854 0 -1 4202496 249406 0 0 0 134053 2173 0 0 25 0 1 0 130695608 1040400384 247688 4089446400 4194304 7136930 140734299121264 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11972/statm: 254004 247688 394 719 0 253283 0
Current children cumulated CPU time (s) 1362.26
Current children cumulated vsize (KiB) 1016016
[startup+1422.31 s]
/proc/loadavg: 2.05 2.08 2.02 3/183 12165
/proc/meminfo: memFree=30310596/32951124 swapFree=67111528/67111528
[pid=11972] ppid=11970 vsize=1060224 CPUtime=1422.28
/proc/11972/stat : 11972 (pbscip.linux.x8) R 11970 11972 9854 0 -1 4202496 261006 0 0 0 139776 2452 0 0 25 0 1 0 130695608 1085669376 259288 4089446400 4194304 7136930 140734299121264 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11972/statm: 265056 259288 394 719 0 264335 0
Current children cumulated CPU time (s) 1422.28
Current children cumulated vsize (KiB) 1060224
[startup+1482.3 s]
/proc/loadavg: 2.02 2.07 2.01 3/183 12221
/proc/meminfo: memFree=30196172/32951124 swapFree=67111528/67111528
[pid=11972] ppid=11970 vsize=1101884 CPUtime=1482.27
/proc/11972/stat : 11972 (pbscip.linux.x8) R 11970 11972 9854 0 -1 4202496 271972 0 0 0 145499 2728 0 0 25 0 1 0 130695608 1128329216 270254 4089446400 4194304 7136930 140734299121264 18446744073709551615 4407896 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11972/statm: 275471 270254 394 719 0 274750 0
Current children cumulated CPU time (s) 1482.27
Current children cumulated vsize (KiB) 1101884
[startup+1542.3 s]
/proc/loadavg: 2.00 2.05 2.01 4/183 12250
/proc/meminfo: memFree=30218404/32951124 swapFree=67111528/67111528
[pid=11972] ppid=11970 vsize=1147684 CPUtime=1542.28
/proc/11972/stat : 11972 (pbscip.linux.x8) R 11970 11972 9854 0 -1 4202496 283991 0 0 0 151218 3010 0 0 25 0 1 0 130695608 1175228416 282273 4089446400 4194304 7136930 140734299121264 18446744073709551615 5892359 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11972/statm: 286921 282273 394 719 0 286200 0
Current children cumulated CPU time (s) 1542.28
Current children cumulated vsize (KiB) 1147684
[startup+1602.3 s]
/proc/loadavg: 2.31 2.14 2.04 3/201 12350
/proc/meminfo: memFree=29986544/32951124 swapFree=67111528/67111528
[pid=11972] ppid=11970 vsize=1191340 CPUtime=1602.27
/proc/11972/stat : 11972 (pbscip.linux.x8) R 11970 11972 9854 0 -1 4202496 295426 0 0 0 156945 3282 0 0 25 0 1 0 130695608 1219932160 293708 4089446400 4194304 7136930 140734299121264 18446744073709551615 4642962 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11972/statm: 297835 293708 394 719 0 297114 0
Current children cumulated CPU time (s) 1602.27
Current children cumulated vsize (KiB) 1191340
[startup+1662.3 s]
/proc/loadavg: 2.11 2.11 2.03 3/201 12351
/proc/meminfo: memFree=29923772/32951124 swapFree=67111528/67111528
[pid=11972] ppid=11970 vsize=1235768 CPUtime=1662.28
/proc/11972/stat : 11972 (pbscip.linux.x8) R 11970 11972 9854 0 -1 4202496 307100 0 0 0 162670 3558 0 0 25 0 1 0 130695608 1265426432 305382 4089446400 4194304 7136930 140734299121264 18446744073709551615 5909042 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11972/statm: 308942 305382 394 719 0 308221 0
Current children cumulated CPU time (s) 1662.28
Current children cumulated vsize (KiB) 1235768
[startup+1722.3 s]
/proc/loadavg: 2.04 2.09 2.03 3/201 12361
/proc/meminfo: memFree=29871148/32951124 swapFree=67111528/67111528
[pid=11972] ppid=11970 vsize=1281104 CPUtime=1722.27
/proc/11972/stat : 11972 (pbscip.linux.x8) R 11970 11972 9854 0 -1 4202496 318997 0 0 0 168386 3841 0 0 25 0 1 0 130695608 1311850496 317279 4089446400 4194304 7136930 140734299121264 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11972/statm: 320276 317279 394 719 0 319555 0
Current children cumulated CPU time (s) 1722.27
Current children cumulated vsize (KiB) 1281104
[startup+1782.3 s]
/proc/loadavg: 2.07 2.09 2.03 3/201 12363
/proc/meminfo: memFree=29812896/32951124 swapFree=67111528/67111528
[pid=11972] ppid=11970 vsize=1394216 CPUtime=1782.27
/proc/11972/stat : 11972 (pbscip.linux.x8) R 11970 11972 9854 0 -1 4202496 331474 0 0 0 174099 4128 0 0 25 0 1 0 130695608 1427677184 329756 4089446400 4194304 7136930 140734299121264 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11972/statm: 348554 329756 394 719 0 347833 0
Current children cumulated CPU time (s) 1782.27
Current children cumulated vsize (KiB) 1394216
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.1 s]
/proc/loadavg: 2.05 2.08 2.02 3/201 12363
/proc/meminfo: memFree=29795772/32951124 swapFree=67111528/67111528
[pid=11972] ppid=11970 vsize=1407900 CPUtime=1800.07
/proc/11972/stat : 11972 (pbscip.linux.x8) R 11970 11972 9854 0 -1 4202496 335054 0 0 0 175793 4214 0 0 25 0 1 0 130695608 1441689600 333336 4089446400 4194304 7136930 140734299121264 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/11972/statm: 351975 333336 394 719 0 351254 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1407900
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -11972
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.05 2.08 2.02 3/202 12364
/proc/meminfo: memFree=29795144/32951124 swapFree=67111528/67111528
[pid=11972] ppid=11970 vsize=1407936 CPUtime=1801.37
/proc/11972/stat : 11972 (pbscip.linux.x8) R 11970 11972 9854 0 -1 4202496 335147 0 0 0 175923 4214 0 0 25 0 1 0 130695608 1441726464 333365 4089446400 4194304 7136930 140734299121264 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/11972/statm: 351984 333365 399 719 0 351263 0
Current children cumulated CPU time (s) 1801.37
Current children cumulated vsize (KiB) 1407936
[startup+1801.81 s]
/proc/loadavg: 2.05 2.08 2.02 3/202 12364
/proc/meminfo: memFree=29795388/32951124 swapFree=67111528/67111528
[pid=11972] ppid=11970 vsize=1407936 CPUtime=1801.77
/proc/11972/stat : 11972 (pbscip.linux.x8) R 11970 11972 9854 0 -1 4202496 335147 0 0 0 175963 4214 0 0 25 0 1 0 130695608 1441726464 333365 4089446400 4194304 7136930 140734299121264 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/11972/statm: 351984 333365 399 719 0 351263 0
Current children cumulated CPU time (s) 1801.77
Current children cumulated vsize (KiB) 1407936
[startup+1802 s]
/proc/loadavg: 2.05 2.08 2.02 3/202 12364
/proc/meminfo: memFree=29795388/32951124 swapFree=67111528/67111528
[pid=11972] ppid=11970 vsize=1407936 CPUtime=1801.97
/proc/11972/stat : 11972 (pbscip.linux.x8) R 11970 11972 9854 0 -1 4202496 335147 0 0 0 175983 4214 0 0 25 0 1 0 130695608 1441726464 333365 4089446400 4194304 7136930 140734299121264 18446744073709551615 6165733 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/11972/statm: 351984 333365 399 719 0 351263 0
Current children cumulated CPU time (s) 1801.97
Current children cumulated vsize (KiB) 1407936
[startup+1802.1 s]
/proc/loadavg: 2.05 2.08 2.02 3/202 12364
/proc/meminfo: memFree=29795388/32951124 swapFree=67111528/67111528
[pid=11972] ppid=11970 vsize=1407936 CPUtime=1802.07
/proc/11972/stat : 11972 (pbscip.linux.x8) R 11970 11972 9854 0 -1 4202496 335147 0 0 0 175993 4214 0 0 25 0 1 0 130695608 1441726464 333365 4089446400 4194304 7136930 140734299121264 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/11972/statm: 351984 333365 399 719 0 351263 0
Current children cumulated CPU time (s) 1802.07
Current children cumulated vsize (KiB) 1407936
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.15
CPU time (s): 1802.14
CPU user time (s): 1759.94
CPU system time (s): 42.1946
CPU usage (%): 99.999
Max. virtual memory (cumulated for all children) (KiB): 1407936
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1759.94
system time used= 42.1946
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 335147
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= 1757
runsolver used 2.78058 second user time and 5.80512 second system time
The end
Begin job on node132 at 2010-06-30 12:33:15
IDJOB=2693812
IDBENCH=78733
IDSOLVER=1206
FILE ID=node132/2693812-1277893994
PBS_JOBID= 11197089
Free space on /tmp= 74136 MiB
SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-85-80--soft-33-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2693812-1277893994/watcher-2693812-1277893994 -o /tmp/evaluation-result-2693812-1277893994/solver-2693812-1277893994 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693812-1277893994.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= b2b0b6245f8ec2d35e44e032ffc67cea
RANDOM SEED=1720031843
node132.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.810
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.62
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.810
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
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.810
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.810
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.810
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.810
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.810
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.75
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.810
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: 31325804 kB
Buffers: 173808 kB
Cached: 1212780 kB
SwapCached: 0 kB
Active: 622156 kB
Inactive: 859072 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 31325804 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 3484 kB
Writeback: 0 kB
AnonPages: 94700 kB
Mapped: 15280 kB
Slab: 81468 kB
PageTables: 5068 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 236488 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 74136 MiB
End job on node132 at 2010-06-30 13:03:17