Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| PB10: SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | SAT | 55 | 1791.47 | 1791.79 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-C499.b.opb |
| MD5SUM | 0b80319f4195f1e1329c2c4b63b416b0 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 45 |
| Best CPU time to get the best result obtained on this benchmark | 1796.93 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 45 |
| Optimality of the best value was proved | NO |
| Number of variables | 5203 |
| Total number of constraints | 19637 |
| Number of constraints which are clauses | 19637 |
| 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 | 11 |
| Maximum length of a constraint | 360 |
| Number of terms in the objective function | 5203 |
| 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 | 5203 |
| Number of bits of the sum of numbers in the objective function | 13 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 5203 |
| Number of bits of the biggest sum of numbers | 13 |
| 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.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
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-3734668-1338700398.opb>
0.89/0.97 c original problem has 5203 variables (5203 bin, 0 int, 0 impl, 0 cont) and 19637 constraints
0.89/0.97 c problem read
0.89/0.97 c presolving settings loaded
1.20/1.27 o 5203
1.20/1.27 o 5115
1.20/1.27 c feasible solution found by trivial heuristic, objective value 5.115000e+03
1.20/1.27 c presolving:
1.79/1.88 c (round 1) 0 del vars, 34 del conss, 0 chg bounds, 2 chg sides, 0 chg coeffs, 19539 upgd conss, 0 impls, 0 clqs
1.89/1.91 c (round 2) 0 del vars, 34 del conss, 0 chg bounds, 2 chg sides, 0 chg coeffs, 19571 upgd conss, 0 impls, 0 clqs
1.89/1.94 c (round 3) 0 del vars, 34 del conss, 0 chg bounds, 2 chg sides, 0 chg coeffs, 19603 upgd conss, 0 impls, 0 clqs
1.99/2.01 c (1.0s) probing: 101/5203 (1.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.99/2.01 c (1.0s) probing aborted: 100/100 successive totally useless probings
1.99/2.01 c presolving (4 rounds):
1.99/2.01 c 0 deleted vars, 34 deleted constraints, 0 tightened bounds, 0 added holes, 2 changed sides, 0 changed coefficients
1.99/2.01 c 0 implications, 0 cliques
1.99/2.01 c presolved problem has 5203 variables (5203 bin, 0 int, 0 impl, 0 cont) and 19603 constraints
1.99/2.01 c 19603 constraints of type <logicor>
1.99/2.01 c transformed objective value is always integral (scale: 1)
1.99/2.01 c Presolving Time: 0.81
1.99/2.01 c - non default parameters ----------------------------------------------------------------------
1.99/2.01 c # SCIP version 1.2.1.3
1.99/2.01 c
1.99/2.01 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
1.99/2.01 c # [type: int, range: [-1,2147483647], default: -1]
1.99/2.01 c conflict/interconss = 0
1.99/2.01 c
1.99/2.01 c # should binary conflicts be preferred?
1.99/2.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.99/2.01 c conflict/preferbinary = TRUE
1.99/2.01 c
1.99/2.01 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
1.99/2.01 c # [type: int, range: [-1,2147483647], default: 0]
1.99/2.01 c constraints/agelimit = 1
1.99/2.01 c
1.99/2.01 c # should enforcement of pseudo solution be disabled?
1.99/2.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.99/2.01 c constraints/disableenfops = TRUE
1.99/2.01 c
1.99/2.01 c # frequency for displaying node information lines
1.99/2.01 c # [type: int, range: [-1,2147483647], default: 100]
1.99/2.01 c display/freq = 10000
1.99/2.01 c
1.99/2.01 c # maximal time in seconds to run
1.99/2.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.99/2.01 c limits/time = 1789.04
1.99/2.01 c
1.99/2.01 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.99/2.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.99/2.01 c limits/memory = 13950
1.99/2.01 c
1.99/2.01 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
1.99/2.01 c # [type: int, range: [-1,2147483647], default: 1]
1.99/2.01 c lp/solvefreq = 0
1.99/2.01 c
1.99/2.01 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
1.99/2.01 c # [type: char, range: {lafpsqd}, default: l]
1.99/2.01 c lp/pricing = a
1.99/2.01 c
1.99/2.01 c # default clock type (1: CPU user seconds, 2: wall clock time)
1.99/2.01 c # [type: int, range: [1,2], default: 1]
1.99/2.01 c timing/clocktype = 2
1.99/2.01 c
1.99/2.01 c # should presolving try to simplify inequalities
1.99/2.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.99/2.01 c constraints/linear/simplifyinequalities = TRUE
1.99/2.01 c
1.99/2.01 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1.99/2.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.99/2.01 c constraints/indicator/addCouplingCons = TRUE
1.99/2.01 c
1.99/2.01 c # should presolving try to simplify knapsacks
1.99/2.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.99/2.01 c constraints/knapsack/simplifyinequalities = TRUE
1.99/2.01 c
1.99/2.01 c # priority of node selection rule <dfs> in standard mode
1.99/2.01 c # [type: int, range: [-536870912,536870911], default: 0]
1.99/2.01 c nodeselection/dfs/stdpriority = 1000000
1.99/2.01 c
1.99/2.01 c -----------------------------------------------------------------------------------------------
1.99/2.01 c start solving
1.99/2.01 c
1.99/2.02 o 5002
1.99/2.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.99/2.02 c t 1.0s| 1 | 0 | 0 | - | 77M| 0 | - |5203 | 19k| 0 | 0 | 0 | 0 | 0 | -- | 5.002000e+03 | Inf
2.39/2.41 o 97
2.39/2.41 c b 1.4s| 1 | 0 | 0 | - | 139M| 0 | - |5203 | 19k|5203 | 19k| 0 | 0 | 0 | -- | 9.700000e+01 | Inf
12.39/12.47 c 11.5s| 1 | 0 | 7062 | - | 139M| 0 | 241 |5203 | 19k|5203 | 19k| 0 | 0 | 0 | 3.914841e+01 | 9.700000e+01 | 147.78%
12.49/12.50 o 86
12.49/12.50 c b11.5s| 1 | 0 | 7062 | - | 140M| 0 | 241 |5203 | 19k|5203 | 19k| 0 | 0 | 0 | 3.914841e+01 | 8.600000e+01 | 119.68%
14.59/14.60 c 13.6s| 1 | 0 | 7882 | - | 140M| 0 | 204 |5203 | 19k|5203 | 19k| 2 | 0 | 0 | 3.925200e+01 | 8.600000e+01 | 119.10%
16.68/16.78 c 15.8s| 1 | 0 | 8736 | - | 140M| 0 | 244 |5203 | 19k|5203 | 19k| 4 | 0 | 0 | 3.933075e+01 | 8.600000e+01 | 118.66%
22.09/22.19 c 21.2s| 1 | 0 | 9510 | - | 140M| 0 | 231 |5203 | 19k|5203 | 19k| 5 | 0 | 0 | 3.939671e+01 | 8.600000e+01 | 118.29%
26.88/26.90 c 25.9s| 1 | 0 | 9960 | - | 140M| 0 | 249 |5203 | 19k|5203 | 19k| 7 | 0 | 0 | 3.954045e+01 | 8.600000e+01 | 117.50%
32.49/32.56 o 55
32.49/32.56 c E31.6s| 1 | 0 | 9960 | - | 140M| 0 | 249 |5203 | 19k|5203 | 19k| 7 | 0 | 0 | 3.954045e+01 | 5.500000e+01 | 39.10%
32.49/32.59 c 31.6s| 1 | 0 | 9960 | - | 140M| 0 | 249 |5203 | 19k|5203 | 19k| 7 | 0 | 0 | 3.954045e+01 | 5.500000e+01 | 39.10%
48.09/48.16 c 47.2s| 1 | 2 | 9960 | - | 140M| 0 | 249 |5203 | 19k|5203 | 19k| 7 | 0 | 17 | 3.954045e+01 | 5.500000e+01 | 39.10%
53.48/53.50 c 52.5s| 10000 | 3865 | 9960 | 0.0 | 147M|3975 | - |5203 | 24k| 0 | 0 | 7 |8628 | 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
60.58/60.63 c 59.7s| 20000 | 3850 | 9960 | 0.0 | 152M|3975 | - |5203 | 29k| 0 | 0 | 7 | 20k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
68.57/68.64 c 67.7s| 30000 | 3839 | 9960 | 0.0 | 154M|3975 | - |5203 | 33k| 0 | 0 | 7 | 29k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
75.67/75.73 c 74.8s| 40000 | 3835 | 9960 | 0.0 | 157M|3975 | - |5203 | 37k| 0 | 0 | 7 | 38k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
82.37/82.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
82.37/82.47 c 81.5s| 50000 | 3825 | 9960 | 0.0 | 161M|3975 | - |5203 | 42k| 0 | 0 | 7 | 48k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
89.76/89.80 c 88.8s| 60000 | 3827 | 9960 | 0.0 | 164M|3975 | - |5203 | 46k| 0 | 0 | 7 | 57k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
96.87/96.94 c 96.0s| 70000 | 3815 | 9960 | 0.0 | 169M|3975 | - |5203 | 52k| 0 | 0 | 7 | 69k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
103.76/103.80 c 103s| 80000 | 3814 | 9960 | 0.0 | 175M|3975 | - |5203 | 60k| 0 | 0 | 7 | 81k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
109.85/109.94 c 109s| 90000 | 3807 | 9960 | 0.0 | 181M|3975 | - |5203 | 68k| 0 | 0 | 7 | 93k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
116.45/116.56 c 116s|100000 | 3804 | 9960 | 0.0 | 186M|3975 | - |5203 | 75k| 0 | 0 | 7 | 105k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
123.75/123.89 c 123s|110000 | 3805 | 9960 | 0.0 | 191M|3975 | - |5203 | 81k| 0 | 0 | 7 | 116k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
130.24/130.31 c 129s|120000 | 3802 | 9960 | 0.0 | 197M|3975 | - |5203 | 89k| 0 | 0 | 7 | 129k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
136.95/137.02 c 136s|130000 | 3807 | 9960 | 0.0 | 204M|3975 | - |5203 | 97k| 0 | 0 | 7 | 141k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
142.84/142.97 c 142s|140000 | 3800 | 9960 | 0.0 | 210M|3975 | - |5203 | 105k| 0 | 0 | 7 | 154k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
148.44/148.60 c 148s|150000 | 3797 | 9960 | 0.0 | 218M|3975 | - |5203 | 115k| 0 | 0 | 7 | 168k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
154.14/154.20 c 153s|160000 | 3799 | 9960 | 0.0 | 225M|3975 | - |5203 | 125k| 0 | 0 | 7 | 182k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
160.13/160.20 c 159s|170000 | 3796 | 9960 | 0.0 | 233M|3975 | - |5203 | 135k| 0 | 0 | 7 | 197k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
166.04/166.13 c 165s|180000 | 3797 | 9960 | 0.0 | 240M|3975 | - |5203 | 144k| 0 | 0 | 7 | 210k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
171.93/172.01 c 171s|190000 | 3790 | 9960 | 0.0 | 247M|3975 | - |5203 | 153k| 0 | 0 | 7 | 223k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
178.43/178.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
178.43/178.58 c 178s|200000 | 3792 | 9960 | 0.0 | 252M|3975 | - |5203 | 159k| 0 | 0 | 7 | 234k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
185.12/185.25 c 184s|210000 | 3791 | 9960 | 0.0 | 257M|3975 | - |5203 | 166k| 0 | 0 | 7 | 246k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
192.12/192.26 c 191s|220000 | 3790 | 9960 | 0.0 | 262M|3975 | - |5203 | 172k| 0 | 0 | 7 | 256k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
198.62/198.79 c 198s|230000 | 3789 | 9960 | 0.0 | 268M|3975 | - |5203 | 180k| 0 | 0 | 7 | 269k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
205.12/205.29 c 204s|240000 | 3784 | 9960 | 0.0 | 274M|3975 | - |5203 | 188k| 0 | 0 | 7 | 281k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
212.02/212.19 c 211s|250000 | 3783 | 9960 | 0.0 | 280M|3975 | - |5203 | 195k| 0 | 0 | 7 | 294k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
218.51/218.62 c 218s|260000 | 3782 | 9960 | 0.0 | 287M|3975 | - |5203 | 204k| 0 | 0 | 7 | 306k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
224.91/225.08 c 224s|270000 | 3786 | 9960 | 0.0 | 294M|3975 | - |5203 | 214k| 0 | 0 | 7 | 322k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
232.42/232.56 c 232s|280000 | 3786 | 9960 | 0.0 | 299M|3975 | - |5203 | 220k| 0 | 0 | 7 | 335k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
238.41/238.57 c 238s|290000 | 3783 | 9960 | 0.0 | 306M|3975 | - |5203 | 229k| 0 | 0 | 7 | 348k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
245.31/245.49 c 245s|300000 | 3779 | 9960 | 0.0 | 311M|3975 | - |5203 | 235k| 0 | 0 | 7 | 359k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
251.70/251.89 c 251s|310000 | 3783 | 9960 | 0.0 | 317M|3975 | - |5203 | 243k| 0 | 0 | 7 | 372k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
257.61/257.77 c 257s|320000 | 3781 | 9960 | 0.0 | 324M|3975 | - |5203 | 252k| 0 | 0 | 7 | 384k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
264.11/264.29 c 263s|330000 | 3777 | 9960 | 0.0 | 329M|3975 | - |5203 | 258k| 0 | 0 | 7 | 396k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
270.20/270.35 c 269s|340000 | 3776 | 9960 | 0.0 | 336M|3975 | - |5203 | 268k| 0 | 0 | 7 | 410k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
276.51/276.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
276.51/276.69 c 276s|350000 | 3780 | 9960 | 0.0 | 343M|3975 | - |5203 | 277k| 0 | 0 | 7 | 424k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
282.80/282.92 c 282s|360000 | 3780 | 9960 | 0.0 | 350M|3975 | - |5203 | 285k| 0 | 0 | 7 | 437k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
289.10/289.25 c 288s|370000 | 3782 | 9960 | 0.0 | 357M|3975 | - |5203 | 294k| 0 | 0 | 7 | 452k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
295.51/295.67 c 295s|380000 | 3779 | 9960 | 0.0 | 363M|3975 | - |5203 | 302k| 0 | 0 | 7 | 464k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
301.80/301.93 c 301s|390000 | 3777 | 9960 | 0.0 | 370M|3975 | - |5203 | 311k| 0 | 0 | 7 | 478k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
308.40/308.57 c 308s|400000 | 3777 | 9960 | 0.0 | 375M|3975 | - |5203 | 318k| 0 | 0 | 7 | 489k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
314.70/314.87 c 314s|410000 | 3774 | 9960 | 0.0 | 380M|3975 | - |5203 | 325k| 0 | 0 | 7 | 501k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
320.90/321.04 c 320s|420000 | 3776 | 9960 | 0.0 | 389M|3975 | - |5203 | 335k| 0 | 0 | 7 | 515k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
327.00/327.19 c 326s|430000 | 3772 | 9960 | 0.0 | 396M|3975 | - |5203 | 344k| 0 | 0 | 7 | 529k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
332.89/333.03 c 332s|440000 | 3775 | 9960 | 0.0 | 403M|3975 | - |5203 | 353k| 0 | 0 | 7 | 543k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
339.50/339.66 c 339s|450000 | 3772 | 9960 | 0.0 | 409M|3975 | - |5203 | 361k| 0 | 0 | 7 | 556k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
345.89/346.08 c 345s|460000 | 3771 | 9960 | 0.0 | 416M|3975 | - |5203 | 370k| 0 | 0 | 7 | 569k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
352.60/352.72 c 352s|470000 | 3770 | 9960 | 0.0 | 422M|3975 | - |5203 | 378k| 0 | 0 | 7 | 581k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
359.19/359.34 c 358s|480000 | 3764 | 9960 | 0.0 | 429M|3975 | - |5203 | 387k| 0 | 0 | 7 | 596k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
365.69/365.88 c 365s|490000 | 3771 | 9960 | 0.0 | 436M|3975 | - |5203 | 396k| 0 | 0 | 7 | 609k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
372.49/372.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
372.49/372.62 c 372s|500000 | 3765 | 9960 | 0.0 | 444M|3975 | - |5203 | 405k| 0 | 0 | 7 | 623k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
378.99/379.11 c 378s|510000 | 3763 | 9960 | 0.0 | 449M|3975 | - |5203 | 413k| 0 | 0 | 7 | 635k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
386.09/386.28 c 385s|520000 | 3763 | 9960 | 0.0 | 455M|3975 | - |5203 | 421k| 0 | 0 | 7 | 648k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
393.18/393.39 c 392s|530000 | 3760 | 9960 | 0.0 | 460M|3975 | - |5203 | 427k| 0 | 0 | 7 | 659k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
399.68/399.85 c 399s|540000 | 3761 | 9960 | 0.0 | 465M|3975 | - |5203 | 434k| 0 | 0 | 7 | 671k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
406.68/406.80 c 406s|550000 | 3763 | 9960 | 0.0 | 471M|3975 | - |5203 | 441k| 0 | 0 | 7 | 683k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
413.49/413.70 c 413s|560000 | 3759 | 9960 | 0.0 | 477M|3975 | - |5203 | 449k| 0 | 0 | 7 | 696k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
420.39/420.53 c 420s|570000 | 3758 | 9960 | 0.0 | 484M|3975 | - |5203 | 457k| 0 | 0 | 7 | 709k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
426.88/427.07 c 426s|580000 | 3759 | 9960 | 0.0 | 490M|3975 | - |5203 | 465k| 0 | 0 | 7 | 721k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
433.08/433.20 c 432s|590000 | 3761 | 9960 | 0.0 | 498M|3975 | - |5203 | 474k| 0 | 0 | 7 | 735k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
440.28/440.48 c 440s|600000 | 3757 | 9960 | 0.0 | 504M|3975 | - |5203 | 481k| 0 | 0 | 7 | 748k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
446.88/447.03 c 446s|610000 | 3755 | 9960 | 0.0 | 510M|3975 | - |5203 | 490k| 0 | 0 | 7 | 761k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
453.97/454.11 c 453s|620000 | 3755 | 9960 | 0.0 | 516M|3975 | - |5203 | 498k| 0 | 0 | 7 | 774k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
460.57/460.75 c 460s|630000 | 3751 | 9960 | 0.0 | 522M|3975 | - |5203 | 505k| 0 | 0 | 7 | 786k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
468.67/468.83 c 468s|640000 | 3752 | 9960 | 0.0 | 528M|3975 | - |5203 | 514k| 0 | 0 | 7 | 800k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
475.37/475.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
475.37/475.59 c 475s|650000 | 3752 | 9960 | 0.0 | 533M|3975 | - |5203 | 520k| 0 | 0 | 7 | 811k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
482.78/482.98 c 482s|660000 | 3749 | 9960 | 0.0 | 537M|3975 | - |5203 | 525k| 0 | 0 | 7 | 821k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
489.47/489.65 c 489s|670000 | 3750 | 9960 | 0.0 | 542M|3975 | - |5203 | 533k| 0 | 0 | 7 | 834k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
496.08/496.21 c 495s|680000 | 3750 | 9960 | 0.0 | 549M|3975 | - |5203 | 542k| 0 | 0 | 7 | 847k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
502.67/502.81 c 502s|690000 | 3752 | 9960 | 0.0 | 556M|3975 | - |5203 | 550k| 0 | 0 | 7 | 861k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
510.27/510.41 c 509s|700000 | 3747 | 9960 | 0.0 | 561M|3975 | - |5203 | 556k| 0 | 0 | 7 | 872k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
516.56/516.72 c 516s|710000 | 3745 | 9960 | 0.0 | 569M|3975 | - |5203 | 565k| 0 | 0 | 7 | 885k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
523.47/523.67 c 523s|720000 | 3745 | 9960 | 0.0 | 574M|3975 | - |5203 | 571k| 0 | 0 | 7 | 896k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
530.27/530.41 c 529s|730000 | 3740 | 9960 | 0.0 | 580M|3975 | - |5203 | 579k| 0 | 0 | 7 | 908k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
537.06/537.22 c 536s|740000 | 3740 | 9960 | 0.0 | 584M|3975 | - |5203 | 585k| 0 | 0 | 7 | 919k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
543.76/543.90 c 543s|750000 | 3740 | 9960 | 0.0 | 590M|3975 | - |5203 | 592k| 0 | 0 | 7 | 931k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
550.55/550.70 c 550s|760000 | 3739 | 9960 | 0.0 | 597M|3975 | - |5203 | 601k| 0 | 0 | 7 | 945k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
558.06/558.25 c 557s|770000 | 3738 | 9960 | 0.0 | 602M|3975 | - |5203 | 608k| 0 | 0 | 7 | 957k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
564.96/565.12 c 564s|780000 | 3739 | 9960 | 0.0 | 608M|3975 | - |5203 | 616k| 0 | 0 | 7 | 970k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
571.55/571.73 c 571s|790000 | 3740 | 9960 | 0.0 | 614M|3975 | - |5203 | 624k| 0 | 0 | 7 | 982k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
578.85/579.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
578.85/579.04 c 578s|800000 | 3739 | 9960 | 0.0 | 620M|3975 | - |5203 | 631k| 0 | 0 | 7 | 995k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
585.46/585.68 c 585s|810000 | 3735 | 9960 | 0.0 | 627M|3975 | - |5203 | 641k| 0 | 0 | 7 |1010k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
592.15/592.31 c 591s|820000 | 3733 | 9960 | 0.0 | 633M|3975 | - |5203 | 650k| 0 | 0 | 7 |1023k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
599.65/599.89 c 599s|830000 | 3736 | 9960 | 0.0 | 640M|3975 | - |5203 | 658k| 0 | 0 | 7 |1038k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
606.54/606.77 c 606s|840000 | 3735 | 9960 | 0.0 | 647M|3975 | - |5203 | 665k| 0 | 0 | 7 |1050k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
613.25/613.47 c 613s|850000 | 3734 | 9960 | 0.0 | 655M|3975 | - |5203 | 674k| 0 | 0 | 7 |1064k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
620.05/620.22 c 619s|860000 | 3730 | 9960 | 0.0 | 661M|3975 | - |5203 | 682k| 0 | 0 | 7 |1076k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
626.74/626.96 c 626s|870000 | 3727 | 9960 | 0.0 | 668M|3975 | - |5203 | 692k| 0 | 0 | 7 |1091k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
634.14/634.33 c 633s|880000 | 3731 | 9960 | 0.0 | 673M|3975 | - |5203 | 698k| 0 | 0 | 7 |1102k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
641.34/641.55 c 641s|890000 | 3727 | 9960 | 0.0 | 677M|3975 | - |5203 | 704k| 0 | 0 | 7 |1113k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
648.34/648.54 c 648s|900000 | 3732 | 9960 | 0.0 | 683M|3975 | - |5203 | 711k| 0 | 0 | 7 |1125k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
655.55/655.75 c 655s|910000 | 3725 | 9960 | 0.0 | 688M|3975 | - |5203 | 719k| 0 | 0 | 7 |1138k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
662.34/662.52 c 662s|920000 | 3722 | 9960 | 0.0 | 695M|3975 | - |5203 | 728k| 0 | 0 | 7 |1152k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
669.03/669.27 c 668s|930000 | 3722 | 9960 | 0.0 | 701M|3975 | - |5203 | 735k| 0 | 0 | 7 |1164k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
676.04/676.29 c 675s|940000 | 3718 | 9960 | 0.0 | 707M|3975 | - |5203 | 742k| 0 | 0 | 7 |1176k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
683.54/683.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
683.54/683.76 c 683s|950000 | 3720 | 9960 | 0.0 | 712M|3975 | - |5203 | 749k| 0 | 0 | 7 |1188k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
689.93/690.15 c 689s|960000 | 3720 | 9960 | 0.0 | 719M|3975 | - |5203 | 759k| 0 | 0 | 7 |1203k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
696.53/696.72 c 696s|970000 | 3720 | 9960 | 0.0 | 725M|3975 | - |5203 | 767k| 0 | 0 | 7 |1215k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
703.44/703.61 c 703s|980000 | 3714 | 9960 | 0.0 | 732M|3975 | - |5203 | 777k| 0 | 0 | 7 |1230k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
708.93/709.16 c 708s|990000 | 3720 | 9960 | 0.0 | 741M|3975 | - |5203 | 787k| 0 | 0 | 7 |1244k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
714.53/714.75 c 714s| 1000k| 3719 | 9960 | 0.0 | 750M|3975 | - |5203 | 798k| 0 | 0 | 7 |1259k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
720.44/720.64 c 720s| 1010k| 3716 | 9960 | 0.0 | 757M|3975 | - |5203 | 807k| 0 | 0 | 7 |1273k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
726.83/727.09 c 726s| 1020k| 3713 | 9960 | 0.0 | 764M|3975 | - |5203 | 815k| 0 | 0 | 7 |1286k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
733.12/733.36 c 732s| 1030k| 3714 | 9960 | 0.0 | 772M|3975 | - |5203 | 825k| 0 | 0 | 7 |1300k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
739.63/739.85 c 739s| 1040k| 3713 | 9960 | 0.0 | 779M|3975 | - |5203 | 834k| 0 | 0 | 7 |1315k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
746.33/746.56 c 746s| 1050k| 3710 | 9960 | 0.0 | 785M|3975 | - |5203 | 842k| 0 | 0 | 7 |1327k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
752.82/753.08 c 752s| 1060k| 3718 | 9960 | 0.0 | 792M|3975 | - |5203 | 851k| 0 | 0 | 7 |1340k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
759.13/759.33 c 758s| 1070k| 3709 | 9960 | 0.0 | 798M|3975 | - |5203 | 860k| 0 | 0 | 7 |1354k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
766.43/766.70 c 766s| 1080k| 3706 | 9960 | 0.0 | 803M|3975 | - |5203 | 866k| 0 | 0 | 7 |1365k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
773.32/773.51 c 773s| 1090k| 3708 | 9960 | 0.0 | 812M|3975 | - |5203 | 876k| 0 | 0 | 7 |1380k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
780.32/780.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
780.32/780.52 c 780s| 1100k| 3711 | 9960 | 0.0 | 818M|3975 | - |5203 | 885k| 0 | 0 | 7 |1394k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
786.61/786.80 c 786s| 1110k| 3707 | 9960 | 0.0 | 825M|3975 | - |5203 | 895k| 0 | 0 | 7 |1408k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
793.42/793.60 c 793s| 1120k| 3705 | 9960 | 0.0 | 832M|3975 | - |5203 | 903k| 0 | 0 | 7 |1421k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
799.52/799.75 c 799s| 1130k| 3703 | 9960 | 0.0 | 839M|3975 | - |5203 | 913k| 0 | 0 | 7 |1436k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
806.82/807.08 c 806s| 1140k| 3705 | 9960 | 0.0 | 845M|3975 | - |5203 | 921k| 0 | 0 | 7 |1449k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
813.11/813.34 c 812s| 1150k| 3706 | 9960 | 0.0 | 854M|3975 | - |5203 | 930k| 0 | 0 | 7 |1463k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
819.22/819.43 c 818s| 1160k| 3706 | 9960 | 0.0 | 862M|3975 | - |5203 | 940k| 0 | 0 | 7 |1477k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
825.62/825.82 c 825s| 1170k| 3704 | 9960 | 0.0 | 868M|3975 | - |5203 | 949k| 0 | 0 | 7 |1490k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
832.81/833.00 c 832s| 1180k| 3702 | 9960 | 0.0 | 873M|3975 | - |5203 | 956k| 0 | 0 | 7 |1502k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
839.61/839.83 c 839s| 1190k| 3703 | 9960 | 0.0 | 879M|3975 | - |5203 | 963k| 0 | 0 | 7 |1514k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
846.41/846.61 c 846s| 1200k| 3708 | 9960 | 0.0 | 884M|3975 | - |5203 | 970k| 0 | 0 | 7 |1527k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
854.01/854.21 c 853s| 1210k| 3702 | 9960 | 0.0 | 888M|3975 | - |5203 | 976k| 0 | 0 | 7 |1538k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
861.31/861.55 c 861s| 1220k| 3697 | 9960 | 0.0 | 893M|3975 | - |5203 | 981k| 0 | 0 | 7 |1548k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
868.01/868.22 c 867s| 1230k| 3698 | 9960 | 0.0 | 902M|3975 | - |5203 | 991k| 0 | 0 | 7 |1563k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
873.91/874.12 c 873s| 1240k| 3704 | 9960 | 0.0 | 910M|3975 | - |5203 |1002k| 0 | 0 | 7 |1578k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
880.70/880.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
880.70/880.96 c 880s| 1250k| 3697 | 9960 | 0.0 | 917M|3975 | - |5203 |1012k| 0 | 0 | 7 |1593k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
886.91/887.13 c 886s| 1260k| 3699 | 9960 | 0.0 | 923M|3975 | - |5203 |1020k| 0 | 0 | 7 |1606k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
893.81/894.06 c 893s| 1270k| 3696 | 9960 | 0.0 | 928M|3975 | - |5203 |1026k| 0 | 0 | 7 |1617k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
900.50/900.75 c 900s| 1280k| 3697 | 9960 | 0.0 | 933M|3975 | - |5203 |1033k| 0 | 0 | 7 |1628k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
906.80/907.07 c 906s| 1290k| 3699 | 9960 | 0.0 | 940M|3975 | - |5203 |1042k| 0 | 0 | 7 |1642k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
913.00/913.25 c 912s| 1300k| 3693 | 9960 | 0.0 | 948M|3975 | - |5203 |1051k| 0 | 0 | 7 |1656k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
919.10/919.38 c 918s| 1310k| 3699 | 9960 | 0.0 | 956M|3975 | - |5203 |1063k| 0 | 0 | 7 |1671k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
926.20/926.42 c 925s| 1320k| 3698 | 9960 | 0.0 | 961M|3975 | - |5203 |1069k| 0 | 0 | 7 |1683k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
933.29/933.50 c 933s| 1330k| 3696 | 9960 | 0.0 | 968M|3975 | - |5203 |1078k| 0 | 0 | 7 |1697k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
939.30/939.58 c 939s| 1340k| 3695 | 9960 | 0.0 | 975M|3975 | - |5203 |1088k| 0 | 0 | 7 |1712k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
945.60/945.88 c 945s| 1350k| 3693 | 9960 | 0.0 | 982M|3975 | - |5203 |1098k| 0 | 0 | 7 |1726k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
951.89/952.16 c 951s| 1360k| 3695 | 9960 | 0.0 | 989M|3975 | - |5203 |1106k| 0 | 0 | 7 |1740k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
957.69/957.92 c 957s| 1370k| 3695 | 9960 | 0.0 | 998M|3975 | - |5203 |1117k| 0 | 0 | 7 |1754k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
964.50/964.78 c 964s| 1380k| 3695 | 9960 | 0.0 |1005M|3975 | - |5203 |1124k| 0 | 0 | 7 |1767k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
970.59/970.89 c 970s| 1390k| 3700 | 9960 | 0.0 |1012M|3975 | - |5203 |1133k| 0 | 0 | 7 |1781k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
976.99/977.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
976.99/977.20 c 976s| 1400k| 3693 | 9960 | 0.0 |1018M|3975 | - |5203 |1142k| 0 | 0 | 7 |1793k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
983.39/983.62 c 983s| 1410k| 3697 | 9960 | 0.0 |1024M|3975 | - |5203 |1150k| 0 | 0 | 7 |1806k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
990.09/990.37 c 989s| 1420k| 3695 | 9960 | 0.0 |1029M|3975 | - |5203 |1157k| 0 | 0 | 7 |1818k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
997.68/997.92 c 997s| 1430k| 3693 | 9960 | 0.0 |1035M|3975 | - |5203 |1164k| 0 | 0 | 7 |1831k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1004.39/1004.65 c 1004s| 1440k| 3694 | 9960 | 0.0 |1043M|3975 | - |5203 |1173k| 0 | 0 | 7 |1845k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1010.99/1011.29 c 1010s| 1450k| 3693 | 9960 | 0.0 |1048M|3975 | - |5203 |1180k| 0 | 0 | 7 |1857k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1017.68/1017.94 c 1017s| 1460k| 3688 | 9960 | 0.0 |1054M|3975 | - |5203 |1189k| 0 | 0 | 7 |1870k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1024.38/1024.67 c 1024s| 1470k| 3694 | 9960 | 0.0 |1060M|3975 | - |5203 |1196k| 0 | 0 | 7 |1883k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1030.79/1031.02 c 1030s| 1480k| 3689 | 9960 | 0.0 |1065M|3975 | - |5203 |1203k| 0 | 0 | 7 |1893k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1036.98/1037.25 c 1036s| 1490k| 3694 | 9960 | 0.0 |1072M|3975 | - |5203 |1211k| 0 | 0 | 7 |1906k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1043.58/1043.83 c 1043s| 1500k| 3691 | 9960 | 0.0 |1077M|3975 | - |5203 |1219k| 0 | 0 | 7 |1918k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1051.07/1051.38 c 1050s| 1510k| 3695 | 9960 | 0.0 |1081M|3975 | - |5203 |1224k| 0 | 0 | 7 |1929k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1057.68/1057.90 c 1057s| 1520k| 3691 | 9960 | 0.0 |1087M|3975 | - |5203 |1232k| 0 | 0 | 7 |1942k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1063.97/1064.28 c 1063s| 1530k| 3687 | 9960 | 0.0 |1094M|3975 | - |5203 |1242k| 0 | 0 | 7 |1957k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1069.88/1070.16 c 1069s| 1540k| 3695 | 9960 | 0.0 |1102M|3975 | - |5203 |1252k| 0 | 0 | 7 |1970k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1076.78/1077.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1076.78/1077.05 c 1076s| 1550k| 3689 | 9960 | 0.0 |1107M|3975 | - |5203 |1258k| 0 | 0 | 7 |1981k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1083.07/1083.34 c 1082s| 1560k| 3689 | 9960 | 0.0 |1114M|3975 | - |5203 |1268k| 0 | 0 | 7 |1995k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1090.17/1090.50 c 1090s| 1570k| 3688 | 9960 | 0.0 |1119M|3975 | - |5203 |1275k| 0 | 0 | 7 |2008k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1097.47/1097.74 c 1097s| 1580k| 3688 | 9960 | 0.0 |1124M|3975 | - |5203 |1282k| 0 | 0 | 7 |2020k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1104.07/1104.34 c 1103s| 1590k| 3689 | 9960 | 0.0 |1130M|3975 | - |5203 |1290k| 0 | 0 | 7 |2033k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1110.27/1110.52 c 1110s| 1600k| 3686 | 9960 | 0.0 |1137M|3975 | - |5203 |1300k| 0 | 0 | 7 |2047k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1116.77/1117.01 c 1116s| 1610k| 3689 | 9960 | 0.0 |1145M|3975 | - |5203 |1310k| 0 | 0 | 7 |2062k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1123.47/1123.70 c 1123s| 1620k| 3688 | 9960 | 0.0 |1152M|3975 | - |5203 |1320k| 0 | 0 | 7 |2076k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1130.76/1131.06 c 1130s| 1630k| 3689 | 9960 | 0.0 |1159M|3975 | - |5203 |1329k| 0 | 0 | 7 |2091k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1137.06/1137.31 c 1136s| 1640k| 3685 | 9960 | 0.0 |1169M|3975 | - |5203 |1340k| 0 | 0 | 7 |2106k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1144.06/1144.40 c 1143s| 1650k| 3689 | 9960 | 0.0 |1175M|3975 | - |5203 |1347k| 0 | 0 | 7 |2119k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1150.17/1150.48 c 1150s| 1660k| 3685 | 9960 | 0.0 |1183M|3975 | - |5203 |1358k| 0 | 0 | 7 |2134k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1156.66/1156.98 c 1156s| 1670k| 3688 | 9960 | 0.0 |1191M|3975 | - |5203 |1368k| 0 | 0 | 7 |2149k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1163.46/1163.74 c 1163s| 1680k| 3688 | 9960 | 0.0 |1197M|3975 | - |5203 |1376k| 0 | 0 | 7 |2161k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1169.96/1170.27 c 1169s| 1690k| 3688 | 9960 | 0.0 |1203M|3975 | - |5203 |1384k| 0 | 0 | 7 |2174k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1175.56/1175.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1175.56/1175.84 c 1175s| 1700k| 3682 | 9960 | 0.0 |1214M|3975 | - |5203 |1395k| 0 | 0 | 7 |2189k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1181.86/1182.18 c 1181s| 1710k| 3686 | 9960 | 0.0 |1222M|3975 | - |5203 |1405k| 0 | 0 | 7 |2204k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1187.96/1188.28 c 1187s| 1720k| 3687 | 9960 | 0.0 |1229M|3975 | - |5203 |1416k| 0 | 0 | 7 |2219k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1194.55/1194.82 c 1194s| 1730k| 3685 | 9960 | 0.0 |1235M|3975 | - |5203 |1424k| 0 | 0 | 7 |2233k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1202.26/1202.51 c 1202s| 1740k| 3679 | 9960 | 0.0 |1242M|3975 | - |5203 |1432k| 0 | 0 | 7 |2247k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1208.46/1208.72 c 1208s| 1750k| 3687 | 9960 | 0.0 |1248M|3975 | - |5203 |1440k| 0 | 0 | 7 |2260k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1214.75/1215.04 c 1214s| 1760k| 3682 | 9960 | 0.0 |1255M|3975 | - |5203 |1451k| 0 | 0 | 7 |2275k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1221.75/1222.04 c 1221s| 1770k| 3684 | 9960 | 0.0 |1262M|3975 | - |5203 |1459k| 0 | 0 | 7 |2288k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1228.16/1228.44 c 1227s| 1780k| 3681 | 9960 | 0.0 |1269M|3975 | - |5203 |1469k| 0 | 0 | 7 |2302k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1234.35/1234.64 c 1234s| 1790k| 3682 | 9960 | 0.0 |1275M|3975 | - |5203 |1477k| 0 | 0 | 7 |2316k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1241.95/1242.27 c 1241s| 1800k| 3681 | 9960 | 0.0 |1281M|3975 | - |5203 |1485k| 0 | 0 | 7 |2328k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1248.85/1249.16 c 1248s| 1810k| 3682 | 9960 | 0.0 |1288M|3975 | - |5203 |1495k| 0 | 0 | 7 |2343k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1254.96/1255.29 c 1254s| 1820k| 3679 | 9960 | 0.0 |1295M|3975 | - |5203 |1505k| 0 | 0 | 7 |2358k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1262.15/1262.49 c 1262s| 1830k| 3684 | 9960 | 0.0 |1301M|3975 | - |5203 |1513k| 0 | 0 | 7 |2372k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1268.55/1268.84 c 1268s| 1840k| 3682 | 9960 | 0.0 |1307M|3975 | - |5203 |1522k| 0 | 0 | 7 |2384k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1275.94/1276.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1275.94/1276.28 c 1275s| 1850k| 3680 | 9960 | 0.0 |1313M|3975 | - |5203 |1530k| 0 | 0 | 7 |2397k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1282.35/1282.65 c 1282s| 1860k| 3681 | 9960 | 0.0 |1322M|3975 | - |5203 |1540k| 0 | 0 | 7 |2412k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1288.54/1288.87 c 1288s| 1870k| 3681 | 9960 | 0.0 |1330M|3975 | - |5203 |1551k| 0 | 0 | 7 |2428k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1295.44/1295.70 c 1295s| 1880k| 3681 | 9960 | 0.0 |1339M|3975 | - |5203 |1562k| 0 | 0 | 7 |2444k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1302.64/1302.92 c 1302s| 1890k| 3678 | 9960 | 0.0 |1344M|3975 | - |5203 |1568k| 0 | 0 | 7 |2456k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1308.94/1309.28 c 1308s| 1900k| 3678 | 9960 | 0.0 |1353M|3975 | - |5203 |1577k| 0 | 0 | 7 |2469k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1315.14/1315.46 c 1314s| 1910k| 3680 | 9960 | 0.0 |1360M|3975 | - |5203 |1587k| 0 | 0 | 7 |2484k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1321.94/1322.27 c 1321s| 1920k| 3674 | 9960 | 0.0 |1368M|3975 | - |5203 |1597k| 0 | 0 | 7 |2498k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1329.24/1329.51 c 1329s| 1930k| 3674 | 9960 | 0.0 |1374M|3975 | - |5203 |1605k| 0 | 0 | 7 |2512k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1335.73/1336.08 c 1335s| 1940k| 3680 | 9960 | 0.0 |1381M|3975 | - |5203 |1616k| 0 | 0 | 7 |2527k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1341.85/1342.11 c 1341s| 1950k| 3674 | 9960 | 0.0 |1391M|3975 | - |5203 |1626k| 0 | 0 | 7 |2542k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1347.83/1348.14 c 1347s| 1960k| 3678 | 9960 | 0.0 |1398M|3975 | - |5203 |1636k| 0 | 0 | 7 |2556k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1354.13/1354.43 c 1353s| 1970k| 3679 | 9960 | 0.0 |1404M|3975 | - |5203 |1644k| 0 | 0 | 7 |2569k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1359.83/1360.10 c 1359s| 1980k| 3674 | 9960 | 0.0 |1412M|3975 | - |5203 |1654k| 0 | 0 | 7 |2583k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1366.83/1367.17 c 1366s| 1990k| 3678 | 9960 | 0.0 |1417M|3975 | - |5203 |1660k| 0 | 0 | 7 |2595k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1373.93/1374.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1373.93/1374.27 c 1373s| 2000k| 3670 | 9960 | 0.0 |1422M|3975 | - |5203 |1667k| 0 | 0 | 7 |2606k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1381.33/1381.63 c 1381s| 2010k| 3677 | 9960 | 0.0 |1429M|3975 | - |5203 |1673k| 0 | 0 | 7 |2618k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1387.53/1387.80 c 1387s| 2020k| 3675 | 9960 | 0.0 |1437M|3975 | - |5203 |1684k| 0 | 0 | 7 |2633k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1394.43/1394.74 c 1394s| 2030k| 3674 | 9960 | 0.0 |1443M|3975 | - |5203 |1692k| 0 | 0 | 7 |2645k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1400.83/1401.10 c 1400s| 2040k| 3672 | 9960 | 0.0 |1449M|3975 | - |5203 |1700k| 0 | 0 | 7 |2658k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1407.03/1407.35 c 1406s| 2050k| 3676 | 9960 | 0.0 |1456M|3975 | - |5203 |1709k| 0 | 0 | 7 |2672k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1413.92/1414.22 c 1413s| 2060k| 3671 | 9960 | 0.0 |1463M|3975 | - |5203 |1718k| 0 | 0 | 7 |2686k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1420.92/1421.24 c 1420s| 2070k| 3671 | 9960 | 0.0 |1468M|3975 | - |5203 |1724k| 0 | 0 | 7 |2697k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1427.92/1428.25 c 1427s| 2080k| 3674 | 9960 | 0.0 |1473M|3975 | - |5203 |1731k| 0 | 0 | 7 |2709k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1434.82/1435.11 c 1434s| 2090k| 3669 | 9960 | 0.0 |1478M|3975 | - |5203 |1738k| 0 | 0 | 7 |2720k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1441.83/1442.12 c 1441s| 2100k| 3675 | 9960 | 0.0 |1484M|3975 | - |5203 |1746k| 0 | 0 | 7 |2734k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1448.92/1449.26 c 1448s| 2110k| 3673 | 9960 | 0.0 |1489M|3975 | - |5203 |1754k| 0 | 0 | 7 |2747k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1455.31/1455.62 c 1455s| 2120k| 3666 | 9960 | 0.0 |1496M|3975 | - |5203 |1763k| 0 | 0 | 7 |2761k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1462.11/1462.47 c 1461s| 2130k| 3671 | 9960 | 0.0 |1502M|3975 | - |5203 |1771k| 0 | 0 | 7 |2773k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1468.92/1469.21 c 1468s| 2140k| 3670 | 9960 | 0.0 |1508M|3975 | - |5203 |1779k| 0 | 0 | 7 |2786k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1475.72/1476.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1475.72/1476.03 c 1475s| 2150k| 3668 | 9960 | 0.0 |1514M|3975 | - |5203 |1787k| 0 | 0 | 7 |2799k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1482.41/1482.74 c 1482s| 2160k| 3672 | 9960 | 0.0 |1520M|3975 | - |5203 |1795k| 0 | 0 | 7 |2811k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1489.31/1489.70 c 1489s| 2170k| 3671 | 9960 | 0.0 |1525M|3975 | - |5203 |1802k| 0 | 0 | 7 |2824k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1496.41/1496.71 c 1496s| 2180k| 3671 | 9960 | 0.0 |1531M|3975 | - |5203 |1809k| 0 | 0 | 7 |2836k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1502.61/1502.96 c 1502s| 2190k| 3670 | 9960 | 0.0 |1538M|3975 | - |5203 |1819k| 0 | 0 | 7 |2850k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1508.51/1508.80 c 1508s| 2200k| 3667 | 9960 | 0.0 |1547M|3975 | - |5203 |1829k| 0 | 0 | 7 |2864k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1515.31/1515.60 c 1515s| 2210k| 3670 | 9960 | 0.0 |1552M|3975 | - |5203 |1836k| 0 | 0 | 7 |2876k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1522.01/1522.32 c 1521s| 2220k| 3667 | 9960 | 0.0 |1558M|3975 | - |5203 |1843k| 0 | 0 | 7 |2888k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1529.11/1529.43 c 1528s| 2230k| 3667 | 9960 | 0.0 |1564M|3975 | - |5203 |1851k| 0 | 0 | 7 |2901k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1535.41/1535.80 c 1535s| 2240k| 3668 | 9960 | 0.0 |1571M|3975 | - |5203 |1860k| 0 | 0 | 7 |2915k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1541.91/1542.30 c 1541s| 2250k| 3663 | 9960 | 0.0 |1576M|3975 | - |5203 |1867k| 0 | 0 | 7 |2926k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1547.91/1548.29 c 1547s| 2260k| 3669 | 9960 | 0.0 |1584M|3975 | - |5203 |1877k| 0 | 0 | 7 |2941k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1553.70/1554.01 c 1553s| 2270k| 3671 | 9960 | 0.0 |1591M|3975 | - |5203 |1887k| 0 | 0 | 7 |2955k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1560.40/1560.78 c 1560s| 2280k| 3665 | 9960 | 0.0 |1600M|3975 | - |5203 |1896k| 0 | 0 | 7 |2969k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1567.21/1567.52 c 1567s| 2290k| 3669 | 9960 | 0.0 |1608M|3975 | - |5203 |1906k| 0 | 0 | 7 |2984k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1573.60/1573.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1573.60/1573.99 c 1573s| 2300k| 3667 | 9960 | 0.0 |1615M|3975 | - |5203 |1915k| 0 | 0 | 7 |2997k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1580.30/1580.68 c 1580s| 2310k| 3663 | 9960 | 0.0 |1621M|3975 | - |5203 |1924k| 0 | 0 | 7 |3011k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1587.30/1587.63 c 1587s| 2320k| 3670 | 9960 | 0.0 |1626M|3975 | - |5203 |1931k| 0 | 0 | 7 |3023k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1594.59/1594.92 c 1594s| 2330k| 3660 | 9960 | 0.0 |1631M|3975 | - |5203 |1937k| 0 | 0 | 7 |3034k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1601.00/1601.31 c 1600s| 2340k| 3664 | 9960 | 0.0 |1638M|3975 | - |5203 |1947k| 0 | 0 | 7 |3049k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1608.19/1608.53 c 1608s| 2350k| 3670 | 9960 | 0.0 |1644M|3975 | - |5203 |1956k| 0 | 0 | 7 |3063k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1615.49/1615.87 c 1615s| 2360k| 3666 | 9960 | 0.0 |1650M|3975 | - |5203 |1962k| 0 | 0 | 7 |3075k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1622.49/1622.80 c 1622s| 2370k| 3665 | 9960 | 0.0 |1658M|3975 | - |5203 |1971k| 0 | 0 | 7 |3088k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1628.69/1629.05 c 1628s| 2380k| 3666 | 9960 | 0.0 |1665M|3975 | - |5203 |1980k| 0 | 0 | 7 |3101k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1635.09/1635.48 c 1635s| 2390k| 3663 | 9960 | 0.0 |1671M|3975 | - |5203 |1989k| 0 | 0 | 7 |3115k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1641.39/1641.79 c 1641s| 2400k| 3662 | 9960 | 0.0 |1683M|3975 | - |5203 |2001k| 0 | 0 | 7 |3133k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1648.39/1648.77 c 1648s| 2410k| 3666 | 9960 | 0.0 |1689M|3975 | - |5203 |2009k| 0 | 0 | 7 |3146k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1655.29/1655.67 c 1655s| 2420k| 3664 | 9960 | 0.0 |1695M|3975 | - |5203 |2016k| 0 | 0 | 7 |3159k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1662.28/1662.61 c 1662s| 2430k| 3660 | 9960 | 0.0 |1700M|3975 | - |5203 |2023k| 0 | 0 | 7 |3170k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1668.69/1669.06 c 1668s| 2440k| 3659 | 9960 | 0.0 |1709M|3975 | - |5203 |2033k| 0 | 0 | 7 |3185k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1675.29/1675.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1675.29/1675.62 c 1675s| 2450k| 3660 | 9960 | 0.0 |1715M|3975 | - |5203 |2041k| 0 | 0 | 7 |3198k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1681.38/1681.78 c 1681s| 2460k| 3664 | 9960 | 0.0 |1722M|3975 | - |5203 |2051k| 0 | 0 | 7 |3212k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1687.09/1687.43 c 1686s| 2470k| 3666 | 9960 | 0.0 |1731M|3975 | - |5203 |2063k| 0 | 0 | 7 |3229k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1693.48/1693.82 c 1693s| 2480k| 3665 | 9960 | 0.0 |1738M|3975 | - |5203 |2071k| 0 | 0 | 7 |3242k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1699.88/1700.29 c 1699s| 2490k| 3663 | 9960 | 0.0 |1746M|3975 | - |5203 |2082k| 0 | 0 | 7 |3257k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1706.68/1707.02 c 1706s| 2500k| 3654 | 9960 | 0.0 |1752M|3975 | - |5203 |2090k| 0 | 0 | 7 |3270k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1713.28/1713.64 c 1713s| 2510k| 3657 | 9960 | 0.0 |1759M|3975 | - |5203 |2100k| 0 | 0 | 7 |3285k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1719.87/1720.23 c 1719s| 2520k| 3651 | 9960 | 0.0 |1765M|3975 | - |5203 |2108k| 0 | 0 | 7 |3298k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1725.59/1725.98 c 1725s| 2530k| 3660 | 9960 | 0.0 |1772M|3975 | - |5203 |2117k| 0 | 0 | 7 |3311k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1731.88/1732.29 c 1731s| 2540k| 3660 | 9960 | 0.0 |1778M|3975 | - |5203 |2125k| 0 | 0 | 7 |3323k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1739.17/1739.55 c 1739s| 2550k| 3657 | 9960 | 0.0 |1782M|3975 | - |5203 |2131k| 0 | 0 | 7 |3334k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1745.88/1746.28 c 1745s| 2560k| 3652 | 9960 | 0.0 |1788M|3975 | - |5203 |2138k| 0 | 0 | 7 |3346k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1752.98/1753.39 c 1752s| 2570k| 3655 | 9960 | 0.0 |1794M|3975 | - |5203 |2147k| 0 | 0 | 7 |3360k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1759.68/1760.01 c 1759s| 2580k| 3654 | 9960 | 0.0 |1802M|3975 | - |5203 |2156k| 0 | 0 | 7 |3373k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1766.47/1766.84 c 1766s| 2590k| 3655 | 9960 | 0.0 |1807M|3975 | - |5203 |2163k| 0 | 0 | 7 |3385k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1773.57/1773.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1773.57/1773.99 c 1773s| 2600k| 3656 | 9960 | 0.0 |1812M|3975 | - |5203 |2170k| 0 | 0 | 7 |3397k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1779.97/1780.30 c 1779s| 2610k| 3657 | 9960 | 0.0 |1818M|3975 | - |5203 |2177k| 0 | 0 | 7 |3409k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1787.28/1787.62 c 1787s| 2620k| 3661 | 9960 | 0.0 |1823M|3975 | - |5203 |2184k| 0 | 0 | 7 |3421k| 17 | 3.954622e+01 | 5.500000e+01 | 39.08%
1789.67/1790.01 c
1789.67/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.67/1790.01 c Solving Time (sec) : 1789.04
1789.67/1790.01 c Solving Nodes : 2623406
1789.67/1790.01 c Primal Bound : +5.50000000000000e+01 (7 solutions)
1789.67/1790.01 c Dual Bound : +3.95462215700660e+01
1789.67/1790.01 c Gap : 39.08 %
1789.67/1790.09 s SATISFIABLE
1789.67/1790.09 v -x5203 -x5202 -x5201 -x5200 -x5199 -x5198 -x5197 -x5196 -x5195 -x5194 -x5193 -x5192 -x5191 -x5190 -x5189 -x5188 -x5187 -x5186 -x5185
1789.67/1790.09 v -x5184 -x5183 -x5182 -x5181 -x5180 -x5179 -x5178 -x5177 -x5176 -x5175 -x5174 -x5173 -x5172 -x5171 -x5170 -x5169 -x5168
1789.67/1790.09 v -x5167 -x5166 -x5165 -x5164 -x5163 -x5162 -x5161 -x5160 -x5159 -x5158 -x5157 -x5156 -x5155 -x5154 -x5153 -x5152 -x5151 -x5150
1789.67/1790.09 v -x5149 -x5148 -x5147 -x5146 -x5145 -x5144 -x5143 -x5142 -x5141 -x5140 -x5139 -x5138 -x5137 -x5136 -x5135 -x5134 -x5133 -x5132
1789.67/1790.09 v -x5131 -x5130 -x5129 -x5128 -x5127 -x5126 -x5125 -x5124 -x5123 -x5122 -x5121 -x5120 -x5119 -x5118 -x5117 -x5116 -x5115 -x5114
1789.67/1790.09 v -x5113 -x5112 -x5111 -x5110 -x5109 -x5108 -x5107 -x5106 -x5105 -x5104 -x5103 -x5102 -x5101 -x5100 -x5099 -x5098 -x5097 -x5096
1789.67/1790.09 v -x5095 -x5094 -x5093 -x5092 -x5091 -x5090 -x5089 -x5088 -x5087 -x5086 -x5085 -x5084 -x5083 -x5082 -x5081 -x5080 -x5079 -x5078
1789.67/1790.09 v -x5077 -x5076 -x5075 -x5074 -x5073 -x5072 -x5071 -x5070 -x5069 -x5068 -x5067 -x5066 -x5065 -x5064 -x5063 -x5062 -x5061 -x5060
1789.67/1790.09 v -x5059 -x5058 -x5057 -x5056 -x5055 x5054 -x5053 -x5052 -x5051 -x5050 -x5049 -x5048 -x5047 -x5046 -x5045 -x5044 -x5043 -x5042
1789.67/1790.09 v -x5041 -x5040 -x5039 -x5038 -x5037 -x5036 -x5035 -x5034 -x5033 -x5032 -x5031 -x5030 -x5029 -x5028 -x5027 -x5026 -x5025
1789.67/1790.09 v -x5024 -x5023 -x5022 -x5021 -x5020 -x5019 -x5018 -x5017 -x5016 -x5015 -x5014 -x5013 -x5012 -x5011 -x5010 -x5009 -x5008 -x5007
1789.67/1790.09 v -x5006 -x5005 -x5004 -x5003 -x5002 -x5001 -x5000 -x4999 -x4998 -x4997 -x4996 -x4995 -x4994 -x4993 -x4992 -x4991 -x4990 -x4989
1789.67/1790.09 v -x4988 -x4987 -x4986 -x4985 -x4984 -x4983 -x4982 -x4981 -x4980 -x4979 -x4978 -x4977 -x4976 -x4975 -x4974 -x4973 -x4972 -x4971
1789.67/1790.09 v -x4970 -x4969 -x4968 -x4967 -x4966 -x4965 -x4964 -x4963 -x4962 -x4961 -x4960 -x4959 -x4958 -x4957 x4956 -x4955 -x4954 -x4953
1789.67/1790.09 v -x4952 -x4951 -x4950 -x4949 -x4948 -x4947 -x4946 -x4945 -x4944 -x4943 -x4942 -x4941 -x4940 -x4939 -x4938 -x4937 -x4936 -x4935
1789.67/1790.09 v -x4934 -x4933 -x4932 -x4931 -x4930 -x4929 -x4928 -x4927 -x4926 -x4925 -x4924 -x4923 -x4922 -x4921 -x4920 -x4919 -x4918 -x4917
1789.67/1790.09 v -x4916 -x4915 -x4914 -x4913 -x4912 -x4911 -x4910 -x4909 -x4908 -x4907 -x4906 -x4905 -x4904 -x4903 -x4902 -x4901 -x4900 -x4899
1789.67/1790.09 v -x4898 -x4897 -x4896 -x4895 -x4894 -x4893 -x4892 -x4891 -x4890 -x4889 -x4888 -x4887 -x4886 -x4885 -x4884 -x4883 -x4882
1789.67/1790.09 v -x4881 -x4880 -x4879 -x4878 -x4877 -x4876 -x4875 -x4874 -x4873 -x4872 -x4871 -x4870 -x4869 -x4868 -x4867 -x4866 -x4865 -x4864
1789.67/1790.09 v -x4863 -x4862 -x4861 -x4860 -x4859 x4858 -x4857 -x4856 -x4855 -x4854 -x4853 -x4852 -x4851 -x4850 -x4849 -x4848 -x4847 -x4846
1789.67/1790.09 v -x4845 -x4844 -x4843 -x4842 -x4841 -x4840 -x4839 -x4838 -x4837 -x4836 -x4835 -x4834 -x4833 -x4832 -x4831 -x4830 -x4829 -x4828
1789.67/1790.09 v -x4827 -x4826 -x4825 -x4824 -x4823 -x4822 -x4821 -x4820 -x4819 -x4818 -x4817 -x4816 -x4815 -x4814 -x4813 -x4812 -x4811 -x4810
1789.67/1790.09 v -x4809 -x4808 -x4807 -x4806 -x4805 -x4804 -x4803 -x4802 -x4801 -x4800 -x4799 -x4798 -x4797 -x4796 -x4795 -x4794 -x4793 -x4792
1789.67/1790.09 v -x4791 -x4790 -x4789 -x4788 -x4787 -x4786 -x4785 -x4784 -x4783 -x4782 -x4781 -x4780 -x4779 -x4778 -x4777 -x4776 -x4775 -x4774
1789.67/1790.09 v -x4773 -x4772 -x4771 -x4770 -x4769 -x4768 -x4767 -x4766 -x4765 -x4764 -x4763 -x4762 -x4761 -x4760 -x4759 -x4758 -x4757 -x4756
1789.67/1790.09 v -x4755 -x4754 -x4753 -x4752 -x4751 -x4750 -x4749 -x4748 -x4747 -x4746 -x4745 -x4744 -x4743 -x4742 -x4741 -x4740 -x4739
1789.67/1790.09 v -x4738 -x4737 -x4736 -x4735 -x4734 -x4733 -x4732 -x4731 -x4730 -x4729 -x4728 -x4727 -x4726 -x4725 -x4724 -x4723 -x4722 -x4721
1789.67/1790.09 v -x4720 -x4719 -x4718 -x4717 -x4716 -x4715 -x4714 -x4713 -x4712 -x4711 -x4710 -x4709 -x4708 -x4707 -x4706 -x4705 -x4704 -x4703
1789.67/1790.09 v -x4702 -x4701 -x4700 -x4699 -x4698 -x4697 -x4696 -x4695 -x4694 -x4693 -x4692 x4691 -x4690 -x4689 -x4688 -x4687 -x4686 -x4685
1789.67/1790.09 v -x4684 -x4683 -x4682 -x4681 -x4680 -x4679 -x4678 -x4677 -x4676 -x4675 -x4674 -x4673 -x4672 -x4671 -x4670 -x4669 -x4668 -x4667
1789.67/1790.09 v -x4666 -x4665 -x4664 -x4663 -x4662 -x4661 -x4660 -x4659 -x4658 -x4657 -x4656 -x4655 -x4654 -x4653 -x4652 -x4651 -x4650 -x4649
1789.67/1790.09 v -x4648 -x4647 -x4646 -x4645 -x4644 -x4643 -x4642 -x4641 -x4640 -x4639 -x4638 -x4637 -x4636 -x4635 -x4634 -x4633 -x4632 -x4631
1789.67/1790.09 v -x4630 -x4629 -x4628 -x4627 -x4626 -x4625 -x4624 -x4623 -x4622 -x4621 -x4620 -x4619 -x4618 -x4617 -x4616 -x4615 -x4614 -x4613
1789.67/1790.09 v -x4612 -x4611 -x4610 -x4609 -x4608 -x4607 -x4606 -x4605 -x4604 -x4603 -x4602 -x4601 -x4600 -x4599 x4598 -x4597 -x4596 -x4595
1789.67/1790.09 v -x4594 -x4593 -x4592 -x4591 -x4590 -x4589 -x4588 -x4587 -x4586 -x4585 -x4584 -x4583 -x4582 -x4581 -x4580 -x4579 -x4578
1789.67/1790.09 v -x4577 -x4576 -x4575 -x4574 -x4573 -x4572 -x4571 -x4570 -x4569 -x4568 -x4567 -x4566 -x4565 -x4564 -x4563 -x4562 -x4561 -x4560
1789.67/1790.09 v -x4559 -x4558 -x4557 -x4556 -x4555 -x4554 -x4553 -x4552 -x4551 -x4550 -x4549 -x4548 -x4547 -x4546 -x4545 -x4544 -x4543 -x4542
1789.67/1790.09 v -x4541 -x4540 -x4539 -x4538 -x4537 -x4536 -x4535 -x4534 -x4533 -x4532 -x4531 -x4530 -x4529 -x4528 -x4527 -x4526 -x4525 -x4524
1789.67/1790.09 v -x4523 -x4522 -x4521 -x4520 -x4519 -x4518 -x4517 -x4516 -x4515 -x4514 -x4513 -x4512 -x4511 -x4510 x4509 -x4508 -x4507 -x4506
1789.67/1790.09 v -x4505 -x4504 -x4503 -x4502 -x4501 -x4500 -x4499 -x4498 -x4497 -x4496 -x4495 -x4494 -x4493 -x4492 -x4491 -x4490 -x4489 -x4488
1789.67/1790.09 v -x4487 -x4486 -x4485 -x4484 -x4483 -x4482 -x4481 -x4480 -x4479 -x4478 -x4477 -x4476 -x4475 -x4474 -x4473 -x4472 -x4471 -x4470
1789.67/1790.09 v -x4469 -x4468 -x4467 -x4466 -x4465 -x4464 -x4463 -x4462 -x4461 -x4460 -x4459 -x4458 -x4457 -x4456 -x4455 -x4454 -x4453 -x4452
1789.67/1790.09 v -x4451 -x4450 -x4449 -x4448 -x4447 -x4446 -x4445 -x4444 -x4443 -x4442 -x4441 -x4440 -x4439 -x4438 -x4437 -x4436 -x4435
1789.67/1790.09 v -x4434 -x4433 -x4432 -x4431 -x4430 -x4429 -x4428 -x4427 -x4426 -x4425 -x4424 -x4423 -x4422 -x4421 -x4420 -x4419 -x4418 -x4417
1789.67/1790.09 v -x4416 -x4415 -x4414 -x4413 -x4412 -x4411 -x4410 -x4409 -x4408 -x4407 -x4406 -x4405 -x4404 -x4403 -x4402 -x4401 -x4400 -x4399
1789.67/1790.09 v -x4398 -x4397 -x4396 -x4395 -x4394 -x4393 -x4392 -x4391 -x4390 -x4389 -x4388 -x4387 -x4386 -x4385 -x4384 -x4383 -x4382 -x4381
1789.67/1790.09 v -x4380 -x4379 -x4378 -x4377 -x4376 -x4375 -x4374 -x4373 -x4372 -x4371 -x4370 -x4369 -x4368 x4367 -x4366 -x4365 -x4364 -x4363
1789.67/1790.09 v -x4362 -x4361 -x4360 -x4359 -x4358 -x4357 -x4356 -x4355 -x4354 -x4353 -x4352 -x4351 -x4350 -x4349 -x4348 -x4347 -x4346 -x4345
1789.67/1790.09 v -x4344 -x4343 -x4342 -x4341 -x4340 -x4339 -x4338 -x4337 -x4336 -x4335 -x4334 -x4333 -x4332 -x4331 -x4330 -x4329 -x4328 -x4327
1789.67/1790.09 v -x4326 -x4325 -x4324 -x4323 -x4322 -x4321 -x4320 -x4319 -x4318 -x4317 -x4316 -x4315 -x4314 -x4313 -x4312 -x4311 -x4310 -x4309
1789.67/1790.09 v -x4308 -x4307 -x4306 -x4305 -x4304 -x4303 -x4302 -x4301 -x4300 -x4299 -x4298 -x4297 -x4296 -x4295 -x4294 -x4293 -x4292
1789.67/1790.09 v -x4291 -x4290 -x4289 -x4288 -x4287 -x4286 -x4285 -x4284 -x4283 -x4282 -x4281 -x4280 -x4279 -x4278 -x4277 -x4276 -x4275 -x4274
1789.67/1790.09 v -x4273 -x4272 -x4271 -x4270 -x4269 -x4268 -x4267 -x4266 -x4265 -x4264 -x4263 -x4262 -x4261 -x4260 -x4259 -x4258 -x4257 -x4256
1789.67/1790.09 v -x4255 -x4254 -x4253 -x4252 -x4251 -x4250 -x4249 -x4248 -x4247 -x4246 -x4245 -x4244 -x4243 -x4242 -x4241 -x4240 -x4239 -x4238
1789.67/1790.09 v -x4237 -x4236 -x4235 -x4234 -x4233 -x4232 -x4231 -x4230 -x4229 -x4228 -x4227 -x4226 -x4225 -x4224 -x4223 x4222 -x4221 -x4220
1789.67/1790.09 v -x4219 -x4218 -x4217 -x4216 -x4215 -x4214 -x4213 -x4212 -x4211 -x4210 -x4209 -x4208 -x4207 -x4206 -x4205 -x4204 -x4203 -x4202
1789.67/1790.09 v -x4201 -x4200 -x4199 -x4198 -x4197 -x4196 -x4195 -x4194 -x4193 -x4192 -x4191 -x4190 -x4189 -x4188 -x4187 -x4186 -x4185 -x4184
1789.67/1790.09 v -x4183 -x4182 -x4181 -x4180 -x4179 -x4178 -x4177 -x4176 -x4175 -x4174 -x4173 -x4172 -x4171 -x4170 -x4169 -x4168 -x4167 -x4166
1789.67/1790.09 v -x4165 -x4164 -x4163 -x4162 -x4161 -x4160 -x4159 -x4158 -x4157 -x4156 -x4155 -x4154 x4153 -x4152 -x4151 -x4150 -x4149 -x4148
1789.67/1790.09 v -x4147 -x4146 -x4145 -x4144 -x4143 -x4142 -x4141 -x4140 -x4139 -x4138 -x4137 -x4136 -x4135 -x4134 -x4133 -x4132 -x4131
1789.67/1790.09 v -x4130 -x4129 -x4128 -x4127 -x4126 -x4125 -x4124 -x4123 -x4122 -x4121 -x4120 -x4119 -x4118 -x4117 -x4116 -x4115 -x4114 -x4113
1789.67/1790.09 v -x4112 -x4111 -x4110 -x4109 -x4108 -x4107 -x4106 -x4105 -x4104 -x4103 -x4102 -x4101 -x4100 -x4099 -x4098 -x4097 -x4096 -x4095
1789.67/1790.09 v -x4094 -x4093 -x4092 -x4091 -x4090 -x4089 -x4088 -x4087 -x4086 -x4085 -x4084 -x4083 -x4082 x4081 -x4080 -x4079 -x4078 -x4077
1789.67/1790.09 v -x4076 -x4075 -x4074 -x4073 -x4072 -x4071 -x4070 -x4069 x4068 -x4067 -x4066 -x4065 -x4064 -x4063 -x4062 -x4061 -x4060 -x4059
1789.67/1790.09 v -x4058 -x4057 -x4056 -x4055 -x4054 -x4053 -x4052 -x4051 -x4050 -x4049 -x4048 -x4047 -x4046 -x4045 x4044 -x4043 -x4042 -x4041
1789.67/1790.09 v -x4040 -x4039 -x4038 -x4037 -x4036 -x4035 -x4034 -x4033 x4032 -x4031 -x4030 -x4029 -x4028 -x4027 -x4026 -x4025 -x4024 -x4023
1789.67/1790.09 v -x4022 -x4021 -x4020 -x4019 -x4018 -x4017 -x4016 -x4015 -x4014 -x4013 -x4012 -x4011 -x4010 -x4009 -x4008 -x4007 -x4006 -x4005
1789.67/1790.09 v -x4004 -x4003 -x4002 -x4001 -x4000 x3999 -x3998 -x3997 -x3996 -x3995 -x3994 -x3993 -x3992 -x3991 -x3990 -x3989 -x3988 -x3987
1789.67/1790.09 v -x3986 -x3985 -x3984 -x3983 -x3982 -x3981 -x3980 -x3979 -x3978 -x3977 -x3976 -x3975 -x3974 -x3973 x3972 -x3971 -x3970 -x3969
1789.67/1790.09 v -x3968 -x3967 -x3966 -x3965 -x3964 -x3963 -x3962 -x3961 -x3960 -x3959 -x3958 -x3957 x3956 -x3955 -x3954 -x3953 -x3952 -x3951
1789.67/1790.09 v -x3950 -x3949 -x3948 -x3947 -x3946 -x3945 -x3944 -x3943 -x3942 -x3941 -x3940 -x3939 -x3938 -x3937 -x3936 -x3935 -x3934 -x3933
1789.67/1790.09 v -x3932 -x3931 -x3930 -x3929 -x3928 -x3927 -x3926 -x3925 -x3924 -x3923 -x3922 -x3921 -x3920 -x3919 -x3918 -x3917 -x3916 -x3915
1789.67/1790.09 v -x3914 -x3913 -x3912 -x3911 -x3910 -x3909 -x3908 -x3907 -x3906 -x3905 -x3904 -x3903 -x3902 -x3901 -x3900 -x3899 -x3898 -x3897
1789.67/1790.09 v -x3896 -x3895 -x3894 -x3893 x3892 -x3891 -x3890 -x3889 -x3888 -x3887 -x3886 -x3885 -x3884 -x3883 -x3882 -x3881 -x3880 -x3879
1789.67/1790.09 v -x3878 -x3877 -x3876 -x3875 -x3874 -x3873 -x3872 -x3871 -x3870 -x3869 -x3868 -x3867 -x3866 -x3865 -x3864 -x3863 -x3862
1789.67/1790.09 v -x3861 -x3860 -x3859 -x3858 -x3857 -x3856 -x3855 -x3854 -x3853 -x3852 -x3851 -x3850 -x3849 -x3848 -x3847 -x3846 -x3845 -x3844
1789.67/1790.09 v -x3843 -x3842 -x3841 -x3840 -x3839 -x3838 -x3837 -x3836 -x3835 -x3834 -x3833 -x3832 -x3831 -x3830 -x3829 -x3828 -x3827 -x3826
1789.67/1790.09 v -x3825 -x3824 -x3823 -x3822 -x3821 -x3820 -x3819 -x3818 -x3817 -x3816 -x3815 -x3814 -x3813 -x3812 -x3811 -x3810 -x3809 -x3808
1789.67/1790.09 v -x3807 -x3806 -x3805 -x3804 -x3803 -x3802 -x3801 -x3800 -x3799 -x3798 -x3797 -x3796 -x3795 -x3794 -x3793 -x3792 -x3791 -x3790
1789.67/1790.09 v -x3789 -x3788 -x3787 -x3786 -x3785 -x3784 -x3783 -x3782 -x3781 -x3780 -x3779 -x3778 -x3777 -x3776 -x3775 -x3774 -x3773 -x3772
1789.67/1790.09 v -x3771 -x3770 x3769 -x3768 -x3767 -x3766 -x3765 -x3764 -x3763 -x3762 -x3761 -x3760 -x3759 -x3758 -x3757 -x3756 -x3755 -x3754
1789.67/1790.09 v -x3753 -x3752 -x3751 -x3750 -x3749 -x3748 -x3747 -x3746 -x3745 -x3744 -x3743 -x3742 -x3741 x3740 -x3739 -x3738 -x3737 -x3736
1789.67/1790.09 v -x3735 -x3734 -x3733 -x3732 -x3731 -x3730 -x3729 -x3728 -x3727 -x3726 -x3725 -x3724 -x3723 -x3722 -x3721 -x3720 -x3719 -x3718
1789.67/1790.09 v -x3717 -x3716 -x3715 -x3714 -x3713 -x3712 -x3711 -x3710 -x3709 -x3708 -x3707 -x3706 -x3705 -x3704 -x3703 -x3702 -x3701
1789.67/1790.09 v -x3700 -x3699 -x3698 -x3697 -x3696 -x3695 -x3694 -x3693 -x3692 -x3691 -x3690 -x3689 -x3688 -x3687 -x3686 -x3685 -x3684 -x3683
1789.67/1790.09 v -x3682 -x3681 -x3680 -x3679 -x3678 -x3677 -x3676 -x3675 -x3674 -x3673 -x3672 -x3671 -x3670 -x3669 -x3668 -x3667 -x3666 -x3665
1789.67/1790.09 v -x3664 x3663 -x3662 -x3661 -x3660 -x3659 -x3658 -x3657 -x3656 -x3655 -x3654 -x3653 -x3652 -x3651 -x3650 -x3649 -x3648 -x3647
1789.67/1790.09 v -x3646 -x3645 -x3644 -x3643 -x3642 -x3641 -x3640 -x3639 -x3638 -x3637 -x3636 -x3635 -x3634 -x3633 -x3632 -x3631 -x3630 -x3629
1789.67/1790.09 v -x3628 -x3627 -x3626 -x3625 -x3624 -x3623 -x3622 -x3621 x3620 -x3619 -x3618 -x3617 -x3616 -x3615 -x3614 -x3613 -x3612 -x3611
1789.67/1790.09 v -x3610 -x3609 -x3608 -x3607 -x3606 -x3605 -x3604 -x3603 -x3602 -x3601 -x3600 -x3599 -x3598 -x3597 -x3596 -x3595 -x3594 -x3593
1789.67/1790.09 v -x3592 -x3591 -x3590 -x3589 -x3588 -x3587 -x3586 -x3585 -x3584 -x3583 -x3582 -x3581 -x3580 -x3579 -x3578 -x3577 -x3576 -x3575
1789.67/1790.09 v -x3574 -x3573 -x3572 -x3571 -x3570 -x3569 -x3568 -x3567 -x3566 -x3565 -x3564 -x3563 -x3562 -x3561 -x3560 -x3559 -x3558 -x3557
1789.67/1790.09 v -x3556 -x3555 -x3554 -x3553 -x3552 -x3551 -x3550 -x3549 -x3548 -x3547 -x3546 -x3545 -x3544 -x3543 -x3542 -x3541 -x3540
1789.67/1790.09 v -x3539 -x3538 -x3537 -x3536 -x3535 -x3534 -x3533 -x3532 -x3531 -x3530 -x3529 -x3528 -x3527 -x3526 -x3525 -x3524 -x3523 -x3522
1789.67/1790.09 v -x3521 -x3520 -x3519 -x3518 -x3517 -x3516 -x3515 -x3514 -x3513 -x3512 -x3511 -x3510 -x3509 -x3508 -x3507 -x3506 -x3505 -x3504
1789.67/1790.09 v -x3503 -x3502 -x3501 -x3500 -x3499 -x3498 -x3497 -x3496 -x3495 -x3494 -x3493 -x3492 -x3491 -x3490 -x3489 -x3488 -x3487 -x3486
1789.67/1790.09 v -x3485 -x3484 -x3483 -x3482 -x3481 -x3480 -x3479 -x3478 -x3477 -x3476 -x3475 -x3474 -x3473 -x3472 -x3471 -x3470 -x3469 -x3468
1789.67/1790.09 v -x3467 -x3466 -x3465 -x3464 -x3463 -x3462 -x3461 -x3460 -x3459 -x3458 -x3457 -x3456 -x3455 -x3454 -x3453 -x3452 -x3451 -x3450
1789.67/1790.09 v -x3449 -x3448 -x3447 -x3446 -x3445 -x3444 -x3443 -x3442 -x3441 -x3440 -x3439 -x3438 -x3437 -x3436 -x3435 -x3434 -x3433 -x3432
1789.67/1790.09 v -x3431 -x3430 -x3429 -x3428 -x3427 -x3426 -x3425 -x3424 -x3423 -x3422 -x3421 -x3420 -x3419 -x3418 -x3417 -x3416 -x3415
1789.67/1790.09 v -x3414 -x3413 -x3412 -x3411 -x3410 -x3409 -x3408 -x3407 -x3406 -x3405 -x3404 -x3403 -x3402 -x3401 -x3400 -x3399 -x3398 -x3397
1789.67/1790.09 v -x3396 -x3395 -x3394 -x3393 -x3392 -x3391 -x3390 -x3389 -x3388 -x3387 -x3386 -x3385 -x3384 -x3383 -x3382 -x3381 -x3380 -x3379
1789.67/1790.09 v -x3378 -x3377 -x3376 -x3375 -x3374 -x3373 -x3372 -x3371 -x3370 -x3369 -x3368 -x3367 -x3366 -x3365 -x3364 -x3363 -x3362 -x3361
1789.67/1790.09 v -x3360 -x3359 -x3358 -x3357 -x3356 -x3355 -x3354 -x3353 -x3352 -x3351 -x3350 -x3349 -x3348 -x3347 -x3346 -x3345 -x3344 -x3343
1789.67/1790.09 v -x3342 -x3341 -x3340 -x3339 -x3338 -x3337 -x3336 -x3335 -x3334 -x3333 -x3332 -x3331 -x3330 -x3329 x3328 -x3327 -x3326 -x3325
1789.67/1790.09 v -x3324 -x3323 -x3322 -x3321 -x3320 -x3319 -x3318 -x3317 -x3316 -x3315 -x3314 -x3313 -x3312 -x3311 -x3310 -x3309 -x3308 -x3307
1789.67/1790.09 v -x3306 -x3305 -x3304 -x3303 -x3302 -x3301 -x3300 -x3299 -x3298 -x3297 -x3296 -x3295 -x3294 -x3293 -x3292 -x3291 -x3290 -x3289
1789.67/1790.09 v -x3288 -x3287 -x3286 -x3285 -x3284 -x3283 -x3282 -x3281 -x3280 -x3279 -x3278 -x3277 -x3276 -x3275 -x3274 -x3273 -x3272
1789.67/1790.09 v -x3271 -x3270 -x3269 -x3268 -x3267 -x3266 -x3265 -x3264 -x3263 -x3262 -x3261 -x3260 -x3259 -x3258 -x3257 -x3256 -x3255 -x3254
1789.67/1790.09 v -x3253 -x3252 -x3251 -x3250 -x3249 -x3248 -x3247 -x3246 -x3245 -x3244 -x3243 -x3242 -x3241 -x3240 -x3239 -x3238 -x3237 -x3236
1789.67/1790.09 v -x3235 -x3234 -x3233 -x3232 -x3231 x3230 -x3229 -x3228 -x3227 -x3226 -x3225 -x3224 -x3223 -x3222 -x3221 -x3220 -x3219 -x3218
1789.67/1790.09 v -x3217 -x3216 -x3215 -x3214 -x3213 -x3212 -x3211 -x3210 -x3209 -x3208 -x3207 -x3206 -x3205 -x3204 -x3203 -x3202 -x3201 -x3200
1789.67/1790.09 v -x3199 -x3198 -x3197 -x3196 -x3195 -x3194 -x3193 x3192 -x3191 -x3190 -x3189 -x3188 -x3187 -x3186 -x3185 -x3184 -x3183 -x3182
1789.67/1790.09 v -x3181 -x3180 -x3179 -x3178 -x3177 -x3176 -x3175 -x3174 -x3173 -x3172 -x3171 -x3170 -x3169 -x3168 -x3167 -x3166 -x3165 -x3164
1789.67/1790.09 v -x3163 -x3162 -x3161 -x3160 -x3159 -x3158 -x3157 -x3156 -x3155 -x3154 -x3153 -x3152 -x3151 -x3150 -x3149 -x3148 -x3147 -x3146
1789.67/1790.09 v -x3145 -x3144 -x3143 -x3142 -x3141 -x3140 -x3139 x3138 -x3137 -x3136 -x3135 -x3134 -x3133 -x3132 -x3131 -x3130 -x3129 -x3128
1789.67/1790.09 v -x3127 -x3126 -x3125 -x3124 -x3123 -x3122 -x3121 -x3120 -x3119 -x3118 -x3117 -x3116 -x3115 -x3114 -x3113 -x3112 -x3111 -x3110
1789.67/1790.09 v -x3109 -x3108 -x3107 -x3106 -x3105 -x3104 -x3103 -x3102 -x3101 -x3100 -x3099 -x3098 -x3097 -x3096 -x3095 -x3094 -x3093
1789.67/1790.09 v -x3092 -x3091 -x3090 -x3089 -x3088 -x3087 x3086 -x3085 -x3084 -x3083 -x3082 -x3081 -x3080 -x3079 -x3078 -x3077 -x3076 -x3075
1789.67/1790.09 v -x3074 -x3073 -x3072 -x3071 -x3070 -x3069 -x3068 -x3067 -x3066 -x3065 -x3064 -x3063 -x3062 -x3061 -x3060 -x3059 -x3058 -x3057
1789.67/1790.09 v -x3056 -x3055 -x3054 -x3053 -x3052 -x3051 -x3050 -x3049 -x3048 -x3047 -x3046 -x3045 -x3044 -x3043 -x3042 -x3041 -x3040 -x3039
1789.67/1790.09 v -x3038 -x3037 -x3036 -x3035 x3034 -x3033 -x3032 -x3031 -x3030 -x3029 -x3028 -x3027 -x3026 x3025 -x3024 -x3023 -x3022 -x3021
1789.67/1790.09 v -x3020 -x3019 -x3018 -x3017 x3016 -x3015 -x3014 -x3013 -x3012 x3011 -x3010 -x3009 -x3008 -x3007 -x3006 -x3005 -x3004 -x3003
1789.67/1790.09 v -x3002 -x3001 -x3000 -x2999 -x2998 -x2997 -x2996 -x2995 -x2994 -x2993 -x2992 -x2991 -x2990 -x2989 -x2988 -x2987 -x2986 x2985
1789.67/1790.09 v -x2984 -x2983 -x2982 -x2981 -x2980 -x2979 -x2978 -x2977 -x2976 -x2975 -x2974 -x2973 -x2972 -x2971 -x2970 -x2969 -x2968 -x2967
1789.67/1790.09 v -x2966 -x2965 -x2964 -x2963 -x2962 -x2961 -x2960 -x2959 -x2958 -x2957 -x2956 -x2955 -x2954 -x2953 -x2952 -x2951 -x2950 -x2949
1789.67/1790.09 v -x2948 -x2947 -x2946 -x2945 -x2944 -x2943 -x2942 -x2941 -x2940 -x2939 -x2938 -x2937 -x2936 -x2935 -x2934 -x2933 -x2932 -x2931
1789.67/1790.09 v -x2930 -x2929 -x2928 -x2927 -x2926 -x2925 -x2924 -x2923 -x2922 -x2921 -x2920 -x2919 -x2918 -x2917 -x2916 -x2915 -x2914 -x2913
1789.67/1790.09 v -x2912 -x2911 -x2910 -x2909 -x2908 -x2907 -x2906 -x2905 -x2904 -x2903 -x2902 -x2901 -x2900 -x2899 -x2898 -x2897 -x2896 -x2895
1789.67/1790.09 v -x2894 -x2893 -x2892 -x2891 -x2890 -x2889 -x2888 x2887 -x2886 -x2885 -x2884 -x2883 -x2882 -x2881 -x2880 -x2879 -x2878 -x2877
1789.67/1790.09 v -x2876 -x2875 -x2874 -x2873 -x2872 -x2871 -x2870 -x2869 -x2868 -x2867 -x2866 -x2865 -x2864 -x2863 -x2862 -x2861 -x2860 -x2859
1789.67/1790.09 v -x2858 -x2857 -x2856 -x2855 -x2854 -x2853 -x2852 -x2851 -x2850 -x2849 -x2848 -x2847 -x2846 -x2845 -x2844 -x2843 -x2842
1789.67/1790.09 v -x2841 -x2840 -x2839 -x2838 -x2837 -x2836 -x2835 -x2834 -x2833 -x2832 -x2831 -x2830 -x2829 -x2828 -x2827 -x2826 -x2825 -x2824
1789.67/1790.09 v -x2823 -x2822 -x2821 -x2820 -x2819 -x2818 -x2817 -x2816 -x2815 -x2814 -x2813 -x2812 -x2811 -x2810 -x2809 -x2808 -x2807 -x2806
1789.67/1790.09 v -x2805 -x2804 -x2803 -x2802 -x2801 -x2800 -x2799 -x2798 -x2797 -x2796 -x2795 -x2794 -x2793 -x2792 -x2791 -x2790 -x2789 -x2788
1789.67/1790.09 v -x2787 -x2786 -x2785 -x2784 -x2783 -x2782 -x2781 -x2780 -x2779 -x2778 -x2777 -x2776 -x2775 -x2774 -x2773 -x2772 -x2771 -x2770
1789.67/1790.09 v -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2763 -x2762 -x2761 -x2760 -x2759 -x2758 -x2757 -x2756 -x2755 -x2754 -x2753 -x2752
1789.67/1790.09 v -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2745 -x2744 -x2743 -x2742 -x2741 -x2740 -x2739 -x2738 -x2737 -x2736 -x2735 -x2734
1789.67/1790.09 v -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 -x2727 -x2726 -x2725 -x2724 -x2723 -x2722 -x2721 -x2720 -x2719 -x2718 -x2717
1789.67/1790.09 v -x2716 x2715 -x2714 -x2713 -x2712 -x2711 -x2710 -x2709 -x2708 -x2707 -x2706 -x2705 -x2704 -x2703 -x2702 -x2701 -x2700 -x2699
1789.67/1790.09 v -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692 -x2691 -x2690 -x2689 -x2688 -x2687 -x2686 -x2685 -x2684 -x2683 -x2682 -x2681
1789.67/1790.09 v -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674 -x2673 -x2672 -x2671 -x2670 -x2669 -x2668 -x2667 -x2666 -x2665 -x2664 -x2663
1789.67/1790.09 v -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 -x2654 -x2653 -x2652 -x2651 -x2650 -x2649 -x2648 -x2647 -x2646 -x2645
1789.67/1790.09 v -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 -x2637 -x2636 -x2635 -x2634 -x2633 -x2632 -x2631 -x2630 -x2629 -x2628 -x2627
1789.67/1790.09 v -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617 -x2616 -x2615 -x2614 -x2613 -x2612 -x2611 -x2610 -x2609
1789.67/1790.09 v -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 -x2600 -x2599 -x2598 -x2597 -x2596 -x2595 -x2594 -x2593 -x2592 -x2591
1789.67/1790.09 v -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 -x2581 -x2580 -x2579 -x2578 -x2577 -x2576 -x2575 -x2574
1789.67/1790.09 v -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565 -x2564 -x2563 -x2562 -x2561 -x2560 -x2559 -x2558 -x2557 -x2556
1789.67/1790.09 v -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549 -x2548 -x2547 -x2546 -x2545 -x2544 -x2543 -x2542 -x2541 -x2540 -x2539 -x2538
1789.67/1790.09 v -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 -x2530 -x2529 -x2528 -x2527 -x2526 -x2525 -x2524 -x2523 -x2522 -x2521 -x2520
1789.67/1790.09 v -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2510 -x2509 -x2508 -x2507 -x2506 -x2505 -x2504 -x2503 -x2502
1789.67/1790.09 v -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 -x2493 -x2492 -x2491 -x2490 -x2489 -x2488 -x2487 -x2486 -x2485 -x2484
1789.67/1790.09 v -x2483 -x2482 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 -x2472 -x2471 -x2470 -x2469 -x2468 -x2467 -x2466
1789.67/1790.09 v -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 -x2458 -x2457 -x2456 -x2455 -x2454 -x2453 -x2452 -x2451 -x2450 -x2449
1789.67/1790.09 v -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 -x2438 -x2437 -x2436 -x2435 -x2434 -x2433 -x2432 -x2431
1789.67/1790.09 v -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 -x2424 -x2423 -x2422 -x2421 x2420 -x2419 -x2418 -x2417 -x2416 -x2415 -x2414 -x2413
1789.67/1790.09 v -x2412 -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404 -x2403 -x2402 -x2401 -x2400 -x2399 -x2398 -x2397 -x2396 -x2395
1789.67/1790.09 v -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 -x2381 -x2380 -x2379 -x2378 -x2377
1789.67/1790.09 v -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 x2361 -x2360 -x2359
1789.67/1790.09 v -x2358 -x2357 -x2356 -x2355 -x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 -x2343 -x2342 -x2341
1789.67/1790.09 v -x2340 -x2339 -x2338 -x2337 -x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326 -x2325 -x2324 -x2323
1789.67/1790.09 v -x2322 -x2321 -x2320 -x2319 -x2318 -x2317 x2316 -x2315 -x2314 -x2313 -x2312 -x2311 -x2310 -x2309 -x2308 -x2307 -x2306 -x2305
1789.67/1790.09 v -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298 -x2297 -x2296 -x2295 -x2294 -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 -x2287
1789.67/1790.09 v -x2286 -x2285 -x2284 -x2283 -x2282 -x2281 -x2280 -x2279 -x2278 -x2277 -x2276 -x2275 -x2274 -x2273 -x2272 -x2271 -x2270
1789.67/1790.09 v -x2269 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 -x2260 -x2259 -x2258 -x2257 -x2256 -x2255 -x2254 -x2253 -x2252
1789.67/1790.09 v -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 -x2242 -x2241 -x2240 -x2239 -x2238 -x2237 -x2236 -x2235 -x2234
1789.67/1790.09 v -x2233 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 -x2222 -x2221 -x2220 -x2219 -x2218 -x2217 -x2216
1789.67/1790.09 v -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204 -x2203 -x2202 -x2201 -x2200 -x2199 -x2198
1789.67/1790.09 v -x2197 -x2196 -x2195 -x2194 x2193 -x2192 -x2191 -x2190 x2189 -x2188 -x2187 -x2186 -x2185 -x2184 -x2183 -x2182 -x2181 -x2180
1789.67/1790.09 v -x2179 -x2178 -x2177 -x2176 -x2175 -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 -x2168 -x2167 -x2166 -x2165 -x2164 -x2163 -x2162
1789.67/1790.09 v -x2161 -x2160 -x2159 -x2158 -x2157 -x2156 -x2155 -x2154 -x2153 -x2152 -x2151 -x2150 -x2149 -x2148 -x2147 -x2146 -x2145 -x2144
1789.67/1790.09 v -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 -x2133 -x2132 -x2131 -x2130 -x2129 -x2128 -x2127 -x2126
1789.67/1790.09 v -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 -x2113 -x2112 -x2111 -x2110 -x2109
1789.67/1790.09 v -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 -x2097 -x2096 -x2095 -x2094 -x2093 -x2092 -x2091
1789.67/1790.09 v -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2073
1789.67/1790.09 v -x2072 -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055
1789.67/1790.09 v -x2054 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 -x2042 -x2041 -x2040 -x2039 -x2038 -x2037
1789.67/1790.09 v -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 -x2019
1789.67/1790.09 v -x2018 -x2017 -x2016 -x2015 -x2014 -x2013 -x2012 -x2011 -x2010 -x2009 -x2008 -x2007 -x2006 -x2005 -x2004 -x2003 -x2002 -x2001
1789.67/1790.09 v -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984
1789.67/1790.09 v -x1983 -x1982 x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966
1789.67/1790.09 v -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948
1789.67/1790.09 v -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1934 -x1933 -x1932 -x1931 -x1930
1789.67/1790.09 v -x1929 -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 x1920 -x1919 -x1918 -x1917 -x1916 -x1915 -x1914 -x1913 -x1912
1789.67/1790.09 v -x1911 -x1910 -x1909 -x1908 -x1907 -x1906 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 -x1895 -x1894
1789.67/1790.09 v -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1880 -x1879 -x1878 -x1877 -x1876
1789.67/1790.09 v -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858
1789.67/1790.09 v -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 -x1850 -x1849 -x1848 -x1847 x1846 -x1845 -x1844 -x1843 -x1842 -x1841 -x1840
1789.67/1790.09 v -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 -x1832 -x1831 -x1830 -x1829 -x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822
1789.67/1790.09 v -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x1815 -x1814 -x1813 -x1812 -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805
1789.67/1790.09 v -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 -x1797 -x1796 -x1795 -x1794 -x1793 -x1792 -x1791 -x1790 -x1789 -x1788 -x1787
1789.67/1790.09 v -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1769
1789.67/1790.09 v -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1758 -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 -x1751
1789.67/1790.09 v -x1750 -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733
1789.67/1790.09 v -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715
1789.67/1790.09 v -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697
1789.67/1790.09 v -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 -x1681 -x1680
1789.67/1790.09 v -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667 -x1666 -x1665 -x1664 -x1663 -x1662
1789.67/1790.09 v -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 -x1644
1789.67/1790.09 v -x1643 -x1642 -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626
1789.67/1790.09 v -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608
1789.67/1790.09 v -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 -x1596 -x1595 -x1594 -x1593 -x1592 -x1591 -x1590
1789.67/1790.09 v -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1581 -x1580 -x1579 -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 -x1572
1789.67/1790.09 v -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 x1562 -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554
1789.67/1790.09 v -x1553 -x1552 -x1551 -x1550 x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 -x1536
1789.67/1790.09 v -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519
1789.67/1790.09 v -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501
1789.67/1790.09 v -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483
1789.67/1790.09 v -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465
1789.67/1790.09 v -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447
1789.67/1790.09 v -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 x1434 -x1433 -x1432 -x1431 -x1430 -x1429
1789.67/1790.09 v -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411
1789.67/1790.09 v -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393
1789.67/1790.09 v -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375
1789.67/1790.09 v -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357
1789.67/1790.09 v -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340
1789.67/1790.09 v -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322
1789.67/1790.09 v -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304
1789.67/1790.09 v -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286
1789.67/1790.09 v -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268
1789.67/1790.09 v -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250
1789.67/1790.09 v x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232
1789.67/1790.09 v -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214
1789.67/1790.09 v -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197
1789.67/1790.09 v -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179
1789.67/1790.09 v -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161
1789.67/1790.09 v -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143
1789.67/1790.09 v -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125
1789.67/1790.09 v -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107
1789.67/1790.09 v -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089
1789.67/1790.09 v -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072
1789.67/1790.09 v -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054
1789.67/1790.09 v -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036
1789.67/1790.09 v -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 x1018
1789.67/1790.09 v -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000
1789.67/1790.09 v -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979
1789.67/1790.09 v -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958
1789.67/1790.09 v -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938
1789.67/1790.09 v -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917
1789.67/1790.09 v -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896
1789.67/1790.09 v -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875
1789.67/1790.09 v -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854
1789.67/1790.09 v -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833
1789.67/1790.09 v -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813
1789.67/1790.09 v -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792
1789.67/1790.09 v -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771
1789.67/1790.09 v -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750
1789.67/1790.09 v -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729
1789.67/1790.09 v -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708
1789.67/1790.09 v -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688
1789.67/1790.09 v -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667
1789.67/1790.09 v -x666 x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646
1789.67/1790.09 v -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625
1789.67/1790.09 v -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604
1789.67/1790.09 v -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583
1789.67/1790.09 v -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562
1789.67/1790.09 v -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542
1789.67/1790.09 v -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521
1789.67/1790.09 v -x520 x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500
1789.67/1790.09 v -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 x485 -x484 -x483 -x482 -x481 -x480 -x479
1789.67/1790.09 v -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458
1789.67/1790.09 v -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437
1789.67/1790.09 v -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416
1789.67/1790.09 v -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395
1789.67/1790.09 v -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375
1789.67/1790.09 v -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354
1789.67/1790.09 v -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333
1789.67/1790.09 v -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312
1789.67/1790.09 v -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291
1789.67/1790.09 v -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270
1789.67/1790.09 v -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250
1789.67/1790.09 v -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229
1789.67/1790.09 v -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208
1789.67/1790.09 v -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187
1789.67/1790.09 v -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166
1789.67/1790.09 v -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145
1789.67/1790.09 v -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124
1789.67/1790.09 v -x123 -x122 -x121 -x120 -x119 x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103
1789.67/1790.09 v -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79
1789.67/1790.09 v -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54
1789.67/1790.09 v -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 x29
1789.67/1790.09 v -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2
1789.67/1790.09 v -x1
1789.67/1790.09 c SCIP Status : solving was interrupted [time limit reached]
1789.67/1790.09 c Solving Time : 1789.04
1789.67/1790.09 c Original Problem :
1789.67/1790.09 c Problem name : HOME/instance-3734668-1338700398.opb
1789.67/1790.09 c Variables : 5203 (5203 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.67/1790.09 c Constraints : 19637 initial, 19637 maximal
1789.67/1790.09 c Presolved Problem :
1789.67/1790.09 c Problem name : t_HOME/instance-3734668-1338700398.opb
1789.67/1790.09 c Variables : 5203 (5203 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.67/1790.09 c Constraints : 19603 initial, 2186648 maximal
1789.67/1790.09 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.67/1790.09 c trivial : 0.00 0 0 0 0 0 0 0 0
1789.67/1790.09 c dualfix : 0.00 0 0 0 0 0 0 0 0
1789.67/1790.09 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.67/1790.09 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.67/1790.09 c implics : 0.00 0 0 0 0 0 0 0 0
1789.67/1790.09 c probing : 0.04 0 0 0 0 0 0 0 0
1789.67/1790.09 c linear : 0.46 0 0 0 0 0 34 2 0
1789.67/1790.09 c logicor : 0.16 0 0 0 0 0 0 0 0
1789.67/1790.09 c root node : - 0 - - 0 - - - -
1789.67/1790.09 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.67/1790.09 c integral : 0 0 0 1 0 0 0 0 0 2
1789.67/1790.09 c logicor : 19603+ 5 4246423 0 0 145288 11103134 0 0 0
1789.67/1790.09 c countsols : 0 0 0 0 0 0 0 0 0 0
1789.67/1790.09 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.67/1790.09 c integral : 11.38 0.00 0.00 11.38 0.00
1789.67/1790.09 c logicor : 211.42 0.00 211.42 0.00 0.00
1789.67/1790.09 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.67/1790.09 c Propagators : Time Calls Cutoffs DomReds
1789.67/1790.09 c vbounds : 0.90 2 0 0
1789.67/1790.09 c rootredcost : 0.85 0 0 0
1789.67/1790.09 c pseudoobj : 1307.26 7663351 1092101 43429956
1789.67/1790.09 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.67/1790.09 c propagation : 952.18 1236443 1236443 1236443 846.5 2160103 71.7 -
1789.67/1790.09 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1789.67/1790.09 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.67/1790.09 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.67/1790.09 c pseudo solution : 8.91 10097 10097 10097 764.9 21331 79.0 -
1789.67/1790.09 c applied globally : - - - 2370080 103.2 - - -
1789.67/1790.09 c applied locally : - - - 1055132 913.6 - - -
1789.67/1790.09 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.67/1790.09 c cut pool : 0.00 4 - - 1 - (maximal pool size: 32)
1789.67/1790.09 c redcost : 0.00 6 0 0 0 0
1789.67/1790.09 c impliedbounds : 0.00 6 0 0 0 0
1789.67/1790.09 c intobj : 0.00 0 0 0 0 0
1789.67/1790.09 c cgmip : 0.00 0 0 0 0 0
1789.67/1790.09 c gomory : 7.80 6 0 0 1583 0
1789.67/1790.09 c strongcg : 7.76 6 0 0 1550 0
1789.67/1790.09 c cmir : 1.38 6 0 0 0 0
1789.67/1790.09 c flowcover : 1.57 6 0 0 0 0
1789.67/1790.09 c clique : 0.00 1 0 0 0 0
1789.67/1790.09 c zerohalf : 0.00 0 0 0 0 0
1789.67/1790.09 c mcf : 0.04 1 0 0 0 0
1789.67/1790.09 c rapidlearning : 0.00 0 0 0 0 0
1789.67/1790.09 c Pricers : Time Calls Vars
1789.67/1790.09 c problem variables: 0.00 0 0
1789.67/1790.09 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.67/1790.09 c relpscost : 11.38 1 0 0 0 0 2
1789.67/1790.09 c pscost : 0.00 0 0 0 0 0 0
1789.67/1790.09 c inference : 102.91 1968581 0 0 0 0 3937162
1789.67/1790.09 c mostinf : 0.00 0 0 0 0 0 0
1789.67/1790.09 c leastinf : 0.00 0 0 0 0 0 0
1789.67/1790.09 c fullstrong : 0.00 0 0 0 0 0 0
1789.67/1790.09 c allfullstrong : 0.00 0 0 0 0 0 0
1789.67/1790.09 c random : 0.00 0 0 0 0 0 0
1789.67/1790.09 c Primal Heuristics : Time Calls Found
1789.67/1790.09 c LP solutions : 0.00 - 0
1789.67/1790.09 c pseudo solutions : 0.00 - 0
1789.67/1790.09 c crossover : 0.00 0 0
1789.67/1790.09 c oneopt : 0.88 4 2
1789.67/1790.09 c trivial : 0.07 2 4
1789.67/1790.09 c simplerounding : 0.00 0 0
1789.67/1790.09 c zirounding : 0.00 1 0
1789.67/1790.09 c rounding : 0.01 5 0
1789.67/1790.09 c shifting : 0.02 5 0
1789.67/1790.09 c intshifting : 0.00 0 0
1789.67/1790.09 c twoopt : 0.00 0 0
1789.67/1790.09 c fixandinfer : 0.00 0 0
1789.67/1790.09 c feaspump : 0.00 0 0
1789.67/1790.09 c coefdiving : 0.00 0 0
1789.67/1790.09 c pscostdiving : 0.00 0 0
1789.67/1790.09 c fracdiving : 0.00 0 0
1789.67/1790.09 c veclendiving : 0.00 0 0
1789.67/1790.09 c intdiving : 0.00 0 0
1789.67/1790.09 c actconsdiving : 0.00 0 0
1789.67/1790.09 c objpscostdiving : 0.00 0 0
1789.67/1790.09 c rootsoldiving : 0.00 0 0
1789.67/1790.09 c linesearchdiving : 0.00 0 0
1789.67/1790.09 c guideddiving : 0.00 0 0
1789.67/1790.09 c octane : 0.00 0 0
1789.67/1790.09 c rens : 1.51 1 1
1789.67/1790.09 c rins : 0.00 0 0
1789.67/1790.09 c localbranching : 0.00 0 0
1789.67/1790.09 c mutation : 0.00 0 0
1789.67/1790.09 c dins : 0.00 0 0
1789.67/1790.09 c undercover : 0.00 0 0
1789.67/1790.09 c nlp : 0.30 0 0
1789.67/1790.09 c trysol : 0.20 0 0
1789.67/1790.09 c LP : Time Calls Iterations Iter/call Iter/sec
1789.67/1790.09 c primal LP : 0.03 0 0 0.00 0.00
1789.67/1790.09 c dual LP : 14.15 5 9960 1992.00 703.69
1789.67/1790.09 c lex dual LP : 0.00 0 0 0.00 -
1789.67/1790.09 c barrier LP : 0.00 0 0 0.00 -
1789.67/1790.09 c diving/probing LP: 0.00 0 0 0.00 -
1789.67/1790.09 c strong branching : 11.38 17 8200 482.35 720.46
1789.67/1790.09 c (at root node) : - 17 8200 482.35 -
1789.67/1790.09 c conflict analysis: 0.00 0 0 0.00 -
1789.67/1790.09 c B&B Tree :
1789.67/1790.09 c number of runs : 1
1789.67/1790.09 c nodes : 2623406
1789.67/1790.09 c nodes (total) : 2623406
1789.67/1790.09 c nodes left : 3659
1789.67/1790.09 c max depth : 3975
1789.67/1790.09 c max depth (total): 3975
1789.67/1790.09 c backtracks : 663937 (25.3%)
1789.67/1790.09 c delayed cutoffs : 656923
1789.67/1790.09 c repropagations : 1455037 (22037091 domain reductions, 592662 cutoffs)
1789.67/1790.09 c avg switch length: 2.36
1789.67/1790.09 c switching time : 44.18
1789.67/1790.09 c Solution :
1789.67/1790.09 c Solutions found : 7 (6 improvements)
1789.67/1790.09 c First Solution : +5.20300000000000e+03 (in run 1, after 0 nodes, 0.23 seconds, depth 0, found by <trivial>)
1789.67/1790.09 c Primal Bound : +5.50000000000000e+01 (in run 1, after 1 nodes, 31.57 seconds, depth 0, found by <rens>)
1789.67/1790.09 c Dual Bound : +3.95462215700660e+01
1789.67/1790.09 c Gap : 39.08 %
1789.67/1790.09 c Root Dual Bound : +3.95404488987578e+01
1789.67/1790.09 c Root Iterations : 9960
1791.36/1791.79 c Time complete: 1791.46.
OK 55
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3734668-1338700398/watcher-3734668-1338700398 -o /tmp/evaluation-result-3734668-1338700398/solver-3734668-1338700398 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3734668-1338700398.opb -t 1800 -m 15500 running on 4 cores: 1,3,5,7 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.06 2.01 2.00 2/176 11489 /proc/meminfo: memFree=26213980/32873648 swapFree=6864/6864 [pid=11489] ppid=11487 vsize=7916 CPUtime=0 cores=1,3,5,7 /proc/11489/stat : 11489 (pbscip.linux.x8) R 11487 11489 7869 0 -1 4202496 1252 0 0 0 0 0 0 0 20 0 1 0 336165219 8105984 1198 33554432000 4194304 8395647 140735384356192 140736309418424 7385025 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/11489/statm: 1979 1198 370 1026 0 949 0 [startup+0.0892959 s] /proc/loadavg: 2.06 2.01 2.00 2/176 11489 /proc/meminfo: memFree=26213980/32873648 swapFree=6864/6864 [pid=11489] ppid=11487 vsize=17532 CPUtime=0.08 cores=1,3,5,7 /proc/11489/stat : 11489 (pbscip.linux.x8) R 11487 11489 7869 0 -1 4202496 3661 0 0 0 8 0 0 0 20 0 1 0 336165219 17952768 3606 33554432000 4194304 8395647 140735384356192 140736309418424 7430272 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/11489/statm: 4383 3606 393 1026 0 3353 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 17532 [startup+0.100263 s] /proc/loadavg: 2.06 2.01 2.00 2/176 11489 /proc/meminfo: memFree=26213980/32873648 swapFree=6864/6864 [pid=11489] ppid=11487 vsize=17836 CPUtime=0.09 cores=1,3,5,7 /proc/11489/stat : 11489 (pbscip.linux.x8) R 11487 11489 7869 0 -1 4202496 3743 0 0 0 9 0 0 0 20 0 1 0 336165219 18264064 3688 33554432000 4194304 8395647 140735384356192 140736309418424 7430272 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/11489/statm: 4459 3688 393 1026 0 3429 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 17836 [startup+0.300194 s] /proc/loadavg: 2.06 2.01 2.00 2/176 11489 /proc/meminfo: memFree=26213980/32873648 swapFree=6864/6864 [pid=11489] ppid=11487 vsize=25772 CPUtime=0.28 cores=1,3,5,7 /proc/11489/stat : 11489 (pbscip.linux.x8) R 11487 11489 7869 0 -1 4202496 5710 0 0 0 28 0 0 0 20 0 1 0 336165219 26390528 5655 33554432000 4194304 8395647 140735384356192 140736309418424 7430272 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/11489/statm: 6443 5655 393 1026 0 5413 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 25772 [startup+0.700118 s] /proc/loadavg: 2.06 2.01 2.00 2/176 11489 /proc/meminfo: memFree=26213980/32873648 swapFree=6864/6864 [pid=11489] ppid=11487 vsize=36964 CPUtime=0.69 cores=1,3,5,7 /proc/11489/stat : 11489 (pbscip.linux.x8) R 11487 11489 7869 0 -1 4202496 8489 0 0 0 68 1 0 0 20 0 1 0 336165219 37851136 8434 33554432000 4194304 8395647 140735384356192 140735384221400 7430272 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/11489/statm: 9241 8434 393 1026 0 8211 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 36964 [startup+1.50024 s] /proc/loadavg: 2.05 2.01 2.00 3/177 11490 /proc/meminfo: memFree=26101372/32873648 swapFree=6864/6864 [pid=11489] ppid=11487 vsize=178232 CPUtime=1.49 cores=1,3,5,7 /proc/11489/stat : 11489 (pbscip.linux.x8) R 11487 11489 7869 0 -1 4202496 43620 0 0 0 143 6 0 0 20 0 1 0 336165219 182509568 43211 33554432000 4194304 8395647 140735384356192 140735384221400 5006645 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/11489/statm: 44558 43211 464 1026 0 43528 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 178232 [startup+3.10024 s] /proc/loadavg: 2.05 2.01 2.00 3/177 11490 /proc/meminfo: memFree=25978784/32873648 swapFree=6864/6864 [pid=11489] ppid=11487 vsize=335992 CPUtime=3.09 cores=1,3,5,7 /proc/11489/stat : 11489 (pbscip.linux.x8) R 11487 11489 7869 0 -1 4202496 75988 0 0 0 297 12 0 0 20 0 1 0 336165219 344055808 77711 33554432000 4194304 8395647 140735384356192 140735384351400 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/11489/statm: 83998 77711 557 1026 0 82968 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 335992 [startup+6.30025 s] /proc/loadavg: 2.05 2.01 2.00 3/177 11490 /proc/meminfo: memFree=25896496/32873648 swapFree=6864/6864 [pid=11489] ppid=11487 vsize=345720 CPUtime=6.29 cores=1,3,5,7 /proc/11489/stat : 11489 (pbscip.linux.x8) R 11487 11489 7869 0 -1 4202496 78944 0 0 0 615 14 0 0 20 0 1 0 336165219 354017280 80059 33554432000 4194304 8395647 140735384356192 140735384351320 6721235 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/11489/statm: 86430 80059 561 1026 0 85400 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 345720 [startup+12.7002 s] /proc/loadavg: 2.04 2.01 2.00 3/177 11490 /proc/meminfo: memFree=25892592/32873648 swapFree=6864/6864 [pid=11489] ppid=11487 vsize=347872 CPUtime=12.69 cores=1,3,5,7 /proc/11489/stat : 11489 (pbscip.linux.x8) R 11487 11489 7869 0 -1 4202496 80197 0 0 0 1255 14 0 0 20 0 1 0 336165219 356220928 81056 33554432000 4194304 8395647 140735384356192 140735384350808 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/11489/statm: 86968 81056 572 1026 0 85938 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 347872 [startup+25.5001 s] /proc/loadavg: 2.03 2.01 2.00 3/177 11490 /proc/meminfo: memFree=25868192/32873648 swapFree=6864/6864 [pid=11489] ppid=11487 vsize=370236 CPUtime=25.49 cores=1,3,5,7 /proc/11489/stat : 11489 (pbscip.linux.x8) R 11487 11489 7869 0 -1 4202496 85390 0 0 0 2530 19 0 0 20 0 1 0 336165219 379121664 86635 33554432000 4194304 8395647 140735384356192 140735384351480 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/11489/statm: 92559 86635 593 1026 0 91529 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 370236 [startup+51.1003 s] /proc/loadavg: 2.02 2.01 2.00 3/177 11490 /proc/meminfo: memFree=25859352/32873648 swapFree=6864/6864 [pid=11489] ppid=11487 vsize=381004 CPUtime=51.09 cores=1,3,5,7 /proc/11489/stat : 11489 (pbscip.linux.x8) R 11487 11489 7869 0 -1 4202496 126309 0 0 0 5075 34 0 0 20 0 1 0 336165219 390148096 88773 33554432000 4194304 8395647 140735384356192 140735384352376 7185590 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/11489/statm: 95251 88773 632 1026 0 94221 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 381004 [startup+102.3 s] /proc/loadavg: 2.01 2.00 2.00 3/177 11490 /proc/meminfo: memFree=25788540/32873648 swapFree=6864/6864 [pid=11489] ppid=11487 vsize=459244 CPUtime=102.27 cores=1,3,5,7 /proc/11489/stat : 11489 (pbscip.linux.x8) R 11487 11489 7869 0 -1 4202496 143318 0 0 0 10189 38 0 0 20 0 1 0 336165219 470265856 105775 33554432000 4194304 8395647 140735384356192 140735384351592 5085381 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/11489/statm: 114811 105775 632 1026 0 113781 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 459244 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.00 3/176 11528 /proc/meminfo: memFree=25705064/32873648 swapFree=6864/6864 [pid=11489] ppid=11487 vsize=540452 CPUtime=162.23 cores=1,3,5,7 /proc/11489/stat : 11489 (pbscip.linux.x8) R 11487 11489 7869 0 -1 4202496 162530 0 0 0 16182 41 0 0 20 0 1 0 336165219 553422848 124973 33554432000 4194304 8395647 140735384356192 140735384351176 4245910 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/11489/statm: 135113 124973 632 1026 0 134083 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 540452 [startup+222.307 s] /proc/loadavg: 2.00 2.00 2.00 3/177 11529 /proc/meminfo: memFree=25559540/32873648 swapFree=6864/6864 [pid=11489] ppid=11487 vsize=604612 CPUtime=222.22 cores=1,3,5,7 /proc/11489/stat : 11489 (pbscip.linux.x8) R 11487 11489 7869 0 -1 4202496 178097 0 0 0 22178 44 0 0 20 0 1 0 336165219 619122688 140958 33554432000 4194304 8395647 140735384356192 140735384351592 4693257 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/11489/statm: 151153 140958 632 1026 0 150123 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 604612 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 11529 /proc/meminfo: memFree=25412204/32873648 swapFree=6864/6864 [pid=11489] ppid=11487 vsize=669580 CPUtime=282.2 cores=1,3,5,7 /proc/11489/stat : 11489 (pbscip.linux.x8) R 11487 11489 7869 0 -1 4202496 193645 0 0 0 28173 47 0 0 20 0 1 0 336165219 685649920 159417 33554432000 4194304 8395647 140735384356192 140735384351736 5614823 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/11489/statm: 167395 159417 632 1026 0 166365 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 669580 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 11529 /proc/meminfo: memFree=25265104/32873648 swapFree=6864/6864 [pid=11489] ppid=11487 vsize=736528 CPUtime=342.2 cores=1,3,5,7 /proc/11489/stat : 11489 (pbscip.linux.x8) R 11487 11489 7869 0 -1 4202496 209786 0 0 0 34170 50 0 0 20 0 1 0 336165219 754204672 177305 33554432000 4194304 8395647 140735384356192 140735384351592 6023659 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/11489/statm: 184132 177305 632 1026 0 183102 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 736528 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 11529 /proc/meminfo: memFree=25134964/32873648 swapFree=6864/6864 [pid=11489] ppid=11487 vsize=794256 CPUtime=402.18 cores=1,3,5,7 /proc/11489/stat : 11489 (pbscip.linux.x8) R 11487 11489 7869 0 -1 4202496 223252 0 0 0 40166 52 0 0 20 0 1 0 336165219 813318144 192073 33554432000 4194304 8395647 140735384356192 140735384351592 6017646 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/11489/statm: 198564 192073 632 1026 0 197534 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 794256 [startup+462.3 s] /proc/loadavg: 2.03 2.01 2.00 3/178 11532 /proc/meminfo: memFree=25009272/32873648 swapFree=6864/6864 [pid=11489] ppid=11487 vsize=856052 CPUtime=462.17 cores=1,3,5,7 /proc/11489/stat : 11489 (pbscip.linux.x8) R 11487 11489 7869 0 -1 4202496 236863 0 0 0 46163 54 0 0 20 0 1 0 336165219 876597248 207426 33554432000 4194304 8395647 140735384356192 140735384351016 6023652 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/11489/statm: 214013 207426 632 1026 0 212983 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 856052 [startup+522.3 s] /proc/loadavg: 2.01 2.01 2.00 3/177 11533 /proc/meminfo: memFree=24876076/32873648 swapFree=6864/6864 [pid=11489] ppid=11487 vsize=914020 CPUtime=522.16 cores=1,3,5,7 /proc/11489/stat : 11489 (pbscip.linux.x8) R 11487 11489 7869 0 -1 4202496 250954 0 0 0 52159 57 0 0 20 0 1 0 336165219 935956480 221879 33554432000 4194304 8395647 140735384356192 140735384351592 6028136 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/11489/statm: 228505 221879 632 1026 0 227475 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 914020 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 11533 /proc/meminfo: memFree=24754976/32873648 swapFree=6864/6864 [pid=11489] ppid=11487 vsize=962980 CPUtime=582.16 cores=1,3,5,7 /proc/11489/stat : 11489 (pbscip.linux.x8) R 11487 11489 7869 0 -1 4202496 261202 0 0 0 58156 60 0 0 20 0 1 0 336165219 986091520 234640 33554432000 4194304 8395647 140735384356192 140735384351176 5614700 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/11489/statm: 240745 234640 632 1026 0 239715 0 Current children cumulated CPU time (s) 582.16 Current children cumulated vsize (KiB) 962980 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=23700592/32873648 swapFree=6864/6864 [pid=11489] ppid=11487 vsize=1483936 CPUtime=1062.08 cores=1,3,5,7 /proc/11489/stat : 11489 (pbscip.linux.x8) R 11487 11489 7869 0 -1 4202496 385686 0 0 0 106130 78 0 0 20 0 1 0 336165219 1519550464 363954 33554432000 4194304 8395647 140735384356192 140735384351592 4245888 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/11489/statm: 370984 363954 632 1026 0 369954 0 Current children cumulated CPU time (s) 1062.08 Current children cumulated vsize (KiB) 1483936 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 11539 /proc/meminfo: memFree=23573592/32873648 swapFree=6864/6864 [pid=11489] ppid=11487 vsize=1541720 CPUtime=1122.07 cores=1,3,5,7 /proc/11489/stat : 11489 (pbscip.linux.x8) R 11487 11489 7869 0 -1 4202496 400665 0 0 0 112126 81 0 0 20 0 1 0 336165219 1578721280 378933 33554432000 4194304 8395647 140735384356192 140735384351176 5614688 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/11489/statm: 385430 378933 632 1026 0 384400 0 Current children cumulated CPU time (s) 1122.07 Current children cumulated vsize (KiB) 1541720 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 11539 /proc/meminfo: memFree=23429644/32873648 swapFree=6864/6864 [pid=11489] ppid=11487 vsize=1630180 CPUtime=1182.06 cores=1,3,5,7 /proc/11489/stat : 11489 (pbscip.linux.x8) R 11487 11489 7869 0 -1 4202496 419569 0 0 0 118121 85 0 0 20 0 1 0 336165219 1669304320 400903 33554432000 4194304 8395647 140735384356192 140735384351624 5614786 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/11489/statm: 407545 400903 632 1026 0 406515 0 Current children cumulated CPU time (s) 1182.06 Current children cumulated vsize (KiB) 1630180 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 11539 /proc/meminfo: memFree=23297548/32873648 swapFree=6864/6864 [pid=11489] ppid=11487 vsize=1693532 CPUtime=1242.05 cores=1,3,5,7 /proc/11489/stat : 11489 (pbscip.linux.x8) R 11487 11489 7869 0 -1 4202496 434793 0 0 0 124118 87 0 0 20 0 1 0 336165219 1734176768 416127 33554432000 4194304 8395647 140735384356192 140735384351592 5614700 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/11489/statm: 423383 416127 632 1026 0 422353 0 Current children cumulated CPU time (s) 1242.05 Current children cumulated vsize (KiB) 1693532 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 11539 /proc/meminfo: memFree=23170604/32873648 swapFree=6864/6864 [pid=11489] ppid=11487 vsize=1753296 CPUtime=1302.04 cores=1,3,5,7 /proc/11489/stat : 11489 (pbscip.linux.x8) R 11487 11489 7869 0 -1 4202496 450316 0 0 0 130115 89 0 0 20 0 1 0 336165219 1795375104 431650 33554432000 4194304 8395647 140735384356192 140735384351176 5614700 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/11489/statm: 438324 431650 632 1026 0 437294 0 Current children cumulated CPU time (s) 1302.04 Current children cumulated vsize (KiB) 1753296 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 11539 /proc/meminfo: memFree=23029264/32873648 swapFree=6864/6864 [pid=11489] ppid=11487 vsize=1832368 CPUtime=1362.04 cores=1,3,5,7 /proc/11489/stat : 11489 (pbscip.linux.x8) R 11487 11489 7869 0 -1 4202496 468249 0 0 0 136112 92 0 0 20 0 1 0 336165219 1876344832 451627 33554432000 4194304 8395647 140735384356192 140735384351592 4245871 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/11489/statm: 458092 451627 632 1026 0 457062 0 Current children cumulated CPU time (s) 1362.04 Current children cumulated vsize (KiB) 1832368 [startup+1422.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 11540 /proc/meminfo: memFree=22902616/32873648 swapFree=6864/6864 [pid=11489] ppid=11487 vsize=1901500 CPUtime=1422.03 cores=1,3,5,7 /proc/11489/stat : 11489 (pbscip.linux.x8) R 11487 11489 7869 0 -1 4202496 482737 0 0 0 142109 94 0 0 20 0 1 0 336165219 1947136000 468670 33554432000 4194304 8395647 140735384356192 140735384351592 5614829 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/11489/statm: 475375 468670 632 1026 0 474345 0 Current children cumulated CPU time (s) 1422.03 Current children cumulated vsize (KiB) 1901500 [startup+1482.3 s] /proc/loadavg: 2.05 2.01 2.00 3/177 11540 /proc/meminfo: memFree=22788944/32873648 swapFree=6864/6864 [pid=11489] ppid=11487 vsize=1955760 CPUtime=1482.01 cores=1,3,5,7 /proc/11489/stat : 11489 (pbscip.linux.x8) R 11487 11489 7869 0 -1 4202496 495348 0 0 0 148105 96 0 0 20 0 1 0 336165219 2002698240 481281 33554432000 4194304 8395647 140735384356192 140735384351592 6017657 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/11489/statm: 488940 481281 632 1026 0 487910 0 Current children cumulated CPU time (s) 1482.01 Current children cumulated vsize (KiB) 1955760 [startup+1542.31 s] /proc/loadavg: 2.02 2.01 2.00 3/177 11540 /proc/meminfo: memFree=22668444/32873648 swapFree=6864/6864 [pid=11489] ppid=11487 vsize=2010204 CPUtime=1542.01 cores=1,3,5,7 /proc/11489/stat : 11489 (pbscip.linux.x8) R 11487 11489 7869 0 -1 4202496 509441 0 0 0 154103 98 0 0 20 0 1 0 336165219 2058448896 495374 33554432000 4194304 8395647 140735384356192 140735384351176 5614603 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/11489/statm: 502551 495374 632 1026 0 501521 0 Current children cumulated CPU time (s) 1542.01 Current children cumulated vsize (KiB) 2010204 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 11540 /proc/meminfo: memFree=22531200/32873648 swapFree=6864/6864 [pid=11489] ppid=11487 vsize=2085460 CPUtime=1602 cores=1,3,5,7 /proc/11489/stat : 11489 (pbscip.linux.x8) R 11487 11489 7869 0 -1 4202496 526688 0 0 0 160098 102 0 0 20 0 1 0 336165219 2135511040 514154 33554432000 4194304 8395647 140735384356192 140735384351624 5614786 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/11489/statm: 521365 514154 632 1026 0 520335 0 Current children cumulated CPU time (s) 1602 Current children cumulated vsize (KiB) 2085460 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 11543 /proc/meminfo: memFree=22391396/32873648 swapFree=6864/6864 [pid=11489] ppid=11487 vsize=2159660 CPUtime=1661.98 cores=1,3,5,7 /proc/11489/stat : 11489 (pbscip.linux.x8) R 11487 11489 7869 0 -1 4202496 542187 0 0 0 166093 105 0 0 20 0 1 0 336165219 2211491840 532719 33554432000 4194304 8395647 140735384356192 140735384351176 6069029 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/11489/statm: 539915 532719 632 1026 0 538885 0 Current children cumulated CPU time (s) 1661.98 Current children cumulated vsize (KiB) 2159660 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 11544 /proc/meminfo: memFree=22265204/32873648 swapFree=6864/6864 [pid=11489] ppid=11487 vsize=2231628 CPUtime=1721.97 cores=1,3,5,7 /proc/11489/stat : 11489 (pbscip.linux.x8) R 11487 11489 7869 0 -1 4202496 559174 0 0 0 172089 108 0 0 20 0 1 0 336165219 2285187072 549706 33554432000 4194304 8395647 140735384356192 140735384351624 6028175 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/11489/statm: 557907 549706 632 1026 0 556877 0 Current children cumulated CPU time (s) 1721.97 Current children cumulated vsize (KiB) 2231628 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 11544 /proc/meminfo: memFree=22149856/32873648 swapFree=6864/6864 [pid=11489] ppid=11487 vsize=2282296 CPUtime=1781.97 cores=1,3,5,7 /proc/11489/stat : 11489 (pbscip.linux.x8) R 11487 11489 7869 0 -1 4202496 572271 0 0 0 178086 111 0 0 20 0 1 0 336165219 2337071104 562803 33554432000 4194304 8395647 140735384356192 140735384351592 4693065 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/11489/statm: 570574 562803 632 1026 0 569544 0 Current children cumulated CPU time (s) 1781.97 Current children cumulated vsize (KiB) 2282296 Solver just ended. Dumping a history of the last processes samples [startup+1785.6 s] /proc/loadavg: 2.00 2.00 2.00 3/177 11544 /proc/meminfo: memFree=22146508/32873648 swapFree=6864/6864 [pid=11489] ppid=11487 vsize=2284876 CPUtime=1785.27 cores=1,3,5,7 /proc/11489/stat : 11489 (pbscip.linux.x8) R 11487 11489 7869 0 -1 4202496 572931 0 0 0 178416 111 0 0 20 0 1 0 336165219 2339713024 563463 33554432000 4194304 8395647 140735384356192 140735384351592 5614780 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/11489/statm: 571219 563463 632 1026 0 570189 0 Current children cumulated CPU time (s) 1785.27 Current children cumulated vsize (KiB) 2284876 [startup+1788.8 s] /proc/loadavg: 2.00 2.00 2.00 3/177 11544 /proc/meminfo: memFree=22141176/32873648 swapFree=6864/6864 [pid=11489] ppid=11487 vsize=2286116 CPUtime=1788.47 cores=1,3,5,7 /proc/11489/stat : 11489 (pbscip.linux.x8) R 11487 11489 7869 0 -1 4202496 573248 0 0 0 178736 111 0 0 20 0 1 0 336165219 2340982784 563780 33554432000 4194304 8395647 140735384356192 140735384351624 4447943 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/11489/statm: 571529 563780 632 1026 0 570499 0 Current children cumulated CPU time (s) 1788.47 Current children cumulated vsize (KiB) 2286116 [startup+1790.4 s] /proc/loadavg: 2.00 2.00 2.00 3/177 11544 /proc/meminfo: memFree=22138572/32873648 swapFree=6864/6864 [pid=11489] ppid=11487 vsize=2327144 CPUtime=1790.07 cores=1,3,5,7 /proc/11489/stat : 11489 (pbscip.linux.x8) R 11487 11489 7869 0 -1 4202496 582400 0 0 0 178894 113 0 0 20 0 1 0 336165219 2382995456 573377 33554432000 4194304 8395647 140735384356192 140735384351592 6345229 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/11489/statm: 581786 573377 633 1026 0 580756 0 Current children cumulated CPU time (s) 1790.07 Current children cumulated vsize (KiB) 2327144 [startup+1791.2 s] /proc/loadavg: 2.00 2.00 2.00 3/177 11544 /proc/meminfo: memFree=22099248/32873648 swapFree=6864/6864 [pid=11489] ppid=11487 vsize=2327144 CPUtime=1790.87 cores=1,3,5,7 /proc/11489/stat : 11489 (pbscip.linux.x8) R 11487 11489 7869 0 -1 4202496 582400 0 0 0 178974 113 0 0 20 0 1 0 336165219 2382995456 573377 33554432000 4194304 8395647 140735384356192 140735384354504 4287401 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/11489/statm: 581786 573377 633 1026 0 580756 0 Current children cumulated CPU time (s) 1790.87 Current children cumulated vsize (KiB) 2327144 [startup+1791.6 s] /proc/loadavg: 2.00 2.00 2.00 3/177 11544 /proc/meminfo: memFree=22099248/32873648 swapFree=6864/6864 [pid=11489] ppid=11487 vsize=2327144 CPUtime=1791.27 cores=1,3,5,7 /proc/11489/stat : 11489 (pbscip.linux.x8) R 11487 11489 7869 0 -1 4202496 582400 0 0 0 179014 113 0 0 20 0 1 0 336165219 2382995456 573377 33554432000 4194304 8395647 140735384356192 140735384354504 4214579 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/11489/statm: 581786 573377 633 1026 0 580756 0 Current children cumulated CPU time (s) 1791.27 Current children cumulated vsize (KiB) 2327144 [startup+1791.7 s] /proc/loadavg: 2.00 2.00 2.00 3/177 11544 /proc/meminfo: memFree=22099248/32873648 swapFree=6864/6864 [pid=11489] ppid=11487 vsize=2211940 CPUtime=1791.36 cores=1,3,5,7 /proc/11489/stat : 11489 (pbscip.linux.x8) R 11487 11489 7869 0 -1 4202496 582400 0 0 0 179023 113 0 0 20 0 1 0 336165219 2265026560 550451 33554432000 4194304 8395647 140735384356192 140735384354504 7435351 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/11489/statm: 552985 550451 633 1026 0 551955 0 Current children cumulated CPU time (s) 1791.36 Current children cumulated vsize (KiB) 2211940 Child status: 0 Real time (s): 1791.79 CPU time (s): 1791.47 CPU user time (s): 1790.25 CPU system time (s): 1.22181 CPU usage (%): 99.9819 Max. virtual memory (cumulated for all children) (KiB): 2327144 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1790.25 system time used= 1.22181 maximum resident set size= 2297236 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 582403 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= 84 involuntary context switches= 1859 runsolver used 2.58661 second user time and 7.19791 second system time The end
Begin job on node125 at 2012-06-03 07:13:18 IDJOB=3734668 IDBENCH=2889 IDSOLVER=2326 FILE ID=node125/3734668-1338700398 RUNJOBID= node125-1338678622-7889 PBS_JOBID= 14636688 Free space on /tmp= 70424 MiB SOLVER NAME= PB10: SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-C499.b.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3734668-1338700398/watcher-3734668-1338700398 -o /tmp/evaluation-result-3734668-1338700398/solver-3734668-1338700398 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3734668-1338700398.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 0b80319f4195f1e1329c2c4b63b416b0 RANDOM SEED=965535187 node125.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.373 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.373 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.373 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.373 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.373 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.373 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5438.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.373 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.373 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 26214360 kB Buffers: 605392 kB Cached: 5050800 kB SwapCached: 2308 kB Active: 2590012 kB Inactive: 3163268 kB Active(anon): 88456 kB Inactive(anon): 9240 kB Active(file): 2501556 kB Inactive(file): 3154028 kB Unevictable: 6864 kB Mlocked: 6864 kB SwapTotal: 67108856 kB SwapFree: 67102524 kB Dirty: 30580 kB Writeback: 44 kB AnonPages: 100020 kB Mapped: 16744 kB Shmem: 96 kB Slab: 767304 kB SReclaimable: 210888 kB SUnreclaim: 556416 kB KernelStack: 1472 kB PageTables: 4276 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 213188 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 70412 MiB End job on node125 at 2012-06-03 07:43:10