Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver | SAT (TO) | 25 | 1800.18 | 1800.69 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_024_area_delay.opb |
| MD5SUM | 58f3055ef9bb388e237f57f2627386e0 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 24 |
| Best CPU time to get the best result obtained on this benchmark | 3.21351 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 24 |
| Optimality of the best value was proved | YES |
| Number of variables | 3392 |
| Total number of constraints | 9001 |
| Number of constraints which are clauses | 9001 |
| 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 | 63 |
| Number of terms in the objective function | 1642 |
| 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 | 1642 |
| Number of bits of the sum of numbers in the objective function | 11 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 1642 |
| 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: Clp 1.11.1] [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-2665362-1276633665.opb>
0.09/0.15 c original problem has 3392 variables (3392 bin, 0 int, 0 impl, 0 cont) and 9001 constraints
0.09/0.15 c problem read
0.09/0.15 c presolving settings loaded
0.19/0.20 c presolving:
0.19/0.28 c (round 1) 1712 del vars, 3315 del conss, 100 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 14286 impls, 0 clqs
0.19/0.29 c (round 2) 1712 del vars, 3471 del conss, 100 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 14286 impls, 0 clqs
0.29/0.36 c (round 3) 1712 del vars, 3471 del conss, 100 chg bounds, 0 chg sides, 0 chg coeffs, 5519 upgd conss, 14286 impls, 0 clqs
0.29/0.38 c (round 4) 1712 del vars, 3471 del conss, 100 chg bounds, 0 chg sides, 0 chg coeffs, 5530 upgd conss, 14286 impls, 0 clqs
0.39/0.44 c (0.2s) probing: 101/1680 (6.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.39/0.44 c (0.2s) probing aborted: 100/100 successive totally useless probings
0.39/0.44 c presolving (5 rounds):
0.39/0.44 c 1712 deleted vars, 3471 deleted constraints, 100 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.39/0.44 c 14286 implications, 0 cliques
0.39/0.44 c presolved problem has 1680 variables (1680 bin, 0 int, 0 impl, 0 cont) and 5530 constraints
0.39/0.44 c 5530 constraints of type <logicor>
0.39/0.44 c transformed objective value is always integral (scale: 1)
0.39/0.44 c Presolving Time: 0.22
0.39/0.44 c - non default parameters ----------------------------------------------------------------------
0.39/0.44 c # SCIP version 1.2.1.2
0.39/0.44 c
0.39/0.44 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.39/0.44 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.44 c conflict/interconss = 0
0.39/0.44 c
0.39/0.44 c # should binary conflicts be preferred?
0.39/0.44 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.44 c conflict/preferbinary = TRUE
0.39/0.44 c
0.39/0.44 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.39/0.44 c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.44 c constraints/agelimit = 1
0.39/0.44 c
0.39/0.44 c # should enforcement of pseudo solution be disabled?
0.39/0.44 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.44 c constraints/disableenfops = TRUE
0.39/0.44 c
0.39/0.44 c # frequency for displaying node information lines
0.39/0.44 c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.44 c display/freq = 10000
0.39/0.44 c
0.39/0.44 c # maximal time in seconds to run
0.39/0.44 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.44 c limits/time = 1799.85
0.39/0.44 c
0.39/0.44 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.44 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.44 c limits/memory = 1620
0.39/0.44 c
0.39/0.44 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.39/0.44 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.44 c lp/solvefreq = 0
0.39/0.44 c
0.39/0.44 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)
0.39/0.44 c # [type: char, range: {lafpsqd}, default: l]
0.39/0.44 c lp/pricing = a
0.39/0.44 c
0.39/0.44 c # should presolving try to simplify inequalities
0.39/0.44 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.44 c constraints/linear/simplifyinequalities = TRUE
0.39/0.44 c
0.39/0.44 c # should presolving try to simplify knapsacks
0.39/0.44 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.44 c constraints/knapsack/simplifyinequalities = TRUE
0.39/0.44 c
0.39/0.44 c # priority of node selection rule <dfs> in standard mode
0.39/0.44 c # [type: int, range: [-536870912,536870911], default: 0]
0.39/0.44 c nodeselection/dfs/stdpriority = 1000000
0.39/0.44 c
0.39/0.44 c -----------------------------------------------------------------------------------------------
0.39/0.44 c start solving
0.39/0.45 c
0.49/0.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.49/0.58 c 0.4s| 1 | 0 | 583 | - | 15M| 0 | 166 |1680 |5530 |1680 |5530 | 0 | 0 | 0 | 2.179167e+01 | -- | Inf
0.49/0.58 o 48
0.49/0.58 c R 0.4s| 1 | 0 | 583 | - | 15M| 0 | 166 |1680 |5530 |1680 |5530 | 0 | 0 | 0 | 2.179167e+01 | 4.800000e+01 | 120.27%
1.10/1.19 c 0.9s| 1 | 0 | 769 | - | 15M| 0 | 207 |1680 |5530 |1680 |5533 | 3 | 0 | 0 | 2.191179e+01 | 4.800000e+01 | 119.06%
1.69/1.78 c 1.5s| 1 | 0 | 844 | - | 16M| 0 | 149 |1680 |5530 |1680 |5539 | 9 | 0 | 0 | 2.193799e+01 | 4.800000e+01 | 118.80%
1.69/1.79 o 46
1.69/1.79 c R 1.5s| 1 | 0 | 844 | - | 16M| 0 | 149 |1680 |5530 |1680 |5539 | 9 | 0 | 0 | 2.193799e+01 | 4.600000e+01 | 109.68%
3.09/3.11 c 2.9s| 1 | 0 | 953 | - | 16M| 0 | 159 |1680 |5530 |1680 |5542 | 12 | 0 | 0 | 2.200582e+01 | 4.600000e+01 | 109.04%
4.29/4.38 c 4.1s| 1 | 0 | 1017 | - | 17M| 0 | 176 |1680 |5530 |1680 |5548 | 18 | 0 | 0 | 2.201333e+01 | 4.600000e+01 | 108.96%
5.59/5.62 c 5.3s| 1 | 0 | 1208 | - | 17M| 0 | 150 |1680 |5530 |1680 |5551 | 21 | 0 | 0 | 2.203387e+01 | 4.600000e+01 | 108.77%
5.59/5.62 o 45
5.59/5.62 c R 5.3s| 1 | 0 | 1208 | - | 17M| 0 | 150 |1680 |5530 |1680 |5551 | 21 | 0 | 0 | 2.203387e+01 | 4.500000e+01 | 104.23%
6.89/6.94 c 6.7s| 1 | 0 | 1377 | - | 17M| 0 | 180 |1680 |5530 |1680 |5555 | 25 | 0 | 0 | 2.206158e+01 | 4.500000e+01 | 103.97%
8.49/8.54 c 8.2s| 1 | 0 | 1679 | - | 17M| 0 | 228 |1680 |5530 |1680 |5559 | 29 | 0 | 0 | 2.300000e+01 | 4.500000e+01 | 95.65%
9.99/10.01 c 9.7s| 1 | 0 | 1846 | - | 18M| 0 | 249 |1680 |5530 |1680 |5566 | 36 | 0 | 0 | 2.300000e+01 | 4.500000e+01 | 95.65%
11.58/11.63 c 11.3s| 1 | 0 | 1909 | - | 19M| 0 | 218 |1680 |5530 |1680 |5571 | 41 | 0 | 0 | 2.300000e+01 | 4.500000e+01 | 95.65%
12.98/13.08 c 12.7s| 1 | 0 | 2036 | - | 19M| 0 | 222 |1680 |5530 |1680 |5575 | 45 | 0 | 0 | 2.300000e+01 | 4.500000e+01 | 95.65%
14.49/14.58 c 14.2s| 1 | 0 | 2147 | - | 20M| 0 | 201 |1680 |5530 |1680 |5576 | 48 | 0 | 0 | 2.300000e+01 | 4.500000e+01 | 95.65%
15.99/16.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
15.99/16.09 c 15.7s| 1 | 0 | 2288 | - | 20M| 0 | 185 |1680 |5530 |1680 |5580 | 52 | 0 | 0 | 2.300000e+01 | 4.500000e+01 | 95.65%
16.79/16.86 o 25
16.79/16.86 c E16.4s| 1 | 0 | 2288 | - | 20M| 0 | 185 |1680 |5530 |1680 |5580 | 52 | 0 | 0 | 2.300000e+01 | 2.500000e+01 | 8.70%
16.79/16.87 c 16.4s| 1 | 0 | 2288 | - | 20M| 0 | 185 |1680 |5530 |1680 |5580 | 52 | 0 | 0 | 2.300000e+01 | 2.500000e+01 | 8.70%
18.59/18.62 c 18.1s| 1 | 0 | 2394 | - | 21M| 0 | 194 |1680 |5530 |1680 |5583 | 55 | 0 | 0 | 2.300000e+01 | 2.500000e+01 | 8.70%
24.38/24.40 c 23.9s| 1 | 2 | 2394 | - | 21M| 0 | 194 |1680 |5530 |1680 |5583 | 55 | 0 | 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
29.69/29.75 c 29.0s| 10000 | 1124 | 2394 | 0.0 | 21M|1151 | - |1680 |5532 | 0 | 0 | 55 |5556 | 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
35.28/35.31 c 34.2s| 20000 | 1125 | 2394 | 0.0 | 21M|1151 | - |1680 |5552 | 0 | 0 | 55 | 11k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
40.97/41.04 c 39.7s| 30000 | 1122 | 2394 | 0.0 | 21M|1151 | - |1680 |5557 | 0 | 0 | 55 | 17k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
46.68/46.70 c 45.1s| 40000 | 1122 | 2394 | 0.0 | 21M|1151 | - |1680 |5553 | 0 | 0 | 55 | 23k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
52.98/53.00 c 51.1s| 50000 | 1128 | 2394 | 0.0 | 21M|1151 | - |1680 |5553 | 0 | 0 | 55 | 30k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
58.78/58.84 c 56.7s| 60000 | 1125 | 2394 | 0.0 | 21M|1151 | - |1680 |5538 | 0 | 0 | 55 | 36k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
64.78/64.84 c 62.4s| 70000 | 1123 | 2394 | 0.0 | 21M|1151 | - |1680 |5543 | 0 | 0 | 55 | 43k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
70.17/70.26 c 67.5s| 80000 | 1125 | 2394 | 0.0 | 21M|1151 | - |1680 |5540 | 0 | 0 | 55 | 49k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
75.47/75.53 c 72.6s| 90000 | 1124 | 2394 | 0.0 | 21M|1151 | - |1680 |5534 | 0 | 0 | 55 | 55k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
80.77/80.88 c 77.7s|100000 | 1128 | 2394 | 0.0 | 21M|1151 | - |1680 |5532 | 0 | 0 | 55 | 61k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
86.27/86.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
86.27/86.38 c 82.9s|110000 | 1126 | 2394 | 0.0 | 21M|1151 | - |1680 |5556 | 0 | 0 | 55 | 67k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
91.76/91.81 c 88.1s|120000 | 1123 | 2394 | 0.0 | 21M|1151 | - |1680 |5545 | 0 | 0 | 55 | 73k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
97.57/97.60 c 93.6s|130000 | 1120 | 2394 | 0.0 | 21M|1151 | - |1680 |5559 | 0 | 0 | 55 | 79k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
102.86/102.99 c 98.7s|140000 | 1126 | 2394 | 0.0 | 21M|1151 | - |1680 |5562 | 0 | 0 | 55 | 85k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
108.56/108.61 c 104s|150000 | 1120 | 2394 | 0.0 | 21M|1151 | - |1680 |5557 | 0 | 0 | 55 | 91k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
114.46/114.52 c 110s|160000 | 1123 | 2394 | 0.0 | 21M|1151 | - |1680 |5539 | 0 | 0 | 55 | 97k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
120.35/120.46 c 115s|170000 | 1122 | 2394 | 0.0 | 21M|1151 | - |1680 |5534 | 0 | 0 | 55 | 102k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
125.96/126.01 c 121s|180000 | 1122 | 2394 | 0.0 | 21M|1151 | - |1680 |5542 | 0 | 0 | 55 | 108k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
131.35/131.44 c 126s|190000 | 1122 | 2394 | 0.0 | 21M|1151 | - |1680 |5544 | 0 | 0 | 55 | 114k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
136.95/137.05 c 131s|200000 | 1120 | 2394 | 0.0 | 21M|1151 | - |1680 |5541 | 0 | 0 | 55 | 120k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
142.75/142.82 c 137s|210000 | 1118 | 2394 | 0.0 | 21M|1151 | - |1680 |5548 | 0 | 0 | 55 | 126k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
148.36/148.49 c 142s|220000 | 1122 | 2394 | 0.0 | 21M|1151 | - |1680 |5551 | 0 | 0 | 55 | 132k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
153.85/153.91 c 147s|230000 | 1115 | 2394 | 0.0 | 21M|1151 | - |1680 |5546 | 0 | 0 | 55 | 138k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
159.54/159.64 c 153s|240000 | 1125 | 2394 | 0.0 | 21M|1151 | - |1680 |5562 | 0 | 0 | 55 | 144k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
165.04/165.13 c 158s|250000 | 1119 | 2394 | 0.0 | 21M|1151 | - |1680 |5543 | 0 | 0 | 55 | 150k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
170.64/170.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
170.64/170.77 c 163s|260000 | 1114 | 2394 | 0.0 | 21M|1151 | - |1680 |5558 | 0 | 0 | 55 | 156k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
175.74/175.87 c 168s|270000 | 1123 | 2394 | 0.0 | 21M|1151 | - |1680 |5540 | 0 | 0 | 55 | 162k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
181.14/181.25 c 173s|280000 | 1114 | 2394 | 0.0 | 21M|1151 | - |1680 |5565 | 0 | 0 | 55 | 168k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
186.64/186.79 c 179s|290000 | 1120 | 2394 | 0.0 | 21M|1151 | - |1680 |5535 | 0 | 0 | 55 | 174k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
192.13/192.28 c 184s|300000 | 1119 | 2394 | 0.0 | 21M|1151 | - |1680 |5557 | 0 | 0 | 55 | 180k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
197.94/198.08 c 189s|310000 | 1114 | 2394 | 0.0 | 21M|1151 | - |1680 |5544 | 0 | 0 | 55 | 186k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
203.54/203.62 c 195s|320000 | 1120 | 2394 | 0.0 | 21M|1151 | - |1680 |5545 | 0 | 0 | 55 | 193k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
208.94/209.01 c 200s|330000 | 1122 | 2394 | 0.0 | 21M|1151 | - |1680 |5538 | 0 | 0 | 55 | 199k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
214.83/214.96 c 206s|340000 | 1115 | 2394 | 0.0 | 21M|1151 | - |1680 |5538 | 0 | 0 | 55 | 205k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
220.62/220.79 c 211s|350000 | 1111 | 2394 | 0.0 | 21M|1151 | - |1680 |5561 | 0 | 0 | 55 | 212k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
226.33/226.47 c 217s|360000 | 1120 | 2394 | 0.0 | 21M|1151 | - |1680 |5537 | 0 | 0 | 55 | 218k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
231.83/231.99 c 222s|370000 | 1121 | 2394 | 0.0 | 21M|1151 | - |1680 |5558 | 0 | 0 | 55 | 224k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
237.43/237.53 c 227s|380000 | 1121 | 2394 | 0.0 | 21M|1151 | - |1680 |5540 | 0 | 0 | 55 | 230k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
242.52/242.64 c 232s|390000 | 1117 | 2394 | 0.0 | 21M|1151 | - |1680 |5552 | 0 | 0 | 55 | 235k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
247.82/247.96 c 237s|400000 | 1121 | 2394 | 0.0 | 21M|1151 | - |1680 |5542 | 0 | 0 | 55 | 241k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
253.82/253.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
253.82/253.97 c 243s|410000 | 1114 | 2394 | 0.0 | 21M|1151 | - |1680 |5536 | 0 | 0 | 55 | 247k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
259.11/259.27 c 248s|420000 | 1112 | 2394 | 0.0 | 21M|1151 | - |1680 |5561 | 0 | 0 | 55 | 253k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
264.51/264.66 c 253s|430000 | 1116 | 2394 | 0.0 | 21M|1151 | - |1680 |5560 | 0 | 0 | 55 | 258k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
270.11/270.26 c 258s|440000 | 1114 | 2394 | 0.0 | 21M|1151 | - |1680 |5551 | 0 | 0 | 55 | 264k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
275.62/275.79 c 264s|450000 | 1117 | 2394 | 0.0 | 21M|1151 | - |1680 |5562 | 0 | 0 | 55 | 270k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
281.22/281.34 c 269s|460000 | 1115 | 2394 | 0.0 | 21M|1151 | - |1680 |5561 | 0 | 0 | 55 | 276k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
287.02/287.17 c 274s|470000 | 1117 | 2394 | 0.0 | 21M|1151 | - |1680 |5553 | 0 | 0 | 55 | 282k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
293.01/293.17 c 280s|480000 | 1112 | 2394 | 0.0 | 21M|1151 | - |1680 |5563 | 0 | 0 | 55 | 288k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
298.50/298.63 c 285s|490000 | 1116 | 2394 | 0.0 | 21M|1151 | - |1680 |5569 | 0 | 0 | 55 | 294k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
304.01/304.16 c 291s|500000 | 1110 | 2394 | 0.0 | 21M|1151 | - |1680 |5576 | 0 | 0 | 55 | 300k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
309.90/310.05 c 296s|510000 | 1115 | 2394 | 0.0 | 21M|1151 | - |1680 |5573 | 0 | 0 | 55 | 306k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
315.61/315.77 c 302s|520000 | 1127 | 2394 | 0.0 | 21M|1151 | - |1680 |5549 | 0 | 0 | 55 | 312k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
320.80/320.96 c 307s|530000 | 1113 | 2394 | 0.0 | 21M|1151 | - |1680 |5548 | 0 | 0 | 55 | 317k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
326.51/326.68 c 312s|540000 | 1117 | 2394 | 0.0 | 21M|1151 | - |1680 |5544 | 0 | 0 | 55 | 325k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
332.50/332.66 c 318s|550000 | 1119 | 2394 | 0.0 | 21M|1151 | - |1680 |5539 | 0 | 0 | 55 | 331k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
338.19/338.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
338.19/338.36 c 323s|560000 | 1115 | 2394 | 0.0 | 21M|1151 | - |1680 |5548 | 0 | 0 | 55 | 337k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
343.69/343.81 c 328s|570000 | 1118 | 2394 | 0.0 | 21M|1151 | - |1680 |5550 | 0 | 0 | 55 | 343k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
349.19/349.37 c 334s|580000 | 1112 | 2394 | 0.0 | 21M|1151 | - |1680 |5543 | 0 | 0 | 55 | 349k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
354.79/354.92 c 339s|590000 | 1107 | 2394 | 0.0 | 21M|1151 | - |1680 |5559 | 0 | 0 | 55 | 354k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
360.19/360.39 c 344s|600000 | 1117 | 2394 | 0.0 | 21M|1151 | - |1680 |5542 | 0 | 0 | 55 | 360k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
365.49/365.61 c 349s|610000 | 1110 | 2394 | 0.0 | 21M|1151 | - |1680 |5554 | 0 | 0 | 55 | 366k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
370.88/371.04 c 354s|620000 | 1119 | 2394 | 0.0 | 21M|1151 | - |1680 |5542 | 0 | 0 | 55 | 371k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
376.19/376.31 c 359s|630000 | 1116 | 2394 | 0.0 | 21M|1151 | - |1680 |5543 | 0 | 0 | 55 | 377k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
381.79/381.96 c 365s|640000 | 1111 | 2394 | 0.0 | 21M|1151 | - |1680 |5570 | 0 | 0 | 55 | 382k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
387.48/387.66 c 370s|650000 | 1115 | 2394 | 0.0 | 21M|1151 | - |1680 |5542 | 0 | 0 | 55 | 388k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
393.48/393.65 c 376s|660000 | 1108 | 2394 | 0.0 | 21M|1151 | - |1680 |5549 | 0 | 0 | 55 | 394k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
399.28/399.48 c 381s|670000 | 1115 | 2394 | 0.0 | 21M|1151 | - |1680 |5538 | 0 | 0 | 55 | 400k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
404.78/404.98 c 387s|680000 | 1112 | 2394 | 0.0 | 21M|1151 | - |1680 |5539 | 0 | 0 | 55 | 406k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
410.38/410.60 c 392s|690000 | 1120 | 2394 | 0.0 | 21M|1151 | - |1680 |5546 | 0 | 0 | 55 | 412k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
416.57/416.77 c 398s|700000 | 1115 | 2394 | 0.0 | 21M|1151 | - |1680 |5536 | 0 | 0 | 55 | 418k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
422.57/422.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
422.57/422.70 c 404s|710000 | 1118 | 2394 | 0.0 | 21M|1151 | - |1680 |5538 | 0 | 0 | 55 | 424k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
428.17/428.33 c 409s|720000 | 1115 | 2394 | 0.0 | 21M|1151 | - |1680 |5547 | 0 | 0 | 55 | 430k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
433.77/433.90 c 414s|730000 | 1115 | 2394 | 0.0 | 21M|1151 | - |1680 |5538 | 0 | 0 | 55 | 435k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
439.06/439.30 c 419s|740000 | 1117 | 2394 | 0.0 | 21M|1151 | - |1680 |5542 | 0 | 0 | 55 | 441k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
444.36/444.52 c 424s|750000 | 1115 | 2394 | 0.0 | 21M|1151 | - |1680 |5548 | 0 | 0 | 55 | 446k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
449.36/449.50 c 429s|760000 | 1114 | 2394 | 0.0 | 21M|1151 | - |1680 |5573 | 0 | 0 | 55 | 452k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
454.47/454.62 c 434s|770000 | 1113 | 2394 | 0.0 | 21M|1151 | - |1680 |5554 | 0 | 0 | 55 | 458k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
460.26/460.42 c 439s|780000 | 1115 | 2394 | 0.0 | 21M|1151 | - |1680 |5549 | 0 | 0 | 55 | 464k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
466.26/466.47 c 445s|790000 | 1108 | 2394 | 0.0 | 21M|1151 | - |1680 |5553 | 0 | 0 | 55 | 470k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
471.76/471.93 c 450s|800000 | 1113 | 2394 | 0.0 | 21M|1151 | - |1680 |5552 | 0 | 0 | 55 | 475k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
477.76/477.93 c 456s|810000 | 1115 | 2394 | 0.0 | 21M|1151 | - |1680 |5538 | 0 | 0 | 55 | 482k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
483.35/483.57 c 462s|820000 | 1110 | 2394 | 0.0 | 21M|1151 | - |1680 |5548 | 0 | 0 | 55 | 488k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
489.46/489.62 c 467s|830000 | 1109 | 2394 | 0.0 | 21M|1151 | - |1680 |5555 | 0 | 0 | 55 | 494k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
495.96/496.17 c 474s|840000 | 1114 | 2394 | 0.0 | 21M|1151 | - |1680 |5543 | 0 | 0 | 55 | 500k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
501.65/501.85 c 479s|850000 | 1108 | 2394 | 0.0 | 21M|1151 | - |1680 |5564 | 0 | 0 | 55 | 506k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
507.25/507.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
507.25/507.46 c 484s|860000 | 1108 | 2394 | 0.0 | 21M|1151 | - |1680 |5542 | 0 | 0 | 55 | 512k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
513.34/513.57 c 490s|870000 | 1113 | 2394 | 0.0 | 21M|1151 | - |1680 |5547 | 0 | 0 | 55 | 518k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
518.95/519.16 c 495s|880000 | 1109 | 2394 | 0.0 | 21M|1151 | - |1680 |5540 | 0 | 0 | 55 | 524k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
524.55/524.78 c 501s|890000 | 1113 | 2394 | 0.0 | 21M|1151 | - |1680 |5533 | 0 | 0 | 55 | 530k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
530.54/530.78 c 507s|900000 | 1113 | 2394 | 0.0 | 21M|1151 | - |1680 |5551 | 0 | 0 | 55 | 536k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
537.04/537.28 c 513s|910000 | 1117 | 2394 | 0.0 | 21M|1151 | - |1680 |5541 | 0 | 0 | 55 | 543k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
543.34/543.58 c 519s|920000 | 1109 | 2394 | 0.0 | 21M|1151 | - |1680 |5547 | 0 | 0 | 55 | 549k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
549.93/550.12 c 525s|930000 | 1109 | 2394 | 0.0 | 21M|1151 | - |1680 |5554 | 0 | 0 | 55 | 555k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
556.03/556.22 c 531s|940000 | 1108 | 2394 | 0.0 | 21M|1151 | - |1680 |5554 | 0 | 0 | 55 | 561k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
561.33/561.58 c 536s|950000 | 1115 | 2394 | 0.0 | 21M|1151 | - |1680 |5552 | 0 | 0 | 55 | 567k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
566.93/567.10 c 541s|960000 | 1111 | 2394 | 0.0 | 21M|1151 | - |1680 |5556 | 0 | 0 | 55 | 572k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
572.43/572.68 c 547s|970000 | 1110 | 2394 | 0.0 | 21M|1151 | - |1680 |5561 | 0 | 0 | 55 | 578k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
578.03/578.22 c 552s|980000 | 1108 | 2394 | 0.0 | 21M|1151 | - |1680 |5594 | 0 | 0 | 55 | 584k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
583.43/583.66 c 557s|990000 | 1111 | 2394 | 0.0 | 21M|1151 | - |1680 |5559 | 0 | 0 | 55 | 589k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
589.43/589.67 c 563s| 1000k| 1111 | 2394 | 0.0 | 21M|1151 | - |1680 |5548 | 0 | 0 | 55 | 596k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
595.52/595.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
595.52/595.71 c 569s| 1010k| 1113 | 2394 | 0.0 | 21M|1151 | - |1680 |5553 | 0 | 0 | 55 | 602k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
601.22/601.47 c 574s| 1020k| 1112 | 2394 | 0.0 | 21M|1151 | - |1680 |5565 | 0 | 0 | 55 | 608k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
607.12/607.30 c 580s| 1030k| 1114 | 2394 | 0.0 | 21M|1151 | - |1680 |5552 | 0 | 0 | 55 | 613k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
613.22/613.45 c 585s| 1040k| 1106 | 2394 | 0.0 | 21M|1151 | - |1680 |5544 | 0 | 0 | 55 | 620k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
618.91/619.10 c 591s| 1050k| 1110 | 2394 | 0.0 | 21M|1151 | - |1680 |5549 | 0 | 0 | 55 | 625k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
624.71/624.99 c 596s| 1060k| 1105 | 2394 | 0.0 | 21M|1151 | - |1680 |5566 | 0 | 0 | 55 | 631k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
631.12/631.39 c 603s| 1070k| 1108 | 2394 | 0.0 | 21M|1151 | - |1680 |5592 | 0 | 0 | 55 | 637k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
636.72/636.94 c 608s| 1080k| 1113 | 2394 | 0.0 | 21M|1151 | - |1680 |5603 | 0 | 0 | 55 | 643k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
642.61/642.80 c 613s| 1090k| 1112 | 2394 | 0.0 | 21M|1151 | - |1680 |5615 | 0 | 0 | 55 | 649k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
648.72/648.93 c 619s| 1100k| 1113 | 2394 | 0.0 | 21M|1151 | - |1680 |5608 | 0 | 0 | 55 | 655k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
654.50/654.77 c 625s| 1110k| 1108 | 2394 | 0.0 | 21M|1151 | - |1680 |5626 | 0 | 0 | 55 | 661k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
660.01/660.21 c 630s| 1120k| 1113 | 2394 | 0.0 | 21M|1151 | - |1680 |5613 | 0 | 0 | 55 | 667k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
665.31/665.54 c 635s| 1130k| 1107 | 2394 | 0.0 | 21M|1151 | - |1680 |5612 | 0 | 0 | 55 | 672k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
670.71/670.99 c 640s| 1140k| 1113 | 2394 | 0.0 | 21M|1151 | - |1680 |5613 | 0 | 0 | 55 | 678k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
676.31/676.56 c 646s| 1150k| 1114 | 2394 | 0.0 | 21M|1151 | - |1680 |5609 | 0 | 0 | 55 | 683k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
682.30/682.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
682.30/682.51 c 651s| 1160k| 1111 | 2394 | 0.0 | 21M|1151 | - |1680 |5621 | 0 | 0 | 55 | 689k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
688.40/688.62 c 657s| 1170k| 1116 | 2394 | 0.0 | 21M|1151 | - |1680 |5607 | 0 | 0 | 55 | 695k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
694.40/694.64 c 663s| 1180k| 1106 | 2394 | 0.0 | 21M|1151 | - |1680 |5614 | 0 | 0 | 55 | 701k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
700.59/700.82 c 669s| 1190k| 1111 | 2394 | 0.0 | 21M|1151 | - |1680 |5606 | 0 | 0 | 55 | 707k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
706.19/706.44 c 674s| 1200k| 1112 | 2394 | 0.0 | 21M|1151 | - |1680 |5615 | 0 | 0 | 55 | 713k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
711.59/711.81 c 679s| 1210k| 1121 | 2394 | 0.0 | 21M|1151 | - |1680 |5625 | 0 | 0 | 55 | 718k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
717.19/717.46 c 685s| 1220k| 1106 | 2394 | 0.0 | 21M|1151 | - |1680 |5632 | 0 | 0 | 55 | 723k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
722.89/723.12 c 690s| 1230k| 1108 | 2394 | 0.0 | 21M|1151 | - |1680 |5568 | 0 | 0 | 55 | 729k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
728.39/728.68 c 696s| 1240k| 1108 | 2394 | 0.0 | 21M|1151 | - |1680 |5574 | 0 | 0 | 55 | 734k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
734.89/735.15 c 702s| 1250k| 1111 | 2394 | 0.0 | 21M|1151 | - |1680 |5555 | 0 | 0 | 55 | 741k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
741.09/741.31 c 708s| 1260k| 1108 | 2394 | 0.0 | 21M|1151 | - |1680 |5568 | 0 | 0 | 55 | 747k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
746.59/746.90 c 713s| 1270k| 1107 | 2394 | 0.0 | 21M|1151 | - |1680 |5552 | 0 | 0 | 55 | 753k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
752.48/752.74 c 718s| 1280k| 1113 | 2394 | 0.0 | 21M|1151 | - |1680 |5575 | 0 | 0 | 55 | 760k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
758.48/758.78 c 724s| 1290k| 1105 | 2394 | 0.0 | 21M|1151 | - |1680 |5563 | 0 | 0 | 55 | 767k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
764.58/764.80 c 730s| 1300k| 1114 | 2394 | 0.0 | 21M|1151 | - |1680 |5553 | 0 | 0 | 55 | 773k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
770.58/770.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
770.58/770.85 c 736s| 1310k| 1111 | 2394 | 0.0 | 21M|1151 | - |1680 |5556 | 0 | 0 | 55 | 779k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
776.28/776.59 c 741s| 1320k| 1111 | 2394 | 0.0 | 21M|1151 | - |1680 |5565 | 0 | 0 | 55 | 785k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
782.17/782.50 c 747s| 1330k| 1107 | 2394 | 0.0 | 21M|1151 | - |1680 |5556 | 0 | 0 | 55 | 792k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
787.97/788.28 c 752s| 1340k| 1109 | 2394 | 0.0 | 21M|1151 | - |1680 |5562 | 0 | 0 | 55 | 798k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
793.87/794.15 c 758s| 1350k| 1109 | 2394 | 0.0 | 21M|1151 | - |1680 |5552 | 0 | 0 | 55 | 804k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
800.06/800.34 c 764s| 1360k| 1111 | 2394 | 0.0 | 21M|1151 | - |1680 |5573 | 0 | 0 | 55 | 810k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
805.97/806.26 c 770s| 1370k| 1113 | 2394 | 0.0 | 21M|1151 | - |1680 |5568 | 0 | 0 | 55 | 816k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
811.96/812.23 c 775s| 1380k| 1100 | 2394 | 0.0 | 21M|1151 | - |1680 |5584 | 0 | 0 | 55 | 822k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
817.56/817.80 c 781s| 1390k| 1112 | 2394 | 0.0 | 21M|1151 | - |1680 |5552 | 0 | 0 | 55 | 828k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
823.46/823.70 c 786s| 1400k| 1107 | 2394 | 0.0 | 21M|1151 | - |1680 |5544 | 0 | 0 | 55 | 834k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
829.36/829.63 c 792s| 1410k| 1112 | 2394 | 0.0 | 21M|1151 | - |1680 |5537 | 0 | 0 | 55 | 840k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
835.36/835.65 c 798s| 1420k| 1116 | 2394 | 0.0 | 21M|1151 | - |1680 |5538 | 0 | 0 | 55 | 845k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
841.35/841.61 c 803s| 1430k| 1114 | 2394 | 0.0 | 21M|1151 | - |1680 |5554 | 0 | 0 | 55 | 852k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
847.25/847.53 c 809s| 1440k| 1108 | 2394 | 0.0 | 21M|1151 | - |1680 |5561 | 0 | 0 | 55 | 857k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
853.05/853.35 c 815s| 1450k| 1113 | 2394 | 0.0 | 21M|1151 | - |1680 |5550 | 0 | 0 | 55 | 863k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
858.65/858.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
858.65/858.94 c 820s| 1460k| 1109 | 2394 | 0.0 | 21M|1151 | - |1680 |5538 | 0 | 0 | 55 | 869k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
864.36/864.63 c 825s| 1470k| 1109 | 2394 | 0.0 | 21M|1151 | - |1680 |5548 | 0 | 0 | 55 | 875k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
869.94/870.28 c 831s| 1480k| 1113 | 2394 | 0.0 | 21M|1151 | - |1680 |5544 | 0 | 0 | 55 | 881k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
875.74/876.06 c 836s| 1490k| 1106 | 2394 | 0.0 | 21M|1151 | - |1680 |5537 | 0 | 0 | 55 | 888k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
881.54/881.84 c 842s| 1500k| 1117 | 2394 | 0.0 | 21M|1151 | - |1680 |5543 | 0 | 0 | 55 | 894k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
887.14/887.43 c 847s| 1510k| 1114 | 2394 | 0.0 | 21M|1151 | - |1680 |5544 | 0 | 0 | 55 | 900k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
893.04/893.38 c 853s| 1520k| 1111 | 2394 | 0.0 | 21M|1151 | - |1680 |5549 | 0 | 0 | 55 | 906k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
898.53/898.84 c 858s| 1530k| 1110 | 2394 | 0.0 | 21M|1151 | - |1680 |5553 | 0 | 0 | 55 | 912k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
904.23/904.52 c 863s| 1540k| 1107 | 2394 | 0.0 | 21M|1151 | - |1680 |5560 | 0 | 0 | 55 | 918k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
909.93/910.26 c 869s| 1550k| 1107 | 2394 | 0.0 | 21M|1151 | - |1680 |5560 | 0 | 0 | 55 | 924k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
915.64/915.93 c 874s| 1560k| 1108 | 2394 | 0.0 | 21M|1151 | - |1680 |5547 | 0 | 0 | 55 | 930k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
921.14/921.40 c 879s| 1570k| 1109 | 2394 | 0.0 | 21M|1151 | - |1680 |5536 | 0 | 0 | 55 | 936k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
926.94/927.25 c 885s| 1580k| 1105 | 2394 | 0.0 | 21M|1151 | - |1680 |5555 | 0 | 0 | 55 | 942k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
932.83/933.13 c 891s| 1590k| 1105 | 2394 | 0.0 | 21M|1151 | - |1680 |5543 | 0 | 0 | 55 | 948k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
938.62/938.99 c 896s| 1600k| 1104 | 2394 | 0.0 | 21M|1151 | - |1680 |5555 | 0 | 0 | 55 | 955k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
944.22/944.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
944.22/944.52 c 901s| 1610k| 1108 | 2394 | 0.0 | 21M|1151 | - |1680 |5562 | 0 | 0 | 55 | 961k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
949.72/950.00 c 907s| 1620k| 1105 | 2394 | 0.0 | 21M|1151 | - |1680 |5567 | 0 | 0 | 55 | 966k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
955.82/956.11 c 913s| 1630k| 1107 | 2394 | 0.0 | 21M|1151 | - |1680 |5550 | 0 | 0 | 55 | 972k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
961.72/962.04 c 918s| 1640k| 1110 | 2394 | 0.0 | 21M|1151 | - |1680 |5561 | 0 | 0 | 55 | 978k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
967.91/968.21 c 924s| 1650k| 1114 | 2394 | 0.0 | 21M|1151 | - |1680 |5559 | 0 | 0 | 55 | 985k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
974.22/974.59 c 930s| 1660k| 1110 | 2394 | 0.0 | 21M|1151 | - |1680 |5549 | 0 | 0 | 55 | 991k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
980.61/980.96 c 936s| 1670k| 1107 | 2394 | 0.0 | 21M|1151 | - |1680 |5564 | 0 | 0 | 55 | 997k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
986.62/986.93 c 942s| 1680k| 1114 | 2394 | 0.0 | 21M|1151 | - |1680 |5566 | 0 | 0 | 55 |1003k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
992.92/993.29 c 948s| 1690k| 1108 | 2394 | 0.0 | 21M|1151 | - |1680 |5565 | 0 | 0 | 55 |1010k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
999.21/999.51 c 954s| 1700k| 1114 | 2394 | 0.0 | 21M|1151 | - |1680 |5546 | 0 | 0 | 55 |1016k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1005.20/1005.54 c 960s| 1710k| 1108 | 2394 | 0.0 | 21M|1151 | - |1680 |5545 | 0 | 0 | 55 |1022k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1011.62/1011.98 c 966s| 1720k| 1105 | 2394 | 0.0 | 21M|1151 | - |1680 |5551 | 0 | 0 | 55 |1028k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1017.70/1018.07 c 972s| 1730k| 1109 | 2394 | 0.0 | 21M|1151 | - |1680 |5536 | 0 | 0 | 55 |1034k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1024.01/1024.32 c 978s| 1740k| 1104 | 2394 | 0.0 | 21M|1151 | - |1680 |5540 | 0 | 0 | 55 |1041k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1030.00/1030.32 c 983s| 1750k| 1115 | 2394 | 0.0 | 21M|1151 | - |1680 |5552 | 0 | 0 | 55 |1047k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1036.10/1036.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1036.10/1036.40 c 989s| 1760k| 1105 | 2394 | 0.0 | 21M|1151 | - |1680 |5561 | 0 | 0 | 55 |1053k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1041.90/1042.28 c 995s| 1770k| 1105 | 2394 | 0.0 | 21M|1151 | - |1680 |5566 | 0 | 0 | 55 |1059k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1048.00/1048.33 c 1001s| 1780k| 1102 | 2394 | 0.0 | 21M|1151 | - |1680 |5547 | 0 | 0 | 55 |1065k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1054.09/1054.49 c 1007s| 1790k| 1110 | 2394 | 0.0 | 21M|1151 | - |1680 |5562 | 0 | 0 | 55 |1071k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1059.89/1060.26 c 1012s| 1800k| 1103 | 2394 | 0.0 | 21M|1151 | - |1680 |5551 | 0 | 0 | 55 |1077k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1065.69/1066.06 c 1018s| 1810k| 1106 | 2394 | 0.0 | 21M|1151 | - |1680 |5567 | 0 | 0 | 55 |1083k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1071.79/1072.12 c 1023s| 1820k| 1112 | 2394 | 0.0 | 21M|1151 | - |1680 |5557 | 0 | 0 | 55 |1089k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1077.89/1078.28 c 1029s| 1830k| 1108 | 2394 | 0.0 | 21M|1151 | - |1680 |5556 | 0 | 0 | 55 |1095k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1083.99/1084.35 c 1035s| 1840k| 1110 | 2394 | 0.0 | 21M|1151 | - |1680 |5564 | 0 | 0 | 55 |1101k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1089.69/1090.03 c 1040s| 1850k| 1106 | 2394 | 0.0 | 21M|1151 | - |1680 |5563 | 0 | 0 | 55 |1106k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1095.48/1095.87 c 1046s| 1860k| 1110 | 2394 | 0.0 | 21M|1151 | - |1680 |5545 | 0 | 0 | 55 |1113k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1101.78/1102.12 c 1052s| 1870k| 1105 | 2394 | 0.0 | 21M|1151 | - |1680 |5556 | 0 | 0 | 55 |1119k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1106.78/1107.15 c 1057s| 1880k| 1108 | 2394 | 0.0 | 21M|1151 | - |1680 |5557 | 0 | 0 | 55 |1125k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1113.08/1113.43 c 1063s| 1890k| 1110 | 2394 | 0.0 | 21M|1151 | - |1680 |5547 | 0 | 0 | 55 |1131k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1119.28/1119.61 c 1069s| 1900k| 1106 | 2394 | 0.0 | 21M|1151 | - |1680 |5558 | 0 | 0 | 55 |1137k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1125.37/1125.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1125.37/1125.79 c 1074s| 1910k| 1111 | 2394 | 0.0 | 21M|1151 | - |1680 |5554 | 0 | 0 | 55 |1143k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1131.48/1131.89 c 1080s| 1920k| 1098 | 2394 | 0.0 | 21M|1151 | - |1680 |5566 | 0 | 0 | 55 |1149k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1137.77/1138.17 c 1086s| 1930k| 1112 | 2394 | 0.0 | 21M|1151 | - |1680 |5537 | 0 | 0 | 55 |1155k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1144.27/1144.68 c 1093s| 1940k| 1110 | 2394 | 0.0 | 21M|1151 | - |1680 |5536 | 0 | 0 | 55 |1161k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1150.47/1150.88 c 1099s| 1950k| 1111 | 2394 | 0.0 | 21M|1151 | - |1680 |5540 | 0 | 0 | 55 |1167k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1156.97/1157.35 c 1105s| 1960k| 1104 | 2394 | 0.0 | 21M|1151 | - |1680 |5551 | 0 | 0 | 55 |1173k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1163.66/1164.09 c 1111s| 1970k| 1112 | 2394 | 0.0 | 21M|1151 | - |1680 |5555 | 0 | 0 | 55 |1179k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1170.07/1170.41 c 1117s| 1980k| 1106 | 2394 | 0.0 | 21M|1151 | - |1680 |5543 | 0 | 0 | 55 |1185k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1176.16/1176.50 c 1123s| 1990k| 1106 | 2394 | 0.0 | 21M|1151 | - |1680 |5563 | 0 | 0 | 55 |1191k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1181.66/1182.08 c 1128s| 2000k| 1108 | 2394 | 0.0 | 21M|1151 | - |1680 |5566 | 0 | 0 | 55 |1196k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1188.35/1188.79 c 1135s| 2010k| 1108 | 2394 | 0.0 | 21M|1151 | - |1680 |5546 | 0 | 0 | 55 |1203k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1194.86/1195.28 c 1141s| 2020k| 1104 | 2394 | 0.0 | 21M|1151 | - |1680 |5550 | 0 | 0 | 55 |1209k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1201.46/1201.83 c 1147s| 2030k| 1110 | 2394 | 0.0 | 21M|1151 | - |1680 |5547 | 0 | 0 | 55 |1215k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1209.15/1209.51 c 1155s| 2040k| 1108 | 2394 | 0.0 | 21M|1151 | - |1680 |5549 | 0 | 0 | 55 |1222k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1215.65/1216.09 c 1161s| 2050k| 1111 | 2394 | 0.0 | 21M|1151 | - |1680 |5564 | 0 | 0 | 55 |1229k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1222.05/1222.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1222.05/1222.48 c 1167s| 2060k| 1112 | 2394 | 0.0 | 21M|1151 | - |1680 |5549 | 0 | 0 | 55 |1235k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1228.84/1229.29 c 1174s| 2070k| 1104 | 2394 | 0.0 | 21M|1151 | - |1680 |5543 | 0 | 0 | 55 |1241k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1235.24/1235.69 c 1180s| 2080k| 1110 | 2394 | 0.0 | 21M|1151 | - |1680 |5558 | 0 | 0 | 55 |1248k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1242.04/1242.45 c 1186s| 2090k| 1099 | 2394 | 0.0 | 21M|1151 | - |1680 |5569 | 0 | 0 | 55 |1255k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1247.84/1248.23 c 1192s| 2100k| 1107 | 2394 | 0.0 | 21M|1151 | - |1680 |5561 | 0 | 0 | 55 |1261k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1254.04/1254.45 c 1198s| 2110k| 1101 | 2394 | 0.0 | 21M|1151 | - |1680 |5559 | 0 | 0 | 55 |1267k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1260.34/1260.72 c 1204s| 2120k| 1107 | 2394 | 0.0 | 21M|1151 | - |1680 |5536 | 0 | 0 | 55 |1273k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1266.33/1266.79 c 1209s| 2130k| 1106 | 2394 | 0.0 | 21M|1151 | - |1680 |5556 | 0 | 0 | 55 |1279k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1273.13/1273.56 c 1216s| 2140k| 1108 | 2394 | 0.0 | 21M|1151 | - |1680 |5560 | 0 | 0 | 55 |1286k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1279.33/1279.76 c 1222s| 2150k| 1104 | 2394 | 0.0 | 21M|1151 | - |1680 |5547 | 0 | 0 | 55 |1292k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1285.44/1285.80 c 1228s| 2160k| 1107 | 2394 | 0.0 | 21M|1151 | - |1680 |5560 | 0 | 0 | 55 |1297k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1291.63/1292.02 c 1234s| 2170k| 1105 | 2394 | 0.0 | 21M|1151 | - |1680 |5560 | 0 | 0 | 55 |1304k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1298.12/1298.58 c 1240s| 2180k| 1112 | 2394 | 0.0 | 21M|1151 | - |1680 |5556 | 0 | 0 | 55 |1310k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1304.92/1305.33 c 1246s| 2190k| 1101 | 2394 | 0.0 | 21M|1151 | - |1680 |5570 | 0 | 0 | 55 |1317k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1311.22/1311.65 c 1252s| 2200k| 1102 | 2394 | 0.0 | 21M|1151 | - |1680 |5561 | 0 | 0 | 55 |1323k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1317.52/1317.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1317.52/1317.90 c 1258s| 2210k| 1102 | 2394 | 0.0 | 21M|1151 | - |1680 |5554 | 0 | 0 | 55 |1329k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1323.41/1323.82 c 1264s| 2220k| 1106 | 2394 | 0.0 | 21M|1151 | - |1680 |5536 | 0 | 0 | 55 |1335k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1329.12/1329.55 c 1269s| 2230k| 1104 | 2394 | 0.0 | 21M|1151 | - |1680 |5553 | 0 | 0 | 55 |1341k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1334.92/1335.31 c 1275s| 2240k| 1116 | 2394 | 0.0 | 21M|1151 | - |1680 |5537 | 0 | 0 | 55 |1347k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1340.71/1341.10 c 1280s| 2250k| 1102 | 2394 | 0.0 | 21M|1151 | - |1680 |5552 | 0 | 0 | 55 |1352k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1346.61/1347.03 c 1286s| 2260k| 1106 | 2394 | 0.0 | 21M|1151 | - |1680 |5549 | 0 | 0 | 55 |1358k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1352.61/1353.02 c 1292s| 2270k| 1107 | 2394 | 0.0 | 21M|1151 | - |1680 |5543 | 0 | 0 | 55 |1364k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1358.40/1358.83 c 1297s| 2280k| 1106 | 2394 | 0.0 | 21M|1151 | - |1680 |5546 | 0 | 0 | 55 |1370k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1364.91/1365.34 c 1303s| 2290k| 1104 | 2394 | 0.0 | 21M|1151 | - |1680 |5551 | 0 | 0 | 55 |1376k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1371.91/1372.33 c 1310s| 2300k| 1106 | 2394 | 0.0 | 21M|1151 | - |1680 |5548 | 0 | 0 | 55 |1383k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1379.10/1379.57 c 1317s| 2310k| 1106 | 2394 | 0.0 | 21M|1151 | - |1680 |5567 | 0 | 0 | 55 |1390k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1385.80/1386.29 c 1324s| 2320k| 1105 | 2394 | 0.0 | 21M|1151 | - |1680 |5561 | 0 | 0 | 55 |1396k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1392.10/1392.56 c 1330s| 2330k| 1110 | 2394 | 0.0 | 21M|1151 | - |1680 |5557 | 0 | 0 | 55 |1402k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1398.60/1399.07 c 1336s| 2340k| 1105 | 2394 | 0.0 | 21M|1151 | - |1680 |5547 | 0 | 0 | 55 |1409k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1404.90/1405.34 c 1342s| 2350k| 1107 | 2394 | 0.0 | 21M|1151 | - |1680 |5555 | 0 | 0 | 55 |1415k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1411.79/1412.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1411.79/1412.22 c 1348s| 2360k| 1107 | 2394 | 0.0 | 21M|1151 | - |1680 |5539 | 0 | 0 | 55 |1421k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1418.09/1418.55 c 1354s| 2370k| 1103 | 2394 | 0.0 | 21M|1151 | - |1680 |5564 | 0 | 0 | 55 |1428k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1424.88/1425.30 c 1361s| 2380k| 1105 | 2394 | 0.0 | 21M|1151 | - |1680 |5561 | 0 | 0 | 55 |1434k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1431.59/1432.01 c 1367s| 2390k| 1108 | 2394 | 0.0 | 21M|1151 | - |1680 |5565 | 0 | 0 | 55 |1441k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1438.09/1438.60 c 1374s| 2400k| 1106 | 2394 | 0.0 | 21M|1151 | - |1680 |5564 | 0 | 0 | 55 |1447k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1444.89/1445.39 c 1380s| 2410k| 1106 | 2394 | 0.0 | 21M|1151 | - |1680 |5563 | 0 | 0 | 55 |1454k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1452.08/1452.51 c 1387s| 2420k| 1108 | 2394 | 0.0 | 21M|1151 | - |1680 |5573 | 0 | 0 | 55 |1460k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1458.78/1459.28 c 1393s| 2430k| 1106 | 2394 | 0.0 | 21M|1151 | - |1680 |5553 | 0 | 0 | 55 |1467k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1465.17/1465.60 c 1399s| 2440k| 1109 | 2394 | 0.0 | 21M|1151 | - |1680 |5555 | 0 | 0 | 55 |1473k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1471.39/1471.89 c 1405s| 2450k| 1103 | 2394 | 0.0 | 21M|1151 | - |1680 |5553 | 0 | 0 | 55 |1479k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1477.27/1477.78 c 1411s| 2460k| 1106 | 2394 | 0.0 | 21M|1151 | - |1680 |5549 | 0 | 0 | 55 |1485k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1483.57/1484.04 c 1417s| 2470k| 1109 | 2394 | 0.0 | 21M|1151 | - |1680 |5542 | 0 | 0 | 55 |1491k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1489.77/1490.25 c 1423s| 2480k| 1099 | 2394 | 0.0 | 21M|1151 | - |1680 |5538 | 0 | 0 | 55 |1498k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1495.97/1496.41 c 1429s| 2490k| 1107 | 2394 | 0.0 | 21M|1151 | - |1680 |5548 | 0 | 0 | 55 |1504k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1501.76/1502.28 c 1434s| 2500k| 1103 | 2394 | 0.0 | 21M|1151 | - |1680 |5557 | 0 | 0 | 55 |1510k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1508.06/1508.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1508.06/1508.58 c 1440s| 2510k| 1100 | 2394 | 0.0 | 21M|1151 | - |1680 |5558 | 0 | 0 | 55 |1516k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1514.47/1514.97 c 1447s| 2520k| 1102 | 2394 | 0.0 | 21M|1151 | - |1680 |5564 | 0 | 0 | 55 |1522k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1521.16/1521.65 c 1453s| 2530k| 1101 | 2394 | 0.0 | 21M|1151 | - |1680 |5558 | 0 | 0 | 55 |1529k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1527.76/1528.23 c 1459s| 2540k| 1108 | 2394 | 0.0 | 21M|1151 | - |1680 |5542 | 0 | 0 | 55 |1535k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1534.36/1534.81 c 1466s| 2550k| 1104 | 2394 | 0.0 | 21M|1151 | - |1680 |5544 | 0 | 0 | 55 |1541k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1541.16/1541.66 c 1472s| 2560k| 1104 | 2394 | 0.0 | 21M|1151 | - |1680 |5566 | 0 | 0 | 55 |1547k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1548.66/1549.16 c 1479s| 2570k| 1099 | 2394 | 0.0 | 21M|1151 | - |1680 |5533 | 0 | 0 | 55 |1554k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1555.05/1555.56 c 1485s| 2580k| 1108 | 2394 | 0.0 | 21M|1151 | - |1680 |5538 | 0 | 0 | 55 |1561k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1561.05/1561.53 c 1491s| 2590k| 1099 | 2394 | 0.0 | 21M|1151 | - |1680 |5548 | 0 | 0 | 55 |1567k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1566.96/1567.46 c 1497s| 2600k| 1108 | 2394 | 0.0 | 21M|1151 | - |1680 |5541 | 0 | 0 | 55 |1572k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1573.85/1574.32 c 1503s| 2610k| 1105 | 2394 | 0.0 | 21M|1151 | - |1680 |5572 | 0 | 0 | 55 |1579k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1579.95/1580.49 c 1509s| 2620k| 1098 | 2394 | 0.0 | 21M|1151 | - |1680 |5554 | 0 | 0 | 55 |1585k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1586.24/1586.73 c 1515s| 2630k| 1100 | 2394 | 0.0 | 21M|1151 | - |1680 |5552 | 0 | 0 | 55 |1591k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1592.35/1592.87 c 1521s| 2640k| 1102 | 2394 | 0.0 | 21M|1151 | - |1680 |5556 | 0 | 0 | 55 |1597k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1598.44/1598.98 c 1527s| 2650k| 1099 | 2394 | 0.0 | 21M|1151 | - |1680 |5585 | 0 | 0 | 55 |1603k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1605.03/1605.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1605.03/1605.60 c 1533s| 2660k| 1104 | 2394 | 0.0 | 21M|1151 | - |1680 |5549 | 0 | 0 | 55 |1609k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1611.64/1612.12 c 1540s| 2670k| 1098 | 2394 | 0.0 | 21M|1151 | - |1680 |5548 | 0 | 0 | 55 |1616k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1618.23/1618.74 c 1546s| 2680k| 1094 | 2394 | 0.0 | 21M|1151 | - |1680 |5555 | 0 | 0 | 55 |1622k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1624.34/1624.83 c 1552s| 2690k| 1100 | 2394 | 0.0 | 21M|1151 | - |1680 |5558 | 0 | 0 | 55 |1627k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1629.63/1630.15 c 1557s| 2700k| 1100 | 2394 | 0.0 | 21M|1151 | - |1680 |5542 | 0 | 0 | 55 |1633k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1635.23/1635.77 c 1562s| 2710k| 1098 | 2394 | 0.0 | 21M|1151 | - |1680 |5537 | 0 | 0 | 55 |1638k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1640.82/1641.31 c 1568s| 2720k| 1104 | 2394 | 0.0 | 21M|1151 | - |1680 |5553 | 0 | 0 | 55 |1643k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1646.72/1647.23 c 1573s| 2730k| 1097 | 2394 | 0.0 | 21M|1151 | - |1680 |5547 | 0 | 0 | 55 |1649k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1653.42/1653.90 c 1580s| 2740k| 1102 | 2394 | 0.0 | 21M|1151 | - |1680 |5545 | 0 | 0 | 55 |1656k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1659.92/1660.45 c 1586s| 2750k| 1099 | 2394 | 0.0 | 21M|1151 | - |1680 |5553 | 0 | 0 | 55 |1662k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1666.22/1666.78 c 1592s| 2760k| 1102 | 2394 | 0.0 | 21M|1151 | - |1680 |5573 | 0 | 0 | 55 |1668k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1672.42/1672.90 c 1598s| 2770k| 1098 | 2394 | 0.0 | 21M|1151 | - |1680 |5560 | 0 | 0 | 55 |1675k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1678.22/1678.71 c 1603s| 2780k| 1097 | 2394 | 0.0 | 21M|1151 | - |1680 |5570 | 0 | 0 | 55 |1681k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1684.72/1685.27 c 1610s| 2790k| 1105 | 2394 | 0.0 | 21M|1151 | - |1680 |5553 | 0 | 0 | 55 |1687k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1691.12/1691.68 c 1616s| 2800k| 1103 | 2394 | 0.0 | 21M|1151 | - |1680 |5564 | 0 | 0 | 55 |1693k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1698.42/1698.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1698.42/1698.92 c 1623s| 2810k| 1107 | 2394 | 0.0 | 21M|1151 | - |1680 |5548 | 0 | 0 | 55 |1700k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1706.11/1706.68 c 1630s| 2820k| 1106 | 2394 | 0.0 | 21M|1151 | - |1680 |5568 | 0 | 0 | 55 |1707k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1712.01/1712.59 c 1636s| 2830k| 1103 | 2394 | 0.0 | 21M|1151 | - |1680 |5579 | 0 | 0 | 55 |1713k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1717.81/1718.37 c 1641s| 2840k| 1102 | 2394 | 0.0 | 21M|1151 | - |1680 |5603 | 0 | 0 | 55 |1719k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1723.61/1724.14 c 1647s| 2850k| 1104 | 2394 | 0.0 | 21M|1151 | - |1680 |5808 | 0 | 0 | 55 |1725k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1730.11/1730.63 c 1653s| 2860k| 1101 | 2394 | 0.0 | 21M|1151 | - |1680 |5812 | 0 | 0 | 55 |1730k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1736.51/1737.06 c 1659s| 2870k| 1108 | 2394 | 0.0 | 21M|1151 | - |1680 |5810 | 0 | 0 | 55 |1737k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1742.91/1743.42 c 1665s| 2880k| 1103 | 2394 | 0.0 | 21M|1151 | - |1680 |5812 | 0 | 0 | 55 |1743k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1749.30/1749.83 c 1671s| 2890k| 1099 | 2394 | 0.0 | 21M|1151 | - |1680 |5799 | 0 | 0 | 55 |1749k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1755.89/1756.47 c 1678s| 2900k| 1099 | 2394 | 0.0 | 21M|1151 | - |1680 |5843 | 0 | 0 | 55 |1755k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1762.10/1762.65 c 1684s| 2910k| 1099 | 2394 | 0.0 | 21M|1151 | - |1680 |5805 | 0 | 0 | 55 |1761k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1768.50/1769.05 c 1690s| 2920k| 1109 | 2394 | 0.0 | 21M|1151 | - |1680 |5805 | 0 | 0 | 55 |1767k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1774.70/1775.25 c 1696s| 2930k| 1104 | 2394 | 0.0 | 21M|1151 | - |1680 |5813 | 0 | 0 | 55 |1773k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1780.79/1781.33 c 1701s| 2940k| 1104 | 2394 | 0.0 | 21M|1151 | - |1680 |5813 | 0 | 0 | 55 |1780k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1786.69/1787.22 c 1707s| 2950k| 1100 | 2394 | 0.0 | 21M|1151 | - |1680 |5812 | 0 | 0 | 55 |1786k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1792.58/1793.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1792.58/1793.13 c 1713s| 2960k| 1114 | 2394 | 0.0 | 21M|1151 | - |1680 |5810 | 0 | 0 | 55 |1791k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1798.19/1798.77 c 1718s| 2970k| 1108 | 2394 | 0.0 | 21M|1151 | - |1680 |5831 | 0 | 0 | 55 |1797k| 23 | 2.300000e+01 | 2.500000e+01 | 8.70%
1800.10/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.10/1800.61 c
1800.10/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.10/1800.61 c Solving Time (sec) : 1719.76
1800.10/1800.61 c Solving Nodes : 2972968
1800.10/1800.61 c Primal Bound : +2.50000000000000e+01 (4 solutions)
1800.10/1800.61 c Dual Bound : +2.30000000000000e+01
1800.10/1800.61 c Gap : 8.70 %
1800.10/1800.62 s SATISFIABLE
1800.10/1800.62 v x147 x146 -x3389 -x145 -x3387 -x144 -x3384 -x3382 -x143 -x3380 -x3378 -x3376 -x142 -x3374 -x141 -x3371 -x3369 -x140 -x3367 -x3365
1800.10/1800.62 v -x139 -x3363 -x3361 -x3359 -x3357 -x3355 x3353 -x3351 -x3349 x3347 -x3345 x138 -x3343 -x3341 -x3339 -x3337 -x3335 -x3333 -x3331
1800.10/1800.62 v -x137 -x3329 -x3327 -x3325 -x3323 -x3321 -x3319 -x3317 -x136 -x3315 -x135 x3312 -x3310 x134 -x3308 -x3306 -x3304 -x133
1800.10/1800.62 v -x3302 -x3300 -x3298 -x132 -x3296 -x3294 -x3292 -x3290 -x3288 -x3286 -x3284 -x131 -x3282 -x3280 -x3278 -x3276 -x3274 -x3272 -x3270
1800.10/1800.62 v -x130 -x3268 -x3266 -x3264 -x129 -x3262 -x3260 -x3258 -x3256 -x3254 -x3252 -x3250 -x128 -x3248 -x3246 -x3244 -x3242 -x3240
1800.10/1800.62 v -x3238 -x3236 -x127 -x3234 -x3232 -x3230 -x3228 -x3226 -x3224 -x3222 -x126 -x3220 -x3218 -x3216 -x3214 -x3212 -x3210 -x3208
1800.10/1800.62 v -x3206 -x3204 -x3202 -x3200 -x3198 -x3196 -x3194 -x3192 -x125 -x3190 -x124 -x3187 -x3185 -x123 -x3183 -x3181 -x3179 -x122
1800.10/1800.62 v -x3177 -x3175 -x3173 -x3171 -x3169 -x3167 -x3165 -x121 -x3163 -x3161 -x120 -x3159 -x3157 -x3155 -x3153 -x3151 -x3149 -x3147 -x119
1800.10/1800.62 v -x3145 -x3143 -x3141 -x3139 -x3137 -x3135 -x3133 -x118 -x3131 -x3129 -x3127 -x117 -x3125 -x3123 -x3121 -x3119 -x3117 -x3115
1800.10/1800.62 v -x3113 -x116 -x3111 -x3109 -x3107 -x3105 -x3103 -x3101 -x115 -x3099 -x3096 -x3094 -x3092 -x3090 -x3088 -x3086 -x3084 -x3082
1800.10/1800.62 v -x3080 -x3078 -x3076 -x3074 -x3072 -x3070 -x3068 -x3066 -x3064 -x3062 -x3060 -x3058 -x114 -x3056 -x3054 -x3052 -x3050 -x3048
1800.10/1800.62 v -x3046 -x3044 -x3042 -x3040 -x3038 -x3036 -x3034 -x3032 -x3030 -x3028 -x113 -x3026 -x3024 -x3022 -x3020 -x3018 -x3016 -x3014
1800.10/1800.62 v -x3012 -x3010 -x3008 -x3006 -x3003 -x3001 -x112 -x2999 -x2997 -x2995 -x111 -x2993 -x2991 -x2989 -x2987 -x2985 -x2983 -x2981
1800.10/1800.62 v -x110 -x2979 -x2977 -x2975 -x2973 -x2971 -x2969 -x2967 -x109 -x2965 -x2963 -x2961 -x2959 -x2957 -x2955 -x2953 -x108 -x2951
1800.10/1800.62 v -x2949 -x2947 -x2945 -x2943 -x2941 -x2939 -x2937 -x2935 -x2933 -x2931 -x2929 -x2927 -x2925 -x2923 -x107 -x2921 -x2919 -x2917
1800.10/1800.62 v -x2915 -x2913 -x2911 -x2909 -x106 -x2907 -x2905 -x2903 -x2901 -x2899 -x2897 -x2895 -x2893 -x2891 -x2889 -x2887 -x2885 -x2883
1800.10/1800.62 v -x2881 -x2879 -x105 -x2877 x104 -x2874 -x2872 x2870 -x2868 -x2866 -x103 -x2864 -x2862 -x2860 -x2858 -x2855 -x2853 -x102 -x2851
1800.10/1800.62 v x2849 -x2847 x101 -x2845 -x2843 -x2840 -x2838 x2836 -x2834 x100 -x2832 -x2830 -x2828 -x2826 -x2824 -x2822 -x2820 -x99 -x2818
1800.10/1800.62 v -x2816 -x2814 -x98 -x2812 -x2810 -x2808 -x2805 -x2803 -x2801 -x97 -x2799 -x2797 -x2795 -x2793 -x2791 -x2789 -x2787 -x96 -x2785
1800.10/1800.62 v -x2783 -x2781 -x2779 -x2777 -x2775 -x2773 -x2771 -x2769 -x2767 -x2765 -x2763 -x2761 -x2759 -x2756 -x2754 -x2752 -x2750 -x2748
1800.10/1800.62 v -x2746 -x2744 -x95 -x2742 -x2740 -x2738 -x2736 -x2734 -x2732 -x2730 -x2728 -x2726 -x2724 x2722 -x2720 -x2718 -x2716 -x2714
1800.10/1800.62 v -x2712 -x2710 -x2708 -x94 -x2706 -x2703 -x2701 -x2699 -x2697 -x2695 -x93 -x2693 -x2691 -x2689 -x2687 -x2685 -x2683 -x2681
1800.10/1800.62 v -x92 -x2679 -x2677 -x2675 -x2673 -x2671 -x2669 -x2667 -x91 -x2665 -x2663 -x2661 -x2659 -x2657 -x2655 -x2653 -x2651 -x2649 -x2647
1800.10/1800.62 v -x2645 -x2643 -x2641 -x2639 -x2637 -x90 -x2635 -x2633 -x2631 -x2629 -x2627 -x2625 -x2623 -x2621 -x2619 -x2617 -x2615 -x2613
1800.10/1800.62 v -x2611 -x2609 -x2607 -x89 -x2605 -x2603 -x2601 -x2599 -x2597 -x2595 -x2593 -x88 -x2591 -x2589 -x2587 -x2585 -x2583 -x2581
1800.10/1800.62 v -x2579 -x2577 -x2575 -x2573 -x2571 -x2569 -x2567 -x2565 -x2563 -x87 -x2561 -x2559 -x2557 -x2555 -x2553 -x2551 -x2549 -x2547 -x2545
1800.10/1800.62 v -x2543 -x2541 -x2538 -x2536 -x2534 -x86 -x2532 -x2530 -x2528 -x2526 -x2524 -x2522 -x2520 -x2518 -x2516 -x2514 -x2512 -x2510
1800.10/1800.62 v -x2508 -x2506 -x2504 -x2502 -x2500 -x2498 -x2496 -x2493 -x2491 -x2489 -x2487 -x2485 -x2483 -x2481 -x2479 -x2477 -x2475 -x2473
1800.10/1800.62 v -x85 -x2471 -x2469 -x2467 -x84 -x2465 -x2463 -x2460 -x2458 -x2456 -x2454 -x83 -x2452 -x2450 -x2448 -x2446 -x2444 -x2442
1800.10/1800.62 v -x2440 -x82 -x2438 -x2436 -x2434 -x2432 -x2430 -x2428 -x2426 -x81 -x2424 -x2422 -x2420 -x2418 -x2416 -x2414 -x2412 -x2410 -x2408
1800.10/1800.62 v -x2406 -x2404 -x2402 x2400 -x2398 -x2396 -x2394 -x2392 -x2390 -x2388 -x2386 -x2384 -x2382 -x2380 -x2378 -x2376 -x2374 -x2372
1800.10/1800.62 v -x2370 -x2368 -x2366 -x80 -x2364 -x2362 -x2360 -x2358 -x2356 -x2354 -x2352 -x79 -x2350 -x2348 -x2346 -x2344 -x2342 -x2340
1800.10/1800.62 v -x2338 -x2336 -x2334 -x2332 -x2330 -x2328 -x2326 -x2324 -x2322 -x78 -x2320 -x2318 -x2316 -x2314 -x2312 -x2310 -x2308 -x2306
1800.10/1800.62 v -x2304 -x2302 -x2300 -x2298 -x2296 -x2294 -x2292 -x77 -x2290 -x2288 -x2286 -x2284 -x2282 -x2280 -x2278 -x2276 -x2274 -x2272
1800.10/1800.62 v -x2270 -x2268 -x2266 -x2264 -x2262 -x76 -x2260 -x2258 -x2256 -x2254 -x2252 -x2250 -x2248 -x2245 -x2243 -x2241 -x2239 x2237 -x2235
1800.10/1800.62 v -x2233 -x2231 -x2229 -x2227 -x2225 -x2223 -x2221 -x2219 -x2217 -x2215 -x2213 -x2211 -x2209 -x2207 -x2205 -x2203 -x2201 -x2199
1800.10/1800.62 v x75 -x2196 -x2194 -x74 -x2192 -x2190 -x2188 -x73 -x2186 -x2184 -x2182 -x72 -x2180 -x2178 -x2176 -x2174 -x2172 -x2170 -x2168
1800.10/1800.62 v -x71 -x2166 -x2164 -x2162 x2160 -x2158 -x2156 -x2154 -x2152 -x2150 -x70 -x2148 -x2146 -x2144 -x2142 -x2140 -x2138 -x2136
1800.10/1800.62 v -x69 -x2134 -x2132 -x2130 -x2128 -x2126 -x2124 -x2122 -x68 -x2120 -x2118 -x2116 -x2114 -x2112 -x2110 -x2108 -x67 -x2106 -x2104
1800.10/1800.62 v -x2102 -x2100 -x2098 -x2096 -x2094 -x2092 -x2090 -x2088 -x2086 -x2084 -x2082 -x2080 -x2078 -x66 -x2076 -x2074 -x2072 -x2070
1800.10/1800.62 v -x2067 -x2065 -x2063 -x2061 -x2059 -x2057 -x2055 -x2053 -x2051 -x2049 -x65 -x2047 -x2045 -x2043 -x64 -x2041 -x2039 -x2037 -x2035
1800.10/1800.62 v -x2033 -x2031 -x2029 -x63 -x2027 -x2025 -x2023 -x2021 -x2019 -x2017 -x2015 -x62 -x2013 -x2011 -x2009 -x61 -x2007 -x2005
1800.10/1800.62 v -x2003 -x2001 -x1999 x1997 -x1995 -x1993 -x1991 -x1989 -x1987 -x1985 -x1983 -x1981 -x60 -x1979 -x1977 -x1975 -x1973 -x1971 -x1969
1800.10/1800.62 v -x1967 -x59 -x1965 -x1963 -x1961 -x1959 -x1957 -x1955 -x1953 -x1951 -x1949 -x1947 -x1945 -x1942 -x1940 -x1938 -x58 -x1936
1800.10/1800.62 v -x1934 -x1932 -x1930 -x1928 -x1926 -x1924 -x1922 -x1920 -x1918 -x1916 -x1914 -x1911 -x1909 -x57 -x1907 -x1905 -x1903 -x1901
1800.10/1800.62 v -x1899 -x1897 -x1895 -x56 -x1893 -x1891 -x1889 -x1887 -x1885 -x1883 -x1881 -x1879 -x1877 -x1875 -x1873 -x1870 -x1868 -x1866
1800.10/1800.62 v -x55 -x1864 -x1862 -x1860 -x1858 -x1856 -x1854 -x1852 -x1850 -x1848 -x1846 -x1844 -x1842 -x1840 -x54 -x1838 -x1836 -x1834 -x1832
1800.10/1800.62 v -x1830 -x1828 -x1826 -x1824 -x1822 -x1820 -x1818 -x1816 -x1814 -x1812 -x1810 -x53 -x1808 -x1806 -x1804 -x1802 -x1800 -x1798
1800.10/1800.62 v -x1796 -x1794 -x1792 -x1790 -x1788 -x1786 -x1784 -x1782 -x1780 -x1778 -x1776 -x1774 -x1772 -x1770 -x1768 -x1766 -x1764 -x1762
1800.10/1800.62 v -x1760 -x1758 -x1756 -x1754 -x1752 -x1750 x1748 -x1746 -x1744 -x1742 -x1740 -x1738 -x1736 -x1734 -x1732 -x1730 -x1728 -x1726
1800.10/1800.62 v -x1724 -x1722 -x1720 -x1718 -x1716 -x1714 -x1712 -x1709 -x1707 -x1705 -x1703 -x1701 -x1699 -x1697 -x1695 -x1693 -x1691 -x1689
1800.10/1800.62 v -x1687 -x52 -x1685 -x1683 -x1681 -x51 -x1679 -x1676 -x1674 -x1672 -x1670 -x1668 -x50 -x1666 -x1664 -x1662 -x1660 -x1658
1800.10/1800.62 v x1656 -x1654 -x1652 -x1650 -x1648 -x1646 -x1644 -x1641 -x1639 -x1637 -x1635 -x1633 -x1631 -x1629 -x1627 -x1625 -x49 -x1623 -x1621
1800.10/1800.62 v -x1619 -x1617 -x1615 -x1613 -x1611 -x48 -x1609 -x1607 -x1605 -x1603 -x1601 -x1599 -x1597 -x1595 -x1593 -x1591 -x1589 -x1587
1800.10/1800.62 v -x1585 -x1583 -x1581 -x47 -x1579 -x1577 -x1575 -x1572 -x1570 -x1568 -x1566 -x1564 -x1562 -x1560 -x1558 -x1556 -x1554 -x1552
1800.10/1800.62 v -x46 -x1550 -x1548 -x1546 -x1544 -x1542 -x1540 -x1538 -x1536 -x1534 -x1532 -x1530 -x1527 -x1525 x1523 -x1521 -x1519 -x1517
1800.10/1800.62 v -x1515 -x1513 -x1511 -x1509 -x1507 -x1505 -x1503 -x1501 -x1499 -x1497 -x1495 -x1493 -x1491 -x1489 -x1487 -x1485 -x1483 -x1481
1800.10/1800.62 v -x1479 -x1477 -x45 -x1475 -x1473 -x1471 -x1469 -x1467 -x1465 -x1463 -x1461 -x1459 -x1457 -x1455 -x1452 -x1450 -x1448 -x44
1800.10/1800.62 v -x1446 -x1444 -x1442 -x1440 -x1438 -x1436 -x1434 -x43 -x1432 -x1430 -x1428 -x1426 -x1424 -x1422 -x1419 -x1417 -x1415 -x1413 -x1411
1800.10/1800.62 v -x1409 -x1407 -x1405 -x42 -x1403 -x1401 -x1399 -x1397 -x1395 -x1393 -x1391 -x1389 -x1387 -x1385 -x1383 -x1381 -x1379 -x1376
1800.10/1800.62 v -x41 -x1374 -x1371 -x1369 -x1367 -x1365 -x1363 -x1361 -x1359 -x1357 -x1355 -x1353 -x1351 -x1349 -x1347 -x1345 -x1343 -x1341
1800.10/1800.62 v -x1339 -x1337 -x1335 -x1333 -x1331 -x1329 -x1327 -x1325 -x1323 -x1321 -x1319 -x1317 x1315 -x1313 -x40 -x1310 -x1308 -x39
1800.10/1800.62 v -x1306 -x1304 -x1302 -x38 -x1300 -x1298 -x1296 -x37 -x1294 -x1292 -x1290 -x1288 -x1286 -x1284 -x1282 -x36 -x1280 -x1278 -x1276
1800.10/1800.62 v -x35 -x1274 -x1272 -x1270 -x1268 -x1266 -x1264 -x1262 -x34 -x1260 -x1258 -x1256 -x1254 -x1252 -x1250 -x1248 -x33 -x1246 -x1244
1800.10/1800.62 v -x1242 -x1240 -x1238 -x1236 -x1234 -x1232 -x1229 -x1227 -x1225 -x1223 -x1221 -x1219 -x32 -x1217 -x1215 -x1213 -x31 -x1211
1800.10/1800.62 v -x1209 -x1207 -x1205 -x1203 -x1201 -x1199 -x30 -x1197 -x1195 -x1193 -x1191 -x1189 -x1187 -x1185 -x29 -x1183 -x1181 -x1179 -x1177
1800.10/1800.62 v -x1175 -x1173 -x1171 -x28 -x1169 -x1167 -x1165 -x1163 -x1161 -x1159 -x1157 -x1155 -x1153 -x1151 -x1149 -x1147 -x1145 -x1143
1800.10/1800.62 v -x1141 -x27 -x1139 -x1137 -x1135 -x1133 -x1131 -x1129 -x1127 -x26 -x1125 -x1123 -x1121 -x1119 -x1117 -x1115 -x1113 -x1111
1800.10/1800.62 v -x1109 -x1107 -x1105 -x1103 -x1101 -x1099 -x1097 -x25 -x1095 -x1093 -x1091 -x1089 -x1087 -x1085 -x1083 -x1081 -x1079 -x1077
1800.10/1800.62 v -x1075 -x1073 -x1071 -x1069 -x1067 -x24 -x1065 -x1063 -x1061 -x1059 -x1057 -x1055 -x1053 -x1051 -x1049 -x1047 -x1045 -x1043 -x1041
1800.10/1800.62 v -x1039 -x1037 -x1035 -x1033 -x1031 -x1029 -x1027 -x1025 -x1023 -x1021 -x1019 -x1017 -x1015 -x1013 -x1011 -x1009 -x1007
1800.10/1800.62 v -x1005 -x23 -x1003 -x1001 -x999 -x22 -x997 -x995 -x992 -x990 -x988 -x986 -x21 -x984 -x982 -x980 -x978 -x976 -x974 -x972 -x20
1800.10/1800.62 v -x970 -x968 -x966 -x964 -x962 -x960 -x958 -x956 -x954 -x952 -x950 -x948 -x946 -x944 -x942 -x19 -x940 -x938 -x936 -x934 -x932
1800.10/1800.62 v -x930 -x928 -x18 -x926 -x924 -x922 -x920 -x918 -x916 -x914 -x912 -x910 -x908 -x906 -x904 -x902 -x900 -x898 -x17 -x896 -x894 -x892
1800.10/1800.62 v -x890 -x888 -x886 -x884 -x882 -x880 -x878 -x876 -x874 -x872 -x870 -x868 -x16 -x866 -x864 -x862 -x860 -x858 -x856 -x854 -x852
1800.10/1800.62 v -x850 -x848 -x846 -x844 -x842 -x840 -x838 -x836 -x834 -x832 -x830 -x828 -x826 -x823 -x821 -x819 -x817 -x815 -x813 -x811
1800.10/1800.62 v -x809 -x807 -x15 -x805 -x803 -x801 -x799 -x797 -x795 -x793 -x14 -x791 -x789 -x787 -x785 -x783 -x781 -x779 -x777 -x775 -x773 -x771
1800.10/1800.62 v -x769 -x767 -x765 -x763 -x13 -x761 -x759 -x757 -x755 -x753 -x751 -x749 -x747 -x745 -x743 -x741 -x739 -x737 -x735 -x733 -x12
1800.10/1800.62 v -x731 -x729 -x727 -x725 -x723 -x721 -x719 -x717 -x715 -x713 -x711 -x709 -x707 -x705 -x703 -x701 -x699 -x697 -x695 -x693 -x691
1800.10/1800.62 v -x689 -x687 -x685 -x683 -x681 -x679 -x677 -x675 -x673 -x671 -x11 -x669 -x667 -x665 -x663 -x661 -x659 -x657 -x655 -x653 -x651
1800.10/1800.62 v -x649 -x647 -x645 -x643 -x641 -x10 -x639 -x637 -x635 -x633 -x631 -x629 -x627 -x625 -x623 -x621 -x619 x617 -x615 -x613 -x611
1800.10/1800.62 v -x609 -x607 -x605 -x603 -x601 -x599 -x597 -x595 -x593 -x591 -x589 -x587 -x585 -x583 -x581 -x579 -x577 -x575 -x573 -x571 -x569
1800.10/1800.62 v -x567 -x565 -x563 -x561 -x559 -x557 -x555 -x553 -x551 -x549 -x547 -x545 -x543 -x541 -x538 -x536 -x534 -x532 -x530 -x528
1800.10/1800.62 v -x526 -x524 -x522 -x520 -x518 -x9 -x516 -x514 -x512 -x510 -x508 -x506 -x504 -x502 -x500 -x498 -x496 -x494 -x492 -x490 -x488 -x486
1800.10/1800.62 v -x484 -x482 -x480 -x478 -x476 -x474 -x472 -x470 -x468 -x466 -x464 -x462 -x460 -x458 -x456 -x454 -x452 -x450 -x448 -x446
1800.10/1800.62 v -x444 -x442 -x440 -x438 -x436 -x434 -x432 -x430 -x428 -x426 -x424 -x422 -x420 x418 -x416 -x414 -x412 -x410 -x408 -x406 -x404
1800.10/1800.62 v -x402 -x400 -x398 -x395 -x393 -x391 -x389 -x387 -x8 -x385 -x383 -x381 -x379 -x377 -x375 -x373 -x7 -x371 -x369 -x367 -x365 -x363
1800.10/1800.62 v -x361 -x359 -x6 -x357 -x355 -x353 -x351 -x349 -x347 -x345 -x5 -x343 -x341 -x339 x337 -x335 -x333 -x331 -x329 -x327 -x325 -x323
1800.10/1800.62 v -x321 -x319 -x317 -x315 -x313 -x311 -x309 -x307 -x305 -x303 -x301 -x299 -x297 -x295 -x293 -x291 -x289 -x287 -x285 -x4 -x283
1800.10/1800.62 v -x281 -x279 -x277 -x275 -x273 -x271 -x3 -x269 -x267 -x265 -x263 -x261 -x259 -x257 -x254 -x252 -x250 -x248 -x246 -x244 -x242
1800.10/1800.62 v -x2 -x240 -x238 -x236 -x234 -x232 -x230 -x228 -x226 -x224 -x222 -x220 -x218 -x216 -x214 -x212 -x1 -x210 -x208 -x206 -x204
1800.10/1800.62 v -x202 -x200 -x198 -x196 -x194 x192 -x190 -x188 -x186 -x184 -x182 -x180 -x178 -x176 -x174 -x172 -x170 -x168 -x166 -x164 -x162
1800.10/1800.62 v -x160 -x158 -x156 -x154 -x152 -x150 -x148 x3392 x3391 -x3390 -x3388 -x3386 -x3385 -x3383 -x3381 -x3379 -x3377 -x3375 -x3373 -x3372
1800.10/1800.62 v -x3370 -x3368 -x3366 -x3364 -x3362 -x3360 -x3358 -x3356 x3354 -x3352 -x3350 x3348 -x3346 -x3344 -x3342 -x3340 -x3338 -x3336
1800.10/1800.62 v -x3334 -x3332 -x3330 -x3328 -x3326 -x3324 -x3322 -x3320 -x3318 -x3316 -x3314 x3313 -x3311 -x3309 -x3307 -x3305 -x3303 -x3301
1800.10/1800.62 v -x3299 -x3297 -x3295 -x3293 -x3291 -x3289 -x3287 -x3285 -x3283 -x3281 -x3279 -x3277 -x3275 -x3273 -x3271 -x3269 -x3267 -x3265
1800.10/1800.62 v -x3263 -x3261 -x3259 -x3257 -x3255 -x3253 -x3251 -x3249 -x3247 -x3245 -x3243 -x3241 -x3239 -x3237 -x3235 -x3233 -x3231
1800.10/1800.62 v -x3229 -x3227 -x3225 -x3223 -x3221 -x3219 -x3217 -x3215 -x3213 -x3211 -x3209 -x3207 -x3205 -x3203 -x3201 -x3199 -x3197 -x3195
1800.10/1800.62 v -x3193 -x3191 -x3189 -x3188 -x3186 -x3184 -x3182 -x3180 -x3178 -x3176 -x3174 -x3172 -x3170 -x3168 -x3166 -x3164 -x3162 -x3160
1800.10/1800.62 v -x3158 -x3156 -x3154 -x3152 -x3150 -x3148 -x3146 -x3144 -x3142 -x3140 -x3138 -x3136 -x3134 -x3132 -x3130 -x3128 -x3126 -x3124
1800.10/1800.62 v -x3122 -x3120 -x3118 -x3116 -x3114 -x3112 -x3110 -x3108 -x3106 -x3104 -x3102 -x3100 x3098 -x3097 -x3095 -x3093 -x3091 -x3089
1800.10/1800.62 v -x3087 -x3085 -x3083 -x3081 -x3079 -x3077 -x3075 -x3073 -x3071 -x3069 -x3067 -x3065 -x3063 -x3061 -x3059 -x3057 -x3055 -x3053
1800.10/1800.62 v -x3051 -x3049 -x3047 -x3045 -x3043 -x3041 -x3039 -x3037 -x3035 -x3033 -x3031 -x3029 -x3027 -x3025 -x3023 -x3021 -x3019 -x3017
1800.10/1800.62 v -x3015 -x3013 -x3011 -x3009 -x3007 -x3005 -x3004 -x3002 -x3000 -x2998 -x2996 -x2994 -x2992 -x2990 -x2988 -x2986 -x2984 -x2982
1800.10/1800.62 v -x2980 -x2978 -x2976 -x2974 -x2972 -x2970 -x2968 -x2966 -x2964 -x2962 -x2960 -x2958 -x2956 -x2954 -x2952 -x2950 -x2948
1800.10/1800.62 v -x2946 -x2944 -x2942 -x2940 -x2938 -x2936 -x2934 -x2932 -x2930 -x2928 -x2926 -x2924 -x2922 -x2920 -x2918 -x2916 -x2914 -x2912
1800.10/1800.62 v -x2910 -x2908 -x2906 -x2904 -x2902 -x2900 -x2898 -x2896 -x2894 -x2892 -x2890 -x2888 -x2886 -x2884 -x2882 -x2880 -x2878 x2876
1800.10/1800.62 v -x2875 -x2873 x2871 -x2869 -x2867 -x2865 -x2863 -x2861 -x2859 -x2857 -x2856 -x2854 -x2852 x2850 -x2848 -x2846 -x2844 -x2842
1800.10/1800.62 v -x2841 -x2839 x2837 -x2835 -x2833 -x2831 -x2829 -x2827 -x2825 -x2823 -x2821 -x2819 -x2817 -x2815 -x2813 -x2811 -x2809 -x2807
1800.10/1800.62 v -x2806 -x2804 -x2802 -x2800 -x2798 -x2796 -x2794 -x2792 -x2790 -x2788 -x2786 -x2784 -x2782 -x2780 -x2778 -x2776 -x2774 -x2772
1800.10/1800.62 v -x2770 -x2768 -x2766 -x2764 -x2762 -x2760 x2758 -x2757 -x2755 -x2753 -x2751 -x2749 -x2747 -x2745 -x2743 -x2741 -x2739 -x2737
1800.10/1800.62 v -x2735 -x2733 -x2731 -x2729 -x2727 -x2725 x2723 -x2721 -x2719 -x2717 -x2715 -x2713 -x2711 -x2709 -x2707 -x2705 -x2704 -x2702
1800.10/1800.62 v -x2700 -x2698 -x2696 -x2694 -x2692 -x2690 -x2688 -x2686 -x2684 -x2682 -x2680 -x2678 -x2676 -x2674 -x2672 -x2670 -x2668 -x2666
1800.10/1800.62 v -x2664 -x2662 -x2660 -x2658 -x2656 -x2654 -x2652 -x2650 -x2648 -x2646 -x2644 -x2642 -x2640 -x2638 -x2636 -x2634 -x2632 -x2630
1800.10/1800.62 v -x2628 -x2626 -x2624 -x2622 -x2620 -x2618 -x2616 -x2614 -x2612 -x2610 -x2608 -x2606 -x2604 -x2602 -x2600 -x2598 -x2596 -x2594
1800.10/1800.62 v -x2592 -x2590 -x2588 -x2586 -x2584 -x2582 -x2580 -x2578 -x2576 -x2574 -x2572 -x2570 -x2568 -x2566 -x2564 -x2562 -x2560 -x2558
1800.10/1800.62 v -x2556 -x2554 -x2552 -x2550 -x2548 -x2546 -x2544 -x2542 -x2540 -x2539 -x2537 -x2535 -x2533 -x2531 -x2529 -x2527 -x2525 -x2523
1800.10/1800.62 v -x2521 -x2519 -x2517 -x2515 -x2513 -x2511 -x2509 -x2507 -x2505 -x2503 -x2501 -x2499 -x2497 -x2495 -x2494 -x2492 -x2490
1800.10/1800.62 v -x2488 -x2486 -x2484 -x2482 -x2480 -x2478 -x2476 -x2474 -x2472 -x2470 -x2468 -x2466 -x2464 -x2462 -x2461 -x2459 -x2457 -x2455
1800.10/1800.62 v -x2453 -x2451 -x2449 -x2447 -x2445 -x2443 -x2441 -x2439 -x2437 -x2435 -x2433 -x2431 -x2429 -x2427 -x2425 -x2423 -x2421 -x2419
1800.10/1800.62 v -x2417 -x2415 -x2413 -x2411 -x2409 -x2407 -x2405 -x2403 x2401 -x2399 -x2397 -x2395 -x2393 -x2391 -x2389 -x2387 -x2385 -x2383
1800.10/1800.62 v -x2381 -x2379 -x2377 -x2375 -x2373 -x2371 -x2369 -x2367 -x2365 -x2363 -x2361 -x2359 -x2357 -x2355 -x2353 -x2351 -x2349 -x2347
1800.10/1800.62 v -x2345 -x2343 -x2341 -x2339 -x2337 -x2335 -x2333 -x2331 -x2329 -x2327 -x2325 -x2323 -x2321 -x2319 -x2317 -x2315 -x2313 -x2311
1800.10/1800.62 v -x2309 -x2307 -x2305 -x2303 -x2301 -x2299 -x2297 -x2295 -x2293 -x2291 -x2289 -x2287 -x2285 -x2283 -x2281 -x2279 -x2277 -x2275
1800.10/1800.62 v -x2273 -x2271 -x2269 -x2267 -x2265 -x2263 -x2261 -x2259 -x2257 -x2255 -x2253 -x2251 -x2249 -x2247 -x2246 -x2244 -x2242 -x2240
1800.10/1800.62 v x2238 -x2236 -x2234 -x2232 -x2230 -x2228 -x2226 -x2224 -x2222 -x2220 -x2218 -x2216 -x2214 -x2212 -x2210 -x2208 -x2206 -x2204
1800.10/1800.62 v -x2202 -x2200 x2198 -x2197 -x2195 -x2193 -x2191 -x2189 -x2187 -x2185 -x2183 -x2181 -x2179 -x2177 -x2175 -x2173 -x2171 -x2169
1800.10/1800.62 v -x2167 -x2165 -x2163 x2161 -x2159 -x2157 -x2155 -x2153 -x2151 -x2149 -x2147 -x2145 -x2143 -x2141 -x2139 -x2137 -x2135 -x2133
1800.10/1800.63 v -x2131 -x2129 -x2127 -x2125 -x2123 -x2121 -x2119 -x2117 -x2115 -x2113 -x2111 -x2109 -x2107 -x2105 -x2103 -x2101 -x2099
1800.10/1800.63 v -x2097 -x2095 -x2093 -x2091 -x2089 -x2087 -x2085 -x2083 -x2081 -x2079 -x2077 -x2075 -x2073 -x2071 -x2069 -x2068 -x2066 -x2064
1800.10/1800.63 v -x2062 -x2060 -x2058 -x2056 -x2054 -x2052 -x2050 -x2048 -x2046 -x2044 -x2042 -x2040 -x2038 -x2036 -x2034 -x2032 -x2030 -x2028
1800.10/1800.63 v -x2026 -x2024 -x2022 -x2020 -x2018 -x2016 -x2014 -x2012 -x2010 -x2008 -x2006 -x2004 -x2002 -x2000 x1998 -x1996 -x1994 -x1992
1800.10/1800.63 v -x1990 -x1988 -x1986 -x1984 -x1982 -x1980 -x1978 -x1976 -x1974 -x1972 -x1970 -x1968 -x1966 -x1964 -x1962 -x1960 -x1958 -x1956
1800.10/1800.63 v -x1954 -x1952 -x1950 -x1948 -x1946 -x1944 -x1943 -x1941 -x1939 -x1937 -x1935 -x1933 -x1931 -x1929 -x1927 -x1925 -x1923 -x1921
1800.10/1800.63 v -x1919 -x1917 -x1915 -x1913 -x1912 -x1910 -x1908 -x1906 -x1904 -x1902 -x1900 -x1898 -x1896 -x1894 -x1892 -x1890 -x1888 -x1886
1800.10/1800.63 v -x1884 -x1882 -x1880 -x1878 -x1876 -x1874 -x1872 -x1871 -x1869 -x1867 -x1865 -x1863 -x1861 -x1859 -x1857 -x1855 -x1853 -x1851
1800.10/1800.63 v -x1849 -x1847 -x1845 -x1843 -x1841 -x1839 -x1837 -x1835 -x1833 -x1831 -x1829 -x1827 -x1825 -x1823 -x1821 -x1819 -x1817
1800.10/1800.63 v -x1815 -x1813 -x1811 -x1809 -x1807 -x1805 -x1803 -x1801 -x1799 -x1797 -x1795 -x1793 -x1791 -x1789 -x1787 -x1785 -x1783 -x1781
1800.10/1800.63 v -x1779 -x1777 -x1775 -x1773 -x1771 -x1769 -x1767 -x1765 -x1763 -x1761 -x1759 -x1757 -x1755 -x1753 -x1751 x1749 -x1747 -x1745
1800.10/1800.63 v -x1743 -x1741 -x1739 -x1737 -x1735 -x1733 -x1731 -x1729 -x1727 -x1725 -x1723 -x1721 -x1719 -x1717 -x1715 -x1713 -x1711 -x1710
1800.10/1800.63 v -x1708 -x1706 -x1704 -x1702 -x1700 -x1698 -x1696 -x1694 -x1692 -x1690 -x1688 -x1686 -x1684 -x1682 -x1680 -x1678 -x1677 -x1675
1800.10/1800.63 v -x1673 -x1671 -x1669 -x1667 -x1665 -x1663 -x1661 -x1659 x1657 -x1655 -x1653 -x1651 -x1649 -x1647 -x1645 -x1643 -x1642 -x1640
1800.10/1800.63 v -x1638 -x1636 -x1634 -x1632 -x1630 -x1628 -x1626 -x1624 -x1622 -x1620 -x1618 -x1616 -x1614 -x1612 -x1610 -x1608 -x1606 -x1604
1800.10/1800.63 v -x1602 -x1600 -x1598 -x1596 -x1594 -x1592 -x1590 -x1588 -x1586 -x1584 -x1582 -x1580 -x1578 -x1576 -x1574 -x1573 -x1571 -x1569
1800.10/1800.63 v -x1567 -x1565 -x1563 -x1561 -x1559 -x1557 -x1555 -x1553 -x1551 -x1549 -x1547 -x1545 -x1543 -x1541 -x1539 -x1537 -x1535 -x1533
1800.10/1800.63 v -x1531 -x1529 -x1528 -x1526 x1524 -x1522 -x1520 -x1518 -x1516 -x1514 -x1512 -x1510 -x1508 -x1506 -x1504 -x1502 -x1500 -x1498
1800.10/1800.63 v -x1496 -x1494 -x1492 -x1490 -x1488 -x1486 -x1484 -x1482 -x1480 -x1478 -x1476 -x1474 -x1472 -x1470 -x1468 -x1466 -x1464
1800.10/1800.63 v -x1462 -x1460 -x1458 -x1456 -x1454 -x1453 -x1451 -x1449 -x1447 -x1445 -x1443 -x1441 -x1439 -x1437 -x1435 -x1433 -x1431 -x1429
1800.10/1800.63 v -x1427 -x1425 -x1423 -x1421 -x1420 -x1418 -x1416 -x1414 -x1412 -x1410 -x1408 -x1406 -x1404 -x1402 -x1400 -x1398 -x1396 -x1394
1800.10/1800.63 v -x1392 -x1390 -x1388 -x1386 -x1384 -x1382 -x1380 -x1378 -x1377 -x1375 -x1373 -x1372 -x1370 -x1368 -x1366 -x1364 -x1362 -x1360
1800.10/1800.63 v -x1358 -x1356 -x1354 -x1352 -x1350 -x1348 -x1346 -x1344 -x1342 -x1340 -x1338 -x1336 -x1334 -x1332 -x1330 -x1328 -x1326 -x1324
1800.10/1800.63 v -x1322 -x1320 -x1318 x1316 -x1314 -x1312 -x1311 -x1309 -x1307 -x1305 -x1303 -x1301 -x1299 -x1297 -x1295 -x1293 -x1291 -x1289
1800.10/1800.63 v -x1287 -x1285 -x1283 -x1281 -x1279 -x1277 -x1275 -x1273 -x1271 -x1269 -x1267 -x1265 -x1263 -x1261 -x1259 -x1257 -x1255 -x1253
1800.10/1800.63 v -x1251 -x1249 -x1247 -x1245 -x1243 -x1241 -x1239 -x1237 -x1235 -x1233 -x1231 -x1230 -x1228 -x1226 -x1224 -x1222 -x1220 -x1218
1800.10/1800.63 v -x1216 -x1214 -x1212 -x1210 -x1208 -x1206 -x1204 -x1202 -x1200 -x1198 -x1196 -x1194 -x1192 -x1190 -x1188 -x1186 -x1184
1800.10/1800.63 v -x1182 -x1180 -x1178 -x1176 -x1174 -x1172 -x1170 -x1168 -x1166 -x1164 -x1162 -x1160 -x1158 -x1156 -x1154 -x1152 -x1150 -x1148
1800.10/1800.63 v -x1146 -x1144 -x1142 -x1140 -x1138 -x1136 -x1134 -x1132 -x1130 -x1128 -x1126 -x1124 -x1122 -x1120 -x1118 -x1116 -x1114 -x1112
1800.10/1800.63 v -x1110 -x1108 -x1106 -x1104 -x1102 -x1100 -x1098 -x1096 -x1094 -x1092 -x1090 -x1088 -x1086 -x1084 -x1082 -x1080 -x1078 -x1076
1800.10/1800.63 v -x1074 -x1072 -x1070 -x1068 -x1066 -x1064 -x1062 -x1060 -x1058 -x1056 -x1054 -x1052 -x1050 -x1048 -x1046 -x1044 -x1042 -x1040
1800.10/1800.63 v -x1038 -x1036 -x1034 -x1032 -x1030 -x1028 -x1026 -x1024 -x1022 -x1020 -x1018 -x1016 -x1014 -x1012 -x1010 -x1008 -x1006 -x1004
1800.10/1800.63 v -x1002 -x1000 -x998 -x996 -x994 -x993 -x991 -x989 -x987 -x985 -x983 -x981 -x979 -x977 -x975 -x973 -x971 -x969 -x967 -x965
1800.10/1800.63 v -x963 -x961 -x959 -x957 -x955 -x953 -x951 -x949 -x947 -x945 -x943 -x941 -x939 -x937 -x935 -x933 -x931 -x929 -x927 -x925 -x923
1800.10/1800.63 v -x921 -x919 -x917 -x915 -x913 -x911 -x909 -x907 -x905 -x903 -x901 -x899 -x897 -x895 -x893 -x891 -x889 -x887 -x885 -x883 -x881
1800.10/1800.63 v -x879 -x877 -x875 -x873 -x871 -x869 -x867 -x865 -x863 -x861 -x859 -x857 -x855 -x853 -x851 -x849 -x847 -x845 -x843 -x841 -x839
1800.10/1800.63 v -x837 -x835 -x833 -x831 -x829 -x827 -x825 -x824 -x822 -x820 -x818 -x816 -x814 -x812 -x810 -x808 -x806 -x804 -x802 -x800
1800.10/1800.63 v -x798 -x796 -x794 -x792 -x790 -x788 -x786 -x784 -x782 -x780 -x778 -x776 -x774 -x772 -x770 -x768 -x766 -x764 -x762 -x760 -x758
1800.10/1800.63 v -x756 -x754 -x752 -x750 -x748 -x746 -x744 -x742 -x740 -x738 -x736 -x734 -x732 -x730 -x728 -x726 -x724 -x722 -x720 -x718 -x716
1800.10/1800.63 v -x714 -x712 -x710 -x708 -x706 -x704 -x702 -x700 -x698 -x696 -x694 -x692 -x690 -x688 -x686 -x684 -x682 -x680 -x678 -x676 -x674
1800.10/1800.63 v -x672 -x670 -x668 -x666 -x664 -x662 -x660 -x658 -x656 -x654 -x652 -x650 -x648 -x646 -x644 -x642 -x640 -x638 -x636 -x634 -x632
1800.10/1800.63 v -x630 -x628 -x626 -x624 -x622 -x620 x618 -x616 -x614 -x612 -x610 -x608 -x606 -x604 -x602 -x600 -x598 -x596 -x594 -x592 -x590
1800.10/1800.63 v -x588 -x586 -x584 -x582 -x580 -x578 -x576 -x574 -x572 -x570 -x568 -x566 -x564 -x562 -x560 -x558 -x556 -x554 -x552 -x550 -x548
1800.10/1800.63 v -x546 -x544 -x542 -x540 -x539 -x537 -x535 -x533 -x531 -x529 -x527 -x525 -x523 -x521 -x519 -x517 -x515 -x513 -x511 -x509
1800.10/1800.63 v -x507 -x505 -x503 -x501 -x499 -x497 -x495 -x493 -x491 -x489 -x487 -x485 -x483 -x481 -x479 -x477 -x475 -x473 -x471 -x469 -x467
1800.10/1800.63 v -x465 -x463 -x461 -x459 -x457 -x455 -x453 -x451 -x449 -x447 -x445 -x443 -x441 -x439 -x437 -x435 -x433 -x431 -x429 -x427 -x425
1800.10/1800.63 v -x423 -x421 x419 -x417 -x415 -x413 -x411 -x409 -x407 -x405 -x403 -x401 -x399 -x397 -x396 -x394 -x392 -x390 -x388 -x386 -x384
1800.10/1800.63 v -x382 -x380 -x378 -x376 -x374 -x372 -x370 -x368 -x366 -x364 -x362 -x360 -x358 -x356 -x354 -x352 -x350 -x348 -x346 -x344 -x342
1800.10/1800.63 v -x340 x338 -x336 -x334 -x332 -x330 -x328 -x326 -x324 -x322 -x320 -x318 -x316 -x314 -x312 -x310 -x308 -x306 -x304 -x302 -x300
1800.10/1800.63 v -x298 -x296 -x294 -x292 -x290 -x288 -x286 -x284 -x282 -x280 -x278 -x276 -x274 -x272 -x270 -x268 -x266 -x264 -x262 -x260 -x258
1800.10/1800.63 v -x256 -x255 -x253 -x251 -x249 -x247 -x245 -x243 -x241 -x239 -x237 -x235 -x233 -x231 -x229 -x227 -x225 -x223 -x221 -x219 -x217
1800.10/1800.63 v -x215 -x213 -x211 -x209 -x207 -x205 -x203 -x201 -x199 -x197 -x195 x193 -x191 -x189 -x187 -x185 -x183 -x181 -x179 -x177 -x175
1800.10/1800.63 v -x173 -x171 -x169 -x167 -x165 -x163 -x161 -x159 -x157 -x155 -x153 -x151 -x149
1800.10/1800.63 c SCIP Status : solving was interrupted [user interrupt]
1800.10/1800.63 c Solving Time : 1719.76
1800.10/1800.63 c Original Problem :
1800.10/1800.63 c Problem name : HOME/instance-2665362-1276633665.opb
1800.10/1800.63 c Variables : 3392 (3392 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.10/1800.63 c Constraints : 9001 initial, 9001 maximal
1800.10/1800.63 c Presolved Problem :
1800.10/1800.63 c Problem name : t_HOME/instance-2665362-1276633665.opb
1800.10/1800.63 c Variables : 1680 (1680 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.10/1800.63 c Constraints : 5530 initial, 5877 maximal
1800.10/1800.63 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.10/1800.63 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.63 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.63 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.63 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.63 c implics : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.63 c probing : 0.04 0 0 0 0 0 0 0 0
1800.10/1800.63 c linear : 0.10 100 1612 0 100 0 3471 0 0
1800.10/1800.63 c logicor : 0.05 0 0 0 0 0 0 0 0
1800.10/1800.63 c root node : - 0 - - 0 - - - -
1800.10/1800.63 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.10/1800.63 c integral : 0 0 0 1 0 0 0 0 0 2
1800.10/1800.63 c logicor : 5530+ 13 8662906 0 0 1324111 13771576 0 0 0
1800.10/1800.63 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.10/1800.63 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.10/1800.63 c integral : 5.69 0.00 0.00 5.69 0.00
1800.10/1800.63 c logicor : 468.82 0.02 468.80 0.00 0.00
1800.10/1800.63 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.10/1800.63 c Propagators : Time Calls Cutoffs DomReds
1800.10/1800.63 c vbounds : 7.17 2 0 0
1800.10/1800.63 c rootredcost : 6.89 0 0 0
1800.10/1800.63 c pseudoobj : 876.60 12886856 421472 17695202
1800.10/1800.63 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.10/1800.63 c propagation : 414.38 1745583 1745583 1745583 87.3 52216 56.5 -
1800.10/1800.63 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.10/1800.63 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.10/1800.63 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.10/1800.63 c pseudo solution : 0.85 1492 1492 1492 73.6 107 63.3 -
1800.10/1800.63 c applied globally : - - - 1776391 85.3 - - -
1800.10/1800.63 c applied locally : - - - 22779 175.6 - - -
1800.10/1800.63 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.10/1800.63 c cut pool : 0.00 12 - - 131 - (maximal pool size: 534)
1800.10/1800.63 c redcost : 0.01 13 0 0 0 0
1800.10/1800.63 c impliedbounds : 0.00 13 0 0 0 0
1800.10/1800.63 c intobj : 0.00 0 0 0 0 0
1800.10/1800.63 c cgmip : 0.00 0 0 0 0 0
1800.10/1800.63 c gomory : 8.69 13 0 0 1330 0
1800.10/1800.63 c strongcg : 5.95 13 0 0 6113 0
1800.10/1800.63 c cmir : 0.45 10 0 0 0 0
1800.10/1800.63 c flowcover : 0.73 10 0 0 0 0
1800.10/1800.63 c clique : 0.00 13 0 0 74 0
1800.10/1800.63 c zerohalf : 0.00 0 0 0 0 0
1800.10/1800.63 c mcf : 0.01 1 0 0 0 0
1800.10/1800.63 c rapidlearning : 0.00 0 0 0 0 0
1800.10/1800.63 c Pricers : Time Calls Vars
1800.10/1800.63 c problem variables: 0.00 0 0
1800.10/1800.63 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.10/1800.63 c relpscost : 5.69 1 0 0 0 0 2
1800.10/1800.63 c pscost : 0.00 0 0 0 0 0 0
1800.10/1800.63 c inference : 61.99 2250891 0 0 0 0 4501782
1800.10/1800.63 c mostinf : 0.00 0 0 0 0 0 0
1800.10/1800.63 c leastinf : 0.00 0 0 0 0 0 0
1800.10/1800.63 c fullstrong : 0.00 0 0 0 0 0 0
1800.10/1800.63 c allfullstrong : 0.00 0 0 0 0 0 0
1800.10/1800.63 c random : 0.00 0 0 0 0 0 0
1800.10/1800.63 c Primal Heuristics : Time Calls Found
1800.10/1800.63 c LP solutions : 0.00 - 0
1800.10/1800.63 c pseudo solutions : 0.00 - 0
1800.10/1800.63 c crossover : 0.00 0 0
1800.10/1800.63 c oneopt : 1.43 4 0
1800.10/1800.63 c trivial : 0.01 2 0
1800.10/1800.63 c simplerounding : 0.00 0 0
1800.10/1800.63 c zirounding : 0.00 1 0
1800.10/1800.63 c rounding : 0.05 14 3
1800.10/1800.63 c shifting : 0.03 14 0
1800.10/1800.63 c intshifting : 0.00 0 0
1800.10/1800.63 c twoopt : 0.00 0 0
1800.10/1800.63 c fixandinfer : 0.00 0 0
1800.10/1800.63 c feaspump : 0.00 0 0
1800.10/1800.63 c coefdiving : 0.00 0 0
1800.10/1800.63 c pscostdiving : 0.00 0 0
1800.10/1800.63 c fracdiving : 0.00 0 0
1800.10/1800.63 c veclendiving : 0.00 0 0
1800.10/1800.63 c intdiving : 0.00 0 0
1800.10/1800.63 c actconsdiving : 0.00 0 0
1800.10/1800.63 c objpscostdiving : 0.00 0 0
1800.10/1800.63 c rootsoldiving : 0.00 0 0
1800.10/1800.63 c linesearchdiving : 0.00 0 0
1800.10/1800.63 c guideddiving : 0.00 0 0
1800.10/1800.63 c octane : 0.00 0 0
1800.10/1800.63 c rens : 0.69 1 1
1800.10/1800.63 c rins : 0.00 0 0
1800.10/1800.63 c localbranching : 0.00 0 0
1800.10/1800.63 c mutation : 0.00 0 0
1800.10/1800.63 c dins : 0.00 0 0
1800.10/1800.63 c undercover : 0.00 0 0
1800.10/1800.63 c nlp : 1.66 0 0
1800.10/1800.63 c trysol : 1.32 0 0
1800.10/1800.63 c LP : Time Calls Iterations Iter/call Iter/sec
1800.10/1800.63 c primal LP : 0.00 0 0 0.00 -
1800.10/1800.63 c dual LP : 1.11 14 2394 171.00 2156.76
1800.10/1800.63 c lex dual LP : 0.00 0 0 0.00 -
1800.10/1800.63 c barrier LP : 0.00 0 0 0.00 -
1800.10/1800.63 c diving/probing LP: 0.00 0 0 0.00 -
1800.10/1800.63 c strong branching : 5.69 23 11529 501.26 2026.19
1800.10/1800.63 c (at root node) : - 23 11529 501.26 -
1800.10/1800.63 c conflict analysis: 0.00 0 0 0.00 -
1800.10/1800.63 c B&B Tree :
1800.10/1800.63 c number of runs : 1
1800.10/1800.63 c nodes : 2972968
1800.10/1800.63 c nodes (total) : 2972968
1800.10/1800.63 c nodes left : 1116
1800.10/1800.63 c max depth : 1151
1800.10/1800.63 c max depth (total): 1151
1800.10/1800.63 c backtracks : 1134957 (38.2%)
1800.10/1800.63 c delayed cutoffs : 1521461
1800.10/1800.63 c repropagations : 3646383 (18469869 domain reductions, 1024999 cutoffs)
1800.10/1800.63 c avg switch length: 3.38
1800.10/1800.63 c switching time : 103.69
1800.10/1800.63 c Solution :
1800.10/1800.63 c Solutions found : 4 (4 improvements)
1800.10/1800.63 c First Solution : +4.80000000000000e+01 (in run 1, after 1 nodes, 0.36 seconds, depth 0, found by <rounding>)
1800.10/1800.63 c Primal Bound : +2.50000000000000e+01 (in run 1, after 1 nodes, 16.40 seconds, depth 0, found by <rens>)
1800.10/1800.63 c Dual Bound : +2.30000000000000e+01
1800.10/1800.63 c Gap : 8.70 %
1800.10/1800.63 c Root Dual Bound : +2.30000000000000e+01
1800.10/1800.63 c Root Iterations : 2394
1800.10/1800.68 c Time complete: 1800.17.
OK 25
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665362-1276633665/watcher-2665362-1276633665 -o /tmp/evaluation-result-2665362-1276633665/solver-2665362-1276633665 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665362-1276633665.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: 0.92 0.98 1.07 3/105 11489 /proc/meminfo: memFree=1818688/2059040 swapFree=4140808/4192956 [pid=11489] ppid=11487 vsize=9288 CPUtime=0 /proc/11489/stat : 11489 (pbscip.linux.x8) R 11487 11489 11269 0 -1 4202496 1077 0 0 0 0 0 0 0 25 0 1 0 4660014 9510912 997 1992294400 4194304 9819077 140734416010224 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11489/statm: 2322 1007 371 1374 0 943 0 [startup+0.0411689 s] /proc/loadavg: 0.92 0.98 1.07 3/105 11489 /proc/meminfo: memFree=1818688/2059040 swapFree=4140808/4192956 [pid=11489] ppid=11487 vsize=14000 CPUtime=0.03 /proc/11489/stat : 11489 (pbscip.linux.x8) R 11487 11489 11269 0 -1 4202496 2453 0 0 0 3 0 0 0 25 0 1 0 4660014 14336000 2373 1992294400 4194304 9819077 140734416010224 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11489/statm: 3500 2373 388 1374 0 2121 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 14000 [startup+0.101173 s] /proc/loadavg: 0.92 0.98 1.07 3/105 11489 /proc/meminfo: memFree=1818688/2059040 swapFree=4140808/4192956 [pid=11489] ppid=11487 vsize=16596 CPUtime=0.09 /proc/11489/stat : 11489 (pbscip.linux.x8) R 11487 11489 11269 0 -1 4202496 3083 0 0 0 8 1 0 0 25 0 1 0 4660014 16994304 3003 1992294400 4194304 9819077 140734416010224 18446744073709551615 8677994 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11489/statm: 4149 3003 388 1374 0 2770 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 16596 [startup+0.301192 s] /proc/loadavg: 0.92 0.98 1.07 3/105 11489 /proc/meminfo: memFree=1818688/2059040 swapFree=4140808/4192956 [pid=11489] ppid=11487 vsize=31108 CPUtime=0.29 /proc/11489/stat : 11489 (pbscip.linux.x8) R 11487 11489 11269 0 -1 4202496 7136 0 0 0 25 4 0 0 25 0 1 0 4660014 31854592 6445 1992294400 4194304 9819077 140734416010224 18446744073709551615 4914941 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11489/statm: 7777 6445 493 1374 0 6398 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 31108 [startup+0.701231 s] /proc/loadavg: 0.92 0.98 1.07 3/105 11489 /proc/meminfo: memFree=1818688/2059040 swapFree=4140808/4192956 [pid=11489] ppid=11487 vsize=47428 CPUtime=0.69 /proc/11489/stat : 11489 (pbscip.linux.x8) R 11487 11489 11269 0 -1 4202496 12188 0 0 0 62 7 0 0 25 0 1 0 4660014 48566272 9808 1992294400 4194304 9819077 140734416010224 18446744073709551615 8494997 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11489/statm: 11857 9808 650 1374 0 10478 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 47428 [startup+1.50131 s] /proc/loadavg: 0.92 0.98 1.07 2/106 11490 /proc/meminfo: memFree=1775528/2059040 swapFree=4140808/4192956 [pid=11489] ppid=11487 vsize=60156 CPUtime=1.49 /proc/11489/stat : 11489 (pbscip.linux.x8) R 11487 11489 11269 0 -1 4202496 15542 0 0 0 139 10 0 0 25 0 1 0 4660014 61599744 12962 1992294400 4194304 9819077 140734416010224 18446744073709551615 6007146 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11489/statm: 15039 12962 673 1374 0 13660 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 60156 [startup+3.10146 s] /proc/loadavg: 0.92 0.98 1.07 2/106 11490 /proc/meminfo: memFree=1765360/2059040 swapFree=4140808/4192956 [pid=11489] ppid=11487 vsize=66916 CPUtime=3.09 /proc/11489/stat : 11489 (pbscip.linux.x8) R 11487 11489 11269 0 -1 4202496 17443 0 0 0 298 11 0 0 25 0 1 0 4660014 68521984 14672 1992294400 4194304 9819077 140734416010224 18446744073709551615 7304779 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11489/statm: 16729 14672 675 1374 0 15350 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 66916 [startup+6.30077 s] /proc/loadavg: 1.01 1.00 1.07 2/106 11490 /proc/meminfo: memFree=1761640/2059040 swapFree=4140808/4192956 [pid=11489] ppid=11487 vsize=67236 CPUtime=6.29 /proc/11489/stat : 11489 (pbscip.linux.x8) R 11487 11489 11269 0 -1 4202496 17948 0 0 0 615 14 0 0 25 0 1 0 4660014 68849664 14736 1992294400 4194304 9819077 140734416010224 18446744073709551615 6055431 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11489/statm: 16809 14736 675 1374 0 15430 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 67236 [startup+12.7014 s] /proc/loadavg: 1.01 1.00 1.07 2/106 11492 /proc/meminfo: memFree=1752464/2059040 swapFree=4140808/4192956 [pid=11489] ppid=11487 vsize=76488 CPUtime=12.69 /proc/11489/stat : 11489 (pbscip.linux.x8) R 11487 11489 11269 0 -1 4202496 21682 0 0 0 1251 18 0 0 25 0 1 0 4660014 78323712 17041 1992294400 4194304 9819077 140734416010224 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11489/statm: 19122 17041 675 1374 0 17743 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 76488 [startup+25.5006 s] /proc/loadavg: 1.00 1.00 1.07 2/106 11492 /proc/meminfo: memFree=1743908/2059040 swapFree=4140808/4192956 [pid=11489] ppid=11487 vsize=84976 CPUtime=25.49 /proc/11489/stat : 11489 (pbscip.linux.x8) R 11487 11489 11269 0 -1 4202496 54322 0 0 0 2505 44 0 0 25 0 1 0 4660014 87015424 19223 1992294400 4194304 9819077 140734416010224 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11489/statm: 21244 19223 725 1374 0 19865 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 84976 [startup+51.1011 s] /proc/loadavg: 1.00 1.00 1.07 2/106 11492 /proc/meminfo: memFree=1742792/2059040 swapFree=4140808/4192956 [pid=11489] ppid=11487 vsize=86204 CPUtime=51.07 /proc/11489/stat : 11489 (pbscip.linux.x8) R 11487 11489 11269 0 -1 4202496 54622 0 0 0 4945 162 0 0 25 0 1 0 4660014 88272896 19523 1992294400 4194304 9819077 140734416010224 18446744073709551615 4703929 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11489/statm: 21551 19523 725 1374 0 20172 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 86204 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.06 2/106 11494 /proc/meminfo: memFree=1742172/2059040 swapFree=4140808/4192956 [pid=11489] ppid=11487 vsize=86616 CPUtime=102.27 /proc/11489/stat : 11489 (pbscip.linux.x8) R 11487 11489 11269 0 -1 4202496 54725 0 0 0 9822 405 0 0 25 0 1 0 4660014 88694784 19626 1992294400 4194304 9819077 140734416010224 18446744073709551615 4660874 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11489/statm: 21654 19626 725 1374 0 20275 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 86616 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.06 2/106 11496 /proc/meminfo: memFree=1741676/2059040 swapFree=4140808/4192956 [pid=11489] ppid=11487 vsize=87028 CPUtime=162.24 /proc/11489/stat : 11489 (pbscip.linux.x8) R 11487 11489 11269 0 -1 4202496 54815 0 0 0 15543 681 0 0 25 0 1 0 4660014 89116672 19716 1992294400 4194304 9819077 140734416010224 18446744073709551615 4434043 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11489/statm: 21757 19716 725 1374 0 20378 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 87028 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.05 2/106 11496 /proc/meminfo: memFree=1741552/2059040 swapFree=4140808/4192956 [pid=11489] ppid=11487 vsize=87160 CPUtime=222.22 /proc/11489/stat : 11489 (pbscip.linux.x8) R 11487 11489 11269 0 -1 4202496 54846 0 0 0 21274 948 0 0 25 0 1 0 4660014 89251840 19747 1992294400 4194304 9819077 140734416010224 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11489/statm: 21790 19747 725 1374 0 20411 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 87160 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.05 2/106 11498 /proc/meminfo: memFree=1741304/2059040 swapFree=4140808/4192956 [pid=11489] ppid=11487 vsize=87296 CPUtime=282.21 /proc/11489/stat : 11489 (pbscip.linux.x8) R 11487 11489 11269 0 -1 4202496 54888 0 0 0 26990 1231 0 0 25 0 1 0 4660014 89391104 19789 1992294400 4194304 9819077 140734416010224 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11489/statm: 21824 19789 725 1374 0 20445 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 87296 [startup+342.301 s] /proc/loadavg: 1.06 1.01 1.04 2/106 11503 /proc/meminfo: memFree=1740560/2059040 swapFree=4140808/4192956 [pid=11489] ppid=11487 vsize=87296 CPUtime=342.19 /proc/11489/stat : 11489 (pbscip.linux.x8) R 11487 11489 11269 0 -1 4202496 54908 0 0 0 32706 1513 0 0 25 0 1 0 4660014 89391104 19809 1992294400 4194304 9819077 140734416010224 18446744073709551615 5506174 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11489/statm: 21824 19809 725 1374 0 20445 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 87296 [startup+402.301 s] /proc/loadavg: 1.07 1.03 1.04 2/106 11505 /proc/meminfo: memFree=1740436/2059040 swapFree=4140808/4192956 [pid=11489] ppid=11487 vsize=87440 CPUtime=402.18 /proc/11489/stat : 11489 (pbscip.linux.x8) R 11487 11489 11269 0 -1 4202496 54945 0 0 0 38428 1790 0 0 25 0 1 0 4660014 89538560 19846 1992294400 4194304 9819077 140734416010224 18446744073709551615 5507358 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11489/statm: 21860 19846 725 1374 0 20481 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 87440 [startup+462.301 s] /proc/loadavg: 1.07 1.03 1.04 2/106 11507 /proc/meminfo: memFree=1740436/2059040 swapFree=4140808/4192956 [pid=11489] ppid=11487 vsize=87580 CPUtime=462.16 /proc/11489/stat : 11489 (pbscip.linux.x8) R 11487 11489 11269 0 -1 4202496 54955 0 0 0 44142 2074 0 0 25 0 1 0 4660014 89681920 19856 1992294400 4194304 9819077 140734416010224 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11489/statm: 21895 19856 725 1374 0 20516 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 87580 [startup+522.301 s] /proc/loadavg: 1.07 1.04 1.04 2/106 11507 /proc/meminfo: memFree=1740312/2059040 swapFree=4140808/4192956 [pid=11489] ppid=11487 vsize=87724 CPUtime=522.15 /proc/11489/stat : 11489 (pbscip.linux.x8) R 11487 11489 11269 0 -1 4202496 55004 0 0 0 49863 2352 0 0 25 0 1 0 4660014 89829376 19905 1992294400 4194304 9819077 140734416010224 18446744073709551615 4240437 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11489/statm: 21931 19905 725 1374 0 20552 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 87724 [startup+582.302 s] /proc/loadavg: 1.06 1.04 1.04 2/106 11509 /proc/meminfo: memFree=1740188/2059040 swapFree=4140808/4192956 [pid=11489] ppid=11487 vsize=87872 CPUtime=582.13 /proc/11489/stat : 11489 (pbscip.linux.x8) R 11487 11489 11269 0 -1 4202496 55031 0 0 0 55585 2628 0 0 25 0 1 0 4660014 89980928 19932 1992294400 4194304 9819077 140734416010224 18446744073709551615 5507373 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11489/statm: 21968 19932 725 1374 0 20589 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 87872 [startup+642.301 s] /proc/loadavg: 1.06 1.05 1.04 2/106 11511 /proc/meminfo: memFree=1739816/2059040 swapFree=4140808/4192956 [pid=11489] ppid=11487 vsize=88008 CPUtime=642.12 /proc/11489/stat : 11489 (pbscip.linux.x8) R 11487 11489 11269 0 -1 4202496 55079 0 0 0 61316 2896 0 0 25 0 1 0 4660014 90120192 19980 1992294400 4194304 9819077 140734416010224 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11489/statm: 22002 19980 725 1374 0 20623 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 88008 [startup+702.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.01 1.04 1.04 2/106 11515 /proc/meminfo: memFree=1739444/2059040 swapFree=4140808/4192956 [pid=11489] ppid=11487 vsize=88148 CPUtime=822.06 /proc/11489/stat : 11489 (pbscip.linux.x8) R 11487 11489 11269 0 -1 4202496 55103 0 0 0 78500 3706 0 0 25 0 1 0 4660014 90263552 20004 1992294400 4194304 9819077 140734416010224 18446744073709551615 5905982 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11489/statm: 22037 20004 725 1374 0 20658 0 Current children cumulated CPU time (s) 822.06 Current children cumulated vsize (KiB) 88148 [startup+882.302 s] /proc/loadavg: 1.00 1.03 1.03 2/106 11517 /proc/meminfo: memFree=1739320/2059040 swapFree=4140808/4192956 [pid=11489] ppid=11487 vsize=88148 CPUtime=882.04 /proc/11489/stat : 11489 (pbscip.linux.x8) R 11487 11489 11269 0 -1 4202496 55109 0 0 0 84227 3977 0 0 25 0 1 0 4660014 90263552 20010 1992294400 4194304 9819077 140734416010224 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11489/statm: 22037 20010 725 1374 0 20658 0 Current children cumulated CPU time (s) 882.04 Current children cumulated vsize (KiB) 88148 [startup+942.301 s] /proc/loadavg: 1.00 1.02 1.02 2/106 11519 /proc/meminfo: memFree=1739196/2059040 swapFree=4140808/4192956 [pid=11489] ppid=11487 vsize=88148 CPUtime=942.02 /proc/11489/stat : 11489 (pbscip.linux.x8) R 11487 11489 11269 0 -1 4202496 55110 0 0 0 89947 4255 0 0 25 0 1 0 4660014 90263552 20011 1992294400 4194304 9819077 140734416010224 18446744073709551615 5507220 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11489/statm: 22037 20011 725 1374 0 20658 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 88148 [startup+1002.3 s] /proc/loadavg: 1.00 1.02 1.02 2/106 11521 /proc/meminfo: memFree=1739072/2059040 swapFree=4140808/4192956 [pid=11489] ppid=11487 vsize=88148 CPUtime=1002.01 /proc/11489/stat : 11489 (pbscip.linux.x8) R 11487 11489 11269 0 -1 4202496 55110 0 0 0 95681 4520 0 0 25 0 1 0 4660014 90263552 20011 1992294400 4194304 9819077 140734416010224 18446744073709551615 5507373 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11489/statm: 22037 20011 725 1374 0 20658 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 88148 [startup+1062.3 s] /proc/loadavg: 1.00 1.01 1.01 2/106 11523 /proc/meminfo: memFree=1738948/2059040 swapFree=4140808/4192956 [pid=11489] ppid=11487 vsize=88148 CPUtime=1061.99 /proc/11489/stat : 11489 (pbscip.linux.x8) R 11487 11489 11269 0 -1 4202496 55118 0 0 0 101411 4788 0 0 25 0 1 0 4660014 90263552 20019 1992294400 4194304 9819077 140734416010224 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11489/statm: 22037 20019 725 1374 0 20658 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 88148 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.01 2/106 11523 /proc/meminfo: memFree=1738824/2059040 swapFree=4140808/4192956 [pid=11489] ppid=11487 vsize=88288 CPUtime=1121.97 /proc/11489/stat : 11489 (pbscip.linux.x8) R 11487 11489 11269 0 -1 4202496 55138 0 0 0 107132 5065 0 0 25 0 1 0 4660014 90406912 20039 1992294400 4194304 9819077 140734416010224 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11489/statm: 22072 20039 725 1374 0 20693 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 88288 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 11525 /proc/meminfo: memFree=1738452/2059040 swapFree=4140808/4192956 [pid=11489] ppid=11487 vsize=88420 CPUtime=1181.95 /proc/11489/stat : 11489 (pbscip.linux.x8) R 11487 11489 11269 0 -1 4202496 55164 0 0 0 112873 5322 0 0 25 0 1 0 4660014 90542080 20065 1992294400 4194304 9819077 140734416010224 18446744073709551615 5507431 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11489/statm: 22105 20065 725 1374 0 20726 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 88420 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 11527 /proc/meminfo: memFree=1738204/2059040 swapFree=4140808/4192956 [pid=11489] ppid=11487 vsize=88420 CPUtime=1241.94 /proc/11489/stat : 11489 (pbscip.linux.x8) R 11487 11489 11269 0 -1 4202496 55185 0 0 0 118612 5582 0 0 25 0 1 0 4660014 90542080 20086 1992294400 4194304 9819077 140734416010224 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11489/statm: 22105 20086 725 1374 0 20726 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 88420 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 11529 /proc/meminfo: memFree=1738080/2059040 swapFree=4140808/4192956 [pid=11489] ppid=11487 vsize=88420 CPUtime=1301.93 /proc/11489/stat : 11489 (pbscip.linux.x8) R 11487 11489 11269 0 -1 4202496 55185 0 0 0 124356 5837 0 0 25 0 1 0 4660014 90542080 20086 1992294400 4194304 9819077 140734416010224 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11489/statm: 22105 20086 725 1374 0 20726 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 88420 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 11531 /proc/meminfo: memFree=1737956/2059040 swapFree=4140808/4192956 [pid=11489] ppid=11487 vsize=88420 CPUtime=1361.9 /proc/11489/stat : 11489 (pbscip.linux.x8) R 11487 11489 11269 0 -1 4202496 55192 0 0 0 130074 6116 0 0 25 0 1 0 4660014 90542080 20093 1992294400 4194304 9819077 140734416010224 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11489/statm: 22105 20093 725 1374 0 20726 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 88420 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/106 11531 /proc/meminfo: memFree=1737584/2059040 swapFree=4140808/4192956 [pid=11489] ppid=11487 vsize=88744 CPUtime=1421.9 /proc/11489/stat : 11489 (pbscip.linux.x8) R 11487 11489 11269 0 -1 4202496 55250 0 0 0 135815 6375 0 0 25 0 1 0 4660014 90873856 20151 1992294400 4194304 9819077 140734416010224 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11489/statm: 22186 20151 725 1374 0 20807 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 88744 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 11533 /proc/meminfo: memFree=1737460/2059040 swapFree=4140808/4192956 [pid=11489] ppid=11487 vsize=88744 CPUtime=1481.87 /proc/11489/stat : 11489 (pbscip.linux.x8) R 11487 11489 11269 0 -1 4202496 55260 0 0 0 141546 6641 0 0 25 0 1 0 4660014 90873856 20161 1992294400 4194304 9819077 140734416010224 18446744073709551615 4661061 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11489/statm: 22186 20161 725 1374 0 20807 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 88744 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 11535 /proc/meminfo: memFree=1737336/2059040 swapFree=4140808/4192956 [pid=11489] ppid=11487 vsize=88744 CPUtime=1541.86 /proc/11489/stat : 11489 (pbscip.linux.x8) R 11487 11489 11269 0 -1 4202496 55264 0 0 0 147294 6892 0 0 25 0 1 0 4660014 90873856 20165 1992294400 4194304 9819077 140734416010224 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11489/statm: 22186 20165 725 1374 0 20807 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 88744 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 11537 /proc/meminfo: memFree=1737336/2059040 swapFree=4140808/4192956 [pid=11489] ppid=11487 vsize=88876 CPUtime=1601.84 /proc/11489/stat : 11489 (pbscip.linux.x8) R 11487 11489 11269 0 -1 4202496 55282 0 0 0 153039 7145 0 0 25 0 1 0 4660014 91009024 20183 1992294400 4194304 9819077 140734416010224 18446744073709551615 5507431 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11489/statm: 22219 20183 725 1374 0 20840 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 88876 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 11539 /proc/meminfo: memFree=1737212/2059040 swapFree=4140808/4192956 [pid=11489] ppid=11487 vsize=88876 CPUtime=1661.82 /proc/11489/stat : 11489 (pbscip.linux.x8) R 11487 11489 11269 0 -1 4202496 55286 0 0 0 158777 7405 0 0 25 0 1 0 4660014 91009024 20187 1992294400 4194304 9819077 140734416010224 18446744073709551615 4648619 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11489/statm: 22219 20187 725 1374 0 20840 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 88876 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 11539 /proc/meminfo: memFree=1736964/2059040 swapFree=4140808/4192956 [pid=11489] ppid=11487 vsize=88876 CPUtime=1721.81 /proc/11489/stat : 11489 (pbscip.linux.x8) R 11487 11489 11269 0 -1 4202496 55303 0 0 0 164517 7664 0 0 25 0 1 0 4660014 91009024 20204 1992294400 4194304 9819077 140734416010224 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11489/statm: 22219 20204 725 1374 0 20840 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 88876 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 11541 /proc/meminfo: memFree=1736716/2059040 swapFree=4140808/4192956 [pid=11489] ppid=11487 vsize=88876 CPUtime=1781.79 /proc/11489/stat : 11489 (pbscip.linux.x8) R 11487 11489 11269 0 -1 4202496 55303 0 0 0 170252 7927 0 0 25 0 1 0 4660014 91009024 20204 1992294400 4194304 9819077 140734416010224 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11489/statm: 22219 20204 725 1374 0 20840 0 Current children cumulated CPU time (s) 1781.79 Current children cumulated vsize (KiB) 88876 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/106 11541 /proc/meminfo: memFree=1736716/2059040 swapFree=4140808/4192956 [pid=11489] ppid=11487 vsize=88876 CPUtime=1800.1 /proc/11489/stat : 11489 (pbscip.linux.x8) R 11487 11489 11269 0 -1 4202496 55303 0 0 0 171990 8020 0 0 25 0 1 0 4660014 91009024 20204 1992294400 4194304 9819077 140734416010224 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11489/statm: 22219 20204 725 1374 0 20840 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 88876 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.69 CPU time (s): 1800.18 CPU user time (s): 1719.97 CPU system time (s): 80.2088 CPU usage (%): 99.9718 Max. virtual memory (cumulated for all children) (KiB): 104368 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1719.97 system time used= 80.2088 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 55315 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= 3 involuntary context switches= 3524 runsolver used 3.13952 second user time and 8.36073 second system time The end
Begin job on node089 at 2010-06-15 22:27:45 IDJOB=2665362 IDBENCH=24987 IDSOLVER=1168 FILE ID=node089/2665362-1276633665 PBS_JOBID= 11172379 Free space on /tmp= 62556 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_024_area_delay.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2665362-1276633665/watcher-2665362-1276633665 -o /tmp/evaluation-result-2665362-1276633665/solver-2665362-1276633665 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665362-1276633665.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 58f3055ef9bb388e237f57f2627386e0 RANDOM SEED=1110857165 node089.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 : 5999.47 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1819216 kB Buffers: 53160 kB Cached: 108984 kB SwapCached: 6356 kB Active: 73588 kB Inactive: 102260 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1819216 kB SwapTotal: 4192956 kB SwapFree: 4140808 kB Dirty: 6476 kB Writeback: 0 kB AnonPages: 11212 kB Mapped: 13072 kB Slab: 42388 kB PageTables: 3980 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181492 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= 62552 MiB End job on node089 at 2010-06-15 22:57:48