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-2693619-1277926904.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 136842
0.09/0.13 c feasible solution found by trivial heuristic, objective value 1.368420e+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.19/0.20 c (0.2s) probing: 101/2938 (3.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.20 c (0.2s) probing aborted: 100/100 successive totally useless probings
0.19/0.20 c presolving (3 rounds):
0.19/0.20 c 0 deleted vars, 1 deleted constraints, 2707 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.20 c 2707 implications, 0 cliques
0.19/0.20 c presolved problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5414 constraints
0.19/0.20 c 2707 constraints of type <indicator>
0.19/0.20 c 2707 constraints of type <linear>
0.19/0.20 c transformed objective value is always integral (scale: 1)
0.19/0.20 c Presolving Time: 0.14
0.19/0.20 c - non default parameters ----------------------------------------------------------------------
0.19/0.20 c # SCIP version 1.2.1.2
0.19/0.20 c
0.19/0.20 c # frequency for displaying node information lines
0.19/0.20 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.20 c display/freq = 10000
0.19/0.20 c
0.19/0.20 c # maximal time in seconds to run
0.19/0.20 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.20 c limits/time = 1799.97
0.19/0.20 c
0.19/0.20 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.20 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.20 c limits/memory = 3420
0.19/0.20 c
0.19/0.20 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.19/0.20 c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.20 c lp/solvefreq = -1
0.19/0.20 c
0.19/0.20 c # should presolving try to simplify inequalities
0.19/0.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.20 c constraints/linear/simplifyinequalities = TRUE
0.19/0.20 c
0.19/0.20 c # should presolving try to simplify knapsacks
0.19/0.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.20 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.20 c
0.19/0.20 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.19/0.20 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.20 c separating/rapidlearning/freq = 0
0.19/0.20 c
0.19/0.20 c -----------------------------------------------------------------------------------------------
0.19/0.20 c start solving
0.19/0.20 c
0.19/0.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.21 c t 0.2s| 1 | 2 | 0 | - | 17M| 0 | - |5645 |5414 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | 1.368420e+05 | Inf
1.69/1.78 o 386
1.69/1.78 c * 1.7s| 5523 | 5121 | 0 | 0.0 | 23M|2816 | - |5645 |6979 | 0 | 0 | 0 |1565 | 0 | 0.000000e+00 | 3.860000e+02 | Inf
1.69/1.79 o 374
1.69/1.79 c * 1.7s| 5524 | 5115 | 0 | 0.0 | 23M|2816 | - |5645 |6979 | 0 | 0 | 0 |1565 | 0 | 0.000000e+00 | 3.740000e+02 | Inf
1.79/1.86 o 334
1.79/1.86 c * 1.8s| 5671 | 5258 | 0 | 0.0 | 23M|2816 | - |5645 |6989 | 0 | 0 | 0 |1575 | 0 | 0.000000e+00 | 3.340000e+02 | Inf
2.10/2.18 o 263
2.10/2.18 c * 2.1s| 6284 | 5816 | 0 | 0.0 | 23M|2816 | - |5645 |7089 | 0 | 0 | 0 |1675 | 0 | 0.000000e+00 | 2.630000e+02 | Inf
2.10/2.18 o 262
2.10/2.18 c * 2.1s| 6285 | 5809 | 0 | 0.0 | 24M|2816 | - |5645 |7089 | 0 | 0 | 0 |1675 | 0 | 0.000000e+00 | 2.620000e+02 | Inf
2.20/2.29 o 261
2.20/2.29 c * 2.2s| 6490 | 6008 | 0 | 0.0 | 24M|2816 | - |5645 |7105 | 0 | 0 | 0 |1691 | 0 | 0.000000e+00 | 2.610000e+02 | Inf
2.20/2.29 o 255
2.20/2.29 c * 2.2s| 6491 | 6006 | 0 | 0.0 | 24M|2816 | - |5645 |7105 | 0 | 0 | 0 |1691 | 0 | 0.000000e+00 | 2.550000e+02 | Inf
2.29/2.35 o 253
2.29/2.35 c * 2.3s| 6597 | 6101 | 0 | 0.0 | 24M|2816 | - |5645 |7114 | 0 | 0 | 0 |1700 | 0 | 0.000000e+00 | 2.530000e+02 | Inf
2.39/2.41 o 221
2.39/2.41 c * 2.3s| 6735 | 6150 | 0 | 0.0 | 24M|2816 | - |5645 |7114 | 0 | 0 | 0 |1700 | 0 | 0.000000e+00 | 2.210000e+02 | Inf
2.39/2.47 o 168
2.39/2.47 c * 2.4s| 6857 | 6113 | 0 | 0.0 | 24M|2816 | - |5645 |7124 | 0 | 0 | 0 |1710 | 0 | 0.000000e+00 | 1.680000e+02 | Inf
2.69/2.74 o 126
2.69/2.74 c * 2.6s| 7465 | 6595 | 0 | 0.0 | 25M|2816 | - |5645 |7280 | 0 | 0 | 0 |1869 | 0 | 0.000000e+00 | 1.260000e+02 | Inf
3.59/3.65 c 3.5s| 10000 | 8793 | 0 | 0.0 | 28M|2816 | - |5645 |7880 | 0 | 0 | 0 |3556 | 0 | 0.000000e+00 | 1.260000e+02 | Inf
7.60/7.64 c 7.4s| 20000 | 16800 | 0 | 0.0 | 39M|2816 | - |5645 |8398 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 1.260000e+02 | Inf
13.89/13.90 c 13.6s| 30000 | 22577 | 0 | 0.0 | 53M|2816 | - |5645 | 11k| 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 1.260000e+02 | Inf
18.49/18.51 o 123
18.49/18.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
18.49/18.51 c *18.1s| 36251 | 28259 | 0 | 0.0 | 63M|2816 | - |5645 |8886 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 1.230000e+02 | Inf
18.79/18.83 o 112
18.79/18.83 c *18.4s| 36690 | 28597 | 0 | 0.0 | 63M|2816 | - |5645 |8664 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | 1.120000e+02 | Inf
20.59/20.68 o 108
20.59/20.68 c *20.3s| 39132 | 30743 | 0 | 0.0 | 68M|2816 | - |5645 |8547 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 1.080000e+02 | Inf
21.19/21.23 c 20.8s| 40000 | 31523 | 0 | 0.0 | 69M|2816 | - |5645 |8530 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 1.080000e+02 | Inf
21.19/21.25 o 99
21.19/21.25 c *20.8s| 40027 | 31377 | 0 | 0.0 | 68M|2816 | - |5645 |8524 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 9.900000e+01 | Inf
21.19/21.25 o 87
21.19/21.25 c *20.9s| 40028 | 30815 | 0 | 0.0 | 66M|2816 | - |5645 |8524 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 8.700000e+01 | Inf
22.09/22.11 o 81
22.09/22.11 c *21.7s| 40603 | 30984 | 0 | 0.0 | 68M|2816 | - |5645 |8217 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
25.49/25.58 o 75
25.49/25.58 c *25.1s| 45077 | 34646 | 0 | 0.0 | 74M|2816 | - |5645 |7578 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | 7.500000e+01 | Inf
25.49/25.59 o 74
25.49/25.59 c *25.1s| 45078 | 34516 | 0 | 0.0 | 73M|2816 | - |5645 |7578 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | 7.400000e+01 | Inf
28.09/28.12 o 68
28.09/28.12 c *27.6s| 48693 | 37206 | 0 | 0.0 | 74M|2816 | - |5645 |7707 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | 6.800000e+01 | Inf
28.69/28.76 o 66
28.69/28.76 c *28.2s| 49583 | 37818 | 0 | 0.0 | 75M|2816 | - |5645 |8068 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | 6.600000e+01 | Inf
28.99/29.02 c 28.5s| 50000 | 38177 | 0 | 0.0 | 76M|2816 | - |5645 |8158 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | 6.600000e+01 | Inf
34.39/34.46 o 63
34.39/34.46 c *33.8s| 58154 | 44923 | 0 | 0.0 | 84M|2816 | - |5645 |8514 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
34.49/34.54 o 36
34.49/34.54 c *33.9s| 58240 | 43076 | 0 | 0.0 | 76M|2816 | - |5645 |8539 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
35.19/35.29 c 34.6s| 60000 | 44562 | 0 | 0.0 | 78M|2816 | - |5645 |8695 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | 3.600000e+01 | Inf
35.29/35.34 o 33
35.29/35.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
35.29/35.34 c *34.7s| 60111 | 44300 | 0 | 0.0 | 77M|2816 | - |5645 |8709 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
37.69/37.78 o 22
37.69/37.78 c *37.1s| 65717 | 48301 | 0 | 0.0 | 81M|2816 | - |5645 |9108 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
39.60/39.64 c 38.9s| 70000 | 51827 | 0 | 0.0 | 86M|2816 | - |5645 |9141 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
43.69/43.74 c 42.9s| 80000 | 59991 | 0 | 0.0 | 98M|2816 | - |5645 |7779 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
48.60/48.65 c 47.7s| 90000 | 67204 | 0 | 0.0 | 109M|2816 | - |5645 |8628 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
53.89/53.94 c 53.0s|100000 | 74087 | 0 | 0.0 | 120M|2816 | - |5645 |9125 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
59.69/59.78 c 58.7s|110000 | 80560 | 0 | 0.0 | 132M|2816 | - |5645 |9403 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
65.90/65.93 c 64.7s|120000 | 86718 | 0 | 0.0 | 143M|2816 | - |5645 | 10k| 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
72.40/72.40 c 71.1s|130000 | 92614 | 0 | 0.0 | 155M|2816 | - |5645 | 10k| 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
78.99/79.10 c 77.7s|140000 | 98375 | 0 | 0.0 | 167M|2816 | - |5645 | 11k| 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
86.19/86.25 c 84.8s|150000 |103768 | 0 | 0.0 | 178M|2816 | - |5645 | 11k| 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
93.79/93.82 c 92.2s|160000 |108803 | 0 | 0.0 | 189M|2816 | - |5645 | 12k| 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
101.59/101.64 c 100s|170000 |113601 | 0 | 0.0 | 200M|2816 | - |5645 | 13k| 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
111.10/111.11 c 109s|180000 |117201 | 0 | 0.0 | 211M|2816 | - |5645 | 15k| 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
124.30/124.32 c 122s|190000 |118453 | 0 | 0.0 | 219M|2816 | - |5645 | 17k| 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
128.49/128.60 o 18
128.49/128.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
128.49/128.60 c * 127s|197319 |124048 | 0 | 0.0 | 224M|2816 | - |5645 |7883 | 0 | 0 | 0 | 222k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
130.30/130.37 c 128s|200000 |126137 | 0 | 0.0 | 229M|2816 | - |5645 |8164 | 0 | 0 | 0 | 224k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
131.49/131.51 o 16
131.49/131.51 c * 129s|201697 |127245 | 0 | 0.0 | 231M|2816 | - |5645 |8702 | 0 | 0 | 0 | 226k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
138.69/138.79 c 137s|210000 |131855 | 0 | 0.0 | 241M|2816 | - |5645 |5434 | 0 | 0 | 0 | 234k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
143.09/143.15 c 141s|220000 |140048 | 0 | 0.0 | 251M|2816 | - |5645 |5717 | 0 | 0 | 0 | 238k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
148.99/149.05 c 147s|230000 |146854 | 0 | 0.0 | 263M|2816 | - |5645 |7006 | 0 | 0 | 0 | 244k| 0 | 0.000000e+00 | 1.600000e+01 | Inf
150.79/150.82 o 13
150.79/150.82 c * 148s|231837 |147216 | 0 | 0.0 | 264M|2816 | - |5645 |7720 | 0 | 0 | 0 | 246k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
155.59/155.60 c 153s|240000 |151632 | 0 | 0.0 | 272M|2816 | - |5645 |5960 | 0 | 0 | 0 | 251k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
160.99/161.08 c 158s|250000 |157832 | 0 | 0.0 | 282M|2816 | - |5645 |5808 | 0 | 0 | 0 | 257k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
166.89/166.96 c 164s|260000 |163894 | 0 | 0.0 | 292M|2816 | - |5645 |6872 | 0 | 0 | 0 | 265k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
171.50/171.52 c 169s|270000 |171483 | 0 | 0.0 | 302M|2816 | - |5645 |7197 | 0 | 0 | 0 | 269k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
176.69/176.70 c 174s|280000 |178372 | 0 | 0.0 | 311M|2816 | - |5645 |6532 | 0 | 0 | 0 | 275k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
182.30/182.39 c 179s|290000 |184719 | 0 | 0.0 | 321M|2816 | - |5645 |6305 | 0 | 0 | 0 | 282k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
188.19/188.26 c 185s|300000 |190825 | 0 | 0.0 | 331M|2816 | - |5645 |7391 | 0 | 0 | 0 | 289k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
189.10/189.16 o 6
189.10/189.16 c * 186s|302269 |190927 | 0 | 0.0 | 323M|2816 | - |5645 |6335 | 0 | 0 | 0 | 289k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
193.39/193.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
193.39/193.43 c 190s|310000 |196034 | 0 | 0.0 | 331M|2816 | - |5645 |8089 | 0 | 0 | 0 | 294k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
198.10/198.19 c 195s|320000 |203235 | 0 | 0.0 | 341M|2816 | - |5645 |6913 | 0 | 0 | 0 | 299k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
203.09/203.17 c 200s|330000 |210481 | 0 | 0.0 | 351M|2816 | - |5645 |7352 | 0 | 0 | 0 | 305k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
208.60/208.60 c 205s|340000 |217215 | 0 | 0.0 | 361M|2816 | - |5645 |7659 | 0 | 0 | 0 | 311k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
215.50/215.52 c 212s|350000 |221991 | 0 | 0.0 | 370M|2816 | - |5645 |9592 | 0 | 0 | 0 | 319k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
220.09/220.14 c 216s|360000 |229539 | 0 | 0.0 | 380M|2816 | - |5645 |8556 | 0 | 0 | 0 | 324k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
225.29/225.32 c 222s|370000 |236497 | 0 | 0.0 | 390M|2816 | - |5645 |7876 | 0 | 0 | 0 | 330k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
230.69/230.72 c 227s|380000 |243102 | 0 | 0.0 | 399M|2816 | - |5645 |7764 | 0 | 0 | 0 | 337k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
235.99/236.08 c 232s|390000 |249769 | 0 | 0.0 | 409M|2816 | - |5645 |8163 | 0 | 0 | 0 | 343k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
241.19/241.24 c 237s|400000 |256725 | 0 | 0.0 | 419M|2816 | - |5645 |9409 | 0 | 0 | 0 | 349k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
245.80/245.80 c 242s|410000 |264239 | 0 | 0.0 | 428M|2816 | - |5645 |9235 | 0 | 0 | 0 | 353k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
251.39/251.48 c 247s|420000 |270800 | 0 | 0.0 | 438M|2816 | - |5645 | 10k| 0 | 0 | 0 | 360k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
256.99/257.05 c 253s|430000 |277588 | 0 | 0.0 | 448M|2816 | - |5645 | 10k| 0 | 0 | 0 | 366k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
261.70/261.72 c 257s|440000 |285311 | 0 | 0.0 | 458M|2816 | - |5645 |9140 | 0 | 0 | 0 | 371k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
268.19/268.20 c 264s|450000 |291418 | 0 | 0.0 | 468M|2816 | - |5645 |9112 | 0 | 0 | 0 | 378k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
273.19/273.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
273.19/273.26 c 269s|460000 |298797 | 0 | 0.0 | 479M|2816 | - |5645 |9293 | 0 | 0 | 0 | 383k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
279.89/279.92 c 275s|470000 |304764 | 0 | 0.0 | 490M|2816 | - |5645 | 10k| 0 | 0 | 0 | 391k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
285.09/285.15 c 280s|480000 |311818 | 0 | 0.0 | 500M|2816 | - |5645 | 10k| 0 | 0 | 0 | 396k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
290.09/290.15 c 285s|490000 |318925 | 0 | 0.0 | 509M|2816 | - |5645 | 10k| 0 | 0 | 0 | 402k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
294.99/295.02 c 290s|500000 |326099 | 0 | 0.0 | 519M|2816 | - |5645 | 10k| 0 | 0 | 0 | 407k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
299.89/299.93 c 295s|510000 |333264 | 0 | 0.0 | 528M|2816 | - |5645 | 10k| 0 | 0 | 0 | 412k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
304.09/304.13 c 299s|520000 |341137 | 0 | 0.0 | 537M|2816 | - |5645 |9229 | 0 | 0 | 0 | 416k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
309.50/309.51 c 304s|530000 |347690 | 0 | 0.0 | 547M|2816 | - |5645 | 10k| 0 | 0 | 0 | 422k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
314.30/314.38 c 309s|540000 |354868 | 0 | 0.0 | 557M|2816 | - |5645 |9338 | 0 | 0 | 0 | 427k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
318.30/318.34 c 313s|550000 |362941 | 0 | 0.0 | 566M|2816 | - |5645 |4860 | 0 | 0 | 0 | 431k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
322.00/322.04 c 316s|560000 |371035 | 0 | 0.0 | 577M|2816 | - |5645 |4977 | 0 | 0 | 0 | 435k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
326.10/326.19 c 320s|570000 |378565 | 0 | 0.0 | 588M|2816 | - |5645 |5870 | 0 | 0 | 0 | 439k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
332.69/332.70 c 327s|580000 |383997 | 0 | 0.0 | 600M|2816 | - |5645 |7611 | 0 | 0 | 0 | 447k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
339.49/339.53 c 334s|590000 |389333 | 0 | 0.0 | 610M|2816 | - |5645 |8253 | 0 | 0 | 0 | 456k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
346.60/346.68 c 341s|600000 |394433 | 0 | 0.0 | 621M|2816 | - |5645 |8857 | 0 | 0 | 0 | 465k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
354.10/354.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
354.10/354.18 c 348s|610000 |399215 | 0 | 0.0 | 631M|2816 | - |5645 |8222 | 0 | 0 | 0 | 474k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
361.81/361.82 c 356s|620000 |403683 | 0 | 0.0 | 641M|2816 | - |5645 |9216 | 0 | 0 | 0 | 484k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
370.10/370.14 c 364s|630000 |407635 | 0 | 0.0 | 651M|2816 | - |5645 |8918 | 0 | 0 | 0 | 495k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
378.50/378.57 c 372s|640000 |411499 | 0 | 0.0 | 661M|2816 | - |5645 |9500 | 0 | 0 | 0 | 506k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
386.90/386.93 c 380s|650000 |415417 | 0 | 0.0 | 671M|2816 | - |5645 |9748 | 0 | 0 | 0 | 517k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
395.09/395.15 c 388s|660000 |419469 | 0 | 0.0 | 681M|2816 | - |5645 |9399 | 0 | 0 | 0 | 528k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
403.40/403.49 c 397s|670000 |423393 | 0 | 0.0 | 691M|2816 | - |5645 |8725 | 0 | 0 | 0 | 539k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
412.51/412.57 c 406s|680000 |426654 | 0 | 0.0 | 700M|2816 | - |5645 |9511 | 0 | 0 | 0 | 551k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
421.40/421.40 c 414s|690000 |430153 | 0 | 0.0 | 709M|2816 | - |5645 | 10k| 0 | 0 | 0 | 563k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
430.60/430.61 c 423s|700000 |433385 | 0 | 0.0 | 719M|2816 | - |5645 | 10k| 0 | 0 | 0 | 576k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
440.10/440.17 c 433s|710000 |436333 | 0 | 0.0 | 728M|2816 | - |5645 | 11k| 0 | 0 | 0 | 589k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
450.10/450.14 c 443s|720000 |438956 | 0 | 0.0 | 737M|2816 | - |5645 | 11k| 0 | 0 | 0 | 602k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
460.19/460.23 c 453s|730000 |441554 | 0 | 0.0 | 746M|2816 | - |5645 | 11k| 0 | 0 | 0 | 615k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
470.40/470.48 c 463s|740000 |444038 | 0 | 0.0 | 754M|2816 | - |5645 | 12k| 0 | 0 | 0 | 629k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
481.89/481.90 c 474s|750000 |445576 | 0 | 0.0 | 761M|2816 | - |5645 | 12k| 0 | 0 | 0 | 645k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
493.40/493.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
493.40/493.44 c 486s|760000 |447196 | 0 | 0.0 | 769M|2816 | - |5645 | 12k| 0 | 0 | 0 | 660k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
504.90/504.99 c 497s|770000 |448698 | 0 | 0.0 | 776M|2816 | - |5645 | 12k| 0 | 0 | 0 | 676k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
516.90/516.91 c 509s|780000 |449997 | 0 | 0.0 | 784M|2816 | - |5645 | 12k| 0 | 0 | 0 | 693k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
529.79/529.84 c 522s|790000 |450273 | 0 | 0.0 | 790M|2816 | - |5645 | 13k| 0 | 0 | 0 | 711k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
543.30/543.40 c 535s|800000 |450055 | 0 | 0.0 | 795M|2816 | - |5645 | 13k| 0 | 0 | 0 | 731k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
558.00/558.07 c 550s|810000 |447189 | 0 | 0.0 | 796M|2816 | - |5645 | 13k| 0 | 0 | 0 | 752k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
567.00/567.04 o 3
567.00/567.04 c * 558s|816283 |441306 | 0 | 0.0 | 779M|2816 | - |5645 |9462 | 0 | 0 | 0 | 763k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
569.10/569.12 c 560s|820000 |444232 | 0 | 0.0 | 784M|2816 | - |5645 |6504 | 0 | 0 | 0 | 765k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
574.30/574.32 c 566s|830000 |451868 | 0 | 0.0 | 798M|2816 | - |5645 |6546 | 0 | 0 | 0 | 770k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
580.30/580.32 c 571s|840000 |458843 | 0 | 0.0 | 813M|2816 | - |5645 |7461 | 0 | 0 | 0 | 775k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
587.70/587.74 c 579s|850000 |464874 | 0 | 0.0 | 829M|2816 | - |5645 |8658 | 0 | 0 | 0 | 783k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
597.31/597.32 c 588s|860000 |469778 | 0 | 0.0 | 845M|2816 | - |5645 |7441 | 0 | 0 | 0 | 792k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
606.10/606.15 c 597s|870000 |473457 | 0 | 0.0 | 855M|2816 | - |5645 |6980 | 0 | 0 | 0 | 802k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
617.70/617.71 c 608s|880000 |474374 | 0 | 0.0 | 864M|2816 | - |5645 |8702 | 0 | 0 | 0 | 815k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
625.00/625.06 c 616s|890000 |479208 | 0 | 0.0 | 871M|2816 | - |5645 |5245 | 0 | 0 | 0 | 822k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
629.40/629.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
629.40/629.42 c 620s|900000 |486786 | 0 | 0.0 | 881M|2816 | - |5645 |5473 | 0 | 0 | 0 | 826k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
633.90/633.90 c 624s|910000 |494170 | 0 | 0.0 | 891M|2816 | - |5645 |5674 | 0 | 0 | 0 | 829k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
638.50/638.59 c 629s|920000 |501327 | 0 | 0.0 | 901M|2816 | - |5645 |6190 | 0 | 0 | 0 | 834k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
644.00/644.00 c 634s|930000 |507909 | 0 | 0.0 | 911M|2816 | - |5645 |6740 | 0 | 0 | 0 | 839k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
649.70/649.72 c 640s|940000 |514192 | 0 | 0.0 | 921M|2816 | - |5645 |7084 | 0 | 0 | 0 | 844k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
655.80/655.81 c 646s|950000 |520118 | 0 | 0.0 | 931M|2816 | - |5645 |7482 | 0 | 0 | 0 | 850k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
662.50/662.50 c 652s|960000 |525560 | 0 | 0.0 | 941M|2816 | - |5645 |8096 | 0 | 0 | 0 | 857k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
669.60/669.69 c 659s|970000 |530554 | 0 | 0.0 | 951M|2816 | - |5645 |8796 | 0 | 0 | 0 | 864k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
677.51/677.56 c 667s|980000 |535031 | 0 | 0.0 | 961M|2816 | - |5645 |9126 | 0 | 0 | 0 | 872k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
686.51/686.59 c 676s|990000 |538437 | 0 | 0.0 | 970M|2816 | - |5645 | 10k| 0 | 0 | 0 | 881k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
698.20/698.20 c 687s| 1000k|540089 | 0 | 0.0 | 977M|2816 | - |5645 | 11k| 0 | 0 | 0 | 894k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
709.60/709.69 c 699s| 1010k|541872 | 0 | 0.0 | 980M|2816 | - |5645 |7306 | 0 | 0 | 0 | 905k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
714.50/714.53 c 704s| 1020k|549126 | 0 | 0.0 | 989M|2816 | - |5645 |6561 | 0 | 0 | 0 | 909k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
720.20/720.21 c 709s| 1030k|555560 | 0 | 0.0 |1000M|2816 | - |5645 |7417 | 0 | 0 | 0 | 915k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
727.01/727.01 c 716s| 1040k|561064 | 0 | 0.0 |1011M|2816 | - |5645 |8748 | 0 | 0 | 0 | 921k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
734.90/734.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
734.90/734.95 c 724s| 1050k|565597 | 0 | 0.0 |1022M|2816 | - |5645 | 10k| 0 | 0 | 0 | 930k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
745.50/745.54 c 734s| 1060k|567982 | 0 | 0.0 |1031M|2816 | - |5645 | 12k| 0 | 0 | 0 | 940k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
753.71/753.77 c 742s| 1070k|572602 | 0 | 0.0 |1036M|2816 | - |5645 |6348 | 0 | 0 | 0 | 948k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
758.60/758.69 c 747s| 1080k|579686 | 0 | 0.0 |1046M|2816 | - |5645 |6781 | 0 | 0 | 0 | 952k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
764.31/764.40 c 753s| 1090k|586075 | 0 | 0.0 |1057M|2816 | - |5645 |7556 | 0 | 0 | 0 | 958k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
770.91/770.95 c 759s| 1100k|591721 | 0 | 0.0 |1067M|2816 | - |5645 |8419 | 0 | 0 | 0 | 964k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
778.91/778.91 c 767s| 1110k|596064 | 0 | 0.0 |1077M|2816 | - |5645 |9848 | 0 | 0 | 0 | 972k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
788.40/788.41 c 776s| 1120k|599085 | 0 | 0.0 |1086M|2816 | - |5645 | 11k| 0 | 0 | 0 | 982k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
799.11/799.11 c 787s| 1130k|601681 | 0 | 0.0 |1091M|2816 | - |5645 |7955 | 0 | 0 | 0 | 993k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
803.91/803.94 c 792s| 1140k|609019 | 0 | 0.0 |1101M|2816 | - |5645 |6732 | 0 | 0 | 0 | 997k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
809.30/809.35 c 797s| 1150k|615669 | 0 | 0.0 |1112M|2816 | - |5645 |7414 | 0 | 0 | 0 |1001k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
815.40/815.43 c 803s| 1160k|621729 | 0 | 0.0 |1122M|2816 | - |5645 |8643 | 0 | 0 | 0 |1007k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
822.40/822.48 c 810s| 1170k|626895 | 0 | 0.0 |1133M|2816 | - |5645 |9564 | 0 | 0 | 0 |1014k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
831.00/831.03 c 818s| 1180k|630801 | 0 | 0.0 |1143M|2816 | - |5645 | 11k| 0 | 0 | 0 |1023k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
842.90/842.98 c 830s| 1190k|632135 | 0 | 0.0 |1149M|2816 | - |5645 | 12k| 0 | 0 | 0 |1035k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
848.11/848.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
848.11/848.12 c 835s| 1200k|639320 | 0 | 0.0 |1157M|2816 | - |5645 |7035 | 0 | 0 | 0 |1039k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
853.20/853.26 c 840s| 1210k|646227 | 0 | 0.0 |1167M|2816 | - |5645 |7443 | 0 | 0 | 0 |1044k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
859.01/859.09 c 846s| 1220k|652438 | 0 | 0.0 |1177M|2816 | - |5645 |8231 | 0 | 0 | 0 |1049k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
866.11/866.12 c 853s| 1230k|657593 | 0 | 0.0 |1188M|2816 | - |5645 |9166 | 0 | 0 | 0 |1057k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
875.00/875.07 c 861s| 1240k|661171 | 0 | 0.0 |1197M|2816 | - |5645 | 10k| 0 | 0 | 0 |1066k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
887.31/887.36 c 874s| 1250k|662195 | 0 | 0.0 |1204M|2816 | - |5645 | 11k| 0 | 0 | 0 |1079k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
892.20/892.27 c 878s| 1260k|669387 | 0 | 0.0 |1211M|2816 | - |5645 |6944 | 0 | 0 | 0 |1083k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
897.20/897.24 c 883s| 1270k|676394 | 0 | 0.0 |1221M|2816 | - |5645 |7539 | 0 | 0 | 0 |1087k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
902.91/902.98 c 889s| 1280k|682709 | 0 | 0.0 |1231M|2816 | - |5645 |8499 | 0 | 0 | 0 |1092k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
909.71/909.70 c 896s| 1290k|688233 | 0 | 0.0 |1241M|2816 | - |5645 |9337 | 0 | 0 | 0 |1099k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
918.01/918.07 c 904s| 1300k|692330 | 0 | 0.0 |1250M|2816 | - |5645 | 11k| 0 | 0 | 0 |1107k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
930.41/930.49 c 916s| 1310k|693304 | 0 | 0.0 |1256M|2816 | - |5645 | 14k| 0 | 0 | 0 |1120k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
935.50/935.52 c 921s| 1320k|700609 | 0 | 0.0 |1264M|2816 | - |5645 |6954 | 0 | 0 | 0 |1124k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
940.61/940.67 c 926s| 1330k|707438 | 0 | 0.0 |1274M|2816 | - |5645 |7346 | 0 | 0 | 0 |1128k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
946.40/946.47 c 932s| 1340k|713741 | 0 | 0.0 |1284M|2816 | - |5645 |8031 | 0 | 0 | 0 |1134k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
952.91/952.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
952.91/952.98 c 938s| 1350k|719401 | 0 | 0.0 |1294M|2816 | - |5645 |9133 | 0 | 0 | 0 |1140k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
961.20/961.23 c 946s| 1360k|723575 | 0 | 0.0 |1303M|2816 | - |5645 | 10k| 0 | 0 | 0 |1148k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
972.51/972.52 c 957s| 1370k|725383 | 0 | 0.0 |1311M|2816 | - |5645 | 13k| 0 | 0 | 0 |1159k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
979.41/979.45 c 964s| 1380k|731144 | 0 | 0.0 |1317M|2816 | - |5645 |6803 | 0 | 0 | 0 |1165k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
984.51/984.54 c 969s| 1390k|738017 | 0 | 0.0 |1327M|2816 | - |5645 |7196 | 0 | 0 | 0 |1170k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
990.02/990.02 c 975s| 1400k|744466 | 0 | 0.0 |1337M|2816 | - |5645 |7719 | 0 | 0 | 0 |1175k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
995.91/995.91 c 980s| 1410k|750564 | 0 | 0.0 |1347M|2816 | - |5645 |7956 | 0 | 0 | 0 |1180k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1002.40/1002.41 c 987s| 1420k|756139 | 0 | 0.0 |1357M|2816 | - |5645 |8193 | 0 | 0 | 0 |1187k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1009.01/1009.07 c 993s| 1430k|761529 | 0 | 0.0 |1366M|2816 | - |5645 |8441 | 0 | 0 | 0 |1193k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1015.71/1015.75 c 1000s| 1440k|766972 | 0 | 0.0 |1375M|2816 | - |5645 |8797 | 0 | 0 | 0 |1200k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1022.60/1022.64 c 1007s| 1450k|772285 | 0 | 0.0 |1384M|2816 | - |5645 |8696 | 0 | 0 | 0 |1207k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1029.30/1029.38 c 1013s| 1460k|777587 | 0 | 0.0 |1393M|2816 | - |5645 |8217 | 0 | 0 | 0 |1214k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1035.81/1035.82 c 1020s| 1470k|783178 | 0 | 0.0 |1401M|2816 | - |5645 |8142 | 0 | 0 | 0 |1220k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1042.41/1042.43 c 1026s| 1480k|788651 | 0 | 0.0 |1410M|2816 | - |5645 |7954 | 0 | 0 | 0 |1227k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1048.91/1048.90 c 1032s| 1490k|794304 | 0 | 0.0 |1419M|2816 | - |5645 |7962 | 0 | 0 | 0 |1233k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1055.51/1055.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1055.51/1055.57 c 1039s| 1500k|799692 | 0 | 0.0 |1429M|2816 | - |5645 |8240 | 0 | 0 | 0 |1240k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1062.11/1062.19 c 1046s| 1510k|805132 | 0 | 0.0 |1438M|2816 | - |5645 |8433 | 0 | 0 | 0 |1246k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1069.11/1069.13 c 1052s| 1520k|810310 | 0 | 0.0 |1446M|2816 | - |5645 |8268 | 0 | 0 | 0 |1253k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1076.31/1076.38 c 1059s| 1530k|815194 | 0 | 0.0 |1455M|2816 | - |5645 |9197 | 0 | 0 | 0 |1260k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1084.21/1084.21 c 1067s| 1540k|819664 | 0 | 0.0 |1464M|2816 | - |5645 |9580 | 0 | 0 | 0 |1268k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1092.32/1092.39 c 1075s| 1550k|823884 | 0 | 0.0 |1472M|2816 | - |5645 | 10k| 0 | 0 | 0 |1276k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1101.71/1101.78 c 1084s| 1560k|827273 | 0 | 0.0 |1481M|2816 | - |5645 | 11k| 0 | 0 | 0 |1286k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1114.61/1114.67 c 1097s| 1570k|827977 | 0 | 0.0 |1486M|2816 | - |5645 | 15k| 0 | 0 | 0 |1299k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1119.41/1119.47 c 1102s| 1580k|835516 | 0 | 0.0 |1493M|2816 | - |5645 |7155 | 0 | 0 | 0 |1303k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1124.51/1124.54 c 1107s| 1590k|842435 | 0 | 0.0 |1503M|2816 | - |5645 |7677 | 0 | 0 | 0 |1307k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1130.41/1130.42 c 1113s| 1600k|848623 | 0 | 0.0 |1514M|2816 | - |5645 |8633 | 0 | 0 | 0 |1313k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1137.32/1137.36 c 1119s| 1610k|853854 | 0 | 0.0 |1524M|2816 | - |5645 |9926 | 0 | 0 | 0 |1319k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1145.71/1145.72 c 1128s| 1620k|858024 | 0 | 0.0 |1534M|2816 | - |5645 | 11k| 0 | 0 | 0 |1328k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1156.21/1156.29 c 1138s| 1630k|860516 | 0 | 0.0 |1542M|2816 | - |5645 | 13k| 0 | 0 | 0 |1339k| 0 | 0.000000e+00 | 3.000000e+00 | Inf
1160.42/1160.46 o 2
1160.42/1160.46 c *1142s| 1632k|832564 | 0 | 0.0 |1499M|2816 | - |5645 | 14k| 0 | 0 | 0 |1343k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1163.61/1163.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1163.61/1163.65 c 1145s| 1640k|838222 | 0 | 0.0 |1504M|2816 | - |5645 |6967 | 0 | 0 | 0 |1346k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1167.71/1167.70 c 1149s| 1650k|845880 | 0 | 0.0 |1513M|2816 | - |5645 |6947 | 0 | 0 | 0 |1349k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1172.21/1172.29 c 1154s| 1660k|853001 | 0 | 0.0 |1523M|2816 | - |5645 |7740 | 0 | 0 | 0 |1353k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1178.21/1178.21 c 1160s| 1670k|859079 | 0 | 0.0 |1533M|2816 | - |5645 |8845 | 0 | 0 | 0 |1359k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1185.61/1185.62 c 1167s| 1680k|864090 | 0 | 0.0 |1543M|2816 | - |5645 | 10k| 0 | 0 | 0 |1366k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1195.41/1195.46 c 1177s| 1690k|867216 | 0 | 0.0 |1551M|2816 | - |5645 | 11k| 0 | 0 | 0 |1376k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1208.01/1208.02 c 1189s| 1700k|868288 | 0 | 0.0 |1557M|2816 | - |5645 | 12k| 0 | 0 | 0 |1389k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1212.81/1212.84 c 1194s| 1710k|875703 | 0 | 0.0 |1566M|2816 | - |5645 |7553 | 0 | 0 | 0 |1393k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1218.12/1218.12 c 1199s| 1720k|882376 | 0 | 0.0 |1576M|2816 | - |5645 |8445 | 0 | 0 | 0 |1398k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1224.51/1224.54 c 1205s| 1730k|888067 | 0 | 0.0 |1586M|2816 | - |5645 |9625 | 0 | 0 | 0 |1404k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1231.81/1231.90 c 1213s| 1740k|892960 | 0 | 0.0 |1595M|2816 | - |5645 | 10k| 0 | 0 | 0 |1411k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1241.01/1241.00 c 1222s| 1750k|896438 | 0 | 0.0 |1605M|2816 | - |5645 | 11k| 0 | 0 | 0 |1420k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1252.61/1252.64 c 1233s| 1760k|897799 | 0 | 0.0 |1610M|2816 | - |5645 | 10k| 0 | 0 | 0 |1431k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1257.41/1257.48 c 1238s| 1770k|905154 | 0 | 0.0 |1619M|2816 | - |5645 |7700 | 0 | 0 | 0 |1435k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1262.82/1262.82 c 1243s| 1780k|911864 | 0 | 0.0 |1629M|2816 | - |5645 |8608 | 0 | 0 | 0 |1440k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1268.92/1268.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1268.92/1268.98 c 1249s| 1790k|917845 | 0 | 0.0 |1639M|2816 | - |5645 |9844 | 0 | 0 | 0 |1446k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1276.41/1276.47 c 1256s| 1800k|922712 | 0 | 0.0 |1649M|2816 | - |5645 | 11k| 0 | 0 | 0 |1453k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1285.82/1285.80 c 1266s| 1810k|926112 | 0 | 0.0 |1658M|2816 | - |5645 | 12k| 0 | 0 | 0 |1463k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1296.41/1296.43 c 1276s| 1820k|928930 | 0 | 0.0 |1663M|2816 | - |5645 |9043 | 0 | 0 | 0 |1473k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1301.52/1301.50 c 1281s| 1830k|936087 | 0 | 0.0 |1673M|2816 | - |5645 |8571 | 0 | 0 | 0 |1477k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1307.21/1307.27 c 1287s| 1840k|942480 | 0 | 0.0 |1683M|2816 | - |5645 |9583 | 0 | 0 | 0 |1483k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1314.01/1314.05 c 1293s| 1850k|947990 | 0 | 0.0 |1693M|2816 | - |5645 | 10k| 0 | 0 | 0 |1489k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1321.81/1321.88 c 1301s| 1860k|952676 | 0 | 0.0 |1703M|2816 | - |5645 | 11k| 0 | 0 | 0 |1497k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1331.11/1331.16 c 1310s| 1870k|956289 | 0 | 0.0 |1711M|2816 | - |5645 | 11k| 0 | 0 | 0 |1506k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1338.51/1338.60 c 1318s| 1880k|961433 | 0 | 0.0 |1718M|2816 | - |5645 |8871 | 0 | 0 | 0 |1513k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1344.32/1344.34 c 1323s| 1890k|967858 | 0 | 0.0 |1727M|2816 | - |5645 |9072 | 0 | 0 | 0 |1518k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1350.62/1350.64 c 1329s| 1900k|973770 | 0 | 0.0 |1737M|2816 | - |5645 | 10k| 0 | 0 | 0 |1524k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1358.11/1358.12 c 1337s| 1910k|978775 | 0 | 0.0 |1747M|2816 | - |5645 | 11k| 0 | 0 | 0 |1531k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1367.32/1367.30 c 1346s| 1920k|982365 | 0 | 0.0 |1756M|2816 | - |5645 | 13k| 0 | 0 | 0 |1540k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1377.91/1377.97 c 1356s| 1930k|985446 | 0 | 0.0 |1761M|2816 | - |5645 |9766 | 0 | 0 | 0 |1550k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1383.02/1383.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1383.02/1383.07 c 1361s| 1940k|992567 | 0 | 0.0 |1771M|2816 | - |5645 |8710 | 0 | 0 | 0 |1554k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1388.81/1388.83 c 1367s| 1950k|998976 | 0 | 0.0 |1781M|2816 | - |5645 |9650 | 0 | 0 | 0 |1559k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1396.31/1396.33 c 1374s| 1960k| 1003k| 0 | 0.0 |1792M|2816 | - |5645 | 11k| 0 | 0 | 0 |1566k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1406.02/1406.06 c 1384s| 1970k| 1007k| 0 | 0.0 |1802M|2816 | - |5645 | 14k| 0 | 0 | 0 |1576k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1415.01/1415.03 c 1393s| 1980k| 1011k| 0 | 0.0 |1809M|2816 | - |5645 | 10k| 0 | 0 | 0 |1585k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1419.81/1419.89 c 1398s| 1990k| 1019k| 0 | 0.0 |1818M|2816 | - |5645 |8552 | 0 | 0 | 0 |1588k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1425.01/1425.07 c 1403s| 2000k| 1026k| 0 | 0.0 |1827M|2816 | - |5645 |8886 | 0 | 0 | 0 |1593k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1430.42/1430.43 c 1408s| 2010k| 1033k| 0 | 0.0 |1837M|2816 | - |5645 |9347 | 0 | 0 | 0 |1597k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1436.31/1436.31 c 1414s| 2020k| 1039k| 0 | 0.0 |1847M|2816 | - |5645 | 10k| 0 | 0 | 0 |1603k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1442.61/1442.66 c 1420s| 2030k| 1045k| 0 | 0.0 |1856M|2816 | - |5645 | 10k| 0 | 0 | 0 |1608k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1449.51/1449.57 c 1427s| 2040k| 1051k| 0 | 0.0 |1865M|2816 | - |5645 | 11k| 0 | 0 | 0 |1615k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1457.52/1457.53 c 1435s| 2050k| 1056k| 0 | 0.0 |1874M|2816 | - |5645 | 13k| 0 | 0 | 0 |1622k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1467.61/1467.68 c 1445s| 2060k| 1060k| 0 | 0.0 |1884M|2816 | - |5645 | 15k| 0 | 0 | 0 |1632k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1478.12/1478.19 c 1455s| 2070k| 1064k| 0 | 0.0 |1889M|2816 | - |5645 | 11k| 0 | 0 | 0 |1643k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1483.01/1483.06 c 1460s| 2080k| 1071k| 0 | 0.0 |1898M|2816 | - |5645 |8842 | 0 | 0 | 0 |1646k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1488.02/1488.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1488.02/1488.03 c 1465s| 2090k| 1078k| 0 | 0.0 |1907M|2816 | - |5645 |8759 | 0 | 0 | 0 |1650k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1493.12/1493.13 c 1470s| 2100k| 1085k| 0 | 0.0 |1916M|2816 | - |5645 |9243 | 0 | 0 | 0 |1655k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1498.72/1498.77 c 1475s| 2110k| 1092k| 0 | 0.0 |1926M|2816 | - |5645 |9573 | 0 | 0 | 0 |1660k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1504.92/1504.98 c 1481s| 2120k| 1098k| 0 | 0.0 |1935M|2816 | - |5645 | 10k| 0 | 0 | 0 |1665k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1511.62/1511.65 c 1488s| 2130k| 1104k| 0 | 0.0 |1945M|2816 | - |5645 | 10k| 0 | 0 | 0 |1671k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1518.51/1518.50 c 1495s| 2140k| 1109k| 0 | 0.0 |1954M|2816 | - |5645 | 10k| 0 | 0 | 0 |1678k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1526.51/1526.59 c 1503s| 2150k| 1114k| 0 | 0.0 |1963M|2816 | - |5645 | 11k| 0 | 0 | 0 |1686k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1534.31/1534.39 c 1510s| 2160k| 1119k| 0 | 0.0 |1972M|2816 | - |5645 | 11k| 0 | 0 | 0 |1693k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1542.12/1542.16 c 1518s| 2170k| 1124k| 0 | 0.0 |1981M|2816 | - |5645 | 12k| 0 | 0 | 0 |1700k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1549.92/1549.98 c 1526s| 2180k| 1129k| 0 | 0.0 |1990M|2816 | - |5645 | 12k| 0 | 0 | 0 |1708k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1557.71/1557.74 c 1533s| 2190k| 1134k| 0 | 0.0 |1999M|2816 | - |5645 | 13k| 0 | 0 | 0 |1715k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1565.71/1565.72 c 1541s| 2200k| 1139k| 0 | 0.0 |2008M|2816 | - |5645 | 14k| 0 | 0 | 0 |1722k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1575.81/1575.80 c 1551s| 2210k| 1143k| 0 | 0.0 |2015M|2816 | - |5645 | 13k| 0 | 0 | 0 |1732k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1581.21/1581.28 c 1557s| 2220k| 1150k| 0 | 0.0 |2024M|2816 | - |5645 | 10k| 0 | 0 | 0 |1736k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1587.32/1587.32 c 1562s| 2230k| 1156k| 0 | 0.0 |2034M|2816 | - |5645 | 10k| 0 | 0 | 0 |1741k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1594.42/1594.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1594.42/1594.46 c 1570s| 2240k| 1162k| 0 | 0.0 |2045M|2816 | - |5645 | 12k| 0 | 0 | 0 |1748k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1604.01/1604.01 c 1579s| 2250k| 1165k| 0 | 0.0 |2054M|2816 | - |5645 | 13k| 0 | 0 | 0 |1757k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1614.22/1614.29 c 1589s| 2260k| 1169k| 0 | 0.0 |2061M|2816 | - |5645 | 10k| 0 | 0 | 0 |1767k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1619.42/1619.46 c 1594s| 2270k| 1176k| 0 | 0.0 |2071M|2816 | - |5645 |9575 | 0 | 0 | 0 |1771k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1625.62/1625.60 c 1600s| 2280k| 1182k| 0 | 0.0 |2082M|2816 | - |5645 | 10k| 0 | 0 | 0 |1776k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1633.42/1633.45 c 1608s| 2290k| 1187k| 0 | 0.0 |2092M|2816 | - |5645 | 12k| 0 | 0 | 0 |1784k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1643.32/1643.39 c 1618s| 2300k| 1191k| 0 | 0.0 |2103M|2816 | - |5645 | 14k| 0 | 0 | 0 |1794k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1653.11/1653.20 c 1627s| 2310k| 1195k| 0 | 0.0 |2109M|2816 | - |5645 |9825 | 0 | 0 | 0 |1803k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1658.82/1658.86 c 1633s| 2320k| 1202k| 0 | 0.0 |2119M|2816 | - |5645 |9613 | 0 | 0 | 0 |1807k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1664.91/1664.96 c 1639s| 2330k| 1208k| 0 | 0.0 |2129M|2816 | - |5645 | 10k| 0 | 0 | 0 |1813k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1672.02/1672.05 c 1646s| 2340k| 1213k| 0 | 0.0 |2140M|2816 | - |5645 | 11k| 0 | 0 | 0 |1819k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1680.82/1680.88 c 1655s| 2350k| 1218k| 0 | 0.0 |2149M|2816 | - |5645 | 13k| 0 | 0 | 0 |1828k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1691.31/1691.31 c 1665s| 2360k| 1221k| 0 | 0.0 |2156M|2816 | - |5645 | 10k| 0 | 0 | 0 |1838k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1695.82/1695.80 c 1669s| 2370k| 1228k| 0 | 0.0 |2165M|2816 | - |5645 |8973 | 0 | 0 | 0 |1841k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1700.32/1700.37 c 1674s| 2380k| 1236k| 0 | 0.0 |2174M|2816 | - |5645 |9214 | 0 | 0 | 0 |1845k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1706.22/1706.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1706.22/1706.29 c 1680s| 2390k| 1242k| 0 | 0.0 |2184M|2816 | - |5645 | 10k| 0 | 0 | 0 |1850k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1714.72/1714.75 c 1688s| 2400k| 1246k| 0 | 0.0 |2195M|2816 | - |5645 | 12k| 0 | 0 | 0 |1859k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1725.62/1725.69 c 1699s| 2410k| 1249k| 0 | 0.0 |2204M|2816 | - |5645 | 15k| 0 | 0 | 0 |1870k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1733.52/1733.53 c 1707s| 2420k| 1254k| 0 | 0.0 |2210M|2816 | - |5645 |9881 | 0 | 0 | 0 |1877k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1739.13/1739.14 c 1712s| 2430k| 1261k| 0 | 0.0 |2220M|2816 | - |5645 |9709 | 0 | 0 | 0 |1881k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1745.52/1745.50 c 1718s| 2440k| 1267k| 0 | 0.0 |2230M|2816 | - |5645 | 10k| 0 | 0 | 0 |1887k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1752.72/1752.78 c 1725s| 2450k| 1273k| 0 | 0.0 |2240M|2816 | - |5645 | 11k| 0 | 0 | 0 |1894k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1760.72/1760.78 c 1733s| 2460k| 1277k| 0 | 0.0 |2249M|2816 | - |5645 | 11k| 0 | 0 | 0 |1901k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1769.02/1769.08 c 1742s| 2470k| 1282k| 0 | 0.0 |2258M|2816 | - |5645 | 10k| 0 | 0 | 0 |1909k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1776.72/1776.78 c 1749s| 2480k| 1287k| 0 | 0.0 |2267M|2816 | - |5645 | 10k| 0 | 0 | 0 |1917k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1783.72/1783.78 c 1756s| 2490k| 1292k| 0 | 0.0 |2276M|2816 | - |5645 | 10k| 0 | 0 | 0 |1923k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1791.01/1791.01 c 1763s| 2500k| 1297k| 0 | 0.0 |2287M|2816 | - |5645 | 11k| 0 | 0 | 0 |1930k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1800.02/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.00 c
1800.02/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.00 c Solving Time (sec) : 1771.98
1800.02/1800.00 c Solving Nodes : 2509872
1800.02/1800.00 c Primal Bound : +2.00000000000000e+00 (34 solutions)
1800.02/1800.00 c Dual Bound : +0.00000000000000e+00
1800.02/1800.00 c Gap : infinite
1800.02/1800.08 s SATISFIABLE
1800.02/1800.08 v -x231 -x230 -x229 -x228 -x227 x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 x212 -x211 -x210
1800.02/1800.08 v -x209 -x208 -x207 -x206 -x205 -x204 x203 -x202 x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.02/1800.08 v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
1800.02/1800.08 v x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.02/1800.08 v -x146 -x145 x144 -x143 -x142 -x141 x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 x126 -x125
1800.02/1800.08 v -x124 -x123 -x122 -x121 x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104
1800.02/1800.08 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.02/1800.08 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.02/1800.08 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.02/1800.08 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.02/1800.08 v -x1
1800.02/1800.08 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.08 c Solving Time : 1771.98
1800.02/1800.08 c Original Problem :
1800.02/1800.08 c Problem name : HOME/instance-2693619-1277926904.wbo
1800.02/1800.08 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.02/1800.08 c Constraints : 5415 initial, 5415 maximal
1800.02/1800.08 c Presolved Problem :
1800.02/1800.08 c Problem name : t_HOME/instance-2693619-1277926904.wbo
1800.02/1800.08 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.02/1800.08 c Constraints : 5414 initial, 19365 maximal
1800.02/1800.08 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.02/1800.08 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.08 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.08 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.08 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.08 c implics : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.08 c probing : 0.04 0 0 0 0 0 0 0 0
1800.02/1800.08 c indicator : 0.01 0 0 0 0 0 0 0 0
1800.02/1800.08 c linear : 0.02 0 0 0 2707 0 1 0 0
1800.02/1800.08 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.08 c root node : - 2649 - - 5298 - - - -
1800.02/1800.08 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.02/1800.08 c integral : 0 0 0 0 0 0 0 0 0 0
1800.02/1800.08 c indicator : 2707 0 6605324 0 1743095 106 1771921 0 0 0
1800.02/1800.08 c linear : 2707 0 8292581 0 2078280 624836 51865725 0 0 0
1800.02/1800.08 c logicor : 0+ 0 3827736 0 0 71033 2061866 0 0 0
1800.02/1800.08 c countsols : 0 0 0 0 2078302 0 0 0 0 0
1800.02/1800.08 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.02/1800.08 c integral : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.08 c indicator : 16.83 0.00 8.24 0.00 8.59
1800.02/1800.08 c linear : 486.16 0.00 483.95 0.00 2.21
1800.02/1800.08 c logicor : 218.89 0.00 218.89 0.00 0.00
1800.02/1800.08 c countsols : 0.35 0.00 0.00 0.00 0.35
1800.02/1800.08 c Propagators : Time Calls Cutoffs DomReds
1800.02/1800.08 c vbounds : 1.92 2 0 0
1800.02/1800.08 c rootredcost : 1.78 0 0 0
1800.02/1800.08 c pseudoobj : 407.28 8294630 1941 1753708
1800.02/1800.08 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.08 c propagation : 30.31 697810 697809 3154737 18.3 149399 9.9 -
1800.02/1800.08 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.08 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.08 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.08 c pseudo solution : 0.03 131 131 479 22.0 392 9.0 -
1800.02/1800.08 c applied globally : - - - 1938758 17.0 - - -
1800.02/1800.08 c applied locally : - - - 1 299.0 - - -
1800.02/1800.08 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.08 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.02/1800.08 c redcost : 0.00 0 0 0 0 0
1800.02/1800.08 c impliedbounds : 0.00 0 0 0 0 0
1800.02/1800.08 c intobj : 0.00 0 0 0 0 0
1800.02/1800.08 c cgmip : 0.00 0 0 0 0 0
1800.02/1800.08 c gomory : 0.00 0 0 0 0 0
1800.02/1800.08 c strongcg : 0.00 0 0 0 0 0
1800.02/1800.08 c cmir : 0.00 0 0 0 0 0
1800.02/1800.08 c flowcover : 0.00 0 0 0 0 0
1800.02/1800.08 c clique : 0.00 0 0 0 0 0
1800.02/1800.08 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.08 c mcf : 0.00 0 0 0 0 0
1800.02/1800.08 c rapidlearning : 0.00 0 0 0 0 0
1800.02/1800.08 c Pricers : Time Calls Vars
1800.02/1800.08 c problem variables: 0.00 0 0
1800.02/1800.08 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.08 c relpscost : 0.00 0 0 0 0 0 0
1800.02/1800.08 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.08 c inference : 36.87 2078271 0 0 0 0 4156542
1800.02/1800.08 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.08 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.08 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.08 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.08 c random : 0.00 0 0 0 0 0 0
1800.02/1800.08 c Primal Heuristics : Time Calls Found
1800.02/1800.08 c LP solutions : 0.00 - 0
1800.02/1800.08 c pseudo solutions : 0.12 - 31
1800.02/1800.08 c oneopt : 0.87 0 0
1800.02/1800.08 c trivial : 0.08 2 2
1800.02/1800.08 c simplerounding : 0.00 0 0
1800.02/1800.08 c zirounding : 0.00 0 0
1800.02/1800.08 c rounding : 0.00 0 0
1800.02/1800.08 c shifting : 0.00 0 0
1800.02/1800.08 c intshifting : 0.00 0 0
1800.02/1800.08 c twoopt : 0.00 0 0
1800.02/1800.08 c fixandinfer : 0.00 0 0
1800.02/1800.08 c feaspump : 0.00 0 0
1800.02/1800.08 c coefdiving : 0.00 0 0
1800.02/1800.08 c pscostdiving : 0.00 0 0
1800.02/1800.08 c fracdiving : 0.00 0 0
1800.02/1800.08 c veclendiving : 0.00 0 0
1800.02/1800.08 c intdiving : 0.00 0 0
1800.02/1800.08 c actconsdiving : 0.00 0 0
1800.02/1800.08 c objpscostdiving : 0.00 0 0
1800.02/1800.08 c rootsoldiving : 0.00 0 0
1800.02/1800.08 c linesearchdiving : 0.00 0 0
1800.02/1800.08 c guideddiving : 0.00 0 0
1800.02/1800.08 c octane : 0.00 0 0
1800.02/1800.08 c rens : 0.00 0 0
1800.02/1800.08 c rins : 0.00 0 0
1800.02/1800.08 c localbranching : 0.00 0 0
1800.02/1800.08 c mutation : 0.00 0 0
1800.02/1800.08 c crossover : 0.00 0 0
1800.02/1800.08 c dins : 0.00 0 0
1800.02/1800.08 c undercover : 0.00 0 0
1800.02/1800.08 c nlp : 0.70 0 0
1800.02/1800.08 c trysol : 0.47 1 1
1800.02/1800.08 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.08 c primal LP : 0.00 0 0 0.00 -
1800.02/1800.08 c dual LP : 0.00 0 0 0.00 -
1800.02/1800.08 c lex dual LP : 0.00 0 0 0.00 -
1800.02/1800.08 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.08 c diving/probing LP: 0.00 0 0 0.00 -
1800.02/1800.08 c strong branching : 0.00 0 0 0.00 -
1800.02/1800.08 c (at root node) : - 0 0 0.00 -
1800.02/1800.08 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.08 c B&B Tree :
1800.02/1800.08 c number of runs : 1
1800.02/1800.08 c nodes : 2509872
1800.02/1800.08 c nodes (total) : 2509872
1800.02/1800.08 c nodes left : 1301705
1800.02/1800.08 c max depth : 2816
1800.02/1800.08 c max depth (total): 2816
1800.02/1800.08 c backtracks : 382331 (15.2%)
1800.02/1800.08 c delayed cutoffs : 306350
1800.02/1800.08 c repropagations : 1564191 (17394263 domain reductions, 266477 cutoffs)
1800.02/1800.08 c avg switch length: 40.11
1800.02/1800.08 c switching time : 485.50
1800.02/1800.08 c Solution :
1800.02/1800.08 c Solutions found : 34 (32 improvements)
1800.02/1800.08 c First Solution : +1.36842000000000e+05 (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1800.02/1800.08 c Primal Bound : +2.00000000000000e+00 (in run 1, after 1632753 nodes, 1142.20 seconds, depth 993, found by <relaxation>)
1800.02/1800.08 c Dual Bound : +0.00000000000000e+00
1800.02/1800.08 c Gap : infinite
1800.02/1800.08 c Root Dual Bound : +0.00000000000000e+00
1800.02/1800.08 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-2693619-1277926904/watcher-2693619-1277926904 -o /tmp/evaluation-result-2693619-1277926904/solver-2693619-1277926904 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693619-1277926904.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 4/178 13519
/proc/meminfo: memFree=30121948/32951124 swapFree=67111528/67111528
[pid=13519] ppid=13517 vsize=8408 CPUtime=0
/proc/13519/stat : 13519 (pbscip.linux.x8) R 13517 13519 13284 0 -1 4202496 1579 0 0 0 0 0 0 0 25 0 1 0 133987890 8609792 1501 4089446400 4194304 7136930 140733932485152 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/13519/statm: 2102 1501 275 719 0 1381 0
[startup+0.040561 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 13519
/proc/meminfo: memFree=30121948/32951124 swapFree=67111528/67111528
[pid=13519] ppid=13517 vsize=19600 CPUtime=0.03
/proc/13519/stat : 13519 (pbscip.linux.x8) R 13517 13519 13284 0 -1 4202496 4740 0 0 0 3 0 0 0 25 0 1 0 133987890 20070400 4308 4089446400 4194304 7136930 140733932485152 18446744073709551615 4384918 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13519/statm: 4900 4308 286 719 0 4179 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 19600
[startup+0.100548 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 13519
/proc/meminfo: memFree=30121948/32951124 swapFree=67111528/67111528
[pid=13519] ppid=13517 vsize=33676 CPUtime=0.09
/proc/13519/stat : 13519 (pbscip.linux.x8) R 13517 13519 13284 0 -1 4202496 7967 0 0 0 9 0 0 0 25 0 1 0 133987890 34484224 7535 4089446400 4194304 7136930 140733932485152 18446744073709551615 4241142 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13519/statm: 8419 7535 323 719 0 7698 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 33676
[startup+0.300514 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 13519
/proc/meminfo: memFree=30121948/32951124 swapFree=67111528/67111528
[pid=13519] ppid=13517 vsize=36496 CPUtime=0.29
/proc/13519/stat : 13519 (pbscip.linux.x8) R 13517 13519 13284 0 -1 4202496 9239 0 0 0 28 1 0 0 25 0 1 0 133987890 37371904 8293 4089446400 4194304 7136930 140733932485152 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13519/statm: 9124 8293 383 719 0 8403 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36496
[startup+0.700444 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 13519
/proc/meminfo: memFree=30121948/32951124 swapFree=67111528/67111528
[pid=13519] ppid=13517 vsize=37636 CPUtime=0.69
/proc/13519/stat : 13519 (pbscip.linux.x8) R 13517 13519 13284 0 -1 4202496 9515 0 0 0 68 1 0 0 25 0 1 0 133987890 38539264 8569 4089446400 4194304 7136930 140733932485152 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13519/statm: 9409 8569 383 719 0 8688 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 37636
[startup+1.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13520
/proc/meminfo: memFree=30087220/32951124 swapFree=67111528/67111528
[pid=13519] ppid=13517 vsize=42404 CPUtime=1.49
/proc/13519/stat : 13519 (pbscip.linux.x8) R 13517 13519 13284 0 -1 4202496 10718 0 0 0 145 4 0 0 25 0 1 0 133987890 43421696 9772 4089446400 4194304 7136930 140733932485152 18446744073709551615 6415709 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13519/statm: 10601 9772 390 719 0 9880 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 42404
[startup+3.10102 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13520
/proc/meminfo: memFree=30079160/32951124 swapFree=67111528/67111528
[pid=13519] ppid=13517 vsize=48752 CPUtime=3.09
/proc/13519/stat : 13519 (pbscip.linux.x8) R 13517 13519 13284 0 -1 4202496 12281 0 0 0 302 7 0 0 25 0 1 0 133987890 49922048 11335 4089446400 4194304 7136930 140733932485152 18446744073709551615 4210351 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13519/statm: 12188 11335 391 719 0 11467 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 48752
[startup+6.30046 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13520
/proc/meminfo: memFree=30061792/32951124 swapFree=67111528/67111528
[pid=13519] ppid=13517 vsize=62260 CPUtime=6.29
/proc/13519/stat : 13519 (pbscip.linux.x8) R 13517 13519 13284 0 -1 4202496 15598 0 0 0 615 14 0 0 25 0 1 0 133987890 63754240 14652 4089446400 4194304 7136930 140733932485152 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13519/statm: 15565 14652 391 719 0 14844 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 62260
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13520
/proc/meminfo: memFree=30038360/32951124 swapFree=67111528/67111528
[pid=13519] ppid=13517 vsize=82064 CPUtime=12.69
/proc/13519/stat : 13519 (pbscip.linux.x8) R 13517 13519 13284 0 -1 4202496 20523 0 0 0 1244 25 0 0 25 0 1 0 133987890 84033536 19577 4089446400 4194304 7136930 140733932485152 18446744073709551615 4212430 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13519/statm: 20516 19577 391 719 0 19795 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 82064
[startup+25.5011 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13520
/proc/meminfo: memFree=30230312/32951124 swapFree=67111528/67111528
[pid=13519] ppid=13517 vsize=130044 CPUtime=25.49
/proc/13519/stat : 13519 (pbscip.linux.x8) R 13517 13519 13284 0 -1 4202496 31979 0 0 0 2504 45 0 0 25 0 1 0 133987890 133165056 31033 4089446400 4194304 7136930 140733932485152 18446744073709551615 5892378 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/13519/statm: 32511 31033 391 719 0 31790 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 130044
[startup+51.1006 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13521
/proc/meminfo: memFree=30227916/32951124 swapFree=67111528/67111528
[pid=13519] ppid=13517 vsize=193152 CPUtime=51.09
/proc/13519/stat : 13519 (pbscip.linux.x8) R 13517 13519 13284 0 -1 4202496 46992 0 0 0 5018 91 0 0 25 0 1 0 133987890 197787648 46046 4089446400 4194304 7136930 140733932485152 18446744073709551615 5484170 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13519/statm: 48288 46046 391 719 0 47567 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 193152
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13522
/proc/meminfo: memFree=30121976/32951124 swapFree=67111528/67111528
[pid=13519] ppid=13517 vsize=287204 CPUtime=102.3
/proc/13519/stat : 13519 (pbscip.linux.x8) R 13517 13519 13284 0 -1 4202496 70532 0 0 0 10064 166 0 0 25 0 1 0 133987890 294096896 69586 4089446400 4194304 7136930 140733932485152 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13519/statm: 71801 69586 391 719 0 71080 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 287204
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13524
/proc/meminfo: memFree=30092788/32951124 swapFree=67111528/67111528
[pid=13519] ppid=13517 vsize=389640 CPUtime=162.29
/proc/13519/stat : 13519 (pbscip.linux.x8) R 13517 13519 13284 0 -1 4202496 95482 0 0 0 15971 258 0 0 25 0 1 0 133987890 398991360 94536 4089446400 4194304 7136930 140733932485152 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13519/statm: 97410 94536 391 719 0 96689 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 389640
[startup+222.301 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 13526
/proc/meminfo: memFree=29978764/32951124 swapFree=67111528/67111528
[pid=13519] ppid=13517 vsize=504640 CPUtime=222.3
/proc/13519/stat : 13519 (pbscip.linux.x8) R 13517 13519 13284 0 -1 4202496 123260 0 0 0 21862 368 0 0 25 0 1 0 133987890 516751360 122314 4089446400 4194304 7136930 140733932485152 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13519/statm: 126160 122314 391 719 0 125439 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 504640
[startup+282.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 13527
/proc/meminfo: memFree=29949688/32951124 swapFree=67111528/67111528
[pid=13519] ppid=13517 vsize=621160 CPUtime=282.29
/proc/13519/stat : 13519 (pbscip.linux.x8) R 13517 13519 13284 0 -1 4202496 152368 0 0 0 27748 481 0 0 25 0 1 0 133987890 636067840 151422 4089446400 4194304 7136930 140733932485152 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13519/statm: 155290 151422 391 719 0 154569 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 621160
[startup+342.301 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 13528
/proc/meminfo: memFree=29825132/32951124 swapFree=67111528/67111528
[pid=13519] ppid=13517 vsize=740892 CPUtime=342.3
/proc/13519/stat : 13519 (pbscip.linux.x8) R 13517 13519 13284 0 -1 4202496 182731 0 0 0 33633 597 0 0 25 0 1 0 133987890 758673408 181785 4089446400 4194304 7136930 140733932485152 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13519/statm: 185223 181785 391 719 0 184502 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 740892
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13530
/proc/meminfo: memFree=29743492/32951124 swapFree=67111528/67111528
[pid=13519] ppid=13517 vsize=823372 CPUtime=402.3
/proc/13519/stat : 13519 (pbscip.linux.x8) R 13517 13519 13284 0 -1 4202496 203370 0 0 0 39552 678 0 0 25 0 1 0 133987890 843132928 202424 4089446400 4194304 7136930 140733932485152 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13519/statm: 205843 202424 391 719 0 205122 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 823372
[startup+462.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 13532
/proc/meminfo: memFree=29682460/32951124 swapFree=67111528/67111528
[pid=13519] ppid=13517 vsize=879484 CPUtime=462.3
/proc/13519/stat : 13519 (pbscip.linux.x8) R 13517 13519 13284 0 -1 4202496 217282 0 0 0 45478 752 0 0 25 0 1 0 133987890 900591616 216336 4089446400 4194304 7136930 140733932485152 18446744073709551615 4208913 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13519/statm: 219871 216336 391 719 0 219150 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 879484
[startup+522.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 13534
/proc/meminfo: memFree=29639776/32951124 swapFree=67111528/67111528
[pid=13519] ppid=13517 vsize=919740 CPUtime=522.3
/proc/13519/stat : 13519 (pbscip.linux.x8) R 13517 13519 13284 0 -1 4202496 227423 0 0 0 51415 815 0 0 25 0 1 0 133987890 941813760 226477 4089446400 4194304 7136930 140733932485152 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13519/statm: 229935 226477 391 719 0 229214 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 919740
[startup+582.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 13535
/proc/meminfo: memFree=29604388/32951124 swapFree=67111528/67111528
[pid=13519] ppid=13517 vsize=964360 CPUtime=582.3
/proc/13519/stat : 13519 (pbscip.linux.x8) R 13517 13519 13284 0 -1 4202496 236188 0 0 0 57345 885 0 0 25 0 1 0 133987890 987504640 235242 4089446400 4194304 7136930 140733932485152 18446744073709551615 4665414 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13519/statm: 241090 235242 391 719 0 240369 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 964360
[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13536
/proc/meminfo: memFree=29515940/32951124 swapFree=67111528/67111528
[pid=13519] ppid=13517 vsize=1054400 CPUtime=642.31
/proc/13519/stat : 13519 (pbscip.linux.x8) R 13517 13519 13284 0 -1 4202496 258167 0 0 0 63245 986 0 0 25 0 1 0 133987890 1079705600 257221 4089446400 4194304 7136930 140733932485152 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13519/statm: 263600 257221 391 719 0 262879 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 1054400
[startup+702.3 s]
################
# More data... #
################
/proc/13519/stat : 13519 (pbscip.linux.x8) R 13517 13519 13284 0 -1 4202496 371448 0 0 0 98671 1560 0 0 25 0 1 0 133987890 1540136960 370502 4089446400 4194304 7136930 140733932485152 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13519/statm: 376010 370502 391 719 0 375289 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 1504040
[startup+1062.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 13597
/proc/meminfo: memFree=29456220/32951124 swapFree=67111528/67111528
[pid=13519] ppid=13517 vsize=1589180 CPUtime=1062.31
/proc/13519/stat : 13519 (pbscip.linux.x8) R 13517 13519 13284 0 -1 4202496 392770 0 0 0 104568 1663 0 0 25 0 1 0 133987890 1627320320 391824 4089446400 4194304 7136930 140733932485152 18446744073709551615 4845844 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13519/statm: 397295 391824 391 719 0 396574 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 1589180
[startup+1122.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 13599
/proc/meminfo: memFree=29395036/32951124 swapFree=67111528/67111528
[pid=13519] ppid=13517 vsize=1643752 CPUtime=1122.31
/proc/13519/stat : 13519 (pbscip.linux.x8) R 13517 13519 13284 0 -1 4202496 406516 0 0 0 110472 1759 0 0 25 0 1 0 133987890 1683202048 405570 4089446400 4194304 7136930 140733932485152 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13519/statm: 410938 405570 391 719 0 410217 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 1643752
[startup+1182.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 13609
/proc/meminfo: memFree=29336616/32951124 swapFree=67111528/67111528
[pid=13519] ppid=13517 vsize=1696952 CPUtime=1182.31
/proc/13519/stat : 13519 (pbscip.linux.x8) R 13517 13519 13284 0 -1 4202496 419929 0 0 0 116370 1861 0 0 25 0 1 0 133987890 1737678848 418983 4089446400 4194304 7136930 140733932485152 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13519/statm: 424238 418983 391 719 0 423517 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 1696952
[startup+1242.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 13610
/proc/meminfo: memFree=29255472/32951124 swapFree=67111528/67111528
[pid=13519] ppid=13517 vsize=1759860 CPUtime=1242.31
/proc/13519/stat : 13519 (pbscip.linux.x8) R 13517 13519 13284 0 -1 4202496 435738 0 0 0 122284 1947 0 0 25 0 1 0 133987890 1802096640 434792 4089446400 4194304 7136930 140733932485152 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13519/statm: 439965 434792 391 719 0 439244 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 1759860
[startup+1302.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 13612
/proc/meminfo: memFree=29203708/32951124 swapFree=67111528/67111528
[pid=13519] ppid=13517 vsize=1822400 CPUtime=1302.32
/proc/13519/stat : 13519 (pbscip.linux.x8) R 13517 13519 13284 0 -1 4202496 451517 0 0 0 128192 2040 0 0 25 0 1 0 133987890 1866137600 450571 4089446400 4194304 7136930 140733932485152 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13519/statm: 455600 450571 391 719 0 454879 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 1822400
[startup+1362.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 13614
/proc/meminfo: memFree=29131228/32951124 swapFree=67111528/67111528
[pid=13519] ppid=13517 vsize=1895264 CPUtime=1362.32
/proc/13519/stat : 13519 (pbscip.linux.x8) R 13517 13519 13284 0 -1 4202496 469911 0 0 0 134099 2133 0 0 25 0 1 0 133987890 1940750336 468965 4089446400 4194304 7136930 140733932485152 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13519/statm: 473816 468965 391 719 0 473095 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 1895264
[startup+1422.31 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 13616
/proc/meminfo: memFree=29059380/32951124 swapFree=67111528/67111528
[pid=13519] ppid=13517 vsize=1979208 CPUtime=1422.32
/proc/13519/stat : 13519 (pbscip.linux.x8) R 13517 13519 13284 0 -1 4202496 486935 0 0 0 140006 2226 0 0 25 0 1 0 133987890 2026708992 485989 4089446400 4194304 7136930 140733932485152 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13519/statm: 494802 485989 391 719 0 494081 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 1979208
[startup+1482.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 13617
/proc/meminfo: memFree=28987272/32951124 swapFree=67111528/67111528
[pid=13519] ppid=13517 vsize=2052052 CPUtime=1482.31
/proc/13519/stat : 13519 (pbscip.linux.x8) R 13517 13519 13284 0 -1 4202496 505333 0 0 0 145912 2319 0 0 25 0 1 0 133987890 2101301248 504360 4089446400 4194304 7136930 140733932485152 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13519/statm: 513013 504360 391 719 0 512292 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 2052052
[startup+1542.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 13618
/proc/meminfo: memFree=28898928/32951124 swapFree=67111528/67111528
[pid=13519] ppid=13517 vsize=2137640 CPUtime=1542.32
/proc/13519/stat : 13519 (pbscip.linux.x8) R 13517 13519 13284 0 -1 4202496 526880 0 0 0 151817 2415 0 0 25 0 1 0 133987890 2188943360 525907 4089446400 4194304 7136930 140733932485152 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13519/statm: 534410 525907 391 719 0 533689 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 2137640
[startup+1602.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 13620
/proc/meminfo: memFree=28826708/32951124 swapFree=67111528/67111528
[pid=13519] ppid=13517 vsize=2208536 CPUtime=1602.31
/proc/13519/stat : 13519 (pbscip.linux.x8) R 13517 13519 13284 0 -1 4202496 544785 0 0 0 157726 2505 0 0 25 0 1 0 133987890 2261540864 543812 4089446400 4194304 7136930 140733932485152 18446744073709551615 4209664 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13519/statm: 552134 543812 391 719 0 551413 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 2208536
[startup+1662.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 13622
/proc/meminfo: memFree=28750276/32951124 swapFree=67111528/67111528
[pid=13519] ppid=13517 vsize=2284096 CPUtime=1662.32
/proc/13519/stat : 13519 (pbscip.linux.x8) R 13517 13519 13284 0 -1 4202496 563856 0 0 0 163638 2594 0 0 25 0 1 0 133987890 2338914304 562883 4089446400 4194304 7136930 140733932485152 18446744073709551615 4208902 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13519/statm: 571024 562883 391 719 0 570303 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 2284096
[startup+1722.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 13624
/proc/meminfo: memFree=28676592/32951124 swapFree=67111528/67111528
[pid=13519] ppid=13517 vsize=2354576 CPUtime=1722.31
/proc/13519/stat : 13519 (pbscip.linux.x8) R 13517 13519 13284 0 -1 4202496 581666 0 0 0 169545 2686 0 0 25 0 1 0 133987890 2411085824 580693 4089446400 4194304 7136930 140733932485152 18446744073709551615 4431489 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13519/statm: 588644 580693 391 719 0 587923 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 2354576
[startup+1782.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 13625
/proc/meminfo: memFree=28605844/32951124 swapFree=67111528/67111528
[pid=13519] ppid=13517 vsize=2424052 CPUtime=1782.31
/proc/13519/stat : 13519 (pbscip.linux.x8) R 13517 13519 13284 0 -1 4202496 599214 0 0 0 175456 2775 0 0 25 0 1 0 133987890 2482229248 598241 4089446400 4194304 7136930 140733932485152 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13519/statm: 606013 598241 391 719 0 605292 0
Current children cumulated CPU time (s) 1782.31
Current children cumulated vsize (KiB) 2424052
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 13626
/proc/meminfo: memFree=28580040/32951124 swapFree=67111528/67111528
[pid=13519] ppid=13517 vsize=2449784 CPUtime=1800.02
/proc/13519/stat : 13519 (pbscip.linux.x8) R 13517 13519 13284 0 -1 4202496 605688 0 0 0 177201 2801 0 0 25 0 1 0 133987890 2508578816 604715 4089446400 4194304 7136930 140733932485152 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/13519/statm: 612446 604715 391 719 0 611725 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 2449784
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -13519
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.99 1.98 1.99 3/180 13627
/proc/meminfo: memFree=28579908/32951124 swapFree=67111528/67111528
[pid=13519] ppid=13517 vsize=2449784 CPUtime=1801.42
/proc/13519/stat : 13519 (pbscip.linux.x8) R 13517 13519 13284 0 -1 4202496 605707 0 0 0 177341 2801 0 0 25 0 1 0 133987890 2508578816 604734 4089446400 4194304 7136930 140733932485152 18446744073709551615 5003457 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/13519/statm: 612446 604734 397 719 0 611725 0
Current children cumulated CPU time (s) 1801.42
Current children cumulated vsize (KiB) 2449784
[startup+1801.81 s]
/proc/loadavg: 1.99 1.98 1.99 3/180 13627
/proc/meminfo: memFree=28579784/32951124 swapFree=67111528/67111528
[pid=13519] ppid=13517 vsize=2449784 CPUtime=1801.82
/proc/13519/stat : 13519 (pbscip.linux.x8) R 13517 13519 13284 0 -1 4202496 605707 0 0 0 177381 2801 0 0 25 0 1 0 133987890 2508578816 604734 4089446400 4194304 7136930 140733932485152 18446744073709551615 4212294 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/13519/statm: 612446 604734 397 719 0 611725 0
Current children cumulated CPU time (s) 1801.82
Current children cumulated vsize (KiB) 2449784
[startup+1802 s]
/proc/loadavg: 1.99 1.98 1.99 3/180 13627
/proc/meminfo: memFree=28579784/32951124 swapFree=67111528/67111528
[pid=13519] ppid=13517 vsize=2449784 CPUtime=1802.02
/proc/13519/stat : 13519 (pbscip.linux.x8) R 13517 13519 13284 0 -1 4202496 605707 0 0 0 177401 2801 0 0 25 0 1 0 133987890 2508578816 604734 4089446400 4194304 7136930 140733932485152 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/13519/statm: 612446 604734 397 719 0 611725 0
Current children cumulated CPU time (s) 1802.02
Current children cumulated vsize (KiB) 2449784
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.09
CPU time (s): 1802.11
CPU user time (s): 1774.02
CPU system time (s): 28.0937
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 2449784
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1774.02
system time used= 28.0937
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 605707
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= 3607
runsolver used 3.32949 second user time and 6.47002 second system time
The end
Begin job on node107 at 2010-06-30 21:41:44
IDJOB=2693619
IDBENCH=79274
IDSOLVER=1206
FILE ID=node107/2693619-1277926904
PBS_JOBID= 11197360
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.1900556231--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-2693619-1277926904/watcher-2693619-1277926904 -o /tmp/evaluation-result-2693619-1277926904/solver-2693619-1277926904 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693619-1277926904.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= ec85c0538058c3457da9eddcb3b315b2
RANDOM SEED=1401278938
node107.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.849
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.69
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.849
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.849
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.849
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.849
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.81
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.849
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.849
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.849
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.76
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 30122476 kB
Buffers: 207688 kB
Cached: 1276920 kB
SwapCached: 0 kB
Active: 1566088 kB
Inactive: 1118380 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 30122476 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 3336 kB
Writeback: 0 kB
AnonPages: 1199752 kB
Mapped: 16840 kB
Slab: 79932 kB
PageTables: 6972 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 1352228 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 node107 at 2010-06-30 22:11:46