Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | MSAT (TO) | 1800.4 | 1800.36 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111222257--soft-33-100-0.wbo |
| MD5SUM | f911862f5398bb5461d300f11ba5c15b |
| Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 8 |
| Best CPU time to get the best result obtained on this benchmark | 0.341947 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 169 |
| Total number of constraints | 101 |
| Number of soft constraints | 69 |
| Number of constraints which are clauses | 30 |
| Number of constraints which are cardinality constraints (but not clauses) | 70 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 169 |
| Top cost | 3204 |
| Min constraint cost | 1 |
| Max constraint cost | 97 |
| Sum of constraints costs | 3203 |
| Biggest number in a constraint | 38 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 1262 |
| Number of bits of the biggest sum of numbers | 11 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
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-2694018-1277900078.wbo>
0.00/0.00 c original problem has 307 variables (238 bin, 0 int, 0 impl, 69 cont) and 171 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.00/0.00 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.00 c presolving:
0.00/0.00 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 75 impls, 20 clqs
0.00/0.01 c (round 2) 0 del vars, 4 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 75 impls, 20 clqs
0.00/0.01 c (round 3) 1 del vars, 5 del conss, 68 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 75 impls, 20 clqs
0.00/0.01 c (round 4) 2 del vars, 5 del conss, 68 chg bounds, 1 chg sides, 0 chg coeffs, 30 upgd conss, 75 impls, 20 clqs
0.00/0.02 c (0.0s) probing: 101/237 (42.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.02 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.02 c presolving (5 rounds):
0.00/0.02 c 2 deleted vars, 5 deleted constraints, 68 tightened bounds, 0 added holes, 1 changed sides, 0 changed coefficients
0.00/0.02 c 75 implications, 20 cliques
0.00/0.02 c presolved problem has 305 variables (237 bin, 0 int, 0 impl, 68 cont) and 166 constraints
0.00/0.02 c 68 constraints of type <indicator>
0.00/0.02 c 20 constraints of type <setppc>
0.00/0.02 c 68 constraints of type <linear>
0.00/0.02 c 10 constraints of type <logicor>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.01
0.00/0.02 c - non default parameters ----------------------------------------------------------------------
0.00/0.02 c # SCIP version 1.2.1.2
0.00/0.02 c
0.00/0.02 c # frequency for displaying node information lines
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02 c display/freq = 10000
0.00/0.02 c
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/time = 1800
0.00/0.02 c
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/memory = 3420
0.00/0.02 c
0.00/0.02 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.02 c lp/solvefreq = -1
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify inequalities
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/linear/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify knapsacks
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c separating/rapidlearning/freq = 0
0.00/0.02 c
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving
0.00/0.02 c
0.00/0.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.02 c 0.0s| 1 | 2 | 0 | - | 950k| 0 | - | 305 | 166 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.99/1.03 c 0.9s| 10000 | 7358 | 0 | 0.0 |6839k| 160 | - | 305 |3841 | 0 | 0 | 0 |6579 | 0 | 0.000000e+00 | -- | Inf
2.79/2.81 c 2.6s| 20000 | 13136 | 0 | 0.0 | 12M| 160 | - | 305 |5679 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
5.39/5.42 c 5.1s| 30000 | 17729 | 0 | 0.0 | 18M| 160 | - | 305 |9997 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
8.79/8.89 c 8.5s| 40000 | 21478 | 0 | 0.0 | 23M| 160 | - | 305 | 13k| 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
13.39/13.49 c 13.0s| 50000 | 24123 | 0 | 0.0 | 29M| 160 | - | 305 | 18k| 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
17.99/18.06 c 17.5s| 60000 | 28085 | 0 | 0.0 | 29M| 160 | - | 305 |6638 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
19.80/19.87 c 19.2s| 70000 | 35320 | 0 | 0.0 | 32M| 160 | - | 305 |3636 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
22.59/22.60 c 21.8s| 80000 | 40050 | 0 | 0.0 | 37M| 160 | - | 305 |8831 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
28.18/28.20 c 27.3s| 90000 | 41327 | 0 | 0.0 | 43M| 160 | - | 305 | 14k| 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
34.99/35.08 c 34.1s|100000 | 42382 | 0 | 0.0 | 47M| 160 | - | 305 | 19k| 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
43.79/43.89 c 42.8s|110000 | 42450 | 0 | 0.0 | 52M| 160 | - | 305 | 25k| 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | -- | Inf
54.09/54.17 c 53.0s|120000 | 42165 | 0 | 0.0 | 56M| 160 | - | 305 | 31k| 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | -- | Inf
67.59/67.67 c 66.3s|130000 | 40488 | 0 | 0.0 | 59M| 160 | - | 305 | 40k| 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | -- | Inf
73.99/74.02 c 72.6s|140000 | 46163 | 0 | 0.0 | 53M| 160 | - | 305 |7295 | 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | -- | Inf
76.69/76.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
76.69/76.72 c 75.2s|150000 | 52429 | 0 | 0.0 | 57M| 160 | - | 305 |8983 | 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | -- | Inf
79.79/79.82 c 78.2s|160000 | 58148 | 0 | 0.0 | 61M| 160 | - | 305 | 10k| 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | -- | Inf
84.29/84.39 c 82.7s|170000 | 62170 | 0 | 0.0 | 67M| 160 | - | 305 | 14k| 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | -- | Inf
89.09/89.12 c 87.3s|180000 | 66707 | 0 | 0.0 | 68M| 160 | - | 305 |8221 | 0 | 0 | 0 | 233k| 0 | 0.000000e+00 | -- | Inf
89.20/89.23 o 212
89.20/89.23 c *87.4s|181428 | 67838 | 0 | 0.0 | 67M| 160 | - | 305 |4583 | 0 | 0 | 0 | 233k| 0 | 0.000000e+00 | 2.120000e+02 | Inf
89.79/89.81 c 88.0s|190000 | 76084 | 0 | 0.0 | 69M| 160 | - | 305 | 658 | 0 | 0 | 0 | 233k| 0 | 0.000000e+00 | 2.120000e+02 | Inf
90.30/90.35 o 202
90.30/90.35 c *88.4s|198197 | 83823 | 0 | 0.0 | 72M| 160 | - | 305 |1020 | 0 | 0 | 0 | 234k| 0 | 0.000000e+00 | 2.020000e+02 | Inf
90.39/90.49 c 88.6s|200000 | 85477 | 0 | 0.0 | 73M| 160 | - | 305 |1098 | 0 | 0 | 0 | 234k| 0 | 0.000000e+00 | 2.020000e+02 | Inf
91.39/91.43 c 89.4s|210000 | 94293 | 0 | 0.0 | 77M| 160 | - | 305 |1980 | 0 | 0 | 0 | 236k| 0 | 0.000000e+00 | 2.020000e+02 | Inf
91.39/91.46 o 179
91.39/91.46 c *89.5s|210320 | 94145 | 0 | 0.0 | 77M| 160 | - | 305 |2005 | 0 | 0 | 0 | 236k| 0 | 0.000000e+00 | 1.790000e+02 | Inf
92.59/92.66 c 90.6s|220000 |102161 | 0 | 0.0 | 81M| 160 | - | 305 |3076 | 0 | 0 | 0 | 239k| 0 | 0.000000e+00 | 1.790000e+02 | Inf
93.19/93.20 o 175
93.19/93.20 c *91.1s|223892 |105209 | 0 | 0.0 | 82M| 160 | - | 305 |3555 | 0 | 0 | 0 | 240k| 0 | 0.000000e+00 | 1.750000e+02 | Inf
94.10/94.15 c 92.0s|230000 |110082 | 0 | 0.0 | 85M| 160 | - | 305 |4362 | 0 | 0 | 0 | 242k| 0 | 0.000000e+00 | 1.750000e+02 | Inf
94.60/94.67 o 172
94.60/94.67 c *92.5s|232985 |112334 | 0 | 0.0 | 87M| 160 | - | 305 |4908 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | 1.720000e+02 | Inf
94.69/94.75 o 156
94.69/94.75 c *92.6s|233368 |111756 | 0 | 0.0 | 86M| 160 | - | 305 |5024 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | 1.560000e+02 | Inf
94.69/94.79 o 148
94.69/94.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
94.69/94.79 c *92.6s|233498 |111318 | 0 | 0.0 | 86M| 160 | - | 305 |5072 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | 1.480000e+02 | Inf
94.79/94.82 o 147
94.79/94.82 c *92.6s|233649 |111418 | 0 | 0.0 | 86M| 160 | - | 305 |5102 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | 1.470000e+02 | Inf
94.79/94.84 o 138
94.79/94.84 c *92.7s|233739 |111168 | 0 | 0.0 | 86M| 160 | - | 305 |5116 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | 1.380000e+02 | Inf
94.79/94.86 o 133
94.79/94.86 c *92.7s|233801 |110805 | 0 | 0.0 | 86M| 160 | - | 305 |5124 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | 1.330000e+02 | Inf
94.79/94.86 o 116
94.79/94.86 c *92.7s|233803 |108017 | 0 | 0.0 | 85M| 160 | - | 305 |5124 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | 1.160000e+02 | Inf
94.89/94.94 o 111
94.89/94.94 c *92.8s|234096 |107015 | 0 | 0.0 | 85M| 160 | - | 305 |5199 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | 1.110000e+02 | Inf
94.89/94.95 o 109
94.89/94.95 c *92.8s|234138 |107024 | 0 | 0.0 | 85M| 160 | - | 305 |5225 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | 1.090000e+02 | Inf
94.89/94.99 o 92
94.89/94.99 c *92.8s|234293 |103467 | 0 | 0.0 | 83M| 160 | - | 305 |5273 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | 9.200000e+01 | Inf
94.99/95.01 o 90
94.99/95.01 c *92.8s|234337 |101442 | 0 | 0.0 | 83M| 160 | - | 305 |5293 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | 9.000000e+01 | Inf
94.99/95.05 o 79
94.99/95.05 c *92.8s|234475 | 98204 | 0 | 0.0 | 81M| 160 | - | 305 |5337 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | 7.900000e+01 | Inf
94.99/95.09 o 73
94.99/95.09 c *92.9s|234599 | 92703 | 0 | 0.0 | 79M| 160 | - | 305 |5403 | 0 | 0 | 0 | 244k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
98.80/98.89 c 96.6s|240000 | 91068 | 0 | 0.0 | 81M| 160 | - | 305 | 11k| 0 | 0 | 0 | 258k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
110.39/110.45 c 108s|250000 | 87181 | 0 | 0.0 | 82M| 160 | - | 305 | 21k| 0 | 0 | 0 | 283k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
125.50/125.59 c 123s|260000 | 82462 | 0 | 0.0 | 80M| 160 | - | 305 | 31k| 0 | 0 | 0 | 306k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
140.49/140.50 c 138s|270000 | 81482 | 0 | 0.0 | 70M| 160 | - | 305 | 11k| 0 | 0 | 0 | 325k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
144.89/144.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
144.89/144.97 c 142s|280000 | 85520 | 0 | 0.0 | 73M| 160 | - | 305 |9530 | 0 | 0 | 0 | 340k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
149.79/149.82 c 147s|290000 | 89100 | 0 | 0.0 | 77M| 160 | - | 305 | 10k| 0 | 0 | 0 | 355k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
155.29/155.35 c 152s|300000 | 92383 | 0 | 0.0 | 82M| 160 | - | 305 | 13k| 0 | 0 | 0 | 369k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
161.39/161.48 c 158s|310000 | 95174 | 0 | 0.0 | 86M| 160 | - | 305 | 14k| 0 | 0 | 0 | 384k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
168.10/168.14 c 165s|320000 | 97541 | 0 | 0.0 | 90M| 160 | - | 305 | 16k| 0 | 0 | 0 | 400k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
175.69/175.79 c 172s|330000 | 99044 | 0 | 0.0 | 94M| 160 | - | 305 | 18k| 0 | 0 | 0 | 416k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
184.59/184.64 c 181s|340000 | 99983 | 0 | 0.0 | 97M| 160 | - | 305 | 20k| 0 | 0 | 0 | 433k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
195.29/195.30 c 192s|350000 | 99757 | 0 | 0.0 | 100M| 160 | - | 305 | 24k| 0 | 0 | 0 | 453k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
200.20/200.25 c 197s|360000 |105513 | 0 | 0.0 | 96M| 160 | - | 305 |1464 | 0 | 0 | 0 | 461k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
201.59/201.67 c 198s|370000 |113170 | 0 | 0.0 | 101M| 160 | - | 305 |1919 | 0 | 0 | 0 | 464k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
203.00/203.05 c 199s|380000 |120969 | 0 | 0.0 | 105M| 160 | - | 305 |2407 | 0 | 0 | 0 | 467k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
204.60/204.67 c 201s|390000 |128474 | 0 | 0.0 | 109M| 160 | - | 305 |2462 | 0 | 0 | 0 | 471k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
206.29/206.36 c 202s|400000 |135825 | 0 | 0.0 | 114M| 160 | - | 305 |2791 | 0 | 0 | 0 | 475k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
208.00/208.09 c 204s|410000 |142980 | 0 | 0.0 | 119M| 160 | - | 305 |3220 | 0 | 0 | 0 | 479k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
209.69/209.78 c 206s|420000 |150042 | 0 | 0.0 | 123M| 160 | - | 305 |2911 | 0 | 0 | 0 | 483k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
211.50/211.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
211.50/211.59 c 207s|430000 |157074 | 0 | 0.0 | 127M| 160 | - | 305 |2986 | 0 | 0 | 0 | 487k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
213.29/213.39 c 209s|440000 |164152 | 0 | 0.0 | 132M| 160 | - | 305 |3350 | 0 | 0 | 0 | 491k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
215.10/215.14 c 211s|450000 |171100 | 0 | 0.0 | 136M| 160 | - | 305 |3543 | 0 | 0 | 0 | 496k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
217.09/217.10 c 212s|460000 |177775 | 0 | 0.0 | 141M| 160 | - | 305 |3905 | 0 | 0 | 0 | 501k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
219.19/219.21 c 214s|470000 |184288 | 0 | 0.0 | 145M| 160 | - | 305 |4167 | 0 | 0 | 0 | 506k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
221.60/221.61 c 217s|480000 |190074 | 0 | 0.0 | 150M| 160 | - | 305 |4611 | 0 | 0 | 0 | 512k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
223.99/224.08 c 219s|490000 |195776 | 0 | 0.0 | 155M| 160 | - | 305 |5198 | 0 | 0 | 0 | 518k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
226.80/226.88 c 222s|500000 |201012 | 0 | 0.0 | 159M| 160 | - | 305 |6091 | 0 | 0 | 0 | 524k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
229.79/229.89 c 225s|510000 |205828 | 0 | 0.0 | 164M| 160 | - | 305 |6477 | 0 | 0 | 0 | 531k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
233.39/233.40 c 228s|520000 |210058 | 0 | 0.0 | 168M| 160 | - | 305 |6835 | 0 | 0 | 0 | 539k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
236.99/237.09 c 232s|530000 |213702 | 0 | 0.0 | 171M| 160 | - | 305 |6976 | 0 | 0 | 0 | 548k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
241.39/241.47 c 236s|540000 |215990 | 0 | 0.0 | 174M| 160 | - | 305 |6738 | 0 | 0 | 0 | 557k| 0 | 0.000000e+00 | 7.300000e+01 | Inf
245.59/245.66 c 240s|550000 |216858 | 0 | 0.0 | 171M| 160 | - | 305 |5507 | 0 | 0 | 0 | 573k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
250.90/250.97 c 245s|560000 |217338 | 0 | 0.0 | 174M| 160 | - | 305 |8635 | 0 | 0 | 0 | 592k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
256.99/257.01 c 251s|570000 |217580 | 0 | 0.0 | 177M| 160 | - | 305 | 11k| 0 | 0 | 0 | 610k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
263.80/263.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
263.80/263.82 c 258s|580000 |217807 | 0 | 0.0 | 179M| 160 | - | 305 | 13k| 0 | 0 | 0 | 628k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
271.49/271.54 c 265s|590000 |217536 | 0 | 0.0 | 182M| 160 | - | 305 | 16k| 0 | 0 | 0 | 647k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
280.89/280.92 c 275s|600000 |216297 | 0 | 0.0 | 184M| 160 | - | 305 | 18k| 0 | 0 | 0 | 667k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
292.79/292.80 c 286s|610000 |214184 | 0 | 0.0 | 184M| 160 | - | 305 | 22k| 0 | 0 | 0 | 687k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
305.59/305.67 c 299s|620000 |212746 | 0 | 0.0 | 181M| 160 | - | 305 | 13k| 0 | 0 | 0 | 706k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
308.60/308.60 c 302s|630000 |219459 | 0 | 0.0 | 183M| 160 | - | 305 |5263 | 0 | 0 | 0 | 712k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
310.99/311.01 c 304s|640000 |226092 | 0 | 0.0 | 187M| 160 | - | 305 |4898 | 0 | 0 | 0 | 718k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
313.30/313.37 c 306s|650000 |232327 | 0 | 0.0 | 192M| 160 | - | 305 |5267 | 0 | 0 | 0 | 724k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
315.80/315.87 c 309s|660000 |238461 | 0 | 0.0 | 197M| 160 | - | 305 |5186 | 0 | 0 | 0 | 730k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
318.29/318.36 c 311s|670000 |244756 | 0 | 0.0 | 202M| 160 | - | 305 |5250 | 0 | 0 | 0 | 736k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
320.69/320.79 c 314s|680000 |250876 | 0 | 0.0 | 207M| 160 | - | 305 |5604 | 0 | 0 | 0 | 741k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
323.40/323.42 c 316s|690000 |256945 | 0 | 0.0 | 211M| 160 | - | 305 |5745 | 0 | 0 | 0 | 747k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
326.00/326.03 c 319s|700000 |262991 | 0 | 0.0 | 216M| 160 | - | 305 |5664 | 0 | 0 | 0 | 754k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
328.49/328.51 c 321s|710000 |268999 | 0 | 0.0 | 221M| 160 | - | 305 |6424 | 0 | 0 | 0 | 760k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
331.39/331.48 c 324s|720000 |274685 | 0 | 0.0 | 225M| 160 | - | 305 |6391 | 0 | 0 | 0 | 767k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
334.09/334.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
334.09/334.13 c 326s|730000 |280374 | 0 | 0.0 | 230M| 160 | - | 305 |6720 | 0 | 0 | 0 | 773k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
336.80/336.84 c 329s|740000 |285892 | 0 | 0.0 | 235M| 160 | - | 305 |7575 | 0 | 0 | 0 | 780k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
339.60/339.63 c 332s|750000 |291505 | 0 | 0.0 | 240M| 160 | - | 305 |7376 | 0 | 0 | 0 | 787k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
342.60/342.66 c 335s|760000 |296726 | 0 | 0.0 | 244M| 160 | - | 305 |7900 | 0 | 0 | 0 | 794k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
345.50/345.57 c 337s|770000 |302125 | 0 | 0.0 | 249M| 160 | - | 305 |8425 | 0 | 0 | 0 | 801k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
348.60/348.61 c 340s|780000 |307472 | 0 | 0.0 | 254M| 160 | - | 305 |8326 | 0 | 0 | 0 | 808k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
351.49/351.59 c 343s|790000 |312840 | 0 | 0.0 | 259M| 160 | - | 305 |9004 | 0 | 0 | 0 | 815k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
354.49/354.56 c 346s|800000 |318314 | 0 | 0.0 | 263M| 160 | - | 305 |9020 | 0 | 0 | 0 | 822k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
357.69/357.79 c 349s|810000 |323486 | 0 | 0.0 | 268M| 160 | - | 305 |9654 | 0 | 0 | 0 | 830k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
360.70/360.80 c 352s|820000 |328937 | 0 | 0.0 | 273M| 160 | - | 305 |9631 | 0 | 0 | 0 | 837k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
364.20/364.27 c 355s|830000 |333814 | 0 | 0.0 | 277M| 160 | - | 305 |9882 | 0 | 0 | 0 | 844k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
367.30/367.37 c 358s|840000 |339210 | 0 | 0.0 | 282M| 160 | - | 305 | 10k| 0 | 0 | 0 | 851k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
370.99/371.00 c 362s|850000 |343905 | 0 | 0.0 | 287M| 160 | - | 305 | 10k| 0 | 0 | 0 | 860k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
374.59/374.62 c 365s|860000 |348683 | 0 | 0.0 | 292M| 160 | - | 305 | 11k| 0 | 0 | 0 | 867k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
378.19/378.25 c 369s|870000 |353536 | 0 | 0.0 | 296M| 160 | - | 305 | 11k| 0 | 0 | 0 | 875k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
382.10/382.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
382.10/382.19 c 373s|880000 |357956 | 0 | 0.0 | 301M| 160 | - | 305 | 12k| 0 | 0 | 0 | 884k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
385.79/385.89 c 376s|890000 |362859 | 0 | 0.0 | 305M| 160 | - | 305 | 12k| 0 | 0 | 0 | 891k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
389.89/389.98 c 380s|900000 |367278 | 0 | 0.0 | 310M| 160 | - | 305 | 12k| 0 | 0 | 0 | 900k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
393.99/394.03 c 384s|910000 |371661 | 0 | 0.0 | 314M| 160 | - | 305 | 12k| 0 | 0 | 0 | 908k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
397.99/398.02 c 388s|920000 |376282 | 0 | 0.0 | 319M| 160 | - | 305 | 13k| 0 | 0 | 0 | 916k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
402.49/402.56 c 393s|930000 |380266 | 0 | 0.0 | 323M| 160 | - | 305 | 13k| 0 | 0 | 0 | 925k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
407.01/407.07 c 397s|940000 |384361 | 0 | 0.0 | 327M| 160 | - | 305 | 13k| 0 | 0 | 0 | 934k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
411.79/411.80 c 402s|950000 |388123 | 0 | 0.0 | 332M| 160 | - | 305 | 14k| 0 | 0 | 0 | 944k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
416.40/416.44 c 406s|960000 |392126 | 0 | 0.0 | 336M| 160 | - | 305 | 15k| 0 | 0 | 0 | 953k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
421.49/421.54 c 411s|970000 |395648 | 0 | 0.0 | 341M| 160 | - | 305 | 15k| 0 | 0 | 0 | 962k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
426.80/426.83 c 416s|980000 |398942 | 0 | 0.0 | 345M| 160 | - | 305 | 16k| 0 | 0 | 0 | 972k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
432.40/432.42 c 422s|990000 |402134 | 0 | 0.0 | 349M| 160 | - | 305 | 16k| 0 | 0 | 0 | 982k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
438.00/438.06 c 427s| 1000k|405407 | 0 | 0.0 | 353M| 160 | - | 305 | 17k| 0 | 0 | 0 | 992k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
444.20/444.26 c 433s| 1010k|408218 | 0 | 0.0 | 358M| 160 | - | 305 | 18k| 0 | 0 | 0 |1003k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
451.00/451.04 c 440s| 1020k|410676 | 0 | 0.0 | 362M| 160 | - | 305 | 19k| 0 | 0 | 0 |1014k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
458.09/458.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
458.09/458.13 c 447s| 1030k|412941 | 0 | 0.0 | 366M| 160 | - | 305 | 20k| 0 | 0 | 0 |1026k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
465.90/465.96 c 455s| 1040k|414591 | 0 | 0.0 | 371M| 160 | - | 305 | 21k| 0 | 0 | 0 |1038k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
474.30/474.30 c 463s| 1050k|415943 | 0 | 0.0 | 375M| 160 | - | 305 | 23k| 0 | 0 | 0 |1050k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
482.30/482.40 c 471s| 1060k|418271 | 0 | 0.0 | 378M| 160 | - | 305 | 17k| 0 | 0 | 0 |1060k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
486.59/486.68 c 475s| 1070k|423275 | 0 | 0.0 | 381M| 160 | - | 305 | 13k| 0 | 0 | 0 |1067k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
489.00/489.07 c 477s| 1080k|429501 | 0 | 0.0 | 382M| 160 | - | 305 |4809 | 0 | 0 | 0 |1073k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
491.20/491.21 c 479s| 1090k|435409 | 0 | 0.0 | 386M| 160 | - | 305 |5985 | 0 | 0 | 0 |1080k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
495.80/495.84 c 484s| 1100k|435937 | 0 | 0.0 | 387M| 160 | - | 305 | 11k| 0 | 0 | 0 |1095k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
508.70/508.78 c 496s| 1110k|430743 | 0 | 0.0 | 383M| 160 | - | 305 | 15k| 0 | 0 | 0 |1119k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
513.71/513.74 c 501s| 1120k|435229 | 0 | 0.0 | 385M| 160 | - | 305 |8736 | 0 | 0 | 0 |1129k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
518.40/518.43 c 506s| 1130k|439215 | 0 | 0.0 | 390M| 160 | - | 305 | 10k| 0 | 0 | 0 |1138k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
523.00/523.03 c 510s| 1140k|443549 | 0 | 0.0 | 394M| 160 | - | 305 | 10k| 0 | 0 | 0 |1148k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
527.10/527.18 c 514s| 1150k|448529 | 0 | 0.0 | 398M| 160 | - | 305 | 11k| 0 | 0 | 0 |1156k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
531.30/531.37 c 518s| 1160k|453463 | 0 | 0.0 | 402M| 160 | - | 305 | 11k| 0 | 0 | 0 |1163k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
535.60/535.61 c 523s| 1170k|458325 | 0 | 0.0 | 407M| 160 | - | 305 | 11k| 0 | 0 | 0 |1171k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
539.49/539.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
539.49/539.55 c 526s| 1180k|463563 | 0 | 0.0 | 411M| 160 | - | 305 | 11k| 0 | 0 | 0 |1179k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
543.90/543.97 c 531s| 1190k|468098 | 0 | 0.0 | 414M| 160 | - | 305 | 11k| 0 | 0 | 0 |1187k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
548.60/548.61 c 535s| 1200k|472300 | 0 | 0.0 | 418M| 160 | - | 305 | 12k| 0 | 0 | 0 |1196k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
553.20/553.23 c 540s| 1210k|476644 | 0 | 0.0 | 422M| 160 | - | 305 | 11k| 0 | 0 | 0 |1204k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
557.90/557.98 c 544s| 1220k|480697 | 0 | 0.0 | 425M| 160 | - | 305 | 12k| 0 | 0 | 0 |1214k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
562.50/562.53 c 549s| 1230k|485009 | 0 | 0.0 | 429M| 160 | - | 305 | 12k| 0 | 0 | 0 |1222k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
567.30/567.34 c 554s| 1240k|489060 | 0 | 0.0 | 433M| 160 | - | 305 | 12k| 0 | 0 | 0 |1231k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
572.10/572.14 c 558s| 1250k|493119 | 0 | 0.0 | 437M| 160 | - | 305 | 12k| 0 | 0 | 0 |1241k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
577.10/577.18 c 563s| 1260k|496930 | 0 | 0.0 | 441M| 160 | - | 305 | 13k| 0 | 0 | 0 |1250k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
582.20/582.22 c 568s| 1270k|500725 | 0 | 0.0 | 445M| 160 | - | 305 | 12k| 0 | 0 | 0 |1259k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
587.20/587.22 c 573s| 1280k|504568 | 0 | 0.0 | 449M| 160 | - | 305 | 13k| 0 | 0 | 0 |1269k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
592.70/592.74 c 578s| 1290k|507990 | 0 | 0.0 | 452M| 160 | - | 305 | 13k| 0 | 0 | 0 |1278k| 0 | 1.000000e+00 | 7.300000e+01 |7200.00%
597.40/597.49 c 583s| 1300k|512119 | 0 | 0.0 | 456M| 160 | - | 305 | 14k| 0 | 0 | 0 |1287k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
603.30/603.30 c 589s| 1310k|515121 | 0 | 0.0 | 460M| 160 | - | 305 | 13k| 0 | 0 | 0 |1297k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
608.50/608.56 c 594s| 1320k|518621 | 0 | 0.0 | 464M| 160 | - | 305 | 14k| 0 | 0 | 0 |1307k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
614.40/614.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
614.40/614.46 c 600s| 1330k|521710 | 0 | 0.0 | 469M| 160 | - | 305 | 14k| 0 | 0 | 0 |1317k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
620.10/620.19 c 605s| 1340k|524831 | 0 | 0.0 | 473M| 160 | - | 305 | 15k| 0 | 0 | 0 |1328k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
625.70/625.77 c 611s| 1350k|528549 | 0 | 0.0 | 477M| 160 | - | 305 | 16k| 0 | 0 | 0 |1337k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
632.30/632.33 c 617s| 1360k|531153 | 0 | 0.0 | 481M| 160 | - | 305 | 15k| 0 | 0 | 0 |1348k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
637.60/637.62 c 623s| 1370k|535099 | 0 | 0.0 | 486M| 160 | - | 305 | 17k| 0 | 0 | 0 |1357k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
644.50/644.55 c 629s| 1380k|537616 | 0 | 0.0 | 489M| 160 | - | 305 | 16k| 0 | 0 | 0 |1368k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
650.50/650.54 c 635s| 1390k|540769 | 0 | 0.0 | 494M| 160 | - | 305 | 16k| 0 | 0 | 0 |1378k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
656.90/656.94 c 641s| 1400k|543908 | 0 | 0.0 | 498M| 160 | - | 305 | 17k| 0 | 0 | 0 |1389k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
663.70/663.78 c 648s| 1410k|546581 | 0 | 0.0 | 502M| 160 | - | 305 | 17k| 0 | 0 | 0 |1399k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
669.60/669.66 c 654s| 1420k|550194 | 0 | 0.0 | 507M| 160 | - | 305 | 19k| 0 | 0 | 0 |1409k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
677.50/677.52 c 662s| 1430k|552188 | 0 | 0.0 | 510M| 160 | - | 305 | 18k| 0 | 0 | 0 |1420k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
684.01/684.02 c 668s| 1440k|555226 | 0 | 0.0 | 514M| 160 | - | 305 | 19k| 0 | 0 | 0 |1431k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
691.70/691.72 c 676s| 1450k|557553 | 0 | 0.0 | 518M| 160 | - | 305 | 18k| 0 | 0 | 0 |1441k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
699.10/699.16 c 683s| 1460k|559903 | 0 | 0.0 | 521M| 160 | - | 305 | 19k| 0 | 0 | 0 |1452k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
706.20/706.28 c 690s| 1470k|562848 | 0 | 0.0 | 525M| 160 | - | 305 | 20k| 0 | 0 | 0 |1463k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
714.80/714.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
714.80/714.81 c 698s| 1480k|564511 | 0 | 0.0 | 529M| 160 | - | 305 | 20k| 0 | 0 | 0 |1475k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
722.11/722.15 c 706s| 1490k|567337 | 0 | 0.0 | 533M| 160 | - | 305 | 21k| 0 | 0 | 0 |1485k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
731.61/731.66 c 715s| 1500k|568511 | 0 | 0.0 | 536M| 160 | - | 305 | 20k| 0 | 0 | 0 |1497k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
738.60/738.67 c 722s| 1510k|571676 | 0 | 0.0 | 541M| 160 | - | 305 | 22k| 0 | 0 | 0 |1507k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
748.61/748.67 c 732s| 1520k|572679 | 0 | 0.0 | 543M| 160 | - | 305 | 21k| 0 | 0 | 0 |1520k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
756.31/756.37 c 739s| 1530k|575374 | 0 | 0.0 | 548M| 160 | - | 305 | 24k| 0 | 0 | 0 |1530k| 0 | 2.000000e+00 | 7.300000e+01 |3550.00%
761.70/761.79 o 58
761.70/761.79 c * 745s| 1534k|556844 | 0 | 0.0 | 527M| 160 | - | 305 | 23k| 0 | 0 | 0 |1537k| 0 | 2.000000e+00 | 5.800000e+01 |2800.00%
768.01/768.04 c 751s| 1540k|556550 | 0 | 0.0 | 530M| 160 | - | 305 | 23k| 0 | 0 | 0 |1545k| 0 | 2.000000e+00 | 5.800000e+01 |2800.00%
781.40/781.47 c 764s| 1550k|555693 | 0 | 0.0 | 534M| 160 | - | 305 | 22k| 0 | 0 | 0 |1561k| 0 | 2.000000e+00 | 5.800000e+01 |2800.00%
793.40/793.40 c 776s| 1560k|555447 | 0 | 0.0 | 538M| 160 | - | 305 | 24k| 0 | 0 | 0 |1576k| 0 | 2.000000e+00 | 5.800000e+01 |2800.00%
806.51/806.54 c 789s| 1570k|554329 | 0 | 0.0 | 542M| 160 | - | 305 | 25k| 0 | 0 | 0 |1592k| 0 | 2.000000e+00 | 5.800000e+01 |2800.00%
820.61/820.66 c 803s| 1580k|552872 | 0 | 0.0 | 544M| 160 | - | 305 | 26k| 0 | 0 | 0 |1609k| 0 | 2.000000e+00 | 5.800000e+01 |2800.00%
835.21/835.27 c 817s| 1590k|551182 | 0 | 0.0 | 547M| 160 | - | 305 | 27k| 0 | 0 | 0 |1626k| 0 | 2.000000e+00 | 5.800000e+01 |2800.00%
850.61/850.65 c 833s| 1600k|549384 | 0 | 0.0 | 550M| 160 | - | 305 | 28k| 0 | 0 | 0 |1643k| 0 | 2.000000e+00 | 5.800000e+01 |2800.00%
866.30/866.35 c 848s| 1610k|547348 | 0 | 0.0 | 554M| 160 | - | 305 | 30k| 0 | 0 | 0 |1661k| 0 | 2.000000e+00 | 5.800000e+01 |2800.00%
883.71/883.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
883.71/883.72 c 865s| 1620k|544812 | 0 | 0.0 | 556M| 160 | - | 305 | 30k| 0 | 0 | 0 |1679k| 0 | 2.000000e+00 | 5.800000e+01 |2800.00%
901.10/901.18 c 883s| 1630k|542319 | 0 | 0.0 | 559M| 160 | - | 305 | 32k| 0 | 0 | 0 |1697k| 0 | 2.000000e+00 | 5.800000e+01 |2800.00%
920.30/920.31 c 902s| 1640k|539505 | 0 | 0.0 | 562M| 160 | - | 305 | 34k| 0 | 0 | 0 |1716k| 0 | 2.000000e+00 | 5.800000e+01 |2800.00%
940.51/940.54 c 922s| 1650k|536113 | 0 | 0.0 | 565M| 160 | - | 305 | 36k| 0 | 0 | 0 |1735k| 0 | 2.000000e+00 | 5.800000e+01 |2800.00%
963.21/963.27 c 944s| 1660k|530501 | 0 | 0.0 | 567M| 160 | - | 305 | 38k| 0 | 0 | 0 |1754k| 0 | 2.000000e+00 | 5.800000e+01 |2800.00%
973.91/973.94 c 955s| 1670k|534333 | 0 | 0.0 | 568M| 160 | - | 305 | 24k| 0 | 0 | 0 |1764k| 0 | 2.000000e+00 | 5.800000e+01 |2800.00%
983.71/983.74 c 964s| 1680k|535330 | 0 | 0.0 | 572M| 160 | - | 305 | 25k| 0 | 0 | 0 |1777k| 0 | 2.000000e+00 | 5.800000e+01 |2800.00%
990.91/990.92 c 971s| 1690k|539519 | 0 | 0.0 | 574M| 160 | - | 305 | 14k| 0 | 0 | 0 |1786k| 0 | 2.000000e+00 | 5.800000e+01 |2800.00%
996.21/996.28 c 977s| 1700k|543631 | 0 | 0.0 | 578M| 160 | - | 305 | 15k| 0 | 0 | 0 |1795k| 0 | 2.000000e+00 | 5.800000e+01 |2800.00%
1001.51/1001.52 c 982s| 1710k|547854 | 0 | 0.0 | 581M| 160 | - | 305 | 12k| 0 | 0 | 0 |1804k| 0 | 2.000000e+00 | 5.800000e+01 |2800.00%
1005.91/1005.94 c 986s| 1720k|552205 | 0 | 0.0 | 583M| 160 | - | 305 |9393 | 0 | 0 | 0 |1813k| 0 | 2.000000e+00 | 5.800000e+01 |2800.00%
1010.01/1010.02 c 990s| 1730k|556112 | 0 | 0.0 | 586M| 160 | - | 305 |8735 | 0 | 0 | 0 |1824k| 0 | 2.000000e+00 | 5.800000e+01 |2800.00%
1013.91/1013.91 c 994s| 1740k|560125 | 0 | 0.0 | 589M| 160 | - | 305 |8397 | 0 | 0 | 0 |1834k| 0 | 2.000000e+00 | 5.800000e+01 |2800.00%
1017.81/1017.87 c 998s| 1750k|564173 | 0 | 0.0 | 593M| 160 | - | 305 |8595 | 0 | 0 | 0 |1845k| 0 | 2.000000e+00 | 5.800000e+01 |2800.00%
1021.71/1021.75 c 1001s| 1760k|568479 | 0 | 0.0 | 597M| 160 | - | 305 |8851 | 0 | 0 | 0 |1854k| 0 | 2.000000e+00 | 5.800000e+01 |2800.00%
1026.11/1026.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1026.11/1026.11 c 1006s| 1770k|572206 | 0 | 0.0 | 602M| 160 | - | 305 | 10k| 0 | 0 | 0 |1864k| 0 | 2.000000e+00 | 5.800000e+01 |2800.00%
1031.01/1031.05 c 1010s| 1780k|574940 | 0 | 0.0 | 607M| 160 | - | 305 | 14k| 0 | 0 | 0 |1876k| 0 | 2.000000e+00 | 5.800000e+01 |2800.00%
1034.41/1034.44 c 1014s| 1790k|580764 | 0 | 0.0 | 609M| 160 | - | 305 |7262 | 0 | 0 | 0 |1883k| 0 | 2.000000e+00 | 5.800000e+01 |2800.00%
1039.62/1039.60 c 1019s| 1800k|582053 | 0 | 0.0 | 613M| 160 | - | 305 |7459 | 0 | 0 | 0 |1897k| 0 | 2.000000e+00 | 5.800000e+01 |2800.00%
1047.01/1047.03 c 1026s| 1810k|582244 | 0 | 0.0 | 618M| 160 | - | 305 | 11k| 0 | 0 | 0 |1913k| 0 | 2.000000e+00 | 5.800000e+01 |2800.00%
1055.61/1055.64 c 1035s| 1820k|582344 | 0 | 0.0 | 623M| 160 | - | 305 | 13k| 0 | 0 | 0 |1929k| 0 | 2.000000e+00 | 5.800000e+01 |2800.00%
1064.82/1064.83 c 1044s| 1830k|582580 | 0 | 0.0 | 627M| 160 | - | 305 | 14k| 0 | 0 | 0 |1944k| 0 | 2.000000e+00 | 5.800000e+01 |2800.00%
1074.72/1074.77 c 1053s| 1840k|582255 | 0 | 0.0 | 631M| 160 | - | 305 | 15k| 0 | 0 | 0 |1960k| 0 | 2.000000e+00 | 5.800000e+01 |2800.00%
1085.41/1085.44 c 1064s| 1850k|581513 | 0 | 0.0 | 635M| 160 | - | 305 | 16k| 0 | 0 | 0 |1976k| 0 | 2.000000e+00 | 5.800000e+01 |2800.00%
1096.72/1096.74 c 1075s| 1860k|580526 | 0 | 0.0 | 638M| 160 | - | 305 | 17k| 0 | 0 | 0 |1993k| 0 | 2.000000e+00 | 5.800000e+01 |2800.00%
1108.52/1108.58 c 1087s| 1870k|579413 | 0 | 0.0 | 642M| 160 | - | 305 | 17k| 0 | 0 | 0 |2010k| 0 | 2.000000e+00 | 5.800000e+01 |2800.00%
1121.21/1121.20 c 1099s| 1880k|578178 | 0 | 0.0 | 645M| 160 | - | 305 | 18k| 0 | 0 | 0 |2027k| 0 | 2.000000e+00 | 5.800000e+01 |2800.00%
1134.61/1134.68 c 1113s| 1890k|576535 | 0 | 0.0 | 649M| 160 | - | 305 | 19k| 0 | 0 | 0 |2044k| 0 | 2.000000e+00 | 5.800000e+01 |2800.00%
1147.72/1147.79 c 1126s| 1900k|575314 | 0 | 0.0 | 652M| 160 | - | 305 | 20k| 0 | 0 | 0 |2061k| 0 | 2.000000e+00 | 5.800000e+01 |2800.00%
1162.12/1162.11 c 1140s| 1910k|573414 | 0 | 0.0 | 654M| 160 | - | 305 | 21k| 0 | 0 | 0 |2078k| 0 | 2.000000e+00 | 5.800000e+01 |2800.00%
1176.72/1176.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1176.72/1176.79 c 1154s| 1920k|571569 | 0 | 0.0 | 656M| 160 | - | 305 | 22k| 0 | 0 | 0 |2096k| 0 | 2.000000e+00 | 5.800000e+01 |2800.00%
1184.22/1184.28 o 34
1184.22/1184.28 c *1162s| 1924k|416255 | 0 | 0.0 | 439M| 160 | - | 305 | 23k| 0 | 0 | 0 |2104k| 0 | 2.000000e+00 | 3.400000e+01 |1600.00%
1192.12/1192.14 c 1169s| 1930k|410032 | 0 | 0.0 | 436M| 160 | - | 305 |4889 | 0 | 0 | 0 |2114k| 0 | 2.000000e+00 | 3.400000e+01 |1600.00%
1200.52/1200.51 o 27
1200.52/1200.51 c *1177s| 1938k|336210 | 0 | 0.0 | 362M| 160 | - | 305 |8103 | 0 | 0 | 0 |2126k| 0 | 2.000000e+00 | 2.700000e+01 |1250.00%
1204.01/1204.06 c 1181s| 1940k|332288 | 0 | 0.0 | 362M| 160 | - | 305 |9564 | 0 | 0 | 0 |2131k| 0 | 2.000000e+00 | 2.700000e+01 |1250.00%
1223.92/1223.93 c 1200s| 1950k|310224 | 0 | 0.0 | 353M| 160 | - | 305 | 13k| 0 | 0 | 0 |2151k| 0 | 2.000000e+00 | 2.700000e+01 |1250.00%
1249.82/1249.84 c 1226s| 1960k|284542 | 0 | 0.0 | 336M| 160 | - | 305 | 18k| 0 | 0 | 0 |2173k| 0 | 2.000000e+00 | 2.700000e+01 |1250.00%
1272.02/1272.02 o 17
1272.02/1272.02 c *1248s| 1967k|244334 | 0 | 0.0 | 295M| 160 | - | 305 | 20k| 0 | 0 | 0 |2190k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1279.02/1279.05 c 1255s| 1970k|237440 | 0 | 0.0 | 284M| 160 | - | 305 | 19k| 0 | 0 | 0 |2196k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1297.41/1297.44 c 1273s| 1980k|224221 | 0 | 0.0 | 275M| 160 | - | 305 | 11k| 0 | 0 | 0 |2216k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1311.01/1311.07 c 1287s| 1990k|216811 | 0 | 0.0 | 270M| 160 | - | 305 | 11k| 0 | 0 | 0 |2232k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1318.12/1318.19 c 1293s| 2000k|212803 | 0 | 0.0 | 264M| 160 | - | 305 |6183 | 0 | 0 | 0 |2245k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1323.82/1323.86 c 1299s| 2010k|210822 | 0 | 0.0 | 262M| 160 | - | 305 |6570 | 0 | 0 | 0 |2257k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1329.22/1329.29 c 1304s| 2020k|209748 | 0 | 0.0 | 260M| 160 | - | 305 |6564 | 0 | 0 | 0 |2270k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1334.92/1334.91 c 1310s| 2030k|208868 | 0 | 0.0 | 260M| 160 | - | 305 |7518 | 0 | 0 | 0 |2282k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1341.32/1341.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1341.32/1341.33 c 1316s| 2040k|207061 | 0 | 0.0 | 259M| 160 | - | 305 |8259 | 0 | 0 | 0 |2296k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1347.92/1347.92 c 1322s| 2050k|205341 | 0 | 0.0 | 259M| 160 | - | 305 |9102 | 0 | 0 | 0 |2309k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1355.52/1355.52 c 1330s| 2060k|202904 | 0 | 0.0 | 259M| 160 | - | 305 | 11k| 0 | 0 | 0 |2323k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1364.72/1364.78 c 1339s| 2070k|199774 | 0 | 0.0 | 255M| 160 | - | 305 |7336 | 0 | 0 | 0 |2337k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1367.22/1367.27 c 1341s| 2080k|204567 | 0 | 0.0 | 258M| 160 | - | 305 |4925 | 0 | 0 | 0 |2343k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1371.42/1371.47 c 1345s| 2090k|205881 | 0 | 0.0 | 261M| 160 | - | 305 |8327 | 0 | 0 | 0 |2353k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1377.12/1377.20 c 1351s| 2100k|204002 | 0 | 0.0 | 258M| 160 | - | 305 |3283 | 0 | 0 | 0 |2363k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1381.52/1381.58 c 1355s| 2110k|203525 | 0 | 0.0 | 257M| 160 | - | 305 |4709 | 0 | 0 | 0 |2375k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1398.52/1398.59 c 1372s| 2120k|175814 | 0 | 0.0 | 225M| 160 | - | 305 | 18k| 0 | 0 | 0 |2401k| 0 | 2.000000e+00 | 1.700000e+01 | 750.00%
1417.12/1417.16 c 1390s| 2130k|166106 | 0 | 0.0 | 208M| 160 | - | 305 | 20k| 0 | 0 | 0 |2421k| 0 | 4.000000e+00 | 1.700000e+01 | 325.00%
1431.42/1431.46 c 1405s| 2140k|163723 | 0 | 0.0 | 204M| 160 | - | 305 | 18k| 0 | 0 | 0 |2437k| 0 | 4.000000e+00 | 1.700000e+01 | 325.00%
1447.42/1447.44 c 1420s| 2150k|159899 | 0 | 0.0 | 202M| 160 | - | 305 | 20k| 0 | 0 | 0 |2455k| 0 | 4.000000e+00 | 1.700000e+01 | 325.00%
1465.03/1465.02 c 1438s| 2160k|155327 | 0 | 0.0 | 200M| 160 | - | 305 | 22k| 0 | 0 | 0 |2473k| 0 | 4.000000e+00 | 1.700000e+01 | 325.00%
1484.72/1484.74 c 1457s| 2170k|149196 | 0 | 0.0 | 196M| 160 | - | 305 | 24k| 0 | 0 | 0 |2493k| 0 | 4.000000e+00 | 1.700000e+01 | 325.00%
1504.22/1504.29 c 1477s| 2180k|143478 | 0 | 0.0 | 192M| 160 | - | 305 | 30k| 0 | 0 | 0 |2511k| 0 | 4.000000e+00 | 1.700000e+01 | 325.00%
1515.02/1515.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1515.02/1515.08 c 1487s| 2190k|146624 | 0 | 0.0 | 191M| 160 | - | 305 | 20k| 0 | 0 | 0 |2521k| 0 | 4.000000e+00 | 1.700000e+01 | 325.00%
1523.63/1523.66 c 1496s| 2200k|149477 | 0 | 0.0 | 193M| 160 | - | 305 | 19k| 0 | 0 | 0 |2530k| 0 | 4.000000e+00 | 1.700000e+01 | 325.00%
1533.32/1533.32 c 1505s| 2210k|151073 | 0 | 0.0 | 197M| 160 | - | 305 | 21k| 0 | 0 | 0 |2541k| 0 | 4.000000e+00 | 1.700000e+01 | 325.00%
1546.33/1546.37 c 1518s| 2220k|150307 | 0 | 0.0 | 199M| 160 | - | 305 | 26k| 0 | 0 | 0 |2555k| 0 | 4.000000e+00 | 1.700000e+01 | 325.00%
1562.22/1562.23 c 1534s| 2230k|147600 | 0 | 0.0 | 199M| 160 | - | 305 | 30k| 0 | 0 | 0 |2569k| 0 | 4.000000e+00 | 1.700000e+01 | 325.00%
1570.32/1570.36 c 1542s| 2240k|153034 | 0 | 0.0 | 199M| 160 | - | 305 | 16k| 0 | 0 | 0 |2576k| 0 | 4.000000e+00 | 1.700000e+01 | 325.00%
1577.72/1577.70 c 1549s| 2250k|155321 | 0 | 0.0 | 201M| 160 | - | 305 | 13k| 0 | 0 | 0 |2586k| 0 | 4.000000e+00 | 1.700000e+01 | 325.00%
1585.62/1585.62 c 1557s| 2260k|154373 | 0 | 0.0 | 198M| 160 | - | 305 |8780 | 0 | 0 | 0 |2599k| 0 | 4.000000e+00 | 1.700000e+01 | 325.00%
1590.83/1590.81 c 1562s| 2270k|154625 | 0 | 0.0 | 197M| 160 | - | 305 |4006 | 0 | 0 | 0 |2610k| 0 | 4.000000e+00 | 1.700000e+01 | 325.00%
1597.23/1597.22 c 1568s| 2280k|151694 | 0 | 0.0 | 199M| 160 | - | 305 |6593 | 0 | 0 | 0 |2622k| 0 | 4.000000e+00 | 1.700000e+01 | 325.00%
1610.03/1610.07 c 1581s| 2290k|138206 | 0 | 0.0 | 194M| 160 | - | 305 | 10k| 0 | 0 | 0 |2642k| 0 | 4.000000e+00 | 1.700000e+01 | 325.00%
1631.63/1631.67 c 1602s| 2300k|108579 | 0 | 0.0 | 167M| 160 | - | 305 | 14k| 0 | 0 | 0 |2666k| 0 | 4.000000e+00 | 1.700000e+01 | 325.00%
1648.72/1648.75 c 1619s| 2310k| 99407 | 0 | 0.0 | 150M| 160 | - | 305 | 20k| 0 | 0 | 0 |2687k| 0 | 4.000000e+00 | 1.700000e+01 | 325.00%
1661.93/1661.95 c 1632s| 2320k| 98486 | 0 | 0.0 | 150M| 160 | - | 305 | 21k| 0 | 0 | 0 |2702k| 0 | 4.000000e+00 | 1.700000e+01 | 325.00%
1677.33/1677.36 c 1647s| 2330k| 96732 | 0 | 0.0 | 153M| 160 | - | 305 | 27k| 0 | 0 | 0 |2718k| 0 | 5.000000e+00 | 1.700000e+01 | 240.00%
1698.43/1698.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1698.43/1698.44 c 1668s| 2340k| 92824 | 0 | 0.0 | 153M| 160 | - | 305 | 34k| 0 | 0 | 0 |2735k| 0 | 5.000000e+00 | 1.700000e+01 | 240.00%
1720.83/1720.80 c 1691s| 2350k| 90689 | 0 | 0.0 | 150M| 160 | - | 305 | 34k| 0 | 0 | 0 |2750k| 0 | 5.000000e+00 | 1.700000e+01 | 240.00%
1733.53/1733.60 c 1703s| 2360k| 93914 | 0 | 0.0 | 150M| 160 | - | 305 | 24k| 0 | 0 | 0 |2763k| 0 | 5.000000e+00 | 1.700000e+01 | 240.00%
1746.13/1746.12 c 1716s| 2370k| 94823 | 0 | 0.0 | 152M| 160 | - | 305 | 22k| 0 | 0 | 0 |2776k| 0 | 5.000000e+00 | 1.700000e+01 | 240.00%
1760.63/1760.69 c 1730s| 2380k| 93515 | 0 | 0.0 | 154M| 160 | - | 305 | 25k| 0 | 0 | 0 |2791k| 0 | 5.000000e+00 | 1.700000e+01 | 240.00%
1778.03/1778.00 c 1747s| 2390k| 89537 | 0 | 0.0 | 149M| 160 | - | 305 | 14k| 0 | 0 | 0 |2808k| 0 | 5.000000e+00 | 1.700000e+01 | 240.00%
1781.82/1781.86 c 1751s| 2400k| 94863 | 0 | 0.0 | 147M| 160 | - | 305 |3620 | 0 | 0 | 0 |2814k| 0 | 5.000000e+00 | 1.700000e+01 | 240.00%
1785.03/1785.00 c 1754s| 2410k| 98932 | 0 | 0.0 | 151M| 160 | - | 305 |5607 | 0 | 0 | 0 |2822k| 0 | 5.000000e+00 | 1.700000e+01 | 240.00%
1790.43/1790.40 c 1759s| 2420k| 99321 | 0 | 0.0 | 152M| 160 | - | 305 |7817 | 0 | 0 | 0 |2834k| 0 | 5.000000e+00 | 1.700000e+01 | 240.00%
1799.43/1799.47 c 1768s| 2430k| 93189 | 0 | 0.0 | 145M| 160 | - | 305 | 11k| 0 | 0 | 0 |2849k| 0 | 5.000000e+00 | 1.700000e+01 | 240.00%
1800.04/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.00 c
1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.00 c Solving Time (sec) : 1768.72
1800.04/1800.00 c Solving Nodes : 2430767
1800.04/1800.00 c Primal Bound : +1.70000000000000e+01 (21 solutions)
1800.04/1800.00 c Dual Bound : +5.00000000000000e+00
1800.04/1800.00 c Gap : 240.00 %
1800.04/1800.00 s SATISFIABLE
1800.04/1800.00 v -x169 -x168 -x167 x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 x152 -x151 -x150 -x149 -x148
1800.04/1800.00 v -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 x132 -x131 -x130 -x129 -x128 -x127
1800.04/1800.00 v -x126 -x125 -x124 -x123 -x122 x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106
1800.04/1800.00 v -x105 -x104 -x103 x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 x83 -x82
1800.04/1800.00 v -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
1800.04/1800.00 v -x56 -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
1800.04/1800.00 v -x30 -x29 -x28 -x27 x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5
1800.04/1800.00 v -x4 -x3 -x2 x1
1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.00 c Solving Time : 1768.72
1800.04/1800.00 c Original Problem :
1800.04/1800.00 c Problem name : HOME/instance-2694018-1277900078.wbo
1800.04/1800.00 c Variables : 307 (238 binary, 0 integer, 0 implicit integer, 69 continuous)
1800.04/1800.00 c Constraints : 171 initial, 171 maximal
1800.04/1800.00 c Presolved Problem :
1800.04/1800.00 c Problem name : t_HOME/instance-2694018-1277900078.wbo
1800.04/1800.00 c Variables : 305 (237 binary, 0 integer, 0 implicit integer, 68 continuous)
1800.04/1800.00 c Constraints : 166 initial, 40788 maximal
1800.04/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c dualfix : 0.00 2 0 0 0 0 0 0 0
1800.04/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c probing : 0.01 0 0 0 0 0 0 0 0
1800.04/1800.00 c indicator : 0.00 0 0 0 0 0 1 0 0
1800.04/1800.00 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c linear : 0.00 0 0 0 68 0 4 1 0
1800.04/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c root node : - 46 - - 92 - - - -
1800.04/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.00 c integral : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c indicator : 68 0 7003813 0 1611815 14403 3337950 0 0 0
1800.04/1800.00 c setppc : 20 0 7487921 0 1708014 40788 5608945 0 0 0
1800.04/1800.00 c linear : 68 0 7447207 0 1708028 781910 35518617 0 0 0
1800.04/1800.00 c logicor : 10+ 0 3430108 0 1707472 195955 1857211 0 0 0
1800.04/1800.00 c bounddisjunction : 0+ 0 380388 0 0 3 19037 0 0 0
1800.04/1800.00 c countsols : 0 0 0 0 1708046 0 0 0 0 0
1800.04/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.00 c integral : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.00 c indicator : 7.18 0.00 5.19 0.00 1.99
1800.04/1800.00 c setppc : 17.57 0.00 13.23 0.00 4.34
1800.04/1800.00 c linear : 170.73 0.00 169.99 0.00 0.74
1800.04/1800.00 c logicor : 715.84 0.00 714.29 0.00 1.55
1800.04/1800.00 c bounddisjunction : 4.56 0.00 4.56 0.00 0.00
1800.04/1800.00 c countsols : 0.34 0.00 0.00 0.00 0.34
1800.04/1800.00 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.00 c vbounds : 2.28 2 0 0
1800.04/1800.00 c rootredcost : 1.80 0 0 0
1800.04/1800.00 c pseudoobj : 20.69 7510672 8446 3106934
1800.04/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.00 c propagation : 53.28 1027102 1026768 5710324 22.2 201269 13.6 -
1800.04/1800.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.00 c pseudo solution : 0.01 128 128 370 11.9 19 13.9 -
1800.04/1800.00 c applied globally : - - - 2804989 17.1 - - -
1800.04/1800.00 c applied locally : - - - 45766 37.1 - - -
1800.04/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.00 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.04/1800.00 c redcost : 0.00 0 0 0 0 0
1800.04/1800.00 c impliedbounds : 0.00 0 0 0 0 0
1800.04/1800.00 c intobj : 0.00 0 0 0 0 0
1800.04/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.00 c gomory : 0.00 0 0 0 0 0
1800.04/1800.00 c strongcg : 0.00 0 0 0 0 0
1800.04/1800.00 c cmir : 0.00 0 0 0 0 0
1800.04/1800.00 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.00 c clique : 0.00 0 0 0 0 0
1800.04/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.00 c mcf : 0.00 0 0 0 0 0
1800.04/1800.00 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.00 c Pricers : Time Calls Vars
1800.04/1800.00 c problem variables: 0.00 0 0
1800.04/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.00 c relpscost : 0.00 0 0 0 0 0 0
1800.04/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.00 c inference : 13.15 1708025 0 0 0 0 3416050
1800.04/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.00 c random : 0.00 0 0 0 0 0 0
1800.04/1800.00 c Primal Heuristics : Time Calls Found
1800.04/1800.00 c LP solutions : 0.00 - 0
1800.04/1800.00 c pseudo solutions : 0.69 - 21
1800.04/1800.00 c oneopt : 0.82 0 0
1800.04/1800.00 c trivial : 0.00 2 0
1800.04/1800.00 c simplerounding : 0.00 0 0
1800.04/1800.00 c zirounding : 0.00 0 0
1800.04/1800.00 c rounding : 0.00 0 0
1800.04/1800.00 c shifting : 0.00 0 0
1800.04/1800.00 c intshifting : 0.00 0 0
1800.04/1800.00 c twoopt : 0.00 0 0
1800.04/1800.00 c fixandinfer : 0.00 0 0
1800.04/1800.00 c feaspump : 0.00 0 0
1800.04/1800.00 c coefdiving : 0.00 0 0
1800.04/1800.00 c pscostdiving : 0.00 0 0
1800.04/1800.00 c fracdiving : 0.00 0 0
1800.04/1800.00 c veclendiving : 0.00 0 0
1800.04/1800.00 c intdiving : 0.00 0 0
1800.04/1800.00 c actconsdiving : 0.00 0 0
1800.04/1800.00 c objpscostdiving : 0.00 0 0
1800.04/1800.00 c rootsoldiving : 0.00 0 0
1800.04/1800.00 c linesearchdiving : 0.00 0 0
1800.04/1800.00 c guideddiving : 0.00 0 0
1800.04/1800.00 c octane : 0.00 0 0
1800.04/1800.00 c rens : 0.00 0 0
1800.04/1800.00 c rins : 0.00 0 0
1800.04/1800.00 c localbranching : 0.00 0 0
1800.04/1800.00 c mutation : 0.00 0 0
1800.04/1800.00 c crossover : 0.00 0 0
1800.04/1800.00 c dins : 0.00 0 0
1800.04/1800.00 c undercover : 0.00 0 0
1800.04/1800.00 c nlp : 0.70 0 0
1800.04/1800.00 c trysol : 0.80 1 0
1800.04/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.00 c dual LP : 0.00 0 0 0.00 -
1800.04/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.00 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.00 c strong branching : 0.00 0 0 0.00 -
1800.04/1800.00 c (at root node) : - 0 0 0.00 -
1800.04/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.00 c B&B Tree :
1800.04/1800.00 c number of runs : 1
1800.04/1800.00 c nodes : 2430767
1800.04/1800.00 c nodes (total) : 2430767
1800.04/1800.00 c nodes left : 93183
1800.04/1800.00 c max depth : 160
1800.04/1800.00 c max depth (total): 160
1800.04/1800.00 c backtracks : 814467 (33.5%)
1800.04/1800.00 c delayed cutoffs : 612566
1800.04/1800.00 c repropagations : 3004402 (12566174 domain reductions, 318912 cutoffs)
1800.04/1800.00 c avg switch length: 25.18
1800.04/1800.00 c switching time : 590.32
1800.04/1800.00 c Solution :
1800.04/1800.00 c Solutions found : 21 (21 improvements)
1800.04/1800.00 c First Solution : +2.12000000000000e+02 (in run 1, after 181428 nodes, 87.42 seconds, depth 132, found by <relaxation>)
1800.04/1800.00 c Primal Bound : +1.70000000000000e+01 (in run 1, after 1967965 nodes, 1247.89 seconds, depth 79, found by <relaxation>)
1800.04/1800.00 c Dual Bound : +5.00000000000000e+00
1800.04/1800.00 c Gap : 240.00 %
1800.04/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Root Iterations : 0
1800.33/1800.35 c Time complete: 1800.39.
OK 17
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2694018-1277900078/watcher-2694018-1277900078 -o /tmp/evaluation-result-2694018-1277900078/solver-2694018-1277900078 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694018-1277900078.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.02 2.03 2.00 4/178 12071 /proc/meminfo: memFree=29568876/32950928 swapFree=67111528/67111528 [pid=12071] ppid=12069 vsize=8252 CPUtime=0 /proc/12071/stat : 12071 (pbscip.linux.x8) R 12069 12071 11381 0 -1 4202496 1546 0 0 0 0 0 0 0 25 0 1 0 131304446 8450048 1469 4089446400 4194304 7136930 140736229371600 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/12071/statm: 2063 1469 275 719 0 1342 0 [startup+0.103838 s] /proc/loadavg: 2.02 2.03 2.00 4/178 12071 /proc/meminfo: memFree=29568876/32950928 swapFree=67111528/67111528 [pid=12071] ppid=12069 vsize=13016 CPUtime=0.1 /proc/12071/stat : 12071 (pbscip.linux.x8) R 12069 12071 11381 0 -1 4202496 4779 0 0 0 8 2 0 0 25 0 1 0 131304446 13328384 2550 4089446400 4194304 7136930 140736229371600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12071/statm: 3254 2550 395 719 0 2533 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 13016 [startup+0.20082 s] /proc/loadavg: 2.02 2.03 2.00 4/178 12071 /proc/meminfo: memFree=29568876/32950928 swapFree=67111528/67111528 [pid=12071] ppid=12069 vsize=14044 CPUtime=0.19 /proc/12071/stat : 12071 (pbscip.linux.x8) R 12069 12071 11381 0 -1 4202496 5037 0 0 0 17 2 0 0 25 0 1 0 131304446 14381056 2808 4089446400 4194304 7136930 140736229371600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12071/statm: 3511 2808 395 719 0 2790 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 14044 [startup+0.300804 s] /proc/loadavg: 2.02 2.03 2.00 4/178 12071 /proc/meminfo: memFree=29568876/32950928 swapFree=67111528/67111528 [pid=12071] ppid=12069 vsize=14976 CPUtime=0.29 /proc/12071/stat : 12071 (pbscip.linux.x8) R 12069 12071 11381 0 -1 4202496 5272 0 0 0 26 3 0 0 25 0 1 0 131304446 15335424 3043 4089446400 4194304 7136930 140736229371600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12071/statm: 3744 3043 395 719 0 3023 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14976 [startup+0.700732 s] /proc/loadavg: 2.02 2.03 2.00 4/178 12071 /proc/meminfo: memFree=29568876/32950928 swapFree=67111528/67111528 [pid=12071] ppid=12069 vsize=18192 CPUtime=0.69 /proc/12071/stat : 12071 (pbscip.linux.x8) R 12069 12071 11381 0 -1 4202496 6089 0 0 0 63 6 0 0 25 0 1 0 131304446 18628608 3860 4089446400 4194304 7136930 140736229371600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12071/statm: 4548 3860 395 719 0 3827 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 18192 [startup+1.50059 s] /proc/loadavg: 2.02 2.03 2.00 3/179 12072 /proc/meminfo: memFree=29550516/32950928 swapFree=67111528/67111528 [pid=12071] ppid=12069 vsize=22456 CPUtime=1.49 /proc/12071/stat : 12071 (pbscip.linux.x8) R 12069 12071 11381 0 -1 4202496 7169 0 0 0 139 10 0 0 25 0 1 0 131304446 22994944 4940 4089446400 4194304 7136930 140736229371600 18446744073709551615 4923753 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12071/statm: 5614 4940 395 719 0 4893 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 22456 [startup+3.10031 s] /proc/loadavg: 2.02 2.03 2.00 3/179 12072 /proc/meminfo: memFree=29545432/32950928 swapFree=67111528/67111528 [pid=12071] ppid=12069 vsize=28396 CPUtime=3.09 /proc/12071/stat : 12071 (pbscip.linux.x8) R 12069 12071 11381 0 -1 4202496 8649 0 0 0 293 16 0 0 25 0 1 0 131304446 29077504 6420 4089446400 4194304 7136930 140736229371600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12071/statm: 7099 6420 395 719 0 6378 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 28396 [startup+6.30075 s] /proc/loadavg: 2.01 2.03 2.00 3/179 12072 /proc/meminfo: memFree=29531604/32950928 swapFree=67111528/67111528 [pid=12071] ppid=12069 vsize=37884 CPUtime=6.29 /proc/12071/stat : 12071 (pbscip.linux.x8) R 12069 12071 11381 0 -1 4202496 11044 0 0 0 596 33 0 0 25 0 1 0 131304446 38793216 8815 4089446400 4194304 7136930 140736229371600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12071/statm: 9471 8815 395 719 0 8750 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 37884 [startup+12.7006 s] /proc/loadavg: 2.01 2.03 2.00 3/179 12072 /proc/meminfo: memFree=29515864/32950928 swapFree=67111528/67111528 [pid=12071] ppid=12069 vsize=48096 CPUtime=12.69 /proc/12071/stat : 12071 (pbscip.linux.x8) R 12069 12071 11381 0 -1 4202496 13586 0 0 0 1221 48 0 0 25 0 1 0 131304446 49250304 11357 4089446400 4194304 7136930 140736229371600 18446744073709551615 4923471 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12071/statm: 12024 11357 395 719 0 11303 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 48096 [startup+25.5004 s] /proc/loadavg: 2.01 2.02 2.00 3/179 12072 /proc/meminfo: memFree=29486176/32950928 swapFree=67111528/67111528 [pid=12071] ppid=12069 vsize=66104 CPUtime=25.49 /proc/12071/stat : 12071 (pbscip.linux.x8) R 12069 12071 11381 0 -1 4202496 18135 0 0 0 2467 82 0 0 25 0 1 0 131304446 67690496 15879 4089446400 4194304 7136930 140736229371600 18446744073709551615 4976178 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12071/statm: 16526 15879 395 719 0 15805 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 66104 [startup+51.1008 s] /proc/loadavg: 2.00 2.02 2.00 3/179 12073 /proc/meminfo: memFree=29432300/32950928 swapFree=67111528/67111528 [pid=12071] ppid=12069 vsize=85972 CPUtime=51.09 /proc/12071/stat : 12071 (pbscip.linux.x8) R 12069 12071 11381 0 -1 4202496 22972 0 0 0 4991 118 0 0 25 0 1 0 131304446 88035328 20716 4089446400 4194304 7136930 140736229371600 18446744073709551615 4219812 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12071/statm: 21493 20716 395 719 0 20772 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 85972 [startup+102.301 s] /proc/loadavg: 1.96 2.00 1.99 3/179 12123 /proc/meminfo: memFree=31587956/32950928 swapFree=67111528/67111528 [pid=12071] ppid=12069 vsize=128908 CPUtime=102.29 /proc/12071/stat : 12071 (pbscip.linux.x8) R 12069 12071 11381 0 -1 4202496 33425 0 0 0 9999 230 0 0 25 0 1 0 131304446 132001792 31169 4089446400 4194304 7136930 140736229371600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12071/statm: 32227 31169 398 719 0 31506 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 128908 [startup+162.3 s] /proc/loadavg: 1.98 2.00 1.99 3/179 12125 /proc/meminfo: memFree=31562232/32950928 swapFree=67111528/67111528 [pid=12071] ppid=12069 vsize=135016 CPUtime=162.29 /proc/12071/stat : 12071 (pbscip.linux.x8) R 12069 12071 11381 0 -1 4202496 34853 0 0 0 15915 314 0 0 25 0 1 0 131304446 138256384 32597 4089446400 4194304 7136930 140736229371600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12071/statm: 33754 32597 398 719 0 33033 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 135016 [startup+222.307 s] /proc/loadavg: 1.99 2.00 1.99 3/179 12127 /proc/meminfo: memFree=31442640/32950928 swapFree=67111528/67111528 [pid=12071] ppid=12069 vsize=206052 CPUtime=222.3 /proc/12071/stat : 12071 (pbscip.linux.x8) R 12069 12071 11381 0 -1 4202496 52722 0 0 0 21741 489 0 0 25 0 1 0 131304446 210997248 50466 4089446400 4194304 7136930 140736229371600 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12071/statm: 51513 50466 398 719 0 50792 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 206052 [startup+282.301 s] /proc/loadavg: 2.09 2.03 2.00 3/179 12128 /proc/meminfo: memFree=31333444/32950928 swapFree=67111528/67111528 [pid=12071] ppid=12069 vsize=248240 CPUtime=282.3 /proc/12071/stat : 12071 (pbscip.linux.x8) R 12069 12071 11381 0 -1 4202496 62308 0 0 0 27595 635 0 0 25 0 1 0 131304446 254197760 60052 4089446400 4194304 7136930 140736229371600 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/12071/statm: 62060 60052 398 719 0 61339 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 248240 [startup+342.3 s] /proc/loadavg: 2.03 2.02 2.00 3/179 12129 /proc/meminfo: memFree=31229956/32950928 swapFree=67111528/67111528 [pid=12071] ppid=12069 vsize=312536 CPUtime=342.3 /proc/12071/stat : 12071 (pbscip.linux.x8) R 12069 12071 11381 0 -1 4202496 78516 0 0 0 33428 802 0 0 25 0 1 0 131304446 320036864 76260 4089446400 4194304 7136930 140736229371600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12071/statm: 78134 76260 398 719 0 77413 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 312536 [startup+402.301 s] /proc/loadavg: 2.01 2.02 2.00 3/179 12131 /proc/meminfo: memFree=31097216/32950928 swapFree=67111528/67111528 [pid=12071] ppid=12069 vsize=407492 CPUtime=402.3 /proc/12071/stat : 12071 (pbscip.linux.x8) R 12069 12071 11381 0 -1 4202496 102510 0 0 0 39236 994 0 0 25 0 1 0 131304446 417271808 100254 4089446400 4194304 7136930 140736229371600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12071/statm: 101873 100254 398 719 0 101152 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 407492 [startup+462.3 s] /proc/loadavg: 2.00 2.01 2.00 3/179 12133 /proc/meminfo: memFree=31033664/32950928 swapFree=67111528/67111528 [pid=12071] ppid=12069 vsize=447436 CPUtime=462.3 /proc/12071/stat : 12071 (pbscip.linux.x8) R 12069 12071 11381 0 -1 4202496 112445 0 0 0 45097 1133 0 0 25 0 1 0 131304446 458174464 110189 4089446400 4194304 7136930 140736229371600 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12071/statm: 111859 110189 398 719 0 111138 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 447436 [startup+522.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12135 /proc/meminfo: memFree=30986124/32950928 swapFree=67111528/67111528 [pid=12071] ppid=12069 vsize=475832 CPUtime=522.3 /proc/12071/stat : 12071 (pbscip.linux.x8) R 12069 12071 11381 0 -1 4202496 119565 0 0 0 50966 1264 0 0 25 0 1 0 131304446 487251968 117309 4089446400 4194304 7136930 140736229371600 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12071/statm: 118958 117309 398 719 0 118237 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 475832 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12136 /proc/meminfo: memFree=30907164/32950928 swapFree=67111528/67111528 [pid=12071] ppid=12069 vsize=545872 CPUtime=582.3 /proc/12071/stat : 12071 (pbscip.linux.x8) R 12069 12071 11381 0 -1 4202496 135197 0 0 0 56828 1402 0 0 25 0 1 0 131304446 558972928 132941 4089446400 4194304 7136930 140736229371600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12071/statm: 136468 132941 398 719 0 135747 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 545872 [startup+642.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12137 /proc/meminfo: memFree=30854768/32950928 swapFree=67111528/67111528 [pid=12071] ppid=12069 vsize=586116 CPUtime=642.3 /proc/12071/stat : 12071 (pbscip.linux.x8) R 12069 12071 11381 0 -1 4202496 145369 0 0 0 62711 1519 0 0 25 0 1 0 131304446 600182784 143113 4089446400 4194304 7136930 140736229371600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12071/statm: 146529 143113 398 719 0 145808 0 Current children cumulated CPU time (s) 642.3 Current children cumulated vsize (KiB) 586116 [startup+702.301 s] ################ # More data... # ################ [startup+882.306 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12144 /proc/meminfo: memFree=30774580/32950928 swapFree=67111528/67111528 [pid=12071] ppid=12069 vsize=656216 CPUtime=882.32 /proc/12071/stat : 12071 (pbscip.linux.x8) R 12069 12071 11381 0 -1 4202496 162823 0 0 0 86401 1831 0 0 25 0 1 0 131304446 671965184 160567 4089446400 4194304 7136930 140736229371600 18446744073709551615 4409134 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12071/statm: 164054 160567 398 719 0 163333 0 Current children cumulated CPU time (s) 882.32 Current children cumulated vsize (KiB) 656216 [startup+942.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12145 /proc/meminfo: memFree=30765332/32950928 swapFree=67111528/67111528 [pid=12071] ppid=12069 vsize=665572 CPUtime=942.31 /proc/12071/stat : 12071 (pbscip.linux.x8) R 12069 12071 11381 0 -1 4202496 165118 0 0 0 92342 1889 0 0 25 0 1 0 131304446 681545728 162862 4089446400 4194304 7136930 140736229371600 18446744073709551615 4210097 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12071/statm: 166393 162862 398 719 0 165672 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 665572 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12147 /proc/meminfo: memFree=30748652/32950928 swapFree=67111528/67111528 [pid=12071] ppid=12069 vsize=682120 CPUtime=1002.31 /proc/12071/stat : 12071 (pbscip.linux.x8) R 12069 12071 11381 0 -1 4202496 169289 0 0 0 98259 1972 0 0 25 0 1 0 131304446 698490880 167033 4089446400 4194304 7136930 140736229371600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12071/statm: 170530 167033 398 719 0 169809 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 682120 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12152 /proc/meminfo: memFree=30705124/32950928 swapFree=67111528/67111528 [pid=12071] ppid=12069 vsize=723348 CPUtime=1062.31 /proc/12071/stat : 12071 (pbscip.linux.x8) R 12069 12071 11381 0 -1 4202496 179679 0 0 0 104108 2123 0 0 25 0 1 0 131304446 740708352 177423 4089446400 4194304 7136930 140736229371600 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12071/statm: 180837 177423 398 719 0 180116 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 723348 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12154 /proc/meminfo: memFree=30680972/32950928 swapFree=67111528/67111528 [pid=12071] ppid=12069 vsize=747720 CPUtime=1122.31 /proc/12071/stat : 12071 (pbscip.linux.x8) R 12069 12071 11381 0 -1 4202496 185751 0 0 0 110030 2201 0 0 25 0 1 0 131304446 765665280 183495 4089446400 4194304 7136930 140736229371600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12071/statm: 186930 183495 398 719 0 186209 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 747720 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12155 /proc/meminfo: memFree=30674200/32950928 swapFree=67111528/67111528 [pid=12071] ppid=12069 vsize=755868 CPUtime=1182.32 /proc/12071/stat : 12071 (pbscip.linux.x8) R 12069 12071 11381 0 -1 4202496 187670 0 0 0 115970 2262 0 0 25 0 1 0 131304446 774008832 185414 4089446400 4194304 7136930 140736229371600 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12071/statm: 188967 185414 398 719 0 188246 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 755868 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12156 /proc/meminfo: memFree=30672636/32950928 swapFree=67111528/67111528 [pid=12071] ppid=12069 vsize=755868 CPUtime=1242.32 /proc/12071/stat : 12071 (pbscip.linux.x8) R 12069 12071 11381 0 -1 4202496 187674 0 0 0 121858 2374 0 0 25 0 1 0 131304446 774008832 185418 4089446400 4194304 7136930 140736229371600 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12071/statm: 188967 185418 398 719 0 188246 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 755868 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12158 /proc/meminfo: memFree=30672680/32950928 swapFree=67111528/67111528 [pid=12071] ppid=12069 vsize=755868 CPUtime=1302.31 /proc/12071/stat : 12071 (pbscip.linux.x8) R 12069 12071 11381 0 -1 4202496 187674 0 0 0 127787 2444 0 0 25 0 1 0 131304446 774008832 185418 4089446400 4194304 7136930 140736229371600 18446744073709551615 5955580 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12071/statm: 188967 185418 398 719 0 188246 0 Current children cumulated CPU time (s) 1302.31 Current children cumulated vsize (KiB) 755868 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12160 /proc/meminfo: memFree=30672008/32950928 swapFree=67111528/67111528 [pid=12071] ppid=12069 vsize=756124 CPUtime=1362.32 /proc/12071/stat : 12071 (pbscip.linux.x8) R 12069 12071 11381 0 -1 4202496 187706 0 0 0 133651 2581 0 0 25 0 1 0 131304446 774270976 185450 4089446400 4194304 7136930 140736229371600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12071/statm: 189031 185450 398 719 0 188310 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 756124 [startup+1422.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12162 /proc/meminfo: memFree=30671836/32950928 swapFree=67111528/67111528 [pid=12071] ppid=12069 vsize=756124 CPUtime=1422.33 /proc/12071/stat : 12071 (pbscip.linux.x8) R 12069 12071 11381 0 -1 4202496 187707 0 0 0 139548 2685 0 0 25 0 1 0 131304446 774270976 185451 4089446400 4194304 7136930 140736229371600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12071/statm: 189031 185451 398 719 0 188310 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 756124 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12163 /proc/meminfo: memFree=30671264/32950928 swapFree=67111528/67111528 [pid=12071] ppid=12069 vsize=756124 CPUtime=1482.32 /proc/12071/stat : 12071 (pbscip.linux.x8) R 12069 12071 11381 0 -1 4202496 187720 0 0 0 145486 2746 0 0 25 0 1 0 131304446 774270976 185464 4089446400 4194304 7136930 140736229371600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12071/statm: 189031 185464 398 719 0 188310 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 756124 [startup+1542.31 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12164 /proc/meminfo: memFree=30671208/32950928 swapFree=67111528/67111528 [pid=12071] ppid=12069 vsize=756124 CPUtime=1542.33 /proc/12071/stat : 12071 (pbscip.linux.x8) R 12069 12071 11381 0 -1 4202496 187744 0 0 0 151421 2812 0 0 25 0 1 0 131304446 774270976 185488 4089446400 4194304 7136930 140736229371600 18446744073709551615 5955622 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12071/statm: 189031 185488 398 719 0 188310 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 756124 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12166 /proc/meminfo: memFree=30670800/32950928 swapFree=67111528/67111528 [pid=12071] ppid=12069 vsize=756124 CPUtime=1602.33 /proc/12071/stat : 12071 (pbscip.linux.x8) R 12069 12071 11381 0 -1 4202496 187775 0 0 0 157327 2906 0 0 25 0 1 0 131304446 774270976 185519 4089446400 4194304 7136930 140736229371600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12071/statm: 189031 185519 398 719 0 188310 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 756124 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12168 /proc/meminfo: memFree=30670616/32950928 swapFree=67111528/67111528 [pid=12071] ppid=12069 vsize=756124 CPUtime=1662.33 /proc/12071/stat : 12071 (pbscip.linux.x8) R 12069 12071 11381 0 -1 4202496 187775 0 0 0 163253 2980 0 0 25 0 1 0 131304446 774270976 185519 4089446400 4194304 7136930 140736229371600 18446744073709551615 4408902 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12071/statm: 189031 185519 398 719 0 188310 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 756124 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12170 /proc/meminfo: memFree=30670900/32950928 swapFree=67111528/67111528 [pid=12071] ppid=12069 vsize=755656 CPUtime=1722.33 /proc/12071/stat : 12071 (pbscip.linux.x8) R 12069 12071 11381 0 -1 4202496 187861 0 0 0 169209 3024 0 0 25 0 1 0 131304446 773791744 185349 4089446400 4194304 7136930 140736229371600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12071/statm: 188914 185349 398 719 0 188193 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 755656 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12171 /proc/meminfo: memFree=30670116/32950928 swapFree=67111528/67111528 [pid=12071] ppid=12069 vsize=755812 CPUtime=1782.33 /proc/12071/stat : 12071 (pbscip.linux.x8) R 12069 12071 11381 0 -1 4202496 187900 0 0 0 175144 3089 0 0 25 0 1 0 131304446 773951488 185388 4089446400 4194304 7136930 140736229371600 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12071/statm: 188953 185388 398 719 0 188232 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 755812 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12172 /proc/meminfo: memFree=30669852/32950928 swapFree=67111528/67111528 [pid=12071] ppid=12069 vsize=755812 CPUtime=1800.04 /proc/12071/stat : 12071 (pbscip.linux.x8) R 12069 12071 11381 0 -1 4202496 187900 0 0 0 176872 3132 0 0 25 0 1 0 131304446 773951488 185388 4089446400 4194304 7136930 140736229371600 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/12071/statm: 188953 185388 398 719 0 188232 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 755812 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12172 /proc/meminfo: memFree=30669852/32950928 swapFree=67111528/67111528 [pid=12071] ppid=12069 vsize=755552 CPUtime=1800.33 /proc/12071/stat : 12071 (pbscip.linux.x8) R 12069 12071 11381 0 -1 4202496 187905 0 0 0 176901 3132 0 0 25 0 1 0 131304446 773685248 185328 4089446400 4194304 7136930 140736229371600 18446744073709551615 6165648 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/12071/statm: 188888 185328 403 719 0 188167 0 Current children cumulated CPU time (s) 1800.33 Current children cumulated vsize (KiB) 755552 Child status: 0 Real time (s): 1800.36 CPU time (s): 1800.4 CPU user time (s): 1769.06 CPU system time (s): 31.3432 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 756124 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1769.06 system time used= 31.3432 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 187912 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= 17090 runsolver used 2.75758 second user time and 5.99109 second system time The end
Begin job on node125 at 2010-06-30 14:14:38 IDJOB=2694018 IDBENCH=78874 IDSOLVER=1206 FILE ID=node125/2694018-1277900078 PBS_JOBID= 11197175 Free space on /tmp= 74204 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111222257--soft-33-100-0.wbo COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2694018-1277900078/watcher-2694018-1277900078 -o /tmp/evaluation-result-2694018-1277900078/solver-2694018-1277900078 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2694018-1277900078.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= f911862f5398bb5461d300f11ba5c15b RANDOM SEED=1007865880 node125.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.822 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.64 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.822 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 : 5226.07 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.822 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.822 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.77 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.822 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.822 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.74 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.822 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.822 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 29569404 kB Buffers: 182988 kB Cached: 787904 kB SwapCached: 0 kB Active: 2692092 kB Inactive: 544260 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 29569404 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3304 kB Writeback: 0 kB AnonPages: 2264564 kB Mapped: 15144 kB Slab: 77872 kB PageTables: 9152 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 2409192 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74200 MiB End job on node125 at 2010-06-30 14:44:40