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-2700382-1278535278.wbo>
0.00/0.01 c original problem has 2000 variables (1100 bin, 0 int, 0 impl, 900 cont) and 1901 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 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.01/0.02 c presolving:
0.01/0.03 c (round 1) 100 del vars, 101 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1100 impls, 0 clqs
0.01/0.04 c (round 2) 100 del vars, 101 del conss, 900 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1100 impls, 0 clqs
0.01/0.06 c (0.1s) probing: 101/1000 (10.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.01/0.06 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.01/0.06 c presolving (3 rounds):
0.01/0.06 c 100 deleted vars, 101 deleted constraints, 900 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.01/0.06 c 1100 implications, 0 cliques
0.01/0.06 c presolved problem has 1900 variables (1000 bin, 0 int, 0 impl, 900 cont) and 1800 constraints
0.01/0.06 c 900 constraints of type <indicator>
0.01/0.06 c 900 constraints of type <linear>
0.01/0.06 c transformed objective value is always integral (scale: 1)
0.01/0.07 c Presolving Time: 0.04
0.01/0.07 c - non default parameters ----------------------------------------------------------------------
0.01/0.07 c # SCIP version 1.2.1.2
0.01/0.07 c
0.01/0.07 c # frequency for displaying node information lines
0.01/0.07 c # [type: int, range: [-1,2147483647], default: 100]
0.01/0.07 c display/freq = 10000
0.01/0.07 c
0.01/0.07 c # maximal time in seconds to run
0.01/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.07 c limits/time = 1799.99
0.01/0.07 c
0.01/0.07 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.01/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.07 c limits/memory = 3420
0.01/0.07 c
0.01/0.07 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.01/0.07 c # [type: int, range: [-1,2147483647], default: 1]
0.01/0.07 c lp/solvefreq = -1
0.01/0.07 c
0.01/0.07 c # should presolving try to simplify inequalities
0.01/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.07 c constraints/linear/simplifyinequalities = TRUE
0.01/0.07 c
0.01/0.07 c # should presolving try to simplify knapsacks
0.01/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.07 c constraints/knapsack/simplifyinequalities = TRUE
0.01/0.07 c
0.01/0.07 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.01/0.07 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.07 c separating/rapidlearning/freq = 0
0.01/0.07 c
0.01/0.07 c -----------------------------------------------------------------------------------------------
0.01/0.07 c start solving
0.01/0.07 c
0.01/0.07 o 444854
0.01/0.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.01/0.07 c t 0.1s| 1 | 0 | 0 | - |6453k| 0 | - |1900 |1800 | 0 | 0 | 0 | 0 | 0 | -- | 4.448540e+05 | Inf
0.01/0.07 c 0.1s| 1 | 2 | 0 | - |6404k| 0 | - |1900 |1800 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.29/0.36 o 18974
0.29/0.36 c * 0.3s| 2261 | 2090 | 0 | 0.0 |7824k| 911 | - |1900 |1935 | 0 | 0 | 0 | 135 | 0 | 0.000000e+00 | 1.897400e+04 | Inf
0.29/0.39 o 18265
0.29/0.39 c * 0.4s| 2405 | 2134 | 0 | 0.0 |7877k| 911 | - |1900 |1945 | 0 | 0 | 0 | 145 | 0 | 0.000000e+00 | 1.826500e+04 | Inf
1.49/1.53 o 18263
1.49/1.53 c * 1.4s| 8585 | 8210 | 0 | 0.0 | 11M| 911 | - |1900 |2325 | 0 | 0 | 0 | 531 | 0 | 1.000000e+00 | 1.826300e+04 | Large
1.49/1.58 o 18077
1.49/1.58 c * 1.5s| 8841 | 8438 | 0 | 0.0 | 11M| 911 | - |1900 |2374 | 0 | 0 | 0 | 581 | 0 | 1.000000e+00 | 1.807700e+04 | Large
1.59/1.67 o 18021
1.59/1.67 c * 1.6s| 9265 | 8840 | 0 | 0.0 | 11M| 911 | - |1900 |2411 | 0 | 0 | 0 | 621 | 0 | 1.000000e+00 | 1.802100e+04 | Large
1.79/1.81 o 17753
1.79/1.81 c * 1.7s| 9931 | 9390 | 0 | 0.0 | 11M| 911 | - |1900 |2636 | 0 | 0 | 0 | 851 | 0 | 1.000000e+00 | 1.775300e+04 | Large
1.79/1.83 c 1.7s| 10000 | 9457 | 0 | 0.0 | 11M| 911 | - |1900 |2646 | 0 | 0 | 0 | 861 | 0 | 1.000000e+00 | 1.775300e+04 | Large
1.89/1.95 o 17430
1.89/1.95 c * 1.9s| 10551 | 9834 | 0 | 0.0 | 12M| 911 | - |1900 |2857 | 0 | 0 | 0 |1091 | 0 | 1.000000e+00 | 1.743000e+04 | Large
2.20/2.29 o 16453
2.20/2.29 c * 2.2s| 12089 | 10478 | 0 | 0.0 | 12M| 911 | - |1900 |3227 | 0 | 0 | 0 |1521 | 0 | 1.000000e+00 | 1.645300e+04 | Large
2.20/2.29 o 15792
2.20/2.29 c * 2.2s| 12090 | 10055 | 0 | 0.0 | 12M| 911 | - |1900 |3227 | 0 | 0 | 0 |1521 | 0 | 1.000000e+00 | 1.579200e+04 | Large
2.59/2.68 o 15776
2.59/2.68 c * 2.6s| 13750 | 11552 | 0 | 0.0 | 13M| 911 | - |1900 |3716 | 0 | 0 | 0 |2321 | 0 | 1.000000e+00 | 1.577600e+04 | Large
2.59/2.68 o 15745
2.59/2.68 c * 2.6s| 13751 | 11532 | 0 | 0.0 | 13M| 911 | - |1900 |3716 | 0 | 0 | 0 |2321 | 0 | 1.000000e+00 | 1.574500e+04 | Large
2.69/2.77 o 15591
2.69/2.77 c * 2.6s| 14120 | 11769 | 0 | 0.0 | 13M| 911 | - |1900 |3813 | 0 | 0 | 0 |2521 | 0 | 1.000000e+00 | 1.559100e+04 | Large
2.89/2.95 o 15579
2.89/2.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.89/2.95 c * 2.8s| 14812 | 12384 | 0 | 0.0 | 14M| 911 | - |1900 |3838 | 0 | 0 | 0 |2897 | 0 | 1.000000e+00 | 1.557900e+04 | Large
2.99/3.07 o 14281
2.99/3.07 c * 2.9s| 15300 | 11969 | 0 | 0.0 | 14M| 911 | - |1900 |3837 | 0 | 0 | 0 |3107 | 0 | 1.000000e+00 | 1.428100e+04 | Large
2.99/3.07 o 14214
2.99/3.07 c * 2.9s| 15301 | 11916 | 0 | 0.0 | 14M| 911 | - |1900 |3837 | 0 | 0 | 0 |3107 | 0 | 1.000000e+00 | 1.421400e+04 | Large
4.19/4.25 c 4.1s| 20000 | 16150 | 0 | 0.0 | 16M| 911 | - |1900 |4196 | 0 | 0 | 0 |5759 | 0 | 1.000000e+00 | 1.421400e+04 | Large
6.69/6.79 o 14213
6.69/6.79 c * 6.5s| 29753 | 24819 | 0 | 0.0 | 22M| 911 | - |1900 |5054 | 0 | 0 | 0 | 11k| 0 | 1.000000e+00 | 1.421300e+04 | Large
6.69/6.79 o 13820
6.69/6.79 c * 6.5s| 29755 | 24513 | 0 | 0.0 | 22M| 911 | - |1900 |5054 | 0 | 0 | 0 | 11k| 0 | 1.000000e+00 | 1.382000e+04 | Large
6.79/6.85 c 6.6s| 30000 | 24731 | 0 | 0.0 | 22M| 911 | - |1900 |5073 | 0 | 0 | 0 | 12k| 0 | 1.000000e+00 | 1.382000e+04 | Large
6.79/6.86 o 13765
6.79/6.86 c * 6.6s| 30011 | 24682 | 0 | 0.0 | 22M| 911 | - |1900 |5073 | 0 | 0 | 0 | 12k| 0 | 1.000000e+00 | 1.376500e+04 | Large
7.49/7.57 o 13715
7.49/7.57 c * 7.3s| 32681 | 26997 | 0 | 0.0 | 24M| 911 | - |1900 |5171 | 0 | 0 | 0 | 13k| 0 | 1.000000e+00 | 1.371500e+04 | Large
7.49/7.57 o 13621
7.49/7.57 c * 7.3s| 32682 | 26911 | 0 | 0.0 | 24M| 911 | - |1900 |5171 | 0 | 0 | 0 | 13k| 0 | 1.000000e+00 | 1.362100e+04 | Large
7.69/7.78 o 13515
7.69/7.78 c * 7.5s| 33496 | 27516 | 0 | 0.0 | 24M| 911 | - |1900 |5280 | 0 | 0 | 0 | 14k| 0 | 1.000000e+00 | 1.351500e+04 | Large
7.69/7.78 o 13391
7.69/7.78 c * 7.5s| 33497 | 27390 | 0 | 0.0 | 24M| 911 | - |1900 |5280 | 0 | 0 | 0 | 14k| 0 | 1.000000e+00 | 1.339100e+04 | Large
7.99/8.07 o 13352
7.99/8.07 c * 7.8s| 34600 | 28328 | 0 | 0.0 | 25M| 911 | - |1900 |5444 | 0 | 0 | 0 | 15k| 0 | 1.000000e+00 | 1.335200e+04 | Large
7.99/8.07 o 13262
7.99/8.07 c * 7.8s| 34601 | 28189 | 0 | 0.0 | 24M| 911 | - |1900 |5444 | 0 | 0 | 0 | 15k| 0 | 1.000000e+00 | 1.326200e+04 | Large
8.09/8.10 o 13238
8.09/8.10 c * 7.8s| 34694 | 28221 | 0 | 0.0 | 24M| 911 | - |1900 |5476 | 0 | 0 | 0 | 15k| 0 | 1.000000e+00 | 1.323800e+04 | Large
8.09/8.10 o 13110
8.09/8.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
8.09/8.10 c * 7.8s| 34705 | 28062 | 0 | 0.0 | 24M| 911 | - |1900 |5476 | 0 | 0 | 0 | 15k| 0 | 1.000000e+00 | 1.311000e+04 | Large
8.09/8.10 o 12986
8.09/8.10 c * 7.8s| 34706 | 27878 | 0 | 0.0 | 24M| 911 | - |1900 |5476 | 0 | 0 | 0 | 15k| 0 | 1.000000e+00 | 1.298600e+04 | Large
8.80/8.86 o 12649
8.80/8.86 c * 8.5s| 37530 | 29793 | 0 | 0.0 | 25M| 911 | - |1900 |5865 | 0 | 0 | 0 | 17k| 0 | 1.000000e+00 | 1.264900e+04 | Large
8.80/8.87 o 12380
8.80/8.87 c * 8.5s| 37531 | 29319 | 0 | 0.0 | 25M| 911 | - |1900 |5865 | 0 | 0 | 0 | 17k| 0 | 1.000000e+00 | 1.238000e+04 | Large
9.49/9.55 c 9.2s| 40000 | 31503 | 0 | 0.0 | 26M| 911 | - |1900 |5715 | 0 | 0 | 0 | 18k| 0 | 1.000000e+00 | 1.238000e+04 | Large
10.09/10.12 o 12190
10.09/10.12 c * 9.7s| 42119 | 33079 | 0 | 0.0 | 27M| 911 | - |1900 |5744 | 0 | 0 | 0 | 20k| 0 | 1.000000e+00 | 1.219000e+04 | Large
12.19/12.23 c 11.8s| 50000 | 40019 | 0 | 0.0 | 32M| 911 | - |1900 |6061 | 0 | 0 | 0 | 25k| 0 | 1.000000e+00 | 1.219000e+04 | Large
14.89/14.99 c 14.5s| 60000 | 48739 | 0 | 0.0 | 38M| 911 | - |1900 |7543 | 0 | 0 | 0 | 33k| 0 | 1.000000e+00 | 1.219000e+04 | Large
15.49/15.51 o 11982
15.49/15.51 c *15.0s| 61849 | 49944 | 0 | 0.0 | 39M| 911 | - |1900 |7902 | 0 | 0 | 0 | 34k| 0 | 1.000000e+00 | 1.198200e+04 | Large
15.49/15.51 o 11940
15.49/15.51 c *15.0s| 61850 | 49844 | 0 | 0.0 | 38M| 911 | - |1900 |7902 | 0 | 0 | 0 | 34k| 0 | 1.000000e+00 | 1.194000e+04 | Large
17.79/17.80 c 17.2s| 70000 | 56979 | 0 | 0.0 | 43M| 911 | - |1900 |7313 | 0 | 0 | 0 | 40k| 0 | 1.000000e+00 | 1.194000e+04 | Large
18.60/18.68 o 11923
18.60/18.68 c *18.1s| 73181 | 59750 | 0 | 0.0 | 45M| 911 | - |1900 |7353 | 0 | 0 | 0 | 42k| 0 | 1.000000e+00 | 1.192300e+04 | Large
19.19/19.27 o 11887
19.19/19.27 c *18.6s| 75332 | 61594 | 0 | 0.0 | 46M| 911 | - |1900 |7329 | 0 | 0 | 0 | 43k| 0 | 1.000000e+00 | 1.188700e+04 | Large
19.19/19.27 o 11552
19.19/19.27 c *18.6s| 75333 | 60851 | 0 | 0.0 | 45M| 911 | - |1900 |7329 | 0 | 0 | 0 | 43k| 0 | 1.000000e+00 | 1.155200e+04 | Large
20.49/20.58 c 19.9s| 80000 | 64938 | 0 | 0.0 | 48M| 911 | - |1900 |7994 | 0 | 0 | 0 | 47k| 0 | 1.000000e+00 | 1.155200e+04 | Large
21.39/21.47 o 11438
21.39/21.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
21.39/21.47 c *20.8s| 83122 | 67372 | 0 | 0.0 | 50M| 911 | - |1900 |8491 | 0 | 0 | 0 | 49k| 0 | 1.000000e+00 | 1.143800e+04 | Large
23.09/23.12 o 11068
23.09/23.12 c *22.4s| 88907 | 71180 | 0 | 0.0 | 51M| 911 | - |1900 |9078 | 0 | 0 | 0 | 53k| 0 | 1.000000e+00 | 1.106800e+04 | Large
23.39/23.45 c 22.7s| 90000 | 72137 | 0 | 0.0 | 52M| 911 | - |1900 |8883 | 0 | 0 | 0 | 54k| 0 | 1.000000e+00 | 1.106800e+04 | Large
26.29/26.37 c 25.5s|100000 | 80759 | 0 | 0.0 | 58M| 911 | - |1900 | 10k| 0 | 0 | 0 | 62k| 0 | 1.000000e+00 | 1.106800e+04 | Large
27.19/27.22 o 10938
27.19/27.22 c *26.4s|102762 | 82672 | 0 | 0.0 | 58M| 911 | - |1900 |8866 | 0 | 0 | 0 | 64k| 0 | 1.000000e+00 | 1.093800e+04 | Large
29.29/29.33 c 28.4s|110000 | 88984 | 0 | 0.0 | 62M| 911 | - |1900 |8258 | 0 | 0 | 0 | 70k| 0 | 1.000000e+00 | 1.093800e+04 | Large
32.19/32.25 c 31.2s|120000 | 97636 | 0 | 0.0 | 68M| 911 | - |1900 |8949 | 0 | 0 | 0 | 77k| 0 | 1.000000e+00 | 1.093800e+04 | Large
35.20/35.21 c 34.1s|130000 |106298 | 0 | 0.0 | 74M| 911 | - |1900 | 10k| 0 | 0 | 0 | 85k| 0 | 1.000000e+00 | 1.093800e+04 | Large
35.79/35.87 o 10932
35.79/35.87 c *34.8s|132085 |108017 | 0 | 0.0 | 75M| 911 | - |1900 | 10k| 0 | 0 | 0 | 87k| 0 | 1.000000e+00 | 1.093200e+04 | Large
38.19/38.25 c 37.1s|140000 |114788 | 0 | 0.0 | 80M| 911 | - |1900 | 11k| 0 | 0 | 0 | 93k| 0 | 1.000000e+00 | 1.093200e+04 | Large
38.50/38.51 o 10894
38.50/38.51 c *37.4s|140871 |115359 | 0 | 0.0 | 80M| 911 | - |1900 | 11k| 0 | 0 | 0 | 94k| 0 | 1.000000e+00 | 1.089400e+04 | Large
39.99/40.06 o 10653
39.99/40.06 c *38.9s|145919 |118396 | 0 | 0.0 | 82M| 911 | - |1900 | 12k| 0 | 0 | 0 | 98k| 0 | 1.000000e+00 | 1.065300e+04 | Large
41.29/41.31 c 40.1s|150000 |121887 | 0 | 0.0 | 84M| 911 | - |1900 | 12k| 0 | 0 | 0 | 101k| 0 | 1.000000e+00 | 1.065300e+04 | Large
41.59/41.64 o 10518
41.59/41.64 c *40.4s|151075 |122040 | 0 | 0.0 | 84M| 911 | - |1900 | 13k| 0 | 0 | 0 | 102k| 0 | 1.000000e+00 | 1.051800e+04 | Large
42.39/42.42 o 10489
42.39/42.42 c *41.2s|153586 |124036 | 0 | 0.0 | 85M| 911 | - |1900 | 13k| 0 | 0 | 0 | 104k| 0 | 1.000000e+00 | 1.048900e+04 | Large
42.39/42.42 o 10459
42.39/42.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
42.39/42.42 c *41.2s|153587 |123885 | 0 | 0.0 | 85M| 911 | - |1900 | 13k| 0 | 0 | 0 | 104k| 0 | 1.000000e+00 | 1.045900e+04 | Large
44.49/44.50 c 43.2s|160000 |129431 | 0 | 0.0 | 89M| 911 | - |1900 | 11k| 0 | 0 | 0 | 109k| 0 | 1.000000e+00 | 1.045900e+04 | Large
47.49/47.55 c 46.1s|170000 |138129 | 0 | 0.0 | 94M| 911 | - |1900 | 11k| 0 | 0 | 0 | 117k| 0 | 1.000000e+00 | 1.045900e+04 | Large
47.89/47.91 o 10376
47.89/47.91 c *46.5s|171177 |138648 | 0 | 0.0 | 94M| 911 | - |1900 | 11k| 0 | 0 | 0 | 117k| 0 | 1.000000e+00 | 1.037600e+04 | Large
48.40/48.40 o 10325
48.40/48.40 c *47.0s|172826 |139771 | 0 | 0.0 | 95M| 911 | - |1900 | 11k| 0 | 0 | 0 | 118k| 0 | 1.000000e+00 | 1.032500e+04 | Large
50.60/50.65 c 49.2s|180000 |145892 | 0 | 0.0 | 99M| 911 | - |1900 | 12k| 0 | 0 | 0 | 124k| 0 | 1.000000e+00 | 1.032500e+04 | Large
53.69/53.78 c 52.2s|190000 |154540 | 0 | 0.0 | 105M| 911 | - |1900 | 12k| 0 | 0 | 0 | 132k| 0 | 1.000000e+00 | 1.032500e+04 | Large
56.99/57.00 c 55.4s|200000 |163062 | 0 | 0.0 | 111M| 911 | - |1900 | 14k| 0 | 0 | 0 | 141k| 0 | 1.000000e+00 | 1.032500e+04 | Large
60.40/60.42 c 58.7s|210000 |171467 | 0 | 0.0 | 118M| 911 | - |1900 | 15k| 0 | 0 | 0 | 150k| 0 | 1.000000e+00 | 1.032500e+04 | Large
63.89/63.94 c 62.1s|220000 |179843 | 0 | 0.0 | 124M| 911 | - |1900 | 16k| 0 | 0 | 0 | 159k| 0 | 1.000000e+00 | 1.032500e+04 | Large
67.69/67.75 c 65.8s|230000 |188087 | 0 | 0.0 | 129M| 911 | - |1900 | 15k| 0 | 0 | 0 | 169k| 0 | 1.000000e+00 | 1.032500e+04 | Large
70.99/71.07 c 69.1s|240000 |196751 | 0 | 0.0 | 134M| 911 | - |1900 | 11k| 0 | 0 | 0 | 176k| 0 | 1.000000e+00 | 1.032500e+04 | Large
74.30/74.39 c 72.3s|250000 |205238 | 0 | 0.0 | 140M| 911 | - |1900 | 12k| 0 | 0 | 0 | 185k| 0 | 1.000000e+00 | 1.032500e+04 | Large
77.69/77.75 c 75.6s|260000 |213757 | 0 | 0.0 | 146M| 911 | - |1900 | 13k| 0 | 0 | 0 | 193k| 0 | 1.000000e+00 | 1.032500e+04 | Large
81.19/81.26 c 79.0s|270000 |222159 | 0 | 0.0 | 152M| 911 | - |1900 | 13k| 0 | 0 | 0 | 202k| 0 | 1.000000e+00 | 1.032500e+04 | Large
84.70/84.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
84.70/84.79 c 82.5s|280000 |230530 | 0 | 0.0 | 158M| 911 | - |1900 | 15k| 0 | 0 | 0 | 212k| 0 | 1.000000e+00 | 1.032500e+04 | Large
88.40/88.46 c 86.0s|290000 |238834 | 0 | 0.0 | 165M| 911 | - |1900 | 16k| 0 | 0 | 0 | 221k| 0 | 1.000000e+00 | 1.032500e+04 | Large
89.39/89.48 o 10285
89.39/89.48 c *87.0s|292924 |241009 | 0 | 0.0 | 166M| 911 | - |1900 | 16k| 0 | 0 | 0 | 224k| 0 | 1.000000e+00 | 1.028500e+04 | Large
89.39/89.49 o 10195
89.39/89.49 c *87.0s|292925 |240184 | 0 | 0.0 | 164M| 911 | - |1900 | 16k| 0 | 0 | 0 | 224k| 0 | 1.000000e+00 | 1.019500e+04 | Large
91.90/91.94 o 10076
91.90/91.94 c *89.4s|299380 |244204 | 0 | 0.0 | 166M| 911 | - |1900 | 17k| 0 | 0 | 0 | 230k| 0 | 1.000000e+00 | 1.007600e+04 | Large
92.09/92.17 c 89.7s|300000 |244723 | 0 | 0.0 | 166M| 911 | - |1900 | 17k| 0 | 0 | 0 | 230k| 0 | 1.000000e+00 | 1.007600e+04 | Large
92.89/92.93 o 9986
92.89/92.93 c *90.4s|302157 |245422 | 0 | 0.0 | 166M| 911 | - |1900 | 17k| 0 | 0 | 0 | 232k| 0 | 1.000000e+00 | 9.986000e+03 | Large
95.70/95.75 c 93.2s|310000 |251989 | 0 | 0.0 | 171M| 911 | - |1900 | 19k| 0 | 0 | 0 | 240k| 0 | 1.000000e+00 | 9.986000e+03 | Large
97.39/97.43 o 9738
97.39/97.43 c *94.8s|314843 |252838 | 0 | 0.0 | 168M| 911 | - |1900 | 19k| 0 | 0 | 0 | 244k| 0 | 1.000000e+00 | 9.738000e+03 | Large
97.39/97.44 o 9644
97.39/97.44 c *94.8s|314844 |251564 | 0 | 0.0 | 166M| 911 | - |1900 | 19k| 0 | 0 | 0 | 244k| 0 | 1.000000e+00 | 9.644000e+03 | Large
98.39/98.45 o 9612
98.39/98.45 c *95.8s|317739 |253517 | 0 | 0.0 | 167M| 911 | - |1900 | 19k| 0 | 0 | 0 | 246k| 0 | 1.000000e+00 | 9.612000e+03 | Large
99.19/99.27 c 96.6s|320000 |255428 | 0 | 0.0 | 168M| 911 | - |1900 | 19k| 0 | 0 | 0 | 248k| 0 | 1.000000e+00 | 9.612000e+03 | Large
102.49/102.51 o 9537
102.49/102.51 c *99.8s|328621 |261396 | 0 | 0.0 | 171M| 911 | - |1900 | 21k| 0 | 0 | 0 | 257k| 0 | 1.000000e+00 | 9.537000e+03 | Large
102.99/103.01 c 100s|330000 |262541 | 0 | 0.0 | 172M| 911 | - |1900 | 21k| 0 | 0 | 0 | 258k| 0 | 1.000000e+00 | 9.537000e+03 | Large
105.40/105.49 o 9376
105.40/105.49 c * 103s|336447 |264739 | 0 | 0.0 | 170M| 911 | - |1900 | 22k| 0 | 0 | 0 | 264k| 0 | 1.000000e+00 | 9.376000e+03 | Large
106.89/106.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
106.89/106.96 c 104s|340000 |267641 | 0 | 0.0 | 172M| 911 | - |1900 | 22k| 0 | 0 | 0 | 268k| 0 | 1.000000e+00 | 9.376000e+03 | Large
110.90/110.90 c 108s|350000 |276062 | 0 | 0.0 | 177M| 911 | - |1900 | 17k| 0 | 0 | 0 | 277k| 0 | 1.000000e+00 | 9.376000e+03 | Large
114.49/114.56 c 112s|360000 |284418 | 0 | 0.0 | 183M| 911 | - |1900 | 18k| 0 | 0 | 0 | 286k| 0 | 1.000000e+00 | 9.376000e+03 | Large
115.19/115.28 o 9277
115.19/115.28 c * 112s|361960 |283772 | 0 | 0.0 | 181M| 911 | - |1900 | 18k| 0 | 0 | 0 | 288k| 0 | 1.000000e+00 | 9.277000e+03 | Large
118.19/118.25 c 115s|370000 |290601 | 0 | 0.0 | 187M| 911 | - |1900 | 18k| 0 | 0 | 0 | 295k| 0 | 1.000000e+00 | 9.277000e+03 | Large
120.09/120.16 o 9269
120.09/120.16 c * 117s|374856 |294451 | 0 | 0.0 | 190M| 911 | - |1900 | 19k| 0 | 0 | 0 | 299k| 0 | 1.000000e+00 | 9.269000e+03 | Large
122.10/122.18 c 119s|380000 |298718 | 0 | 0.0 | 193M| 911 | - |1900 | 19k| 0 | 0 | 0 | 304k| 0 | 1.000000e+00 | 9.269000e+03 | Large
122.79/122.87 o 9253
122.79/122.87 c * 120s|381698 |299739 | 0 | 0.0 | 193M| 911 | - |1900 | 19k| 0 | 0 | 0 | 306k| 0 | 1.000000e+00 | 9.253000e+03 | Large
126.10/126.10 c 123s|390000 |306623 | 0 | 0.0 | 199M| 911 | - |1900 | 21k| 0 | 0 | 0 | 314k| 0 | 1.000000e+00 | 9.253000e+03 | Large
130.19/130.22 c 127s|400000 |314797 | 0 | 0.0 | 205M| 911 | - |1900 | 21k| 0 | 0 | 0 | 324k| 0 | 1.000000e+00 | 9.253000e+03 | Large
134.30/134.34 c 131s|410000 |323079 | 0 | 0.0 | 211M| 911 | - |1900 | 22k| 0 | 0 | 0 | 334k| 0 | 1.000000e+00 | 9.253000e+03 | Large
136.10/136.10 o 9158
136.10/136.10 c * 133s|414146 |324065 | 0 | 0.0 | 211M| 911 | - |1900 | 23k| 0 | 0 | 0 | 338k| 0 | 1.000000e+00 | 9.158000e+03 | Large
136.30/136.37 o 9115
136.30/136.37 c * 133s|414741 |323459 | 0 | 0.0 | 210M| 911 | - |1900 | 23k| 0 | 0 | 0 | 339k| 0 | 1.000000e+00 | 9.115000e+03 | Large
138.69/138.70 c 135s|420000 |327758 | 0 | 0.0 | 213M| 911 | - |1900 | 24k| 0 | 0 | 0 | 344k| 0 | 1.000000e+00 | 9.115000e+03 | Large
139.80/139.80 o 9042
139.80/139.80 c * 136s|422691 |328335 | 0 | 0.0 | 213M| 911 | - |1900 | 23k| 0 | 0 | 0 | 347k| 0 | 1.000000e+00 | 9.042000e+03 | Large
141.19/141.25 o 8961
141.19/141.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
141.19/141.25 c * 138s|425886 |328857 | 0 | 0.0 | 213M| 911 | - |1900 | 24k| 0 | 0 | 0 | 350k| 0 | 1.000000e+00 | 8.961000e+03 | Large
143.09/143.13 c 140s|430000 |332214 | 0 | 0.0 | 216M| 911 | - |1900 | 25k| 0 | 0 | 0 | 354k| 0 | 1.000000e+00 | 8.961000e+03 | Large
147.70/147.76 c 144s|440000 |340344 | 0 | 0.0 | 222M| 911 | - |1900 | 25k| 0 | 0 | 0 | 365k| 0 | 1.000000e+00 | 8.961000e+03 | Large
149.69/149.70 o 8891
149.69/149.70 c * 146s|444031 |341811 | 0 | 0.0 | 223M| 911 | - |1900 | 26k| 0 | 0 | 0 | 370k| 0 | 1.000000e+00 | 8.891000e+03 | Large
152.60/152.68 c 149s|450000 |346634 | 0 | 0.0 | 227M| 911 | - |1900 | 27k| 0 | 0 | 0 | 376k| 0 | 1.000000e+00 | 8.891000e+03 | Large
157.40/157.41 c 154s|460000 |354729 | 0 | 0.0 | 233M| 911 | - |1900 | 28k| 0 | 0 | 0 | 387k| 0 | 1.000000e+00 | 8.891000e+03 | Large
162.19/162.23 c 158s|470000 |362936 | 0 | 0.0 | 240M| 911 | - |1900 | 29k| 0 | 0 | 0 | 397k| 0 | 1.000000e+00 | 8.891000e+03 | Large
166.99/167.03 c 163s|480000 |371071 | 0 | 0.0 | 246M| 911 | - |1900 | 31k| 0 | 0 | 0 | 407k| 0 | 1.000000e+00 | 8.891000e+03 | Large
168.49/168.57 o 8692
168.49/168.57 c * 165s|482860 |368071 | 0 | 0.0 | 242M| 911 | - |1900 | 32k| 0 | 0 | 0 | 411k| 0 | 1.000000e+00 | 8.692000e+03 | Large
168.49/168.58 o 8447
168.49/168.58 c * 165s|482861 |361011 | 0 | 0.0 | 233M| 911 | - |1900 | 32k| 0 | 0 | 0 | 411k| 0 | 1.000000e+00 | 8.447000e+03 | Large
169.10/169.17 o 8257
169.10/169.17 c * 165s|483696 |355744 | 0 | 0.0 | 225M| 911 | - |1900 | 30k| 0 | 0 | 0 | 412k| 0 | 1.000000e+00 | 8.257000e+03 | Large
171.89/171.94 c 168s|490000 |361139 | 0 | 0.0 | 224M| 911 | - |1900 | 18k| 0 | 0 | 0 | 417k| 0 | 1.000000e+00 | 8.257000e+03 | Large
175.60/175.68 c 172s|500000 |369581 | 0 | 0.0 | 230M| 911 | - |1900 | 17k| 0 | 0 | 0 | 426k| 0 | 1.000000e+00 | 8.257000e+03 | Large
179.60/179.61 c 175s|510000 |377813 | 0 | 0.0 | 237M| 911 | - |1900 | 18k| 0 | 0 | 0 | 435k| 0 | 1.000000e+00 | 8.257000e+03 | Large
183.50/183.59 c 179s|520000 |386144 | 0 | 0.0 | 244M| 911 | - |1900 | 18k| 0 | 0 | 0 | 445k| 0 | 1.000000e+00 | 8.257000e+03 | Large
187.59/187.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
187.59/187.65 c 183s|530000 |394375 | 0 | 0.0 | 250M| 911 | - |1900 | 19k| 0 | 0 | 0 | 454k| 0 | 1.000000e+00 | 8.257000e+03 | Large
191.60/191.68 c 187s|540000 |402621 | 0 | 0.0 | 256M| 911 | - |1900 | 20k| 0 | 0 | 0 | 464k| 0 | 1.000000e+00 | 8.257000e+03 | Large
195.90/195.90 c 191s|550000 |410775 | 0 | 0.0 | 263M| 911 | - |1900 | 21k| 0 | 0 | 0 | 474k| 0 | 1.000000e+00 | 8.257000e+03 | Large
200.10/200.14 c 195s|560000 |418968 | 0 | 0.0 | 269M| 911 | - |1900 | 22k| 0 | 0 | 0 | 484k| 0 | 1.000000e+00 | 8.257000e+03 | Large
204.40/204.48 c 200s|570000 |427154 | 0 | 0.0 | 275M| 911 | - |1900 | 21k| 0 | 0 | 0 | 494k| 0 | 1.000000e+00 | 8.257000e+03 | Large
208.60/208.68 c 204s|580000 |435349 | 0 | 0.0 | 281M| 911 | - |1900 | 22k| 0 | 0 | 0 | 504k| 0 | 1.000000e+00 | 8.257000e+03 | Large
212.99/213.00 c 208s|590000 |443518 | 0 | 0.0 | 288M| 911 | - |1900 | 23k| 0 | 0 | 0 | 514k| 0 | 1.000000e+00 | 8.257000e+03 | Large
215.60/215.68 o 8142
215.60/215.68 c * 211s|595938 |444075 | 0 | 0.0 | 287M| 911 | - |1900 | 24k| 0 | 0 | 0 | 520k| 0 | 1.000000e+00 | 8.142000e+03 | Large
217.50/217.56 c 213s|600000 |447423 | 0 | 0.0 | 289M| 911 | - |1900 | 24k| 0 | 0 | 0 | 524k| 0 | 1.000000e+00 | 8.142000e+03 | Large
222.20/222.27 c 217s|610000 |455501 | 0 | 0.0 | 296M| 911 | - |1900 | 25k| 0 | 0 | 0 | 535k| 0 | 1.000000e+00 | 8.142000e+03 | Large
223.20/223.26 o 8123
223.20/223.26 c * 218s|612186 |456632 | 0 | 0.0 | 296M| 911 | - |1900 | 25k| 0 | 0 | 0 | 537k| 0 | 1.000000e+00 | 8.123000e+03 | Large
226.90/226.93 c 222s|620000 |462952 | 0 | 0.0 | 301M| 911 | - |1900 | 25k| 0 | 0 | 0 | 545k| 0 | 1.000000e+00 | 8.123000e+03 | Large
230.29/230.33 o 7978
230.29/230.33 c * 225s|627256 |463056 | 0 | 0.0 | 298M| 911 | - |1900 | 25k| 0 | 0 | 0 | 552k| 0 | 1.000000e+00 | 7.978000e+03 | Large
231.60/231.61 c 226s|630000 |465293 | 0 | 0.0 | 300M| 911 | - |1900 | 25k| 0 | 0 | 0 | 555k| 0 | 1.000000e+00 | 7.978000e+03 | Large
236.29/236.32 c 231s|640000 |473444 | 0 | 0.0 | 306M| 911 | - |1900 | 27k| 0 | 0 | 0 | 565k| 0 | 1.000000e+00 | 7.978000e+03 | Large
241.20/241.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
241.20/241.23 c 236s|650000 |481460 | 0 | 0.0 | 313M| 911 | - |1900 | 28k| 0 | 0 | 0 | 576k| 0 | 1.000000e+00 | 7.978000e+03 | Large
246.10/246.19 c 241s|660000 |489549 | 0 | 0.0 | 319M| 911 | - |1900 | 28k| 0 | 0 | 0 | 586k| 0 | 1.000000e+00 | 7.978000e+03 | Large
251.50/251.51 c 246s|670000 |497498 | 0 | 0.0 | 326M| 911 | - |1900 | 29k| 0 | 0 | 0 | 597k| 0 | 1.000000e+00 | 7.978000e+03 | Large
254.29/254.31 o 7791
254.29/254.31 c * 249s|675407 |493727 | 0 | 0.0 | 320M| 911 | - |1900 | 31k| 0 | 0 | 0 | 603k| 0 | 1.000000e+00 | 7.791000e+03 | Large
255.50/255.53 o 7708
255.50/255.53 c * 250s|677615 |492069 | 0 | 0.0 | 318M| 911 | - |1900 | 31k| 0 | 0 | 0 | 606k| 0 | 1.000000e+00 | 7.708000e+03 | Large
257.00/257.00 c 251s|680000 |493917 | 0 | 0.0 | 319M| 911 | - |1900 | 32k| 0 | 0 | 0 | 609k| 0 | 1.000000e+00 | 7.708000e+03 | Large
263.20/263.22 c 257s|690000 |501762 | 0 | 0.0 | 326M| 911 | - |1900 | 32k| 0 | 0 | 0 | 620k| 0 | 1.000000e+00 | 7.708000e+03 | Large
267.40/267.40 o 7559
267.40/267.40 c * 262s|697757 |501833 | 0 | 0.0 | 323M| 911 | - |1900 | 30k| 0 | 0 | 0 | 628k| 0 | 1.000000e+00 | 7.559000e+03 | Large
267.40/267.42 o 7465
267.40/267.42 c * 262s|697759 |497525 | 0 | 0.0 | 318M| 911 | - |1900 | 30k| 0 | 0 | 0 | 628k| 0 | 1.000000e+00 | 7.465000e+03 | Large
268.60/268.67 c 263s|700000 |499351 | 0 | 0.0 | 319M| 911 | - |1900 | 29k| 0 | 0 | 0 | 630k| 0 | 1.000000e+00 | 7.465000e+03 | Large
274.10/274.10 c 268s|710000 |507446 | 0 | 0.0 | 326M| 911 | - |1900 | 30k| 0 | 0 | 0 | 640k| 0 | 1.000000e+00 | 7.465000e+03 | Large
279.60/279.66 c 274s|720000 |515491 | 0 | 0.0 | 332M| 911 | - |1900 | 30k| 0 | 0 | 0 | 651k| 0 | 1.000000e+00 | 7.465000e+03 | Large
285.00/285.01 c 279s|730000 |523502 | 0 | 0.0 | 339M| 911 | - |1900 | 32k| 0 | 0 | 0 | 661k| 0 | 1.000000e+00 | 7.465000e+03 | Large
290.70/290.71 c 285s|740000 |531553 | 0 | 0.0 | 346M| 911 | - |1900 | 33k| 0 | 0 | 0 | 672k| 0 | 1.000000e+00 | 7.465000e+03 | Large
296.30/296.33 c 290s|750000 |539403 | 0 | 0.0 | 354M| 911 | - |1900 | 34k| 0 | 0 | 0 | 683k| 0 | 1.000000e+00 | 7.465000e+03 | Large
302.41/302.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
302.41/302.45 c 296s|760000 |547218 | 0 | 0.0 | 360M| 911 | - |1900 | 35k| 0 | 0 | 0 | 695k| 0 | 1.000000e+00 | 7.465000e+03 | Large
308.50/308.55 c 302s|770000 |555253 | 0 | 0.0 | 366M| 911 | - |1900 | 36k| 0 | 0 | 0 | 705k| 0 | 1.000000e+00 | 7.465000e+03 | Large
311.00/311.04 o 7394
311.00/311.04 c * 305s|774042 |554978 | 0 | 0.0 | 364M| 911 | - |1900 | 36k| 0 | 0 | 0 | 710k| 0 | 1.000000e+00 | 7.394000e+03 | Large
314.61/314.69 c 308s|780000 |559606 | 0 | 0.0 | 368M| 911 | - |1900 | 37k| 0 | 0 | 0 | 717k| 0 | 1.000000e+00 | 7.394000e+03 | Large
321.11/321.12 c 315s|790000 |567616 | 0 | 0.0 | 374M| 911 | - |1900 | 38k| 0 | 0 | 0 | 728k| 0 | 1.000000e+00 | 7.394000e+03 | Large
327.90/327.96 c 321s|800000 |575515 | 0 | 0.0 | 381M| 911 | - |1900 | 39k| 0 | 0 | 0 | 739k| 0 | 1.000000e+00 | 7.394000e+03 | Large
334.30/334.40 c 328s|810000 |583465 | 0 | 0.0 | 387M| 911 | - |1900 | 39k| 0 | 0 | 0 | 750k| 0 | 1.000000e+00 | 7.394000e+03 | Large
335.99/336.04 o 7306
335.99/336.04 c * 329s|812534 |580712 | 0 | 0.0 | 382M| 911 | - |1900 | 40k| 0 | 0 | 0 | 752k| 0 | 1.000000e+00 | 7.306000e+03 | Large
335.99/336.05 o 7276
335.99/336.05 c * 329s|812536 |578879 | 0 | 0.0 | 380M| 911 | - |1900 | 40k| 0 | 0 | 0 | 752k| 0 | 1.000000e+00 | 7.276000e+03 | Large
341.30/341.30 c 334s|820000 |584765 | 0 | 0.0 | 385M| 911 | - |1900 | 40k| 0 | 0 | 0 | 761k| 0 | 1.000000e+00 | 7.276000e+03 | Large
348.51/348.60 c 342s|830000 |592437 | 0 | 0.0 | 392M| 911 | - |1900 | 42k| 0 | 0 | 0 | 773k| 0 | 1.000000e+00 | 7.276000e+03 | Large
355.90/355.90 c 349s|840000 |600311 | 0 | 0.0 | 398M| 911 | - |1900 | 42k| 0 | 0 | 0 | 784k| 0 | 1.000000e+00 | 7.276000e+03 | Large
363.10/363.16 c 356s|850000 |608155 | 0 | 0.0 | 405M| 911 | - |1900 | 44k| 0 | 0 | 0 | 795k| 0 | 1.000000e+00 | 7.276000e+03 | Large
370.50/370.53 c 363s|860000 |615852 | 0 | 0.0 | 412M| 911 | - |1900 | 46k| 0 | 0 | 0 | 807k| 0 | 1.000000e+00 | 7.276000e+03 | Large
377.90/377.94 c 371s|870000 |623663 | 0 | 0.0 | 419M| 911 | - |1900 | 48k| 0 | 0 | 0 | 819k| 0 | 1.000000e+00 | 7.276000e+03 | Large
385.30/385.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
385.30/385.34 c 378s|880000 |631722 | 0 | 0.0 | 426M| 911 | - |1900 | 48k| 0 | 0 | 0 | 830k| 0 | 1.000000e+00 | 7.276000e+03 | Large
389.80/389.86 o 7255
389.80/389.86 c * 382s|886399 |635638 | 0 | 0.0 | 428M| 911 | - |1900 | 49k| 0 | 0 | 0 | 836k| 0 | 1.000000e+00 | 7.255000e+03 | Large
392.61/392.69 c 385s|890000 |638524 | 0 | 0.0 | 431M| 911 | - |1900 | 49k| 0 | 0 | 0 | 840k| 0 | 1.000000e+00 | 7.255000e+03 | Large
400.50/400.50 c 393s|900000 |646388 | 0 | 0.0 | 438M| 911 | - |1900 | 51k| 0 | 0 | 0 | 852k| 0 | 1.000000e+00 | 7.255000e+03 | Large
408.70/408.70 o 4939
408.70/408.70 c * 401s|909722 |480539 | 0 | 0.0 | 296M| 911 | - |1900 | 53k| 0 | 0 | 0 | 863k| 0 | 1.000000e+00 | 4.939000e+03 | Large
408.80/408.82 o 4074
408.80/408.82 c * 401s|909723 |409194 | 0 | 0.0 | 260M| 911 | - |1900 | 53k| 0 | 0 | 0 | 863k| 0 | 1.000000e+00 | 4.074000e+03 | Large
408.90/408.98 o 3964
408.90/408.98 c * 401s|909762 |399815 | 0 | 0.0 | 255M| 911 | - |1900 | 52k| 0 | 0 | 0 | 863k| 0 | 1.000000e+00 | 3.964000e+03 | Large
408.90/409.00 o 3874
408.90/409.00 c * 401s|909763 |392109 | 0 | 0.0 | 251M| 911 | - |1900 | 52k| 0 | 0 | 0 | 863k| 0 | 1.000000e+00 | 3.874000e+03 | Large
409.50/409.57 o 3640
409.50/409.57 c * 402s|909920 |370903 | 0 | 0.0 | 238M| 911 | - |1900 | 46k| 0 | 0 | 0 | 864k| 0 | 1.000000e+00 | 3.640000e+03 | Large
409.80/409.80 c 402s|910000 |370936 | 0 | 0.0 | 237M| 911 | - |1900 | 43k| 0 | 0 | 0 | 864k| 0 | 1.000000e+00 | 3.640000e+03 | Large
416.51/416.50 c 409s|920000 |378754 | 0 | 0.0 | 240M| 911 | - |1900 | 27k| 0 | 0 | 0 | 873k| 0 | 1.000000e+00 | 3.640000e+03 | Large
423.20/423.26 c 416s|930000 |385924 | 0 | 0.0 | 249M| 911 | - |1900 | 28k| 0 | 0 | 0 | 884k| 0 | 1.000000e+00 | 3.640000e+03 | Large
430.31/430.35 c 422s|940000 |393046 | 0 | 0.0 | 258M| 911 | - |1900 | 29k| 0 | 0 | 0 | 895k| 0 | 1.000000e+00 | 3.640000e+03 | Large
438.00/438.01 c 430s|950000 |399938 | 0 | 0.0 | 267M| 911 | - |1900 | 31k| 0 | 0 | 0 | 907k| 0 | 1.000000e+00 | 3.640000e+03 | Large
446.00/446.01 c 438s|960000 |406747 | 0 | 0.0 | 276M| 911 | - |1900 | 32k| 0 | 0 | 0 | 919k| 0 | 1.000000e+00 | 3.640000e+03 | Large
453.90/453.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
453.90/453.97 c 446s|970000 |413650 | 0 | 0.0 | 285M| 911 | - |1900 | 34k| 0 | 0 | 0 | 931k| 0 | 1.000000e+00 | 3.640000e+03 | Large
462.60/462.67 c 454s|980000 |420410 | 0 | 0.0 | 294M| 911 | - |1900 | 35k| 0 | 0 | 0 | 943k| 0 | 1.000000e+00 | 3.640000e+03 | Large
471.51/471.51 c 463s|990000 |427116 | 0 | 0.0 | 304M| 911 | - |1900 | 37k| 0 | 0 | 0 | 955k| 0 | 1.000000e+00 | 3.640000e+03 | Large
480.30/480.35 c 472s| 1000k|434007 | 0 | 0.0 | 312M| 911 | - |1900 | 38k| 0 | 0 | 0 | 967k| 0 | 1.000000e+00 | 3.640000e+03 | Large
489.70/489.70 c 481s| 1010k|440692 | 0 | 0.0 | 321M| 911 | - |1900 | 40k| 0 | 0 | 0 | 979k| 0 | 1.000000e+00 | 3.640000e+03 | Large
499.11/499.13 c 491s| 1020k|447553 | 0 | 0.0 | 330M| 911 | - |1900 | 41k| 0 | 0 | 0 | 992k| 0 | 1.000000e+00 | 3.640000e+03 | Large
509.21/509.28 c 501s| 1030k|454208 | 0 | 0.0 | 339M| 911 | - |1900 | 43k| 0 | 0 | 0 |1005k| 0 | 1.000000e+00 | 3.640000e+03 | Large
519.40/519.48 c 511s| 1040k|460988 | 0 | 0.0 | 348M| 911 | - |1900 | 44k| 0 | 0 | 0 |1018k| 0 | 1.000000e+00 | 3.640000e+03 | Large
530.01/530.10 c 521s| 1050k|467844 | 0 | 0.0 | 357M| 911 | - |1900 | 46k| 0 | 0 | 0 |1031k| 0 | 1.000000e+00 | 3.640000e+03 | Large
540.91/540.95 c 532s| 1060k|474723 | 0 | 0.0 | 366M| 911 | - |1900 | 47k| 0 | 0 | 0 |1043k| 0 | 1.000000e+00 | 3.640000e+03 | Large
553.21/553.26 c 544s| 1070k|481199 | 0 | 0.0 | 375M| 911 | - |1900 | 48k| 0 | 0 | 0 |1057k| 0 | 1.000000e+00 | 3.640000e+03 | Large
564.51/564.56 c 555s| 1080k|488056 | 0 | 0.0 | 383M| 911 | - |1900 | 50k| 0 | 0 | 0 |1070k| 0 | 1.000000e+00 | 3.640000e+03 | Large
576.41/576.46 c 567s| 1090k|494793 | 0 | 0.0 | 392M| 911 | - |1900 | 52k| 0 | 0 | 0 |1084k| 0 | 1.000000e+00 | 3.640000e+03 | Large
589.41/589.42 c 580s| 1100k|501363 | 0 | 0.0 | 402M| 911 | - |1900 | 54k| 0 | 0 | 0 |1098k| 0 | 1.000000e+00 | 3.640000e+03 | Large
602.81/602.85 c 593s| 1110k|507899 | 0 | 0.0 | 411M| 911 | - |1900 | 56k| 0 | 0 | 0 |1112k| 0 | 1.000000e+00 | 3.640000e+03 | Large
616.61/616.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
616.61/616.66 c 607s| 1120k|514287 | 0 | 0.0 | 420M| 911 | - |1900 | 58k| 0 | 0 | 0 |1127k| 0 | 1.000000e+00 | 3.640000e+03 | Large
626.01/626.09 o 3592
626.01/626.09 c * 617s| 1126k|512824 | 0 | 0.0 | 422M| 911 | - |1900 | 59k| 0 | 0 | 0 |1136k| 0 | 1.000000e+00 | 3.592000e+03 | Large
626.11/626.11 o 3545
626.11/626.11 c * 617s| 1126k|507113 | 0 | 0.0 | 417M| 911 | - |1900 | 59k| 0 | 0 | 0 |1136k| 0 | 1.000000e+00 | 3.545000e+03 | Large
630.91/630.92 c 621s| 1130k|509253 | 0 | 0.0 | 420M| 911 | - |1900 | 60k| 0 | 0 | 0 |1142k| 0 | 1.000000e+00 | 3.545000e+03 | Large
645.61/645.65 c 636s| 1140k|515667 | 0 | 0.0 | 429M| 911 | - |1900 | 63k| 0 | 0 | 0 |1156k| 0 | 1.000000e+00 | 3.545000e+03 | Large
661.61/661.68 c 652s| 1150k|521803 | 0 | 0.0 | 438M| 911 | - |1900 | 63k| 0 | 0 | 0 |1172k| 0 | 1.000000e+00 | 3.545000e+03 | Large
673.81/673.84 c 664s| 1160k|528649 | 0 | 0.0 | 442M| 911 | - |1900 | 49k| 0 | 0 | 0 |1184k| 0 | 1.000000e+00 | 3.545000e+03 | Large
684.51/684.52 c 675s| 1170k|535559 | 0 | 0.0 | 450M| 911 | - |1900 | 48k| 0 | 0 | 0 |1196k| 0 | 1.000000e+00 | 3.545000e+03 | Large
695.71/695.76 c 686s| 1180k|542261 | 0 | 0.0 | 459M| 911 | - |1900 | 48k| 0 | 0 | 0 |1208k| 0 | 1.000000e+00 | 3.545000e+03 | Large
707.32/707.34 c 697s| 1190k|549027 | 0 | 0.0 | 468M| 911 | - |1900 | 48k| 0 | 0 | 0 |1220k| 0 | 1.000000e+00 | 3.545000e+03 | Large
718.91/718.95 c 709s| 1200k|555482 | 0 | 0.0 | 476M| 911 | - |1900 | 47k| 0 | 0 | 0 |1234k| 0 | 1.000000e+00 | 3.545000e+03 | Large
731.61/731.61 c 721s| 1210k|561777 | 0 | 0.0 | 484M| 911 | - |1900 | 48k| 0 | 0 | 0 |1247k| 0 | 1.000000e+00 | 3.545000e+03 | Large
744.31/744.34 c 734s| 1220k|567957 | 0 | 0.0 | 493M| 911 | - |1900 | 49k| 0 | 0 | 0 |1262k| 0 | 1.000000e+00 | 3.545000e+03 | Large
757.82/757.87 c 747s| 1230k|573817 | 0 | 0.0 | 503M| 911 | - |1900 | 51k| 0 | 0 | 0 |1277k| 0 | 1.000000e+00 | 3.545000e+03 | Large
770.62/770.69 c 760s| 1240k|580119 | 0 | 0.0 | 512M| 911 | - |1900 | 52k| 0 | 0 | 0 |1290k| 0 | 1.000000e+00 | 3.545000e+03 | Large
785.12/785.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
785.12/785.12 c 774s| 1250k|586181 | 0 | 0.0 | 521M| 911 | - |1900 | 54k| 0 | 0 | 0 |1305k| 0 | 1.000000e+00 | 3.545000e+03 | Large
798.42/798.41 c 788s| 1260k|592768 | 0 | 0.0 | 530M| 911 | - |1900 | 56k| 0 | 0 | 0 |1318k| 0 | 1.000000e+00 | 3.545000e+03 | Large
812.71/812.73 c 802s| 1270k|599129 | 0 | 0.0 | 540M| 911 | - |1900 | 57k| 0 | 0 | 0 |1332k| 0 | 1.000000e+00 | 3.545000e+03 | Large
828.91/828.92 c 818s| 1280k|604951 | 0 | 0.0 | 549M| 911 | - |1900 | 60k| 0 | 0 | 0 |1348k| 0 | 1.000000e+00 | 3.545000e+03 | Large
845.01/845.01 c 834s| 1290k|610848 | 0 | 0.0 | 559M| 911 | - |1900 | 61k| 0 | 0 | 0 |1364k| 0 | 1.000000e+00 | 3.545000e+03 | Large
861.12/861.20 c 850s| 1300k|616908 | 0 | 0.0 | 569M| 911 | - |1900 | 64k| 0 | 0 | 0 |1379k| 0 | 1.000000e+00 | 3.545000e+03 | Large
877.22/877.29 c 866s| 1310k|623193 | 0 | 0.0 | 578M| 911 | - |1900 | 65k| 0 | 0 | 0 |1394k| 0 | 1.000000e+00 | 3.545000e+03 | Large
893.02/893.10 c 882s| 1320k|629524 | 0 | 0.0 | 587M| 911 | - |1900 | 66k| 0 | 0 | 0 |1409k| 0 | 1.000000e+00 | 3.545000e+03 | Large
910.42/910.46 c 899s| 1330k|635478 | 0 | 0.0 | 596M| 911 | - |1900 | 67k| 0 | 0 | 0 |1425k| 0 | 1.000000e+00 | 3.545000e+03 | Large
927.12/927.19 c 916s| 1340k|641465 | 0 | 0.0 | 606M| 911 | - |1900 | 70k| 0 | 0 | 0 |1441k| 0 | 1.000000e+00 | 3.545000e+03 | Large
937.02/937.01 o 3419
937.02/937.01 c * 925s| 1344k|625128 | 0 | 0.0 | 584M| 911 | - |1900 | 56k| 0 | 0 | 0 |1450k| 0 | 1.000000e+00 | 3.419000e+03 | Large
941.62/941.62 c 930s| 1350k|629251 | 0 | 0.0 | 583M| 911 | - |1900 | 34k| 0 | 0 | 0 |1455k| 0 | 1.000000e+00 | 3.419000e+03 | Large
950.62/950.63 c 939s| 1360k|636255 | 0 | 0.0 | 592M| 911 | - |1900 | 35k| 0 | 0 | 0 |1466k| 0 | 1.000000e+00 | 3.419000e+03 | Large
959.52/959.58 c 948s| 1370k|643113 | 0 | 0.0 | 601M| 911 | - |1900 | 37k| 0 | 0 | 0 |1478k| 0 | 1.000000e+00 | 3.419000e+03 | Large
969.32/969.35 c 957s| 1380k|649902 | 0 | 0.0 | 610M| 911 | - |1900 | 39k| 0 | 0 | 0 |1490k| 0 | 1.000000e+00 | 3.419000e+03 | Large
979.32/979.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
979.32/979.37 c 967s| 1390k|656622 | 0 | 0.0 | 619M| 911 | - |1900 | 41k| 0 | 0 | 0 |1502k| 0 | 1.000000e+00 | 3.419000e+03 | Large
990.02/990.05 c 978s| 1400k|663482 | 0 | 0.0 | 628M| 911 | - |1900 | 42k| 0 | 0 | 0 |1514k| 0 | 1.000000e+00 | 3.419000e+03 | Large
1001.12/1001.11 c 989s| 1410k|670033 | 0 | 0.0 | 637M| 911 | - |1900 | 43k| 0 | 0 | 0 |1527k| 0 | 1.000000e+00 | 3.419000e+03 | Large
1012.62/1012.68 c 1000s| 1420k|676557 | 0 | 0.0 | 647M| 911 | - |1900 | 46k| 0 | 0 | 0 |1541k| 0 | 1.000000e+00 | 3.419000e+03 | Large
1023.52/1023.59 c 1011s| 1430k|683371 | 0 | 0.0 | 656M| 911 | - |1900 | 46k| 0 | 0 | 0 |1553k| 0 | 1.000000e+00 | 3.419000e+03 | Large
1034.72/1034.75 c 1022s| 1440k|690028 | 0 | 0.0 | 665M| 911 | - |1900 | 48k| 0 | 0 | 0 |1566k| 0 | 1.000000e+00 | 3.419000e+03 | Large
1047.23/1047.24 c 1035s| 1450k|696542 | 0 | 0.0 | 675M| 911 | - |1900 | 49k| 0 | 0 | 0 |1579k| 0 | 1.000000e+00 | 3.419000e+03 | Large
1058.82/1058.82 c 1046s| 1460k|703245 | 0 | 0.0 | 683M| 911 | - |1900 | 50k| 0 | 0 | 0 |1592k| 0 | 1.000000e+00 | 3.419000e+03 | Large
1071.22/1071.28 c 1058s| 1470k|709695 | 0 | 0.0 | 692M| 911 | - |1900 | 51k| 0 | 0 | 0 |1605k| 0 | 1.000000e+00 | 3.419000e+03 | Large
1084.12/1084.15 c 1071s| 1480k|716165 | 0 | 0.0 | 701M| 911 | - |1900 | 53k| 0 | 0 | 0 |1619k| 0 | 1.000000e+00 | 3.419000e+03 | Large
1097.03/1097.07 c 1084s| 1490k|722799 | 0 | 0.0 | 710M| 911 | - |1900 | 54k| 0 | 0 | 0 |1632k| 0 | 1.000000e+00 | 3.419000e+03 | Large
1109.62/1109.61 c 1097s| 1500k|729334 | 0 | 0.0 | 719M| 911 | - |1900 | 55k| 0 | 0 | 0 |1644k| 0 | 1.000000e+00 | 3.419000e+03 | Large
1122.63/1122.69 o 3393
1122.63/1122.69 c *1110s| 1509k|731329 | 0 | 0.0 | 724M| 911 | - |1900 | 55k| 0 | 0 | 0 |1657k| 0 | 1.000000e+00 | 3.393000e+03 | Large
1122.73/1122.71 o 3362
1122.73/1122.71 c *1110s| 1509k|725807 | 0 | 0.0 | 718M| 911 | - |1900 | 55k| 0 | 0 | 0 |1657k| 0 | 1.000000e+00 | 3.362000e+03 | Large
1122.82/1122.89 c 1110s| 1510k|725915 | 0 | 0.0 | 718M| 911 | - |1900 | 55k| 0 | 0 | 0 |1657k| 0 | 1.000000e+00 | 3.362000e+03 | Large
1135.82/1135.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1135.82/1135.80 c 1123s| 1520k|732549 | 0 | 0.0 | 727M| 911 | - |1900 | 57k| 0 | 0 | 0 |1670k| 0 | 1.000000e+00 | 3.362000e+03 | Large
1150.13/1150.19 c 1137s| 1530k|739006 | 0 | 0.0 | 736M| 911 | - |1900 | 58k| 0 | 0 | 0 |1683k| 0 | 1.000000e+00 | 3.362000e+03 | Large
1164.53/1164.51 c 1151s| 1540k|745565 | 0 | 0.0 | 745M| 911 | - |1900 | 59k| 0 | 0 | 0 |1697k| 0 | 1.000000e+00 | 3.362000e+03 | Large
1179.23/1179.24 c 1166s| 1550k|752059 | 0 | 0.0 | 755M| 911 | - |1900 | 61k| 0 | 0 | 0 |1710k| 0 | 1.000000e+00 | 3.362000e+03 | Large
1194.43/1194.49 c 1181s| 1560k|758420 | 0 | 0.0 | 764M| 911 | - |1900 | 63k| 0 | 0 | 0 |1724k| 0 | 1.000000e+00 | 3.362000e+03 | Large
1210.73/1210.77 c 1197s| 1570k|764639 | 0 | 0.0 | 773M| 911 | - |1900 | 64k| 0 | 0 | 0 |1739k| 0 | 1.000000e+00 | 3.362000e+03 | Large
1226.72/1226.72 c 1213s| 1580k|771116 | 0 | 0.0 | 782M| 911 | - |1900 | 66k| 0 | 0 | 0 |1752k| 0 | 1.000000e+00 | 3.362000e+03 | Large
1243.93/1243.90 c 1230s| 1590k|777300 | 0 | 0.0 | 792M| 911 | - |1900 | 67k| 0 | 0 | 0 |1767k| 0 | 1.000000e+00 | 3.362000e+03 | Large
1260.53/1260.51 c 1246s| 1600k|783780 | 0 | 0.0 | 801M| 911 | - |1900 | 69k| 0 | 0 | 0 |1781k| 0 | 1.000000e+00 | 3.362000e+03 | Large
1278.23/1278.24 c 1264s| 1610k|789923 | 0 | 0.0 | 811M| 911 | - |1900 | 71k| 0 | 0 | 0 |1796k| 0 | 1.000000e+00 | 3.362000e+03 | Large
1295.33/1295.30 c 1281s| 1620k|796218 | 0 | 0.0 | 821M| 911 | - |1900 | 73k| 0 | 0 | 0 |1811k| 0 | 1.000000e+00 | 3.362000e+03 | Large
1313.03/1313.08 c 1299s| 1630k|802222 | 0 | 0.0 | 830M| 911 | - |1900 | 75k| 0 | 0 | 0 |1827k| 0 | 1.000000e+00 | 3.362000e+03 | Large
1331.83/1331.83 c 1317s| 1640k|808438 | 0 | 0.0 | 840M| 911 | - |1900 | 77k| 0 | 0 | 0 |1842k| 0 | 1.000000e+00 | 3.362000e+03 | Large
1350.84/1350.82 c 1336s| 1650k|814735 | 0 | 0.0 | 849M| 911 | - |1900 | 80k| 0 | 0 | 0 |1857k| 0 | 1.000000e+00 | 3.362000e+03 | Large
1371.63/1371.67 c 1357s| 1660k|820725 | 0 | 0.0 | 859M| 911 | - |1900 | 83k| 0 | 0 | 0 |1873k| 0 | 1.000000e+00 | 3.362000e+03 | Large
1392.13/1392.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1392.13/1392.19 c 1377s| 1670k|826772 | 0 | 0.0 | 868M| 911 | - |1900 | 83k| 0 | 0 | 0 |1890k| 0 | 1.000000e+00 | 3.362000e+03 | Large
1409.63/1409.64 c 1395s| 1680k|833133 | 0 | 0.0 | 875M| 911 | - |1900 | 73k| 0 | 0 | 0 |1904k| 0 | 1.000000e+00 | 3.362000e+03 | Large
1427.93/1427.94 c 1413s| 1690k|838968 | 0 | 0.0 | 884M| 911 | - |1900 | 73k| 0 | 0 | 0 |1918k| 0 | 1.000000e+00 | 3.362000e+03 | Large
1447.43/1447.49 c 1432s| 1700k|844886 | 0 | 0.0 | 893M| 911 | - |1900 | 73k| 0 | 0 | 0 |1934k| 0 | 1.000000e+00 | 3.362000e+03 | Large
1466.74/1466.74 c 1452s| 1710k|850735 | 0 | 0.0 | 902M| 911 | - |1900 | 75k| 0 | 0 | 0 |1949k| 0 | 1.000000e+00 | 3.362000e+03 | Large
1486.14/1486.10 c 1471s| 1720k|856595 | 0 | 0.0 | 911M| 911 | - |1900 | 75k| 0 | 0 | 0 |1964k| 0 | 1.000000e+00 | 3.362000e+03 | Large
1506.74/1506.70 c 1491s| 1730k|862413 | 0 | 0.0 | 920M| 911 | - |1900 | 77k| 0 | 0 | 0 |1980k| 0 | 1.000000e+00 | 3.362000e+03 | Large
1526.14/1526.19 c 1511s| 1740k|868272 | 0 | 0.0 | 929M| 911 | - |1900 | 76k| 0 | 0 | 0 |1995k| 0 | 1.000000e+00 | 3.362000e+03 | Large
1545.73/1545.78 c 1530s| 1750k|874361 | 0 | 0.0 | 938M| 911 | - |1900 | 78k| 0 | 0 | 0 |2010k| 0 | 1.000000e+00 | 3.362000e+03 | Large
1566.34/1566.39 c 1551s| 1760k|880389 | 0 | 0.0 | 949M| 911 | - |1900 | 80k| 0 | 0 | 0 |2025k| 0 | 1.000000e+00 | 3.362000e+03 | Large
1585.73/1585.74 c 1570s| 1770k|886661 | 0 | 0.0 | 958M| 911 | - |1900 | 80k| 0 | 0 | 0 |2039k| 0 | 1.000000e+00 | 3.362000e+03 | Large
1606.34/1606.35 c 1590s| 1780k|892737 | 0 | 0.0 | 966M| 911 | - |1900 | 80k| 0 | 0 | 0 |2054k| 0 | 1.000000e+00 | 3.362000e+03 | Large
1628.04/1628.07 c 1612s| 1790k|898684 | 0 | 0.0 | 976M| 911 | - |1900 | 82k| 0 | 0 | 0 |2069k| 0 | 1.000000e+00 | 3.362000e+03 | Large
1641.34/1641.37 o 3274
1641.34/1641.37 c *1625s| 1796k|884862 | 0 | 0.0 | 957M| 911 | - |1900 | 83k| 0 | 0 | 0 |2079k| 0 | 1.000000e+00 | 3.274000e+03 | Large
1641.44/1641.40 o 3207
1641.44/1641.40 c *1625s| 1796k|871085 | 0 | 0.0 | 935M| 911 | - |1900 | 83k| 0 | 0 | 0 |2079k| 0 | 1.000000e+00 | 3.207000e+03 | Large
1647.94/1647.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1647.94/1647.97 c 1632s| 1800k|872916 | 0 | 0.0 | 938M| 911 | - |1900 | 82k| 0 | 0 | 0 |2084k| 0 | 1.000000e+00 | 3.207000e+03 | Large
1670.14/1670.12 c 1654s| 1810k|878892 | 0 | 0.0 | 948M| 911 | - |1900 | 85k| 0 | 0 | 0 |2099k| 0 | 1.000000e+00 | 3.207000e+03 | Large
1693.94/1693.92 c 1678s| 1820k|884467 | 0 | 0.0 | 957M| 911 | - |1900 | 87k| 0 | 0 | 0 |2115k| 0 | 1.000000e+00 | 3.207000e+03 | Large
1716.64/1716.63 c 1700s| 1830k|890339 | 0 | 0.0 | 967M| 911 | - |1900 | 89k| 0 | 0 | 0 |2131k| 0 | 1.000000e+00 | 3.207000e+03 | Large
1738.84/1738.83 c 1722s| 1840k|896295 | 0 | 0.0 | 976M| 911 | - |1900 | 90k| 0 | 0 | 0 |2146k| 0 | 1.000000e+00 | 3.207000e+03 | Large
1761.94/1761.94 c 1745s| 1850k|902211 | 0 | 0.0 | 985M| 911 | - |1900 | 93k| 0 | 0 | 0 |2163k| 0 | 1.000000e+00 | 3.207000e+03 | Large
1784.95/1784.96 c 1768s| 1860k|908244 | 0 | 0.0 | 994M| 911 | - |1900 | 95k| 0 | 0 | 0 |2179k| 0 | 1.000000e+00 | 3.207000e+03 | Large
1800.04/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.01 c
1800.04/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.01 c Solving Time (sec) : 1783.22
1800.04/1800.01 c Solving Nodes : 1866334
1800.04/1800.01 c Primal Bound : +3.20700000000000e+03 (91 solutions)
1800.04/1800.01 c Dual Bound : +1.00000000000000e+00
1800.04/1800.01 c Gap : 320600.00 %
1800.04/1800.02 s SATISFIABLE
1800.04/1800.02 v x200 -x199 -x198 x197 x196 -x195 x194 -x193 x192 -x191 x190 -x189 x188 -x187 x186 -x185 x184 -x183 x182 -x181 -x180 x179 -x178
1800.04/1800.02 v x177 x176 -x175 x174 -x173 -x172 x171 x170 -x169 x168 -x167 x166 -x165 -x164 x163 -x162 x161 x160 -x159 -x158 x157 -x156 x155
1800.04/1800.02 v -x154 x153 -x152 x151 -x150 x149 x148 -x147 x146 -x145 -x144 x143 -x142 x141 -x140 x139 -x138 x137 x136 -x135 -x134 x133 -x132
1800.04/1800.02 v x131 -x130 x129 x128 -x127 -x126 x125 x124 -x123 -x122 x121 x120 -x119 -x118 x117 x116 -x115 x114 -x113 -x112 x111 x110 -x109
1800.04/1800.02 v -x108 x107 -x106 x105 x104 -x103 x102 -x101 x100 -x99 x98 -x97 -x96 x95 -x94 x93 -x92 x91 -x90 x89 -x88 x87 x86 -x85 x84
1800.04/1800.02 v -x83 x82 -x81 x80 -x79 x78 -x77 -x76 x75 -x74 x73 x72 -x71 x70 -x69 -x68 x67 x66 -x65 x64 -x63 -x62 x61 -x60 x59 -x58 x57 -x56
1800.04/1800.02 v x55 x54 -x53 -x52 x51 -x50 x49 -x48 x47 x46 -x45 -x44 x43 -x42 x41 -x40 x39 -x38 x37 x36 -x35 x34 -x33 -x32 x31 x30 -x29 x28
1800.04/1800.02 v -x27 -x26 x25 -x24 x23 x22 -x21 -x20 x19 -x18 x17 x16 -x15 -x14 x13 -x12 x11 -x10 x9 -x8 x7 -x6 x5 -x4 x3 -x2 x1
1800.04/1800.02 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.02 c Solving Time : 1783.22
1800.04/1800.02 c Original Problem :
1800.04/1800.02 c Problem name : HOME/instance-2700382-1278535278.wbo
1800.04/1800.02 c Variables : 2000 (1100 binary, 0 integer, 0 implicit integer, 900 continuous)
1800.04/1800.02 c Constraints : 1901 initial, 1901 maximal
1800.04/1800.02 c Presolved Problem :
1800.04/1800.02 c Problem name : t_HOME/instance-2700382-1278535278.wbo
1800.04/1800.02 c Variables : 1900 (1000 binary, 0 integer, 0 implicit integer, 900 continuous)
1800.04/1800.02 c Constraints : 1800 initial, 96098 maximal
1800.04/1800.02 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.02 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.02 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.02 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.02 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.02 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.02 c probing : 0.02 0 0 0 0 0 0 0 0
1800.04/1800.02 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.02 c linear : 0.02 0 100 0 900 0 101 0 0
1800.04/1800.02 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.02 c root node : - 0 - - 0 - - - -
1800.04/1800.02 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.02 c integral : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.02 c indicator : 900 0 4069850 0 1670451 3376 31109368 0 0 0
1800.04/1800.02 c linear : 900 0 4066664 0 1670457 42094 4077406 0 0 0
1800.04/1800.02 c logicor : 0+ 0 2833586 0 0 10920 2253326 0 0 0
1800.04/1800.02 c countsols : 0 0 0 0 1670501 0 0 0 0 0
1800.04/1800.02 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.02 c integral : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.02 c indicator : 124.64 0.00 60.80 0.00 63.84
1800.04/1800.02 c linear : 99.75 0.00 98.50 0.00 1.25
1800.04/1800.02 c logicor : 665.16 0.00 665.16 0.00 0.00
1800.04/1800.02 c countsols : 0.36 0.00 0.00 0.00 0.36
1800.04/1800.02 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.02 c vbounds : 1.10 2 0 0
1800.04/1800.02 c rootredcost : 1.01 0 0 0
1800.04/1800.02 c pseudoobj : 119.77 4300765 230763 30753443
1800.04/1800.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.02 c propagation : 18.29 283777 283777 1809180 32.3 963878 3.7 -
1800.04/1800.02 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.02 c pseudo solution : 0.45 2548 2548 19942 32.1 10348 4.0 -
1800.04/1800.02 c applied globally : - - - 2189323 17.1 - - -
1800.04/1800.02 c applied locally : - - - 10 111.0 - - -
1800.04/1800.02 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.02 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.04/1800.02 c redcost : 0.00 0 0 0 0 0
1800.04/1800.02 c impliedbounds : 0.00 0 0 0 0 0
1800.04/1800.02 c intobj : 0.00 0 0 0 0 0
1800.04/1800.02 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.02 c gomory : 0.00 0 0 0 0 0
1800.04/1800.02 c strongcg : 0.00 0 0 0 0 0
1800.04/1800.02 c cmir : 0.00 0 0 0 0 0
1800.04/1800.02 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.02 c clique : 0.00 0 0 0 0 0
1800.04/1800.02 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.02 c mcf : 0.00 0 0 0 0 0
1800.04/1800.02 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.02 c Pricers : Time Calls Vars
1800.04/1800.02 c problem variables: 0.00 0 0
1800.04/1800.02 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.02 c relpscost : 0.00 0 0 0 0 0 0
1800.04/1800.02 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.02 c inference : 106.39 1670412 0 0 0 0 3340824
1800.04/1800.02 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.02 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.02 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.02 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.02 c random : 0.00 0 0 0 0 0 0
1800.04/1800.02 c Primal Heuristics : Time Calls Found
1800.04/1800.02 c LP solutions : 0.00 - 0
1800.04/1800.02 c pseudo solutions : 1.05 - 89
1800.04/1800.02 c oneopt : 0.57 0 0
1800.04/1800.02 c trivial : 0.00 2 1
1800.04/1800.02 c simplerounding : 0.00 0 0
1800.04/1800.02 c zirounding : 0.00 0 0
1800.04/1800.02 c rounding : 0.00 0 0
1800.04/1800.02 c shifting : 0.00 0 0
1800.04/1800.02 c intshifting : 0.00 0 0
1800.04/1800.02 c twoopt : 0.00 0 0
1800.04/1800.02 c fixandinfer : 0.00 0 0
1800.04/1800.02 c feaspump : 0.00 0 0
1800.04/1800.02 c coefdiving : 0.00 0 0
1800.04/1800.02 c pscostdiving : 0.00 0 0
1800.04/1800.02 c fracdiving : 0.00 0 0
1800.04/1800.02 c veclendiving : 0.00 0 0
1800.04/1800.02 c intdiving : 0.00 0 0
1800.04/1800.02 c actconsdiving : 0.00 0 0
1800.04/1800.02 c objpscostdiving : 0.00 0 0
1800.04/1800.02 c rootsoldiving : 0.00 0 0
1800.04/1800.02 c linesearchdiving : 0.00 0 0
1800.04/1800.02 c guideddiving : 0.00 0 0
1800.04/1800.02 c octane : 0.00 0 0
1800.04/1800.02 c rens : 0.00 0 0
1800.04/1800.02 c rins : 0.00 0 0
1800.04/1800.02 c localbranching : 0.00 0 0
1800.04/1800.02 c mutation : 0.00 0 0
1800.04/1800.02 c crossover : 0.00 0 0
1800.04/1800.02 c dins : 0.00 0 0
1800.04/1800.02 c undercover : 0.00 0 0
1800.04/1800.02 c nlp : 0.51 0 0
1800.04/1800.02 c trysol : 0.33 1 1
1800.04/1800.02 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.02 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.02 c dual LP : 0.00 0 0 0.00 -
1800.04/1800.02 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.02 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.02 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.02 c strong branching : 0.00 0 0 0.00 -
1800.04/1800.02 c (at root node) : - 0 0 0.00 -
1800.04/1800.02 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.02 c B&B Tree :
1800.04/1800.02 c number of runs : 1
1800.04/1800.02 c nodes : 1866334
1800.04/1800.02 c nodes (total) : 1866334
1800.04/1800.02 c nodes left : 912021
1800.04/1800.02 c max depth : 911
1800.04/1800.02 c max depth (total): 911
1800.04/1800.02 c backtracks : 100925 (5.4%)
1800.04/1800.02 c delayed cutoffs : 93953
1800.04/1800.02 c repropagations : 332342 (19922409 domain reductions, 93868 cutoffs)
1800.04/1800.02 c avg switch length: 4.11
1800.04/1800.02 c switching time : 424.96
1800.04/1800.02 c Solution :
1800.04/1800.02 c Solutions found : 91 (90 improvements)
1800.04/1800.02 c First Solution : +4.44854000000000e+05 (in run 1, after 1 nodes, 0.05 seconds, depth 0, found by <trivial>)
1800.04/1800.02 c Primal Bound : +3.20700000000000e+03 (in run 1, after 1796873 nodes, 1625.27 seconds, depth 295, found by <relaxation>)
1800.04/1800.02 c Dual Bound : +1.00000000000000e+00
1800.04/1800.02 c Gap : 320600.00 %
1800.04/1800.02 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.02 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-2700382-1278535278/watcher-2700382-1278535278 -o /tmp/evaluation-result-2700382-1278535278/solver-2700382-1278535278 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2700382-1278535278.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.14 2.17 2.12 4/182 27883
/proc/meminfo: memFree=28252076/32951124 swapFree=67111528/67111528
[pid=27883] ppid=27881 vsize=8272 CPUtime=0
/proc/27883/stat : 27883 (pbscip.linux.x8) R 27881 27883 26954 0 -1 4202496 1546 0 0 0 0 0 0 0 25 0 1 0 21741126 8470528 1469 4089446400 4194304 7136930 140736337927632 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/27883/statm: 2068 1469 275 719 0 1347 0
[startup+0.0214099 s]
/proc/loadavg: 2.14 2.17 2.12 4/182 27883
/proc/meminfo: memFree=28252076/32951124 swapFree=67111528/67111528
[pid=27883] ppid=27881 vsize=14316 CPUtime=0.01
/proc/27883/stat : 27883 (pbscip.linux.x8) R 27881 27883 26954 0 -1 4202496 3408 0 0 0 1 0 0 0 25 0 1 0 21741126 14659584 2977 4089446400 4194304 7136930 140736337927632 18446744073709551615 6164672 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27883/statm: 3579 3000 289 719 0 2858 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 14316
[startup+0.100395 s]
/proc/loadavg: 2.14 2.17 2.12 4/182 27883
/proc/meminfo: memFree=28252076/32951124 swapFree=67111528/67111528
[pid=27883] ppid=27881 vsize=20604 CPUtime=0.08
/proc/27883/stat : 27883 (pbscip.linux.x8) R 27881 27883 26954 0 -1 4202496 5611 0 0 0 8 0 0 0 25 0 1 0 21741126 21098496 4409 4089446400 4194304 7136930 140736337927632 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27883/statm: 5151 4409 387 719 0 4430 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 20604
[startup+0.300358 s]
/proc/loadavg: 2.14 2.17 2.12 4/182 27883
/proc/meminfo: memFree=28252076/32951124 swapFree=67111528/67111528
[pid=27883] ppid=27881 vsize=22400 CPUtime=0.29
/proc/27883/stat : 27883 (pbscip.linux.x8) R 27881 27883 26954 0 -1 4202496 6064 0 0 0 27 2 0 0 25 0 1 0 21741126 22937600 4862 4089446400 4194304 7136930 140736337927632 18446744073709551615 4414507 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27883/statm: 5600 4862 393 719 0 4879 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22400
[startup+0.700288 s]
/proc/loadavg: 2.14 2.17 2.12 4/182 27883
/proc/meminfo: memFree=28252076/32951124 swapFree=67111528/67111528
[pid=27883] ppid=27881 vsize=23320 CPUtime=0.69
/proc/27883/stat : 27883 (pbscip.linux.x8) R 27881 27883 26954 0 -1 4202496 6318 0 0 0 66 3 0 0 25 0 1 0 21741126 23879680 5116 4089446400 4194304 7136930 140736337927632 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27883/statm: 5830 5116 393 719 0 5109 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 23320
[startup+1.50014 s]
/proc/loadavg: 2.14 2.17 2.12 3/183 27884
/proc/meminfo: memFree=28229872/32951124 swapFree=67111528/67111528
[pid=27883] ppid=27881 vsize=25320 CPUtime=1.49
/proc/27883/stat : 27883 (pbscip.linux.x8) R 27881 27883 26954 0 -1 4202496 6821 0 0 0 142 7 0 0 25 0 1 0 21741126 25927680 5619 4089446400 4194304 7136930 140736337927632 18446744073709551615 4827501 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27883/statm: 6330 5619 394 719 0 5609 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 25320
[startup+3.10085 s]
/proc/loadavg: 2.14 2.17 2.12 3/183 27884
/proc/meminfo: memFree=28223176/32951124 swapFree=67111528/67111528
[pid=27883] ppid=27881 vsize=33128 CPUtime=3.09
/proc/27883/stat : 27883 (pbscip.linux.x8) R 27881 27883 26954 0 -1 4202496 8713 0 0 0 297 12 0 0 25 0 1 0 21741126 33923072 7511 4089446400 4194304 7136930 140736337927632 18446744073709551615 4653067 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27883/statm: 8282 7511 394 719 0 7561 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 33128
[startup+6.30028 s]
/proc/loadavg: 2.13 2.17 2.12 3/183 27884
/proc/meminfo: memFree=28210240/32951124 swapFree=67111528/67111528
[pid=27883] ppid=27881 vsize=43012 CPUtime=6.29
/proc/27883/stat : 27883 (pbscip.linux.x8) R 27881 27883 26954 0 -1 4202496 11229 0 0 0 606 23 0 0 25 0 1 0 21741126 44044288 10027 4089446400 4194304 7136930 140736337927632 18446744073709551615 5507387 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27883/statm: 10753 10027 394 719 0 10032 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 43012
[startup+12.7001 s]
/proc/loadavg: 2.12 2.16 2.12 3/183 27884
/proc/meminfo: memFree=28184904/32951124 swapFree=67111528/67111528
[pid=27883] ppid=27881 vsize=58096 CPUtime=12.69
/proc/27883/stat : 27883 (pbscip.linux.x8) R 27881 27883 26954 0 -1 4202496 14937 0 0 0 1225 44 0 0 25 0 1 0 21741126 59490304 13735 4089446400 4194304 7136930 140736337927632 18446744073709551615 4619562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27883/statm: 14524 13735 394 719 0 13803 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 58096
[startup+25.5008 s]
/proc/loadavg: 2.09 2.15 2.12 3/183 27884
/proc/meminfo: memFree=28138908/32951124 swapFree=67111528/67111528
[pid=27883] ppid=27881 vsize=90028 CPUtime=25.49
/proc/27883/stat : 27883 (pbscip.linux.x8) R 27881 27883 26954 0 -1 4202496 22435 0 0 0 2470 79 0 0 25 0 1 0 21741126 92188672 21233 4089446400 4194304 7136930 140736337927632 18446744073709551615 4661253 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27883/statm: 22507 21233 394 719 0 21786 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 90028
[startup+51.1001 s]
/proc/loadavg: 2.06 2.14 2.11 3/183 27885
/proc/meminfo: memFree=28053312/32951124 swapFree=67111528/67111528
[pid=27883] ppid=27881 vsize=141588 CPUtime=51.09
/proc/27883/stat : 27883 (pbscip.linux.x8) R 27881 27883 26954 0 -1 4202496 35228 0 0 0 4961 148 0 0 25 0 1 0 21741126 144986112 34026 4089446400 4194304 7136930 140736337927632 18446744073709551615 4229818 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/27883/statm: 35397 34026 394 719 0 34676 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 141588
[startup+102.307 s]
/proc/loadavg: 2.02 2.12 2.10 3/183 27886
/proc/meminfo: memFree=27898144/32951124 swapFree=67111528/67111528
[pid=27883] ppid=27881 vsize=232408 CPUtime=102.3
/proc/27883/stat : 27883 (pbscip.linux.x8) R 27881 27883 26954 0 -1 4202496 56503 0 0 0 9955 275 0 0 25 0 1 0 21741126 237985792 55301 4089446400 4194304 7136930 140736337927632 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/27883/statm: 58102 55301 394 719 0 57381 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 232408
[startup+162.301 s]
/proc/loadavg: 2.04 2.11 2.10 3/183 27888
/proc/meminfo: memFree=27752880/32951124 swapFree=67111528/67111528
[pid=27883] ppid=27881 vsize=303812 CPUtime=162.29
/proc/27883/stat : 27883 (pbscip.linux.x8) R 27881 27883 26954 0 -1 4202496 74173 0 0 0 15837 392 0 0 25 0 1 0 21741126 311103488 72971 4089446400 4194304 7136930 140736337927632 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/27883/statm: 75953 72971 394 719 0 75232 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 303812
[startup+222.301 s]
/proc/loadavg: 2.10 2.11 2.10 3/183 27890
/proc/meminfo: memFree=27609344/32951124 swapFree=67111528/67111528
[pid=27883] ppid=27881 vsize=365696 CPUtime=222.29
/proc/27883/stat : 27883 (pbscip.linux.x8) R 27881 27883 26954 0 -1 4202496 89622 0 0 0 21722 507 0 0 25 0 1 0 21741126 374472704 88420 4089446400 4194304 7136930 140736337927632 18446744073709551615 4697566 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/27883/statm: 91424 88420 394 719 0 90703 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 365696
[startup+282.301 s]
/proc/loadavg: 2.09 2.11 2.09 3/183 27892
/proc/meminfo: memFree=27475120/32951124 swapFree=67111528/67111528
[pid=27883] ppid=27881 vsize=425040 CPUtime=282.3
/proc/27883/stat : 27883 (pbscip.linux.x8) R 27881 27883 26954 0 -1 4202496 101899 0 0 0 27627 603 0 0 25 0 1 0 21741126 435240960 100697 4089446400 4194304 7136930 140736337927632 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/27883/statm: 106260 100697 394 719 0 105539 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 425040
[startup+342.301 s]
/proc/loadavg: 2.14 2.12 2.09 3/183 27893
/proc/meminfo: memFree=27342488/32951124 swapFree=67111528/67111528
[pid=27883] ppid=27881 vsize=476320 CPUtime=342.3
/proc/27883/stat : 27883 (pbscip.linux.x8) R 27881 27883 26954 0 -1 4202496 114439 0 0 0 33546 684 0 0 25 0 1 0 21741126 487751680 113237 4089446400 4194304 7136930 140736337927632 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/27883/statm: 119080 113237 394 719 0 118359 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 476320
[startup+402.3 s]
/proc/loadavg: 2.09 2.11 2.09 4/183 27922
/proc/meminfo: memFree=29612940/32951124 swapFree=67111528/67111528
[pid=27883] ppid=27881 vsize=526460 CPUtime=402.3
/proc/27883/stat : 27883 (pbscip.linux.x8) R 27881 27883 26954 0 -1 4202496 126688 0 0 0 39479 751 0 0 25 0 1 0 21741126 539095040 125486 4089446400 4194304 7136930 140736337927632 18446744073709551615 4209193 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/27883/statm: 131615 125486 394 719 0 130894 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 526460
[startup+462.3 s]
/proc/loadavg: 2.03 2.08 2.08 3/183 28051
/proc/meminfo: memFree=29533420/32951124 swapFree=67111528/67111528
[pid=27883] ppid=27881 vsize=539424 CPUtime=462.31
/proc/27883/stat : 27883 (pbscip.linux.x8) R 27881 27883 26954 0 -1 4202496 129626 0 0 0 45408 823 0 0 25 0 1 0 21741126 552370176 128424 4089446400 4194304 7136930 140736337927632 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/27883/statm: 134856 128424 394 719 0 134135 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 539424
[startup+522.3 s]
/proc/loadavg: 2.01 2.07 2.08 3/183 28053
/proc/meminfo: memFree=29444468/32951124 swapFree=67111528/67111528
[pid=27883] ppid=27881 vsize=556572 CPUtime=522.31
/proc/27883/stat : 27883 (pbscip.linux.x8) R 27881 27883 26954 0 -1 4202496 133248 0 0 0 51350 881 0 0 25 0 1 0 21741126 569929728 132046 4089446400 4194304 7136930 140736337927632 18446744073709551615 4660982 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/27883/statm: 139143 132046 394 719 0 138422 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 556572
[startup+582.3 s]
/proc/loadavg: 2.00 2.05 2.07 3/183 28055
/proc/meminfo: memFree=29353896/32951124 swapFree=67111528/67111528
[pid=27883] ppid=27881 vsize=583900 CPUtime=582.31
/proc/27883/stat : 27883 (pbscip.linux.x8) R 27881 27883 26954 0 -1 4202496 138914 0 0 0 57303 928 0 0 25 0 1 0 21741126 597913600 137712 4089446400 4194304 7136930 140736337927632 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/27883/statm: 145975 137712 394 719 0 145254 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 583900
[startup+642.3 s]
/proc/loadavg: 2.04 2.05 2.07 3/183 28056
/proc/meminfo: memFree=29319992/32951124 swapFree=67111528/67111528
[pid=27883] ppid=27881 vsize=606012 CPUtime=642.32
/proc/27883/stat : 27883 (pbscip.linux.x8) R 27881 27883 26954 0 -1 4202496 143280 0 0 0 63261 971 0 0 25 0 1 0 21741126 620556288 142078 4089446400 4194304 7136930 140736337927632 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/27883/statm: 151503 142078 394 719 0 150782 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 606012
[startup+702.301 s]
################
# More data... #
################
/proc/27883/stat : 27883 (pbscip.linux.x8) R 27881 27883 26954 0 -1 4202496 186720 0 0 0 99003 1229 0 0 25 0 1 0 21741126 827408384 185518 4089446400 4194304 7136930 140736337927632 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/27883/statm: 202004 185518 394 719 0 201283 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 808016
[startup+1062.3 s]
/proc/loadavg: 2.01 2.02 2.04 3/183 28067
/proc/meminfo: memFree=28847308/32951124 swapFree=67111528/67111528
[pid=27883] ppid=27881 vsize=857384 CPUtime=1062.32
/proc/27883/stat : 27883 (pbscip.linux.x8) R 27881 27883 26954 0 -1 4202496 197940 0 0 0 104955 1277 0 0 25 0 1 0 21741126 877961216 196738 4089446400 4194304 7136930 140736337927632 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/27883/statm: 214346 196738 394 719 0 213625 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 857384
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/183 28069
/proc/meminfo: memFree=28766900/32951124 swapFree=67111528/67111528
[pid=27883] ppid=27881 vsize=904272 CPUtime=1122.33
/proc/27883/stat : 27883 (pbscip.linux.x8) R 27881 27883 26954 0 -1 4202496 207893 0 0 0 110912 1321 0 0 25 0 1 0 21741126 925974528 206691 4089446400 4194304 7136930 140736337927632 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/27883/statm: 226068 206691 394 719 0 225347 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 904272
[startup+1182.3 s]
/proc/loadavg: 2.05 2.02 2.03 3/183 28071
/proc/meminfo: memFree=28698408/32951124 swapFree=67111528/67111528
[pid=27883] ppid=27881 vsize=938508 CPUtime=1182.33
/proc/27883/stat : 27883 (pbscip.linux.x8) R 27881 27883 26954 0 -1 4202496 215408 0 0 0 116872 1361 0 0 25 0 1 0 21741126 961032192 214206 4089446400 4194304 7136930 140736337927632 18446744073709551615 4221383 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/27883/statm: 234627 214206 394 719 0 233906 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 938508
[startup+1242.3 s]
/proc/loadavg: 2.15 2.06 2.04 3/201 28382
/proc/meminfo: memFree=29172900/32951124 swapFree=67111528/67111528
[pid=27883] ppid=27881 vsize=981552 CPUtime=1242.33
/proc/27883/stat : 27883 (pbscip.linux.x8) R 27881 27883 26954 0 -1 4202496 225767 0 0 0 122832 1401 0 0 25 0 1 0 21741126 1005109248 224565 4089446400 4194304 7136930 140736337927632 18446744073709551615 4223163 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/27883/statm: 245388 224565 394 719 0 244667 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 981552
[startup+1302.3 s]
/proc/loadavg: 2.10 2.06 2.04 3/201 28383
/proc/meminfo: memFree=29136700/32951124 swapFree=67111528/67111528
[pid=27883] ppid=27881 vsize=1018892 CPUtime=1302.34
/proc/27883/stat : 27883 (pbscip.linux.x8) R 27881 27883 26954 0 -1 4202496 234303 0 0 0 128794 1440 0 0 25 0 1 0 21741126 1043345408 233101 4089446400 4194304 7136930 140736337927632 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/27883/statm: 254723 233101 394 719 0 254002 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 1018892
[startup+1362.3 s]
/proc/loadavg: 2.03 2.05 2.03 3/201 28385
/proc/meminfo: memFree=29106380/32951124 swapFree=67111528/67111528
[pid=27883] ppid=27881 vsize=1050244 CPUtime=1362.33
/proc/27883/stat : 27883 (pbscip.linux.x8) R 27881 27883 26954 0 -1 4202496 241648 0 0 0 134763 1470 0 0 25 0 1 0 21741126 1075449856 240446 4089446400 4194304 7136930 140736337927632 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/27883/statm: 262561 240446 394 719 0 261840 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 1050244
[startup+1422.31 s]
/proc/loadavg: 2.01 2.04 2.03 3/201 28387
/proc/meminfo: memFree=29076188/32951124 swapFree=67111528/67111528
[pid=27883] ppid=27881 vsize=1082780 CPUtime=1422.34
/proc/27883/stat : 27883 (pbscip.linux.x8) R 27881 27883 26954 0 -1 4202496 248752 0 0 0 140733 1501 0 0 25 0 1 0 21741126 1108766720 247550 4089446400 4194304 7136930 140736337927632 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/27883/statm: 270695 247550 394 719 0 269974 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 1082780
[startup+1482.3 s]
/proc/loadavg: 2.00 2.03 2.02 3/201 28389
/proc/meminfo: memFree=29044504/32951124 swapFree=67111528/67111528
[pid=27883] ppid=27881 vsize=1119208 CPUtime=1482.33
/proc/27883/stat : 27883 (pbscip.linux.x8) R 27881 27883 26954 0 -1 4202496 256690 0 0 0 146702 1531 0 0 25 0 1 0 21741126 1146068992 255488 4089446400 4194304 7136930 140736337927632 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/27883/statm: 279802 255488 394 719 0 279081 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 1119208
[startup+1542.3 s]
/proc/loadavg: 2.06 2.04 2.02 3/201 28390
/proc/meminfo: memFree=29007392/32951124 swapFree=67111528/67111528
[pid=27883] ppid=27881 vsize=1161108 CPUtime=1542.34
/proc/27883/stat : 27883 (pbscip.linux.x8) R 27881 27883 26954 0 -1 4202496 265685 0 0 0 152672 1562 0 0 25 0 1 0 21741126 1188974592 264483 4089446400 4194304 7136930 140736337927632 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/27883/statm: 290277 264483 394 719 0 289556 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 1161108
[startup+1602.3 s]
/proc/loadavg: 2.29 2.09 2.04 3/201 28391
/proc/meminfo: memFree=28978808/32951124 swapFree=67111528/67111528
[pid=27883] ppid=27881 vsize=1194816 CPUtime=1602.34
/proc/27883/stat : 27883 (pbscip.linux.x8) R 27881 27883 26954 0 -1 4202496 272821 0 0 0 158641 1593 0 0 25 0 1 0 21741126 1223491584 271619 4089446400 4194304 7136930 140736337927632 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/27883/statm: 298704 271619 394 719 0 297983 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 1194816
[startup+1662.3 s]
/proc/loadavg: 2.11 2.07 2.03 3/201 28393
/proc/meminfo: memFree=28957156/32951124 swapFree=67111528/67111528
[pid=27883] ppid=27881 vsize=1215292 CPUtime=1662.34
/proc/27883/stat : 27883 (pbscip.linux.x8) R 27881 27883 26954 0 -1 4202496 277921 0 0 0 164612 1622 0 0 25 0 1 0 21741126 1244459008 276719 4089446400 4194304 7136930 140736337927632 18446744073709551615 4644801 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/27883/statm: 303823 276719 394 719 0 303102 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 1215292
[startup+1722.3 s]
/proc/loadavg: 2.08 2.07 2.03 3/201 28395
/proc/meminfo: memFree=28948284/32951124 swapFree=67111528/67111528
[pid=27883] ppid=27881 vsize=1224464 CPUtime=1722.34
/proc/27883/stat : 27883 (pbscip.linux.x8) R 27881 27883 26954 0 -1 4202496 280075 0 0 0 170584 1650 0 0 25 0 1 0 21741126 1253851136 278873 4089446400 4194304 7136930 140736337927632 18446744073709551615 4221557 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/27883/statm: 306116 278873 394 719 0 305395 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 1224464
[startup+1782.3 s]
/proc/loadavg: 2.03 2.06 2.02 3/201 28397
/proc/meminfo: memFree=28930852/32951124 swapFree=67111528/67111528
[pid=27883] ppid=27881 vsize=1240088 CPUtime=1782.35
/proc/27883/stat : 27883 (pbscip.linux.x8) R 27881 27883 26954 0 -1 4202496 284259 0 0 0 176560 1675 0 0 25 0 1 0 21741126 1269850112 283057 4089446400 4194304 7136930 140736337927632 18446744073709551615 4219807 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/27883/statm: 310022 283057 394 719 0 309301 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 1240088
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.02 2.05 2.02 3/201 28397
/proc/meminfo: memFree=28928092/32951124 swapFree=67111528/67111528
[pid=27883] ppid=27881 vsize=1242832 CPUtime=1800.04
/proc/27883/stat : 27883 (pbscip.linux.x8) R 27881 27883 26954 0 -1 4202496 284937 0 0 0 178322 1682 0 0 25 0 1 0 21741126 1272659968 283735 4089446400 4194304 7136930 140736337927632 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/27883/statm: 310708 283735 394 719 0 309987 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1242832
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -27883
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.02 2.05 2.02 3/202 28398
/proc/meminfo: memFree=28928084/32951124 swapFree=67111528/67111528
[pid=27883] ppid=27881 vsize=1242976 CPUtime=1801.44
/proc/27883/stat : 27883 (pbscip.linux.x8) R 27881 27883 26954 0 -1 4202496 284959 0 0 0 178462 1682 0 0 25 0 1 0 21741126 1272807424 283757 4089446400 4194304 7136930 140736337927632 18446744073709551615 6165594 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/27883/statm: 310744 283757 400 719 0 310023 0
Current children cumulated CPU time (s) 1801.44
Current children cumulated vsize (KiB) 1242976
[startup+1801.81 s]
/proc/loadavg: 2.02 2.05 2.02 3/202 28398
/proc/meminfo: memFree=28927960/32951124 swapFree=67111528/67111528
[pid=27883] ppid=27881 vsize=1226724 CPUtime=1801.85
/proc/27883/stat : 27883 (pbscip.linux.x8) R 27881 27883 26954 0 -1 4202496 284959 0 0 0 178503 1682 0 0 25 0 1 0 21741126 1256165376 279694 4089446400 4194304 7136930 140736337927632 18446744073709551615 6165689 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/27883/statm: 306681 279694 400 719 0 305960 0
Current children cumulated CPU time (s) 1801.85
Current children cumulated vsize (KiB) 1226724
[startup+1802 s]
/proc/loadavg: 2.02 2.05 2.02 3/202 28398
/proc/meminfo: memFree=28927960/32951124 swapFree=67111528/67111528
[pid=27883] ppid=27881 vsize=338000 CPUtime=1802.05
/proc/27883/stat : 27883 (pbscip.linux.x8) R 27881 27883 26954 0 -1 4202496 284959 0 0 0 178519 1686 0 0 25 0 1 0 21741126 346112000 75622 4089446400 4194304 7136930 140736337927632 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/27883/statm: 84353 75491 400 719 0 83632 0
Current children cumulated CPU time (s) 1802.05
Current children cumulated vsize (KiB) 338000
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.01
CPU time (s): 1802.07
CPU user time (s): 1785.19
CPU system time (s): 16.8724
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 1242976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1785.19
system time used= 16.8724
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 284959
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= 1139
runsolver used 3.02554 second user time and 6.50701 second system time
The end
Begin job on node134 at 2010-07-07 22:41:18
IDJOB=2700382
IDBENCH=79423
IDSOLVER=1206
FILE ID=node134/2700382-1278535278
PBS_JOBID= 11239209
Free space on /tmp= 73712 MiB
SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh303_wcsp.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-2700382-1278535278/watcher-2700382-1278535278 -o /tmp/evaluation-result-2700382-1278535278/solver-2700382-1278535278 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2700382-1278535278.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 7000a06966de2ad9f6a697139e04f737
RANDOM SEED=210761828
node134.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.801
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.60
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.801
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.801
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.801
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.801
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.66
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.801
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.801
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.801
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.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 28252488 kB
Buffers: 145176 kB
Cached: 2477408 kB
SwapCached: 0 kB
Active: 3167940 kB
Inactive: 1382780 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 28252488 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 3124 kB
Writeback: 0 kB
AnonPages: 1928316 kB
Mapped: 17052 kB
Slab: 81572 kB
PageTables: 8588 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 2074412 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 73712 MiB
End job on node134 at 2010-07-07 23:11:20