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-2693629-1277927429.wbo>
0.03/0.03 c original problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5415 constraints
0.03/0.03 c problem read
0.03/0.03 c presolving settings loaded
0.03/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.12 o 136624
0.09/0.12 c feasible solution found by trivial heuristic, objective value 1.366240e+05
0.09/0.12 c presolving:
0.09/0.13 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.14 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.09/0.18 c (0.1s) probing: 101/2938 (3.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.18 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.18 c presolving (3 rounds):
0.09/0.18 c 0 deleted vars, 1 deleted constraints, 2707 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.18 c 2707 implications, 0 cliques
0.09/0.18 c presolved problem has 5645 variables (2938 bin, 0 int, 0 impl, 2707 cont) and 5414 constraints
0.09/0.18 c 2707 constraints of type <indicator>
0.09/0.18 c 2707 constraints of type <linear>
0.09/0.18 c transformed objective value is always integral (scale: 1)
0.09/0.18 c Presolving Time: 0.13
0.09/0.18 c - non default parameters ----------------------------------------------------------------------
0.09/0.18 c # SCIP version 1.2.1.2
0.09/0.18 c
0.09/0.18 c # frequency for displaying node information lines
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.18 c display/freq = 10000
0.09/0.18 c
0.09/0.18 c # maximal time in seconds to run
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/time = 1799.97
0.09/0.18 c
0.09/0.18 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/memory = 3420
0.09/0.18 c
0.09/0.18 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.18 c lp/solvefreq = -1
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify inequalities
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/linear/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify knapsacks
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.18 c separating/rapidlearning/freq = 0
0.09/0.18 c
0.09/0.18 c -----------------------------------------------------------------------------------------------
0.09/0.18 c start solving
0.09/0.19 c
0.19/0.20 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.20 c t 0.1s| 1 | 2 | 0 | - | 17M| 0 | - |5645 |5414 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | 1.366240e+05 | Inf
3.30/3.34 c 3.1s| 10000 | 9604 | 0 | 0.0 | 24M|2816 | - |5645 |6749 | 0 | 0 | 0 |1336 | 0 | 0.000000e+00 | 1.366240e+05 | Inf
6.09/6.17 c 5.8s| 20000 | 19601 | 0 | 0.0 | 28M|2816 | - |5645 |6761 | 0 | 0 | 0 |1349 | 0 | 0.000000e+00 | 1.366240e+05 | Inf
6.60/6.69 o 481
6.60/6.69 c * 6.2s| 22079 | 18690 | 0 | 0.0 | 28M|2816 | - |5645 |6809 | 0 | 0 | 0 |1397 | 0 | 0.000000e+00 | 4.810000e+02 | Inf
6.60/6.69 o 395
6.60/6.69 c * 6.3s| 22080 | 11071 | 0 | 0.0 | 26M|2816 | - |5645 |6809 | 0 | 0 | 0 |1397 | 0 | 0.000000e+00 | 3.950000e+02 | Inf
6.69/6.77 o 369
6.69/6.77 c * 6.3s| 22299 | 8830 | 0 | 0.0 | 26M|2816 | - |5645 |6854 | 0 | 0 | 0 |1442 | 0 | 0.000000e+00 | 3.690000e+02 | Inf
6.79/6.83 o 365
6.79/6.83 c * 6.4s| 22481 | 8534 | 0 | 0.0 | 27M|2816 | - |5645 |6899 | 0 | 0 | 0 |1488 | 0 | 0.000000e+00 | 3.650000e+02 | Inf
6.79/6.86 o 343
6.79/6.86 c * 6.4s| 22568 | 7294 | 0 | 0.0 | 24M|2816 | - |5645 |6908 | 0 | 0 | 0 |1498 | 0 | 0.000000e+00 | 3.430000e+02 | Inf
9.39/9.44 c 8.8s| 30000 | 13516 | 0 | 0.0 | 33M|2816 | - |5645 |8040 | 0 | 0 | 0 |6864 | 0 | 0.000000e+00 | 3.430000e+02 | Inf
13.69/13.78 c 12.9s| 40000 | 20729 | 0 | 0.0 | 45M|2816 | - |5645 |9072 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 3.430000e+02 | Inf
16.50/16.54 o 339
16.50/16.54 c *15.6s| 43828 | 22441 | 0 | 0.0 | 50M|2816 | - |5645 |9838 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 3.390000e+02 | Inf
16.50/16.54 o 330
16.50/16.54 c *15.6s| 43829 | 22335 | 0 | 0.0 | 50M|2816 | - |5645 |9838 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 3.300000e+02 | Inf
16.59/16.62 o 319
16.59/16.62 c *15.6s| 43971 | 22094 | 0 | 0.0 | 50M|2816 | - |5645 |9752 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 3.190000e+02 | Inf
16.59/16.63 o 287
16.59/16.63 c *15.6s| 43972 | 22032 | 0 | 0.0 | 49M|2816 | - |5645 |9752 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 2.870000e+02 | Inf
16.89/16.90 o 285
16.89/16.90 c *15.9s| 44555 | 22580 | 0 | 0.0 | 50M|2816 | - |5645 |9583 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 2.850000e+02 | Inf
17.09/17.16 o 278
17.09/17.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
17.09/17.16 c *16.2s| 45085 | 22979 | 0 | 0.0 | 50M|2816 | - |5645 |9406 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 2.780000e+02 | Inf
17.39/17.49 o 257
17.39/17.49 c *16.5s| 45625 | 23244 | 0 | 0.0 | 51M|2816 | - |5645 |9182 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 2.570000e+02 | Inf
17.59/17.66 o 245
17.59/17.66 c *16.6s| 46055 | 23487 | 0 | 0.0 | 51M|2816 | - |5645 |9102 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 2.450000e+02 | Inf
17.69/17.73 o 230
17.69/17.73 c *16.7s| 46149 | 23376 | 0 | 0.0 | 51M|2816 | - |5645 |9076 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 2.300000e+02 | Inf
17.79/17.86 o 208
17.79/17.86 c *16.8s| 46352 | 23440 | 0 | 0.0 | 51M|2816 | - |5645 |9010 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 2.080000e+02 | Inf
17.99/18.04 o 207
17.99/18.04 c *17.0s| 46648 | 23719 | 0 | 0.0 | 51M|2816 | - |5645 |8932 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 2.070000e+02 | Inf
17.99/18.04 o 189
17.99/18.04 c *17.0s| 46649 | 23629 | 0 | 0.0 | 51M|2816 | - |5645 |8932 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 1.890000e+02 | Inf
18.29/18.39 o 186
18.29/18.39 c *17.3s| 47167 | 24110 | 0 | 0.0 | 51M|2816 | - |5645 |8810 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 1.860000e+02 | Inf
18.29/18.39 o 181
18.29/18.39 c *17.3s| 47168 | 24084 | 0 | 0.0 | 51M|2816 | - |5645 |8810 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 1.810000e+02 | Inf
18.39/18.48 o 159
18.39/18.48 c *17.4s| 47309 | 24107 | 0 | 0.0 | 52M|2816 | - |5645 |8804 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 1.590000e+02 | Inf
18.70/18.75 o 158
18.70/18.75 c *17.7s| 47728 | 24492 | 0 | 0.0 | 52M|2816 | - |5645 |8782 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 1.580000e+02 | Inf
18.70/18.75 o 140
18.70/18.75 c *17.7s| 47729 | 24374 | 0 | 0.0 | 52M|2816 | - |5645 |8782 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 1.400000e+02 | Inf
18.80/18.83 o 136
18.80/18.83 c *17.8s| 47838 | 24437 | 0 | 0.0 | 52M|2816 | - |5645 |8765 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 1.360000e+02 | Inf
19.59/19.61 o 118
19.59/19.61 c *18.5s| 48873 | 25167 | 0 | 0.0 | 54M|2816 | - |5645 |8832 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 1.180000e+02 | Inf
20.19/20.22 o 112
20.19/20.22 c *19.1s| 49687 | 25634 | 0 | 0.0 | 55M|2816 | - |5645 |8938 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 1.120000e+02 | Inf
20.19/20.22 o 93
20.19/20.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
20.19/20.22 c *19.1s| 49688 | 25213 | 0 | 0.0 | 55M|2816 | - |5645 |8938 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 9.300000e+01 | Inf
20.49/20.50 c 19.4s| 50000 | 25488 | 0 | 0.0 | 55M|2816 | - |5645 |8936 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 9.300000e+01 | Inf
22.19/22.21 o 92
22.19/22.21 c *21.0s| 51643 | 26780 | 0 | 0.0 | 59M|2816 | - |5645 |8559 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 9.200000e+01 | Inf
23.69/23.76 o 84
23.69/23.76 c *22.5s| 53559 | 28047 | 0 | 0.0 | 61M|2816 | - |5645 |7709 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 8.400000e+01 | Inf
23.69/23.77 o 81
23.69/23.77 c *22.5s| 53560 | 27896 | 0 | 0.0 | 61M|2816 | - |5645 |7709 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
24.39/24.46 o 64
24.39/24.46 c *23.1s| 54472 | 27950 | 0 | 0.0 | 61M|2816 | - |5645 |7590 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | 6.400000e+01 | Inf
25.99/26.04 o 63
25.99/26.04 c *24.6s| 56569 | 29643 | 0 | 0.0 | 66M|2816 | - |5645 |7853 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
27.99/28.06 c 26.6s| 60000 | 32719 | 0 | 0.0 | 72M|2816 | - |5645 |7801 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
32.90/32.94 o 57
32.90/32.94 c *31.2s| 67280 | 38392 | 0 | 0.0 | 84M|2816 | - |5645 |7754 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | 5.700000e+01 | Inf
34.39/34.49 c 32.6s| 70000 | 40696 | 0 | 0.0 | 87M|2816 | - |5645 |7766 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | 5.700000e+01 | Inf
34.79/34.82 o 30
34.79/34.82 c *33.0s| 70431 | 38972 | 0 | 0.0 | 75M|2816 | - |5645 |7485 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
35.10/35.18 o 29
35.10/35.18 c *33.3s| 70795 | 39136 | 0 | 0.0 | 75M|2816 | - |5645 |7521 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
37.59/37.68 o 24
37.59/37.68 c *35.6s| 76870 | 43927 | 0 | 0.0 | 80M|2816 | - |5645 |7907 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
38.79/38.81 c 36.7s| 80000 | 46686 | 0 | 0.0 | 83M|2816 | - |5645 |8061 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
40.49/40.57 o 22
40.49/40.57 c *38.3s| 84632 | 50451 | 0 | 0.0 | 88M|2816 | - |5645 |8068 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
42.60/42.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
42.60/42.61 c 40.2s| 90000 | 54920 | 0 | 0.0 | 93M|2816 | - |5645 |8034 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
46.59/46.63 c 44.0s|100000 | 63151 | 0 | 0.0 | 103M|2816 | - |5645 |7277 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
51.39/51.40 c 48.4s|110000 | 70633 | 0 | 0.0 | 114M|2816 | - |5645 |7980 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
56.49/56.57 c 53.3s|120000 | 77778 | 0 | 0.0 | 126M|2816 | - |5645 |8466 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
62.10/62.14 c 58.6s|130000 | 84574 | 0 | 0.0 | 137M|2816 | - |5645 |9006 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
67.79/67.83 c 64.1s|140000 | 91174 | 0 | 0.0 | 149M|2816 | - |5645 |9501 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
73.70/73.75 c 69.7s|150000 | 97561 | 0 | 0.0 | 160M|2816 | - |5645 | 10k| 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
80.10/80.15 c 75.8s|160000 |103591 | 0 | 0.0 | 171M|2816 | - |5645 | 10k| 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
86.79/86.85 c 82.3s|170000 |109467 | 0 | 0.0 | 183M|2816 | - |5645 | 11k| 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
94.20/94.27 c 89.4s|180000 |114832 | 0 | 0.0 | 194M|2816 | - |5645 | 11k| 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
102.50/102.55 c 97.4s|190000 |119630 | 0 | 0.0 | 206M|2816 | - |5645 | 12k| 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
112.40/112.47 c 107s|200000 |123397 | 0 | 0.0 | 217M|2816 | - |5645 | 14k| 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
123.80/123.83 c 118s|210000 |127328 | 0 | 0.0 | 223M|2816 | - |5645 |7803 | 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
128.70/128.73 c 123s|220000 |135996 | 0 | 0.0 | 233M|2816 | - |5645 |7198 | 0 | 0 | 0 | 204k| 0 | 0.000000e+00 | 2.200000e+01 | Inf
132.89/132.97 o 21
132.89/132.97 c * 127s|226827 |141451 | 0 | 0.0 | 241M|2816 | - |5645 |7903 | 0 | 0 | 0 | 209k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
135.49/135.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
135.49/135.50 c 129s|230000 |143823 | 0 | 0.0 | 247M|2816 | - |5645 |8616 | 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | 2.100000e+01 | Inf
138.90/138.96 o 20
138.90/138.96 c * 132s|233758 |146218 | 0 | 0.0 | 252M|2816 | - |5645 |9492 | 0 | 0 | 0 | 216k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
148.40/148.46 c 141s|240000 |148264 | 0 | 0.0 | 266M|2816 | - |5645 | 12k| 0 | 0 | 0 | 227k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
154.49/154.52 c 147s|250000 |155778 | 0 | 0.0 | 277M|2816 | - |5645 |8992 | 0 | 0 | 0 | 235k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
161.49/161.56 c 154s|260000 |162827 | 0 | 0.0 | 289M|2816 | - |5645 | 10k| 0 | 0 | 0 | 246k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
166.00/166.10 o 15
166.00/166.10 c * 158s|266938 |166821 | 0 | 0.0 | 290M|2816 | - |5645 | 10k| 0 | 0 | 0 | 253k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
168.20/168.29 c 160s|270000 |168950 | 0 | 0.0 | 294M|2816 | - |5645 | 10k| 0 | 0 | 0 | 255k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
171.20/171.25 o 13
171.20/171.25 c * 163s|273120 |170212 | 0 | 0.0 | 296M|2816 | - |5645 | 12k| 0 | 0 | 0 | 260k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
175.90/175.95 c 168s|280000 |174821 | 0 | 0.0 | 304M|2816 | - |5645 |9752 | 0 | 0 | 0 | 266k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
181.70/181.79 c 173s|290000 |182829 | 0 | 0.0 | 315M|2816 | - |5645 | 10k| 0 | 0 | 0 | 273k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
188.70/188.71 c 180s|300000 |190254 | 0 | 0.0 | 326M|2816 | - |5645 | 11k| 0 | 0 | 0 | 282k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
197.60/197.69 c 188s|310000 |196694 | 0 | 0.0 | 339M|2816 | - |5645 | 12k| 0 | 0 | 0 | 295k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
208.39/208.40 c 199s|320000 |200995 | 0 | 0.0 | 352M|2816 | - |5645 | 15k| 0 | 0 | 0 | 310k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
211.60/211.64 o 10
211.60/211.64 c * 202s|326793 |205703 | 0 | 0.0 | 352M|2816 | - |5645 | 12k| 0 | 0 | 0 | 315k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
213.50/213.59 c 204s|330000 |208160 | 0 | 0.0 | 357M|2816 | - |5645 | 12k| 0 | 0 | 0 | 318k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
220.50/220.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
220.50/220.52 c 210s|340000 |214538 | 0 | 0.0 | 366M|2816 | - |5645 |9371 | 0 | 0 | 0 | 327k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
220.70/220.78 o 8
220.70/220.78 c * 210s|340697 |214479 | 0 | 0.0 | 363M|2816 | - |5645 |9363 | 0 | 0 | 0 | 327k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
224.41/224.42 c 214s|350000 |222259 | 0 | 0.0 | 372M|2816 | - |5645 |9917 | 0 | 0 | 0 | 329k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
229.10/229.17 c 218s|360000 |229651 | 0 | 0.0 | 383M|2816 | - |5645 | 11k| 0 | 0 | 0 | 334k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
236.40/236.41 c 225s|370000 |234195 | 0 | 0.0 | 392M|2816 | - |5645 | 10k| 0 | 0 | 0 | 342k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
240.30/240.38 c 229s|380000 |242373 | 0 | 0.0 | 401M|2816 | - |5645 |9942 | 0 | 0 | 0 | 345k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
244.90/244.95 c 233s|390000 |249925 | 0 | 0.0 | 411M|2816 | - |5645 | 10k| 0 | 0 | 0 | 349k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
251.80/251.90 c 240s|400000 |255156 | 0 | 0.0 | 421M|2816 | - |5645 | 11k| 0 | 0 | 0 | 357k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
255.80/255.82 c 243s|410000 |263305 | 0 | 0.0 | 431M|2816 | - |5645 | 11k| 0 | 0 | 0 | 361k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
261.11/261.14 c 248s|420000 |270152 | 0 | 0.0 | 441M|2816 | - |5645 | 10k| 0 | 0 | 0 | 366k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
266.40/266.49 c 253s|430000 |276862 | 0 | 0.0 | 450M|2816 | - |5645 | 11k| 0 | 0 | 0 | 372k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
270.51/270.60 c 257s|440000 |284757 | 0 | 0.0 | 459M|2816 | - |5645 | 11k| 0 | 0 | 0 | 376k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
275.40/275.45 c 262s|450000 |292067 | 0 | 0.0 | 468M|2816 | - |5645 | 10k| 0 | 0 | 0 | 380k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
280.50/280.55 c 267s|460000 |298980 | 0 | 0.0 | 477M|2816 | - |5645 | 11k| 0 | 0 | 0 | 385k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
284.40/284.45 c 270s|470000 |307208 | 0 | 0.0 | 486M|2816 | - |5645 | 10k| 0 | 0 | 0 | 389k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
289.21/289.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
289.21/289.29 c 275s|480000 |314508 | 0 | 0.0 | 495M|2816 | - |5645 | 11k| 0 | 0 | 0 | 393k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
294.60/294.62 c 280s|490000 |321347 | 0 | 0.0 | 504M|2816 | - |5645 | 11k| 0 | 0 | 0 | 398k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
300.10/300.12 c 285s|500000 |327889 | 0 | 0.0 | 512M|2816 | - |5645 | 11k| 0 | 0 | 0 | 404k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
304.41/304.45 c 289s|510000 |335594 | 0 | 0.0 | 522M|2816 | - |5645 | 11k| 0 | 0 | 0 | 408k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
309.01/309.00 c 293s|520000 |343140 | 0 | 0.0 | 530M|2816 | - |5645 | 10k| 0 | 0 | 0 | 411k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
313.90/313.94 c 298s|530000 |350383 | 0 | 0.0 | 539M|2816 | - |5645 | 10k| 0 | 0 | 0 | 416k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
318.00/318.04 c 302s|540000 |358444 | 0 | 0.0 | 549M|2816 | - |5645 | 11k| 0 | 0 | 0 | 419k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
324.31/324.39 c 308s|550000 |364297 | 0 | 0.0 | 559M|2816 | - |5645 | 13k| 0 | 0 | 0 | 426k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
324.51/324.59 o 2
324.51/324.59 c * 308s|550241 |358657 | 0 | 0.0 | 540M|2816 | - |5645 | 14k| 0 | 0 | 0 | 426k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
328.50/328.58 c 312s|560000 |366548 | 0 | 0.0 | 548M|2816 | - |5645 | 11k| 0 | 0 | 0 | 429k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
333.60/333.63 c 316s|570000 |373734 | 0 | 0.0 | 558M|2816 | - |5645 | 11k| 0 | 0 | 0 | 434k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
338.60/338.68 c 321s|580000 |380920 | 0 | 0.0 | 568M|2816 | - |5645 | 11k| 0 | 0 | 0 | 439k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
344.21/344.23 c 326s|590000 |387647 | 0 | 0.0 | 577M|2816 | - |5645 | 10k| 0 | 0 | 0 | 444k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
349.21/349.28 c 331s|600000 |394792 | 0 | 0.0 | 587M|2816 | - |5645 | 12k| 0 | 0 | 0 | 449k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
354.90/354.94 c 336s|610000 |401490 | 0 | 0.0 | 597M|2816 | - |5645 | 11k| 0 | 0 | 0 | 454k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
360.51/360.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
360.51/360.50 c 342s|620000 |408223 | 0 | 0.0 | 607M|2816 | - |5645 | 12k| 0 | 0 | 0 | 459k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
365.90/365.95 c 347s|630000 |415060 | 0 | 0.0 | 617M|2816 | - |5645 | 11k| 0 | 0 | 0 | 464k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
370.91/370.93 c 351s|640000 |422267 | 0 | 0.0 | 626M|2816 | - |5645 | 11k| 0 | 0 | 0 | 469k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
376.60/376.61 c 357s|650000 |428828 | 0 | 0.0 | 636M|2816 | - |5645 | 12k| 0 | 0 | 0 | 474k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
382.40/382.47 c 362s|660000 |435510 | 0 | 0.0 | 647M|2816 | - |5645 | 12k| 0 | 0 | 0 | 480k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
389.01/389.06 c 369s|670000 |441672 | 0 | 0.0 | 657M|2816 | - |5645 | 12k| 0 | 0 | 0 | 486k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
397.01/397.02 c 376s|680000 |446716 | 0 | 0.0 | 668M|2816 | - |5645 | 12k| 0 | 0 | 0 | 494k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
405.20/405.26 c 384s|690000 |451469 | 0 | 0.0 | 679M|2816 | - |5645 | 13k| 0 | 0 | 0 | 503k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
414.21/414.24 c 393s|700000 |455710 | 0 | 0.0 | 690M|2816 | - |5645 | 13k| 0 | 0 | 0 | 512k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
423.11/423.19 c 401s|710000 |460068 | 0 | 0.0 | 701M|2816 | - |5645 | 14k| 0 | 0 | 0 | 522k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
432.21/432.23 c 410s|720000 |464286 | 0 | 0.0 | 712M|2816 | - |5645 | 14k| 0 | 0 | 0 | 531k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
441.21/441.27 c 419s|730000 |468531 | 0 | 0.0 | 722M|2816 | - |5645 | 15k| 0 | 0 | 0 | 541k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
450.30/450.38 c 428s|740000 |472812 | 0 | 0.0 | 732M|2816 | - |5645 | 15k| 0 | 0 | 0 | 550k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
459.91/459.93 c 437s|750000 |476714 | 0 | 0.0 | 742M|2816 | - |5645 | 15k| 0 | 0 | 0 | 560k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
469.71/469.76 c 446s|760000 |480383 | 0 | 0.0 | 752M|2816 | - |5645 | 15k| 0 | 0 | 0 | 571k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
479.91/479.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
479.91/479.92 c 456s|770000 |483900 | 0 | 0.0 | 762M|2816 | - |5645 | 15k| 0 | 0 | 0 | 582k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
490.21/490.20 c 466s|780000 |487329 | 0 | 0.0 | 772M|2816 | - |5645 | 15k| 0 | 0 | 0 | 593k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
500.61/500.64 c 476s|790000 |490594 | 0 | 0.0 | 782M|2816 | - |5645 | 15k| 0 | 0 | 0 | 604k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
510.81/510.85 c 486s|800000 |493996 | 0 | 0.0 | 791M|2816 | - |5645 | 15k| 0 | 0 | 0 | 616k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
521.31/521.31 c 496s|810000 |497230 | 0 | 0.0 | 801M|2816 | - |5645 | 16k| 0 | 0 | 0 | 627k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
531.21/531.27 c 506s|820000 |500813 | 0 | 0.0 | 810M|2816 | - |5645 | 15k| 0 | 0 | 0 | 638k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
541.22/541.26 c 516s|830000 |504353 | 0 | 0.0 | 820M|2816 | - |5645 | 15k| 0 | 0 | 0 | 650k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
551.51/551.56 c 526s|840000 |507589 | 0 | 0.0 | 829M|2816 | - |5645 | 15k| 0 | 0 | 0 | 662k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
563.22/563.23 c 537s|850000 |509042 | 0 | 0.0 | 837M|2816 | - |5645 | 16k| 0 | 0 | 0 | 676k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
575.92/575.94 c 549s|860000 |508991 | 0 | 0.0 | 845M|2816 | - |5645 | 16k| 0 | 0 | 0 | 691k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
590.21/590.24 c 563s|870000 |507120 | 0 | 0.0 | 849M|2816 | - |5645 | 18k| 0 | 0 | 0 | 707k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
606.71/606.79 c 579s|880000 |502351 | 0 | 0.0 | 848M|2816 | - |5645 | 20k| 0 | 0 | 0 | 726k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
620.62/620.67 c 593s|890000 |499130 | 0 | 0.0 | 833M|2816 | - |5645 | 10k| 0 | 0 | 0 | 742k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
625.31/625.35 c 597s|900000 |506981 | 0 | 0.0 | 842M|2816 | - |5645 | 10k| 0 | 0 | 0 | 746k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
629.82/629.86 c 601s|910000 |514778 | 0 | 0.0 | 851M|2816 | - |5645 | 10k| 0 | 0 | 0 | 750k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
634.41/634.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
634.41/634.49 c 606s|920000 |522458 | 0 | 0.0 | 861M|2816 | - |5645 | 10k| 0 | 0 | 0 | 754k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
639.12/639.12 c 610s|930000 |530094 | 0 | 0.0 | 870M|2816 | - |5645 | 10k| 0 | 0 | 0 | 757k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
644.11/644.10 c 615s|940000 |537532 | 0 | 0.0 | 879M|2816 | - |5645 | 11k| 0 | 0 | 0 | 762k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
650.21/650.28 c 621s|950000 |544144 | 0 | 0.0 | 889M|2816 | - |5645 | 12k| 0 | 0 | 0 | 768k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
656.62/656.68 c 627s|960000 |550718 | 0 | 0.0 | 899M|2816 | - |5645 | 12k| 0 | 0 | 0 | 773k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
663.91/663.90 c 634s|970000 |556760 | 0 | 0.0 | 910M|2816 | - |5645 | 13k| 0 | 0 | 0 | 780k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
671.41/671.46 c 641s|980000 |562624 | 0 | 0.0 | 920M|2816 | - |5645 | 14k| 0 | 0 | 0 | 786k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
680.02/680.00 c 649s|990000 |567916 | 0 | 0.0 | 930M|2816 | - |5645 | 15k| 0 | 0 | 0 | 794k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
689.51/689.51 c 658s| 1000k|572591 | 0 | 0.0 | 941M|2816 | - |5645 | 16k| 0 | 0 | 0 | 803k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
700.32/700.37 c 669s| 1010k|576503 | 0 | 0.0 | 951M|2816 | - |5645 | 17k| 0 | 0 | 0 | 813k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
713.52/713.55 c 681s| 1020k|579067 | 0 | 0.0 | 961M|2816 | - |5645 | 19k| 0 | 0 | 0 | 825k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
729.92/729.93 c 697s| 1030k|580055 | 0 | 0.0 | 970M|2816 | - |5645 | 21k| 0 | 0 | 0 | 840k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
753.02/753.08 c 720s| 1040k|576365 | 0 | 0.0 | 967M|2816 | - |5645 | 17k| 0 | 0 | 0 | 859k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
759.12/759.10 c 726s| 1050k|583699 | 0 | 0.0 | 977M|2816 | - |5645 | 12k| 0 | 0 | 0 | 863k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
765.22/765.26 c 731s| 1060k|590542 | 0 | 0.0 | 988M|2816 | - |5645 | 13k| 0 | 0 | 0 | 869k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
772.02/772.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
772.02/772.10 c 738s| 1070k|596844 | 0 | 0.0 | 999M|2816 | - |5645 | 14k| 0 | 0 | 0 | 875k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
779.62/779.63 c 745s| 1080k|602629 | 0 | 0.0 |1010M|2816 | - |5645 | 15k| 0 | 0 | 0 | 882k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
788.42/788.49 c 754s| 1090k|607531 | 0 | 0.0 |1020M|2816 | - |5645 | 16k| 0 | 0 | 0 | 891k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
799.02/799.04 c 764s| 1100k|611422 | 0 | 0.0 |1030M|2816 | - |5645 | 17k| 0 | 0 | 0 | 901k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
811.63/811.61 c 776s| 1110k|614107 | 0 | 0.0 |1038M|2816 | - |5645 | 16k| 0 | 0 | 0 | 914k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
822.73/822.79 c 787s| 1120k|617438 | 0 | 0.0 |1046M|2816 | - |5645 | 13k| 0 | 0 | 0 | 924k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
830.42/830.50 c 794s| 1130k|623004 | 0 | 0.0 |1054M|2816 | - |5645 | 12k| 0 | 0 | 0 | 931k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
837.33/837.34 c 801s| 1140k|629213 | 0 | 0.0 |1064M|2816 | - |5645 | 13k| 0 | 0 | 0 | 938k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
844.92/844.93 c 808s| 1150k|634968 | 0 | 0.0 |1075M|2816 | - |5645 | 15k| 0 | 0 | 0 | 945k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
853.82/853.81 c 816s| 1160k|639921 | 0 | 0.0 |1086M|2816 | - |5645 | 16k| 0 | 0 | 0 | 953k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
864.32/864.37 c 827s| 1170k|643862 | 0 | 0.0 |1096M|2816 | - |5645 | 18k| 0 | 0 | 0 | 963k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
878.83/878.84 c 841s| 1180k|645595 | 0 | 0.0 |1105M|2816 | - |5645 | 22k| 0 | 0 | 0 | 977k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
890.53/890.53 c 852s| 1190k|649568 | 0 | 0.0 |1108M|2816 | - |5645 | 14k| 0 | 0 | 0 | 986k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
896.23/896.27 c 857s| 1200k|656877 | 0 | 0.0 |1117M|2816 | - |5645 | 12k| 0 | 0 | 0 | 991k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
902.22/902.20 c 863s| 1210k|663884 | 0 | 0.0 |1127M|2816 | - |5645 | 12k| 0 | 0 | 0 | 996k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
908.63/908.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
908.63/908.60 c 869s| 1220k|670551 | 0 | 0.0 |1137M|2816 | - |5645 | 13k| 0 | 0 | 0 |1002k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
915.42/915.41 c 876s| 1230k|676917 | 0 | 0.0 |1148M|2816 | - |5645 | 13k| 0 | 0 | 0 |1008k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
922.93/922.94 c 883s| 1240k|682804 | 0 | 0.0 |1158M|2816 | - |5645 | 14k| 0 | 0 | 0 |1015k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
931.02/931.01 c 891s| 1250k|688396 | 0 | 0.0 |1168M|2816 | - |5645 | 14k| 0 | 0 | 0 |1022k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
939.33/939.33 c 899s| 1260k|693787 | 0 | 0.0 |1178M|2816 | - |5645 | 14k| 0 | 0 | 0 |1030k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
947.92/947.96 c 907s| 1270k|698950 | 0 | 0.0 |1187M|2816 | - |5645 | 14k| 0 | 0 | 0 |1038k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
957.03/957.03 c 916s| 1280k|703902 | 0 | 0.0 |1197M|2816 | - |5645 | 14k| 0 | 0 | 0 |1046k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
966.43/966.49 c 925s| 1290k|708636 | 0 | 0.0 |1206M|2816 | - |5645 | 14k| 0 | 0 | 0 |1055k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
976.03/976.02 c 934s| 1300k|713272 | 0 | 0.0 |1215M|2816 | - |5645 | 14k| 0 | 0 | 0 |1064k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
985.83/985.83 c 943s| 1310k|717672 | 0 | 0.0 |1224M|2816 | - |5645 | 15k| 0 | 0 | 0 |1073k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
995.83/995.82 c 953s| 1320k|722062 | 0 | 0.0 |1233M|2816 | - |5645 | 15k| 0 | 0 | 0 |1083k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1006.44/1006.41 c 963s| 1330k|726034 | 0 | 0.0 |1242M|2816 | - |5645 | 15k| 0 | 0 | 0 |1093k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1016.73/1016.77 c 973s| 1340k|730175 | 0 | 0.0 |1250M|2816 | - |5645 | 16k| 0 | 0 | 0 |1102k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1027.43/1027.49 c 983s| 1350k|733999 | 0 | 0.0 |1259M|2816 | - |5645 | 16k| 0 | 0 | 0 |1113k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1038.33/1038.31 c 994s| 1360k|737792 | 0 | 0.0 |1269M|2816 | - |5645 | 17k| 0 | 0 | 0 |1123k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1050.83/1050.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1050.83/1050.88 c 1006s| 1370k|740422 | 0 | 0.0 |1278M|2816 | - |5645 | 20k| 0 | 0 | 0 |1135k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1068.33/1068.30 c 1023s| 1380k|740186 | 0 | 0.0 |1282M|2816 | - |5645 | 22k| 0 | 0 | 0 |1151k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1074.63/1074.68 c 1029s| 1390k|747896 | 0 | 0.0 |1293M|2816 | - |5645 | 13k| 0 | 0 | 0 |1155k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1081.13/1081.17 c 1035s| 1400k|754950 | 0 | 0.0 |1307M|2816 | - |5645 | 13k| 0 | 0 | 0 |1160k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1087.94/1087.99 c 1042s| 1410k|761569 | 0 | 0.0 |1321M|2816 | - |5645 | 14k| 0 | 0 | 0 |1166k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1095.54/1095.54 c 1049s| 1420k|767704 | 0 | 0.0 |1335M|2816 | - |5645 | 15k| 0 | 0 | 0 |1173k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1104.04/1104.03 c 1057s| 1430k|773191 | 0 | 0.0 |1348M|2816 | - |5645 | 16k| 0 | 0 | 0 |1180k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1113.73/1113.76 c 1066s| 1440k|777905 | 0 | 0.0 |1361M|2816 | - |5645 | 17k| 0 | 0 | 0 |1189k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1125.83/1125.81 c 1078s| 1450k|781253 | 0 | 0.0 |1374M|2816 | - |5645 | 19k| 0 | 0 | 0 |1201k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1142.74/1142.76 c 1094s| 1460k|782210 | 0 | 0.0 |1381M|2816 | - |5645 | 12k| 0 | 0 | 0 |1215k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1147.73/1147.76 c 1099s| 1470k|789820 | 0 | 0.0 |1391M|2816 | - |5645 | 11k| 0 | 0 | 0 |1218k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1152.63/1152.64 c 1104s| 1480k|797403 | 0 | 0.0 |1401M|2816 | - |5645 | 11k| 0 | 0 | 0 |1222k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1157.44/1157.45 c 1108s| 1490k|804977 | 0 | 0.0 |1411M|2816 | - |5645 | 12k| 0 | 0 | 0 |1225k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1162.43/1162.44 c 1113s| 1500k|812374 | 0 | 0.0 |1420M|2816 | - |5645 | 12k| 0 | 0 | 0 |1229k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1167.74/1167.73 c 1118s| 1510k|819482 | 0 | 0.0 |1430M|2816 | - |5645 | 12k| 0 | 0 | 0 |1233k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1172.93/1172.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1172.93/1172.91 c 1123s| 1520k|826618 | 0 | 0.0 |1439M|2816 | - |5645 | 12k| 0 | 0 | 0 |1237k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1178.73/1178.78 c 1128s| 1530k|833251 | 0 | 0.0 |1449M|2816 | - |5645 | 13k| 0 | 0 | 0 |1242k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1184.44/1184.46 c 1134s| 1540k|840028 | 0 | 0.0 |1458M|2816 | - |5645 | 13k| 0 | 0 | 0 |1247k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1190.43/1190.48 c 1139s| 1550k|846464 | 0 | 0.0 |1467M|2816 | - |5645 | 13k| 0 | 0 | 0 |1252k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1197.14/1197.17 c 1146s| 1560k|852401 | 0 | 0.0 |1477M|2816 | - |5645 | 13k| 0 | 0 | 0 |1257k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1203.54/1203.59 c 1152s| 1570k|858527 | 0 | 0.0 |1486M|2816 | - |5645 | 13k| 0 | 0 | 0 |1263k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1210.54/1210.52 c 1158s| 1580k|864236 | 0 | 0.0 |1496M|2816 | - |5645 | 14k| 0 | 0 | 0 |1269k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1218.64/1218.62 c 1166s| 1590k|869059 | 0 | 0.0 |1505M|2816 | - |5645 | 14k| 0 | 0 | 0 |1276k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1227.44/1227.47 c 1174s| 1600k|873333 | 0 | 0.0 |1514M|2816 | - |5645 | 15k| 0 | 0 | 0 |1284k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1237.45/1237.41 c 1184s| 1610k|876770 | 0 | 0.0 |1523M|2816 | - |5645 | 15k| 0 | 0 | 0 |1294k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1249.24/1249.22 c 1195s| 1620k|878777 | 0 | 0.0 |1530M|2816 | - |5645 | 16k| 0 | 0 | 0 |1305k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1264.34/1264.34 c 1210s| 1630k|878447 | 0 | 0.0 |1536M|2816 | - |5645 | 17k| 0 | 0 | 0 |1319k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1272.34/1272.35 c 1218s| 1640k|883836 | 0 | 0.0 |1541M|2816 | - |5645 | 12k| 0 | 0 | 0 |1325k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1277.54/1277.54 c 1223s| 1650k|891137 | 0 | 0.0 |1550M|2816 | - |5645 | 12k| 0 | 0 | 0 |1329k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1283.13/1283.15 c 1228s| 1660k|898095 | 0 | 0.0 |1560M|2816 | - |5645 | 12k| 0 | 0 | 0 |1333k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1289.03/1289.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1289.03/1289.03 c 1233s| 1670k|904823 | 0 | 0.0 |1570M|2816 | - |5645 | 12k| 0 | 0 | 0 |1338k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1294.93/1294.92 c 1239s| 1680k|911469 | 0 | 0.0 |1580M|2816 | - |5645 | 12k| 0 | 0 | 0 |1342k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1301.04/1301.07 c 1245s| 1690k|917897 | 0 | 0.0 |1589M|2816 | - |5645 | 12k| 0 | 0 | 0 |1347k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1307.54/1307.55 c 1251s| 1700k|924029 | 0 | 0.0 |1599M|2816 | - |5645 | 13k| 0 | 0 | 0 |1353k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1314.55/1314.58 c 1258s| 1710k|929716 | 0 | 0.0 |1609M|2816 | - |5645 | 13k| 0 | 0 | 0 |1359k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1321.94/1321.99 c 1265s| 1720k|935115 | 0 | 0.0 |1619M|2816 | - |5645 | 13k| 0 | 0 | 0 |1366k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1329.54/1329.54 c 1272s| 1730k|940352 | 0 | 0.0 |1628M|2816 | - |5645 | 14k| 0 | 0 | 0 |1373k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1337.55/1337.51 c 1280s| 1740k|945285 | 0 | 0.0 |1637M|2816 | - |5645 | 14k| 0 | 0 | 0 |1380k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1345.84/1345.86 c 1288s| 1750k|949975 | 0 | 0.0 |1645M|2816 | - |5645 | 14k| 0 | 0 | 0 |1388k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1354.74/1354.73 c 1296s| 1760k|954314 | 0 | 0.0 |1654M|2816 | - |5645 | 15k| 0 | 0 | 0 |1396k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1364.44/1364.45 c 1305s| 1770k|958033 | 0 | 0.0 |1662M|2816 | - |5645 | 16k| 0 | 0 | 0 |1405k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1376.34/1376.34 c 1317s| 1780k|960310 | 0 | 0.0 |1670M|2816 | - |5645 | 17k| 0 | 0 | 0 |1416k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1390.64/1390.67 c 1331s| 1790k|961090 | 0 | 0.0 |1674M|2816 | - |5645 | 18k| 0 | 0 | 0 |1428k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1395.85/1395.87 c 1336s| 1800k|968687 | 0 | 0.0 |1683M|2816 | - |5645 | 13k| 0 | 0 | 0 |1432k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1400.85/1400.88 c 1340s| 1810k|976053 | 0 | 0.0 |1692M|2816 | - |5645 | 13k| 0 | 0 | 0 |1436k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1406.64/1406.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1406.64/1406.66 c 1346s| 1820k|982776 | 0 | 0.0 |1703M|2816 | - |5645 | 13k| 0 | 0 | 0 |1440k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1413.45/1413.45 c 1352s| 1830k|988729 | 0 | 0.0 |1714M|2816 | - |5645 | 14k| 0 | 0 | 0 |1446k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1420.54/1420.50 c 1359s| 1840k|994479 | 0 | 0.0 |1724M|2816 | - |5645 | 15k| 0 | 0 | 0 |1453k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1427.95/1427.99 c 1366s| 1850k|999819 | 0 | 0.0 |1734M|2816 | - |5645 | 16k| 0 | 0 | 0 |1460k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1437.14/1437.18 c 1375s| 1860k| 1003k| 0 | 0.0 |1744M|2816 | - |5645 | 17k| 0 | 0 | 0 |1469k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1450.04/1450.05 c 1387s| 1870k| 1005k| 0 | 0.0 |1751M|2816 | - |5645 | 20k| 0 | 0 | 0 |1482k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1456.45/1456.45 c 1393s| 1880k| 1012k| 0 | 0.0 |1757M|2816 | - |5645 | 13k| 0 | 0 | 0 |1487k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1461.65/1461.67 c 1398s| 1890k| 1019k| 0 | 0.0 |1766M|2816 | - |5645 | 13k| 0 | 0 | 0 |1490k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1467.25/1467.25 c 1404s| 1900k| 1026k| 0 | 0.0 |1775M|2816 | - |5645 | 13k| 0 | 0 | 0 |1494k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1473.44/1473.45 c 1409s| 1910k| 1033k| 0 | 0.0 |1785M|2816 | - |5645 | 14k| 0 | 0 | 0 |1499k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1480.24/1480.24 c 1416s| 1920k| 1039k| 0 | 0.0 |1794M|2816 | - |5645 | 15k| 0 | 0 | 0 |1505k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1487.94/1487.96 c 1423s| 1930k| 1044k| 0 | 0.0 |1803M|2816 | - |5645 | 16k| 0 | 0 | 0 |1511k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1499.64/1499.62 c 1434s| 1940k| 1047k| 0 | 0.0 |1812M|2816 | - |5645 | 19k| 0 | 0 | 0 |1522k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1509.45/1509.41 c 1444s| 1950k| 1051k| 0 | 0.0 |1817M|2816 | - |5645 | 14k| 0 | 0 | 0 |1530k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1514.65/1514.63 c 1449s| 1960k| 1058k| 0 | 0.0 |1826M|2816 | - |5645 | 13k| 0 | 0 | 0 |1533k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1520.15/1520.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1520.15/1520.14 c 1454s| 1970k| 1066k| 0 | 0.0 |1836M|2816 | - |5645 | 13k| 0 | 0 | 0 |1537k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1526.14/1526.13 c 1460s| 1980k| 1073k| 0 | 0.0 |1845M|2816 | - |5645 | 14k| 0 | 0 | 0 |1542k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1532.84/1532.80 c 1466s| 1990k| 1079k| 0 | 0.0 |1854M|2816 | - |5645 | 14k| 0 | 0 | 0 |1547k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1540.35/1540.36 c 1473s| 2000k| 1084k| 0 | 0.0 |1864M|2816 | - |5645 | 16k| 0 | 0 | 0 |1554k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1548.95/1548.96 c 1481s| 2010k| 1089k| 0 | 0.0 |1874M|2816 | - |5645 | 17k| 0 | 0 | 0 |1562k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1559.45/1559.46 c 1492s| 2020k| 1093k| 0 | 0.0 |1883M|2816 | - |5645 | 18k| 0 | 0 | 0 |1571k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1574.54/1574.58 c 1506s| 2030k| 1093k| 0 | 0.0 |1887M|2816 | - |5645 | 20k| 0 | 0 | 0 |1585k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1580.14/1580.19 c 1512s| 2040k| 1101k| 0 | 0.0 |1895M|2816 | - |5645 | 13k| 0 | 0 | 0 |1588k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1585.55/1585.58 c 1517s| 2050k| 1108k| 0 | 0.0 |1905M|2816 | - |5645 | 13k| 0 | 0 | 0 |1592k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1591.25/1591.24 c 1522s| 2060k| 1115k| 0 | 0.0 |1914M|2816 | - |5645 | 13k| 0 | 0 | 0 |1596k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1597.45/1597.44 c 1528s| 2070k| 1122k| 0 | 0.0 |1924M|2816 | - |5645 | 14k| 0 | 0 | 0 |1600k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1604.45/1604.45 c 1534s| 2080k| 1128k| 0 | 0.0 |1933M|2816 | - |5645 | 15k| 0 | 0 | 0 |1606k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1612.35/1612.35 c 1542s| 2090k| 1134k| 0 | 0.0 |1943M|2816 | - |5645 | 16k| 0 | 0 | 0 |1613k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1622.05/1622.03 c 1551s| 2100k| 1138k| 0 | 0.0 |1952M|2816 | - |5645 | 18k| 0 | 0 | 0 |1622k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1634.35/1634.31 c 1563s| 2110k| 1140k| 0 | 0.0 |1960M|2816 | - |5645 | 19k| 0 | 0 | 0 |1632k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1644.76/1644.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1644.76/1644.76 c 1573s| 2120k| 1145k| 0 | 0.0 |1965M|2816 | - |5645 | 14k| 0 | 0 | 0 |1640k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1650.16/1650.13 c 1578s| 2130k| 1152k| 0 | 0.0 |1974M|2816 | - |5645 | 13k| 0 | 0 | 0 |1644k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1655.56/1655.50 c 1583s| 2140k| 1160k| 0 | 0.0 |1983M|2816 | - |5645 | 13k| 0 | 0 | 0 |1647k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1661.25/1661.20 c 1589s| 2150k| 1167k| 0 | 0.0 |1992M|2816 | - |5645 | 13k| 0 | 0 | 0 |1651k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1667.15/1667.13 c 1594s| 2160k| 1173k| 0 | 0.0 |2001M|2816 | - |5645 | 13k| 0 | 0 | 0 |1656k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1673.45/1673.44 c 1600s| 2170k| 1180k| 0 | 0.0 |2010M|2816 | - |5645 | 13k| 0 | 0 | 0 |1661k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1680.15/1680.16 c 1607s| 2180k| 1186k| 0 | 0.0 |2020M|2816 | - |5645 | 14k| 0 | 0 | 0 |1666k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1687.25/1687.20 c 1613s| 2190k| 1192k| 0 | 0.0 |2029M|2816 | - |5645 | 14k| 0 | 0 | 0 |1672k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1694.75/1694.74 c 1621s| 2200k| 1198k| 0 | 0.0 |2038M|2816 | - |5645 | 15k| 0 | 0 | 0 |1678k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1702.86/1702.82 c 1628s| 2210k| 1203k| 0 | 0.0 |2047M|2816 | - |5645 | 15k| 0 | 0 | 0 |1685k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1711.36/1711.35 c 1637s| 2220k| 1208k| 0 | 0.0 |2055M|2816 | - |5645 | 15k| 0 | 0 | 0 |1693k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1720.26/1720.27 c 1645s| 2230k| 1213k| 0 | 0.0 |2063M|2816 | - |5645 | 15k| 0 | 0 | 0 |1700k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1728.85/1728.85 c 1653s| 2240k| 1218k| 0 | 0.0 |2071M|2816 | - |5645 | 15k| 0 | 0 | 0 |1708k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1737.65/1737.62 c 1662s| 2250k| 1223k| 0 | 0.0 |2079M|2816 | - |5645 | 15k| 0 | 0 | 0 |1715k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1745.95/1745.95 c 1670s| 2260k| 1228k| 0 | 0.0 |2087M|2816 | - |5645 | 15k| 0 | 0 | 0 |1722k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1753.95/1753.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1753.95/1753.98 c 1677s| 2270k| 1233k| 0 | 0.0 |2094M|2816 | - |5645 | 15k| 0 | 0 | 0 |1729k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1761.25/1761.25 c 1684s| 2280k| 1239k| 0 | 0.0 |2102M|2816 | - |5645 | 15k| 0 | 0 | 0 |1735k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1768.66/1768.64 c 1691s| 2290k| 1245k| 0 | 0.0 |2111M|2816 | - |5645 | 15k| 0 | 0 | 0 |1741k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1775.76/1775.75 c 1698s| 2300k| 1251k| 0 | 0.0 |2119M|2816 | - |5645 | 16k| 0 | 0 | 0 |1747k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1783.06/1783.09 c 1705s| 2310k| 1257k| 0 | 0.0 |2127M|2816 | - |5645 | 17k| 0 | 0 | 0 |1752k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1792.26/1792.26 c 1714s| 2320k| 1261k| 0 | 0.0 |2136M|2816 | - |5645 | 18k| 0 | 0 | 0 |1760k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1800.06/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.06/1800.00 c
1800.06/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.00 c Solving Time (sec) : 1721.47
1800.06/1800.00 c Solving Nodes : 2326439
1800.06/1800.00 c Primal Bound : +2.00000000000000e+00 (46 solutions)
1800.06/1800.00 c Dual Bound : +0.00000000000000e+00
1800.06/1800.00 c Gap : infinite
1800.06/1800.07 s SATISFIABLE
1800.06/1800.07 v -x231 -x230 -x229 -x228 -x227 -x226 x225 -x224 -x223 -x222 -x221 -x220 -x219 x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210
1800.06/1800.07 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 x202 x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.06/1800.07 v -x188 -x187 -x186 -x185 x184 -x183 -x182 -x181 -x180 -x179 x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
1800.06/1800.07 v -x167 x166 -x165 -x164 -x163 -x162 -x161 x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.06/1800.07 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126
1800.06/1800.07 v -x125 -x124 -x123 -x122 x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105
1800.06/1800.07 v -x104 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.06/1800.07 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
1800.06/1800.07 v -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 x35 -x34 -x33 -x32 -x31 -x30 -x29
1800.06/1800.07 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.06/1800.07 v -x1
1800.06/1800.07 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.07 c Solving Time : 1721.47
1800.06/1800.07 c Original Problem :
1800.06/1800.07 c Problem name : HOME/instance-2693629-1277927429.wbo
1800.06/1800.07 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.06/1800.07 c Constraints : 5415 initial, 5415 maximal
1800.06/1800.07 c Presolved Problem :
1800.06/1800.07 c Problem name : t_HOME/instance-2693629-1277927429.wbo
1800.06/1800.07 c Variables : 5645 (2938 binary, 0 integer, 0 implicit integer, 2707 continuous)
1800.06/1800.07 c Constraints : 5414 initial, 24519 maximal
1800.06/1800.07 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.06/1800.07 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.07 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.07 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.07 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.07 c implics : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.07 c probing : 0.04 0 0 0 0 0 0 0 0
1800.06/1800.07 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.07 c linear : 0.01 0 0 0 2707 0 1 0 0
1800.06/1800.07 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.07 c root node : - 2675 - - 5350 - - - -
1800.06/1800.07 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.06/1800.07 c integral : 0 0 0 0 0 0 0 0 0 0
1800.06/1800.07 c indicator : 2707 0 5916364 0 1618439 99 2047551 0 0 0
1800.06/1800.07 c linear : 2707 0 7494973 0 1956743 549127 44916642 0 0 0
1800.06/1800.07 c logicor : 0+ 0 3455091 0 0 59330 2059407 0 0 0
1800.06/1800.07 c countsols : 0 0 0 0 1956764 0 0 0 0 0
1800.06/1800.07 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.06/1800.07 c integral : 0.00 0.00 0.00 0.00 0.00
1800.06/1800.07 c indicator : 13.88 0.00 5.24 0.00 8.64
1800.06/1800.07 c linear : 431.84 0.00 431.05 0.00 0.79
1800.06/1800.07 c logicor : 274.09 0.00 274.09 0.00 0.00
1800.06/1800.07 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.06/1800.07 c Propagators : Time Calls Cutoffs DomReds
1800.06/1800.07 c vbounds : 0.00 2 0 0
1800.06/1800.07 c rootredcost : 0.00 0 0 0
1800.06/1800.07 c pseudoobj : 377.98 7497402 2304 2013824
1800.06/1800.07 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.06/1800.07 c propagation : 39.80 610761 610761 2884692 19.8 124144 10.2 -
1800.06/1800.07 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.07 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.07 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.07 c pseudo solution : 0.03 103 103 520 26.0 296 9.8 -
1800.06/1800.07 c applied globally : - - - 1766966 17.9 - - -
1800.06/1800.07 c applied locally : - - - 1 320.0 - - -
1800.06/1800.07 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.06/1800.07 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.06/1800.07 c redcost : 0.00 0 0 0 0 0
1800.06/1800.07 c impliedbounds : 0.00 0 0 0 0 0
1800.06/1800.07 c intobj : 0.00 0 0 0 0 0
1800.06/1800.07 c cgmip : 0.00 0 0 0 0 0
1800.06/1800.07 c gomory : 0.00 0 0 0 0 0
1800.06/1800.07 c strongcg : 0.00 0 0 0 0 0
1800.06/1800.07 c cmir : 0.00 0 0 0 0 0
1800.06/1800.07 c flowcover : 0.00 0 0 0 0 0
1800.06/1800.07 c clique : 0.00 0 0 0 0 0
1800.06/1800.07 c zerohalf : 0.00 0 0 0 0 0
1800.06/1800.07 c mcf : 0.00 0 0 0 0 0
1800.06/1800.07 c rapidlearning : 0.00 0 0 0 0 0
1800.06/1800.07 c Pricers : Time Calls Vars
1800.06/1800.07 c problem variables: 0.00 0 0
1800.06/1800.07 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.06/1800.07 c relpscost : 0.00 0 0 0 0 0 0
1800.06/1800.07 c pscost : 0.00 0 0 0 0 0 0
1800.06/1800.07 c inference : 35.09 1956721 0 0 0 0 3913442
1800.06/1800.07 c mostinf : 0.00 0 0 0 0 0 0
1800.06/1800.07 c leastinf : 0.00 0 0 0 0 0 0
1800.06/1800.07 c fullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.07 c allfullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.07 c random : 0.00 0 0 0 0 0 0
1800.06/1800.07 c Primal Heuristics : Time Calls Found
1800.06/1800.07 c LP solutions : 0.00 - 0
1800.06/1800.07 c pseudo solutions : 0.12 - 43
1800.06/1800.07 c oneopt : 0.03 0 0
1800.06/1800.07 c trivial : 0.08 2 2
1800.06/1800.07 c simplerounding : 0.00 0 0
1800.06/1800.07 c zirounding : 0.00 0 0
1800.06/1800.07 c rounding : 0.00 0 0
1800.06/1800.07 c shifting : 0.00 0 0
1800.06/1800.07 c intshifting : 0.00 0 0
1800.06/1800.07 c twoopt : 0.00 0 0
1800.06/1800.07 c fixandinfer : 0.00 0 0
1800.06/1800.07 c feaspump : 0.00 0 0
1800.06/1800.07 c coefdiving : 0.00 0 0
1800.06/1800.07 c pscostdiving : 0.00 0 0
1800.06/1800.07 c fracdiving : 0.00 0 0
1800.06/1800.07 c veclendiving : 0.00 0 0
1800.06/1800.07 c intdiving : 0.00 0 0
1800.06/1800.07 c actconsdiving : 0.00 0 0
1800.06/1800.07 c objpscostdiving : 0.00 0 0
1800.06/1800.07 c rootsoldiving : 0.00 0 0
1800.06/1800.07 c linesearchdiving : 0.00 0 0
1800.06/1800.07 c guideddiving : 0.00 0 0
1800.06/1800.07 c octane : 0.00 0 0
1800.06/1800.07 c rens : 0.00 0 0
1800.06/1800.07 c rins : 0.00 0 0
1800.06/1800.07 c localbranching : 0.00 0 0
1800.06/1800.07 c mutation : 0.00 0 0
1800.06/1800.07 c crossover : 0.00 0 0
1800.06/1800.07 c dins : 0.00 0 0
1800.06/1800.07 c undercover : 0.00 0 0
1800.06/1800.07 c nlp : 0.00 0 0
1800.06/1800.07 c trysol : 0.00 1 1
1800.06/1800.07 c LP : Time Calls Iterations Iter/call Iter/sec
1800.06/1800.07 c primal LP : 0.00 0 0 0.00 -
1800.06/1800.07 c dual LP : 0.00 0 0 0.00 -
1800.06/1800.07 c lex dual LP : 0.00 0 0 0.00 -
1800.06/1800.07 c barrier LP : 0.00 0 0 0.00 -
1800.06/1800.07 c diving/probing LP: 0.00 0 0 0.00 -
1800.06/1800.07 c strong branching : 0.00 0 0 0.00 -
1800.06/1800.07 c (at root node) : - 0 0 0.00 -
1800.06/1800.07 c conflict analysis: 0.00 0 0 0.00 -
1800.06/1800.07 c B&B Tree :
1800.06/1800.07 c number of runs : 1
1800.06/1800.07 c nodes : 2326439
1800.06/1800.07 c nodes (total) : 2326439
1800.06/1800.07 c nodes left : 1263348
1800.06/1800.07 c max depth : 2816
1800.06/1800.07 c max depth (total): 2816
1800.06/1800.07 c backtracks : 330472 (14.2%)
1800.06/1800.07 c delayed cutoffs : 292530
1800.06/1800.07 c repropagations : 1343398 (15841720 domain reductions, 241288 cutoffs)
1800.06/1800.07 c avg switch length: 45.56
1800.06/1800.07 c switching time : 496.38
1800.06/1800.07 c Solution :
1800.06/1800.07 c Solutions found : 46 (44 improvements)
1800.06/1800.07 c First Solution : +1.36624000000000e+05 (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1800.06/1800.07 c Primal Bound : +2.00000000000000e+00 (in run 1, after 550241 nodes, 307.78 seconds, depth 2004, found by <relaxation>)
1800.06/1800.07 c Dual Bound : +0.00000000000000e+00
1800.06/1800.07 c Gap : infinite
1800.06/1800.07 c Root Dual Bound : +0.00000000000000e+00
1800.06/1800.07 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-2693629-1277927429/watcher-2693629-1277927429 -o /tmp/evaluation-result-2693629-1277927429/solver-2693629-1277927429 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693629-1277927429.wbo -t 1800 -m 3800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.92 2.01 2.15 3/178 14863
/proc/meminfo: memFree=31549508/32951124 swapFree=67111528/67111528
[pid=14863] ppid=14861 vsize=8256 CPUtime=0
/proc/14863/stat : 14863 (pbscip.linux.x8) R 14861 14863 14838 0 -1 4202496 1545 0 0 0 0 0 0 0 22 0 1 0 134041045 8454144 1468 4089446400 4194304 7136930 140735207432576 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/14863/statm: 2064 1468 275 719 0 1343 0
[startup+0.0337721 s]
/proc/loadavg: 1.92 2.01 2.15 3/178 14863
/proc/meminfo: memFree=31549508/32951124 swapFree=67111528/67111528
[pid=14863] ppid=14861 vsize=17436 CPUtime=0.03
/proc/14863/stat : 14863 (pbscip.linux.x8) R 14861 14863 14838 0 -1 4202496 3855 0 0 0 3 0 0 0 22 0 1 0 134041045 17854464 3778 4089446400 4194304 7136930 140735207432576 18446744073709551615 4400215 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/14863/statm: 4359 3778 275 719 0 3638 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 17436
[startup+0.100773 s]
/proc/loadavg: 1.92 2.01 2.15 3/178 14863
/proc/meminfo: memFree=31549508/32951124 swapFree=67111528/67111528
[pid=14863] ppid=14861 vsize=33672 CPUtime=0.09
/proc/14863/stat : 14863 (pbscip.linux.x8) R 14861 14863 14838 0 -1 4202496 7965 0 0 0 9 0 0 0 22 0 1 0 134041045 34480128 7534 4089446400 4194304 7136930 140735207432576 18446744073709551615 6350076 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14863/statm: 8418 7534 323 719 0 7697 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 33672
[startup+0.300721 s]
/proc/loadavg: 1.92 2.01 2.15 3/178 14863
/proc/meminfo: memFree=31549508/32951124 swapFree=67111528/67111528
[pid=14863] ppid=14861 vsize=36492 CPUtime=0.29
/proc/14863/stat : 14863 (pbscip.linux.x8) R 14861 14863 14838 0 -1 4202496 9237 0 0 0 27 2 0 0 22 0 1 0 134041045 37367808 8292 4089446400 4194304 7136930 140735207432576 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14863/statm: 9123 8292 383 719 0 8402 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36492
[startup+0.700643 s]
/proc/loadavg: 1.92 2.01 2.15 3/178 14863
/proc/meminfo: memFree=31549508/32951124 swapFree=67111528/67111528
[pid=14863] ppid=14861 vsize=37632 CPUtime=0.69
/proc/14863/stat : 14863 (pbscip.linux.x8) R 14861 14863 14838 0 -1 4202496 9514 0 0 0 65 4 0 0 24 0 1 0 134041045 38535168 8569 4089446400 4194304 7136930 140735207432576 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14863/statm: 9408 8569 383 719 0 8687 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 37632
[startup+1.50049 s]
/proc/loadavg: 1.92 2.01 2.15 3/179 14864
/proc/meminfo: memFree=31513292/32951124 swapFree=67111528/67111528
[pid=14863] ppid=14861 vsize=42476 CPUtime=1.49
/proc/14863/stat : 14863 (pbscip.linux.x8) R 14861 14863 14838 0 -1 4202496 10753 0 0 0 138 11 0 0 25 0 1 0 134041045 43495424 9808 4089446400 4194304 7136930 140735207432576 18446744073709551615 4923133 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14863/statm: 10619 9808 390 719 0 9898 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 42476
[startup+3.10019 s]
/proc/loadavg: 1.93 2.01 2.15 3/179 14864
/proc/meminfo: memFree=31508332/32951124 swapFree=67111528/67111528
[pid=14863] ppid=14861 vsize=44820 CPUtime=3.09
/proc/14863/stat : 14863 (pbscip.linux.x8) R 14861 14863 14838 0 -1 4202496 11349 0 0 0 290 19 0 0 25 0 1 0 134041045 45895680 10404 4089446400 4194304 7136930 140735207432576 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14863/statm: 11205 10404 390 719 0 10484 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 44820
[startup+6.30058 s]
/proc/loadavg: 1.93 2.01 2.15 3/179 14864
/proc/meminfo: memFree=31501768/32951124 swapFree=67111528/67111528
[pid=14863] ppid=14861 vsize=48848 CPUtime=6.29
/proc/14863/stat : 14863 (pbscip.linux.x8) R 14861 14863 14838 0 -1 4202496 12403 0 0 0 592 37 0 0 25 0 1 0 134041045 50020352 11458 4089446400 4194304 7136930 140735207432576 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14863/statm: 12212 11458 390 719 0 11491 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 48848
[startup+12.7004 s]
/proc/loadavg: 1.94 2.00 2.15 3/179 14864
/proc/meminfo: memFree=31478512/32951124 swapFree=67111528/67111528
[pid=14863] ppid=14861 vsize=70592 CPUtime=12.69
/proc/14863/stat : 14863 (pbscip.linux.x8) R 14861 14863 14838 0 -1 4202496 17737 0 0 0 1192 77 0 0 25 0 1 0 134041045 72286208 16792 4089446400 4194304 7136930 140735207432576 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14863/statm: 17648 16792 391 719 0 16927 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 70592
[startup+25.501 s]
/proc/loadavg: 1.95 2.00 2.15 3/179 14864
/proc/meminfo: memFree=31423416/32951124 swapFree=67111528/67111528
[pid=14863] ppid=14861 vsize=120316 CPUtime=25.5
/proc/14863/stat : 14863 (pbscip.linux.x8) R 14861 14863 14838 0 -1 4202496 29635 0 0 0 2416 134 0 0 25 0 1 0 134041045 123203584 28690 4089446400 4194304 7136930 140735207432576 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14863/statm: 30079 28690 391 719 0 29358 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 120316
[startup+51.1011 s]
/proc/loadavg: 1.96 2.00 2.14 3/179 14865
/proc/meminfo: memFree=31330628/32951124 swapFree=67111528/67111528
[pid=14863] ppid=14861 vsize=197260 CPUtime=51.09
/proc/14863/stat : 14863 (pbscip.linux.x8) R 14861 14863 14838 0 -1 4202496 47742 0 0 0 4817 292 0 0 25 0 1 0 134041045 201994240 46797 4089446400 4194304 7136930 140735207432576 18446744073709551615 4947435 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14863/statm: 49315 46797 391 719 0 48594 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 197260
[startup+102.306 s]
/proc/loadavg: 1.98 2.00 2.13 3/179 14866
/proc/meminfo: memFree=31202112/32951124 swapFree=67111528/67111528
[pid=14863] ppid=14861 vsize=300036 CPUtime=102.3
/proc/14863/stat : 14863 (pbscip.linux.x8) R 14861 14863 14838 0 -1 4202496 73542 0 0 0 9715 515 0 0 25 0 1 0 134041045 307236864 72597 4089446400 4194304 7136930 140735207432576 18446744073709551615 4999875 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14863/statm: 75009 72597 391 719 0 74288 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 300036
[startup+162.301 s]
/proc/loadavg: 1.99 2.00 2.12 3/179 14868
/proc/meminfo: memFree=31081288/32951124 swapFree=67111528/67111528
[pid=14863] ppid=14861 vsize=402716 CPUtime=162.3
/proc/14863/stat : 14863 (pbscip.linux.x8) R 14861 14863 14838 0 -1 4202496 97776 0 0 0 15466 764 0 0 25 0 1 0 134041045 412381184 96831 4089446400 4194304 7136930 140735207432576 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14863/statm: 100679 96831 391 719 0 99958 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 402716
[startup+222.301 s]
/proc/loadavg: 2.06 2.02 2.11 3/179 14870
/proc/meminfo: memFree=30956980/32951124 swapFree=67111528/67111528
[pid=14863] ppid=14861 vsize=504408 CPUtime=222.3
/proc/14863/stat : 14863 (pbscip.linux.x8) R 14861 14863 14838 0 -1 4202496 121636 0 0 0 21187 1043 0 0 25 0 1 0 134041045 516513792 120691 4089446400 4194304 7136930 140735207432576 18446744073709551615 4210705 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14863/statm: 126102 120691 391 719 0 125381 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 504408
[startup+282.3 s]
/proc/loadavg: 2.02 2.01 2.10 3/179 14871
/proc/meminfo: memFree=30828352/32951124 swapFree=67111528/67111528
[pid=14863] ppid=14861 vsize=624260 CPUtime=282.3
/proc/14863/stat : 14863 (pbscip.linux.x8) R 14861 14863 14838 0 -1 4202496 151938 0 0 0 26819 1411 0 0 25 0 1 0 134041045 639242240 150993 4089446400 4194304 7136930 140735207432576 18446744073709551615 4925457 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14863/statm: 156065 150993 391 719 0 155344 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 624260
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.09 3/179 14872
/proc/meminfo: memFree=30723888/32951124 swapFree=67111528/67111528
[pid=14863] ppid=14861 vsize=721520 CPUtime=342.31
/proc/14863/stat : 14863 (pbscip.linux.x8) R 14861 14863 14838 0 -1 4202496 176572 0 0 0 32450 1781 0 0 25 0 1 0 134041045 738836480 175627 4089446400 4194304 7136930 140735207432576 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14863/statm: 180380 175627 391 719 0 179659 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 721520
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.08 3/179 14874
/proc/meminfo: memFree=30614596/32951124 swapFree=67111528/67111528
[pid=14863] ppid=14861 vsize=823372 CPUtime=402.3
/proc/14863/stat : 14863 (pbscip.linux.x8) R 14861 14863 14838 0 -1 4202496 202249 0 0 0 38136 2094 0 0 25 0 1 0 134041045 843132928 201304 4089446400 4194304 7136930 140735207432576 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14863/statm: 205843 201304 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.04 2.01 2.08 3/179 14876
/proc/meminfo: memFree=30535560/32951124 swapFree=67111528/67111528
[pid=14863] ppid=14861 vsize=904416 CPUtime=462.31
/proc/14863/stat : 14863 (pbscip.linux.x8) R 14861 14863 14838 0 -1 4202496 220614 0 0 0 43922 2309 0 0 25 0 1 0 134041045 926121984 219669 4089446400 4194304 7136930 140735207432576 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14863/statm: 226104 219669 391 719 0 225383 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 904416
[startup+522.301 s]
/proc/loadavg: 2.02 2.01 2.08 3/179 14877
/proc/meminfo: memFree=30469908/32951124 swapFree=67111528/67111528
[pid=14863] ppid=14861 vsize=964204 CPUtime=522.31
/proc/14863/stat : 14863 (pbscip.linux.x8) R 14861 14863 14838 0 -1 4202496 235489 0 0 0 49727 2504 0 0 25 0 1 0 134041045 987344896 234544 4089446400 4194304 7136930 140735207432576 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14863/statm: 241051 234544 391 719 0 240330 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 964204
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.07 3/179 14879
/proc/meminfo: memFree=30420748/32951124 swapFree=67111528/67111528
[pid=14863] ppid=14861 vsize=1008704 CPUtime=582.32
/proc/14863/stat : 14863 (pbscip.linux.x8) R 14861 14863 14838 0 -1 4202496 246465 0 0 0 55540 2692 0 0 25 0 1 0 134041045 1032912896 245520 4089446400 4194304 7136930 140735207432576 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14863/statm: 252176 245520 391 719 0 251455 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 1008704
[startup+642.3 s]
/proc/loadavg: 2.00 2.00 2.07 3/179 14889
/proc/meminfo: memFree=30383036/32951124 swapFree=67111528/67111528
[pid=14863] ppid=14861 vsize=1038432 CPUtime=642.32
/proc/14863/stat : 14863 (pbscip.linux.x8) R 14861 14863 14838 0 -1 4202496 253968 0 0 0 61317 2915 0 0 25 0 1 0 134041045 1063354368 253023 4089446400 4194304 7136930 140735207432576 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14863/statm: 259608 253023 391 719 0 258887 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 1038432
[startup+702.301 s]
################
# More data... #
################
/proc/14863/stat : 14863 (pbscip.linux.x8) R 14861 14863 14838 0 -1 4202496 345031 0 0 0 95917 4316 0 0 25 0 1 0 134041045 1433624576 344086 4089446400 4194304 7136930 140735207432576 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14863/statm: 350006 344086 391 719 0 349285 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 1400024
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/179 14901
/proc/meminfo: memFree=29956568/32951124 swapFree=67111528/67111528
[pid=14863] ppid=14861 vsize=1450464 CPUtime=1062.33
/proc/14863/stat : 14863 (pbscip.linux.x8) R 14861 14863 14838 0 -1 4202496 357599 0 0 0 101715 4518 0 0 25 0 1 0 134041045 1485275136 356654 4089446400 4194304 7136930 140735207432576 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14863/statm: 362616 356654 391 719 0 361895 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 1450464
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/179 14902
/proc/meminfo: memFree=29865748/32951124 swapFree=67111528/67111528
[pid=14863] ppid=14861 vsize=1542536 CPUtime=1122.33
/proc/14863/stat : 14863 (pbscip.linux.x8) R 14861 14863 14838 0 -1 4202496 379902 0 0 0 107455 4778 0 0 25 0 1 0 134041045 1579556864 378957 4089446400 4194304 7136930 140735207432576 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14863/statm: 385634 378957 391 719 0 384913 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 1542536
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/179 14904
/proc/meminfo: memFree=29785832/32951124 swapFree=67111528/67111528
[pid=14863] ppid=14861 vsize=1621920 CPUtime=1182.33
/proc/14863/stat : 14863 (pbscip.linux.x8) R 14861 14863 14838 0 -1 4202496 399741 0 0 0 113151 5082 0 0 25 0 1 0 134041045 1660846080 398796 4089446400 4194304 7136930 140735207432576 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14863/statm: 405480 398796 391 719 0 404759 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 1621920
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/179 14905
/proc/meminfo: memFree=29709004/32951124 swapFree=67111528/67111528
[pid=14863] ppid=14861 vsize=1696288 CPUtime=1242.33
/proc/14863/stat : 14863 (pbscip.linux.x8) R 14861 14863 14838 0 -1 4202496 418375 0 0 0 118879 5354 0 0 25 0 1 0 134041045 1736998912 417430 4089446400 4194304 7136930 140735207432576 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14863/statm: 424072 417430 391 719 0 423351 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 1696288
[startup+1302.3 s]
/proc/loadavg: 2.05 2.01 2.01 3/179 14907
/proc/meminfo: memFree=29645596/32951124 swapFree=67111528/67111528
[pid=14863] ppid=14861 vsize=1756452 CPUtime=1302.34
/proc/14863/stat : 14863 (pbscip.linux.x8) R 14861 14863 14838 0 -1 4202496 433480 0 0 0 124600 5634 0 0 25 0 1 0 134041045 1798606848 432535 4089446400 4194304 7136930 140735207432576 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14863/statm: 439113 432535 391 719 0 438392 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 1756452
[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 14909
/proc/meminfo: memFree=29575248/32951124 swapFree=67111528/67111528
[pid=14863] ppid=14861 vsize=1827048 CPUtime=1362.35
/proc/14863/stat : 14863 (pbscip.linux.x8) R 14861 14863 14838 0 -1 4202496 451315 0 0 0 130331 5904 0 0 25 0 1 0 134041045 1870897152 450370 4089446400 4194304 7136930 140735207432576 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14863/statm: 456762 450370 391 719 0 456041 0
Current children cumulated CPU time (s) 1362.35
Current children cumulated vsize (KiB) 1827048
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14911
/proc/meminfo: memFree=29503268/32951124 swapFree=67111528/67111528
[pid=14863] ppid=14861 vsize=1912640 CPUtime=1422.35
/proc/14863/stat : 14863 (pbscip.linux.x8) R 14861 14863 14838 0 -1 4202496 468772 0 0 0 136065 6170 0 0 25 0 1 0 134041045 1958543360 467827 4089446400 4194304 7136930 140735207432576 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14863/statm: 478160 467827 391 719 0 477439 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 1912640
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14912
/proc/meminfo: memFree=29436996/32951124 swapFree=67111528/67111528
[pid=14863] ppid=14861 vsize=1977768 CPUtime=1482.34
/proc/14863/stat : 14863 (pbscip.linux.x8) R 14861 14863 14838 0 -1 4202496 485273 0 0 0 141788 6446 0 0 25 0 1 0 134041045 2025234432 484328 4089446400 4194304 7136930 140735207432576 18446744073709551615 4925539 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14863/statm: 494442 484328 391 719 0 493721 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 1977768
[startup+1542.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 14913
/proc/meminfo: memFree=29367740/32951124 swapFree=67111528/67111528
[pid=14863] ppid=14861 vsize=2046020 CPUtime=1542.35
/proc/14863/stat : 14863 (pbscip.linux.x8) R 14861 14863 14838 0 -1 4202496 502377 0 0 0 147510 6725 0 0 25 0 1 0 134041045 2095124480 501432 4089446400 4194304 7136930 140735207432576 18446744073709551615 4925969 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14863/statm: 511505 501432 391 719 0 510784 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 2046020
[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 14915
/proc/meminfo: memFree=29300472/32951124 swapFree=67111528/67111528
[pid=14863] ppid=14861 vsize=2112724 CPUtime=1602.35
/proc/14863/stat : 14863 (pbscip.linux.x8) R 14861 14863 14838 0 -1 4202496 519050 0 0 0 153248 6987 0 0 25 0 1 0 134041045 2163429376 518105 4089446400 4194304 7136930 140735207432576 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14863/statm: 528181 518105 391 719 0 527460 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 2112724
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14917
/proc/meminfo: memFree=29236680/32951124 swapFree=67111528/67111528
[pid=14863] ppid=14861 vsize=2173920 CPUtime=1662.35
/proc/14863/stat : 14863 (pbscip.linux.x8) R 14861 14863 14838 0 -1 4202496 534565 0 0 0 158984 7251 0 0 25 0 1 0 134041045 2226094080 533620 4089446400 4194304 7136930 140735207432576 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14863/statm: 543480 533620 391 719 0 542759 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 2173920
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14946
/proc/meminfo: memFree=29425212/32951124 swapFree=67111528/67111528
[pid=14863] ppid=14861 vsize=2247068 CPUtime=1722.35
/proc/14863/stat : 14863 (pbscip.linux.x8) R 14861 14863 14838 0 -1 4202496 553119 0 0 0 164711 7524 0 0 25 0 1 0 134041045 2300997632 552174 4089446400 4194304 7136930 140735207432576 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14863/statm: 561767 552174 391 719 0 561046 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 2247068
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14948
/proc/meminfo: memFree=29243368/32951124 swapFree=67111528/67111528
[pid=14863] ppid=14861 vsize=2308012 CPUtime=1782.36
/proc/14863/stat : 14863 (pbscip.linux.x8) R 14861 14863 14838 0 -1 4202496 568406 0 0 0 170451 7785 0 0 25 0 1 0 134041045 2363404288 567461 4089446400 4194304 7136930 140735207432576 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14863/statm: 577003 567461 391 719 0 576282 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 2308012
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14949
/proc/meminfo: memFree=29210112/32951124 swapFree=67111528/67111528
[pid=14863] ppid=14861 vsize=2321168 CPUtime=1800.06
/proc/14863/stat : 14863 (pbscip.linux.x8) R 14861 14863 14838 0 -1 4202496 571708 0 0 0 172150 7856 0 0 25 0 1 0 134041045 2376876032 570763 4089446400 4194304 7136930 140735207432576 18446744073709551615 4221906 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/14863/statm: 580292 570763 391 719 0 579571 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 2321168
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -14863
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 14950
/proc/meminfo: memFree=29208616/32951124 swapFree=67111528/67111528
[pid=14863] ppid=14861 vsize=2321168 CPUtime=1801.46
/proc/14863/stat : 14863 (pbscip.linux.x8) R 14861 14863 14838 0 -1 4202496 571724 0 0 0 172290 7856 0 0 19 0 1 0 134041045 2376876032 570779 4089446400 4194304 7136930 140735207432576 18446744073709551615 4212311 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/14863/statm: 580292 570779 397 719 0 579571 0
Current children cumulated CPU time (s) 1801.46
Current children cumulated vsize (KiB) 2321168
[startup+1801.81 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 14950
/proc/meminfo: memFree=29204896/32951124 swapFree=67111528/67111528
[pid=14863] ppid=14861 vsize=2321168 CPUtime=1801.86
/proc/14863/stat : 14863 (pbscip.linux.x8) R 14861 14863 14838 0 -1 4202496 571724 0 0 0 172330 7856 0 0 20 0 1 0 134041045 2376876032 570779 4089446400 4194304 7136930 140735207432576 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/14863/statm: 580292 570779 397 719 0 579571 0
Current children cumulated CPU time (s) 1801.86
Current children cumulated vsize (KiB) 2321168
[startup+1802 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 14950
/proc/meminfo: memFree=29204896/32951124 swapFree=67111528/67111528
[pid=14863] ppid=14861 vsize=2321168 CPUtime=1802.06
/proc/14863/stat : 14863 (pbscip.linux.x8) R 14861 14863 14838 0 -1 4202496 571724 0 0 0 172350 7856 0 0 21 0 1 0 134041045 2376876032 570779 4089446400 4194304 7136930 140735207432576 18446744073709551615 6165648 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/14863/statm: 580292 570779 397 719 0 579571 0
Current children cumulated CPU time (s) 1802.06
Current children cumulated vsize (KiB) 2321168
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.08
CPU time (s): 1802.15
CPU user time (s): 1723.51
CPU system time (s): 78.639
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 2321168
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1723.51
system time used= 78.639
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 571724
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= 19350
runsolver used 2.37964 second user time and 5.84111 second system time
The end
Begin job on node102 at 2010-06-30 21:50:29
IDJOB=2693629
IDBENCH=79279
IDSOLVER=1206
FILE ID=node102/2693629-1277927429
PBS_JOBID= 11197403
Free space on /tmp= 74204 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.1900573137--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-2693629-1277927429/watcher-2693629-1277927429 -o /tmp/evaluation-result-2693629-1277927429/solver-2693629-1277927429 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693629-1277927429.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 337bb89bbfc43fe8a5ddb591a5c00326
RANDOM SEED=1119470937
node102.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.833
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.66
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.833
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.83
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.833
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.833
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.85
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.833
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.75
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.833
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.82
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.833
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.833
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: 31550160 kB
Buffers: 210252 kB
Cached: 740524 kB
SwapCached: 0 kB
Active: 664472 kB
Inactive: 592964 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 31550160 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 3328 kB
Writeback: 0 kB
AnonPages: 306180 kB
Mapped: 17316 kB
Slab: 78892 kB
PageTables: 5160 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 460692 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= 74204 MiB
End job on node102 at 2010-06-30 22:20:31