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) | -38 | 1800.33 | 1800.81 |
| Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-2.opb |
| MD5SUM | 62a6bdf0e089cd0b8a79007277394096 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -45 |
| Best CPU time to get the best result obtained on this benchmark | 1800.05 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -54 |
| Optimality of the best value was proved | NO |
| Number of variables | 1400 |
| Total number of constraints | 109401 |
| Number of constraints which are clauses | 109401 |
| 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 | 2 |
| Maximum length of a constraint | 2 |
| Number of terms in the objective function | 1400 |
| 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 | 1400 |
| 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 | 1400 |
| 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-2664072-1276496478.opb>
1.69/1.80 c original problem has 1400 variables (1400 bin, 0 int, 0 impl, 0 cont) and 109401 constraints
1.69/1.80 c problem read
1.69/1.80 c presolving settings loaded
1.79/1.80 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
1.99/2.07 o 0
1.99/2.07 c feasible solution found by trivial heuristic, objective value 0.000000e+00
1.99/2.07 c presolving:
3.49/3.56 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 109401 upgd conss, 218802 impls, 0 clqs
5.89/5.98 c (3.8s) probing: 101/1400 (7.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
5.89/5.98 c (3.8s) probing aborted: 100/100 successive totally useless probings
5.89/5.98 c presolving (2 rounds):
5.89/5.98 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
5.89/5.98 c 218802 implications, 0 cliques
5.89/5.98 c presolved problem has 1400 variables (1400 bin, 0 int, 0 impl, 0 cont) and 109401 constraints
5.89/5.98 c 109401 constraints of type <logicor>
5.89/5.98 c transformed objective value is always integral (scale: 1)
5.89/5.98 c Presolving Time: 3.59
5.89/5.98 c - non default parameters ----------------------------------------------------------------------
5.89/5.98 c # SCIP version 1.2.1.2
5.89/5.98 c
5.89/5.98 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
5.89/5.98 c # [type: int, range: [-1,2147483647], default: -1]
5.89/5.98 c conflict/interconss = 0
5.89/5.98 c
5.89/5.98 c # should binary conflicts be preferred?
5.89/5.98 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.89/5.98 c conflict/preferbinary = TRUE
5.89/5.98 c
5.89/5.98 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
5.89/5.98 c # [type: int, range: [-1,2147483647], default: 0]
5.89/5.98 c constraints/agelimit = 1
5.89/5.98 c
5.89/5.98 c # should enforcement of pseudo solution be disabled?
5.89/5.98 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.89/5.98 c constraints/disableenfops = TRUE
5.89/5.98 c
5.89/5.98 c # frequency for displaying node information lines
5.89/5.98 c # [type: int, range: [-1,2147483647], default: 100]
5.89/5.98 c display/freq = 10000
5.89/5.98 c
5.89/5.98 c # maximal time in seconds to run
5.89/5.98 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
5.89/5.98 c limits/time = 1798.21
5.89/5.98 c
5.89/5.98 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
5.89/5.98 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
5.89/5.98 c limits/memory = 1620
5.89/5.98 c
5.89/5.98 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
5.89/5.98 c # [type: int, range: [-1,2147483647], default: 1]
5.89/5.98 c lp/solvefreq = -1
5.89/5.98 c
5.89/5.98 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)
5.89/5.98 c # [type: char, range: {lafpsqd}, default: l]
5.89/5.98 c lp/pricing = a
5.89/5.98 c
5.89/5.98 c # should presolving try to simplify inequalities
5.89/5.98 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.89/5.98 c constraints/linear/simplifyinequalities = TRUE
5.89/5.98 c
5.89/5.98 c # should presolving try to simplify knapsacks
5.89/5.98 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.89/5.98 c constraints/knapsack/simplifyinequalities = TRUE
5.89/5.98 c
5.89/5.98 c # priority of node selection rule <dfs> in standard mode
5.89/5.98 c # [type: int, range: [-536870912,536870911], default: 0]
5.89/5.98 c nodeselection/dfs/stdpriority = 1000000
5.89/5.98 c
5.89/5.98 c -----------------------------------------------------------------------------------------------
5.89/5.98 c start solving
5.89/5.99 c
5.99/6.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
5.99/6.02 c t 3.8s| 1 | 2 | 0 | - | 77M| 0 | - |1400 | 109k| 0 | 0 | 0 | 0 | 0 |-1.400000e+03 | 0.000000e+00 | 100.00%
5.99/6.06 o -34
5.99/6.06 c * 3.8s| 35 | 33 | 0 | 0.0 | 77M| 34 | - |1400 | 109k| 0 | 0 | 0 | 0 | 0 |-1.399000e+03 |-3.400000e+01 | 97.57%
6.09/6.10 o -35
6.09/6.10 c * 3.9s| 65 | 32 | 0 | 0.0 | 77M| 37 | - |1400 | 109k| 0 | 0 | 0 | 1 | 0 |-1.399000e+03 |-3.500000e+01 | 97.50%
6.09/6.18 o -36
6.09/6.18 c * 4.0s| 148 | 31 | 0 | 0.0 | 77M| 39 | - |1400 | 109k| 0 | 0 | 0 | 5 | 0 |-1.399000e+03 |-3.600000e+01 | 97.43%
7.19/7.26 o -37
7.19/7.26 c * 5.0s| 1430 | 29 | 0 | 0.0 | 77M| 45 | - |1400 | 109k| 0 | 0 | 0 | 16 | 0 |-1.399000e+03 |-3.700000e+01 | 97.36%
14.09/14.10 c 11.8s| 10000 | 29 | 0 | 0.0 | 77M| 46 | - |1400 | 109k| 0 | 0 | 0 | 66 | 0 |-1.399000e+03 |-3.700000e+01 | 97.36%
21.99/22.05 c 19.6s| 20000 | 26 | 0 | 0.0 | 77M| 49 | - |1400 | 109k| 0 | 0 | 0 | 154 | 0 |-1.399000e+03 |-3.700000e+01 | 97.36%
30.18/30.20 c 27.6s| 30000 | 27 | 0 | 0.0 | 77M| 49 | - |1400 | 109k| 0 | 0 | 0 | 208 | 0 |-1.399000e+03 |-3.700000e+01 | 97.36%
38.48/38.53 c 35.8s| 40000 | 24 | 0 | 0.0 | 77M| 49 | - |1400 | 109k| 0 | 0 | 0 | 289 | 0 |-1.399000e+03 |-3.700000e+01 | 97.36%
46.78/46.80 c 43.9s| 50000 | 28 | 0 | 0.0 | 77M| 54 | - |1400 | 109k| 0 | 0 | 0 | 363 | 0 |-1.399000e+03 |-3.700000e+01 | 97.36%
54.98/55.05 c 52.0s| 60000 | 25 | 0 | 0.0 | 77M| 54 | - |1400 | 109k| 0 | 0 | 0 | 413 | 0 |-1.399000e+03 |-3.700000e+01 | 97.36%
63.78/63.82 c 60.7s| 70000 | 26 | 0 | 0.0 | 77M| 54 | - |1400 | 109k| 0 | 0 | 0 | 499 | 0 |-1.399000e+03 |-3.700000e+01 | 97.36%
69.86/69.92 o -38
69.86/69.92 c *66.6s| 77624 | 25 | 0 | 0.0 | 77M| 54 | - |1400 | 109k| 0 | 0 | 0 | 560 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
71.86/71.96 c 68.7s| 80000 | 29 | 0 | 0.0 | 77M| 54 | - |1400 | 109k| 0 | 0 | 0 | 567 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
80.27/80.32 c 76.9s| 90000 | 26 | 0 | 0.0 | 77M| 54 | - |1400 | 109k| 0 | 0 | 0 | 624 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
88.67/88.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
88.67/88.74 c 85.1s|100000 | 29 | 0 | 0.0 | 77M| 54 | - |1400 | 109k| 0 | 0 | 0 | 688 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
97.16/97.22 c 93.5s|110000 | 28 | 0 | 0.0 | 77M| 54 | - |1400 | 109k| 0 | 0 | 0 | 740 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
105.76/105.87 c 102s|120000 | 26 | 0 | 0.0 | 77M| 54 | - |1400 | 109k| 0 | 0 | 0 | 782 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
114.27/114.30 c 110s|130000 | 26 | 0 | 0.0 | 77M| 54 | - |1400 | 109k| 0 | 0 | 0 | 835 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
122.35/122.49 c 118s|140000 | 27 | 0 | 0.0 | 77M| 54 | - |1400 | 109k| 0 | 0 | 0 | 901 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
130.45/130.56 c 126s|150000 | 28 | 0 | 0.0 | 77M| 54 | - |1400 | 109k| 0 | 0 | 0 | 956 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
138.45/138.53 c 134s|160000 | 25 | 0 | 0.0 | 77M| 56 | - |1400 | 109k| 0 | 0 | 0 |1009 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
146.35/146.48 c 142s|170000 | 27 | 0 | 0.0 | 77M| 56 | - |1400 | 109k| 0 | 0 | 0 |1073 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
154.25/154.37 c 150s|180000 | 25 | 0 | 0.0 | 77M| 56 | - |1400 | 109k| 0 | 0 | 0 |1150 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
162.44/162.50 c 158s|190000 | 26 | 0 | 0.0 | 77M| 56 | - |1400 | 109k| 0 | 0 | 0 |1206 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
170.35/170.47 c 165s|200000 | 27 | 0 | 0.0 | 77M| 56 | - |1400 | 109k| 0 | 0 | 0 |1250 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
178.15/178.29 c 173s|210000 | 25 | 0 | 0.0 | 77M| 56 | - |1400 | 109k| 0 | 0 | 0 |1282 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
186.24/186.36 c 181s|220000 | 26 | 0 | 0.0 | 77M| 56 | - |1400 | 109k| 0 | 0 | 0 |1361 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
194.23/194.30 c 189s|230000 | 25 | 0 | 0.0 | 77M| 56 | - |1400 | 109k| 0 | 0 | 0 |1408 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
201.93/202.01 c 196s|240000 | 26 | 0 | 0.0 | 77M| 56 | - |1400 | 109k| 0 | 0 | 0 |1476 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
210.13/210.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
210.13/210.20 c 205s|250000 | 28 | 0 | 0.0 | 77M| 56 | - |1400 | 109k| 0 | 0 | 0 |1554 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
217.53/217.66 c 212s|260000 | 25 | 0 | 0.0 | 77M| 56 | - |1400 | 109k| 0 | 0 | 0 |1593 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
225.63/225.74 c 220s|270000 | 25 | 0 | 0.0 | 77M| 56 | - |1400 | 109k| 0 | 0 | 0 |1628 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
233.22/233.38 c 227s|280000 | 27 | 0 | 0.0 | 77M| 57 | - |1400 | 109k| 0 | 0 | 0 |1669 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
241.12/241.20 c 235s|290000 | 24 | 0 | 0.0 | 77M| 57 | - |1400 | 109k| 0 | 0 | 0 |1707 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
248.62/248.78 c 242s|300000 | 24 | 0 | 0.0 | 77M| 57 | - |1400 | 109k| 0 | 0 | 0 |1764 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
256.62/256.79 c 250s|310000 | 27 | 0 | 0.0 | 77M| 57 | - |1400 | 109k| 0 | 0 | 0 |1798 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
264.52/264.67 c 258s|320000 | 26 | 0 | 0.0 | 77M| 57 | - |1400 | 109k| 0 | 0 | 0 |1866 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
272.42/272.56 c 266s|330000 | 25 | 0 | 0.0 | 77M| 57 | - |1400 | 109k| 0 | 0 | 0 |1938 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
280.72/280.85 c 274s|340000 | 24 | 0 | 0.0 | 77M| 57 | - |1400 | 109k| 0 | 0 | 0 |1991 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
288.41/288.56 c 282s|350000 | 26 | 0 | 0.0 | 77M| 57 | - |1400 | 109k| 0 | 0 | 0 |2044 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
296.10/296.24 c 289s|360000 | 25 | 0 | 0.0 | 77M| 57 | - |1400 | 109k| 0 | 0 | 0 |2081 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
304.31/304.40 c 297s|370000 | 25 | 0 | 0.0 | 77M| 57 | - |1400 | 109k| 0 | 0 | 0 |2146 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
312.50/312.62 c 305s|380000 | 25 | 0 | 0.0 | 77M| 57 | - |1400 | 109k| 0 | 0 | 0 |2208 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
320.50/320.68 c 313s|390000 | 25 | 0 | 0.0 | 77M| 57 | - |1400 | 109k| 0 | 0 | 0 |2277 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
328.81/328.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
328.81/328.99 c 321s|400000 | 26 | 0 | 0.0 | 77M| 57 | - |1400 | 109k| 0 | 0 | 0 |2335 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
336.79/336.98 c 329s|410000 | 28 | 0 | 0.0 | 77M| 57 | - |1400 | 109k| 0 | 0 | 0 |2396 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
345.09/345.20 c 337s|420000 | 26 | 0 | 0.0 | 77M| 57 | - |1400 | 109k| 0 | 0 | 0 |2483 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
353.40/353.52 c 345s|430000 | 28 | 0 | 0.0 | 77M| 58 | - |1400 | 109k| 0 | 0 | 0 |2559 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
361.39/361.57 c 353s|440000 | 27 | 0 | 0.0 | 77M| 58 | - |1400 | 109k| 0 | 0 | 0 |2611 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
369.29/369.44 c 361s|450000 | 28 | 0 | 0.0 | 77M| 58 | - |1400 | 109k| 0 | 0 | 0 |2657 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
377.48/377.65 c 369s|460000 | 25 | 0 | 0.0 | 77M| 58 | - |1400 | 109k| 0 | 0 | 0 |2711 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
385.49/385.64 c 377s|470000 | 23 | 0 | 0.0 | 77M| 58 | - |1400 | 109k| 0 | 0 | 0 |2764 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
393.59/393.78 c 385s|480000 | 24 | 0 | 0.0 | 77M| 60 | - |1400 | 109k| 0 | 0 | 0 |2793 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
401.88/402.05 c 393s|490000 | 23 | 0 | 0.0 | 77M| 62 | - |1400 | 109k| 0 | 0 | 0 |2854 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
409.87/410.05 c 401s|500000 | 26 | 0 | 0.0 | 77M| 62 | - |1400 | 109k| 0 | 0 | 0 |2909 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
417.58/417.77 c 409s|510000 | 28 | 0 | 0.0 | 77M| 62 | - |1400 | 109k| 0 | 0 | 0 |2948 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
425.27/425.42 c 416s|520000 | 26 | 0 | 0.0 | 77M| 62 | - |1400 | 109k| 0 | 0 | 0 |2990 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
433.18/433.37 c 424s|530000 | 27 | 0 | 0.0 | 77M| 62 | - |1400 | 109k| 0 | 0 | 0 |3031 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
441.47/441.66 c 432s|540000 | 27 | 0 | 0.0 | 77M| 62 | - |1400 | 109k| 0 | 0 | 0 |3105 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
449.57/449.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
449.57/449.78 c 440s|550000 | 24 | 0 | 0.0 | 77M| 62 | - |1400 | 109k| 0 | 0 | 0 |3147 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
457.57/457.70 c 448s|560000 | 27 | 0 | 0.0 | 77M| 62 | - |1400 | 109k| 0 | 0 | 0 |3195 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
465.46/465.61 c 456s|570000 | 25 | 0 | 0.0 | 77M| 62 | - |1400 | 109k| 0 | 0 | 0 |3231 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
473.26/473.44 c 463s|580000 | 26 | 0 | 0.0 | 77M| 62 | - |1400 | 109k| 0 | 0 | 0 |3283 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
481.26/481.49 c 471s|590000 | 22 | 0 | 0.0 | 77M| 62 | - |1400 | 109k| 0 | 0 | 0 |3333 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
489.56/489.73 c 479s|600000 | 22 | 0 | 0.0 | 77M| 62 | - |1400 | 109k| 0 | 0 | 0 |3387 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
497.46/497.62 c 487s|610000 | 28 | 0 | 0.0 | 77M| 62 | - |1400 | 109k| 0 | 0 | 0 |3446 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
505.25/505.45 c 495s|620000 | 27 | 0 | 0.0 | 77M| 62 | - |1400 | 109k| 0 | 0 | 0 |3512 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
513.15/513.31 c 502s|630000 | 28 | 0 | 0.0 | 77M| 62 | - |1400 | 109k| 0 | 0 | 0 |3552 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
521.35/521.51 c 511s|640000 | 26 | 0 | 0.0 | 77M| 62 | - |1400 | 109k| 0 | 0 | 0 |3596 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
529.45/529.66 c 519s|650000 | 25 | 0 | 0.0 | 77M| 62 | - |1400 | 109k| 0 | 0 | 0 |3639 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
537.45/537.69 c 526s|660000 | 28 | 0 | 0.0 | 77M| 63 | - |1400 | 109k| 0 | 0 | 0 |3680 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
545.54/545.71 c 534s|670000 | 28 | 0 | 0.0 | 77M| 63 | - |1400 | 109k| 0 | 0 | 0 |3759 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
553.54/553.75 c 542s|680000 | 27 | 0 | 0.0 | 77M| 63 | - |1400 | 109k| 0 | 0 | 0 |3793 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
561.64/561.89 c 550s|690000 | 23 | 0 | 0.0 | 77M| 63 | - |1400 | 109k| 0 | 0 | 0 |3837 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
570.04/570.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
570.04/570.27 c 558s|700000 | 24 | 0 | 0.0 | 77M| 64 | - |1400 | 109k| 0 | 0 | 0 |3904 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
578.14/578.36 c 566s|710000 | 27 | 0 | 0.0 | 77M| 64 | - |1400 | 109k| 0 | 0 | 0 |3970 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
585.93/586.19 c 574s|720000 | 23 | 0 | 0.0 | 77M| 64 | - |1400 | 109k| 0 | 0 | 0 |4027 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
593.73/594.00 c 582s|730000 | 26 | 0 | 0.0 | 77M| 64 | - |1400 | 109k| 0 | 0 | 0 |4074 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
601.53/601.79 c 590s|740000 | 28 | 0 | 0.0 | 77M| 64 | - |1400 | 109k| 0 | 0 | 0 |4114 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
609.53/609.79 c 597s|750000 | 26 | 0 | 0.0 | 77M| 64 | - |1400 | 109k| 0 | 0 | 0 |4150 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
617.53/617.79 c 605s|760000 | 25 | 0 | 0.0 | 77M| 64 | - |1400 | 109k| 0 | 0 | 0 |4197 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
625.73/625.96 c 613s|770000 | 27 | 0 | 0.0 | 77M| 64 | - |1400 | 109k| 0 | 0 | 0 |4256 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
633.82/634.06 c 621s|780000 | 24 | 0 | 0.0 | 77M| 64 | - |1400 | 109k| 0 | 0 | 0 |4285 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
641.82/642.07 c 629s|790000 | 25 | 0 | 0.0 | 77M| 64 | - |1400 | 109k| 0 | 0 | 0 |4356 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
650.01/650.22 c 637s|800000 | 24 | 0 | 0.0 | 77M| 64 | - |1400 | 109k| 0 | 0 | 0 |4416 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
658.21/658.40 c 645s|810000 | 23 | 0 | 0.0 | 77M| 64 | - |1400 | 109k| 0 | 0 | 0 |4467 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
666.21/666.42 c 653s|820000 | 27 | 0 | 0.0 | 77M| 64 | - |1400 | 109k| 0 | 0 | 0 |4530 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
674.21/674.48 c 661s|830000 | 24 | 0 | 0.0 | 77M| 64 | - |1400 | 109k| 0 | 0 | 0 |4585 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
682.11/682.38 c 669s|840000 | 24 | 0 | 0.0 | 77M| 64 | - |1400 | 109k| 0 | 0 | 0 |4622 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
690.20/690.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
690.20/690.44 c 677s|850000 | 22 | 0 | 0.0 | 77M| 64 | - |1400 | 109k| 0 | 0 | 0 |4671 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
697.80/698.00 c 684s|860000 | 23 | 0 | 0.0 | 77M| 64 | - |1400 | 109k| 0 | 0 | 0 |4707 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
706.20/706.47 c 692s|870000 | 24 | 0 | 0.0 | 77M| 66 | - |1400 | 109k| 0 | 0 | 0 |4748 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
714.49/714.78 c 701s|880000 | 24 | 0 | 0.0 | 77M| 66 | - |1400 | 109k| 0 | 0 | 0 |4800 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
722.70/722.94 c 709s|890000 | 26 | 0 | 0.0 | 77M| 66 | - |1400 | 109k| 0 | 0 | 0 |4860 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
730.59/730.87 c 716s|900000 | 26 | 0 | 0.0 | 77M| 66 | - |1400 | 109k| 0 | 0 | 0 |4923 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
738.59/738.89 c 724s|910000 | 28 | 0 | 0.0 | 77M| 66 | - |1400 | 109k| 0 | 0 | 0 |4965 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
746.99/747.25 c 733s|920000 | 26 | 0 | 0.0 | 77M| 66 | - |1400 | 109k| 0 | 0 | 0 |5042 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
755.19/755.40 c 741s|930000 | 24 | 0 | 0.0 | 77M| 66 | - |1400 | 109k| 0 | 0 | 0 |5096 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
763.19/763.42 c 748s|940000 | 23 | 0 | 0.0 | 77M| 66 | - |1400 | 109k| 0 | 0 | 0 |5129 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
770.69/770.97 c 756s|950000 | 25 | 0 | 0.0 | 77M| 66 | - |1400 | 109k| 0 | 0 | 0 |5176 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
778.98/779.22 c 764s|960000 | 27 | 0 | 0.0 | 77M| 66 | - |1400 | 109k| 0 | 0 | 0 |5225 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
787.29/787.56 c 772s|970000 | 25 | 0 | 0.0 | 77M| 66 | - |1400 | 109k| 0 | 0 | 0 |5296 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
795.67/795.94 c 780s|980000 | 26 | 0 | 0.0 | 77M| 66 | - |1400 | 109k| 0 | 0 | 0 |5355 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
804.07/804.37 c 789s|990000 | 24 | 0 | 0.0 | 77M| 66 | - |1400 | 109k| 0 | 0 | 0 |5396 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
812.68/812.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
812.68/812.97 c 797s| 1000k| 25 | 0 | 0.0 | 77M| 66 | - |1400 | 109k| 0 | 0 | 0 |5448 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
821.07/821.33 c 805s| 1010k| 23 | 0 | 0.0 | 77M| 66 | - |1400 | 109k| 0 | 0 | 0 |5507 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
829.57/829.83 c 814s| 1020k| 23 | 0 | 0.0 | 77M| 66 | - |1400 | 109k| 0 | 0 | 0 |5594 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
837.77/838.07 c 822s| 1030k| 27 | 0 | 0.0 | 77M| 66 | - |1400 | 109k| 0 | 0 | 0 |5673 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
845.96/846.27 c 830s| 1040k| 26 | 0 | 0.0 | 77M| 66 | - |1400 | 109k| 0 | 0 | 0 |5746 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
854.17/854.43 c 838s| 1050k| 25 | 0 | 0.0 | 77M| 66 | - |1400 | 109k| 0 | 0 | 0 |5817 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
862.36/862.70 c 846s| 1060k| 26 | 0 | 0.0 | 77M| 66 | - |1400 | 109k| 0 | 0 | 0 |5869 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
870.46/870.79 c 854s| 1070k| 26 | 0 | 0.0 | 77M| 66 | - |1400 | 109k| 0 | 0 | 0 |5907 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
878.75/879.03 c 862s| 1080k| 25 | 0 | 0.0 | 77M| 66 | - |1400 | 109k| 0 | 0 | 0 |5948 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
887.05/887.34 c 870s| 1090k| 25 | 0 | 0.0 | 77M| 66 | - |1400 | 109k| 0 | 0 | 0 |5990 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
895.25/895.54 c 878s| 1100k| 24 | 0 | 0.0 | 77M| 66 | - |1400 | 109k| 0 | 0 | 0 |6050 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
903.35/903.67 c 886s| 1110k| 24 | 0 | 0.0 | 77M| 66 | - |1400 | 109k| 0 | 0 | 0 |6111 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
911.35/911.67 c 894s| 1120k| 27 | 0 | 0.0 | 77M| 66 | - |1400 | 109k| 0 | 0 | 0 |6182 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
919.55/919.89 c 902s| 1130k| 24 | 0 | 0.0 | 77M| 66 | - |1400 | 109k| 0 | 0 | 0 |6235 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
927.64/927.94 c 910s| 1140k| 24 | 0 | 0.0 | 77M| 66 | - |1400 | 109k| 0 | 0 | 0 |6276 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
935.94/936.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
935.94/936.25 c 918s| 1150k| 26 | 0 | 0.0 | 77M| 66 | - |1400 | 109k| 0 | 0 | 0 |6340 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
944.33/944.61 c 927s| 1160k| 29 | 0 | 0.0 | 77M| 66 | - |1400 | 109k| 0 | 0 | 0 |6409 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
952.94/953.23 c 935s| 1170k| 25 | 0 | 0.0 | 77M| 66 | - |1400 | 109k| 0 | 0 | 0 |6453 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
961.33/961.65 c 943s| 1180k| 25 | 0 | 0.0 | 77M| 66 | - |1400 | 109k| 0 | 0 | 0 |6495 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
969.63/969.94 c 952s| 1190k| 26 | 0 | 0.0 | 77M| 66 | - |1400 | 109k| 0 | 0 | 0 |6538 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
978.03/978.37 c 960s| 1200k| 26 | 0 | 0.0 | 77M| 66 | - |1400 | 109k| 0 | 0 | 0 |6599 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
986.33/986.62 c 968s| 1210k| 23 | 0 | 0.0 | 77M| 66 | - |1400 | 109k| 0 | 0 | 0 |6656 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
994.72/995.00 c 976s| 1220k| 24 | 0 | 0.0 | 77M| 66 | - |1400 | 109k| 0 | 0 | 0 |6709 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
1002.93/1003.26 c 984s| 1230k| 24 | 0 | 0.0 | 77M| 66 | - |1400 | 109k| 0 | 0 | 0 |6751 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
1011.73/1012.04 c 993s| 1240k| 26 | 0 | 0.0 | 77M| 66 | - |1400 | 109k| 0 | 0 | 0 |6815 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
1020.31/1020.60 c 1001s| 1250k| 27 | 0 | 0.0 | 77M| 66 | - |1400 | 109k| 0 | 0 | 0 |6875 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
1028.82/1029.10 c 1010s| 1260k| 27 | 0 | 0.0 | 77M| 66 | - |1400 | 109k| 0 | 0 | 0 |6921 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
1037.51/1037.80 c 1018s| 1270k| 25 | 0 | 0.0 | 77M| 66 | - |1400 | 109k| 0 | 0 | 0 |6986 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
1045.91/1046.24 c 1027s| 1280k| 27 | 0 | 0.0 | 77M| 66 | - |1400 | 109k| 0 | 0 | 0 |7040 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
1054.20/1054.54 c 1035s| 1290k| 24 | 0 | 0.0 | 77M| 66 | - |1400 | 109k| 0 | 0 | 0 |7073 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
1062.60/1062.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1062.60/1062.98 c 1043s| 1300k| 27 | 0 | 0.0 | 77M| 66 | - |1400 | 109k| 0 | 0 | 0 |7123 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
1071.01/1071.34 c 1051s| 1310k| 25 | 0 | 0.0 | 77M| 66 | - |1400 | 109k| 0 | 0 | 0 |7163 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
1079.60/1079.93 c 1060s| 1320k| 25 | 0 | 0.0 | 77M| 66 | - |1400 | 109k| 0 | 0 | 0 |7220 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
1088.00/1088.39 c 1068s| 1330k| 25 | 0 | 0.0 | 77M| 66 | - |1400 | 109k| 0 | 0 | 0 |7267 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
1096.50/1096.86 c 1076s| 1340k| 26 | 0 | 0.0 | 77M| 66 | - |1400 | 109k| 0 | 0 | 0 |7316 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
1105.10/1105.42 c 1085s| 1350k| 26 | 0 | 0.0 | 77M| 66 | - |1400 | 109k| 0 | 0 | 0 |7372 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
1113.19/1113.52 c 1093s| 1360k| 25 | 0 | 0.0 | 77M| 66 | - |1400 | 109k| 0 | 0 | 0 |7423 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
1121.19/1121.54 c 1101s| 1370k| 26 | 0 | 0.0 | 77M| 66 | - |1400 | 109k| 0 | 0 | 0 |7486 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
1129.19/1129.56 c 1109s| 1380k| 27 | 0 | 0.0 | 77M| 66 | - |1400 | 109k| 0 | 0 | 0 |7569 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
1137.69/1138.01 c 1117s| 1390k| 27 | 0 | 0.0 | 77M| 66 | - |1400 | 109k| 0 | 0 | 0 |7617 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
1146.19/1146.57 c 1125s| 1400k| 26 | 0 | 0.0 | 77M| 66 | - |1400 | 109k| 0 | 0 | 0 |7675 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
1154.59/1154.99 c 1134s| 1410k| 24 | 0 | 0.0 | 77M| 66 | - |1400 | 109k| 0 | 0 | 0 |7717 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
1162.88/1163.29 c 1142s| 1420k| 25 | 0 | 0.0 | 77M| 66 | - |1400 | 109k| 0 | 0 | 0 |7771 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
1171.08/1171.48 c 1150s| 1430k| 28 | 0 | 0.0 | 77M| 66 | - |1400 | 109k| 0 | 0 | 0 |7820 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
1179.48/1179.87 c 1158s| 1440k| 25 | 0 | 0.0 | 77M| 66 | - |1400 | 109k| 0 | 0 | 0 |7877 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
1187.77/1188.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1187.77/1188.11 c 1166s| 1450k| 25 | 0 | 0.0 | 77M| 66 | - |1400 | 109k| 0 | 0 | 0 |7926 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
1196.07/1196.42 c 1174s| 1460k| 25 | 0 | 0.0 | 77M| 66 | - |1400 | 109k| 0 | 0 | 0 |7994 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
1204.37/1204.78 c 1183s| 1470k| 28 | 0 | 0.0 | 77M| 66 | - |1400 | 109k| 0 | 0 | 0 |8057 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
1212.67/1213.03 c 1191s| 1480k| 23 | 0 | 0.0 | 77M| 66 | - |1400 | 109k| 0 | 0 | 0 |8098 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
1221.16/1221.59 c 1199s| 1490k| 27 | 0 | 0.0 | 77M| 66 | - |1400 | 109k| 0 | 0 | 0 |8156 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
1229.47/1229.82 c 1207s| 1500k| 25 | 0 | 0.0 | 77M| 66 | - |1400 | 109k| 0 | 0 | 0 |8214 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
1237.66/1238.06 c 1215s| 1510k| 29 | 0 | 0.0 | 77M| 66 | - |1400 | 109k| 0 | 0 | 0 |8277 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
1245.75/1246.19 c 1223s| 1520k| 28 | 0 | 0.0 | 77M| 66 | - |1400 | 109k| 0 | 0 | 0 |8343 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
1253.86/1254.24 c 1231s| 1530k| 24 | 0 | 0.0 | 77M| 66 | - |1400 | 109k| 0 | 0 | 0 |8387 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
1262.05/1262.43 c 1239s| 1540k| 24 | 0 | 0.0 | 77M| 66 | - |1400 | 109k| 0 | 0 | 0 |8433 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
1270.05/1270.50 c 1247s| 1550k| 24 | 0 | 0.0 | 77M| 66 | - |1400 | 109k| 0 | 0 | 0 |8494 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
1278.05/1278.46 c 1255s| 1560k| 26 | 0 | 0.0 | 77M| 66 | - |1400 | 109k| 0 | 0 | 0 |8542 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
1286.45/1286.84 c 1263s| 1570k| 25 | 0 | 0.0 | 77M| 66 | - |1400 | 109k| 0 | 0 | 0 |8588 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
1294.64/1295.03 c 1271s| 1580k| 25 | 0 | 0.0 | 77M| 66 | - |1400 | 109k| 0 | 0 | 0 |8649 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
1302.74/1303.12 c 1279s| 1590k| 23 | 0 | 0.0 | 77M| 66 | - |1400 | 109k| 0 | 0 | 0 |8711 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
1311.14/1311.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1311.14/1311.50 c 1288s| 1600k| 24 | 0 | 0.0 | 77M| 66 | - |1400 | 109k| 0 | 0 | 0 |8774 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
1319.54/1319.94 c 1296s| 1610k| 26 | 0 | 0.0 | 77M| 66 | - |1400 | 109k| 0 | 0 | 0 |8870 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
1327.74/1328.18 c 1304s| 1620k| 26 | 0 | 0.0 | 77M| 66 | - |1400 | 109k| 0 | 0 | 0 |8911 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
1335.84/1336.29 c 1312s| 1630k| 27 | 0 | 0.0 | 77M| 66 | - |1400 | 109k| 0 | 0 | 0 |8962 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
1344.33/1344.79 c 1320s| 1640k| 24 | 0 | 0.0 | 77M| 66 | - |1400 | 109k| 0 | 0 | 0 |9005 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
1352.64/1353.04 c 1328s| 1650k| 26 | 0 | 0.0 | 77M| 66 | - |1400 | 109k| 0 | 0 | 0 |9061 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
1361.03/1361.40 c 1337s| 1660k| 27 | 0 | 0.0 | 77M| 66 | - |1400 | 109k| 0 | 0 | 0 |9106 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
1369.42/1369.88 c 1345s| 1670k| 25 | 0 | 0.0 | 77M| 66 | - |1400 | 109k| 0 | 0 | 0 |9160 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
1377.52/1377.98 c 1353s| 1680k| 24 | 0 | 0.0 | 77M| 67 | - |1400 | 109k| 0 | 0 | 0 |9217 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
1385.53/1385.91 c 1361s| 1690k| 24 | 0 | 0.0 | 77M| 67 | - |1400 | 109k| 0 | 0 | 0 |9256 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
1393.52/1393.90 c 1369s| 1700k| 26 | 0 | 0.0 | 77M| 67 | - |1400 | 109k| 0 | 0 | 0 |9289 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
1401.42/1401.81 c 1376s| 1710k| 26 | 0 | 0.0 | 77M| 67 | - |1400 | 109k| 0 | 0 | 0 |9324 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
1408.91/1409.40 c 1384s| 1720k| 25 | 0 | 0.0 | 77M| 67 | - |1400 | 109k| 0 | 0 | 0 |9380 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
1417.11/1417.54 c 1392s| 1730k| 28 | 0 | 0.0 | 77M| 67 | - |1400 | 109k| 0 | 0 | 0 |9422 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
1424.91/1425.32 c 1399s| 1740k| 27 | 0 | 0.0 | 77M| 67 | - |1400 | 109k| 0 | 0 | 0 |9474 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
1432.91/1433.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1432.91/1433.34 c 1407s| 1750k| 27 | 0 | 0.0 | 77M| 67 | - |1400 | 109k| 0 | 0 | 0 |9511 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
1440.61/1441.08 c 1415s| 1760k| 25 | 0 | 0.0 | 77M| 67 | - |1400 | 109k| 0 | 0 | 0 |9556 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
1448.40/1448.81 c 1423s| 1770k| 24 | 0 | 0.0 | 77M| 67 | - |1400 | 109k| 0 | 0 | 0 |9614 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
1456.01/1456.46 c 1430s| 1780k| 27 | 0 | 0.0 | 77M| 67 | - |1400 | 109k| 0 | 0 | 0 |9653 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
1464.30/1464.74 c 1438s| 1790k| 24 | 0 | 0.0 | 77M| 67 | - |1400 | 109k| 0 | 0 | 0 |9705 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
1472.40/1472.85 c 1446s| 1800k| 24 | 0 | 0.0 | 77M| 67 | - |1400 | 109k| 0 | 0 | 0 |9743 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
1480.40/1480.87 c 1454s| 1810k| 27 | 0 | 0.0 | 77M| 67 | - |1400 | 109k| 0 | 0 | 0 |9780 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
1488.60/1489.06 c 1462s| 1820k| 24 | 0 | 0.0 | 77M| 67 | - |1400 | 109k| 0 | 0 | 0 |9836 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
1496.80/1497.20 c 1470s| 1830k| 25 | 0 | 0.0 | 77M| 67 | - |1400 | 109k| 0 | 0 | 0 |9858 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
1504.79/1505.29 c 1478s| 1840k| 25 | 0 | 0.0 | 77M| 67 | - |1400 | 109k| 0 | 0 | 0 |9891 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
1512.89/1513.34 c 1486s| 1850k| 24 | 0 | 0.0 | 77M| 67 | - |1400 | 109k| 0 | 0 | 0 |9928 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
1520.79/1521.20 c 1494s| 1860k| 24 | 0 | 0.0 | 77M| 67 | - |1400 | 109k| 0 | 0 | 0 |9967 | 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
1528.59/1529.03 c 1501s| 1870k| 27 | 0 | 0.0 | 77M| 67 | - |1400 | 109k| 0 | 0 | 0 | 10k| 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
1536.19/1536.63 c 1509s| 1880k| 23 | 0 | 0.0 | 77M| 67 | - |1400 | 109k| 0 | 0 | 0 | 10k| 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
1544.38/1544.86 c 1517s| 1890k| 25 | 0 | 0.0 | 77M| 67 | - |1400 | 109k| 0 | 0 | 0 | 10k| 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
1552.58/1553.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1552.58/1553.08 c 1525s| 1900k| 28 | 0 | 0.0 | 77M| 67 | - |1400 | 109k| 0 | 0 | 0 | 10k| 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
1560.38/1560.86 c 1533s| 1910k| 24 | 0 | 0.0 | 77M| 67 | - |1400 | 109k| 0 | 0 | 0 | 10k| 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
1568.27/1568.74 c 1540s| 1920k| 27 | 0 | 0.0 | 77M| 67 | - |1400 | 109k| 0 | 0 | 0 | 10k| 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
1576.27/1576.73 c 1548s| 1930k| 27 | 0 | 0.0 | 77M| 67 | - |1400 | 109k| 0 | 0 | 0 | 10k| 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
1584.17/1584.62 c 1556s| 1940k| 25 | 0 | 0.0 | 77M| 67 | - |1400 | 109k| 0 | 0 | 0 | 10k| 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
1592.27/1592.73 c 1564s| 1950k| 25 | 0 | 0.0 | 77M| 67 | - |1400 | 109k| 0 | 0 | 0 | 10k| 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
1600.07/1600.55 c 1572s| 1960k| 27 | 0 | 0.0 | 77M| 67 | - |1400 | 109k| 0 | 0 | 0 | 10k| 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
1607.97/1608.46 c 1580s| 1970k| 24 | 0 | 0.0 | 77M| 67 | - |1400 | 109k| 0 | 0 | 0 | 10k| 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
1615.96/1616.42 c 1587s| 1980k| 27 | 0 | 0.0 | 77M| 67 | - |1400 | 109k| 0 | 0 | 0 | 10k| 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
1623.76/1624.22 c 1595s| 1990k| 28 | 0 | 0.0 | 77M| 67 | - |1400 | 109k| 0 | 0 | 0 | 10k| 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
1631.86/1632.32 c 1603s| 2000k| 25 | 0 | 0.0 | 77M| 67 | - |1400 | 109k| 0 | 0 | 0 | 10k| 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
1639.67/1640.17 c 1611s| 2010k| 25 | 0 | 0.0 | 77M| 67 | - |1400 | 109k| 0 | 0 | 0 | 10k| 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
1647.95/1648.45 c 1619s| 2020k| 25 | 0 | 0.0 | 77M| 67 | - |1400 | 109k| 0 | 0 | 0 | 10k| 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
1655.85/1656.36 c 1627s| 2030k| 26 | 0 | 0.0 | 77M| 67 | - |1400 | 109k| 0 | 0 | 0 | 10k| 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
1663.64/1664.14 c 1634s| 2040k| 26 | 0 | 0.0 | 77M| 67 | - |1400 | 109k| 0 | 0 | 0 | 10k| 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
1671.64/1672.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1671.64/1672.11 c 1642s| 2050k| 24 | 0 | 0.0 | 77M| 67 | - |1400 | 109k| 0 | 0 | 0 | 10k| 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
1680.04/1680.58 c 1650s| 2060k| 25 | 0 | 0.0 | 77M| 67 | - |1400 | 109k| 0 | 0 | 0 | 11k| 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
1688.44/1688.94 c 1659s| 2070k| 24 | 0 | 0.0 | 77M| 67 | - |1400 | 109k| 0 | 0 | 0 | 11k| 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
1696.44/1696.97 c 1667s| 2080k| 24 | 0 | 0.0 | 77M| 67 | - |1400 | 109k| 0 | 0 | 0 | 11k| 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
1704.93/1705.40 c 1675s| 2090k| 24 | 0 | 0.0 | 77M| 69 | - |1400 | 109k| 0 | 0 | 0 | 11k| 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
1713.35/1713.88 c 1683s| 2100k| 26 | 0 | 0.0 | 77M| 69 | - |1400 | 109k| 0 | 0 | 0 | 11k| 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
1721.94/1722.41 c 1692s| 2110k| 26 | 0 | 0.0 | 77M| 69 | - |1400 | 109k| 0 | 0 | 0 | 11k| 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
1730.13/1730.60 c 1700s| 2120k| 25 | 0 | 0.0 | 77M| 69 | - |1400 | 109k| 0 | 0 | 0 | 11k| 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
1738.13/1738.67 c 1708s| 2130k| 28 | 0 | 0.0 | 77M| 69 | - |1400 | 109k| 0 | 0 | 0 | 11k| 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
1746.33/1746.84 c 1716s| 2140k| 27 | 0 | 0.0 | 77M| 69 | - |1400 | 109k| 0 | 0 | 0 | 11k| 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
1754.22/1754.73 c 1723s| 2150k| 26 | 0 | 0.0 | 77M| 69 | - |1400 | 109k| 0 | 0 | 0 | 11k| 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
1762.02/1762.55 c 1731s| 2160k| 24 | 0 | 0.0 | 77M| 69 | - |1400 | 109k| 0 | 0 | 0 | 11k| 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
1769.82/1770.39 c 1739s| 2170k| 24 | 0 | 0.0 | 77M| 69 | - |1400 | 109k| 0 | 0 | 0 | 11k| 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
1777.62/1778.11 c 1746s| 2180k| 25 | 0 | 0.0 | 77M| 69 | - |1400 | 109k| 0 | 0 | 0 | 11k| 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
1785.42/1785.91 c 1754s| 2190k| 24 | 0 | 0.0 | 77M| 69 | - |1400 | 109k| 0 | 0 | 0 | 11k| 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
1793.31/1793.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1793.31/1793.86 c 1762s| 2200k| 26 | 0 | 0.0 | 77M| 69 | - |1400 | 109k| 0 | 0 | 0 | 11k| 0 |-1.399000e+03 |-3.800000e+01 | 97.28%
1800.02/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.51 c
1800.02/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.51 c Solving Time (sec) : 1768.45
1800.02/1800.51 c Solving Nodes : 2207999
1800.02/1800.51 c Primal Bound : -3.80000000000000e+01 (8 solutions)
1800.02/1800.51 c Dual Bound : -1.39900000000000e+03
1800.02/1800.51 c Gap : 97.28 %
1800.02/1800.57 s SATISFIABLE
1800.02/1800.57 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28
1800.02/1800.57 v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53
1800.02/1800.57 v -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78
1800.02/1800.57 v -x79 -x80 x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103
1800.02/1800.57 v -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124
1800.02/1800.57 v -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145
1800.02/1800.57 v -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 x165 -x166
1800.02/1800.57 v -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187
1800.02/1800.57 v -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208
1800.02/1800.57 v -x209 x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229
1800.02/1800.57 v -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250
1800.02/1800.57 v -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270
1800.02/1800.57 v -x271 -x272 x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 x290 -x291 -x292
1800.02/1800.57 v -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312
1800.02/1800.57 v -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333
1800.02/1800.57 v -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 x348 -x349 -x350 -x351 -x352 -x353 -x354
1800.02/1800.57 v -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375
1800.02/1800.57 v -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396
1800.02/1800.57 v -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417
1800.02/1800.57 v -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438
1800.02/1800.57 v -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459
1800.02/1800.57 v -x460 -x461 -x462 -x463 -x464 -x465 x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480
1800.02/1800.57 v -x481 x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501
1800.02/1800.57 v -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521
1800.02/1800.57 v -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542
1800.02/1800.57 v -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 x559 -x560 -x561 -x562 -x563
1800.02/1800.57 v -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584
1800.02/1800.57 v -x585 -x586 -x587 -x588 -x589 x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 x601 -x602 -x603 -x604 -x605
1800.02/1800.57 v -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626
1800.02/1800.57 v -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647
1800.02/1800.57 v -x648 -x649 -x650 -x651 -x652 -x653 x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668
1800.02/1800.57 v -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689
1800.02/1800.57 v -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710
1800.02/1800.57 v -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731
1800.02/1800.57 v -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751
1800.02/1800.57 v -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772
1800.02/1800.57 v -x773 -x774 -x775 -x776 -x777 -x778 -x779 x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793
1800.02/1800.57 v -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814
1800.02/1800.57 v -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 x829 -x830 -x831 -x832 -x833 -x834 -x835
1800.02/1800.57 v -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856
1800.02/1800.57 v -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877
1800.02/1800.57 v -x878 -x879 -x880 -x881 -x882 -x883 -x884 x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898
1800.02/1800.57 v -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 x914 -x915 -x916 -x917 -x918 -x919
1800.02/1800.57 v -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940
1800.02/1800.57 v -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961
1800.02/1800.57 v -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982
1800.02/1800.57 v -x983 -x984 -x985 -x986 -x987 -x988 x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002
1800.02/1800.57 v -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020
1800.02/1800.57 v -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038
1800.02/1800.57 v -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056
1800.02/1800.57 v -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074
1800.02/1800.57 v -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092
1800.02/1800.57 v -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110
1800.02/1800.57 v -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 x1128
1800.02/1800.57 v -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146
1800.02/1800.57 v -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163
1800.02/1800.57 v -x1164 -x1165 x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181
1800.02/1800.57 v -x1182 -x1183 -x1184 -x1185 -x1186 x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199
1800.02/1800.57 v -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217
1800.02/1800.57 v -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 x1235
1800.02/1800.57 v -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253
1800.02/1800.57 v -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271
1800.02/1800.57 v -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289
1800.02/1800.57 v -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307
1800.02/1800.57 v -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 x1324 -x1325
1800.02/1800.57 v -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343
1800.02/1800.57 v -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 x1356 -x1357 -x1358 -x1359 -x1360 -x1361
1800.02/1800.57 v -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379
1800.02/1800.57 v -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396
1800.02/1800.57 v -x1397 -x1398 -x1399 -x1400
1800.02/1800.57 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.57 c Solving Time : 1768.45
1800.02/1800.57 c Original Problem :
1800.02/1800.57 c Problem name : HOME/instance-2664072-1276496478.opb
1800.02/1800.57 c Variables : 1400 (1400 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.57 c Constraints : 109401 initial, 109401 maximal
1800.02/1800.57 c Presolved Problem :
1800.02/1800.57 c Problem name : t_HOME/instance-2664072-1276496478.opb
1800.02/1800.57 c Variables : 1400 (1400 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.57 c Constraints : 109401 initial, 109415 maximal
1800.02/1800.57 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.02/1800.57 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.57 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.57 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.57 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.57 c implics : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.57 c probing : 2.22 0 0 0 0 0 0 0 0
1800.02/1800.57 c logicor : 0.31 0 0 0 0 0 0 0 0
1800.02/1800.57 c root node : - 0 - - 0 - - - -
1800.02/1800.57 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.02/1800.57 c integral : 0 0 0 0 0 0 0 0 0 0
1800.02/1800.57 c logicor : 109401+ 0 2078498 0 5 110248 3450930 0 0 0
1800.02/1800.57 c countsols : 0 0 0 0 5 0 0 0 0 0
1800.02/1800.57 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.02/1800.57 c integral : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.57 c logicor : 420.63 0.00 420.53 0.00 0.10
1800.02/1800.57 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.57 c Propagators : Time Calls Cutoffs DomReds
1800.02/1800.57 c vbounds : 1.73 2 0 0
1800.02/1800.57 c rootredcost : 1.38 0 0 0
1800.02/1800.57 c pseudoobj : 466.78 3332069 766925 835555
1800.02/1800.57 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.57 c propagation : 207.72 110248 11739 11739 44.9 0 0.0 -
1800.02/1800.57 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.57 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.57 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.57 c pseudo solution : 613.40 222068 0 0 0.0 0 0.0 -
1800.02/1800.57 c applied globally : - - - 11739 44.9 - - -
1800.02/1800.57 c applied locally : - - - 0 0.0 - - -
1800.02/1800.57 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.57 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.02/1800.57 c redcost : 0.00 0 0 0 0 0
1800.02/1800.57 c impliedbounds : 0.00 0 0 0 0 0
1800.02/1800.57 c intobj : 0.00 0 0 0 0 0
1800.02/1800.57 c cgmip : 0.00 0 0 0 0 0
1800.02/1800.57 c gomory : 0.00 0 0 0 0 0
1800.02/1800.57 c strongcg : 0.00 0 0 0 0 0
1800.02/1800.57 c cmir : 0.00 0 0 0 0 0
1800.02/1800.57 c flowcover : 0.00 0 0 0 0 0
1800.02/1800.57 c clique : 0.00 0 0 0 0 0
1800.02/1800.57 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.57 c mcf : 0.00 0 0 0 0 0
1800.02/1800.57 c rapidlearning : 0.00 0 0 0 0 0
1800.02/1800.57 c Pricers : Time Calls Vars
1800.02/1800.57 c problem variables: 0.00 0 0
1800.02/1800.57 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.57 c relpscost : 0.00 0 0 0 0 0 0
1800.02/1800.57 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.57 c inference : 12.11 1116278 0 0 0 0 2232556
1800.02/1800.57 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.57 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.57 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.57 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.57 c random : 0.00 0 0 0 0 0 0
1800.02/1800.57 c Primal Heuristics : Time Calls Found
1800.02/1800.57 c LP solutions : 0.00 - 0
1800.02/1800.57 c pseudo solutions : 0.00 - 5
1800.02/1800.57 c oneopt : 2.25 0 0
1800.02/1800.57 c trivial : 0.06 2 3
1800.02/1800.57 c simplerounding : 0.00 0 0
1800.02/1800.57 c zirounding : 0.00 0 0
1800.02/1800.57 c rounding : 0.00 0 0
1800.02/1800.57 c shifting : 0.00 0 0
1800.02/1800.57 c intshifting : 0.00 0 0
1800.02/1800.57 c twoopt : 0.00 0 0
1800.02/1800.57 c fixandinfer : 0.00 0 0
1800.02/1800.57 c feaspump : 0.00 0 0
1800.02/1800.57 c coefdiving : 0.00 0 0
1800.02/1800.57 c pscostdiving : 0.00 0 0
1800.02/1800.57 c fracdiving : 0.00 0 0
1800.02/1800.57 c veclendiving : 0.00 0 0
1800.02/1800.57 c intdiving : 0.00 0 0
1800.02/1800.57 c actconsdiving : 0.00 0 0
1800.02/1800.57 c objpscostdiving : 0.00 0 0
1800.02/1800.57 c rootsoldiving : 0.00 0 0
1800.02/1800.57 c linesearchdiving : 0.00 0 0
1800.02/1800.57 c guideddiving : 0.00 0 0
1800.02/1800.57 c octane : 0.00 0 0
1800.02/1800.57 c rens : 0.00 0 0
1800.02/1800.57 c rins : 0.00 0 0
1800.02/1800.57 c localbranching : 0.00 0 0
1800.02/1800.57 c mutation : 0.00 0 0
1800.02/1800.57 c crossover : 0.00 0 0
1800.02/1800.57 c dins : 0.00 0 0
1800.02/1800.57 c undercover : 0.00 0 0
1800.02/1800.57 c nlp : 1.08 0 0
1800.02/1800.57 c trysol : 1.06 0 0
1800.02/1800.57 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.57 c primal LP : 0.00 0 0 0.00 -
1800.02/1800.57 c dual LP : 0.00 0 0 0.00 -
1800.02/1800.57 c lex dual LP : 0.00 0 0 0.00 -
1800.02/1800.57 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.57 c diving/probing LP: 0.00 0 0 0.00 -
1800.02/1800.57 c strong branching : 0.00 0 0 0.00 -
1800.02/1800.57 c (at root node) : - 0 0 0.00 -
1800.02/1800.57 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.57 c B&B Tree :
1800.02/1800.57 c number of runs : 1
1800.02/1800.57 c nodes : 2207999
1800.02/1800.57 c nodes (total) : 2207999
1800.02/1800.57 c nodes left : 27
1800.02/1800.57 c max depth : 69
1800.02/1800.57 c max depth (total): 69
1800.02/1800.57 c backtracks : 394766 (17.9%)
1800.02/1800.57 c delayed cutoffs : 8258
1800.02/1800.57 c repropagations : 9887 (29125 domain reductions, 7525 cutoffs)
1800.02/1800.57 c avg switch length: 2.00
1800.02/1800.57 c switching time : 133.38
1800.02/1800.57 c Solution :
1800.02/1800.57 c Solutions found : 8 (6 improvements)
1800.02/1800.57 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.17 seconds, depth 0, found by <trivial>)
1800.02/1800.57 c Primal Bound : -3.80000000000000e+01 (in run 1, after 77624 nodes, 66.64 seconds, depth 42, found by <relaxation>)
1800.02/1800.57 c Dual Bound : -1.39900000000000e+03
1800.02/1800.57 c Gap : 97.28 %
1800.02/1800.57 c Root Dual Bound : -1.40000000000000e+03
1800.02/1800.57 c Root Iterations : 0
1800.31/1800.81 c Time complete: 1800.33.
OK -38
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2664072-1276496478/watcher-2664072-1276496478 -o /tmp/evaluation-result-2664072-1276496478/solver-2664072-1276496478 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664072-1276496478.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.03 1.07 1.02 3/106 27340 /proc/meminfo: memFree=1617196/2059040 swapFree=4192956/4192956 [pid=27340] ppid=27338 vsize=6584 CPUtime=0 /proc/27340/stat : 27340 (pbscip.linux.x8) R 27338 27340 26871 0 -1 4202496 957 0 0 0 0 0 0 0 17 0 1 0 25251574 6742016 880 1992294400 4194304 7136930 140733205224016 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27340/statm: 1646 890 254 719 0 925 0 [startup+0.0604039 s] /proc/loadavg: 1.03 1.07 1.02 3/106 27340 /proc/meminfo: memFree=1617196/2059040 swapFree=4192956/4192956 [pid=27340] ppid=27338 vsize=10772 CPUtime=0.05 /proc/27340/stat : 27340 (pbscip.linux.x8) R 27338 27340 26871 0 -1 4202496 2182 0 0 0 5 0 0 0 17 0 1 0 25251574 11030528 2105 1992294400 4194304 7136930 140733205224016 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27340/statm: 2693 2105 271 719 0 1972 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 10772 [startup+0.101408 s] /proc/loadavg: 1.03 1.07 1.02 3/106 27340 /proc/meminfo: memFree=1617196/2059040 swapFree=4192956/4192956 [pid=27340] ppid=27338 vsize=12340 CPUtime=0.1 /proc/27340/stat : 27340 (pbscip.linux.x8) R 27338 27340 26871 0 -1 4202496 2585 0 0 0 9 1 0 0 17 0 1 0 25251574 12636160 2508 1992294400 4194304 7136930 140733205224016 18446744073709551615 6339947 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27340/statm: 3085 2508 271 719 0 2364 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 12340 [startup+0.301434 s] /proc/loadavg: 1.03 1.07 1.02 3/106 27340 /proc/meminfo: memFree=1617196/2059040 swapFree=4192956/4192956 [pid=27340] ppid=27338 vsize=16832 CPUtime=0.29 /proc/27340/stat : 27340 (pbscip.linux.x8) R 27338 27340 26871 0 -1 4202496 3714 0 0 0 28 1 0 0 17 0 1 0 25251574 17235968 3637 1992294400 4194304 7136930 140733205224016 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27340/statm: 4208 3637 271 719 0 3487 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 16832 [startup+0.700476 s] /proc/loadavg: 1.03 1.07 1.02 3/106 27340 /proc/meminfo: memFree=1617196/2059040 swapFree=4192956/4192956 [pid=27340] ppid=27338 vsize=24576 CPUtime=0.69 /proc/27340/stat : 27340 (pbscip.linux.x8) R 27338 27340 26871 0 -1 4202496 5645 0 0 0 67 2 0 0 17 0 1 0 25251574 25165824 5568 1992294400 4194304 7136930 140733205224016 18446744073709551615 6177472 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27340/statm: 6144 5568 271 719 0 5423 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 24576 [startup+1.50056 s] /proc/loadavg: 1.03 1.07 1.02 2/107 27341 /proc/meminfo: memFree=1589288/2059040 swapFree=4192956/4192956 [pid=27340] ppid=27338 vsize=41168 CPUtime=1.49 /proc/27340/stat : 27340 (pbscip.linux.x8) R 27338 27340 26871 0 -1 4202496 9794 0 0 0 145 4 0 0 18 0 1 0 25251574 42156032 9717 1992294400 4194304 7136930 140733205224016 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27340/statm: 10292 9717 271 719 0 9571 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 41168 [startup+3.10074 s] /proc/loadavg: 1.03 1.07 1.02 2/107 27341 /proc/meminfo: memFree=1508812/2059040 swapFree=4192956/4192956 [pid=27340] ppid=27338 vsize=140872 CPUtime=3.09 /proc/27340/stat : 27340 (pbscip.linux.x8) R 27338 27340 26871 0 -1 4202496 38131 0 0 0 279 30 0 0 21 0 1 0 25251574 144252928 34196 1992294400 4194304 7136930 140733205224016 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27340/statm: 35218 34196 349 719 0 34497 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 140872 [startup+6.3011 s] /proc/loadavg: 1.03 1.07 1.01 2/107 27341 /proc/meminfo: memFree=1493684/2059040 swapFree=4192956/4192956 [pid=27340] ppid=27338 vsize=128656 CPUtime=6.29 /proc/27340/stat : 27340 (pbscip.linux.x8) R 27338 27340 26871 0 -1 4202496 48286 0 0 0 581 48 0 0 25 0 1 0 25251574 131743744 31300 1992294400 4194304 7136930 140733205224016 18446744073709551615 5907472 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27340/statm: 32164 31300 385 719 0 31443 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 128656 [startup+12.7008 s] /proc/loadavg: 1.03 1.07 1.01 2/107 27341 /proc/meminfo: memFree=1492692/2059040 swapFree=4192956/4192956 [pid=27340] ppid=27338 vsize=128656 CPUtime=12.69 /proc/27340/stat : 27340 (pbscip.linux.x8) R 27338 27340 26871 0 -1 4202496 48286 0 0 0 1211 58 0 0 25 0 1 0 25251574 131743744 31300 1992294400 4194304 7136930 140733205224016 18446744073709551615 5906008 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27340/statm: 32164 31300 385 719 0 31443 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 128656 [startup+25.5012 s] /proc/loadavg: 1.02 1.06 1.01 2/107 27341 /proc/meminfo: memFree=1492692/2059040 swapFree=4192956/4192956 [pid=27340] ppid=27338 vsize=128656 CPUtime=25.49 /proc/27340/stat : 27340 (pbscip.linux.x8) R 27338 27340 26871 0 -1 4202496 48286 0 0 0 2470 79 0 0 25 0 1 0 25251574 131743744 31300 1992294400 4194304 7136930 140733205224016 18446744073709551615 4703672 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27340/statm: 32164 31300 385 719 0 31443 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 128656 [startup+51.1011 s] /proc/loadavg: 1.01 1.06 1.01 2/107 27343 /proc/meminfo: memFree=1492692/2059040 swapFree=4192956/4192956 [pid=27340] ppid=27338 vsize=128656 CPUtime=51.07 /proc/27340/stat : 27340 (pbscip.linux.x8) R 27338 27340 26871 0 -1 4202496 48286 0 0 0 4988 119 0 0 25 0 1 0 25251574 131743744 31300 1992294400 4194304 7136930 140733205224016 18446744073709551615 5907457 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27340/statm: 32164 31300 385 719 0 31443 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 128656 [startup+102.309 s] /proc/loadavg: 1.00 1.05 1.01 2/107 27343 /proc/meminfo: memFree=1492692/2059040 swapFree=4192956/4192956 [pid=27340] ppid=27338 vsize=128656 CPUtime=102.26 /proc/27340/stat : 27340 (pbscip.linux.x8) R 27338 27340 26871 0 -1 4202496 48286 0 0 0 10022 204 0 0 25 0 1 0 25251574 131743744 31300 1992294400 4194304 7136930 140733205224016 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27340/statm: 32164 31300 385 719 0 31443 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 128656 [startup+162.301 s] /proc/loadavg: 1.00 1.04 1.00 2/107 27345 /proc/meminfo: memFree=1492568/2059040 swapFree=4192956/4192956 [pid=27340] ppid=27338 vsize=128656 CPUtime=162.24 /proc/27340/stat : 27340 (pbscip.linux.x8) R 27338 27340 26871 0 -1 4202496 48286 0 0 0 15917 307 0 0 25 0 1 0 25251574 131743744 31300 1992294400 4194304 7136930 140733205224016 18446744073709551615 4704749 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27340/statm: 32164 31300 385 719 0 31443 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 128656 [startup+222.301 s] /proc/loadavg: 1.00 1.03 1.00 2/107 27347 /proc/meminfo: memFree=1492568/2059040 swapFree=4192956/4192956 [pid=27340] ppid=27338 vsize=128656 CPUtime=222.23 /proc/27340/stat : 27340 (pbscip.linux.x8) R 27338 27340 26871 0 -1 4202496 48286 0 0 0 21816 407 0 0 25 0 1 0 25251574 131743744 31300 1992294400 4194304 7136930 140733205224016 18446744073709551615 4703819 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27340/statm: 32164 31300 385 719 0 31443 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 128656 [startup+282.302 s] /proc/loadavg: 1.00 1.02 1.00 2/107 27349 /proc/meminfo: memFree=1492444/2059040 swapFree=4192956/4192956 [pid=27340] ppid=27338 vsize=128656 CPUtime=282.21 /proc/27340/stat : 27340 (pbscip.linux.x8) R 27338 27340 26871 0 -1 4202496 48286 0 0 0 27709 512 0 0 25 0 1 0 25251574 131743744 31300 1992294400 4194304 7136930 140733205224016 18446744073709551615 5907472 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27340/statm: 32164 31300 385 719 0 31443 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 128656 [startup+342.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 27351 /proc/meminfo: memFree=1492320/2059040 swapFree=4192956/4192956 [pid=27340] ppid=27338 vsize=128656 CPUtime=342.2 /proc/27340/stat : 27340 (pbscip.linux.x8) R 27338 27340 26871 0 -1 4202496 48286 0 0 0 33616 604 0 0 25 0 1 0 25251574 131743744 31300 1992294400 4194304 7136930 140733205224016 18446744073709551615 5907447 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27340/statm: 32164 31300 385 719 0 31443 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 128656 [startup+402.302 s] /proc/loadavg: 1.00 1.01 1.00 2/107 27351 /proc/meminfo: memFree=1492320/2059040 swapFree=4192956/4192956 [pid=27340] ppid=27338 vsize=128656 CPUtime=402.18 /proc/27340/stat : 27340 (pbscip.linux.x8) R 27338 27340 26871 0 -1 4202496 48286 0 0 0 39512 706 0 0 25 0 1 0 25251574 131743744 31300 1992294400 4194304 7136930 140733205224016 18446744073709551615 4210349 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27340/statm: 32164 31300 385 719 0 31443 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 128656 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27353 /proc/meminfo: memFree=1492196/2059040 swapFree=4192956/4192956 [pid=27340] ppid=27338 vsize=128656 CPUtime=462.16 /proc/27340/stat : 27340 (pbscip.linux.x8) R 27338 27340 26871 0 -1 4202496 48286 0 0 0 45405 811 0 0 25 0 1 0 25251574 131743744 31300 1992294400 4194304 7136930 140733205224016 18446744073709551615 5907472 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27340/statm: 32164 31300 385 719 0 31443 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 128656 [startup+522.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27355 /proc/meminfo: memFree=1492072/2059040 swapFree=4192956/4192956 [pid=27340] ppid=27338 vsize=128656 CPUtime=522.15 /proc/27340/stat : 27340 (pbscip.linux.x8) R 27338 27340 26871 0 -1 4202496 48286 0 0 0 51305 910 0 0 25 0 1 0 25251574 131743744 31300 1992294400 4194304 7136930 140733205224016 18446744073709551615 4208861 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27340/statm: 32164 31300 385 719 0 31443 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 128656 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27357 /proc/meminfo: memFree=1492072/2059040 swapFree=4192956/4192956 [pid=27340] ppid=27338 vsize=128656 CPUtime=582.14 /proc/27340/stat : 27340 (pbscip.linux.x8) R 27338 27340 26871 0 -1 4202496 48286 0 0 0 57208 1006 0 0 25 0 1 0 25251574 131743744 31300 1992294400 4194304 7136930 140733205224016 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27340/statm: 32164 31300 385 719 0 31443 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 128656 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27359 /proc/meminfo: memFree=1491948/2059040 swapFree=4192956/4192956 [pid=27340] ppid=27338 vsize=128656 CPUtime=642.13 /proc/27340/stat : 27340 (pbscip.linux.x8) R 27338 27340 26871 0 -1 4202496 48286 0 0 0 63110 1103 0 0 25 0 1 0 25251574 131743744 31300 1992294400 4194304 7136930 140733205224016 18446744073709551615 5907474 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27340/statm: 32164 31300 385 719 0 31443 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 128656 [startup+702.3 s] ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27367 /proc/meminfo: memFree=1491576/2059040 swapFree=4192956/4192956 [pid=27340] ppid=27338 vsize=128656 CPUtime=942.04 /proc/27340/stat : 27340 (pbscip.linux.x8) R 27338 27340 26871 0 -1 4202496 48286 0 0 0 92611 1593 0 0 25 0 1 0 25251574 131743744 31300 1992294400 4194304 7136930 140733205224016 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27340/statm: 32164 31300 385 719 0 31443 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 128656 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27367 /proc/meminfo: memFree=1491576/2059040 swapFree=4192956/4192956 [pid=27340] ppid=27338 vsize=128656 CPUtime=1002.02 /proc/27340/stat : 27340 (pbscip.linux.x8) R 27338 27340 26871 0 -1 4202496 48286 0 0 0 98517 1685 0 0 25 0 1 0 25251574 131743744 31300 1992294400 4194304 7136930 140733205224016 18446744073709551615 5907483 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27340/statm: 32164 31300 385 719 0 31443 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 128656 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27369 /proc/meminfo: memFree=1491452/2059040 swapFree=4192956/4192956 [pid=27340] ppid=27338 vsize=128656 CPUtime=1062.01 /proc/27340/stat : 27340 (pbscip.linux.x8) R 27338 27340 26871 0 -1 4202496 48286 0 0 0 104420 1781 0 0 25 0 1 0 25251574 131743744 31300 1992294400 4194304 7136930 140733205224016 18446744073709551615 5907457 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27340/statm: 32164 31300 385 719 0 31443 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 128656 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27371 /proc/meminfo: memFree=1491452/2059040 swapFree=4192956/4192956 [pid=27340] ppid=27338 vsize=128656 CPUtime=1121.99 /proc/27340/stat : 27340 (pbscip.linux.x8) R 27338 27340 26871 0 -1 4202496 48286 0 0 0 110326 1873 0 0 25 0 1 0 25251574 131743744 31300 1992294400 4194304 7136930 140733205224016 18446744073709551615 5907180 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27340/statm: 32164 31300 385 719 0 31443 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 128656 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27373 /proc/meminfo: memFree=1491452/2059040 swapFree=4192956/4192956 [pid=27340] ppid=27338 vsize=128656 CPUtime=1181.98 /proc/27340/stat : 27340 (pbscip.linux.x8) R 27338 27340 26871 0 -1 4202496 48286 0 0 0 116234 1964 0 0 25 0 1 0 25251574 131743744 31300 1992294400 4194304 7136930 140733205224016 18446744073709551615 5907472 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27340/statm: 32164 31300 385 719 0 31443 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 128656 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27375 /proc/meminfo: memFree=1491204/2059040 swapFree=4192956/4192956 [pid=27340] ppid=27338 vsize=128656 CPUtime=1241.96 /proc/27340/stat : 27340 (pbscip.linux.x8) R 27338 27340 26871 0 -1 4202496 48286 0 0 0 122132 2064 0 0 25 0 1 0 25251574 131743744 31300 1992294400 4194304 7136930 140733205224016 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27340/statm: 32164 31300 385 719 0 31443 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 128656 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27375 /proc/meminfo: memFree=1491080/2059040 swapFree=4192956/4192956 [pid=27340] ppid=27338 vsize=128656 CPUtime=1301.95 /proc/27340/stat : 27340 (pbscip.linux.x8) R 27338 27340 26871 0 -1 4202496 48286 0 0 0 128024 2171 0 0 25 0 1 0 25251574 131743744 31300 1992294400 4194304 7136930 140733205224016 18446744073709551615 5907474 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27340/statm: 32164 31300 385 719 0 31443 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 128656 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27377 /proc/meminfo: memFree=1491080/2059040 swapFree=4192956/4192956 [pid=27340] ppid=27338 vsize=128656 CPUtime=1361.93 /proc/27340/stat : 27340 (pbscip.linux.x8) R 27338 27340 26871 0 -1 4202496 48286 0 0 0 133925 2268 0 0 25 0 1 0 25251574 131743744 31300 1992294400 4194304 7136930 140733205224016 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27340/statm: 32164 31300 385 719 0 31443 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 128656 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27379 /proc/meminfo: memFree=1491080/2059040 swapFree=4192956/4192956 [pid=27340] ppid=27338 vsize=128656 CPUtime=1421.92 /proc/27340/stat : 27340 (pbscip.linux.x8) R 27338 27340 26871 0 -1 4202496 48286 0 0 0 139825 2367 0 0 25 0 1 0 25251574 131743744 31300 1992294400 4194304 7136930 140733205224016 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27340/statm: 32164 31300 385 719 0 31443 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 128656 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27381 /proc/meminfo: memFree=1491080/2059040 swapFree=4192956/4192956 [pid=27340] ppid=27338 vsize=128656 CPUtime=1481.89 /proc/27340/stat : 27340 (pbscip.linux.x8) R 27338 27340 26871 0 -1 4202496 48286 0 0 0 145722 2467 0 0 25 0 1 0 25251574 131743744 31300 1992294400 4194304 7136930 140733205224016 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27340/statm: 32164 31300 385 719 0 31443 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 128656 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27383 /proc/meminfo: memFree=1491080/2059040 swapFree=4192956/4192956 [pid=27340] ppid=27338 vsize=128656 CPUtime=1541.88 /proc/27340/stat : 27340 (pbscip.linux.x8) R 27338 27340 26871 0 -1 4202496 48286 0 0 0 151624 2564 0 0 25 0 1 0 25251574 131743744 31300 1992294400 4194304 7136930 140733205224016 18446744073709551615 4648638 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27340/statm: 32164 31300 385 719 0 31443 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 128656 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27383 /proc/meminfo: memFree=1491080/2059040 swapFree=4192956/4192956 [pid=27340] ppid=27338 vsize=128656 CPUtime=1601.86 /proc/27340/stat : 27340 (pbscip.linux.x8) R 27338 27340 26871 0 -1 4202496 48286 0 0 0 157522 2664 0 0 25 0 1 0 25251574 131743744 31300 1992294400 4194304 7136930 140733205224016 18446744073709551615 4998689 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27340/statm: 32164 31300 385 719 0 31443 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 128656 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27385 /proc/meminfo: memFree=1490956/2059040 swapFree=4192956/4192956 [pid=27340] ppid=27338 vsize=128656 CPUtime=1661.85 /proc/27340/stat : 27340 (pbscip.linux.x8) R 27338 27340 26871 0 -1 4202496 48286 0 0 0 163418 2767 0 0 25 0 1 0 25251574 131743744 31300 1992294400 4194304 7136930 140733205224016 18446744073709551615 4210033 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27340/statm: 32164 31300 385 719 0 31443 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 128656 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27387 /proc/meminfo: memFree=1490832/2059040 swapFree=4192956/4192956 [pid=27340] ppid=27338 vsize=128656 CPUtime=1721.84 /proc/27340/stat : 27340 (pbscip.linux.x8) R 27338 27340 26871 0 -1 4202496 48286 0 0 0 169327 2857 0 0 25 0 1 0 25251574 131743744 31300 1992294400 4194304 7136930 140733205224016 18446744073709551615 4648638 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27340/statm: 32164 31300 385 719 0 31443 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 128656 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27389 /proc/meminfo: memFree=1490584/2059040 swapFree=4192956/4192956 [pid=27340] ppid=27338 vsize=128656 CPUtime=1781.81 /proc/27340/stat : 27340 (pbscip.linux.x8) R 27338 27340 26871 0 -1 4202496 48286 0 0 0 175228 2953 0 0 25 0 1 0 25251574 131743744 31300 1992294400 4194304 7136930 140733205224016 18446744073709551615 5909091 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27340/statm: 32164 31300 385 719 0 31443 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 128656 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27389 /proc/meminfo: memFree=1490708/2059040 swapFree=4192956/4192956 [pid=27340] ppid=27338 vsize=128656 CPUtime=1800.02 /proc/27340/stat : 27340 (pbscip.linux.x8) R 27338 27340 26871 0 -1 4202496 48286 0 0 0 177019 2983 0 0 25 0 1 0 25251574 131743744 31300 1992294400 4194304 7136930 140733205224016 18446744073709551615 5913025 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27340/statm: 32164 31300 385 719 0 31443 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 128656 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 27390 /proc/meminfo: memFree=1490700/2059040 swapFree=4192956/4192956 [pid=27340] ppid=27338 vsize=127628 CPUtime=1800.13 /proc/27340/stat : 27340 (pbscip.linux.x8) R 27338 27340 26871 0 -1 4202496 48292 0 0 0 177030 2983 0 0 25 0 1 0 25251574 130691072 31049 1992294400 4194304 7136930 140733205224016 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27340/statm: 31907 31049 391 719 0 31186 0 Current children cumulated CPU time (s) 1800.13 Current children cumulated vsize (KiB) 127628 [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.00 2/108 27390 /proc/meminfo: memFree=1490700/2059040 swapFree=4192956/4192956 [pid=27340] ppid=27338 vsize=41128 CPUtime=1800.31 /proc/27340/stat : 27340 (pbscip.linux.x8) R 27338 27340 26871 0 -1 4202496 48292 0 0 0 177047 2984 0 0 25 0 1 0 25251574 42115072 9724 1992294400 4194304 7136930 140733205224016 18446744073709551615 6165594 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27340/statm: 10282 9724 391 719 0 9561 0 Current children cumulated CPU time (s) 1800.31 Current children cumulated vsize (KiB) 41128 Child status: 0 Real time (s): 1800.81 CPU time (s): 1800.33 CPU user time (s): 1770.48 CPU system time (s): 29.8505 CPU usage (%): 99.9734 Max. virtual memory (cumulated for all children) (KiB): 145992 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1770.48 system time used= 29.8505 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 48299 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= 4521 runsolver used 2.88756 second user time and 8.60669 second system time The end
Begin job on node005 at 2010-06-14 08:21:19 IDJOB=2664072 IDBENCH=2248 IDSOLVER=1167 FILE ID=node005/2664072-1276496478 PBS_JOBID= 11173393 Free space on /tmp= 62560 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-2.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-2664072-1276496478/watcher-2664072-1276496478 -o /tmp/evaluation-result-2664072-1276496478/solver-2664072-1276496478 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664072-1276496478.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 62a6bdf0e089cd0b8a79007277394096 RANDOM SEED=307113592 node005.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.246 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.49 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.246 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: 1617724 kB Buffers: 146420 kB Cached: 164816 kB SwapCached: 0 kB Active: 174980 kB Inactive: 195588 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1617724 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 5944 kB Writeback: 12 kB AnonPages: 59324 kB Mapped: 15404 kB Slab: 49032 kB PageTables: 4076 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182448 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= 62556 MiB End job on node005 at 2010-06-14 08:51:21