Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | SAT (TO) | 97 | 1800.86 | 1801.35 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-duke2.b.opb |
| MD5SUM | ad998dfe89909927555ae6165c9e8c9e |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 70 |
| Best CPU time to get the best result obtained on this benchmark | 6.12407 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 70 |
| Optimality of the best value was proved | NO |
| Number of variables | 1821 |
| Total number of constraints | 4706 |
| Number of constraints which are clauses | 4706 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 382 |
| Number of terms in the objective function | 1821 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 1821 |
| Number of bits of the sum of numbers in the objective function | 11 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 1821 |
| 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-2664038-1276598246.opb>
0.29/0.30 c original problem has 1821 variables (1821 bin, 0 int, 0 impl, 0 cont) and 4706 constraints
0.29/0.30 c problem read
0.29/0.30 c presolving settings loaded
0.29/0.30 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.39/0.40 o 1821
0.39/0.40 c feasible solution found by trivial heuristic, objective value 1.821000e+03
0.39/0.40 c presolving:
0.39/0.49 c (round 1) 20 del vars, 236 del conss, 20 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 14 impls, 0 clqs
0.39/0.49 c (round 2) 20 del vars, 242 del conss, 20 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 14 impls, 0 clqs
0.89/0.98 c (round 3) 20 del vars, 2569 del conss, 20 chg bounds, 39 chg sides, 0 chg coeffs, 4360 upgd conss, 14 impls, 0 clqs
0.89/0.99 c (round 4) 20 del vars, 2574 del conss, 20 chg bounds, 39 chg sides, 0 chg coeffs, 4371 upgd conss, 14 impls, 0 clqs
0.89/1.00 c (round 5) 20 del vars, 2576 del conss, 20 chg bounds, 39 chg sides, 0 chg coeffs, 4379 upgd conss, 14 impls, 0 clqs
1.00/1.04 c (0.7s) probing: 101/1801 (5.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.00/1.04 c (0.7s) probing aborted: 100/100 successive totally useless probings
1.00/1.04 c presolving (6 rounds):
1.00/1.04 c 20 deleted vars, 2576 deleted constraints, 20 tightened bounds, 0 added holes, 39 changed sides, 0 changed coefficients
1.00/1.04 c 14 implications, 0 cliques
1.00/1.04 c presolved problem has 1801 variables (1801 bin, 0 int, 0 impl, 0 cont) and 2130 constraints
1.00/1.04 c 2130 constraints of type <logicor>
1.00/1.04 c transformed objective value is always integral (scale: 1)
1.00/1.04 c Presolving Time: 0.62
1.00/1.04 c - non default parameters ----------------------------------------------------------------------
1.00/1.04 c # SCIP version 1.2.1.2
1.00/1.04 c
1.00/1.04 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
1.00/1.04 c # [type: int, range: [-1,2147483647], default: -1]
1.00/1.04 c conflict/interconss = 0
1.00/1.04 c
1.00/1.04 c # should binary conflicts be preferred?
1.00/1.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.00/1.04 c conflict/preferbinary = TRUE
1.00/1.04 c
1.00/1.04 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
1.00/1.04 c # [type: int, range: [-1,2147483647], default: 0]
1.00/1.04 c constraints/agelimit = 1
1.00/1.04 c
1.00/1.04 c # should enforcement of pseudo solution be disabled?
1.00/1.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.00/1.04 c constraints/disableenfops = TRUE
1.00/1.04 c
1.00/1.04 c # frequency for displaying node information lines
1.00/1.04 c # [type: int, range: [-1,2147483647], default: 100]
1.00/1.04 c display/freq = 10000
1.00/1.04 c
1.00/1.04 c # maximal time in seconds to run
1.00/1.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.00/1.04 c limits/time = 1799.71
1.00/1.04 c
1.00/1.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.00/1.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.00/1.04 c limits/memory = 1620
1.00/1.04 c
1.00/1.04 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
1.00/1.04 c # [type: int, range: [-1,2147483647], default: 1]
1.00/1.04 c lp/solvefreq = -1
1.00/1.04 c
1.00/1.04 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
1.00/1.04 c # [type: char, range: {lafpsqd}, default: l]
1.00/1.04 c lp/pricing = a
1.00/1.04 c
1.00/1.04 c # should presolving try to simplify inequalities
1.00/1.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.00/1.04 c constraints/linear/simplifyinequalities = TRUE
1.00/1.04 c
1.00/1.04 c # should presolving try to simplify knapsacks
1.00/1.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.00/1.04 c constraints/knapsack/simplifyinequalities = TRUE
1.00/1.04 c
1.00/1.04 c # priority of node selection rule <dfs> in standard mode
1.00/1.04 c # [type: int, range: [-536870912,536870911], default: 0]
1.00/1.04 c nodeselection/dfs/stdpriority = 1000000
1.00/1.04 c
1.00/1.04 c -----------------------------------------------------------------------------------------------
1.00/1.04 c start solving
1.00/1.04 c
1.00/1.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.00/1.04 c t 0.7s| 1 | 2 | 0 | - | 12M| 0 | - |1801 |2130 | 0 | 0 | 0 | 0 | 0 | 2.000000e+01 | 1.821000e+03 |9005.00%
1.49/1.55 o 97
1.49/1.55 c * 1.2s| 1714 | 1706 | 0 | 0.0 | 13M|1712 | - |1801 |2131 | 0 | 0 | 0 | 1 | 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
10.79/10.83 c 10.3s| 10000 | 1689 | 0 | 0.0 | 14M|1712 | - |1801 |5925 | 0 | 0 | 0 |8902 | 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
19.89/19.92 c 19.1s| 20000 | 1682 | 0 | 0.0 | 16M|1712 | - |1801 |9408 | 0 | 0 | 0 | 17k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
29.08/29.16 c 28.2s| 30000 | 1683 | 0 | 0.0 | 17M|1712 | - |1801 | 12k| 0 | 0 | 0 | 26k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
39.38/39.42 c 38.2s| 40000 | 1686 | 0 | 0.0 | 17M|1712 | - |1801 | 14k| 0 | 0 | 0 | 34k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
49.08/49.20 c 47.7s| 50000 | 1686 | 0 | 0.0 | 18M|1712 | - |1801 | 16k| 0 | 0 | 0 | 42k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
59.28/59.37 c 57.7s| 60000 | 1681 | 0 | 0.0 | 19M|1712 | - |1801 | 20k| 0 | 0 | 0 | 51k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
69.48/69.55 c 67.7s| 70000 | 1678 | 0 | 0.0 | 20M|1712 | - |1801 | 24k| 0 | 0 | 0 | 61k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
78.37/78.46 c 76.3s| 80000 | 1679 | 0 | 0.0 | 22M|1712 | - |1801 | 29k| 0 | 0 | 0 | 72k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
88.26/88.30 c 86.0s| 90000 | 1682 | 0 | 0.0 | 23M|1712 | - |1801 | 31k| 0 | 0 | 0 | 79k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
99.06/99.12 c 96.5s|100000 | 1684 | 0 | 0.0 | 24M|1712 | - |1801 | 34k| 0 | 0 | 0 | 88k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
108.17/108.25 c 105s|110000 | 1679 | 0 | 0.0 | 25M|1712 | - |1801 | 36k| 0 | 0 | 0 | 96k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
116.86/116.90 c 114s|120000 | 1677 | 0 | 0.0 | 26M|1712 | - |1801 | 40k| 0 | 0 | 0 | 104k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
126.06/126.15 c 123s|130000 | 1679 | 0 | 0.0 | 26M|1712 | - |1801 | 42k| 0 | 0 | 0 | 112k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
135.26/135.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
135.26/135.35 c 132s|140000 | 1681 | 0 | 0.0 | 27M|1712 | - |1801 | 44k| 0 | 0 | 0 | 119k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
144.45/144.60 c 141s|150000 | 1682 | 0 | 0.0 | 28M|1712 | - |1801 | 48k| 0 | 0 | 0 | 128k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
154.25/154.32 c 150s|160000 | 1680 | 0 | 0.0 | 29M|1712 | - |1801 | 51k| 0 | 0 | 0 | 136k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
164.14/164.26 c 160s|170000 | 1676 | 0 | 0.0 | 30M|1712 | - |1801 | 55k| 0 | 0 | 0 | 145k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
174.65/174.78 c 170s|180000 | 1677 | 0 | 0.0 | 32M|1712 | - |1801 | 57k| 0 | 0 | 0 | 154k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
184.44/184.53 c 180s|190000 | 1678 | 0 | 0.0 | 32M|1712 | - |1801 | 60k| 0 | 0 | 0 | 162k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
193.84/193.91 c 189s|200000 | 1677 | 0 | 0.0 | 34M|1712 | - |1801 | 64k| 0 | 0 | 0 | 171k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
202.35/202.42 c 197s|210000 | 1676 | 0 | 0.0 | 35M|1712 | - |1801 | 68k| 0 | 0 | 0 | 180k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
210.93/211.03 c 206s|220000 | 1674 | 0 | 0.0 | 36M|1712 | - |1801 | 72k| 0 | 0 | 0 | 190k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
219.74/219.84 c 214s|230000 | 1678 | 0 | 0.0 | 38M|1712 | - |1801 | 76k| 0 | 0 | 0 | 198k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
228.33/228.41 c 223s|240000 | 1678 | 0 | 0.0 | 39M|1712 | - |1801 | 81k| 0 | 0 | 0 | 208k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
236.53/236.67 c 231s|250000 | 1676 | 0 | 0.0 | 41M|1712 | - |1801 | 86k| 0 | 0 | 0 | 218k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
245.53/245.64 c 239s|260000 | 1680 | 0 | 0.0 | 43M|1712 | - |1801 | 91k| 0 | 0 | 0 | 229k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
255.03/255.16 c 249s|270000 | 1677 | 0 | 0.0 | 45M|1712 | - |1801 | 96k| 0 | 0 | 0 | 239k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
265.12/265.28 c 259s|280000 | 1673 | 0 | 0.0 | 46M|1712 | - |1801 | 102k| 0 | 0 | 0 | 251k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
274.62/274.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
274.62/274.71 c 268s|290000 | 1676 | 0 | 0.0 | 48M|1712 | - |1801 | 107k| 0 | 0 | 0 | 262k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
282.92/283.03 c 276s|300000 | 1676 | 0 | 0.0 | 49M|1712 | - |1801 | 112k| 0 | 0 | 0 | 271k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
291.82/291.91 c 284s|310000 | 1677 | 0 | 0.0 | 51M|1712 | - |1801 | 117k| 0 | 0 | 0 | 281k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
301.11/301.25 c 294s|320000 | 1677 | 0 | 0.0 | 53M|1712 | - |1801 | 121k| 0 | 0 | 0 | 290k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
310.31/310.45 c 303s|330000 | 1679 | 0 | 0.0 | 54M|1712 | - |1801 | 125k| 0 | 0 | 0 | 299k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
319.51/319.67 c 312s|340000 | 1677 | 0 | 0.0 | 55M|1712 | - |1801 | 129k| 0 | 0 | 0 | 309k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
328.90/329.02 c 321s|350000 | 1678 | 0 | 0.0 | 56M|1712 | - |1801 | 132k| 0 | 0 | 0 | 318k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
337.51/337.64 c 329s|360000 | 1677 | 0 | 0.0 | 58M|1712 | - |1801 | 137k| 0 | 0 | 0 | 328k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
345.00/345.19 c 336s|370000 | 1678 | 0 | 0.0 | 59M|1712 | - |1801 | 141k| 0 | 0 | 0 | 336k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
352.40/352.58 c 344s|380000 | 1673 | 0 | 0.0 | 61M|1712 | - |1801 | 146k| 0 | 0 | 0 | 345k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
360.20/360.33 c 351s|390000 | 1677 | 0 | 0.0 | 62M|1712 | - |1801 | 150k| 0 | 0 | 0 | 353k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
369.80/369.94 c 361s|400000 | 1680 | 0 | 0.0 | 64M|1712 | - |1801 | 155k| 0 | 0 | 0 | 364k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
378.10/378.21 c 369s|410000 | 1676 | 0 | 0.0 | 65M|1712 | - |1801 | 160k| 0 | 0 | 0 | 374k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
387.39/387.55 c 378s|420000 | 1682 | 0 | 0.0 | 66M|1712 | - |1801 | 163k| 0 | 0 | 0 | 383k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
397.09/397.27 c 387s|430000 | 1680 | 0 | 0.0 | 68M|1712 | - |1801 | 167k| 0 | 0 | 0 | 391k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
404.49/404.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
404.49/404.61 c 394s|440000 | 1674 | 0 | 0.0 | 69M|1712 | - |1801 | 171k| 0 | 0 | 0 | 400k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
412.89/413.09 c 403s|450000 | 1679 | 0 | 0.0 | 70M|1712 | - |1801 | 175k| 0 | 0 | 0 | 409k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
422.29/422.40 c 412s|460000 | 1679 | 0 | 0.0 | 72M|1712 | - |1801 | 179k| 0 | 0 | 0 | 418k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
431.78/431.90 c 421s|470000 | 1673 | 0 | 0.0 | 72M|1712 | - |1801 | 181k| 0 | 0 | 0 | 427k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
440.89/441.08 c 430s|480000 | 1676 | 0 | 0.0 | 73M|1712 | - |1801 | 185k| 0 | 0 | 0 | 435k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
450.38/450.51 c 439s|490000 | 1681 | 0 | 0.0 | 74M|1712 | - |1801 | 188k| 0 | 0 | 0 | 444k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
460.27/460.48 c 449s|500000 | 1677 | 0 | 0.0 | 75M|1712 | - |1801 | 191k| 0 | 0 | 0 | 453k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
468.87/469.04 c 457s|510000 | 1678 | 0 | 0.0 | 76M|1712 | - |1801 | 195k| 0 | 0 | 0 | 461k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
478.28/478.41 c 466s|520000 | 1674 | 0 | 0.0 | 79M|1712 | - |1801 | 199k| 0 | 0 | 0 | 471k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
487.46/487.63 c 475s|530000 | 1674 | 0 | 0.0 | 80M|1712 | - |1801 | 202k| 0 | 0 | 0 | 480k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
496.56/496.78 c 484s|540000 | 1671 | 0 | 0.0 | 81M|1712 | - |1801 | 207k| 0 | 0 | 0 | 490k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
505.66/505.88 c 493s|550000 | 1675 | 0 | 0.0 | 82M|1712 | - |1801 | 211k| 0 | 0 | 0 | 499k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
515.16/515.35 c 502s|560000 | 1678 | 0 | 0.0 | 83M|1712 | - |1801 | 214k| 0 | 0 | 0 | 507k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
523.85/524.09 c 511s|570000 | 1678 | 0 | 0.0 | 85M|1712 | - |1801 | 218k| 0 | 0 | 0 | 517k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
533.55/533.76 c 520s|580000 | 1672 | 0 | 0.0 | 86M|1712 | - |1801 | 223k| 0 | 0 | 0 | 526k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
542.85/543.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
542.85/543.08 c 529s|590000 | 1683 | 0 | 0.0 | 87M|1712 | - |1801 | 226k| 0 | 0 | 0 | 535k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
552.45/552.68 c 539s|600000 | 1676 | 0 | 0.0 | 88M|1712 | - |1801 | 229k| 0 | 0 | 0 | 543k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
562.44/562.64 c 549s|610000 | 1679 | 0 | 0.0 | 89M|1712 | - |1801 | 232k| 0 | 0 | 0 | 552k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
572.54/572.72 c 558s|620000 | 1675 | 0 | 0.0 | 89M|1712 | - |1801 | 234k| 0 | 0 | 0 | 560k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
582.04/582.30 c 568s|630000 | 1679 | 0 | 0.0 | 92M|1712 | - |1801 | 239k| 0 | 0 | 0 | 571k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
591.54/591.72 c 577s|640000 | 1678 | 0 | 0.0 | 93M|1712 | - |1801 | 244k| 0 | 0 | 0 | 581k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
600.34/600.51 c 585s|650000 | 1683 | 0 | 0.0 | 95M|1712 | - |1801 | 248k| 0 | 0 | 0 | 590k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
608.43/608.66 c 593s|660000 | 1679 | 0 | 0.0 | 96M|1712 | - |1801 | 253k| 0 | 0 | 0 | 599k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
617.23/617.45 c 602s|670000 | 1674 | 0 | 0.0 | 98M|1712 | - |1801 | 258k| 0 | 0 | 0 | 610k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
625.73/625.97 c 610s|680000 | 1676 | 0 | 0.0 | 99M|1712 | - |1801 | 263k| 0 | 0 | 0 | 620k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
634.33/634.54 c 619s|690000 | 1674 | 0 | 0.0 | 101M|1712 | - |1801 | 268k| 0 | 0 | 0 | 630k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
642.72/642.97 c 627s|700000 | 1677 | 0 | 0.0 | 102M|1712 | - |1801 | 272k| 0 | 0 | 0 | 640k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
651.42/651.69 c 635s|710000 | 1678 | 0 | 0.0 | 103M|1712 | - |1801 | 276k| 0 | 0 | 0 | 649k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
659.92/660.18 c 644s|720000 | 1679 | 0 | 0.0 | 104M|1712 | - |1801 | 280k| 0 | 0 | 0 | 657k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
669.41/669.68 c 653s|730000 | 1677 | 0 | 0.0 | 107M|1712 | - |1801 | 283k| 0 | 0 | 0 | 666k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
678.01/678.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
678.01/678.20 c 661s|740000 | 1674 | 0 | 0.0 | 108M|1712 | - |1801 | 288k| 0 | 0 | 0 | 675k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
687.32/687.53 c 670s|750000 | 1674 | 0 | 0.0 | 109M|1712 | - |1801 | 292k| 0 | 0 | 0 | 685k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
696.50/696.73 c 679s|760000 | 1676 | 0 | 0.0 | 111M|1712 | - |1801 | 296k| 0 | 0 | 0 | 694k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
705.50/705.75 c 688s|770000 | 1675 | 0 | 0.0 | 111M|1712 | - |1801 | 299k| 0 | 0 | 0 | 703k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
714.81/715.07 c 697s|780000 | 1678 | 0 | 0.0 | 112M|1712 | - |1801 | 302k| 0 | 0 | 0 | 711k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
724.90/725.14 c 707s|790000 | 1675 | 0 | 0.0 | 113M|1712 | - |1801 | 305k| 0 | 0 | 0 | 720k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
734.80/735.04 c 717s|800000 | 1678 | 0 | 0.0 | 114M|1712 | - |1801 | 308k| 0 | 0 | 0 | 729k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
744.90/745.11 c 726s|810000 | 1677 | 0 | 0.0 | 116M|1712 | - |1801 | 314k| 0 | 0 | 0 | 740k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
753.89/754.19 c 735s|820000 | 1681 | 0 | 0.0 | 118M|1712 | - |1801 | 319k| 0 | 0 | 0 | 750k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
763.20/763.44 c 744s|830000 | 1673 | 0 | 0.0 | 118M|1712 | - |1801 | 322k| 0 | 0 | 0 | 759k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
773.39/773.67 c 754s|840000 | 1672 | 0 | 0.0 | 119M|1712 | - |1801 | 323k| 0 | 0 | 0 | 767k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
782.58/782.81 c 763s|850000 | 1676 | 0 | 0.0 | 120M|1712 | - |1801 | 326k| 0 | 0 | 0 | 775k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
790.99/791.21 c 771s|860000 | 1673 | 0 | 0.0 | 121M|1712 | - |1801 | 329k| 0 | 0 | 0 | 784k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
800.89/801.12 c 781s|870000 | 1675 | 0 | 0.0 | 122M|1712 | - |1801 | 334k| 0 | 0 | 0 | 794k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
809.98/810.22 c 790s|880000 | 1677 | 0 | 0.0 | 125M|1712 | - |1801 | 339k| 0 | 0 | 0 | 804k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
819.37/819.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
819.37/819.69 c 799s|890000 | 1678 | 0 | 0.0 | 127M|1712 | - |1801 | 344k| 0 | 0 | 0 | 814k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
829.57/829.87 c 809s|900000 | 1671 | 0 | 0.0 | 129M|1712 | - |1801 | 349k| 0 | 0 | 0 | 826k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
837.77/838.04 c 817s|910000 | 1672 | 0 | 0.0 | 130M|1712 | - |1801 | 354k| 0 | 0 | 0 | 835k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
846.87/847.19 c 826s|920000 | 1672 | 0 | 0.0 | 131M|1712 | - |1801 | 359k| 0 | 0 | 0 | 845k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
854.96/855.24 c 834s|930000 | 1669 | 0 | 0.0 | 133M|1712 | - |1801 | 364k| 0 | 0 | 0 | 854k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
865.06/865.37 c 844s|940000 | 1676 | 0 | 0.0 | 134M|1712 | - |1801 | 369k| 0 | 0 | 0 | 865k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
875.96/876.28 c 854s|950000 | 1674 | 0 | 0.0 | 135M|1712 | - |1801 | 371k| 0 | 0 | 0 | 874k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
884.86/885.17 c 863s|960000 | 1672 | 0 | 0.0 | 137M|1712 | - |1801 | 376k| 0 | 0 | 0 | 883k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
894.66/894.99 c 873s|970000 | 1679 | 0 | 0.0 | 138M|1712 | - |1801 | 380k| 0 | 0 | 0 | 893k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
903.26/903.55 c 881s|980000 | 1674 | 0 | 0.0 | 139M|1712 | - |1801 | 384k| 0 | 0 | 0 | 902k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
911.46/911.73 c 889s|990000 | 1678 | 0 | 0.0 | 140M|1712 | - |1801 | 388k| 0 | 0 | 0 | 910k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
921.56/921.81 c 899s| 1000k| 1670 | 0 | 0.0 | 141M|1712 | - |1801 | 392k| 0 | 0 | 0 | 919k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
930.15/930.44 c 907s| 1010k| 1670 | 0 | 0.0 | 143M|1712 | - |1801 | 396k| 0 | 0 | 0 | 928k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
937.95/938.24 c 915s| 1020k| 1672 | 0 | 0.0 | 144M|1712 | - |1801 | 400k| 0 | 0 | 0 | 937k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
945.94/946.21 c 923s| 1030k| 1672 | 0 | 0.0 | 145M|1712 | - |1801 | 404k| 0 | 0 | 0 | 946k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
954.14/954.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
954.14/954.46 c 931s| 1040k| 1676 | 0 | 0.0 | 148M|1712 | - |1801 | 409k| 0 | 0 | 0 | 955k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
962.64/962.96 c 939s| 1050k| 1676 | 0 | 0.0 | 150M|1712 | - |1801 | 413k| 0 | 0 | 0 | 965k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
972.83/973.17 c 949s| 1060k| 1672 | 0 | 0.0 | 151M|1712 | - |1801 | 416k| 0 | 0 | 0 | 973k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
982.43/982.78 c 958s| 1070k| 1672 | 0 | 0.0 | 151M|1712 | - |1801 | 419k| 0 | 0 | 0 | 981k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
992.63/992.95 c 968s| 1080k| 1672 | 0 | 0.0 | 152M|1712 | - |1801 | 421k| 0 | 0 | 0 | 990k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
1001.43/1001.77 c 977s| 1090k| 1674 | 0 | 0.0 | 153M|1712 | - |1801 | 425k| 0 | 0 | 0 | 999k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
1010.53/1010.80 c 986s| 1100k| 1676 | 0 | 0.0 | 155M|1712 | - |1801 | 430k| 0 | 0 | 0 |1009k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
1019.83/1020.16 c 995s| 1110k| 1676 | 0 | 0.0 | 156M|1712 | - |1801 | 433k| 0 | 0 | 0 |1017k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
1028.42/1028.74 c 1003s| 1120k| 1675 | 0 | 0.0 | 157M|1712 | - |1801 | 436k| 0 | 0 | 0 |1025k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
1037.32/1037.60 c 1012s| 1130k| 1673 | 0 | 0.0 | 158M|1712 | - |1801 | 440k| 0 | 0 | 0 |1034k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
1045.92/1046.21 c 1020s| 1140k| 1676 | 0 | 0.0 | 159M|1712 | - |1801 | 443k| 0 | 0 | 0 |1042k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
1053.92/1054.23 c 1028s| 1150k| 1675 | 0 | 0.0 | 160M|1712 | - |1801 | 447k| 0 | 0 | 0 |1052k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
1063.51/1063.86 c 1037s| 1160k| 1675 | 0 | 0.0 | 162M|1712 | - |1801 | 452k| 0 | 0 | 0 |1062k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
1072.81/1073.19 c 1046s| 1170k| 1672 | 0 | 0.0 | 163M|1712 | - |1801 | 455k| 0 | 0 | 0 |1071k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
1081.91/1082.22 c 1055s| 1180k| 1674 | 0 | 0.0 | 164M|1712 | - |1801 | 459k| 0 | 0 | 0 |1080k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
1091.51/1091.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1091.51/1091.82 c 1065s| 1190k| 1675 | 0 | 0.0 | 165M|1712 | - |1801 | 463k| 0 | 0 | 0 |1089k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
1100.41/1100.75 c 1073s| 1200k| 1677 | 0 | 0.0 | 166M|1712 | - |1801 | 466k| 0 | 0 | 0 |1097k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
1109.30/1109.62 c 1082s| 1210k| 1677 | 0 | 0.0 | 167M|1712 | - |1801 | 469k| 0 | 0 | 0 |1106k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
1118.00/1118.39 c 1091s| 1220k| 1680 | 0 | 0.0 | 168M|1712 | - |1801 | 473k| 0 | 0 | 0 |1114k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
1126.50/1126.81 c 1099s| 1230k| 1676 | 0 | 0.0 | 169M|1712 | - |1801 | 476k| 0 | 0 | 0 |1123k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
1136.49/1136.90 c 1109s| 1240k| 1673 | 0 | 0.0 | 170M|1712 | - |1801 | 481k| 0 | 0 | 0 |1133k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
1144.99/1145.37 c 1117s| 1250k| 1671 | 0 | 0.0 | 172M|1712 | - |1801 | 486k| 0 | 0 | 0 |1143k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
1153.59/1153.93 c 1125s| 1260k| 1669 | 0 | 0.0 | 176M|1712 | - |1801 | 491k| 0 | 0 | 0 |1154k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
1160.88/1161.22 c 1132s| 1270k| 1674 | 0 | 0.0 | 177M|1712 | - |1801 | 495k| 0 | 0 | 0 |1162k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
1169.00/1169.34 c 1140s| 1280k| 1674 | 0 | 0.0 | 178M|1712 | - |1801 | 499k| 0 | 0 | 0 |1171k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
1176.88/1177.26 c 1148s| 1290k| 1673 | 0 | 0.0 | 179M|1712 | - |1801 | 502k| 0 | 0 | 0 |1179k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
1186.68/1187.01 c 1157s| 1300k| 1671 | 0 | 0.0 | 180M|1712 | - |1801 | 506k| 0 | 0 | 0 |1189k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
1196.08/1196.47 c 1167s| 1310k| 1677 | 0 | 0.0 | 181M|1712 | - |1801 | 510k| 0 | 0 | 0 |1197k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
1205.88/1206.29 c 1176s| 1320k| 1675 | 0 | 0.0 | 182M|1712 | - |1801 | 513k| 0 | 0 | 0 |1206k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
1215.08/1215.43 c 1185s| 1330k| 1676 | 0 | 0.0 | 184M|1712 | - |1801 | 518k| 0 | 0 | 0 |1216k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
1224.07/1224.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1224.07/1224.42 c 1194s| 1340k| 1673 | 0 | 0.0 | 185M|1712 | - |1801 | 521k| 0 | 0 | 0 |1225k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
1233.47/1233.86 c 1203s| 1350k| 1671 | 0 | 0.0 | 186M|1712 | - |1801 | 524k| 0 | 0 | 0 |1233k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
1243.06/1243.48 c 1213s| 1360k| 1674 | 0 | 0.0 | 187M|1712 | - |1801 | 527k| 0 | 0 | 0 |1242k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
1252.66/1253.00 c 1222s| 1370k| 1675 | 0 | 0.0 | 188M|1712 | - |1801 | 531k| 0 | 0 | 0 |1251k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
1262.56/1262.91 c 1232s| 1380k| 1672 | 0 | 0.0 | 189M|1712 | - |1801 | 536k| 0 | 0 | 0 |1262k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
1273.36/1273.78 c 1242s| 1390k| 1673 | 0 | 0.0 | 191M|1712 | - |1801 | 540k| 0 | 0 | 0 |1272k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
1284.65/1285.02 c 1253s| 1400k| 1674 | 0 | 0.0 | 192M|1712 | - |1801 | 546k| 0 | 0 | 0 |1284k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
1294.55/1295.00 c 1263s| 1410k| 1670 | 0 | 0.0 | 194M|1712 | - |1801 | 551k| 0 | 0 | 0 |1295k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
1303.25/1303.65 c 1271s| 1420k| 1674 | 0 | 0.0 | 196M|1712 | - |1801 | 556k| 0 | 0 | 0 |1306k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
1312.15/1312.51 c 1280s| 1430k| 1678 | 0 | 0.0 | 197M|1712 | - |1801 | 561k| 0 | 0 | 0 |1316k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
1321.54/1321.97 c 1289s| 1440k| 1675 | 0 | 0.0 | 198M|1712 | - |1801 | 565k| 0 | 0 | 0 |1324k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
1330.74/1331.13 c 1298s| 1450k| 1674 | 0 | 0.0 | 199M|1712 | - |1801 | 568k| 0 | 0 | 0 |1333k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
1340.04/1340.45 c 1307s| 1460k| 1676 | 0 | 0.0 | 200M|1712 | - |1801 | 572k| 0 | 0 | 0 |1342k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
1349.44/1349.85 c 1316s| 1470k| 1672 | 0 | 0.0 | 202M|1712 | - |1801 | 576k| 0 | 0 | 0 |1352k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
1359.04/1359.41 c 1326s| 1480k| 1674 | 0 | 0.0 | 203M|1712 | - |1801 | 580k| 0 | 0 | 0 |1361k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
1368.33/1368.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1368.33/1368.79 c 1335s| 1490k| 1670 | 0 | 0.0 | 207M|1712 | - |1801 | 584k| 0 | 0 | 0 |1370k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
1377.13/1377.59 c 1343s| 1500k| 1680 | 0 | 0.0 | 208M|1712 | - |1801 | 588k| 0 | 0 | 0 |1380k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
1387.23/1387.64 c 1353s| 1510k| 1673 | 0 | 0.0 | 210M|1712 | - |1801 | 593k| 0 | 0 | 0 |1390k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
1396.42/1396.82 c 1362s| 1520k| 1674 | 0 | 0.0 | 211M|1712 | - |1801 | 597k| 0 | 0 | 0 |1400k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
1405.43/1405.83 c 1371s| 1530k| 1679 | 0 | 0.0 | 212M|1712 | - |1801 | 601k| 0 | 0 | 0 |1409k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
1414.51/1414.91 c 1380s| 1540k| 1673 | 0 | 0.0 | 213M|1712 | - |1801 | 605k| 0 | 0 | 0 |1419k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
1424.90/1425.35 c 1390s| 1550k| 1676 | 0 | 0.0 | 214M|1712 | - |1801 | 609k| 0 | 0 | 0 |1428k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
1434.30/1434.73 c 1399s| 1560k| 1674 | 0 | 0.0 | 216M|1712 | - |1801 | 613k| 0 | 0 | 0 |1437k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
1443.20/1443.68 c 1408s| 1570k| 1676 | 0 | 0.0 | 217M|1712 | - |1801 | 617k| 0 | 0 | 0 |1446k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
1453.20/1453.67 c 1418s| 1580k| 1676 | 0 | 0.0 | 218M|1712 | - |1801 | 621k| 0 | 0 | 0 |1456k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
1462.99/1463.44 c 1427s| 1590k| 1677 | 0 | 0.0 | 219M|1712 | - |1801 | 624k| 0 | 0 | 0 |1465k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
1472.79/1473.28 c 1437s| 1600k| 1679 | 0 | 0.0 | 220M|1712 | - |1801 | 628k| 0 | 0 | 0 |1475k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
1482.69/1483.11 c 1446s| 1610k| 1673 | 0 | 0.0 | 221M|1712 | - |1801 | 631k| 0 | 0 | 0 |1483k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
1492.20/1492.63 c 1456s| 1620k| 1675 | 0 | 0.0 | 222M|1712 | - |1801 | 635k| 0 | 0 | 0 |1492k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
1501.48/1501.92 c 1465s| 1630k| 1677 | 0 | 0.0 | 224M|1712 | - |1801 | 640k| 0 | 0 | 0 |1503k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
1511.28/1511.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1511.28/1511.79 c 1474s| 1640k| 1672 | 0 | 0.0 | 225M|1712 | - |1801 | 645k| 0 | 0 | 0 |1513k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
1520.37/1520.88 c 1483s| 1650k| 1673 | 0 | 0.0 | 227M|1712 | - |1801 | 650k| 0 | 0 | 0 |1523k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
1530.18/1530.68 c 1493s| 1660k| 1678 | 0 | 0.0 | 228M|1712 | - |1801 | 655k| 0 | 0 | 0 |1533k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
1539.97/1540.44 c 1502s| 1670k| 1677 | 0 | 0.0 | 229M|1712 | - |1801 | 657k| 0 | 0 | 0 |1541k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
1549.48/1549.96 c 1512s| 1680k| 1676 | 0 | 0.0 | 230M|1712 | - |1801 | 660k| 0 | 0 | 0 |1550k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
1559.37/1559.84 c 1521s| 1690k| 1675 | 0 | 0.0 | 231M|1712 | - |1801 | 663k| 0 | 0 | 0 |1559k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
1569.17/1569.68 c 1531s| 1700k| 1677 | 0 | 0.0 | 232M|1712 | - |1801 | 666k| 0 | 0 | 0 |1567k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
1578.96/1579.40 c 1540s| 1710k| 1676 | 0 | 0.0 | 232M|1712 | - |1801 | 668k| 0 | 0 | 0 |1576k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
1587.56/1588.06 c 1549s| 1720k| 1674 | 0 | 0.0 | 234M|1712 | - |1801 | 672k| 0 | 0 | 0 |1585k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
1596.86/1597.36 c 1558s| 1730k| 1676 | 0 | 0.0 | 235M|1712 | - |1801 | 676k| 0 | 0 | 0 |1594k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
1607.15/1607.61 c 1568s| 1740k| 1673 | 0 | 0.0 | 236M|1712 | - |1801 | 678k| 0 | 0 | 0 |1603k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
1617.66/1618.17 c 1578s| 1750k| 1672 | 0 | 0.0 | 236M|1712 | - |1801 | 680k| 0 | 0 | 0 |1611k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
1627.45/1627.90 c 1588s| 1760k| 1675 | 0 | 0.0 | 237M|1712 | - |1801 | 683k| 0 | 0 | 0 |1620k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
1636.35/1636.83 c 1596s| 1770k| 1672 | 0 | 0.0 | 238M|1712 | - |1801 | 687k| 0 | 0 | 0 |1629k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
1645.74/1646.27 c 1605s| 1780k| 1677 | 0 | 0.0 | 240M|1712 | - |1801 | 691k| 0 | 0 | 0 |1638k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
1655.34/1655.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1655.34/1655.86 c 1615s| 1790k| 1678 | 0 | 0.0 | 241M|1712 | - |1801 | 695k| 0 | 0 | 0 |1647k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
1664.74/1665.28 c 1624s| 1800k| 1674 | 0 | 0.0 | 245M|1712 | - |1801 | 700k| 0 | 0 | 0 |1658k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
1674.75/1675.30 c 1634s| 1810k| 1669 | 0 | 0.0 | 246M|1712 | - |1801 | 703k| 0 | 0 | 0 |1666k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
1684.74/1685.29 c 1644s| 1820k| 1676 | 0 | 0.0 | 247M|1712 | - |1801 | 707k| 0 | 0 | 0 |1676k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
1694.93/1695.49 c 1653s| 1830k| 1670 | 0 | 0.0 | 249M|1712 | - |1801 | 712k| 0 | 0 | 0 |1687k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
1704.63/1705.14 c 1663s| 1840k| 1672 | 0 | 0.0 | 250M|1712 | - |1801 | 716k| 0 | 0 | 0 |1696k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
1713.23/1713.74 c 1671s| 1850k| 1667 | 0 | 0.0 | 252M|1712 | - |1801 | 720k| 0 | 0 | 0 |1705k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
1723.73/1724.20 c 1681s| 1860k| 1669 | 0 | 0.0 | 253M|1712 | - |1801 | 724k| 0 | 0 | 0 |1714k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
1733.42/1733.92 c 1691s| 1870k| 1677 | 0 | 0.0 | 254M|1712 | - |1801 | 728k| 0 | 0 | 0 |1724k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
1742.42/1742.99 c 1700s| 1880k| 1676 | 0 | 0.0 | 255M|1712 | - |1801 | 732k| 0 | 0 | 0 |1733k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
1751.22/1751.77 c 1708s| 1890k| 1675 | 0 | 0.0 | 256M|1712 | - |1801 | 736k| 0 | 0 | 0 |1742k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
1759.72/1760.21 c 1717s| 1900k| 1669 | 0 | 0.0 | 258M|1712 | - |1801 | 740k| 0 | 0 | 0 |1750k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
1768.61/1769.12 c 1725s| 1910k| 1671 | 0 | 0.0 | 259M|1712 | - |1801 | 744k| 0 | 0 | 0 |1761k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
1777.71/1778.26 c 1734s| 1920k| 1674 | 0 | 0.0 | 260M|1712 | - |1801 | 748k| 0 | 0 | 0 |1770k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
1787.01/1787.56 c 1743s| 1930k| 1669 | 0 | 0.0 | 261M|1712 | - |1801 | 751k| 0 | 0 | 0 |1779k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
1795.71/1796.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1795.71/1796.21 c 1752s| 1940k| 1667 | 0 | 0.0 | 262M|1712 | - |1801 | 755k| 0 | 0 | 0 |1788k| 0 | 2.100000e+01 | 9.700000e+01 | 361.90%
1800.01/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.01/1800.50 c
1800.01/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.50 c Solving Time (sec) : 1755.94
1800.01/1800.50 c Solving Nodes : 1944635
1800.01/1800.50 c Primal Bound : +9.70000000000000e+01 (3 solutions)
1800.01/1800.50 c Dual Bound : +2.10000000000000e+01
1800.01/1800.50 c Gap : 361.90 %
1800.01/1800.53 s SATISFIABLE
1800.01/1800.53 v x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x1815 -x1814 -x1813 -x1812 -x1811 -x1810 x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803
1800.01/1800.53 v -x1802 -x1801 -x1800 -x1799 -x1798 -x1797 -x1796 -x1795 -x1794 -x1793 -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785
1800.01/1800.53 v -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767
1800.01/1800.53 v -x1766 -x1765 -x1764 -x1763 -x1762 x1761 -x1760 x1759 -x1758 -x1757 -x1756 x1755 x1754 -x1753 -x1752 -x1751 -x1750 -x1749
1800.01/1800.53 v -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1731
1800.01/1800.53 v -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 x1713
1800.01/1800.53 v -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 x1705 -x1704 -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695
1800.01/1800.53 v -x1694 -x1693 -x1692 x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 x1681 -x1680 -x1679 -x1678 -x1677
1800.01/1800.53 v -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667 -x1666 -x1665 -x1664 x1663 x1662 x1661 -x1660 -x1659
1800.01/1800.53 v -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 -x1642 -x1641
1800.01/1800.53 v -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623
1800.01/1800.53 v -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605
1800.01/1800.53 v -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 -x1596 -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 -x1587
1800.01/1800.53 v -x1586 -x1585 -x1584 -x1583 x1582 -x1581 -x1580 -x1579 -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 -x1569
1800.01/1800.53 v -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 -x1551
1800.01/1800.53 v -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 x1543 x1542 x1541 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533
1800.01/1800.53 v -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515
1800.01/1800.53 v -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 x1504 -x1503 -x1502 x1501 -x1500 x1499 -x1498 -x1497
1800.01/1800.53 v -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479
1800.01/1800.53 v -x1478 -x1477 -x1476 -x1475 x1474 -x1473 -x1472 -x1471 -x1470 -x1469 x1468 -x1467 -x1466 -x1465 -x1464 -x1463 x1462 -x1461
1800.01/1800.53 v -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443
1800.01/1800.53 v -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425
1800.01/1800.53 v -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407
1800.01/1800.53 v -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389
1800.01/1800.53 v -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372
1800.01/1800.53 v -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354
1800.01/1800.53 v -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336
1800.01/1800.53 v x1335 x1334 x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318
1800.01/1800.53 v -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 x1310 -x1309 -x1308 x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299
1800.01/1800.53 v -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282
1800.01/1800.53 v x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263
1800.01/1800.53 v -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 x1256 -x1255 -x1254 x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245
1800.01/1800.53 v -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227
1800.01/1800.53 v -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210
1800.01/1800.53 v -x1209 -x1208 x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192
1800.01/1800.53 v -x1191 x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174
1800.01/1800.53 v -x1173 -x1172 -x1171 -x1170 x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156
1800.01/1800.53 v -x1155 -x1154 x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138
1800.01/1800.53 v -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120
1800.01/1800.53 v -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102
1800.01/1800.53 v -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084
1800.01/1800.53 v -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066
1800.01/1800.53 v -x1065 -x1064 x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048
1800.01/1800.53 v -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030
1800.01/1800.53 v -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 x1022 x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012
1800.01/1800.53 v -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993
1800.01/1800.53 v -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 x977 -x976 -x975 -x974 -x973 -x972
1800.01/1800.53 v -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 x960 -x959 x958 -x957 x956 -x955 -x954 -x953 x952 -x951
1800.01/1800.53 v -x950 x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930
1800.01/1800.53 v -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 x916 -x915 -x914 x913 -x912 -x911 -x910 -x909
1800.01/1800.53 v x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888
1800.01/1800.53 v -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867
1800.01/1800.53 v -x866 -x865 x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846
1800.01/1800.53 v -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 x829 -x828 -x827 -x826 -x825
1800.01/1800.53 v -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 x804
1800.01/1800.53 v -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783
1800.01/1800.53 v -x782 -x781 -x780 -x779 -x778 -x777 -x776 x775 -x774 -x773 x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762
1800.01/1800.53 v -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741
1800.01/1800.53 v -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720
1800.01/1800.53 v -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699
1800.01/1800.53 v -x698 x697 -x696 x695 -x694 -x693 x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678
1800.01/1800.53 v -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657
1800.01/1800.53 v -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 x642 -x641 -x640 -x639 -x638 -x637 -x636
1800.01/1800.53 v -x635 -x634 -x633 -x632 -x631 -x630 -x629 x628 x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615
1800.01/1800.53 v -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594
1800.01/1800.53 v -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573
1800.01/1800.53 v -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 x556 -x555 -x554 -x553 -x552
1800.01/1800.53 v -x551 -x550 x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531
1800.01/1800.53 v -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510
1800.01/1800.53 v -x509 -x508 x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489
1800.01/1800.53 v -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 x476 -x475 -x474 -x473 -x472 -x471 -x470 x469 -x468
1800.01/1800.53 v -x467 -x466 -x465 -x464 x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447
1800.01/1800.53 v -x446 -x445 -x444 -x443 -x442 x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426
1800.01/1800.53 v -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405
1800.01/1800.53 v -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384
1800.01/1800.53 v -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363
1800.01/1800.53 v -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342
1800.01/1800.53 v -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 x330 -x329 -x328 -x327 -x326 x325 -x324 -x323 -x322 -x321
1800.01/1800.53 v -x320 x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 x308 -x307 -x306 x305 -x304 -x303 -x302 -x301 -x300
1800.01/1800.53 v -x299 -x298 -x297 -x296 x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279
1800.01/1800.53 v -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258
1800.01/1800.53 v -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 x242 x241 -x240 -x239 -x238 -x237
1800.01/1800.53 v x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216
1800.01/1800.53 v -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 x206 -x205 x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195
1800.01/1800.53 v -x194 -x193 -x192 -x191 x190 x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173
1800.01/1800.53 v -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152
1800.01/1800.53 v -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 x138 -x137 -x136 x135 -x134 -x133 -x132 -x131
1800.01/1800.53 v -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110
1800.01/1800.53 v -x109 x108 -x107 -x106 -x105 -x104 x103 x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 x89 -x88 -x87
1800.01/1800.53 v x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 x62 -x61
1800.01/1800.53 v -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36
1800.01/1800.53 v -x35 -x34 -x33 x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11
1800.01/1800.53 v -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.01/1800.53 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.53 c Solving Time : 1755.94
1800.01/1800.53 c Original Problem :
1800.01/1800.53 c Problem name : HOME/instance-2664038-1276598246.opb
1800.01/1800.53 c Variables : 1821 (1821 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.53 c Constraints : 4706 initial, 4706 maximal
1800.01/1800.53 c Presolved Problem :
1800.01/1800.53 c Problem name : t_HOME/instance-2664038-1276598246.opb
1800.01/1800.53 c Variables : 1801 (1801 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.53 c Constraints : 2130 initial, 758017 maximal
1800.01/1800.53 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.01/1800.53 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.53 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.53 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.53 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.53 c implics : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.53 c probing : 0.03 0 0 0 0 0 0 0 0
1800.01/1800.53 c linear : 0.19 20 0 0 20 0 327 39 0
1800.01/1800.53 c logicor : 0.36 0 0 0 0 0 2249 0 0
1800.01/1800.53 c root node : - 0 - - 0 - - - -
1800.01/1800.53 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.01/1800.53 c integral : 0 0 0 0 0 0 0 0 0 0
1800.01/1800.53 c logicor : 2130+ 0 2430624 0 1 152629 1915125 0 0 0
1800.01/1800.53 c countsols : 0 0 0 0 1 0 0 0 0 0
1800.01/1800.53 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.01/1800.53 c integral : 0.00 0.00 0.00 0.00 0.00
1800.01/1800.53 c logicor : 193.03 0.00 193.03 0.00 0.00
1800.01/1800.53 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.01/1800.53 c Propagators : Time Calls Cutoffs DomReds
1800.01/1800.53 c vbounds : 3.26 2 0 0
1800.01/1800.53 c rootredcost : 3.14 0 0 0
1800.01/1800.53 c pseudoobj : 1357.72 6443417 880703 7884327
1800.01/1800.53 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.01/1800.53 c propagation : 1002.06 1031639 1031639 1031639 184.1 752682 15.1 -
1800.01/1800.53 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.53 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.53 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.53 c pseudo solution : 6.27 5247 5247 5247 175.5 3688 20.2 -
1800.01/1800.53 c applied globally : - - - 1371300 60.0 - - -
1800.01/1800.53 c applied locally : - - - 421684 284.5 - - -
1800.01/1800.53 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.01/1800.53 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.01/1800.53 c redcost : 0.00 0 0 0 0 0
1800.01/1800.53 c impliedbounds : 0.00 0 0 0 0 0
1800.01/1800.53 c intobj : 0.00 0 0 0 0 0
1800.01/1800.53 c cgmip : 0.00 0 0 0 0 0
1800.01/1800.53 c gomory : 0.00 0 0 0 0 0
1800.01/1800.53 c strongcg : 0.00 0 0 0 0 0
1800.01/1800.53 c cmir : 0.00 0 0 0 0 0
1800.01/1800.53 c flowcover : 0.00 0 0 0 0 0
1800.01/1800.53 c clique : 0.00 0 0 0 0 0
1800.01/1800.53 c zerohalf : 0.00 0 0 0 0 0
1800.01/1800.53 c mcf : 0.00 0 0 0 0 0
1800.01/1800.53 c rapidlearning : 0.00 0 0 0 0 0
1800.01/1800.53 c Pricers : Time Calls Vars
1800.01/1800.53 c problem variables: 0.00 0 0
1800.01/1800.53 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.01/1800.53 c relpscost : 0.00 0 0 0 0 0 0
1800.01/1800.53 c pscost : 0.00 0 0 0 0 0 0
1800.01/1800.53 c inference : 17.08 1417596 0 0 0 0 2835192
1800.01/1800.53 c mostinf : 0.00 0 0 0 0 0 0
1800.01/1800.53 c leastinf : 0.00 0 0 0 0 0 0
1800.01/1800.53 c fullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.53 c allfullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.53 c random : 0.00 0 0 0 0 0 0
1800.01/1800.53 c Primal Heuristics : Time Calls Found
1800.01/1800.53 c LP solutions : 0.00 - 0
1800.01/1800.53 c pseudo solutions : 0.00 - 1
1800.01/1800.53 c oneopt : 1.72 0 0
1800.01/1800.53 c trivial : 0.01 2 2
1800.01/1800.53 c simplerounding : 0.00 0 0
1800.01/1800.53 c zirounding : 0.00 0 0
1800.01/1800.53 c rounding : 0.00 0 0
1800.01/1800.53 c shifting : 0.00 0 0
1800.01/1800.53 c intshifting : 0.00 0 0
1800.01/1800.53 c twoopt : 0.00 0 0
1800.01/1800.53 c fixandinfer : 0.00 0 0
1800.01/1800.53 c feaspump : 0.00 0 0
1800.01/1800.53 c coefdiving : 0.00 0 0
1800.01/1800.53 c pscostdiving : 0.00 0 0
1800.01/1800.53 c fracdiving : 0.00 0 0
1800.01/1800.53 c veclendiving : 0.00 0 0
1800.01/1800.53 c intdiving : 0.00 0 0
1800.01/1800.53 c actconsdiving : 0.00 0 0
1800.01/1800.53 c objpscostdiving : 0.00 0 0
1800.01/1800.53 c rootsoldiving : 0.00 0 0
1800.01/1800.53 c linesearchdiving : 0.00 0 0
1800.01/1800.53 c guideddiving : 0.00 0 0
1800.01/1800.53 c octane : 0.00 0 0
1800.01/1800.53 c rens : 0.00 0 0
1800.01/1800.53 c rins : 0.00 0 0
1800.01/1800.53 c localbranching : 0.00 0 0
1800.01/1800.53 c mutation : 0.00 0 0
1800.01/1800.53 c crossover : 0.00 0 0
1800.01/1800.53 c dins : 0.00 0 0
1800.01/1800.53 c undercover : 0.00 0 0
1800.01/1800.53 c nlp : 1.34 0 0
1800.01/1800.53 c trysol : 1.16 0 0
1800.01/1800.53 c LP : Time Calls Iterations Iter/call Iter/sec
1800.01/1800.53 c primal LP : 0.00 0 0 0.00 -
1800.01/1800.53 c dual LP : 0.00 0 0 0.00 -
1800.01/1800.53 c lex dual LP : 0.00 0 0 0.00 -
1800.01/1800.53 c barrier LP : 0.00 0 0 0.00 -
1800.01/1800.53 c diving/probing LP: 0.00 0 0 0.00 -
1800.01/1800.53 c strong branching : 0.00 0 0 0.00 -
1800.01/1800.53 c (at root node) : - 0 0 0.00 -
1800.01/1800.53 c conflict analysis: 0.00 0 0 0.00 -
1800.01/1800.53 c B&B Tree :
1800.01/1800.53 c number of runs : 1
1800.01/1800.53 c nodes : 1944635
1800.01/1800.53 c nodes (total) : 1944635
1800.01/1800.53 c nodes left : 1674
1800.01/1800.53 c max depth : 1712
1800.01/1800.53 c max depth (total): 1712
1800.01/1800.53 c backtracks : 566556 (29.1%)
1800.01/1800.53 c delayed cutoffs : 539537
1800.01/1800.53 c repropagations : 995022 (3469862 domain reductions, 511541 cutoffs)
1800.01/1800.53 c avg switch length: 2.22
1800.01/1800.53 c switching time : 48.43
1800.01/1800.53 c Solution :
1800.01/1800.53 c Solutions found : 3 (2 improvements)
1800.01/1800.53 c First Solution : +1.82100000000000e+03 (in run 1, after 0 nodes, 0.07 seconds, depth 0, found by <trivial>)
1800.01/1800.53 c Primal Bound : +9.70000000000000e+01 (in run 1, after 1714 nodes, 1.18 seconds, depth 1712, found by <relaxation>)
1800.01/1800.53 c Dual Bound : +2.10000000000000e+01
1800.01/1800.53 c Gap : 361.90 %
1800.01/1800.53 c Root Dual Bound : +2.00000000000000e+01
1800.01/1800.53 c Root Iterations : 0
1800.81/1801.34 c Time complete: 1800.85.
OK 97
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2664038-1276598246/watcher-2664038-1276598246 -o /tmp/evaluation-result-2664038-1276598246/solver-2664038-1276598246 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664038-1276598246.opb -t 1800 -m 1800 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): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/106 10919 /proc/meminfo: memFree=1430400/2059040 swapFree=4192956/4192956 [pid=10919] ppid=10917 vsize=6584 CPUtime=0 /proc/10919/stat : 10919 (pbscip.linux.x8) R 10917 10919 2334 0 -1 4202496 923 0 0 0 0 0 0 0 20 0 1 0 1115302 6742016 845 1992294400 4194304 7136930 140737287089280 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10919/statm: 1646 855 254 719 0 925 0 [startup+0.010629 s] /proc/loadavg: 1.00 1.00 1.00 3/106 10919 /proc/meminfo: memFree=1430400/2059040 swapFree=4192956/4192956 [pid=10919] ppid=10917 vsize=7612 CPUtime=0 /proc/10919/stat : 10919 (pbscip.linux.x8) R 10917 10919 2334 0 -1 4202496 1391 0 0 0 0 0 0 0 20 0 1 0 1115302 7794688 1314 1992294400 4194304 7136930 140737287089280 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10919/statm: 1903 1325 254 719 0 1182 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 7612 [startup+0.101639 s] /proc/loadavg: 1.00 1.00 1.00 3/106 10919 /proc/meminfo: memFree=1430400/2059040 swapFree=4192956/4192956 [pid=10919] ppid=10917 vsize=11348 CPUtime=0.09 /proc/10919/stat : 10919 (pbscip.linux.x8) R 10917 10919 2334 0 -1 4202496 2325 0 0 0 8 1 0 0 20 0 1 0 1115302 11620352 2247 1992294400 4194304 7136930 140737287089280 18446744073709551615 6357120 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10919/statm: 2837 2247 271 719 0 2116 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11348 [startup+0.30066 s] /proc/loadavg: 1.00 1.00 1.00 3/106 10919 /proc/meminfo: memFree=1430400/2059040 swapFree=4192956/4192956 [pid=10919] ppid=10917 vsize=14760 CPUtime=0.29 /proc/10919/stat : 10919 (pbscip.linux.x8) R 10917 10919 2334 0 -1 4202496 3165 0 0 0 28 1 0 0 20 0 1 0 1115302 15114240 3087 1992294400 4194304 7136930 140737287089280 18446744073709551615 6357120 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10919/statm: 3690 3087 271 719 0 2969 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14760 [startup+0.700704 s] /proc/loadavg: 1.00 1.00 1.00 3/106 10919 /proc/meminfo: memFree=1430400/2059040 swapFree=4192956/4192956 [pid=10919] ppid=10917 vsize=40692 CPUtime=0.69 /proc/10919/stat : 10919 (pbscip.linux.x8) R 10917 10919 2334 0 -1 4202496 10567 0 0 0 64 5 0 0 20 0 1 0 1115302 41668608 9364 1992294400 4194304 7136930 140737287089280 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10919/statm: 10173 9364 355 719 0 9452 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 40692 [startup+1.50079 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10920 /proc/meminfo: memFree=1393564/2059040 swapFree=4192956/4192956 [pid=10919] ppid=10917 vsize=42112 CPUtime=1.49 /proc/10919/stat : 10919 (pbscip.linux.x8) R 10917 10919 2334 0 -1 4202496 11765 0 0 0 141 8 0 0 22 0 1 0 1115302 43122688 9788 1992294400 4194304 7136930 140737287089280 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10919/statm: 10528 9788 384 719 0 9807 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 42112 [startup+3.10196 s] /proc/loadavg: 1.08 1.02 1.01 2/107 10920 /proc/meminfo: memFree=1391828/2059040 swapFree=4192956/4192956 [pid=10919] ppid=10917 vsize=43032 CPUtime=3.09 /proc/10919/stat : 10919 (pbscip.linux.x8) R 10917 10919 2334 0 -1 4202496 11969 0 0 0 298 11 0 0 25 0 1 0 1115302 44064768 9992 1992294400 4194304 7136930 140737287089280 18446744073709551615 4704784 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10919/statm: 10758 9992 385 719 0 10037 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 43032 [startup+6.30131 s] /proc/loadavg: 1.08 1.02 1.01 2/107 10920 /proc/meminfo: memFree=1390216/2059040 swapFree=4192956/4192956 [pid=10919] ppid=10917 vsize=44428 CPUtime=6.29 /proc/10919/stat : 10919 (pbscip.linux.x8) R 10917 10919 2334 0 -1 4202496 12341 0 0 0 611 18 0 0 25 0 1 0 1115302 45494272 10364 1992294400 4194304 7136930 140737287089280 18446744073709551615 4704784 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10919/statm: 11107 10364 385 719 0 10386 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 44428 [startup+12.701 s] /proc/loadavg: 1.07 1.02 1.00 2/107 10922 /proc/meminfo: memFree=1387488/2059040 swapFree=4192956/4192956 [pid=10919] ppid=10917 vsize=46952 CPUtime=12.69 /proc/10919/stat : 10919 (pbscip.linux.x8) R 10917 10919 2334 0 -1 4202496 12928 0 0 0 1238 31 0 0 25 0 1 0 1115302 48078848 10951 1992294400 4194304 7136930 140737287089280 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10919/statm: 11738 10951 386 719 0 11017 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 46952 [startup+25.5014 s] /proc/loadavg: 1.06 1.01 1.00 3/107 10922 /proc/meminfo: memFree=1384388/2059040 swapFree=4192956/4192956 [pid=10919] ppid=10917 vsize=50636 CPUtime=25.49 /proc/10919/stat : 10919 (pbscip.linux.x8) R 10917 10919 2334 0 -1 4202496 13736 0 0 0 2489 60 0 0 25 0 1 0 1115302 51851264 11759 1992294400 4194304 7136930 140737287089280 18446744073709551615 4652794 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10919/statm: 12659 11759 386 719 0 11938 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 50636 [startup+51.1012 s] /proc/loadavg: 1.04 1.01 1.00 2/107 10922 /proc/meminfo: memFree=1380048/2059040 swapFree=4192956/4192956 [pid=10919] ppid=10917 vsize=55816 CPUtime=51.07 /proc/10919/stat : 10919 (pbscip.linux.x8) R 10917 10919 2334 0 -1 4202496 14878 0 0 0 4988 119 0 0 25 0 1 0 1115302 57155584 12901 1992294400 4194304 7136930 140737287089280 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10919/statm: 13954 12901 386 719 0 13233 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 55816 [startup+102.309 s] /proc/loadavg: 1.01 1.01 1.00 2/107 10924 /proc/meminfo: memFree=1371120/2059040 swapFree=4192956/4192956 [pid=10919] ppid=10917 vsize=65652 CPUtime=102.27 /proc/10919/stat : 10919 (pbscip.linux.x8) R 10917 10919 2334 0 -1 4202496 16978 0 0 0 9990 237 0 0 25 0 1 0 1115302 67227648 15001 1992294400 4194304 7136930 140737287089280 18446744073709551615 5905985 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10919/statm: 16413 15001 386 719 0 15692 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 65652 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10926 /proc/meminfo: memFree=1362688/2059040 swapFree=4192956/4192956 [pid=10919] ppid=10917 vsize=75180 CPUtime=162.25 /proc/10919/stat : 10919 (pbscip.linux.x8) R 10917 10919 2334 0 -1 4202496 19080 0 0 0 15847 378 0 0 25 0 1 0 1115302 76984320 17103 1992294400 4194304 7136930 140737287089280 18446744073709551615 4704784 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10919/statm: 18795 17103 386 719 0 18074 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 75180 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10926 /proc/meminfo: memFree=1351900/2059040 swapFree=4192956/4192956 [pid=10919] ppid=10917 vsize=86964 CPUtime=222.24 /proc/10919/stat : 10919 (pbscip.linux.x8) R 10917 10919 2334 0 -1 4202496 21765 0 0 0 21699 525 0 0 25 0 1 0 1115302 89051136 19788 1992294400 4194304 7136930 140737287089280 18446744073709551615 4704784 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10919/statm: 21741 19788 386 719 0 21020 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 86964 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10928 /proc/meminfo: memFree=1336400/2059040 swapFree=4192956/4192956 [pid=10919] ppid=10917 vsize=103100 CPUtime=282.22 /proc/10919/stat : 10919 (pbscip.linux.x8) R 10917 10919 2334 0 -1 4202496 25608 0 0 0 27540 682 0 0 25 0 1 0 1115302 105574400 23631 1992294400 4194304 7136930 140737287089280 18446744073709551615 5507431 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10919/statm: 25775 23631 386 719 0 25054 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 103100 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10930 /proc/meminfo: memFree=1320528/2059040 swapFree=4192956/4192956 [pid=10919] ppid=10917 vsize=119840 CPUtime=342.2 /proc/10919/stat : 10919 (pbscip.linux.x8) R 10917 10919 2334 0 -1 4202496 29567 0 0 0 33389 831 0 0 25 0 1 0 1115302 122716160 27590 1992294400 4194304 7136930 140737287089280 18446744073709551615 5905979 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10919/statm: 29960 27590 386 719 0 29239 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 119840 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10932 /proc/meminfo: memFree=1306888/2059040 swapFree=4192956/4192956 [pid=10919] ppid=10917 vsize=133512 CPUtime=402.19 /proc/10919/stat : 10919 (pbscip.linux.x8) R 10917 10919 2334 0 -1 4202496 32984 0 0 0 39237 982 0 0 25 0 1 0 1115302 136716288 31007 1992294400 4194304 7136930 140737287089280 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10919/statm: 33378 31007 386 719 0 32657 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 133512 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10934 /proc/meminfo: memFree=1298456/2059040 swapFree=4192956/4192956 [pid=10919] ppid=10917 vsize=140872 CPUtime=462.17 /proc/10919/stat : 10919 (pbscip.linux.x8) R 10917 10919 2334 0 -1 4202496 35013 0 0 0 45086 1131 0 0 25 0 1 0 1115302 144252928 33036 1992294400 4194304 7136930 140737287089280 18446744073709551615 4240461 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10919/statm: 35218 33036 386 719 0 34497 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 140872 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10934 /proc/meminfo: memFree=1285312/2059040 swapFree=4192956/4192956 [pid=10919] ppid=10917 vsize=154468 CPUtime=522.16 /proc/10919/stat : 10919 (pbscip.linux.x8) R 10917 10919 2334 0 -1 4202496 38303 0 0 0 50942 1274 0 0 25 0 1 0 1115302 158175232 36326 1992294400 4194304 7136930 140737287089280 18446744073709551615 4704784 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10919/statm: 38617 36326 386 719 0 37896 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 154468 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10936 /proc/meminfo: memFree=1272540/2059040 swapFree=4192956/4192956 [pid=10919] ppid=10917 vsize=168172 CPUtime=582.14 /proc/10919/stat : 10919 (pbscip.linux.x8) R 10917 10919 2334 0 -1 4202496 41489 0 0 0 56800 1414 0 0 25 0 1 0 1115302 172208128 39512 1992294400 4194304 7136930 140737287089280 18446744073709551615 5905979 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10919/statm: 42043 39512 386 719 0 41322 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 168172 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10938 /proc/meminfo: memFree=1260264/2059040 swapFree=4192956/4192956 [pid=10919] ppid=10917 vsize=178952 CPUtime=642.13 /proc/10919/stat : 10919 (pbscip.linux.x8) R 10917 10919 2334 0 -1 4202496 44510 0 0 0 62646 1567 0 0 25 0 1 0 1115302 183246848 42533 1992294400 4194304 7136930 140737287089280 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10919/statm: 44738 42533 386 719 0 44017 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 178952 [startup+702.301 s] ################ # More data... # ################ [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10950 /proc/meminfo: memFree=1175324/2059040 swapFree=4192956/4192956 [pid=10919] ppid=10917 vsize=264152 CPUtime=1062.01 /proc/10919/stat : 10919 (pbscip.linux.x8) R 10917 10919 2334 0 -1 4202496 65569 0 0 0 103604 2597 0 0 25 0 1 0 1115302 270491648 63592 1992294400 4194304 7136930 140737287089280 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10919/statm: 66038 63592 386 719 0 65317 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 264152 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10950 /proc/meminfo: memFree=1167760/2059040 swapFree=4192956/4192956 [pid=10919] ppid=10917 vsize=270672 CPUtime=1122 /proc/10919/stat : 10919 (pbscip.linux.x8) R 10917 10919 2334 0 -1 4202496 67423 0 0 0 109468 2732 0 0 25 0 1 0 1115302 277168128 65446 1992294400 4194304 7136930 140737287089280 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10919/statm: 67668 65446 386 719 0 66947 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 270672 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10952 /proc/meminfo: memFree=1145812/2059040 swapFree=4192956/4192956 [pid=10919] ppid=10917 vsize=295112 CPUtime=1181.98 /proc/10919/stat : 10919 (pbscip.linux.x8) R 10917 10919 2334 0 -1 4202496 72877 0 0 0 115315 2883 0 0 25 0 1 0 1115302 302194688 70900 1992294400 4194304 7136930 140737287089280 18446744073709551615 5925698 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10919/statm: 73778 70900 386 719 0 73057 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 295112 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10954 /proc/meminfo: memFree=1137380/2059040 swapFree=4192956/4192956 [pid=10919] ppid=10917 vsize=302468 CPUtime=1241.96 /proc/10919/stat : 10919 (pbscip.linux.x8) R 10917 10919 2334 0 -1 4202496 74942 0 0 0 121164 3032 0 0 25 0 1 0 1115302 309727232 72965 1992294400 4194304 7136930 140737287089280 18446744073709551615 4240551 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10919/statm: 75617 72965 386 719 0 74896 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 302468 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10956 /proc/meminfo: memFree=1128700/2059040 swapFree=4192956/4192956 [pid=10919] ppid=10917 vsize=309956 CPUtime=1301.95 /proc/10919/stat : 10919 (pbscip.linux.x8) R 10917 10919 2334 0 -1 4202496 77094 0 0 0 127022 3173 0 0 25 0 1 0 1115302 317394944 75117 1992294400 4194304 7136930 140737287089280 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10919/statm: 77489 75117 386 719 0 76768 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 309956 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10958 /proc/meminfo: memFree=1119896/2059040 swapFree=4192956/4192956 [pid=10919] ppid=10917 vsize=320368 CPUtime=1361.93 /proc/10919/stat : 10919 (pbscip.linux.x8) R 10917 10919 2334 0 -1 4202496 79493 0 0 0 132878 3315 0 0 25 0 1 0 1115302 328056832 77516 1992294400 4194304 7136930 140737287089280 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10919/statm: 80092 77516 386 719 0 79371 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 320368 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10967 /proc/meminfo: memFree=1096460/2059040 swapFree=4192956/4192956 [pid=10919] ppid=10917 vsize=344204 CPUtime=1421.91 /proc/10919/stat : 10919 (pbscip.linux.x8) R 10917 10919 2334 0 -1 4202496 85005 0 0 0 138727 3464 0 0 25 0 1 0 1115302 352464896 83028 1992294400 4194304 7136930 140737287089280 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10919/statm: 86051 83028 386 719 0 85330 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 344204 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10969 /proc/meminfo: memFree=1088152/2059040 swapFree=4192956/4192956 [pid=10919] ppid=10917 vsize=351568 CPUtime=1481.88 /proc/10919/stat : 10919 (pbscip.linux.x8) R 10917 10919 2334 0 -1 4202496 87097 0 0 0 144582 3606 0 0 25 0 1 0 1115302 360005632 85120 1992294400 4194304 7136930 140737287089280 18446744073709551615 5906008 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10919/statm: 87892 85120 386 719 0 87171 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 351568 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10971 /proc/meminfo: memFree=1079720/2059040 swapFree=4192956/4192956 [pid=10919] ppid=10917 vsize=359056 CPUtime=1541.87 /proc/10919/stat : 10919 (pbscip.linux.x8) R 10917 10919 2334 0 -1 4202496 89225 0 0 0 150436 3751 0 0 25 0 1 0 1115302 367673344 87248 1992294400 4194304 7136930 140737287089280 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10919/statm: 89764 87248 386 719 0 89043 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 359056 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10973 /proc/meminfo: memFree=1073148/2059040 swapFree=4192956/4192956 [pid=10919] ppid=10917 vsize=365060 CPUtime=1601.86 /proc/10919/stat : 10919 (pbscip.linux.x8) R 10917 10919 2334 0 -1 4202496 90887 0 0 0 156283 3903 0 0 25 0 1 0 1115302 373821440 88910 1992294400 4194304 7136930 140737287089280 18446744073709551615 5506109 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10919/statm: 91265 88910 386 719 0 90544 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 365060 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10975 /proc/meminfo: memFree=1064840/2059040 swapFree=4192956/4192956 [pid=10919] ppid=10917 vsize=374600 CPUtime=1661.84 /proc/10919/stat : 10919 (pbscip.linux.x8) R 10917 10919 2334 0 -1 4202496 92962 0 0 0 162133 4051 0 0 25 0 1 0 1115302 383590400 90985 1992294400 4194304 7136930 140737287089280 18446744073709551615 5906008 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10919/statm: 93650 90985 386 719 0 92929 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 374600 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10975 /proc/meminfo: memFree=1039792/2059040 swapFree=4192956/4192956 [pid=10919] ppid=10917 vsize=401852 CPUtime=1721.82 /proc/10919/stat : 10919 (pbscip.linux.x8) R 10917 10919 2334 0 -1 4202496 99184 0 0 0 167988 4194 0 0 25 0 1 0 1115302 411496448 97207 1992294400 4194304 7136930 140737287089280 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10919/statm: 100463 97207 386 719 0 99742 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 401852 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10977 /proc/meminfo: memFree=1031112/2059040 swapFree=4192956/4192956 [pid=10919] ppid=10917 vsize=409208 CPUtime=1781.81 /proc/10919/stat : 10919 (pbscip.linux.x8) R 10917 10919 2334 0 -1 4202496 101283 0 0 0 173844 4337 0 0 25 0 1 0 1115302 419028992 99306 1992294400 4194304 7136930 140737287089280 18446744073709551615 4240461 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10919/statm: 102302 99306 386 719 0 101581 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 409208 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10977 /proc/meminfo: memFree=1028260/2059040 swapFree=4192956/4192956 [pid=10919] ppid=10917 vsize=411660 CPUtime=1800.01 /proc/10919/stat : 10919 (pbscip.linux.x8) R 10917 10919 2334 0 -1 4202496 101983 0 0 0 175622 4379 0 0 25 0 1 0 1115302 421539840 100006 1992294400 4194304 7136930 140737287089280 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10919/statm: 102915 100006 386 719 0 102194 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 411660 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.00 1.00 1.00 2/108 10978 /proc/meminfo: memFree=1017960/2059040 swapFree=4192956/4192956 [pid=10919] ppid=10917 vsize=424876 CPUtime=1800.12 /proc/10919/stat : 10919 (pbscip.linux.x8) R 10917 10919 2334 0 -1 4202496 104873 0 0 0 175631 4381 0 0 25 0 1 0 1115302 435073024 102860 1992294400 4194304 7136930 140737287089280 18446744073709551615 4209174 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10919/statm: 106219 102862 387 719 0 105498 0 Current children cumulated CPU time (s) 1800.12 Current children cumulated vsize (KiB) 424876 [startup+1801 s] /proc/loadavg: 1.00 1.00 1.00 2/108 10978 /proc/meminfo: memFree=1017960/2059040 swapFree=4192956/4192956 [pid=10919] ppid=10917 vsize=315588 CPUtime=1800.5 /proc/10919/stat : 10919 (pbscip.linux.x8) R 10917 10919 2334 0 -1 4202496 105030 0 0 0 175668 4382 0 0 25 0 1 0 1115302 323162112 75456 1992294400 4194304 7136930 140737287089280 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10919/statm: 78656 75456 392 719 0 77935 0 Current children cumulated CPU time (s) 1800.5 Current children cumulated vsize (KiB) 315588 [startup+1801.2 s] /proc/loadavg: 1.00 1.00 1.00 2/108 10978 /proc/meminfo: memFree=1017960/2059040 swapFree=4192956/4192956 [pid=10919] ppid=10917 vsize=243668 CPUtime=1800.7 /proc/10919/stat : 10919 (pbscip.linux.x8) R 10917 10919 2334 0 -1 4202496 105030 0 0 0 175687 4383 0 0 25 0 1 0 1115302 249516032 57717 1992294400 4194304 7136930 140737287089280 18446744073709551615 6165597 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10919/statm: 60917 57717 392 719 0 60196 0 Current children cumulated CPU time (s) 1800.7 Current children cumulated vsize (KiB) 243668 [startup+1801.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 10978 /proc/meminfo: memFree=1017960/2059040 swapFree=4192956/4192956 [pid=10919] ppid=10917 vsize=208092 CPUtime=1800.81 /proc/10919/stat : 10919 (pbscip.linux.x8) R 10917 10919 2334 0 -1 4202496 105030 0 0 0 175697 4384 0 0 25 0 1 0 1115302 213086208 48823 1992294400 4194304 7136930 140737287089280 18446744073709551615 6166347 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10919/statm: 52023 48823 392 719 0 51302 0 Current children cumulated CPU time (s) 1800.81 Current children cumulated vsize (KiB) 208092 Child status: 0 Real time (s): 1801.35 CPU time (s): 1800.86 CPU user time (s): 1757 CPU system time (s): 43.8593 CPU usage (%): 99.9729 Max. virtual memory (cumulated for all children) (KiB): 424876 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1757 system time used= 43.8593 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 105037 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= 1967 runsolver used 3.14652 second user time and 8.35073 second system time The end
Begin job on node059 at 2010-06-15 12:37:26 IDJOB=2664038 IDBENCH=2892 IDSOLVER=1167 FILE ID=node059/2664038-1276598246 PBS_JOBID= 11173555 Free space on /tmp= 62552 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-duke2.b.opb 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-2664038-1276598246/watcher-2664038-1276598246 -o /tmp/evaluation-result-2664038-1276598246/solver-2664038-1276598246 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664038-1276598246.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= ad998dfe89909927555ae6165c9e8c9e RANDOM SEED=1627757381 node059.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 : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.244 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.48 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.244 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1430928 kB Buffers: 51400 kB Cached: 436948 kB SwapCached: 0 kB Active: 210036 kB Inactive: 337504 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1430928 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4384 kB Writeback: 0 kB AnonPages: 59152 kB Mapped: 15468 kB Slab: 58952 kB PageTables: 3992 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181296 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62548 MiB End job on node059 at 2010-06-15 13:07:29