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.27 | 1800.26 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110970444--soft-66-100-0.wbo |
| MD5SUM | cabbc57a5ab962c45538fe46c723245f |
| 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 | 80 |
| Best CPU time to get the best result obtained on this benchmark | 0.156975 |
| 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 | 28 |
| 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 | 1415 |
| Min constraint cost | 1 |
| Max constraint cost | 98 |
| Sum of constraints costs | 1414 |
| Biggest number in a constraint | 38 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 1239 |
| 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-2693950-1277898270.wbo>
0.00/0.00 c original problem has 225 variables (197 bin, 0 int, 0 impl, 28 cont) and 130 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, 32 impls, 49 clqs
0.00/0.01 c (round 2) 0 del vars, 17 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 32 impls, 49 clqs
0.00/0.01 c (round 3) 1 del vars, 18 del conss, 27 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 32 impls, 49 clqs
0.00/0.01 c (round 4) 2 del vars, 18 del conss, 27 chg bounds, 1 chg sides, 0 chg coeffs, 58 upgd conss, 32 impls, 49 clqs
0.00/0.02 c (0.0s) probing: 101/196 (51.5%) - 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, 18 deleted constraints, 27 tightened bounds, 0 added holes, 1 changed sides, 0 changed coefficients
0.00/0.02 c 32 implications, 49 cliques
0.00/0.02 c presolved problem has 223 variables (196 bin, 0 int, 0 impl, 27 cont) and 112 constraints
0.00/0.02 c 27 constraints of type <indicator>
0.00/0.02 c 49 constraints of type <setppc>
0.00/0.02 c 27 constraints of type <linear>
0.00/0.02 c 9 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 | - | 730k| 0 | - | 223 | 112 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.12 o 164
0.09/0.12 c * 0.1s| 1435 | 1106 | 0 | 0.0 |1609k| 116 | - | 223 | 586 | 0 | 0 | 0 | 528 | 0 | 0.000000e+00 | 1.640000e+02 | Inf
1.10/1.15 o 81
1.10/1.15 c * 0.9s| 9563 | 5747 | 0 | 0.0 |6376k| 116 | - | 223 |4273 | 0 | 0 | 0 |6047 | 0 | 0.000000e+00 | 8.100000e+01 | Inf
1.10/1.19 c 0.9s| 10000 | 6117 | 0 | 0.0 |6453k| 116 | - | 223 |3896 | 0 | 0 | 0 |6106 | 0 | 0.000000e+00 | 8.100000e+01 | Inf
3.09/3.18 c 2.6s| 20000 | 10892 | 0 | 0.0 | 11M| 116 | - | 223 |7026 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
6.19/6.25 c 5.4s| 30000 | 13441 | 0 | 0.0 | 16M| 116 | - | 223 | 11k| 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
8.59/8.65 c 7.5s| 40000 | 17764 | 0 | 0.0 | 18M| 116 | - | 223 |3112 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
11.49/11.59 c 10.1s| 50000 | 19082 | 0 | 0.0 | 22M| 116 | - | 223 |6834 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
15.49/15.52 c 13.6s| 60000 | 19027 | 0 | 0.0 | 25M| 116 | - | 223 |9906 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
19.99/20.09 c 17.8s| 70000 | 18205 | 0 | 0.0 | 26M| 116 | - | 223 | 12k| 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
22.70/22.76 c 20.1s| 80000 | 22930 | 0 | 0.0 | 28M| 116 | - | 223 |6503 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
26.19/26.26 c 23.2s| 90000 | 24951 | 0 | 0.0 | 32M| 116 | - | 223 |9944 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
33.69/33.74 c 30.3s|100000 | 20188 | 0 | 0.0 | 31M| 116 | - | 223 | 18k| 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
43.09/43.16 c 39.4s|110000 | 17075 | 0 | 0.0 | 27M| 116 | - | 223 | 14k| 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
48.79/48.85 c 44.7s|120000 | 17721 | 0 | 0.0 | 28M| 116 | - | 223 | 12k| 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
54.69/54.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
54.69/54.73 c 50.2s|130000 | 17791 | 0 | 0.0 | 30M| 116 | - | 223 | 16k| 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | 8.100000e+01 | Inf
63.70/63.80 c 58.8s|140000 | 14215 | 0 | 0.0 | 25M| 116 | - | 223 | 20k| 0 | 0 | 0 | 158k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
73.19/73.21 c 67.9s|150000 | 12554 | 0 | 0.0 | 26M| 116 | - | 223 | 23k| 0 | 0 | 0 | 172k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
83.79/83.82 c 78.0s|160000 | 9536 | 0 | 0.0 | 25M| 116 | - | 223 | 27k| 0 | 0 | 0 | 186k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
96.89/96.92 c 90.7s|170000 | 5338 | 0 | 0.0 | 15M| 116 | - | 223 | 19k| 0 | 0 | 0 | 200k| 0 | 1.000000e+00 | 8.100000e+01 |8000.00%
98.78/98.90 c 92.4s|180000 | 13188 | 0 | 0.0 | 15M| 116 | - | 223 |5858 | 0 | 0 | 0 | 204k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
101.20/101.24 c 94.4s|190000 | 18430 | 0 | 0.0 | 19M| 116 | - | 223 |7730 | 0 | 0 | 0 | 211k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
103.29/103.31 c 96.2s|200000 | 24455 | 0 | 0.0 | 22M| 116 | - | 223 |5179 | 0 | 0 | 0 | 216k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
104.99/105.01 c 97.7s|210000 | 31229 | 0 | 0.0 | 26M| 116 | - | 223 |5551 | 0 | 0 | 0 | 221k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
106.99/107.01 c 99.3s|220000 | 37350 | 0 | 0.0 | 30M| 116 | - | 223 |6247 | 0 | 0 | 0 | 227k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
109.09/109.16 c 101s|230000 | 43190 | 0 | 0.0 | 34M| 116 | - | 223 |7387 | 0 | 0 | 0 | 234k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
111.79/111.80 c 104s|240000 | 48128 | 0 | 0.0 | 39M| 116 | - | 223 |8831 | 0 | 0 | 0 | 242k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
114.58/114.69 c 106s|250000 | 52856 | 0 | 0.0 | 43M| 116 | - | 223 |9652 | 0 | 0 | 0 | 250k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
117.89/117.97 c 109s|260000 | 56811 | 0 | 0.0 | 47M| 116 | - | 223 | 10k| 0 | 0 | 0 | 258k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
121.58/121.66 c 112s|270000 | 60073 | 0 | 0.0 | 51M| 116 | - | 223 | 11k| 0 | 0 | 0 | 266k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
126.58/126.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
126.58/126.62 c 117s|280000 | 61031 | 0 | 0.0 | 55M| 116 | - | 223 | 13k| 0 | 0 | 0 | 277k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
130.09/130.14 c 120s|290000 | 65927 | 0 | 0.0 | 57M| 116 | - | 223 | 10k| 0 | 0 | 0 | 283k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
133.39/133.42 c 123s|300000 | 70931 | 0 | 0.0 | 61M| 116 | - | 223 | 10k| 0 | 0 | 0 | 290k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
136.99/137.06 c 127s|310000 | 75506 | 0 | 0.0 | 65M| 116 | - | 223 | 11k| 0 | 0 | 0 | 298k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
140.99/141.08 c 130s|320000 | 79661 | 0 | 0.0 | 69M| 116 | - | 223 | 12k| 0 | 0 | 0 | 306k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
145.19/145.22 c 134s|330000 | 83749 | 0 | 0.0 | 73M| 116 | - | 223 | 13k| 0 | 0 | 0 | 315k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
149.78/149.85 c 138s|340000 | 87305 | 0 | 0.0 | 77M| 116 | - | 223 | 13k| 0 | 0 | 0 | 323k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
154.59/154.69 c 143s|350000 | 90585 | 0 | 0.0 | 81M| 116 | - | 223 | 13k| 0 | 0 | 0 | 332k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
159.89/159.91 c 148s|360000 | 93274 | 0 | 0.0 | 84M| 116 | - | 223 | 13k| 0 | 0 | 0 | 341k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
165.38/165.43 c 153s|370000 | 95442 | 0 | 0.0 | 88M| 116 | - | 223 | 14k| 0 | 0 | 0 | 351k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
171.59/171.65 c 159s|380000 | 96820 | 0 | 0.0 | 91M| 116 | - | 223 | 15k| 0 | 0 | 0 | 362k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
177.69/177.79 c 164s|390000 | 98274 | 0 | 0.0 | 95M| 116 | - | 223 | 15k| 0 | 0 | 0 | 372k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
184.59/184.61 c 171s|400000 | 99105 | 0 | 0.0 | 98M| 116 | - | 223 | 17k| 0 | 0 | 0 | 383k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
191.78/191.81 c 178s|410000 | 99716 | 0 | 0.0 | 101M| 116 | - | 223 | 17k| 0 | 0 | 0 | 394k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
199.38/199.42 c 185s|420000 | 99817 | 0 | 0.0 | 103M| 116 | - | 223 | 18k| 0 | 0 | 0 | 405k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
207.28/207.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
207.28/207.37 c 193s|430000 | 99493 | 0 | 0.0 | 106M| 116 | - | 223 | 19k| 0 | 0 | 0 | 417k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
216.48/216.60 c 201s|440000 | 97832 | 0 | 0.0 | 107M| 116 | - | 223 | 21k| 0 | 0 | 0 | 429k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
227.77/227.83 c 212s|450000 | 94174 | 0 | 0.0 | 106M| 116 | - | 223 | 23k| 0 | 0 | 0 | 442k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
236.28/236.32 c 220s|460000 | 96692 | 0 | 0.0 | 108M| 116 | - | 223 | 18k| 0 | 0 | 0 | 452k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
246.08/246.16 c 230s|470000 | 97216 | 0 | 0.0 | 111M| 116 | - | 223 | 18k| 0 | 0 | 0 | 464k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
256.97/257.00 c 240s|480000 | 96650 | 0 | 0.0 | 113M| 116 | - | 223 | 19k| 0 | 0 | 0 | 477k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
268.68/268.74 c 252s|490000 | 95396 | 0 | 0.0 | 115M| 116 | - | 223 | 19k| 0 | 0 | 0 | 490k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
281.17/281.22 c 264s|500000 | 93654 | 0 | 0.0 | 117M| 116 | - | 223 | 20k| 0 | 0 | 0 | 503k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
294.17/294.26 c 276s|510000 | 91594 | 0 | 0.0 | 119M| 116 | - | 223 | 21k| 0 | 0 | 0 | 517k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
308.87/308.96 c 291s|520000 | 88055 | 0 | 0.0 | 118M| 116 | - | 223 | 22k| 0 | 0 | 0 | 531k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
324.67/324.72 c 306s|530000 | 83896 | 0 | 0.0 | 117M| 116 | - | 223 | 23k| 0 | 0 | 0 | 546k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
341.97/342.09 c 323s|540000 | 78891 | 0 | 0.0 | 115M| 116 | - | 223 | 25k| 0 | 0 | 0 | 562k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
360.87/360.95 c 341s|550000 | 73000 | 0 | 0.0 | 112M| 116 | - | 223 | 27k| 0 | 0 | 0 | 578k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
381.37/381.47 c 361s|560000 | 65586 | 0 | 0.0 | 106M| 116 | - | 223 | 30k| 0 | 0 | 0 | 595k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
403.96/404.00 c 383s|570000 | 55765 | 0 | 0.0 | 92M| 116 | - | 223 | 32k| 0 | 0 | 0 | 612k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
430.86/430.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
430.86/430.95 c 410s|580000 | 48564 | 0 | 0.0 | 84M| 116 | - | 223 | 27k| 0 | 0 | 0 | 630k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
463.36/463.46 c 442s|590000 | 33515 | 0 | 0.0 | 63M| 116 | - | 223 | 33k| 0 | 0 | 0 | 652k| 0 | 6.000000e+00 | 8.100000e+01 |1250.00%
489.57/489.63 c 467s|600000 | 25637 | 0 | 0.0 | 44M| 116 | - | 223 | 21k| 0 | 0 | 0 | 668k| 0 | 1.200000e+01 | 8.100000e+01 | 575.00%
504.16/504.26 c 482s|610000 | 22305 | 0 | 0.0 | 42M| 116 | - | 223 | 21k| 0 | 0 | 0 | 682k| 0 | 1.200000e+01 | 8.100000e+01 | 575.00%
518.47/518.55 c 496s|620000 | 18760 | 0 | 0.0 | 41M| 116 | - | 223 | 24k| 0 | 0 | 0 | 695k| 0 | 1.200000e+01 | 8.100000e+01 | 575.00%
535.58/535.70 c 512s|630000 | 11784 | 0 | 0.0 | 30M| 116 | - | 223 | 19k| 0 | 0 | 0 | 710k| 0 | 1.200000e+01 | 8.100000e+01 | 575.00%
538.36/538.44 c 515s|640000 | 18015 | 0 | 0.0 | 28M| 116 | - | 223 |8890 | 0 | 0 | 0 | 715k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
540.17/540.29 c 516s|650000 | 25073 | 0 | 0.0 | 31M| 116 | - | 223 |6669 | 0 | 0 | 0 | 718k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
542.27/542.34 c 518s|660000 | 31511 | 0 | 0.0 | 36M| 116 | - | 223 |7849 | 0 | 0 | 0 | 722k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
545.16/545.22 c 521s|670000 | 36272 | 0 | 0.0 | 41M| 116 | - | 223 |9518 | 0 | 0 | 0 | 728k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
549.37/549.44 c 524s|680000 | 38435 | 0 | 0.0 | 45M| 116 | - | 223 | 11k| 0 | 0 | 0 | 736k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
552.76/552.80 c 527s|690000 | 43261 | 0 | 0.0 | 48M| 116 | - | 223 |8632 | 0 | 0 | 0 | 741k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
555.76/555.89 c 530s|700000 | 47925 | 0 | 0.0 | 52M| 116 | - | 223 |8948 | 0 | 0 | 0 | 746k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
559.37/559.41 c 533s|710000 | 51862 | 0 | 0.0 | 57M| 116 | - | 223 |9972 | 0 | 0 | 0 | 752k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
563.47/563.52 c 537s|720000 | 54870 | 0 | 0.0 | 61M| 116 | - | 223 | 11k| 0 | 0 | 0 | 759k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
568.26/568.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
568.26/568.34 c 542s|730000 | 56843 | 0 | 0.0 | 65M| 116 | - | 223 | 12k| 0 | 0 | 0 | 766k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
574.08/574.17 c 547s|740000 | 57313 | 0 | 0.0 | 68M| 116 | - | 223 | 13k| 0 | 0 | 0 | 775k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
581.06/581.12 c 554s|750000 | 56261 | 0 | 0.0 | 70M| 116 | - | 223 | 16k| 0 | 0 | 0 | 784k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
587.67/587.74 c 560s|760000 | 57234 | 0 | 0.0 | 69M| 116 | - | 223 | 10k| 0 | 0 | 0 | 792k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
591.46/591.57 c 563s|770000 | 61133 | 0 | 0.0 | 73M| 116 | - | 223 |9127 | 0 | 0 | 0 | 797k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
595.97/596.04 c 567s|780000 | 63360 | 0 | 0.0 | 76M| 116 | - | 223 |9769 | 0 | 0 | 0 | 804k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
601.58/601.61 c 573s|790000 | 63814 | 0 | 0.0 | 79M| 116 | - | 223 | 10k| 0 | 0 | 0 | 811k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
608.57/608.64 c 579s|800000 | 62189 | 0 | 0.0 | 80M| 116 | - | 223 | 12k| 0 | 0 | 0 | 821k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
616.87/616.93 c 587s|810000 | 58806 | 0 | 0.0 | 79M| 116 | - | 223 | 14k| 0 | 0 | 0 | 831k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
626.17/626.21 c 596s|820000 | 54704 | 0 | 0.0 | 73M| 116 | - | 223 | 12k| 0 | 0 | 0 | 841k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
633.87/633.97 c 603s|830000 | 52411 | 0 | 0.0 | 73M| 116 | - | 223 | 11k| 0 | 0 | 0 | 850k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
644.27/644.31 c 613s|840000 | 46907 | 0 | 0.0 | 70M| 116 | - | 223 | 14k| 0 | 0 | 0 | 861k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
654.37/654.49 c 623s|850000 | 43148 | 0 | 0.0 | 62M| 116 | - | 223 | 12k| 0 | 0 | 0 | 871k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
659.97/660.03 c 628s|860000 | 44233 | 0 | 0.0 | 62M| 116 | - | 223 | 12k| 0 | 0 | 0 | 879k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
665.27/665.30 c 633s|870000 | 46480 | 0 | 0.0 | 59M| 116 | - | 223 |9968 | 0 | 0 | 0 | 885k| 0 | 1.300000e+01 | 8.100000e+01 | 523.08%
667.87/667.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
667.87/667.92 c 635s|880000 | 52684 | 0 | 0.0 | 63M| 116 | - | 223 | 11k| 0 | 0 | 0 | 890k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
671.37/671.49 c 638s|890000 | 57440 | 0 | 0.0 | 67M| 116 | - | 223 | 13k| 0 | 0 | 0 | 897k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
677.07/677.20 c 644s|900000 | 59321 | 0 | 0.0 | 71M| 116 | - | 223 | 16k| 0 | 0 | 0 | 907k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
682.68/682.78 c 649s|910000 | 61033 | 0 | 0.0 | 70M| 116 | - | 223 |8112 | 0 | 0 | 0 | 915k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
685.87/685.94 c 652s|920000 | 65906 | 0 | 0.0 | 75M| 116 | - | 223 | 10k| 0 | 0 | 0 | 921k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
690.77/690.87 c 656s|930000 | 69015 | 0 | 0.0 | 80M| 116 | - | 223 | 14k| 0 | 0 | 0 | 930k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
697.47/697.57 c 663s|940000 | 70839 | 0 | 0.0 | 84M| 116 | - | 223 | 17k| 0 | 0 | 0 | 941k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
705.38/705.41 c 670s|950000 | 71912 | 0 | 0.0 | 88M| 116 | - | 223 | 19k| 0 | 0 | 0 | 953k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
713.78/713.83 c 678s|960000 | 72914 | 0 | 0.0 | 91M| 116 | - | 223 | 20k| 0 | 0 | 0 | 964k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
722.77/722.88 c 687s|970000 | 73162 | 0 | 0.0 | 93M| 116 | - | 223 | 22k| 0 | 0 | 0 | 974k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
734.57/734.64 c 698s|980000 | 71509 | 0 | 0.0 | 90M| 116 | - | 223 | 12k| 0 | 0 | 0 | 985k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
740.67/740.77 c 704s|990000 | 72035 | 0 | 0.0 | 91M| 116 | - | 223 | 11k| 0 | 0 | 0 | 996k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
749.27/749.33 c 712s| 1000k| 71330 | 0 | 0.0 | 95M| 116 | - | 223 | 17k| 0 | 0 | 0 |1009k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
763.07/763.16 c 726s| 1010k| 68658 | 0 | 0.0 | 97M| 116 | - | 223 | 26k| 0 | 0 | 0 |1024k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
781.77/781.89 c 744s| 1020k| 65053 | 0 | 0.0 | 97M| 116 | - | 223 | 33k| 0 | 0 | 0 |1039k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
802.48/802.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
802.48/802.56 c 764s| 1030k| 60831 | 0 | 0.0 | 95M| 116 | - | 223 | 35k| 0 | 0 | 0 |1053k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
822.48/822.53 c 783s| 1040k| 56142 | 0 | 0.0 | 84M| 116 | - | 223 | 13k| 0 | 0 | 0 |1067k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
830.38/830.48 c 791s| 1050k| 54643 | 0 | 0.0 | 82M| 116 | - | 223 | 15k| 0 | 0 | 0 |1081k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
841.88/841.92 c 802s| 1060k| 51609 | 0 | 0.0 | 74M| 116 | - | 223 | 14k| 0 | 0 | 0 |1094k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
845.89/845.93 c 806s| 1070k| 56565 | 0 | 0.0 | 76M| 116 | - | 223 | 11k| 0 | 0 | 0 |1100k| 0 | 1.700000e+01 | 8.100000e+01 | 376.47%
852.97/853.00 c 812s| 1080k| 56203 | 0 | 0.0 | 76M| 116 | - | 223 | 15k| 0 | 0 | 0 |1113k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
860.19/860.25 c 819s| 1090k| 58770 | 0 | 0.0 | 79M| 116 | - | 223 | 15k| 0 | 0 | 0 |1124k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
869.48/869.51 c 828s| 1100k| 58608 | 0 | 0.0 | 83M| 116 | - | 223 | 17k| 0 | 0 | 0 |1139k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
879.48/879.57 c 838s| 1110k| 57825 | 0 | 0.0 | 86M| 116 | - | 223 | 20k| 0 | 0 | 0 |1152k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
890.88/890.99 c 849s| 1120k| 57298 | 0 | 0.0 | 85M| 116 | - | 223 | 17k| 0 | 0 | 0 |1164k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
900.78/900.87 c 858s| 1130k| 56955 | 0 | 0.0 | 84M| 116 | - | 223 | 15k| 0 | 0 | 0 |1177k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
911.18/911.22 c 868s| 1140k| 54703 | 0 | 0.0 | 81M| 116 | - | 223 | 17k| 0 | 0 | 0 |1190k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
923.58/923.69 c 880s| 1150k| 52263 | 0 | 0.0 | 83M| 116 | - | 223 | 21k| 0 | 0 | 0 |1207k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
940.89/940.99 c 897s| 1160k| 45876 | 0 | 0.0 | 76M| 116 | - | 223 | 26k| 0 | 0 | 0 |1225k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
957.18/957.20 c 913s| 1170k| 43646 | 0 | 0.0 | 73M| 116 | - | 223 | 21k| 0 | 0 | 0 |1240k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
971.28/971.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
971.28/971.38 c 927s| 1180k| 40588 | 0 | 0.0 | 70M| 116 | - | 223 | 21k| 0 | 0 | 0 |1253k| 0 | 2.000000e+01 | 8.100000e+01 | 305.00%
987.68/987.74 c 943s| 1190k| 32456 | 0 | 0.0 | 58M| 116 | - | 223 | 21k| 0 | 0 | 0 |1271k| 0 | 2.300000e+01 | 8.100000e+01 | 252.17%
991.88/991.94 c 946s| 1200k| 37429 | 0 | 0.0 | 56M| 116 | - | 223 | 10k| 0 | 0 | 0 |1277k| 0 | 2.300000e+01 | 8.100000e+01 | 252.17%
994.49/994.50 c 949s| 1210k| 43398 | 0 | 0.0 | 57M| 116 | - | 223 |8524 | 0 | 0 | 0 |1282k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
996.98/997.08 c 951s| 1220k| 49370 | 0 | 0.0 | 61M| 116 | - | 223 | 10k| 0 | 0 | 0 |1288k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1001.68/1001.75 c 955s| 1230k| 51936 | 0 | 0.0 | 66M| 116 | - | 223 | 13k| 0 | 0 | 0 |1298k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1007.49/1007.57 c 961s| 1240k| 53755 | 0 | 0.0 | 67M| 116 | - | 223 | 12k| 0 | 0 | 0 |1308k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1011.58/1011.61 c 965s| 1250k| 58632 | 0 | 0.0 | 71M| 116 | - | 223 | 12k| 0 | 0 | 0 |1315k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1016.98/1017.00 c 970s| 1260k| 61511 | 0 | 0.0 | 75M| 116 | - | 223 | 14k| 0 | 0 | 0 |1324k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1023.68/1023.74 c 976s| 1270k| 63114 | 0 | 0.0 | 79M| 116 | - | 223 | 17k| 0 | 0 | 0 |1335k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1031.89/1031.99 c 984s| 1280k| 63589 | 0 | 0.0 | 83M| 116 | - | 223 | 19k| 0 | 0 | 0 |1347k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1041.99/1042.08 c 994s| 1290k| 62224 | 0 | 0.0 | 83M| 116 | - | 223 | 22k| 0 | 0 | 0 |1360k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1052.28/1052.36 c 1004s| 1300k| 62943 | 0 | 0.0 | 86M| 116 | - | 223 | 18k| 0 | 0 | 0 |1371k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1063.18/1063.22 c 1014s| 1310k| 61941 | 0 | 0.0 | 88M| 116 | - | 223 | 20k| 0 | 0 | 0 |1383k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1076.38/1076.43 c 1027s| 1320k| 58735 | 0 | 0.0 | 87M| 116 | - | 223 | 23k| 0 | 0 | 0 |1397k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1092.49/1092.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1092.49/1092.58 c 1043s| 1330k| 53389 | 0 | 0.0 | 83M| 116 | - | 223 | 25k| 0 | 0 | 0 |1412k| 0 | 2.400000e+01 | 8.100000e+01 | 237.50%
1111.99/1112.10 c 1062s| 1340k| 45100 | 0 | 0.0 | 68M| 116 | - | 223 | 17k| 0 | 0 | 0 |1428k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1117.09/1117.17 c 1067s| 1350k| 48635 | 0 | 0.0 | 68M| 116 | - | 223 |6950 | 0 | 0 | 0 |1435k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1122.39/1122.43 c 1072s| 1360k| 49288 | 0 | 0.0 | 69M| 116 | - | 223 |8804 | 0 | 0 | 0 |1445k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1128.08/1128.14 c 1077s| 1370k| 49980 | 0 | 0.0 | 70M| 116 | - | 223 |6856 | 0 | 0 | 0 |1455k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1133.58/1133.65 c 1082s| 1380k| 50851 | 0 | 0.0 | 73M| 116 | - | 223 |8986 | 0 | 0 | 0 |1465k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1139.49/1139.57 c 1088s| 1390k| 51491 | 0 | 0.0 | 74M| 116 | - | 223 | 11k| 0 | 0 | 0 |1476k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1145.89/1145.90 c 1094s| 1400k| 51988 | 0 | 0.0 | 75M| 116 | - | 223 | 10k| 0 | 0 | 0 |1486k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1151.28/1151.33 c 1099s| 1410k| 54289 | 0 | 0.0 | 76M| 116 | - | 223 | 12k| 0 | 0 | 0 |1495k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1155.79/1155.88 c 1103s| 1420k| 58318 | 0 | 0.0 | 80M| 116 | - | 223 | 15k| 0 | 0 | 0 |1503k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1161.60/1161.62 c 1109s| 1430k| 61140 | 0 | 0.0 | 84M| 116 | - | 223 | 18k| 0 | 0 | 0 |1512k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1168.10/1168.18 c 1115s| 1440k| 62370 | 0 | 0.0 | 83M| 116 | - | 223 | 11k| 0 | 0 | 0 |1522k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1172.98/1173.05 c 1120s| 1450k| 65979 | 0 | 0.0 | 87M| 116 | - | 223 | 16k| 0 | 0 | 0 |1531k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1179.69/1179.73 c 1126s| 1460k| 68505 | 0 | 0.0 | 92M| 116 | - | 223 | 20k| 0 | 0 | 0 |1542k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1188.79/1188.88 c 1135s| 1470k| 69467 | 0 | 0.0 | 95M| 116 | - | 223 | 24k| 0 | 0 | 0 |1553k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1202.69/1202.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1202.69/1202.76 c 1149s| 1480k| 66823 | 0 | 0.0 | 97M| 116 | - | 223 | 27k| 0 | 0 | 0 |1568k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1209.69/1209.74 c 1155s| 1490k| 70803 | 0 | 0.0 | 93M| 116 | - | 223 |8997 | 0 | 0 | 0 |1574k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1214.89/1214.97 c 1160s| 1500k| 71845 | 0 | 0.0 | 96M| 116 | - | 223 | 13k| 0 | 0 | 0 |1587k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1225.49/1225.58 c 1171s| 1510k| 69972 | 0 | 0.0 | 100M| 116 | - | 223 | 21k| 0 | 0 | 0 |1603k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1244.60/1244.63 c 1189s| 1520k| 63218 | 0 | 0.0 | 96M| 116 | - | 223 | 30k| 0 | 0 | 0 |1621k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1250.59/1250.65 c 1195s| 1530k| 68845 | 0 | 0.0 | 92M| 116 | - | 223 | 10k| 0 | 0 | 0 |1626k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1253.29/1253.36 c 1198s| 1540k| 75049 | 0 | 0.0 | 95M| 116 | - | 223 |9959 | 0 | 0 | 0 |1631k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1256.69/1256.74 c 1201s| 1550k| 80194 | 0 | 0.0 | 100M| 116 | - | 223 | 11k| 0 | 0 | 0 |1638k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1261.00/1261.03 c 1205s| 1560k| 84074 | 0 | 0.0 | 104M| 116 | - | 223 | 12k| 0 | 0 | 0 |1646k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1269.79/1269.89 c 1213s| 1570k| 80963 | 0 | 0.0 | 103M| 116 | - | 223 | 18k| 0 | 0 | 0 |1662k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1276.00/1276.05 c 1219s| 1580k| 84528 | 0 | 0.0 | 100M| 116 | - | 223 | 11k| 0 | 0 | 0 |1670k| 0 | 3.000000e+01 | 8.100000e+01 | 170.00%
1280.20/1280.29 c 1223s| 1590k| 88765 | 0 | 0.0 | 104M| 116 | - | 223 | 11k| 0 | 0 | 0 |1677k| 0 | 3.200000e+01 | 8.100000e+01 | 153.12%
1285.09/1285.14 c 1228s| 1600k| 92246 | 0 | 0.0 | 108M| 116 | - | 223 | 13k| 0 | 0 | 0 |1685k| 0 | 3.200000e+01 | 8.100000e+01 | 153.12%
1291.19/1291.25 c 1234s| 1610k| 94772 | 0 | 0.0 | 112M| 116 | - | 223 | 15k| 0 | 0 | 0 |1694k| 0 | 3.200000e+01 | 8.100000e+01 | 153.12%
1298.19/1298.25 c 1240s| 1620k| 96629 | 0 | 0.0 | 115M| 116 | - | 223 | 17k| 0 | 0 | 0 |1704k| 0 | 3.200000e+01 | 8.100000e+01 | 153.12%
1305.79/1305.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1305.79/1305.87 c 1248s| 1630k| 97877 | 0 | 0.0 | 118M| 116 | - | 223 | 19k| 0 | 0 | 0 |1714k| 0 | 3.200000e+01 | 8.100000e+01 | 153.12%
1314.20/1314.24 c 1256s| 1640k| 98387 | 0 | 0.0 | 121M| 116 | - | 223 | 22k| 0 | 0 | 0 |1724k| 0 | 3.200000e+01 | 8.100000e+01 | 153.12%
1325.89/1325.98 c 1267s| 1650k| 95885 | 0 | 0.0 | 121M| 116 | - | 223 | 24k| 0 | 0 | 0 |1738k| 0 | 3.200000e+01 | 8.100000e+01 | 153.12%
1334.80/1334.82 c 1276s| 1660k| 98147 | 0 | 0.0 | 123M| 116 | - | 223 | 16k| 0 | 0 | 0 |1748k| 0 | 3.200000e+01 | 8.100000e+01 | 153.12%
1344.50/1344.60 c 1285s| 1670k| 97931 | 0 | 0.0 | 126M| 116 | - | 223 | 17k| 0 | 0 | 0 |1761k| 0 | 3.200000e+01 | 8.100000e+01 | 153.12%
1356.69/1356.72 c 1297s| 1680k| 95897 | 0 | 0.0 | 128M| 116 | - | 223 | 20k| 0 | 0 | 0 |1775k| 0 | 3.200000e+01 | 8.100000e+01 | 153.12%
1371.29/1371.39 c 1311s| 1690k| 92361 | 0 | 0.0 | 128M| 116 | - | 223 | 25k| 0 | 0 | 0 |1790k| 0 | 3.200000e+01 | 8.100000e+01 | 153.12%
1388.11/1388.17 c 1328s| 1700k| 88536 | 0 | 0.0 | 127M| 116 | - | 223 | 28k| 0 | 0 | 0 |1804k| 0 | 3.200000e+01 | 8.100000e+01 | 153.12%
1408.30/1408.30 c 1347s| 1710k| 82699 | 0 | 0.0 | 124M| 116 | - | 223 | 33k| 0 | 0 | 0 |1819k| 0 | 3.200000e+01 | 8.100000e+01 | 153.12%
1420.40/1420.47 c 1359s| 1720k| 83300 | 0 | 0.0 | 118M| 116 | - | 223 | 14k| 0 | 0 | 0 |1831k| 0 | 3.200000e+01 | 8.100000e+01 | 153.12%
1429.20/1429.29 c 1368s| 1730k| 83104 | 0 | 0.0 | 119M| 116 | - | 223 | 16k| 0 | 0 | 0 |1843k| 0 | 3.200000e+01 | 8.100000e+01 | 153.12%
1440.50/1440.56 c 1379s| 1740k| 80088 | 0 | 0.0 | 118M| 116 | - | 223 | 17k| 0 | 0 | 0 |1858k| 0 | 3.200000e+01 | 8.100000e+01 | 153.12%
1460.30/1460.37 c 1398s| 1750k| 70126 | 0 | 0.0 | 107M| 116 | - | 223 | 24k| 0 | 0 | 0 |1877k| 0 | 3.200000e+01 | 8.100000e+01 | 153.12%
1468.30/1468.33 c 1406s| 1760k| 72059 | 0 | 0.0 | 101M| 116 | - | 223 | 11k| 0 | 0 | 0 |1886k| 0 | 3.200000e+01 | 8.100000e+01 | 153.12%
1475.80/1475.87 c 1413s| 1770k| 71728 | 0 | 0.0 | 101M| 116 | - | 223 | 14k| 0 | 0 | 0 |1898k| 0 | 3.200000e+01 | 8.100000e+01 | 153.12%
1484.50/1484.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1484.50/1484.55 c 1422s| 1780k| 70562 | 0 | 0.0 | 98M| 116 | - | 223 | 14k| 0 | 0 | 0 |1910k| 0 | 3.200000e+01 | 8.100000e+01 | 153.12%
1490.40/1490.42 c 1427s| 1790k| 71744 | 0 | 0.0 | 98M| 116 | - | 223 |9043 | 0 | 0 | 0 |1918k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1494.00/1494.09 c 1431s| 1800k| 76152 | 0 | 0.0 | 99M| 116 | - | 223 |7785 | 0 | 0 | 0 |1924k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1497.30/1497.30 c 1434s| 1810k| 81000 | 0 | 0.0 | 104M| 116 | - | 223 | 10k| 0 | 0 | 0 |1932k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1502.61/1502.64 c 1439s| 1820k| 83528 | 0 | 0.0 | 107M| 116 | - | 223 | 13k| 0 | 0 | 0 |1942k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1510.20/1510.22 c 1446s| 1830k| 83507 | 0 | 0.0 | 109M| 116 | - | 223 | 15k| 0 | 0 | 0 |1954k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1518.50/1518.54 c 1454s| 1840k| 82189 | 0 | 0.0 | 109M| 116 | - | 223 | 11k| 0 | 0 | 0 |1965k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1526.50/1526.52 c 1462s| 1850k| 81444 | 0 | 0.0 | 109M| 116 | - | 223 | 11k| 0 | 0 | 0 |1976k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1531.20/1531.29 c 1466s| 1860k| 84585 | 0 | 0.0 | 112M| 116 | - | 223 |9354 | 0 | 0 | 0 |1985k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1538.20/1538.24 c 1473s| 1870k| 84168 | 0 | 0.0 | 113M| 116 | - | 223 | 12k| 0 | 0 | 0 |1997k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1544.80/1544.80 c 1479s| 1880k| 85032 | 0 | 0.0 | 112M| 116 | - | 223 | 10k| 0 | 0 | 0 |2008k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1548.30/1548.38 c 1482s| 1890k| 90107 | 0 | 0.0 | 116M| 116 | - | 223 | 11k| 0 | 0 | 0 |2014k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1553.60/1553.63 c 1487s| 1900k| 93216 | 0 | 0.0 | 121M| 116 | - | 223 | 14k| 0 | 0 | 0 |2024k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1560.70/1560.70 c 1494s| 1910k| 95283 | 0 | 0.0 | 125M| 116 | - | 223 | 18k| 0 | 0 | 0 |2035k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1570.70/1570.73 c 1504s| 1920k| 95328 | 0 | 0.0 | 128M| 116 | - | 223 | 22k| 0 | 0 | 0 |2047k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1584.41/1584.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1584.41/1584.45 c 1517s| 1930k| 92880 | 0 | 0.0 | 129M| 116 | - | 223 | 25k| 0 | 0 | 0 |2062k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1599.50/1599.53 c 1532s| 1940k| 88975 | 0 | 0.0 | 123M| 116 | - | 223 | 17k| 0 | 0 | 0 |2075k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1608.40/1608.40 c 1541s| 1950k| 89088 | 0 | 0.0 | 123M| 116 | - | 223 | 11k| 0 | 0 | 0 |2087k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1618.01/1618.06 c 1550s| 1960k| 86705 | 0 | 0.0 | 123M| 116 | - | 223 | 13k| 0 | 0 | 0 |2102k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1625.41/1625.45 c 1557s| 1970k| 87177 | 0 | 0.0 | 123M| 116 | - | 223 | 14k| 0 | 0 | 0 |2113k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1632.61/1632.69 c 1564s| 1980k| 88872 | 0 | 0.0 | 127M| 116 | - | 223 | 18k| 0 | 0 | 0 |2124k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1644.81/1644.83 c 1576s| 1990k| 87465 | 0 | 0.0 | 130M| 116 | - | 223 | 23k| 0 | 0 | 0 |2138k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1662.60/1662.64 c 1593s| 2000k| 83469 | 0 | 0.0 | 130M| 116 | - | 223 | 29k| 0 | 0 | 0 |2154k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1689.41/1689.40 c 1620s| 2010k| 74884 | 0 | 0.0 | 118M| 116 | - | 223 | 23k| 0 | 0 | 0 |2173k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1706.41/1706.40 c 1636s| 2020k| 68901 | 0 | 0.0 | 110M| 116 | - | 223 | 17k| 0 | 0 | 0 |2189k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1719.61/1719.66 c 1649s| 2030k| 63408 | 0 | 0.0 | 105M| 116 | - | 223 | 21k| 0 | 0 | 0 |2206k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1727.90/1727.91 c 1657s| 2040k| 65223 | 0 | 0.0 | 98M| 116 | - | 223 |9208 | 0 | 0 | 0 |2215k| 0 | 3.600000e+01 | 8.100000e+01 | 125.00%
1731.51/1731.52 c 1661s| 2050k| 69102 | 0 | 0.0 | 99M| 116 | - | 223 |7090 | 0 | 0 | 0 |2223k| 0 | 3.700000e+01 | 8.100000e+01 | 118.92%
1733.81/1733.86 c 1663s| 2060k| 75223 | 0 | 0.0 | 101M| 116 | - | 223 |5719 | 0 | 0 | 0 |2228k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
1736.21/1736.24 c 1665s| 2070k| 81119 | 0 | 0.0 | 106M| 116 | - | 223 |7673 | 0 | 0 | 0 |2233k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
1740.01/1740.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1740.01/1740.00 c 1668s| 2080k| 84947 | 0 | 0.0 | 111M| 116 | - | 223 | 10k| 0 | 0 | 0 |2241k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
1745.20/1745.27 c 1673s| 2090k| 87492 | 0 | 0.0 | 115M| 116 | - | 223 | 13k| 0 | 0 | 0 |2251k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
1750.41/1750.41 c 1678s| 2100k| 90770 | 0 | 0.0 | 116M| 116 | - | 223 |7671 | 0 | 0 | 0 |2259k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
1754.21/1754.21 c 1682s| 2110k| 93725 | 0 | 0.0 | 120M| 116 | - | 223 |9238 | 0 | 0 | 0 |2268k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
1762.12/1762.11 c 1689s| 2120k| 90924 | 0 | 0.0 | 119M| 116 | - | 223 | 13k| 0 | 0 | 0 |2283k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
1770.91/1771.00 c 1698s| 2130k| 90218 | 0 | 0.0 | 118M| 116 | - | 223 | 16k| 0 | 0 | 0 |2295k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
1774.91/1774.93 c 1702s| 2140k| 96504 | 0 | 0.0 | 121M| 116 | - | 223 | 11k| 0 | 0 | 0 |2300k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
1779.41/1779.44 c 1706s| 2150k|100838 | 0 | 0.0 | 125M| 116 | - | 223 | 12k| 0 | 0 | 0 |2308k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
1785.51/1785.56 c 1712s| 2160k|103254 | 0 | 0.0 | 130M| 116 | - | 223 | 14k| 0 | 0 | 0 |2318k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
1793.61/1793.67 c 1719s| 2170k|103828 | 0 | 0.0 | 134M| 116 | - | 223 | 17k| 0 | 0 | 0 |2329k| 0 | 4.000000e+01 | 8.100000e+01 | 102.50%
1800.01/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.01/1800.00 c
1800.01/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.00 c Solving Time (sec) : 1725.30
1800.01/1800.00 c Solving Nodes : 2176618
1800.01/1800.00 c Primal Bound : +8.10000000000000e+01 (2 solutions)
1800.01/1800.00 c Dual Bound : +4.00000000000000e+01
1800.01/1800.00 c Gap : 102.50 %
1800.01/1800.00 s SATISFIABLE
1800.01/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.01/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.01/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.01/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.01/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 -x56
1800.01/1800.00 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
1800.01/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.01/1800.00 v -x4 -x3 -x2 -x1
1800.01/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.00 c Solving Time : 1725.30
1800.01/1800.00 c Original Problem :
1800.01/1800.00 c Problem name : HOME/instance-2693950-1277898270.wbo
1800.01/1800.00 c Variables : 225 (197 binary, 0 integer, 0 implicit integer, 28 continuous)
1800.01/1800.00 c Constraints : 130 initial, 130 maximal
1800.01/1800.00 c Presolved Problem :
1800.01/1800.00 c Problem name : t_HOME/instance-2693950-1277898270.wbo
1800.01/1800.00 c Variables : 223 (196 binary, 0 integer, 0 implicit integer, 27 continuous)
1800.01/1800.00 c Constraints : 112 initial, 37117 maximal
1800.01/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.01/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.00 c dualfix : 0.00 2 0 0 0 0 0 0 0
1800.01/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.00 c probing : 0.01 0 0 0 0 0 0 0 0
1800.01/1800.00 c indicator : 0.00 0 0 0 0 0 1 0 0
1800.01/1800.00 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.00 c linear : 0.00 0 0 0 27 0 17 1 0
1800.01/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.00 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.00 c root node : - 5 - - 10 - - - -
1800.01/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.01/1800.00 c integral : 0 0 0 0 0 0 0 0 0 0
1800.01/1800.00 c indicator : 27 0 6513578 0 1352508 139 231086 0 0 0
1800.01/1800.00 c setppc : 49 0 6776116 0 1402088 142312 14147822 0 0 0
1800.01/1800.00 c linear : 27 0 6633804 0 1402088 403153 25573442 0 0 0
1800.01/1800.00 c logicor : 9+ 0 3622764 0 1401799 569580 2052718 0 0 0
1800.01/1800.00 c bounddisjunction : 0+ 0 56832 0 0 0 1323 0 0 0
1800.01/1800.00 c countsols : 0 0 0 0 1402090 0 0 0 0 0
1800.01/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.01/1800.00 c integral : 0.00 0.00 0.00 0.00 0.00
1800.01/1800.00 c indicator : 0.86 0.00 0.38 0.00 0.48
1800.01/1800.00 c setppc : 34.77 0.00 28.01 0.00 6.76
1800.01/1800.00 c linear : 89.82 0.00 89.63 0.00 0.19
1800.01/1800.00 c logicor : 794.02 0.00 793.22 0.00 0.80
1800.01/1800.00 c bounddisjunction : 0.03 0.00 0.03 0.00 0.00
1800.01/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.01/1800.00 c Propagators : Time Calls Cutoffs DomReds
1800.01/1800.00 c vbounds : 0.00 2 0 0
1800.01/1800.00 c rootredcost : 0.00 0 0 0
1800.01/1800.00 c pseudoobj : 4.77 6776113 56 142739
1800.01/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.01/1800.00 c propagation : 44.54 1115101 1115017 5577419 20.2 222107 14.6 -
1800.01/1800.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.00 c pseudo solution : 0.00 16 16 33 5.5 3 13.0 -
1800.01/1800.00 c applied globally : - - - 2328216 16.1 - - -
1800.01/1800.00 c applied locally : - - - 9594 34.1 - - -
1800.01/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.01/1800.00 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.01/1800.00 c redcost : 0.00 0 0 0 0 0
1800.01/1800.00 c impliedbounds : 0.00 0 0 0 0 0
1800.01/1800.00 c intobj : 0.00 0 0 0 0 0
1800.01/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.01/1800.00 c gomory : 0.00 0 0 0 0 0
1800.01/1800.00 c strongcg : 0.00 0 0 0 0 0
1800.01/1800.00 c cmir : 0.00 0 0 0 0 0
1800.01/1800.00 c flowcover : 0.00 0 0 0 0 0
1800.01/1800.00 c clique : 0.00 0 0 0 0 0
1800.01/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.01/1800.00 c mcf : 0.00 0 0 0 0 0
1800.01/1800.00 c rapidlearning : 0.00 0 0 0 0 0
1800.01/1800.00 c Pricers : Time Calls Vars
1800.01/1800.00 c problem variables: 0.00 0 0
1800.01/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.01/1800.00 c relpscost : 0.00 0 0 0 0 0 0
1800.01/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.01/1800.00 c inference : 8.88 1402088 0 0 0 0 2804176
1800.01/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.01/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.01/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.00 c random : 0.00 0 0 0 0 0 0
1800.01/1800.00 c Primal Heuristics : Time Calls Found
1800.01/1800.00 c LP solutions : 0.00 - 0
1800.01/1800.00 c pseudo solutions : 0.00 - 2
1800.01/1800.00 c oneopt : 0.07 0 0
1800.01/1800.00 c trivial : 0.00 2 0
1800.01/1800.00 c simplerounding : 0.00 0 0
1800.01/1800.00 c zirounding : 0.00 0 0
1800.01/1800.00 c rounding : 0.00 0 0
1800.01/1800.00 c shifting : 0.00 0 0
1800.01/1800.00 c intshifting : 0.00 0 0
1800.01/1800.00 c twoopt : 0.00 0 0
1800.01/1800.00 c fixandinfer : 0.00 0 0
1800.01/1800.00 c feaspump : 0.00 0 0
1800.01/1800.00 c coefdiving : 0.00 0 0
1800.01/1800.00 c pscostdiving : 0.00 0 0
1800.01/1800.00 c fracdiving : 0.00 0 0
1800.01/1800.00 c veclendiving : 0.00 0 0
1800.01/1800.00 c intdiving : 0.00 0 0
1800.01/1800.00 c actconsdiving : 0.00 0 0
1800.01/1800.00 c objpscostdiving : 0.00 0 0
1800.01/1800.00 c rootsoldiving : 0.00 0 0
1800.01/1800.00 c linesearchdiving : 0.00 0 0
1800.01/1800.00 c guideddiving : 0.00 0 0
1800.01/1800.00 c octane : 0.00 0 0
1800.01/1800.00 c rens : 0.00 0 0
1800.01/1800.00 c rins : 0.00 0 0
1800.01/1800.00 c localbranching : 0.00 0 0
1800.01/1800.00 c mutation : 0.00 0 0
1800.01/1800.00 c crossover : 0.00 0 0
1800.01/1800.00 c dins : 0.00 0 0
1800.01/1800.00 c undercover : 0.00 0 0
1800.01/1800.00 c nlp : 0.01 0 0
1800.01/1800.00 c trysol : 0.00 1 0
1800.01/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.01/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.01/1800.00 c dual LP : 0.00 0 0 0.00 -
1800.01/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.01/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.01/1800.00 c diving/probing LP: 0.00 0 0 0.00 -
1800.01/1800.00 c strong branching : 0.00 0 0 0.00 -
1800.01/1800.00 c (at root node) : - 0 0 0.00 -
1800.01/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.01/1800.00 c B&B Tree :
1800.01/1800.00 c number of runs : 1
1800.01/1800.00 c nodes : 2176618
1800.01/1800.00 c nodes (total) : 2176618
1800.01/1800.00 c nodes left : 103656
1800.01/1800.00 c max depth : 116
1800.01/1800.00 c max depth (total): 116
1800.01/1800.00 c backtracks : 820758 (37.7%)
1800.01/1800.00 c delayed cutoffs : 523822
1800.01/1800.00 c repropagations : 2668695 (11365617 domain reductions, 340728 cutoffs)
1800.01/1800.00 c avg switch length: 18.63
1800.01/1800.00 c switching time : 593.98
1800.01/1800.00 c Solution :
1800.01/1800.00 c Solutions found : 2 (2 improvements)
1800.01/1800.00 c First Solution : +1.64000000000000e+02 (in run 1, after 1435 nodes, 0.07 seconds, depth 80, found by <relaxation>)
1800.01/1800.00 c Primal Bound : +8.10000000000000e+01 (in run 1, after 9563 nodes, 0.89 seconds, depth 65, found by <relaxation>)
1800.01/1800.00 c Dual Bound : +4.00000000000000e+01
1800.01/1800.00 c Gap : 102.50 %
1800.01/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.01/1800.00 c Root Iterations : 0
1800.21/1800.25 c Time complete: 1800.27.
OK 80
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693950-1277898270/watcher-2693950-1277898270 -o /tmp/evaluation-result-2693950-1277898270/solver-2693950-1277898270 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693950-1277898270.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.20 2.03 2.01 3/178 23627 /proc/meminfo: memFree=31535724/32950928 swapFree=67111528/67111528 [pid=23627] ppid=23625 vsize=8140 CPUtime=0 /proc/23627/stat : 23627 (pbscip.linux.x8) R 23625 23627 23309 0 -1 4202496 1513 0 0 0 0 0 0 0 20 0 1 0 165430061 8335360 1435 4089446400 4194304 7136930 140736909048400 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/23627/statm: 2035 1435 275 719 0 1314 0 [startup+0.063578 s] /proc/loadavg: 2.20 2.03 2.01 3/178 23627 /proc/meminfo: memFree=31535724/32950928 swapFree=67111528/67111528 [pid=23627] ppid=23625 vsize=12356 CPUtime=0.06 /proc/23627/stat : 23627 (pbscip.linux.x8) R 23625 23627 23309 0 -1 4202496 4601 0 0 0 3 3 0 0 21 0 1 0 165430061 12652544 2371 4089446400 4194304 7136930 140736909048400 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23627/statm: 3089 2371 395 719 0 2368 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 12356 [startup+0.100575 s] /proc/loadavg: 2.20 2.03 2.01 3/178 23627 /proc/meminfo: memFree=31535724/32950928 swapFree=67111528/67111528 [pid=23627] ppid=23625 vsize=12644 CPUtime=0.09 /proc/23627/stat : 23627 (pbscip.linux.x8) R 23625 23627 23309 0 -1 4202496 4690 0 0 0 6 3 0 0 21 0 1 0 165430061 12947456 2460 4089446400 4194304 7136930 140736909048400 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23627/statm: 3161 2460 395 719 0 2440 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12644 [startup+0.300542 s] /proc/loadavg: 2.20 2.03 2.01 3/178 23627 /proc/meminfo: memFree=31535724/32950928 swapFree=67111528/67111528 [pid=23627] ppid=23625 vsize=14700 CPUtime=0.29 /proc/23627/stat : 23627 (pbscip.linux.x8) R 23625 23627 23309 0 -1 4202496 5182 0 0 0 20 9 0 0 21 0 1 0 165430061 15052800 2952 4089446400 4194304 7136930 140736909048400 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23627/statm: 3675 2952 395 719 0 2954 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14700 [startup+0.70047 s] /proc/loadavg: 2.20 2.03 2.01 3/178 23627 /proc/meminfo: memFree=31535724/32950928 swapFree=67111528/67111528 [pid=23627] ppid=23625 vsize=17684 CPUtime=0.69 /proc/23627/stat : 23627 (pbscip.linux.x8) R 23625 23627 23309 0 -1 4202496 5952 0 0 0 52 17 0 0 22 0 1 0 165430061 18108416 3722 4089446400 4194304 7136930 140736909048400 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23627/statm: 4421 3722 395 719 0 3700 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17684 [startup+1.50032 s] /proc/loadavg: 2.20 2.03 2.01 3/179 23628 /proc/meminfo: memFree=31517260/32950928 swapFree=67111528/67111528 [pid=23627] ppid=23625 vsize=21408 CPUtime=1.49 /proc/23627/stat : 23627 (pbscip.linux.x8) R 23625 23627 23309 0 -1 4202496 6899 0 0 0 117 32 0 0 25 0 1 0 165430061 21921792 4669 4089446400 4194304 7136930 140736909048400 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23627/statm: 5352 4669 398 719 0 4631 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 21408 [startup+3.101 s] /proc/loadavg: 2.20 2.03 2.01 3/179 23628 /proc/meminfo: memFree=31512920/32950928 swapFree=67111528/67111528 [pid=23627] ppid=23625 vsize=27004 CPUtime=3.09 /proc/23627/stat : 23627 (pbscip.linux.x8) R 23625 23627 23309 0 -1 4202496 8287 0 0 0 256 53 0 0 25 0 1 0 165430061 27652096 6057 4089446400 4194304 7136930 140736909048400 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23627/statm: 6751 6057 398 719 0 6030 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 27004 [startup+6.3004 s] /proc/loadavg: 2.18 2.03 2.01 3/179 23628 /proc/meminfo: memFree=31494268/32950928 swapFree=67111528/67111528 [pid=23627] ppid=23625 vsize=33760 CPUtime=6.29 /proc/23627/stat : 23627 (pbscip.linux.x8) R 23625 23627 23309 0 -1 4202496 10004 0 0 0 541 88 0 0 25 0 1 0 165430061 34570240 7774 4089446400 4194304 7136930 140736909048400 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23627/statm: 8440 7774 398 719 0 7719 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 33760 [startup+12.7002 s] /proc/loadavg: 2.17 2.03 2.01 3/179 23628 /proc/meminfo: memFree=31470716/32950928 swapFree=67111528/67111528 [pid=23627] ppid=23625 vsize=43136 CPUtime=12.69 /proc/23627/stat : 23627 (pbscip.linux.x8) R 23625 23627 23309 0 -1 4202496 12311 0 0 0 1104 165 0 0 25 0 1 0 165430061 44171264 10081 4089446400 4194304 7136930 140736909048400 18446744073709551615 4677424 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23627/statm: 10784 10081 398 719 0 10063 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 43136 [startup+25.5008 s] /proc/loadavg: 2.13 2.03 2.01 3/179 23629 /proc/meminfo: memFree=31425644/32950928 swapFree=67111528/67111528 [pid=23627] ppid=23625 vsize=54928 CPUtime=25.49 /proc/23627/stat : 23627 (pbscip.linux.x8) R 23625 23627 23309 0 -1 4202496 15257 0 0 0 2252 297 0 0 25 0 1 0 165430061 56246272 13027 4089446400 4194304 7136930 140736909048400 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23627/statm: 13732 13027 398 719 0 13011 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 54928 [startup+51.1009 s] /proc/loadavg: 2.15 2.04 2.01 3/179 23629 /proc/meminfo: memFree=31361492/32950928 swapFree=67111528/67111528 [pid=23627] ppid=23625 vsize=60328 CPUtime=51.09 /proc/23627/stat : 23627 (pbscip.linux.x8) R 23625 23627 23309 0 -1 4202496 16568 0 0 0 4678 431 0 0 25 0 1 0 165430061 61775872 14338 4089446400 4194304 7136930 140736909048400 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/23627/statm: 15082 14338 398 719 0 14361 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 60328 [startup+102.306 s] /proc/loadavg: 2.06 2.03 2.00 3/179 23631 /proc/meminfo: memFree=31233724/32950928 swapFree=67111528/67111528 [pid=23627] ppid=23625 vsize=63420 CPUtime=102.3 /proc/23627/stat : 23627 (pbscip.linux.x8) R 23625 23627 23309 0 -1 4202496 17311 0 0 0 9539 691 0 0 25 0 1 0 165430061 64942080 14952 4089446400 4194304 7136930 140736909048400 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/23627/statm: 15855 14952 398 719 0 15134 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 63420 [startup+162.301 s] /proc/loadavg: 2.02 2.02 2.00 3/179 23632 /proc/meminfo: memFree=31053120/32950928 swapFree=67111528/67111528 [pid=23627] ppid=23625 vsize=121032 CPUtime=162.28 /proc/23627/stat : 23627 (pbscip.linux.x8) R 23625 23627 23309 0 -1 4202496 31520 0 0 0 14991 1237 0 0 25 0 1 0 165430061 123936768 29161 4089446400 4194304 7136930 140736909048400 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/23627/statm: 30258 29161 398 719 0 29537 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 121032 [startup+222.3 s] /proc/loadavg: 2.00 2.02 2.00 3/179 23634 /proc/meminfo: memFree=30890128/32950928 swapFree=67111528/67111528 [pid=23627] ppid=23625 vsize=148288 CPUtime=222.28 /proc/23627/stat : 23627 (pbscip.linux.x8) R 23625 23627 23309 0 -1 4202496 38346 0 0 0 20682 1546 0 0 25 0 1 0 165430061 151846912 35987 4089446400 4194304 7136930 140736909048400 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/23627/statm: 37072 35987 398 719 0 36351 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 148288 [startup+282.301 s] /proc/loadavg: 2.00 2.01 2.00 3/179 23636 /proc/meminfo: memFree=30759992/32950928 swapFree=67111528/67111528 [pid=23627] ppid=23625 vsize=158172 CPUtime=282.27 /proc/23627/stat : 23627 (pbscip.linux.x8) R 23625 23627 23309 0 -1 4202496 40696 0 0 0 26465 1762 0 0 25 0 1 0 165430061 161968128 38337 4089446400 4194304 7136930 140736909048400 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/23627/statm: 39543 38337 398 719 0 38822 0 Current children cumulated CPU time (s) 282.27 Current children cumulated vsize (KiB) 158172 [startup+342.301 s] /proc/loadavg: 2.00 2.01 2.00 3/179 23637 /proc/meminfo: memFree=30633700/32950928 swapFree=67111528/67111528 [pid=23627] ppid=23625 vsize=163472 CPUtime=342.26 /proc/23627/stat : 23627 (pbscip.linux.x8) R 23625 23627 23309 0 -1 4202496 41983 0 0 0 32300 1926 0 0 25 0 1 0 165430061 167395328 39624 4089446400 4194304 7136930 140736909048400 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/23627/statm: 40868 39624 398 719 0 40147 0 Current children cumulated CPU time (s) 342.26 Current children cumulated vsize (KiB) 163472 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 23639 /proc/meminfo: memFree=30515472/32950928 swapFree=67111528/67111528 [pid=23627] ppid=23625 vsize=164140 CPUtime=402.26 /proc/23627/stat : 23627 (pbscip.linux.x8) R 23625 23627 23309 0 -1 4202496 42149 0 0 0 38162 2064 0 0 25 0 1 0 165430061 168079360 39790 4089446400 4194304 7136930 140736909048400 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/23627/statm: 41035 39790 398 719 0 40314 0 Current children cumulated CPU time (s) 402.26 Current children cumulated vsize (KiB) 164140 [startup+462.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 23640 /proc/meminfo: memFree=30410136/32950928 swapFree=67111528/67111528 [pid=23627] ppid=23625 vsize=164916 CPUtime=462.26 /proc/23627/stat : 23627 (pbscip.linux.x8) R 23625 23627 23309 0 -1 4202496 42288 0 0 0 44064 2162 0 0 25 0 1 0 165430061 168873984 39929 4089446400 4194304 7136930 140736909048400 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/23627/statm: 41229 39929 398 719 0 40508 0 Current children cumulated CPU time (s) 462.26 Current children cumulated vsize (KiB) 164916 [startup+522.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 23642 /proc/meminfo: memFree=30346488/32950928 swapFree=67111528/67111528 [pid=23627] ppid=23625 vsize=165396 CPUtime=522.26 /proc/23627/stat : 23627 (pbscip.linux.x8) R 23625 23627 23309 0 -1 4202496 42357 0 0 0 49919 2307 0 0 25 0 1 0 165430061 169365504 39998 4089446400 4194304 7136930 140736909048400 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/23627/statm: 41349 39998 398 719 0 40628 0 Current children cumulated CPU time (s) 522.26 Current children cumulated vsize (KiB) 165396 [startup+582.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 23644 /proc/meminfo: memFree=30266840/32950928 swapFree=67111528/67111528 [pid=23627] ppid=23625 vsize=168748 CPUtime=582.27 /proc/23627/stat : 23627 (pbscip.linux.x8) R 23625 23627 23309 0 -1 4202496 43160 0 0 0 55463 2764 0 0 25 0 1 0 165430061 172797952 40801 4089446400 4194304 7136930 140736909048400 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/23627/statm: 42187 40801 398 719 0 41466 0 Current children cumulated CPU time (s) 582.27 Current children cumulated vsize (KiB) 168748 [startup+642.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 23645 /proc/meminfo: memFree=30192624/32950928 swapFree=67111528/67111528 [pid=23627] ppid=23625 vsize=170308 CPUtime=642.28 /proc/23627/stat : 23627 (pbscip.linux.x8) R 23625 23627 23309 0 -1 4202496 43534 0 0 0 61110 3118 0 0 25 0 1 0 165430061 174395392 41175 4089446400 4194304 7136930 140736909048400 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/23627/statm: 42577 41175 398 719 0 41856 0 Current children cumulated CPU time (s) 642.28 Current children cumulated vsize (KiB) 170308 [startup+702.3 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 23652 /proc/meminfo: memFree=29909508/32950928 swapFree=67111528/67111528 [pid=23627] ppid=23625 vsize=170836 CPUtime=882.28 /proc/23627/stat : 23627 (pbscip.linux.x8) R 23625 23627 23309 0 -1 4202496 43778 0 0 0 84051 4177 0 0 25 0 1 0 165430061 174936064 41419 4089446400 4194304 7136930 140736909048400 18446744073709551615 5001209 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/23627/statm: 42709 41419 398 719 0 41988 0 Current children cumulated CPU time (s) 882.28 Current children cumulated vsize (KiB) 170836 [startup+942.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 23653 /proc/meminfo: memFree=29840288/32950928 swapFree=67111528/67111528 [pid=23627] ppid=23625 vsize=170836 CPUtime=942.28 /proc/23627/stat : 23627 (pbscip.linux.x8) R 23625 23627 23309 0 -1 4202496 43778 0 0 0 89845 4383 0 0 25 0 1 0 165430061 174936064 41419 4089446400 4194304 7136930 140736909048400 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/23627/statm: 42709 41419 398 719 0 41988 0 Current children cumulated CPU time (s) 942.28 Current children cumulated vsize (KiB) 170836 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 23664 /proc/meminfo: memFree=29761204/32950928 swapFree=67111528/67111528 [pid=23627] ppid=23625 vsize=170968 CPUtime=1002.28 /proc/23627/stat : 23627 (pbscip.linux.x8) R 23625 23627 23309 0 -1 4202496 43795 0 0 0 95587 4641 0 0 25 0 1 0 165430061 175071232 41436 4089446400 4194304 7136930 140736909048400 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/23627/statm: 42742 41436 398 719 0 42021 0 Current children cumulated CPU time (s) 1002.28 Current children cumulated vsize (KiB) 170968 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 23665 /proc/meminfo: memFree=29688580/32950928 swapFree=67111528/67111528 [pid=23627] ppid=23625 vsize=171176 CPUtime=1062.29 /proc/23627/stat : 23627 (pbscip.linux.x8) R 23625 23627 23309 0 -1 4202496 43878 0 0 0 101326 4903 0 0 25 0 1 0 165430061 175284224 41519 4089446400 4194304 7136930 140736909048400 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/23627/statm: 42794 41519 398 719 0 42073 0 Current children cumulated CPU time (s) 1062.29 Current children cumulated vsize (KiB) 171176 [startup+1122.3 s] /proc/loadavg: 2.08 2.03 2.01 3/179 23667 /proc/meminfo: memFree=29627420/32950928 swapFree=67111528/67111528 [pid=23627] ppid=23625 vsize=171176 CPUtime=1122.29 /proc/23627/stat : 23627 (pbscip.linux.x8) R 23625 23627 23309 0 -1 4202496 43895 0 0 0 107154 5075 0 0 25 0 1 0 165430061 175284224 41536 4089446400 4194304 7136930 140736909048400 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/23627/statm: 42794 41536 398 719 0 42073 0 Current children cumulated CPU time (s) 1122.29 Current children cumulated vsize (KiB) 171176 [startup+1182.3 s] /proc/loadavg: 2.03 2.02 2.00 3/179 23669 /proc/meminfo: memFree=29565756/32950928 swapFree=67111528/67111528 [pid=23627] ppid=23625 vsize=171428 CPUtime=1182.29 /proc/23627/stat : 23627 (pbscip.linux.x8) R 23625 23627 23309 0 -1 4202496 43960 0 0 0 112875 5354 0 0 25 0 1 0 165430061 175542272 41601 4089446400 4194304 7136930 140736909048400 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/23627/statm: 42857 41601 398 719 0 42136 0 Current children cumulated CPU time (s) 1182.29 Current children cumulated vsize (KiB) 171428 [startup+1242.3 s] /proc/loadavg: 2.01 2.02 2.00 3/179 23670 /proc/meminfo: memFree=29506688/32950928 swapFree=67111528/67111528 [pid=23627] ppid=23625 vsize=172484 CPUtime=1242.29 /proc/23627/stat : 23627 (pbscip.linux.x8) R 23625 23627 23309 0 -1 4202496 44070 0 0 0 118701 5528 0 0 25 0 1 0 165430061 176623616 41711 4089446400 4194304 7136930 140736909048400 18446744073709551615 4221332 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/23627/statm: 43121 41711 398 719 0 42400 0 Current children cumulated CPU time (s) 1242.29 Current children cumulated vsize (KiB) 172484 [startup+1302.3 s] /proc/loadavg: 2.00 2.01 2.00 3/179 23672 /proc/meminfo: memFree=29422688/32950928 swapFree=67111528/67111528 [pid=23627] ppid=23625 vsize=176900 CPUtime=1302.3 /proc/23627/stat : 23627 (pbscip.linux.x8) R 23625 23627 23309 0 -1 4202496 45008 0 0 0 124423 5807 0 0 25 0 1 0 165430061 181145600 42649 4089446400 4194304 7136930 140736909048400 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/23627/statm: 44225 42649 398 719 0 43504 0 Current children cumulated CPU time (s) 1302.3 Current children cumulated vsize (KiB) 176900 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 23673 /proc/meminfo: memFree=29386824/32950928 swapFree=67111528/67111528 [pid=23627] ppid=23625 vsize=185400 CPUtime=1362.3 /proc/23627/stat : 23627 (pbscip.linux.x8) R 23625 23627 23309 0 -1 4202496 47165 0 0 0 130243 5987 0 0 25 0 1 0 165430061 189849600 44806 4089446400 4194304 7136930 140736909048400 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/23627/statm: 46350 44806 398 719 0 45629 0 Current children cumulated CPU time (s) 1362.3 Current children cumulated vsize (KiB) 185400 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/179 23675 /proc/meminfo: memFree=29324304/32950928 swapFree=67111528/67111528 [pid=23627] ppid=23625 vsize=186808 CPUtime=1422.3 /proc/23627/stat : 23627 (pbscip.linux.x8) R 23625 23627 23309 0 -1 4202496 47446 0 0 0 136113 6117 0 0 25 0 1 0 165430061 191291392 45087 4089446400 4194304 7136930 140736909048400 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/23627/statm: 46702 45087 398 719 0 45981 0 Current children cumulated CPU time (s) 1422.3 Current children cumulated vsize (KiB) 186808 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 23677 /proc/meminfo: memFree=29261396/32950928 swapFree=67111528/67111528 [pid=23627] ppid=23625 vsize=186808 CPUtime=1482.3 /proc/23627/stat : 23627 (pbscip.linux.x8) R 23625 23627 23309 0 -1 4202496 47446 0 0 0 141941 6289 0 0 25 0 1 0 165430061 191291392 45087 4089446400 4194304 7136930 140736909048400 18446744073709551615 5955622 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/23627/statm: 46702 45087 398 719 0 45981 0 Current children cumulated CPU time (s) 1482.3 Current children cumulated vsize (KiB) 186808 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 23678 /proc/meminfo: memFree=29203068/32950928 swapFree=67111528/67111528 [pid=23627] ppid=23625 vsize=186944 CPUtime=1542.3 /proc/23627/stat : 23627 (pbscip.linux.x8) R 23625 23627 23309 0 -1 4202496 47456 0 0 0 147659 6571 0 0 25 0 1 0 165430061 191430656 45097 4089446400 4194304 7136930 140736909048400 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/23627/statm: 46736 45097 398 719 0 46015 0 Current children cumulated CPU time (s) 1542.3 Current children cumulated vsize (KiB) 186944 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 23680 /proc/meminfo: memFree=29147232/32950928 swapFree=67111528/67111528 [pid=23627] ppid=23625 vsize=189840 CPUtime=1602.3 /proc/23627/stat : 23627 (pbscip.linux.x8) R 23625 23627 23309 0 -1 4202496 48180 0 0 0 153468 6762 0 0 25 0 1 0 165430061 194396160 45821 4089446400 4194304 7136930 140736909048400 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/23627/statm: 47460 45821 398 719 0 46739 0 Current children cumulated CPU time (s) 1602.3 Current children cumulated vsize (KiB) 189840 [startup+1662.3 s] /proc/loadavg: 2.03 2.01 2.00 3/179 23681 /proc/meminfo: memFree=29091768/32950928 swapFree=67111528/67111528 [pid=23627] ppid=23625 vsize=191288 CPUtime=1662.3 /proc/23627/stat : 23627 (pbscip.linux.x8) R 23625 23627 23309 0 -1 4202496 48542 0 0 0 159293 6937 0 0 25 0 1 0 165430061 195878912 46183 4089446400 4194304 7136930 140736909048400 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/23627/statm: 47822 46183 398 719 0 47101 0 Current children cumulated CPU time (s) 1662.3 Current children cumulated vsize (KiB) 191288 [startup+1722.3 s] /proc/loadavg: 2.01 2.01 2.00 3/179 23683 /proc/meminfo: memFree=29040408/32950928 swapFree=67111528/67111528 [pid=23627] ppid=23625 vsize=192124 CPUtime=1722.3 /proc/23627/stat : 23627 (pbscip.linux.x8) R 23625 23627 23309 0 -1 4202496 48823 0 0 0 165178 7052 0 0 25 0 1 0 165430061 196734976 46464 4089446400 4194304 7136930 140736909048400 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/23627/statm: 48031 46464 398 719 0 47310 0 Current children cumulated CPU time (s) 1722.3 Current children cumulated vsize (KiB) 192124 [startup+1782.3 s] /proc/loadavg: 1.98 2.00 2.00 3/197 23734 /proc/meminfo: memFree=31239624/32950928 swapFree=67111528/67111528 [pid=23627] ppid=23625 vsize=193664 CPUtime=1782.31 /proc/23627/stat : 23627 (pbscip.linux.x8) R 23625 23627 23309 0 -1 4202496 49243 0 0 0 170845 7386 0 0 25 0 1 0 165430061 198311936 46884 4089446400 4194304 7136930 140736909048400 18446744073709551615 5955622 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/23627/statm: 48416 46884 398 719 0 47695 0 Current children cumulated CPU time (s) 1782.31 Current children cumulated vsize (KiB) 193664 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 1.99 2.00 2.00 3/197 23734 /proc/meminfo: memFree=31213008/32950928 swapFree=67111528/67111528 [pid=23627] ppid=23625 vsize=196712 CPUtime=1800.01 /proc/23627/stat : 23627 (pbscip.linux.x8) R 23625 23627 23309 0 -1 4202496 50012 0 0 0 172529 7472 0 0 25 0 1 0 165430061 201433088 47653 4089446400 4194304 7136930 140736909048400 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/23627/statm: 49178 47653 398 719 0 48457 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 196712 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.2 s] /proc/loadavg: 1.99 2.00 2.00 3/197 23734 /proc/meminfo: memFree=31213008/32950928 swapFree=67111528/67111528 [pid=23627] ppid=23625 vsize=196712 CPUtime=1800.21 /proc/23627/stat : 23627 (pbscip.linux.x8) R 23625 23627 23309 0 -1 4202496 50017 0 0 0 172549 7472 0 0 25 0 1 0 165430061 201433088 47658 4089446400 4194304 7136930 140736909048400 18446744073709551615 6165643 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/23627/statm: 49178 47658 403 719 0 48457 0 Current children cumulated CPU time (s) 1800.21 Current children cumulated vsize (KiB) 196712 Child status: 0 Real time (s): 1800.26 CPU time (s): 1800.27 CPU user time (s): 1725.54 CPU system time (s): 74.7316 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 196712 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1725.54 system time used= 74.7316 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 50024 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= 3193 runsolver used 2.71559 second user time and 5.80412 second system time The end
Begin job on node115 at 2010-06-30 13:44:30 IDJOB=2693950 IDBENCH=78830 IDSOLVER=1206 FILE ID=node115/2693950-1277898270 PBS_JOBID= 11197177 Free space on /tmp= 74208 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.1110970444--soft-66-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-2693950-1277898270/watcher-2693950-1277898270 -o /tmp/evaluation-result-2693950-1277898270/solver-2693950-1277898270 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693950-1277898270.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= cabbc57a5ab962c45538fe46c723245f RANDOM SEED=1953034841 node115.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.796 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.59 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.796 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.08 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.796 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.796 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.76 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.796 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.82 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.796 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.796 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.796 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: 31536376 kB Buffers: 184820 kB Cached: 933224 kB SwapCached: 0 kB Active: 614248 kB Inactive: 658984 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31536376 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 5852 kB Writeback: 0 kB AnonPages: 155060 kB Mapped: 15068 kB Slab: 77716 kB PageTables: 5076 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 296216 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= 74208 MiB End job on node115 at 2010-06-30 14:14:32