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-2693647-1277928444.wbo>
0.00/0.03 c original problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5415 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.00/0.03 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.09/0.13 o 137244
0.09/0.13 c feasible solution found by trivial heuristic, objective value 1.372440e+05
0.09/0.13 c presolving:
0.09/0.14 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2707 impls, 0 clqs
0.09/0.15 c (round 2) 0 del vars, 1 del conss, 2707 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2707 impls, 0 clqs
0.20/0.20 c (0.2s) probing: 101/2938 (3.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.20/0.20 c (0.2s) probing aborted: 100/100 successive totally useless probings
0.20/0.20 c presolving (3 rounds):
0.20/0.20 c 0 deleted vars, 1 deleted constraints, 2707 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.20/0.20 c 2707 implications, 0 cliques
0.20/0.20 c presolved problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5414 constraints
0.20/0.20 c 2707 constraints of type <indicator>
0.20/0.20 c 2707 constraints of type <linear>
0.20/0.20 c transformed objective value is always integral (scale: 1)
0.20/0.20 c Presolving Time: 0.15
0.20/0.20 c - non default parameters ----------------------------------------------------------------------
0.20/0.20 c # SCIP version 1.2.1.2
0.20/0.20 c
0.20/0.20 c # frequency for displaying node information lines
0.20/0.20 c # [type: int, range: [-1,2147483647], default: 100]
0.20/0.20 c display/freq = 10000
0.20/0.21 c
0.20/0.21 c # maximal time in seconds to run
0.20/0.21 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.20/0.21 c limits/time = 1799.97
0.20/0.21 c
0.20/0.21 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.20/0.21 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.20/0.21 c limits/memory = 3420
0.20/0.21 c
0.20/0.21 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.20/0.21 c # [type: int, range: [-1,2147483647], default: 1]
0.20/0.21 c lp/solvefreq = -1
0.20/0.21 c
0.20/0.21 c # should presolving try to simplify inequalities
0.20/0.21 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.20/0.21 c constraints/linear/simplifyinequalities = TRUE
0.20/0.21 c
0.20/0.21 c # should presolving try to simplify knapsacks
0.20/0.21 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.20/0.21 c constraints/knapsack/simplifyinequalities = TRUE
0.20/0.21 c
0.20/0.21 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.20/0.21 c # [type: int, range: [-1,2147483647], default: -1]
0.20/0.21 c separating/rapidlearning/freq = 0
0.20/0.21 c
0.20/0.21 c -----------------------------------------------------------------------------------------------
0.20/0.21 c start solving
0.20/0.21 c
0.20/0.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.20/0.22 c t 0.2s| 1 | 2 | 0 | - | 17M| 0 | - |5645 |5414 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | 1.372440e+05 | Inf
2.30/2.34 o 633
2.30/2.34 c * 2.2s| 6653 | 6223 | 0 | 0.0 | 23M|2816 | - |5645 |6809 | 0 | 0 | 0 |1395 | 0 | 0.000000e+00 | 6.330000e+02 | Inf
3.69/3.78 c 3.7s| 10000 | 9555 | 0 | 0.0 | 25M|2816 | - |5645 |6860 | 0 | 0 | 0 |1447 | 0 | 0.000000e+00 | 6.330000e+02 | Inf
4.89/4.95 o 314
4.89/4.95 c * 4.8s| 13644 | 8004 | 0 | 0.0 | 24M|2816 | - |5645 |6892 | 0 | 0 | 0 |1500 | 0 | 0.000000e+00 | 3.140000e+02 | Inf
4.89/4.95 o 312
4.89/4.95 c * 4.8s| 13645 | 8000 | 0 | 0.0 | 24M|2816 | - |5645 |6892 | 0 | 0 | 0 |1500 | 0 | 0.000000e+00 | 3.120000e+02 | Inf
4.89/4.98 o 302
4.89/4.98 c * 4.8s| 13746 | 8095 | 0 | 0.0 | 24M|2816 | - |5645 |6898 | 0 | 0 | 0 |1510 | 0 | 0.000000e+00 | 3.020000e+02 | Inf
4.99/5.01 o 297
4.99/5.01 c * 4.9s| 13846 | 8133 | 0 | 0.0 | 25M|2816 | - |5645 |6904 | 0 | 0 | 0 |1520 | 0 | 0.000000e+00 | 2.970000e+02 | Inf
7.19/7.25 c 7.1s| 20000 | 13318 | 0 | 0.0 | 32M|2816 | - |5645 |7980 | 0 | 0 | 0 |5806 | 0 | 0.000000e+00 | 2.970000e+02 | Inf
11.59/11.69 c 11.4s| 30000 | 20709 | 0 | 0.0 | 43M|2816 | - |5645 |8990 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 2.970000e+02 | Inf
15.09/15.19 o 278
15.09/15.19 c *14.9s| 34773 | 23247 | 0 | 0.0 | 49M|2816 | - |5645 |9666 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 2.780000e+02 | Inf
15.40/15.41 o 259
15.40/15.41 c *15.1s| 35097 | 23535 | 0 | 0.0 | 49M|2816 | - |5645 |9561 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 2.590000e+02 | Inf
15.69/15.77 o 238
15.69/15.77 c *15.5s| 35659 | 23818 | 0 | 0.0 | 50M|2816 | - |5645 |9486 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 2.380000e+02 | Inf
15.79/15.84 o 237
15.79/15.84 c *15.5s| 35756 | 23911 | 0 | 0.0 | 50M|2816 | - |5645 |9439 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 2.370000e+02 | Inf
15.79/15.86 o 224
15.79/15.86 c *15.6s| 35783 | 23914 | 0 | 0.0 | 50M|2816 | - |5645 |9438 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 2.240000e+02 | Inf
15.79/15.87 o 208
15.79/15.87 c *15.6s| 35784 | 23822 | 0 | 0.0 | 50M|2816 | - |5645 |9438 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 2.080000e+02 | Inf
16.19/16.22 o 201
16.19/16.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
16.19/16.22 c *15.9s| 36461 | 24404 | 0 | 0.0 | 50M|2816 | - |5645 |9373 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 2.010000e+02 | Inf
16.40/16.42 o 197
16.40/16.42 c *16.1s| 36740 | 24513 | 0 | 0.0 | 51M|2816 | - |5645 |9331 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 1.970000e+02 | Inf
16.40/16.42 o 163
16.40/16.42 c *16.1s| 36741 | 23768 | 0 | 0.0 | 50M|2816 | - |5645 |9331 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 1.630000e+02 | Inf
17.19/17.26 o 156
17.19/17.26 c *16.9s| 37824 | 24647 | 0 | 0.0 | 52M|2816 | - |5645 |9383 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 1.560000e+02 | Inf
17.39/17.41 o 151
17.39/17.41 c *17.1s| 38024 | 24688 | 0 | 0.0 | 53M|2816 | - |5645 |9383 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 1.510000e+02 | Inf
17.79/17.82 o 149
17.79/17.82 c *17.5s| 38478 | 25055 | 0 | 0.0 | 53M|2816 | - |5645 |9512 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 1.490000e+02 | Inf
17.79/17.82 o 147
17.79/17.82 c *17.5s| 38479 | 25022 | 0 | 0.0 | 53M|2816 | - |5645 |9512 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 1.470000e+02 | Inf
17.89/17.97 o 143
17.89/17.97 c *17.6s| 38597 | 25105 | 0 | 0.0 | 54M|2816 | - |5645 |9505 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 1.430000e+02 | Inf
17.89/17.98 o 119
17.89/17.98 c *17.6s| 38602 | 24956 | 0 | 0.0 | 53M|2816 | - |5645 |9505 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 1.190000e+02 | Inf
18.89/18.97 c 18.6s| 40000 | 26265 | 0 | 0.0 | 54M|2816 | - |5645 |8773 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 1.190000e+02 | Inf
19.49/19.50 o 113
19.49/19.50 c *19.1s| 40930 | 27058 | 0 | 0.0 | 55M|2816 | - |5645 |8556 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 1.130000e+02 | Inf
22.29/22.33 o 96
22.29/22.33 c *21.9s| 44566 | 29735 | 0 | 0.0 | 59M|2816 | - |5645 |8286 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 9.600000e+01 | Inf
22.29/22.33 o 88
22.29/22.33 c *21.9s| 44567 | 29346 | 0 | 0.0 | 59M|2816 | - |5645 |8286 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 8.800000e+01 | Inf
23.29/23.39 o 84
23.29/23.39 c *23.0s| 45449 | 29890 | 0 | 0.0 | 60M|2816 | - |5645 |7735 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 8.400000e+01 | Inf
23.29/23.39 o 77
23.29/23.39 c *23.0s| 45450 | 29606 | 0 | 0.0 | 60M|2816 | - |5645 |7735 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 7.700000e+01 | Inf
26.78/26.80 o 71
26.78/26.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
26.78/26.80 c *26.3s| 49725 | 33069 | 0 | 0.0 | 66M|2816 | - |5645 |7679 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 7.100000e+01 | Inf
26.78/26.81 o 65
26.78/26.81 c *26.3s| 49726 | 32798 | 0 | 0.0 | 66M|2816 | - |5645 |7679 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
26.88/26.98 c 26.5s| 50000 | 33051 | 0 | 0.0 | 66M|2816 | - |5645 |7573 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 6.500000e+01 | Inf
29.99/30.03 o 60
29.99/30.03 c *29.5s| 54686 | 36937 | 0 | 0.0 | 73M|2816 | - |5645 |7763 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | 6.000000e+01 | Inf
29.99/30.03 o 51
29.99/30.03 c *29.5s| 54687 | 36121 | 0 | 0.0 | 70M|2816 | - |5645 |7762 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | 5.100000e+01 | Inf
31.89/31.93 o 48
31.89/31.93 c *31.4s| 57218 | 37993 | 0 | 0.0 | 75M|2816 | - |5645 |8840 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | 4.800000e+01 | Inf
31.89/31.94 o 45
31.89/31.94 c *31.4s| 57219 | 37739 | 0 | 0.0 | 74M|2816 | - |5645 |8840 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | 4.500000e+01 | Inf
33.59/33.67 c 33.1s| 60000 | 40131 | 0 | 0.0 | 79M|2816 | - |5645 |8694 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | 4.500000e+01 | Inf
39.09/39.15 o 29
39.09/39.15 c *38.5s| 69068 | 45916 | 0 | 0.0 | 86M|2816 | - |5645 |9984 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
39.28/39.35 o 21
39.28/39.35 c *38.7s| 69521 | 45725 | 0 | 0.0 | 85M|2816 | - |5645 |9875 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
39.59/39.65 c 39.0s| 70000 | 46079 | 0 | 0.0 | 86M|2816 | - |5645 | 10k| 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
44.79/44.82 c 44.0s| 80000 | 54513 | 0 | 0.0 | 100M|2816 | - |5645 | 10k| 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
49.09/49.11 c 48.3s| 90000 | 62853 | 0 | 0.0 | 113M|2816 | - |5645 | 11k| 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
53.98/54.01 c 53.1s|100000 | 70687 | 0 | 0.0 | 126M|2816 | - |5645 |9766 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
59.09/59.20 c 58.2s|110000 | 77955 | 0 | 0.0 | 137M|2816 | - |5645 | 10k| 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
64.79/64.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
64.79/64.85 c 63.7s|120000 | 84847 | 0 | 0.0 | 148M|2816 | - |5645 | 11k| 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
70.49/70.57 c 69.4s|130000 | 91676 | 0 | 0.0 | 159M|2816 | - |5645 | 11k| 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
76.49/76.54 c 75.3s|140000 | 98274 | 0 | 0.0 | 170M|2816 | - |5645 | 12k| 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
82.50/82.51 c 81.1s|150000 |104869 | 0 | 0.0 | 181M|2816 | - |5645 | 12k| 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
90.79/90.87 c 89.4s|160000 |109394 | 0 | 0.0 | 193M|2816 | - |5645 | 13k| 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
100.19/100.21 c 98.6s|170000 |112002 | 0 | 0.0 | 205M|2816 | - |5645 | 16k| 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
107.79/107.82 o 17
107.79/107.82 c * 106s|178609 |113668 | 0 | 0.0 | 205M|2816 | - |5645 |8418 | 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | 1.700000e+01 | Inf
108.39/108.44 o 15
108.39/108.44 c * 107s|179643 |113835 | 0 | 0.0 | 204M|2816 | - |5645 |8360 | 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
108.69/108.70 c 107s|180000 |114129 | 0 | 0.0 | 204M|2816 | - |5645 |8382 | 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
117.09/117.14 c 115s|190000 |120776 | 0 | 0.0 | 220M|2816 | - |5645 | 11k| 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
124.99/125.03 c 123s|200000 |128175 | 0 | 0.0 | 238M|2816 | - |5645 |9163 | 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
132.78/132.84 c 131s|210000 |136065 | 0 | 0.0 | 254M|2816 | - |5645 | 10k| 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
143.99/144.03 c 142s|220000 |142410 | 0 | 0.0 | 272M|2816 | - |5645 |7464 | 0 | 0 | 0 | 226k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
149.99/150.05 c 148s|230000 |148405 | 0 | 0.0 | 283M|2816 | - |5645 |6252 | 0 | 0 | 0 | 231k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
154.29/154.33 o 13
154.29/154.33 c * 152s|238017 |153127 | 0 | 0.0 | 284M|2816 | - |5645 |6441 | 0 | 0 | 0 | 235k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
155.49/155.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
155.49/155.58 c 153s|240000 |154509 | 0 | 0.0 | 286M|2816 | - |5645 |6397 | 0 | 0 | 0 | 237k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
161.39/161.45 c 159s|250000 |160795 | 0 | 0.0 | 298M|2816 | - |5645 |7682 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
164.19/164.29 o 12
164.19/164.29 c * 162s|254884 |163291 | 0 | 0.0 | 301M|2816 | - |5645 |6401 | 0 | 0 | 0 | 246k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
166.69/166.74 c 164s|260000 |167408 | 0 | 0.0 | 307M|2816 | - |5645 |6727 | 0 | 0 | 0 | 248k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
172.49/172.54 c 170s|270000 |173753 | 0 | 0.0 | 317M|2816 | - |5645 |6870 | 0 | 0 | 0 | 254k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
177.09/177.13 c 174s|280000 |181651 | 0 | 0.0 | 329M|2816 | - |5645 |7200 | 0 | 0 | 0 | 258k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
182.19/182.29 c 179s|290000 |189033 | 0 | 0.0 | 340M|2816 | - |5645 |7241 | 0 | 0 | 0 | 264k| 0 | 0.000000e+00 | 1.200000e+01 | Inf
183.49/183.55 o 9
183.49/183.55 c * 181s|292525 |189766 | 0 | 0.0 | 336M|2816 | - |5645 |7380 | 0 | 0 | 0 | 265k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
187.79/187.86 c 185s|300000 |194832 | 0 | 0.0 | 345M|2816 | - |5645 |8240 | 0 | 0 | 0 | 269k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
194.39/194.48 c 191s|310000 |200456 | 0 | 0.0 | 354M|2816 | - |5645 |7114 | 0 | 0 | 0 | 277k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
200.10/200.18 c 197s|320000 |207072 | 0 | 0.0 | 366M|2816 | - |5645 |9822 | 0 | 0 | 0 | 284k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
203.40/203.43 o 7
203.40/203.43 c * 200s|327428 |212234 | 0 | 0.0 | 368M|2816 | - |5645 |6998 | 0 | 0 | 0 | 287k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
204.69/204.70 c 201s|330000 |214318 | 0 | 0.0 | 372M|2816 | - |5645 |7239 | 0 | 0 | 0 | 288k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
210.29/210.32 c 207s|340000 |221505 | 0 | 0.0 | 384M|2816 | - |5645 |9202 | 0 | 0 | 0 | 294k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
216.49/216.58 c 213s|350000 |227801 | 0 | 0.0 | 393M|2816 | - |5645 |7702 | 0 | 0 | 0 | 301k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
222.20/222.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
222.20/222.28 c 219s|360000 |234264 | 0 | 0.0 | 404M|2816 | - |5645 |8572 | 0 | 0 | 0 | 308k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
227.10/227.13 c 223s|370000 |241620 | 0 | 0.0 | 415M|2816 | - |5645 |9590 | 0 | 0 | 0 | 314k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
232.39/232.40 c 229s|380000 |248663 | 0 | 0.0 | 425M|2816 | - |5645 |8704 | 0 | 0 | 0 | 320k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
237.89/237.95 c 234s|390000 |255347 | 0 | 0.0 | 435M|2816 | - |5645 |8533 | 0 | 0 | 0 | 326k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
243.49/243.54 c 240s|400000 |262014 | 0 | 0.0 | 446M|2816 | - |5645 |8783 | 0 | 0 | 0 | 333k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
249.50/249.57 c 245s|410000 |268453 | 0 | 0.0 | 457M|2816 | - |5645 | 10k| 0 | 0 | 0 | 340k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
253.80/253.83 c 250s|420000 |276659 | 0 | 0.0 | 467M|2816 | - |5645 |9267 | 0 | 0 | 0 | 344k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
259.89/259.94 c 256s|430000 |283214 | 0 | 0.0 | 479M|2816 | - |5645 | 11k| 0 | 0 | 0 | 350k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
265.39/265.43 c 261s|440000 |290416 | 0 | 0.0 | 488M|2816 | - |5645 |9241 | 0 | 0 | 0 | 356k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
270.39/270.48 c 266s|450000 |297890 | 0 | 0.0 | 499M|2816 | - |5645 | 10k| 0 | 0 | 0 | 361k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
275.39/275.42 o 5
275.39/275.42 c * 271s|456393 |298627 | 0 | 0.0 | 497M|2816 | - |5645 | 13k| 0 | 0 | 0 | 368k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
276.99/277.07 c 272s|460000 |301563 | 0 | 0.0 | 500M|2816 | - |5645 |9923 | 0 | 0 | 0 | 369k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
282.89/282.99 c 278s|470000 |308154 | 0 | 0.0 | 510M|2816 | - |5645 | 10k| 0 | 0 | 0 | 376k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
287.79/287.89 c 283s|480000 |315708 | 0 | 0.0 | 521M|2816 | - |5645 | 10k| 0 | 0 | 0 | 381k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
293.60/293.68 c 289s|490000 |322372 | 0 | 0.0 | 531M|2816 | - |5645 | 11k| 0 | 0 | 0 | 387k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
298.99/299.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
298.99/299.01 c 294s|500000 |329490 | 0 | 0.0 | 541M|2816 | - |5645 | 12k| 0 | 0 | 0 | 393k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
303.90/303.91 c 299s|510000 |336934 | 0 | 0.0 | 551M|2816 | - |5645 | 13k| 0 | 0 | 0 | 399k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
308.89/308.96 c 304s|520000 |344363 | 0 | 0.0 | 560M|2816 | - |5645 | 12k| 0 | 0 | 0 | 404k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
314.09/314.11 c 309s|530000 |351765 | 0 | 0.0 | 570M|2816 | - |5645 | 11k| 0 | 0 | 0 | 409k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
319.59/319.67 c 314s|540000 |358804 | 0 | 0.0 | 581M|2816 | - |5645 | 12k| 0 | 0 | 0 | 414k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
325.00/325.04 c 320s|550000 |366057 | 0 | 0.0 | 592M|2816 | - |5645 | 12k| 0 | 0 | 0 | 420k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
330.40/330.48 c 325s|560000 |373178 | 0 | 0.0 | 602M|2816 | - |5645 | 12k| 0 | 0 | 0 | 425k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
335.69/335.75 c 330s|570000 |380398 | 0 | 0.0 | 612M|2816 | - |5645 | 12k| 0 | 0 | 0 | 431k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
341.09/341.17 c 335s|580000 |387510 | 0 | 0.0 | 621M|2816 | - |5645 | 12k| 0 | 0 | 0 | 436k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
346.20/346.26 c 340s|590000 |394811 | 0 | 0.0 | 631M|2816 | - |5645 | 13k| 0 | 0 | 0 | 441k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
350.69/350.71 c 345s|600000 |402674 | 0 | 0.0 | 639M|2816 | - |5645 |5571 | 0 | 0 | 0 | 445k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
354.29/354.34 c 348s|610000 |410995 | 0 | 0.0 | 648M|2816 | - |5645 |6075 | 0 | 0 | 0 | 449k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
358.00/358.07 c 352s|620000 |419206 | 0 | 0.0 | 658M|2816 | - |5645 |6362 | 0 | 0 | 0 | 452k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
362.59/362.69 c 356s|630000 |426570 | 0 | 0.0 | 668M|2816 | - |5645 |6913 | 0 | 0 | 0 | 457k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
369.50/369.59 c 363s|640000 |432190 | 0 | 0.0 | 679M|2816 | - |5645 |8231 | 0 | 0 | 0 | 465k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
376.50/376.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
376.50/376.50 c 370s|650000 |437680 | 0 | 0.0 | 689M|2816 | - |5645 |8864 | 0 | 0 | 0 | 473k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
383.80/383.87 c 377s|660000 |442902 | 0 | 0.0 | 699M|2816 | - |5645 |8630 | 0 | 0 | 0 | 482k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
390.79/390.83 c 384s|670000 |448230 | 0 | 0.0 | 709M|2816 | - |5645 |9507 | 0 | 0 | 0 | 490k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
398.30/398.30 c 392s|680000 |453151 | 0 | 0.0 | 719M|2816 | - |5645 |9563 | 0 | 0 | 0 | 500k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
406.19/406.20 c 399s|690000 |457751 | 0 | 0.0 | 728M|2816 | - |5645 |9053 | 0 | 0 | 0 | 509k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
414.10/414.18 c 407s|700000 |462151 | 0 | 0.0 | 737M|2816 | - |5645 |9444 | 0 | 0 | 0 | 519k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
422.40/422.44 c 415s|710000 |466325 | 0 | 0.0 | 747M|2816 | - |5645 |9923 | 0 | 0 | 0 | 529k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
430.80/430.80 c 424s|720000 |470439 | 0 | 0.0 | 756M|2816 | - |5645 | 10k| 0 | 0 | 0 | 540k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
439.40/439.42 c 432s|730000 |474291 | 0 | 0.0 | 765M|2816 | - |5645 | 10k| 0 | 0 | 0 | 550k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
448.19/448.21 c 441s|740000 |477914 | 0 | 0.0 | 774M|2816 | - |5645 | 10k| 0 | 0 | 0 | 562k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
457.10/457.19 c 450s|750000 |481450 | 0 | 0.0 | 784M|2816 | - |5645 | 11k| 0 | 0 | 0 | 573k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
466.40/466.47 c 459s|760000 |484601 | 0 | 0.0 | 792M|2816 | - |5645 | 11k| 0 | 0 | 0 | 585k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
475.60/475.63 c 468s|770000 |487783 | 0 | 0.0 | 801M|2816 | - |5645 | 10k| 0 | 0 | 0 | 596k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
484.39/484.42 c 477s|780000 |491221 | 0 | 0.0 | 810M|2816 | - |5645 | 10k| 0 | 0 | 0 | 607k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
493.70/493.77 c 486s|790000 |494070 | 0 | 0.0 | 817M|2816 | - |5645 | 11k| 0 | 0 | 0 | 619k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
503.00/503.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
503.00/503.09 c 495s|800000 |497130 | 0 | 0.0 | 825M|2816 | - |5645 | 11k| 0 | 0 | 0 | 631k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
513.90/513.97 c 506s|810000 |498826 | 0 | 0.0 | 832M|2816 | - |5645 | 12k| 0 | 0 | 0 | 645k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
526.50/526.57 c 518s|820000 |498964 | 0 | 0.0 | 837M|2816 | - |5645 | 13k| 0 | 0 | 0 | 662k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
540.70/540.75 c 532s|830000 |497553 | 0 | 0.0 | 832M|2816 | - |5645 |7822 | 0 | 0 | 0 | 679k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
545.20/545.27 c 537s|840000 |505415 | 0 | 0.0 | 841M|2816 | - |5645 |6107 | 0 | 0 | 0 | 683k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
549.90/549.99 c 541s|850000 |512999 | 0 | 0.0 | 851M|2816 | - |5645 |6618 | 0 | 0 | 0 | 688k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
555.20/555.25 c 547s|860000 |520136 | 0 | 0.0 | 862M|2816 | - |5645 |7387 | 0 | 0 | 0 | 693k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
561.00/561.03 c 552s|870000 |526906 | 0 | 0.0 | 872M|2816 | - |5645 |8044 | 0 | 0 | 0 | 699k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
567.30/567.33 c 559s|880000 |533261 | 0 | 0.0 | 884M|2816 | - |5645 |8846 | 0 | 0 | 0 | 705k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
574.30/574.33 c 565s|890000 |539004 | 0 | 0.0 | 895M|2816 | - |5645 | 10k| 0 | 0 | 0 | 713k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
583.80/583.81 c 575s|900000 |543147 | 0 | 0.0 | 906M|2816 | - |5645 | 11k| 0 | 0 | 0 | 724k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
597.40/597.42 c 588s|910000 |544364 | 0 | 0.0 | 914M|2816 | - |5645 | 13k| 0 | 0 | 0 | 739k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
604.20/604.29 c 595s|920000 |551210 | 0 | 0.0 | 925M|2816 | - |5645 |8320 | 0 | 0 | 0 | 744k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
609.70/609.76 c 600s|930000 |558814 | 0 | 0.0 | 937M|2816 | - |5645 |7859 | 0 | 0 | 0 | 749k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
615.30/615.32 c 606s|940000 |566334 | 0 | 0.0 | 950M|2816 | - |5645 |8249 | 0 | 0 | 0 | 754k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
621.30/621.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
621.30/621.37 c 612s|950000 |573443 | 0 | 0.0 | 963M|2816 | - |5645 |8864 | 0 | 0 | 0 | 760k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
627.30/627.33 c 618s|960000 |580498 | 0 | 0.0 | 973M|2816 | - |5645 |6094 | 0 | 0 | 0 | 765k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
632.70/632.79 c 623s|970000 |587114 | 0 | 0.0 | 984M|2816 | - |5645 |6733 | 0 | 0 | 0 | 770k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
636.40/636.41 o 2
636.40/636.41 c * 627s|976357 |551019 | 0 | 0.0 | 929M|2816 | - |5645 |7087 | 0 | 0 | 0 | 774k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
639.70/639.77 c 630s|980000 |552989 | 0 | 0.0 | 937M|2816 | - |5645 |7406 | 0 | 0 | 0 | 776k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
647.30/647.39 c 637s|990000 |558810 | 0 | 0.0 | 952M|2816 | - |5645 |7914 | 0 | 0 | 0 | 783k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
654.70/654.78 c 645s| 1000k|564505 | 0 | 0.0 | 965M|2816 | - |5645 |8346 | 0 | 0 | 0 | 790k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
663.90/663.97 c 654s| 1010k|569100 | 0 | 0.0 | 976M|2816 | - |5645 |5902 | 0 | 0 | 0 | 799k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
671.70/671.76 c 661s| 1020k|573528 | 0 | 0.0 | 986M|2816 | - |5645 |8007 | 0 | 0 | 0 | 808k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
681.11/681.19 c 671s| 1030k|576749 | 0 | 0.0 | 996M|2816 | - |5645 |9133 | 0 | 0 | 0 | 818k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
693.01/693.04 c 682s| 1040k|578061 | 0 | 0.0 |1004M|2816 | - |5645 | 10k| 0 | 0 | 0 | 832k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
705.60/705.69 c 695s| 1050k|578286 | 0 | 0.0 |1007M|2816 | - |5645 |7312 | 0 | 0 | 0 | 846k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
710.60/710.61 c 700s| 1060k|585088 | 0 | 0.0 |1015M|2816 | - |5645 |6436 | 0 | 0 | 0 | 851k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
715.50/715.56 c 704s| 1070k|592012 | 0 | 0.0 |1026M|2816 | - |5645 |7175 | 0 | 0 | 0 | 856k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
720.70/720.76 c 710s| 1080k|598668 | 0 | 0.0 |1036M|2816 | - |5645 |7900 | 0 | 0 | 0 | 861k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
726.80/726.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
726.80/726.81 c 715s| 1090k|604662 | 0 | 0.0 |1046M|2816 | - |5645 |8503 | 0 | 0 | 0 | 867k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
733.40/733.48 c 722s| 1100k|610040 | 0 | 0.0 |1057M|2816 | - |5645 |9016 | 0 | 0 | 0 | 874k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
740.90/740.94 c 729s| 1110k|614712 | 0 | 0.0 |1067M|2816 | - |5645 |8759 | 0 | 0 | 0 | 883k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
748.60/748.67 c 737s| 1120k|619054 | 0 | 0.0 |1076M|2816 | - |5645 |7851 | 0 | 0 | 0 | 892k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
755.71/755.74 c 744s| 1130k|624009 | 0 | 0.0 |1084M|2816 | - |5645 |7119 | 0 | 0 | 0 | 899k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
761.61/761.60 c 750s| 1140k|630026 | 0 | 0.0 |1093M|2816 | - |5645 |7303 | 0 | 0 | 0 | 905k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
767.50/767.59 c 756s| 1150k|636109 | 0 | 0.0 |1102M|2816 | - |5645 |7988 | 0 | 0 | 0 | 911k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
774.31/774.36 c 762s| 1160k|641546 | 0 | 0.0 |1112M|2816 | - |5645 |9136 | 0 | 0 | 0 | 919k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
782.11/782.16 c 770s| 1170k|646121 | 0 | 0.0 |1122M|2816 | - |5645 | 11k| 0 | 0 | 0 | 927k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
793.01/793.08 c 781s| 1180k|648355 | 0 | 0.0 |1131M|2816 | - |5645 | 13k| 0 | 0 | 0 | 940k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
800.71/800.76 c 788s| 1190k|653130 | 0 | 0.0 |1135M|2816 | - |5645 |6526 | 0 | 0 | 0 | 948k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
805.21/805.27 c 793s| 1200k|660703 | 0 | 0.0 |1145M|2816 | - |5645 |6831 | 0 | 0 | 0 | 952k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
810.00/810.06 c 797s| 1210k|667928 | 0 | 0.0 |1155M|2816 | - |5645 |7743 | 0 | 0 | 0 | 956k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
815.80/815.85 c 803s| 1220k|674360 | 0 | 0.0 |1166M|2816 | - |5645 |9136 | 0 | 0 | 0 | 962k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
822.81/822.89 c 810s| 1230k|679837 | 0 | 0.0 |1176M|2816 | - |5645 | 10k| 0 | 0 | 0 | 969k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
832.40/832.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
832.40/832.47 c 819s| 1240k|683173 | 0 | 0.0 |1186M|2816 | - |5645 | 13k| 0 | 0 | 0 | 980k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
843.80/843.86 c 831s| 1250k|685172 | 0 | 0.0 |1189M|2816 | - |5645 |8602 | 0 | 0 | 0 | 992k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
848.40/848.49 c 835s| 1260k|692759 | 0 | 0.0 |1199M|2816 | - |5645 |7451 | 0 | 0 | 0 | 996k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
853.41/853.40 c 840s| 1270k|699934 | 0 | 0.0 |1209M|2816 | - |5645 |8268 | 0 | 0 | 0 |1000k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
859.12/859.19 c 846s| 1280k|706402 | 0 | 0.0 |1219M|2816 | - |5645 |9001 | 0 | 0 | 0 |1005k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
865.91/865.97 c 852s| 1290k|712038 | 0 | 0.0 |1229M|2816 | - |5645 |9124 | 0 | 0 | 0 |1012k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
873.11/873.14 c 859s| 1300k|717322 | 0 | 0.0 |1238M|2816 | - |5645 |9286 | 0 | 0 | 0 |1019k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
880.40/880.40 c 866s| 1310k|722380 | 0 | 0.0 |1247M|2816 | - |5645 |8870 | 0 | 0 | 0 |1027k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
886.91/886.94 c 873s| 1320k|727985 | 0 | 0.0 |1256M|2816 | - |5645 |8563 | 0 | 0 | 0 |1034k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
893.31/893.38 c 879s| 1330k|733709 | 0 | 0.0 |1265M|2816 | - |5645 |8339 | 0 | 0 | 0 |1040k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
899.41/899.47 c 885s| 1340k|739745 | 0 | 0.0 |1275M|2816 | - |5645 |8426 | 0 | 0 | 0 |1046k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
905.51/905.55 c 891s| 1350k|745904 | 0 | 0.0 |1284M|2816 | - |5645 |8666 | 0 | 0 | 0 |1052k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
912.21/912.22 c 898s| 1360k|751539 | 0 | 0.0 |1293M|2816 | - |5645 |9392 | 0 | 0 | 0 |1059k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
919.01/919.08 c 905s| 1370k|757161 | 0 | 0.0 |1302M|2816 | - |5645 |9879 | 0 | 0 | 0 |1066k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
926.41/926.43 c 912s| 1380k|762462 | 0 | 0.0 |1311M|2816 | - |5645 | 10k| 0 | 0 | 0 |1074k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
934.92/934.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
934.92/934.90 c 920s| 1390k|766935 | 0 | 0.0 |1320M|2816 | - |5645 | 11k| 0 | 0 | 0 |1082k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
944.71/944.70 c 930s| 1400k|770415 | 0 | 0.0 |1329M|2816 | - |5645 | 12k| 0 | 0 | 0 |1093k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
956.41/956.42 c 941s| 1410k|772360 | 0 | 0.0 |1336M|2816 | - |5645 | 14k| 0 | 0 | 0 |1106k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
964.91/964.92 c 950s| 1420k|776874 | 0 | 0.0 |1340M|2816 | - |5645 |7202 | 0 | 0 | 0 |1115k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
969.61/969.61 c 954s| 1430k|784423 | 0 | 0.0 |1350M|2816 | - |5645 |7574 | 0 | 0 | 0 |1119k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
974.71/974.75 c 959s| 1440k|791518 | 0 | 0.0 |1360M|2816 | - |5645 |8455 | 0 | 0 | 0 |1123k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
980.41/980.43 c 965s| 1450k|798158 | 0 | 0.0 |1370M|2816 | - |5645 |9513 | 0 | 0 | 0 |1129k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
987.11/987.13 c 972s| 1460k|803974 | 0 | 0.0 |1379M|2816 | - |5645 | 10k| 0 | 0 | 0 |1136k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
996.01/996.01 c 980s| 1470k|808004 | 0 | 0.0 |1389M|2816 | - |5645 | 12k| 0 | 0 | 0 |1145k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1007.41/1007.49 c 992s| 1480k|809974 | 0 | 0.0 |1394M|2816 | - |5645 | 10k| 0 | 0 | 0 |1158k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1012.31/1012.37 c 996s| 1490k|817610 | 0 | 0.0 |1402M|2816 | - |5645 |7097 | 0 | 0 | 0 |1161k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1017.31/1017.40 c 1001s| 1500k|824975 | 0 | 0.0 |1412M|2816 | - |5645 |7416 | 0 | 0 | 0 |1166k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1022.61/1022.60 c 1006s| 1510k|832119 | 0 | 0.0 |1422M|2816 | - |5645 |8187 | 0 | 0 | 0 |1170k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1028.11/1028.11 c 1012s| 1520k|839098 | 0 | 0.0 |1432M|2816 | - |5645 |8479 | 0 | 0 | 0 |1175k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1033.81/1033.85 c 1018s| 1530k|845855 | 0 | 0.0 |1442M|2816 | - |5645 |8797 | 0 | 0 | 0 |1181k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1039.81/1039.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1039.81/1039.82 c 1023s| 1540k|852360 | 0 | 0.0 |1451M|2816 | - |5645 |9676 | 0 | 0 | 0 |1186k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1046.21/1046.26 c 1030s| 1550k|858519 | 0 | 0.0 |1461M|2816 | - |5645 | 10k| 0 | 0 | 0 |1193k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1053.01/1053.04 c 1036s| 1560k|864379 | 0 | 0.0 |1470M|2816 | - |5645 | 10k| 0 | 0 | 0 |1199k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1060.81/1060.86 c 1044s| 1570k|869389 | 0 | 0.0 |1479M|2816 | - |5645 | 11k| 0 | 0 | 0 |1208k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1070.11/1070.17 c 1053s| 1580k|873198 | 0 | 0.0 |1488M|2816 | - |5645 | 12k| 0 | 0 | 0 |1218k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1082.62/1082.67 c 1066s| 1590k|874473 | 0 | 0.0 |1494M|2816 | - |5645 | 13k| 0 | 0 | 0 |1231k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1089.71/1089.76 c 1073s| 1600k|879686 | 0 | 0.0 |1499M|2816 | - |5645 |7794 | 0 | 0 | 0 |1238k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1094.71/1094.72 c 1077s| 1610k|886810 | 0 | 0.0 |1508M|2816 | - |5645 |8342 | 0 | 0 | 0 |1242k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1100.21/1100.26 c 1083s| 1620k|893604 | 0 | 0.0 |1518M|2816 | - |5645 |9104 | 0 | 0 | 0 |1247k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1106.52/1106.52 c 1089s| 1630k|899802 | 0 | 0.0 |1528M|2816 | - |5645 | 10k| 0 | 0 | 0 |1254k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1113.91/1113.94 c 1096s| 1640k|905069 | 0 | 0.0 |1537M|2816 | - |5645 | 11k| 0 | 0 | 0 |1262k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1125.81/1125.88 c 1108s| 1650k|906512 | 0 | 0.0 |1542M|2816 | - |5645 | 10k| 0 | 0 | 0 |1276k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1130.82/1130.83 c 1113s| 1660k|914089 | 0 | 0.0 |1551M|2816 | - |5645 |8086 | 0 | 0 | 0 |1279k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1135.92/1135.90 c 1118s| 1670k|921380 | 0 | 0.0 |1561M|2816 | - |5645 |8850 | 0 | 0 | 0 |1284k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1141.42/1141.46 c 1123s| 1680k|928221 | 0 | 0.0 |1570M|2816 | - |5645 |8867 | 0 | 0 | 0 |1289k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1147.52/1147.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1147.52/1147.59 c 1129s| 1690k|934398 | 0 | 0.0 |1580M|2816 | - |5645 | 10k| 0 | 0 | 0 |1296k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1154.71/1154.78 c 1137s| 1700k|939718 | 0 | 0.0 |1590M|2816 | - |5645 | 11k| 0 | 0 | 0 |1304k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1165.32/1165.36 c 1147s| 1710k|942267 | 0 | 0.0 |1598M|2816 | - |5645 | 14k| 0 | 0 | 0 |1316k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1172.02/1172.02 c 1154s| 1720k|948349 | 0 | 0.0 |1604M|2816 | - |5645 |8107 | 0 | 0 | 0 |1322k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1177.32/1177.32 c 1159s| 1730k|955388 | 0 | 0.0 |1615M|2816 | - |5645 |9113 | 0 | 0 | 0 |1327k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1183.32/1183.34 c 1165s| 1740k|961820 | 0 | 0.0 |1625M|2816 | - |5645 | 10k| 0 | 0 | 0 |1333k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1190.32/1190.31 c 1171s| 1750k|967516 | 0 | 0.0 |1635M|2816 | - |5645 | 11k| 0 | 0 | 0 |1340k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1199.22/1199.23 c 1180s| 1760k|971757 | 0 | 0.0 |1644M|2816 | - |5645 | 13k| 0 | 0 | 0 |1349k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1210.41/1210.43 c 1191s| 1770k|974294 | 0 | 0.0 |1649M|2816 | - |5645 |9638 | 0 | 0 | 0 |1362k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1215.61/1215.60 c 1196s| 1780k|981642 | 0 | 0.0 |1658M|2816 | - |5645 |8810 | 0 | 0 | 0 |1366k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1221.12/1221.10 c 1202s| 1790k|988624 | 0 | 0.0 |1668M|2816 | - |5645 |9568 | 0 | 0 | 0 |1370k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1227.52/1227.51 c 1208s| 1800k|994767 | 0 | 0.0 |1678M|2816 | - |5645 | 10k| 0 | 0 | 0 |1377k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1235.32/1235.36 c 1216s| 1810k|999759 | 0 | 0.0 |1687M|2816 | - |5645 | 12k| 0 | 0 | 0 |1385k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1247.12/1247.12 c 1227s| 1820k| 1001k| 0 | 0.0 |1693M|2816 | - |5645 | 16k| 0 | 0 | 0 |1398k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1252.61/1252.66 c 1233s| 1830k| 1008k| 0 | 0.0 |1701M|2816 | - |5645 |8590 | 0 | 0 | 0 |1402k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1258.02/1258.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1258.02/1258.06 c 1238s| 1840k| 1015k| 0 | 0.0 |1710M|2816 | - |5645 |9184 | 0 | 0 | 0 |1407k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1263.82/1263.87 c 1244s| 1850k| 1022k| 0 | 0.0 |1720M|2816 | - |5645 |9992 | 0 | 0 | 0 |1413k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1270.22/1270.29 c 1250s| 1860k| 1028k| 0 | 0.0 |1729M|2816 | - |5645 | 11k| 0 | 0 | 0 |1419k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1278.52/1278.50 c 1258s| 1870k| 1033k| 0 | 0.0 |1738M|2816 | - |5645 | 13k| 0 | 0 | 0 |1428k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1290.11/1290.17 c 1270s| 1880k| 1035k| 0 | 0.0 |1743M|2816 | - |5645 | 10k| 0 | 0 | 0 |1441k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1295.61/1295.63 c 1275s| 1890k| 1042k| 0 | 0.0 |1753M|2816 | - |5645 |8778 | 0 | 0 | 0 |1445k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1300.92/1300.96 c 1280s| 1900k| 1049k| 0 | 0.0 |1762M|2816 | - |5645 |9190 | 0 | 0 | 0 |1449k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1306.42/1306.40 c 1286s| 1910k| 1057k| 0 | 0.0 |1772M|2816 | - |5645 |9799 | 0 | 0 | 0 |1454k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1312.12/1312.18 c 1291s| 1920k| 1064k| 0 | 0.0 |1781M|2816 | - |5645 | 10k| 0 | 0 | 0 |1459k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1318.22/1318.26 c 1297s| 1930k| 1070k| 0 | 0.0 |1790M|2816 | - |5645 | 10k| 0 | 0 | 0 |1464k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1324.51/1324.51 c 1303s| 1940k| 1077k| 0 | 0.0 |1800M|2816 | - |5645 | 11k| 0 | 0 | 0 |1470k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1331.42/1331.40 c 1310s| 1950k| 1083k| 0 | 0.0 |1809M|2816 | - |5645 | 11k| 0 | 0 | 0 |1476k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1339.22/1339.24 c 1318s| 1960k| 1088k| 0 | 0.0 |1818M|2816 | - |5645 | 13k| 0 | 0 | 0 |1484k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1348.22/1348.23 c 1327s| 1970k| 1093k| 0 | 0.0 |1827M|2816 | - |5645 | 14k| 0 | 0 | 0 |1493k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1360.63/1360.68 c 1339s| 1980k| 1095k| 0 | 0.0 |1835M|2816 | - |5645 | 17k| 0 | 0 | 0 |1506k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1373.12/1373.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1373.12/1373.10 c 1351s| 1990k| 1097k| 0 | 0.0 |1836M|2816 | - |5645 |9483 | 0 | 0 | 0 |1517k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1378.52/1378.53 c 1357s| 2000k| 1105k| 0 | 0.0 |1846M|2816 | - |5645 |9632 | 0 | 0 | 0 |1521k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1384.12/1384.12 c 1362s| 2010k| 1112k| 0 | 0.0 |1856M|2816 | - |5645 | 10k| 0 | 0 | 0 |1526k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1389.82/1389.86 c 1368s| 2020k| 1119k| 0 | 0.0 |1865M|2816 | - |5645 | 10k| 0 | 0 | 0 |1531k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1395.72/1395.80 c 1374s| 2030k| 1126k| 0 | 0.0 |1875M|2816 | - |5645 | 11k| 0 | 0 | 0 |1536k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1401.82/1401.80 c 1380s| 2040k| 1132k| 0 | 0.0 |1884M|2816 | - |5645 | 11k| 0 | 0 | 0 |1541k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1408.22/1408.23 c 1386s| 2050k| 1139k| 0 | 0.0 |1894M|2816 | - |5645 | 12k| 0 | 0 | 0 |1547k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1415.32/1415.31 c 1393s| 2060k| 1145k| 0 | 0.0 |1904M|2816 | - |5645 | 13k| 0 | 0 | 0 |1554k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1423.52/1423.54 c 1401s| 2070k| 1150k| 0 | 0.0 |1913M|2816 | - |5645 | 14k| 0 | 0 | 0 |1561k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1433.33/1433.32 c 1411s| 2080k| 1154k| 0 | 0.0 |1922M|2816 | - |5645 | 15k| 0 | 0 | 0 |1571k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1447.42/1447.44 c 1425s| 2090k| 1155k| 0 | 0.0 |1928M|2816 | - |5645 | 17k| 0 | 0 | 0 |1585k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1457.53/1457.50 c 1434s| 2100k| 1159k| 0 | 0.0 |1931M|2816 | - |5645 |9544 | 0 | 0 | 0 |1594k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1462.82/1462.82 c 1440s| 2110k| 1166k| 0 | 0.0 |1940M|2816 | - |5645 | 10k| 0 | 0 | 0 |1599k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1468.63/1468.62 c 1445s| 2120k| 1173k| 0 | 0.0 |1950M|2816 | - |5645 | 11k| 0 | 0 | 0 |1604k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1475.32/1475.39 c 1452s| 2130k| 1179k| 0 | 0.0 |1960M|2816 | - |5645 | 12k| 0 | 0 | 0 |1610k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1484.02/1484.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1484.02/1484.03 c 1461s| 2140k| 1184k| 0 | 0.0 |1969M|2816 | - |5645 | 14k| 0 | 0 | 0 |1619k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1496.72/1496.70 c 1473s| 2150k| 1186k| 0 | 0.0 |1973M|2816 | - |5645 | 15k| 0 | 0 | 0 |1632k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1502.22/1502.26 c 1479s| 2160k| 1193k| 0 | 0.0 |1981M|2816 | - |5645 | 10k| 0 | 0 | 0 |1637k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1508.03/1508.02 c 1484s| 2170k| 1200k| 0 | 0.0 |1991M|2816 | - |5645 | 11k| 0 | 0 | 0 |1641k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1514.42/1514.44 c 1491s| 2180k| 1207k| 0 | 0.0 |2001M|2816 | - |5645 | 12k| 0 | 0 | 0 |1647k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1522.02/1522.01 c 1498s| 2190k| 1212k| 0 | 0.0 |2010M|2816 | - |5645 | 13k| 0 | 0 | 0 |1654k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1530.43/1530.41 c 1506s| 2200k| 1217k| 0 | 0.0 |2019M|2816 | - |5645 | 13k| 0 | 0 | 0 |1662k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1538.23/1538.28 c 1514s| 2210k| 1222k| 0 | 0.0 |2026M|2816 | - |5645 | 11k| 0 | 0 | 0 |1669k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1544.83/1544.89 c 1521s| 2220k| 1229k| 0 | 0.0 |2035M|2816 | - |5645 | 12k| 0 | 0 | 0 |1675k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1551.23/1551.29 c 1527s| 2230k| 1235k| 0 | 0.0 |2044M|2816 | - |5645 | 12k| 0 | 0 | 0 |1681k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1558.93/1558.94 c 1534s| 2240k| 1240k| 0 | 0.0 |2053M|2816 | - |5645 | 14k| 0 | 0 | 0 |1688k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1569.02/1569.04 c 1544s| 2250k| 1244k| 0 | 0.0 |2062M|2816 | - |5645 | 17k| 0 | 0 | 0 |1698k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1577.92/1577.90 c 1553s| 2260k| 1250k| 0 | 0.0 |2067M|2816 | - |5645 | 11k| 0 | 0 | 0 |1705k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1583.43/1583.44 c 1559s| 2270k| 1257k| 0 | 0.0 |2077M|2816 | - |5645 | 11k| 0 | 0 | 0 |1710k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1589.43/1589.45 c 1564s| 2280k| 1264k| 0 | 0.0 |2086M|2816 | - |5645 | 12k| 0 | 0 | 0 |1715k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1596.73/1596.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1596.73/1596.70 c 1572s| 2290k| 1270k| 0 | 0.0 |2096M|2816 | - |5645 | 13k| 0 | 0 | 0 |1721k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1605.42/1605.40 c 1580s| 2300k| 1274k| 0 | 0.0 |2105M|2816 | - |5645 | 15k| 0 | 0 | 0 |1729k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1616.83/1616.86 c 1592s| 2310k| 1278k| 0 | 0.0 |2110M|2816 | - |5645 | 12k| 0 | 0 | 0 |1741k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1622.63/1622.62 c 1597s| 2320k| 1285k| 0 | 0.0 |2119M|2816 | - |5645 | 11k| 0 | 0 | 0 |1745k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1628.52/1628.50 c 1603s| 2330k| 1292k| 0 | 0.0 |2129M|2816 | - |5645 | 12k| 0 | 0 | 0 |1750k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1635.73/1635.71 c 1610s| 2340k| 1298k| 0 | 0.0 |2138M|2816 | - |5645 | 14k| 0 | 0 | 0 |1756k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1643.73/1643.78 c 1618s| 2350k| 1304k| 0 | 0.0 |2147M|2816 | - |5645 | 15k| 0 | 0 | 0 |1764k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1655.83/1655.87 c 1630s| 2360k| 1306k| 0 | 0.0 |2155M|2816 | - |5645 | 19k| 0 | 0 | 0 |1777k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1664.12/1664.16 c 1638s| 2370k| 1312k| 0 | 0.0 |2160M|2816 | - |5645 | 11k| 0 | 0 | 0 |1784k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1670.12/1670.11 c 1644s| 2380k| 1319k| 0 | 0.0 |2169M|2816 | - |5645 | 12k| 0 | 0 | 0 |1788k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1676.62/1676.62 c 1650s| 2390k| 1326k| 0 | 0.0 |2179M|2816 | - |5645 | 13k| 0 | 0 | 0 |1794k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1684.03/1684.08 c 1658s| 2400k| 1331k| 0 | 0.0 |2188M|2816 | - |5645 | 14k| 0 | 0 | 0 |1800k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1693.33/1693.30 c 1667s| 2410k| 1336k| 0 | 0.0 |2197M|2816 | - |5645 | 16k| 0 | 0 | 0 |1810k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1704.33/1704.36 c 1678s| 2420k| 1340k| 0 | 0.0 |2202M|2816 | - |5645 | 12k| 0 | 0 | 0 |1820k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1709.93/1709.97 c 1683s| 2430k| 1347k| 0 | 0.0 |2211M|2816 | - |5645 | 12k| 0 | 0 | 0 |1824k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1716.03/1716.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1716.03/1716.01 c 1689s| 2440k| 1354k| 0 | 0.0 |2221M|2816 | - |5645 | 12k| 0 | 0 | 0 |1829k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1722.73/1722.72 c 1696s| 2450k| 1360k| 0 | 0.0 |2230M|2816 | - |5645 | 13k| 0 | 0 | 0 |1834k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1730.02/1730.07 c 1703s| 2460k| 1366k| 0 | 0.0 |2239M|2816 | - |5645 | 14k| 0 | 0 | 0 |1840k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1738.12/1738.10 c 1711s| 2470k| 1372k| 0 | 0.0 |2247M|2816 | - |5645 | 13k| 0 | 0 | 0 |1847k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1746.33/1746.35 c 1719s| 2480k| 1377k| 0 | 0.0 |2256M|2816 | - |5645 | 13k| 0 | 0 | 0 |1855k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1754.23/1754.29 c 1727s| 2490k| 1383k| 0 | 0.0 |2264M|2816 | - |5645 | 14k| 0 | 0 | 0 |1862k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1761.83/1761.83 c 1734s| 2500k| 1389k| 0 | 0.0 |2273M|2816 | - |5645 | 14k| 0 | 0 | 0 |1869k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1770.13/1770.15 c 1743s| 2510k| 1394k| 0 | 0.0 |2281M|2816 | - |5645 | 16k| 0 | 0 | 0 |1877k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1782.43/1782.40 c 1755s| 2520k| 1397k| 0 | 0.0 |2288M|2816 | - |5645 | 20k| 0 | 0 | 0 |1889k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1789.23/1789.22 c 1761s| 2530k| 1404k| 0 | 0.0 |2295M|2816 | - |5645 | 12k| 0 | 0 | 0 |1894k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1795.53/1795.55 c 1768s| 2540k| 1411k| 0 | 0.0 |2305M|2816 | - |5645 | 13k| 0 | 0 | 0 |1898k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1800.04/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.00 c
1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.00 c Solving Time (sec) : 1772.02
1800.04/1800.00 c Solving Nodes : 2546598
1800.04/1800.00 c Primal Bound : +2.00000000000000e+00 (44 solutions)
1800.04/1800.00 c Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.05 s SATISFIABLE
1800.04/1800.05 v -x231 -x230 -x229 -x228 -x227 -x226 x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 x212 -x211 -x210
1800.04/1800.05 v -x209 -x208 -x207 -x206 -x205 -x204 x203 -x202 x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.04/1800.05 v -x188 x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
1800.04/1800.05 v x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.04/1800.05 v -x146 -x145 -x144 -x143 -x142 -x141 x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126
1800.04/1800.05 v -x125 -x124 x123 -x122 -x121 -x120 x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104
1800.04/1800.05 v -x103 -x102 x101 -x100 -x99 x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80
1800.04/1800.05 v -x79 x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 x60 -x59 -x58 -x57 -x56 -x55 -x54
1800.04/1800.05 v -x53 -x52 x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 x30 -x29
1800.04/1800.05 v -x28 -x27 -x26 -x25 -x24 -x23 x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 x7 -x6 -x5 -x4 -x3 -x2
1800.04/1800.05 v -x1
1800.04/1800.05 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.05 c Solving Time : 1772.02
1800.04/1800.05 c Original Problem :
1800.04/1800.05 c Problem name : HOME/instance-2693647-1277928444.wbo
1800.04/1800.05 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.04/1800.05 c Constraints : 5415 initial, 5415 maximal
1800.04/1800.05 c Presolved Problem :
1800.04/1800.05 c Problem name : t_HOME/instance-2693647-1277928444.wbo
1800.04/1800.05 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.04/1800.05 c Constraints : 5414 initial, 21401 maximal
1800.04/1800.05 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.05 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.05 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.05 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.05 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.05 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.05 c probing : 0.04 0 0 0 0 0 0 0 0
1800.04/1800.05 c indicator : 0.01 0 0 0 0 0 0 0 0
1800.04/1800.05 c linear : 0.02 0 0 0 2707 0 1 0 0
1800.04/1800.05 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.05 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.05 c root node : - 2673 - - 5346 - - - -
1800.04/1800.05 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.05 c integral : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.05 c indicator : 2707 0 6795586 0 1874064 116 2194008 0 0 0
1800.04/1800.05 c linear : 2707 0 8143055 0 2162616 482573 47696072 0 0 0
1800.04/1800.05 c logicor : 0+ 0 3704435 0 0 137699 1833779 0 0 0
1800.04/1800.05 c bounddisjunction : 0+ 0 2290 0 0 0 1 0 0 0
1800.04/1800.05 c countsols : 0 0 0 0 2162640 0 0 0 0 0
1800.04/1800.05 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.05 c integral : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.05 c indicator : 18.55 0.00 8.54 0.00 10.01
1800.04/1800.05 c linear : 465.80 0.00 463.38 0.00 2.42
1800.04/1800.05 c logicor : 232.05 0.00 232.05 0.00 0.00
1800.04/1800.05 c bounddisjunction : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.05 c countsols : 0.30 0.00 0.00 0.00 0.30
1800.04/1800.05 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.05 c vbounds : 1.77 2 0 0
1800.04/1800.05 c rootredcost : 1.51 0 0 0
1800.04/1800.05 c pseudoobj : 398.68 8145670 2412 2173150
1800.04/1800.05 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.05 c propagation : 36.44 622684 622681 3090401 21.3 143470 9.4 -
1800.04/1800.05 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.05 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.05 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.05 c pseudo solution : 0.05 94 94 354 22.4 396 9.5 -
1800.04/1800.05 c applied globally : - - - 1902699 18.4 - - -
1800.04/1800.05 c applied locally : - - - 1 306.0 - - -
1800.04/1800.05 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.05 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.04/1800.05 c redcost : 0.00 0 0 0 0 0
1800.04/1800.05 c impliedbounds : 0.00 0 0 0 0 0
1800.04/1800.05 c intobj : 0.00 0 0 0 0 0
1800.04/1800.05 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.05 c gomory : 0.00 0 0 0 0 0
1800.04/1800.05 c strongcg : 0.00 0 0 0 0 0
1800.04/1800.05 c cmir : 0.00 0 0 0 0 0
1800.04/1800.05 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.05 c clique : 0.00 0 0 0 0 0
1800.04/1800.05 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.05 c mcf : 0.00 0 0 0 0 0
1800.04/1800.05 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.05 c Pricers : Time Calls Vars
1800.04/1800.05 c problem variables: 0.00 0 0
1800.04/1800.05 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.05 c relpscost : 0.00 0 0 0 0 0 0
1800.04/1800.05 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.05 c inference : 42.34 2162599 0 0 0 0 4325198
1800.04/1800.05 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.05 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.05 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.05 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.05 c random : 0.00 0 0 0 0 0 0
1800.04/1800.05 c Primal Heuristics : Time Calls Found
1800.04/1800.05 c LP solutions : 0.00 - 0
1800.04/1800.05 c pseudo solutions : 0.16 - 41
1800.04/1800.05 c oneopt : 1.00 0 0
1800.04/1800.05 c trivial : 0.08 2 2
1800.04/1800.05 c simplerounding : 0.00 0 0
1800.04/1800.05 c zirounding : 0.00 0 0
1800.04/1800.05 c rounding : 0.00 0 0
1800.04/1800.05 c shifting : 0.00 0 0
1800.04/1800.05 c intshifting : 0.00 0 0
1800.04/1800.05 c twoopt : 0.00 0 0
1800.04/1800.05 c fixandinfer : 0.00 0 0
1800.04/1800.05 c feaspump : 0.00 0 0
1800.04/1800.05 c coefdiving : 0.00 0 0
1800.04/1800.05 c pscostdiving : 0.00 0 0
1800.04/1800.05 c fracdiving : 0.00 0 0
1800.04/1800.05 c veclendiving : 0.00 0 0
1800.04/1800.06 c intdiving : 0.00 0 0
1800.04/1800.06 c actconsdiving : 0.00 0 0
1800.04/1800.06 c objpscostdiving : 0.00 0 0
1800.04/1800.06 c rootsoldiving : 0.00 0 0
1800.04/1800.06 c linesearchdiving : 0.00 0 0
1800.04/1800.06 c guideddiving : 0.00 0 0
1800.04/1800.06 c octane : 0.00 0 0
1800.04/1800.06 c rens : 0.00 0 0
1800.04/1800.06 c rins : 0.00 0 0
1800.04/1800.06 c localbranching : 0.00 0 0
1800.04/1800.06 c mutation : 0.00 0 0
1800.04/1800.06 c crossover : 0.00 0 0
1800.04/1800.06 c dins : 0.00 0 0
1800.04/1800.06 c undercover : 0.00 0 0
1800.04/1800.06 c nlp : 0.63 0 0
1800.04/1800.06 c trysol : 0.77 1 1
1800.04/1800.06 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.06 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.06 c dual LP : 0.00 0 0 0.00 -
1800.04/1800.06 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.06 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.06 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.06 c strong branching : 0.00 0 0 0.00 -
1800.04/1800.06 c (at root node) : - 0 0 0.00 -
1800.04/1800.06 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.06 c B&B Tree :
1800.04/1800.06 c number of runs : 1
1800.04/1800.06 c nodes : 2546598
1800.04/1800.06 c nodes (total) : 2546598
1800.04/1800.06 c nodes left : 1415695
1800.04/1800.06 c max depth : 2816
1800.04/1800.06 c max depth (total): 2816
1800.04/1800.06 c backtracks : 358376 (14.1%)
1800.04/1800.06 c delayed cutoffs : 302809
1800.04/1800.06 c repropagations : 1601585 (17007096 domain reductions, 238936 cutoffs)
1800.04/1800.06 c avg switch length: 46.86
1800.04/1800.06 c switching time : 490.93
1800.04/1800.06 c Solution :
1800.04/1800.06 c Solutions found : 44 (42 improvements)
1800.04/1800.06 c First Solution : +1.37244000000000e+05 (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1800.04/1800.06 c Primal Bound : +2.00000000000000e+00 (in run 1, after 976357 nodes, 626.48 seconds, depth 173, found by <relaxation>)
1800.04/1800.06 c Dual Bound : +0.00000000000000e+00
1800.04/1800.06 c Gap : infinite
1800.04/1800.06 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.06 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-2693647-1277928444/watcher-2693647-1277928444 -o /tmp/evaluation-result-2693647-1277928444/solver-2693647-1277928444 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693647-1277928444.wbo -t 1800 -m 3800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14310
/proc/meminfo: memFree=29514824/32951124 swapFree=67111528/67111528
[pid=14310] ppid=14308 vsize=8596 CPUtime=0
/proc/14310/stat : 14310 (pbscip.linux.x8) R 14308 14310 12447 0 -1 4202496 1628 0 0 0 0 0 0 0 25 0 1 0 134141673 8802304 1550 4089446400 4194304 7136930 140733750301136 18446744073709551615 6164590 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/14310/statm: 2149 1557 275 719 0 1428 0
[startup+0.0090869 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14310
/proc/meminfo: memFree=29514824/32951124 swapFree=67111528/67111528
[pid=14310] ppid=14308 vsize=9564 CPUtime=0
/proc/14310/stat : 14310 (pbscip.linux.x8) R 14308 14310 12447 0 -1 4202496 1872 0 0 0 0 0 0 0 25 0 1 0 134141673 9793536 1794 4089446400 4194304 7136930 140733750301136 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/14310/statm: 2391 1794 275 719 0 1670 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9564
[startup+0.101166 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14310
/proc/meminfo: memFree=29514824/32951124 swapFree=67111528/67111528
[pid=14310] ppid=14308 vsize=33672 CPUtime=0.09
/proc/14310/stat : 14310 (pbscip.linux.x8) R 14308 14310 12447 0 -1 4202496 7966 0 0 0 9 0 0 0 25 0 1 0 134141673 34480128 7534 4089446400 4194304 7136930 140733750301136 18446744073709551615 4241122 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14310/statm: 8418 7534 323 719 0 7697 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 33672
[startup+0.301129 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14310
/proc/meminfo: memFree=29514824/32951124 swapFree=67111528/67111528
[pid=14310] ppid=14308 vsize=36492 CPUtime=0.3
/proc/14310/stat : 14310 (pbscip.linux.x8) R 14308 14310 12447 0 -1 4202496 9238 0 0 0 29 1 0 0 25 0 1 0 134141673 37367808 8292 4089446400 4194304 7136930 140733750301136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14310/statm: 9123 8292 383 719 0 8402 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 36492
[startup+0.701053 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14310
/proc/meminfo: memFree=29514824/32951124 swapFree=67111528/67111528
[pid=14310] ppid=14308 vsize=37632 CPUtime=0.69
/proc/14310/stat : 14310 (pbscip.linux.x8) R 14308 14310 12447 0 -1 4202496 9498 0 0 0 68 1 0 0 25 0 1 0 134141673 38535168 8552 4089446400 4194304 7136930 140733750301136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14310/statm: 9408 8552 383 719 0 8687 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 37632
[startup+1.50091 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14311
/proc/meminfo: memFree=29480716/32951124 swapFree=67111528/67111528
[pid=14310] ppid=14308 vsize=41988 CPUtime=1.49
/proc/14310/stat : 14310 (pbscip.linux.x8) R 14308 14310 12447 0 -1 4202496 10615 0 0 0 145 4 0 0 25 0 1 0 134141673 42995712 9669 4089446400 4194304 7136930 140733750301136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14310/statm: 10497 9669 390 719 0 9776 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 41988
[startup+3.1006 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14311
/proc/meminfo: memFree=29475756/32951124 swapFree=67111528/67111528
[pid=14310] ppid=14308 vsize=45412 CPUtime=3.09
/proc/14310/stat : 14310 (pbscip.linux.x8) R 14308 14310 12447 0 -1 4202496 11454 0 0 0 303 6 0 0 25 0 1 0 134141673 46501888 10508 4089446400 4194304 7136930 140733750301136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14310/statm: 11353 10508 391 719 0 10632 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 45412
[startup+6.30104 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14311
/proc/meminfo: memFree=29470796/32951124 swapFree=67111528/67111528
[pid=14310] ppid=14308 vsize=51240 CPUtime=6.29
/proc/14310/stat : 14310 (pbscip.linux.x8) R 14308 14310 12447 0 -1 4202496 12919 0 0 0 616 13 0 0 25 0 1 0 134141673 52469760 11973 4089446400 4194304 7136930 140733750301136 18446744073709551615 4923471 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14310/statm: 12810 11973 391 719 0 12089 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 51240
[startup+12.7009 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14311
/proc/meminfo: memFree=29447852/32951124 swapFree=67111528/67111528
[pid=14310] ppid=14308 vsize=73088 CPUtime=12.69
/proc/14310/stat : 14310 (pbscip.linux.x8) R 14308 14310 12447 0 -1 4202496 18283 0 0 0 1244 25 0 0 25 0 1 0 134141673 74842112 17337 4089446400 4194304 7136930 140733750301136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14310/statm: 18272 17337 391 719 0 17551 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 73088
[startup+25.5007 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14311
/proc/meminfo: memFree=29416348/32951124 swapFree=67111528/67111528
[pid=14310] ppid=14308 vsize=106972 CPUtime=25.49
/proc/14310/stat : 14310 (pbscip.linux.x8) R 14308 14310 12447 0 -1 4202496 26406 0 0 0 2508 41 0 0 25 0 1 0 134141673 109539328 25460 4089446400 4194304 7136930 140733750301136 18446744073709551615 4660982 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14310/statm: 26743 25460 391 719 0 26022 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 106972
[startup+51.1011 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14312
/proc/meminfo: memFree=29337164/32951124 swapFree=67111528/67111528
[pid=14310] ppid=14308 vsize=190060 CPUtime=51.09
/proc/14310/stat : 14310 (pbscip.linux.x8) R 14308 14310 12447 0 -1 4202496 45971 0 0 0 5025 84 0 0 25 0 1 0 134141673 194621440 45025 4089446400 4194304 7136930 140733750301136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14310/statm: 47515 45025 391 719 0 46794 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 190060
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14313
/proc/meminfo: memFree=29239020/32951124 swapFree=67111528/67111528
[pid=14310] ppid=14308 vsize=287492 CPUtime=102.3
/proc/14310/stat : 14310 (pbscip.linux.x8) R 14308 14310 12447 0 -1 4202496 70191 0 0 0 10072 158 0 0 25 0 1 0 134141673 294391808 69245 4089446400 4194304 7136930 140733750301136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14310/statm: 71873 69245 391 719 0 71152 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 287492
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14315
/proc/meminfo: memFree=29126004/32951124 swapFree=67111528/67111528
[pid=14310] ppid=14308 vsize=409352 CPUtime=162.29
/proc/14310/stat : 14310 (pbscip.linux.x8) R 14308 14310 12447 0 -1 4202496 98775 0 0 0 15978 251 0 0 25 0 1 0 134141673 419176448 97829 4089446400 4194304 7136930 140733750301136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14310/statm: 102338 97829 393 719 0 101617 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 409352
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14317
/proc/meminfo: memFree=29009772/32951124 swapFree=67111528/67111528
[pid=14310] ppid=14308 vsize=527660 CPUtime=222.29
/proc/14310/stat : 14310 (pbscip.linux.x8) R 14308 14310 12447 0 -1 4202496 127387 0 0 0 21868 361 0 0 25 0 1 0 134141673 540323840 126441 4089446400 4194304 7136930 140733750301136 18446744073709551615 4983799 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14310/statm: 131915 126441 393 719 0 131194 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 527660
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14319
/proc/meminfo: memFree=28895620/32951124 swapFree=67111528/67111528
[pid=14310] ppid=14308 vsize=645476 CPUtime=282.3
/proc/14310/stat : 14310 (pbscip.linux.x8) R 14308 14310 12447 0 -1 4202496 156978 0 0 0 27764 466 0 0 25 0 1 0 134141673 660967424 156032 4089446400 4194304 7136930 140733750301136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14310/statm: 161369 156032 393 719 0 160648 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 645476
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14320
/proc/meminfo: memFree=28782100/32951124 swapFree=67111528/67111528
[pid=14310] ppid=14308 vsize=757336 CPUtime=342.3
/proc/14310/stat : 14310 (pbscip.linux.x8) R 14308 14310 12447 0 -1 4202496 185110 0 0 0 33652 578 0 0 25 0 1 0 134141673 775512064 184164 4089446400 4194304 7136930 140733750301136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14310/statm: 189334 184164 393 719 0 188613 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 757336
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14349
/proc/meminfo: memFree=30395800/32951124 swapFree=67111528/67111528
[pid=14310] ppid=14308 vsize=865728 CPUtime=402.29
/proc/14310/stat : 14310 (pbscip.linux.x8) R 14308 14310 12447 0 -1 4202496 212186 0 0 0 39555 674 0 0 25 0 1 0 134141673 886505472 211240 4089446400 4194304 7136930 140733750301136 18446744073709551615 4660050 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14310/statm: 216432 211240 393 719 0 215711 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 865728
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14351
/proc/meminfo: memFree=30149424/32951124 swapFree=67111528/67111528
[pid=14310] ppid=14308 vsize=941556 CPUtime=462.3
/proc/14310/stat : 14310 (pbscip.linux.x8) R 14308 14310 12447 0 -1 4202496 229194 0 0 0 45482 748 0 0 25 0 1 0 134141673 964153344 228248 4089446400 4194304 7136930 140733750301136 18446744073709551615 4221316 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14310/statm: 235389 228248 393 719 0 234668 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 941556
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14353
/proc/meminfo: memFree=30003044/32951124 swapFree=67111528/67111528
[pid=14310] ppid=14308 vsize=992608 CPUtime=522.3
/proc/14310/stat : 14310 (pbscip.linux.x8) R 14308 14310 12447 0 -1 4202496 242025 0 0 0 51417 813 0 0 25 0 1 0 134141673 1016430592 241079 4089446400 4194304 7136930 140733750301136 18446744073709551615 4210324 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14310/statm: 248152 241079 393 719 0 247431 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 992608
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14355
/proc/meminfo: memFree=29871036/32951124 swapFree=67111528/67111528
[pid=14310] ppid=14308 vsize=1061408 CPUtime=582.3
/proc/14310/stat : 14310 (pbscip.linux.x8) R 14308 14310 12447 0 -1 4202496 259391 0 0 0 57332 898 0 0 25 0 1 0 134141673 1086881792 258445 4089446400 4194304 7136930 140733750301136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14310/statm: 265352 258445 393 719 0 264631 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 1061408
[startup+642.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14356
/proc/meminfo: memFree=29669368/32951124 swapFree=67111528/67111528
[pid=14310] ppid=14308 vsize=1153028 CPUtime=642.31
/proc/14310/stat : 14310 (pbscip.linux.x8) R 14308 14310 12447 0 -1 4202496 281723 0 0 0 63236 995 0 0 25 0 1 0 134141673 1180700672 280777 4089446400 4194304 7136930 140733750301136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14310/statm: 288257 280777 393 719 0 287536 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 1153028
[startup+702.301 s]
################
# More data... #
################
/proc/14310/stat : 14310 (pbscip.linux.x8) R 14308 14310 12447 0 -1 4202496 385431 0 0 0 98655 1576 0 0 25 0 1 0 134141673 1606246400 384485 4089446400 4194304 7136930 140733750301136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14310/statm: 392150 384485 393 719 0 391429 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 1568600
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14367
/proc/meminfo: memFree=28457988/32951124 swapFree=67111528/67111528
[pid=14310] ppid=14308 vsize=1653548 CPUtime=1062.31
/proc/14310/stat : 14310 (pbscip.linux.x8) R 14308 14310 12447 0 -1 4202496 406906 0 0 0 104550 1681 0 0 25 0 1 0 134141673 1693233152 405960 4089446400 4194304 7136930 140733750301136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14310/statm: 413387 405960 393 719 0 412666 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 1653548
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14396
/proc/meminfo: memFree=29575836/32951124 swapFree=67111528/67111528
[pid=14310] ppid=14308 vsize=1714112 CPUtime=1122.31
/proc/14310/stat : 14310 (pbscip.linux.x8) R 14308 14310 12447 0 -1 4202496 422183 0 0 0 110464 1767 0 0 25 0 1 0 134141673 1755250688 421237 4089446400 4194304 7136930 140733750301136 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14310/statm: 428528 421237 393 719 0 427807 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 1714112
[startup+1182.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 14398
/proc/meminfo: memFree=29409984/32951124 swapFree=67111528/67111528
[pid=14310] ppid=14308 vsize=1796576 CPUtime=1182.32
/proc/14310/stat : 14310 (pbscip.linux.x8) R 14308 14310 12447 0 -1 4202496 442978 0 0 0 116365 1867 0 0 25 0 1 0 134141673 1839693824 442032 4089446400 4194304 7136930 140733750301136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14310/statm: 449144 442032 393 719 0 448423 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 1796576
[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 14399
/proc/meminfo: memFree=29323008/32951124 swapFree=67111528/67111528
[pid=14310] ppid=14308 vsize=1878716 CPUtime=1242.32
/proc/14310/stat : 14310 (pbscip.linux.x8) R 14308 14310 12447 0 -1 4202496 459378 0 0 0 122266 1966 0 0 25 0 1 0 134141673 1923805184 458432 4089446400 4194304 7136930 140733750301136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14310/statm: 469679 458432 393 719 0 468958 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 1878716
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14400
/proc/meminfo: memFree=29236656/32951124 swapFree=67111528/67111528
[pid=14310] ppid=14308 vsize=1958436 CPUtime=1302.33
/proc/14310/stat : 14310 (pbscip.linux.x8) R 14308 14310 12447 0 -1 4202496 479456 0 0 0 128170 2063 0 0 25 0 1 0 134141673 2005438464 478510 4089446400 4194304 7136930 140733750301136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14310/statm: 489609 478510 393 719 0 488888 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 1958436
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14402
/proc/meminfo: memFree=29166168/32951124 swapFree=67111528/67111528
[pid=14310] ppid=14308 vsize=2022240 CPUtime=1362.32
/proc/14310/stat : 14310 (pbscip.linux.x8) R 14308 14310 12447 0 -1 4202496 495616 0 0 0 134076 2156 0 0 25 0 1 0 134141673 2070773760 494670 4089446400 4194304 7136930 140733750301136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14310/statm: 505560 494670 393 719 0 504839 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 2022240
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14404
/proc/meminfo: memFree=29086892/32951124 swapFree=67111528/67111528
[pid=14310] ppid=14308 vsize=2096812 CPUtime=1422.33
/proc/14310/stat : 14310 (pbscip.linux.x8) R 14308 14310 12447 0 -1 4202496 514287 0 0 0 139975 2258 0 0 25 0 1 0 134141673 2147135488 513341 4089446400 4194304 7136930 140733750301136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14310/statm: 524203 513341 393 719 0 523482 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 2096812
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14409
/proc/meminfo: memFree=29026500/32951124 swapFree=67111528/67111528
[pid=14310] ppid=14308 vsize=2154036 CPUtime=1482.33
/proc/14310/stat : 14310 (pbscip.linux.x8) R 14308 14310 12447 0 -1 4202496 528923 0 0 0 145893 2340 0 0 25 0 1 0 134141673 2205732864 527977 4089446400 4194304 7136930 140733750301136 18446744073709551615 4923705 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14310/statm: 538509 527977 393 719 0 537788 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 2154036
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14410
/proc/meminfo: memFree=28961232/32951124 swapFree=67111528/67111528
[pid=14310] ppid=14308 vsize=2213572 CPUtime=1542.33
/proc/14310/stat : 14310 (pbscip.linux.x8) R 14308 14310 12447 0 -1 4202496 543902 0 0 0 151804 2429 0 0 25 0 1 0 134141673 2266697728 542956 4089446400 4194304 7136930 140733750301136 18446744073709551615 4925535 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14310/statm: 553393 542956 393 719 0 552672 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 2213572
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14411
/proc/meminfo: memFree=28886528/32951124 swapFree=67111528/67111528
[pid=14310] ppid=14308 vsize=2283352 CPUtime=1602.33
/proc/14310/stat : 14310 (pbscip.linux.x8) R 14308 14310 12447 0 -1 4202496 561380 0 0 0 157715 2518 0 0 25 0 1 0 134141673 2338152448 560434 4089446400 4194304 7136930 140733750301136 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14310/statm: 570838 560434 393 719 0 570117 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 2283352
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14413
/proc/meminfo: memFree=28819664/32951124 swapFree=67111528/67111528
[pid=14310] ppid=14308 vsize=2343960 CPUtime=1662.33
/proc/14310/stat : 14310 (pbscip.linux.x8) R 14308 14310 12447 0 -1 4202496 576529 0 0 0 163634 2599 0 0 25 0 1 0 134141673 2400215040 575583 4089446400 4194304 7136930 140733750301136 18446744073709551615 4947379 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14310/statm: 585990 575583 393 719 0 585269 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 2343960
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14415
/proc/meminfo: memFree=28746588/32951124 swapFree=67111528/67111528
[pid=14310] ppid=14308 vsize=2412200 CPUtime=1722.33
/proc/14310/stat : 14310 (pbscip.linux.x8) R 14308 14310 12447 0 -1 4202496 593872 0 0 0 169542 2691 0 0 25 0 1 0 134141673 2470092800 592926 4089446400 4194304 7136930 140733750301136 18446744073709551615 6123168 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14310/statm: 603050 592926 393 719 0 602329 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 2412200
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14417
/proc/meminfo: memFree=28688144/32951124 swapFree=67111528/67111528
[pid=14310] ppid=14308 vsize=2465968 CPUtime=1782.33
/proc/14310/stat : 14310 (pbscip.linux.x8) R 14308 14310 12447 0 -1 4202496 607584 0 0 0 175460 2773 0 0 25 0 1 0 134141673 2525151232 606638 4089446400 4194304 7136930 140733750301136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14310/statm: 616492 606638 393 719 0 615771 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 2465968
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14417
/proc/meminfo: memFree=28657380/32951124 swapFree=67111528/67111528
[pid=14310] ppid=14308 vsize=2494712 CPUtime=1800.04
/proc/14310/stat : 14310 (pbscip.linux.x8) R 14308 14310 12447 0 -1 4202496 614920 0 0 0 177205 2799 0 0 25 0 1 0 134141673 2554585088 613974 4089446400 4194304 7136930 140733750301136 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14310/statm: 623678 613974 393 719 0 622957 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 2494712
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -14310
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 14418
/proc/meminfo: memFree=28657000/32951124 swapFree=67111528/67111528
[pid=14310] ppid=14308 vsize=2494712 CPUtime=1801.43
/proc/14310/stat : 14310 (pbscip.linux.x8) R 14308 14310 12447 0 -1 4202496 614926 0 0 0 177344 2799 0 0 19 0 1 0 134141673 2554585088 613980 4089446400 4194304 7136930 140733750301136 18446744073709551615 4616445 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/14310/statm: 623678 613980 399 719 0 622957 0
Current children cumulated CPU time (s) 1801.43
Current children cumulated vsize (KiB) 2494712
[startup+1801.81 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 14418
/proc/meminfo: memFree=28657000/32951124 swapFree=67111528/67111528
[pid=14310] ppid=14308 vsize=2494712 CPUtime=1801.84
/proc/14310/stat : 14310 (pbscip.linux.x8) R 14308 14310 12447 0 -1 4202496 614926 0 0 0 177385 2799 0 0 20 0 1 0 134141673 2554585088 613980 4089446400 4194304 7136930 140733750301136 18446744073709551615 4616919 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/14310/statm: 623678 613980 399 719 0 622957 0
Current children cumulated CPU time (s) 1801.84
Current children cumulated vsize (KiB) 2494712
[startup+1802 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 14418
/proc/meminfo: memFree=28657000/32951124 swapFree=67111528/67111528
[pid=14310] ppid=14308 vsize=2494712 CPUtime=1802.03
/proc/14310/stat : 14310 (pbscip.linux.x8) R 14308 14310 12447 0 -1 4202496 614926 0 0 0 177404 2799 0 0 21 0 1 0 134141673 2554585088 613980 4089446400 4194304 7136930 140733750301136 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/14310/statm: 623678 613980 399 719 0 622957 0
Current children cumulated CPU time (s) 1802.03
Current children cumulated vsize (KiB) 2494712
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.09
CPU time (s): 1802.12
CPU user time (s): 1774.05
CPU system time (s): 28.0737
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 2494712
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1774.05
system time used= 28.0737
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 614926
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= 2
involuntary context switches= 3088
runsolver used 2.73758 second user time and 5.48417 second system time
The end
Begin job on node108 at 2010-06-30 22:07:24
IDJOB=2693647
IDBENCH=79288
IDSOLVER=1206
FILE ID=node108/2693647-1277928444
PBS_JOBID= 11197331
Free space on /tmp= 74208 MiB
SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900563801--soft-0-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-2693647-1277928444/watcher-2693647-1277928444 -o /tmp/evaluation-result-2693647-1277928444/solver-2693647-1277928444 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693647-1277928444.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= a9e19d6176a708e2234c09caf532f5b0
RANDOM SEED=1430243279
node108.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.855
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.71
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.855
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 : 5320.05
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.855
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.855
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.83
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.855
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.79
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.855
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.83
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.855
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.74
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.855
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 29515352 kB
Buffers: 210404 kB
Cached: 1173220 kB
SwapCached: 0 kB
Active: 2428256 kB
Inactive: 860708 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 29515352 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 3184 kB
Writeback: 4 kB
AnonPages: 1905192 kB
Mapped: 16164 kB
Slab: 79660 kB
PageTables: 8824 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 2069052 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 74200 MiB
End job on node108 at 2010-06-30 22:37:27