Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | SAT (TO) | 26 | 1800.09 | 1800.78 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_030_area_delay.opb |
| MD5SUM | 55bd571d186b9003e67d2301a4d2bce5 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 25 |
| Best CPU time to get the best result obtained on this benchmark | 2.94955 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 25 |
| Optimality of the best value was proved | YES |
| Number of variables | 4666 |
| Total number of constraints | 12693 |
| Number of constraints which are clauses | 12693 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 63 |
| Number of terms in the objective function | 2273 |
| 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 | 2273 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 2273 |
| Number of bits of the biggest sum of numbers | 12 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2666787-1276632340.opb>
0.19/0.24 c original problem has 4666 variables (4666 bin, 0 int, 0 impl, 0 cont) and 12693 constraints
0.19/0.24 c problem read
0.19/0.24 c presolving settings loaded
0.29/0.32 c presolving:
0.39/0.44 c (round 1) 2379 del vars, 4585 del conss, 164 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20266 impls, 0 clqs
0.39/0.45 c (round 2) 2381 del vars, 4876 del conss, 164 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20266 impls, 0 clqs
0.49/0.55 c (round 3) 2381 del vars, 4876 del conss, 164 chg bounds, 0 chg sides, 0 chg coeffs, 7791 upgd conss, 20266 impls, 0 clqs
0.49/0.58 c (round 4) 2381 del vars, 4876 del conss, 164 chg bounds, 0 chg sides, 0 chg coeffs, 7817 upgd conss, 20266 impls, 0 clqs
0.59/0.67 c (0.4s) probing: 101/2285 (4.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.59/0.67 c (0.4s) probing aborted: 100/100 successive totally useless probings
0.59/0.67 c presolving (5 rounds):
0.59/0.67 c 2381 deleted vars, 4876 deleted constraints, 164 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.59/0.67 c 20266 implications, 0 cliques
0.59/0.67 c presolved problem has 2285 variables (2285 bin, 0 int, 0 impl, 0 cont) and 7817 constraints
0.59/0.67 c 7817 constraints of type <logicor>
0.59/0.67 c transformed objective value is always integral (scale: 1)
0.59/0.67 c Presolving Time: 0.32
0.59/0.67 c - non default parameters ----------------------------------------------------------------------
0.59/0.67 c # SCIP version 1.2.1.2
0.59/0.67 c
0.59/0.67 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.59/0.67 c # [type: int, range: [-1,2147483647], default: -1]
0.59/0.67 c conflict/interconss = 0
0.59/0.67 c
0.59/0.67 c # should binary conflicts be preferred?
0.59/0.67 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.67 c conflict/preferbinary = TRUE
0.59/0.67 c
0.59/0.67 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.59/0.67 c # [type: int, range: [-1,2147483647], default: 0]
0.59/0.67 c constraints/agelimit = 1
0.59/0.67 c
0.59/0.67 c # should enforcement of pseudo solution be disabled?
0.59/0.67 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.67 c constraints/disableenfops = TRUE
0.59/0.67 c
0.59/0.67 c # frequency for displaying node information lines
0.59/0.67 c # [type: int, range: [-1,2147483647], default: 100]
0.59/0.67 c display/freq = 10000
0.59/0.67 c
0.59/0.67 c # maximal time in seconds to run
0.59/0.67 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.67 c limits/time = 1799.77
0.59/0.67 c
0.59/0.67 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.59/0.67 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.67 c limits/memory = 1620
0.59/0.67 c
0.59/0.67 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.59/0.67 c # [type: int, range: [-1,2147483647], default: 1]
0.59/0.67 c lp/solvefreq = 0
0.59/0.67 c
0.59/0.67 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
0.59/0.67 c # [type: char, range: {lafpsqd}, default: l]
0.59/0.67 c lp/pricing = a
0.59/0.67 c
0.59/0.67 c # should presolving try to simplify inequalities
0.59/0.67 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.67 c constraints/linear/simplifyinequalities = TRUE
0.59/0.67 c
0.59/0.67 c # should presolving try to simplify knapsacks
0.59/0.67 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.67 c constraints/knapsack/simplifyinequalities = TRUE
0.59/0.67 c
0.59/0.67 c # priority of node selection rule <dfs> in standard mode
0.59/0.67 c # [type: int, range: [-536870912,536870911], default: 0]
0.59/0.67 c nodeselection/dfs/stdpriority = 1000000
0.59/0.67 c
0.59/0.67 c -----------------------------------------------------------------------------------------------
0.59/0.67 c start solving
0.59/0.67 c
0.79/0.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.79/0.85 c 0.5s| 1 | 0 | 674 | - | 20M| 0 | 101 |2285 |7817 |2285 |7817 | 0 | 0 | 0 | 2.360870e+01 | -- | Inf
0.79/0.86 o 38
0.79/0.86 c R 0.5s| 1 | 0 | 674 | - | 20M| 0 | 101 |2285 |7817 |2285 |7817 | 0 | 0 | 0 | 2.360870e+01 | 3.800000e+01 | 60.96%
1.59/1.65 c 1.3s| 1 | 0 | 766 | - | 21M| 0 | 90 |2285 |7817 |2285 |7821 | 4 | 0 | 0 | 2.430000e+01 | 3.800000e+01 | 56.38%
1.59/1.66 o 36
1.59/1.66 c R 1.3s| 1 | 0 | 766 | - | 21M| 0 | 90 |2285 |7817 |2285 |7821 | 4 | 0 | 0 | 2.430000e+01 | 3.600000e+01 | 48.15%
2.39/2.44 c 2.1s| 1 | 0 | 869 | - | 21M| 0 | 126 |2285 |7817 |2285 |7823 | 6 | 0 | 0 | 2.438507e+01 | 3.600000e+01 | 47.63%
3.39/3.42 c 3.0s| 1 | 0 | 943 | - | 22M| 0 | 124 |2285 |7817 |2285 |7826 | 9 | 0 | 0 | 2.441795e+01 | 3.600000e+01 | 47.43%
5.29/5.33 c 4.9s| 1 | 0 | 1049 | - | 23M| 0 | 178 |2285 |7817 |2285 |7830 | 13 | 0 | 0 | 2.500000e+01 | 3.600000e+01 | 44.00%
7.79/7.89 c 7.5s| 1 | 0 | 1156 | - | 23M| 0 | 217 |2285 |7817 |2285 |7834 | 17 | 0 | 0 | 2.500000e+01 | 3.600000e+01 | 44.00%
10.09/10.15 c 9.7s| 1 | 0 | 1208 | - | 24M| 0 | 217 |2285 |7817 |2285 |7838 | 21 | 0 | 0 | 2.500000e+01 | 3.600000e+01 | 44.00%
12.68/12.72 c 12.2s| 1 | 0 | 1276 | - | 24M| 0 | 225 |2285 |7817 |2285 |7843 | 26 | 0 | 0 | 2.500000e+01 | 3.600000e+01 | 44.00%
15.58/15.66 c 15.2s| 1 | 0 | 1410 | - | 24M| 0 | 245 |2285 |7817 |2285 |7848 | 31 | 0 | 0 | 2.500000e+01 | 3.600000e+01 | 44.00%
18.49/18.57 c 18.1s| 1 | 0 | 1555 | - | 24M| 0 | 196 |2285 |7817 |2285 |7852 | 35 | 0 | 0 | 2.500000e+01 | 3.600000e+01 | 44.00%
19.38/19.44 o 26
19.38/19.44 c F18.9s| 1 | 0 | 2267 | - | 24M| 0 | 0 |2285 |7817 |2285 |7852 | 35 | 0 | 0 | 2.500000e+01 | 2.600000e+01 | 4.00%
20.19/20.24 c 19.6s| 1 | 0 | 2267 | - | 24M| 0 | 196 |2285 |7817 |2285 |7852 | 35 | 0 | 0 | 2.500000e+01 | 2.600000e+01 | 4.00%
23.39/23.49 c 22.9s| 1 | 0 | 2279 | - | 23M| 0 | 202 |2285 |6413 |2285 |2389 | 40 | 0 | 0 | 2.500000e+01 | 2.600000e+01 | 4.00%
32.58/32.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
32.58/32.60 c 31.9s| 1 | 0 | 2279 | - | 23M| 0 | - |2285 |6413 |2285 |2389 | 40 | 0 | 35 | 2.500000e+01 | 2.600000e+01 | 4.00%
32.58/32.60 c (run 1, node 1) restarting after 1379 global fixings of integer variables
32.58/32.60 c
32.58/32.61 c (restart) converted 40 cuts from the global cut pool into linear constraints
32.58/32.61 c
32.58/32.63 c presolving:
32.58/32.65 c (round 1) 1390 del vars, 4132 del conss, 3 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20266 impls, 24 clqs
32.58/32.66 c (round 2) 1390 del vars, 4143 del conss, 3 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 20266 impls, 24 clqs
32.58/32.68 c (round 3) 1390 del vars, 4145 del conss, 3 chg bounds, 1 chg sides, 0 chg coeffs, 37 upgd conss, 20266 impls, 24 clqs
32.78/32.85 c (round 4) 1390 del vars, 4145 del conss, 3 chg bounds, 1 chg sides, 6 chg coeffs, 37 upgd conss, 20266 impls, 24 clqs
32.88/32.91 c (round 5) 1390 del vars, 4145 del conss, 3 chg bounds, 1 chg sides, 9 chg coeffs, 37 upgd conss, 20266 impls, 24 clqs
32.88/32.95 c presolving (6 rounds):
32.88/32.95 c 1390 deleted vars, 4145 deleted constraints, 3 tightened bounds, 0 added holes, 1 changed sides, 11 changed coefficients
32.88/32.95 c 20266 implications, 24 cliques
32.88/32.95 c presolved problem has 895 variables (895 bin, 0 int, 0 impl, 0 cont) and 2308 constraints
32.88/32.95 c 11 constraints of type <knapsack>
32.88/32.95 c 24 constraints of type <setppc>
32.88/32.95 c 2273 constraints of type <logicor>
32.88/32.95 c transformed objective value is always integral (scale: 1)
32.88/32.95 c Presolving Time: 0.63
32.88/32.95 c
33.18/33.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
33.18/33.25 c 32.5s| 1 | 0 | 3443 | - | 17M| 0 | 94 | 895 |2308 | 895 |2308 | 0 | 0 | 35 | 2.500000e+01 | 2.600000e+01 | 4.00%
34.28/34.35 c 33.6s| 1 | 0 | 3616 | - | 18M| 0 | 110 | 895 |2308 | 895 |2293 | 3 | 0 | 35 | 2.500000e+01 | 2.600000e+01 | 4.00%
36.38/36.42 c 35.6s| 1 | 0 | 3656 | - | 18M| 0 | 190 | 895 |2307 | 895 |2293 | 3 | 0 | 46 | 2.500000e+01 | 2.600000e+01 | 4.00%
37.17/37.21 c 36.4s| 1 | 0 | 3669 | - | 18M| 0 | 180 | 895 |2307 | 895 |2293 | 3 | 0 | 51 | 2.500000e+01 | 2.600000e+01 | 4.00%
38.08/38.18 c 37.4s| 1 | 0 | 3678 | - | 18M| 0 | 150 | 895 |2305 | 895 |2293 | 3 | 0 | 57 | 2.500000e+01 | 2.600000e+01 | 4.00%
40.27/40.37 c 39.5s| 1 | 0 | 3749 | - | 18M| 0 | 189 | 895 |2305 | 895 |2293 | 3 | 0 | 70 | 2.500000e+01 | 2.600000e+01 | 4.00%
41.37/41.45 c 40.6s| 1 | 0 | 3800 | - | 18M| 0 | 195 | 895 |2305 | 895 |2293 | 3 | 0 | 75 | 2.500000e+01 | 2.600000e+01 | 4.00%
42.67/42.71 c 41.8s| 1 | 0 | 3840 | - | 18M| 0 | 200 | 895 |2305 | 895 |2293 | 3 | 0 | 82 | 2.500000e+01 | 2.600000e+01 | 4.00%
43.57/43.69 c 42.8s| 1 | 0 | 3851 | - | 18M| 0 | 187 | 895 |2305 | 895 |2293 | 3 | 0 | 87 | 2.500000e+01 | 2.600000e+01 | 4.00%
44.68/44.74 c 43.8s| 1 | 0 | 3887 | - | 18M| 0 | 157 | 895 |2305 | 895 |2293 | 3 | 0 | 93 | 2.500000e+01 | 2.600000e+01 | 4.00%
46.47/46.55 c 45.6s| 1 | 0 | 3912 | - | 18M| 0 | 136 | 895 |2305 | 895 |2293 | 3 | 0 | 104 | 2.500000e+01 | 2.600000e+01 | 4.00%
47.47/47.54 c 46.6s| 1 | 0 | 3942 | - | 18M| 0 | 166 | 895 |2305 | 895 |2293 | 3 | 0 | 113 | 2.500000e+01 | 2.600000e+01 | 4.00%
48.17/48.24 c 47.3s| 1 | 0 | 3952 | - | 18M| 0 | 152 | 895 |2305 | 895 |2293 | 3 | 0 | 118 | 2.500000e+01 | 2.600000e+01 | 4.00%
48.67/48.77 c 47.8s| 1 | 0 | 3966 | - | 18M| 0 | 129 | 895 |2305 | 895 |2293 | 3 | 0 | 123 | 2.500000e+01 | 2.600000e+01 | 4.00%
49.37/49.44 c 48.4s| 1 | 0 | 3972 | - | 18M| 0 | 141 | 895 |2305 | 895 |2293 | 3 | 0 | 128 | 2.500000e+01 | 2.600000e+01 | 4.00%
50.27/50.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
50.27/50.34 c 49.3s| 1 | 0 | 3977 | - | 18M| 0 | 136 | 895 |2305 | 895 |2275 | 3 | 0 | 134 | 2.500000e+01 | 2.600000e+01 | 4.00%
52.17/52.24 c 51.2s| 1 | 0 | 3987 | - | 18M| 0 | 120 | 895 |2305 | 895 |2275 | 3 | 0 | 154 | 2.500000e+01 | 2.600000e+01 | 4.00%
52.87/52.94 c 51.9s| 1 | 0 | 4037 | - | 18M| 0 | 119 | 895 |2304 | 895 |2275 | 3 | 0 | 160 | 2.500000e+01 | 2.600000e+01 | 4.00%
53.57/53.60 c 52.5s| 1 | 0 | 4069 | - | 18M| 0 | 138 | 895 |2302 | 895 |2275 | 3 | 0 | 166 | 2.500000e+01 | 2.600000e+01 | 4.00%
54.07/54.12 c 53.0s| 1 | 0 | 4084 | - | 18M| 0 | 151 | 895 |2302 | 895 |2275 | 3 | 0 | 171 | 2.500000e+01 | 2.600000e+01 | 4.00%
54.47/54.53 c 53.5s| 1 | 0 | 4110 | - | 18M| 0 | 134 | 895 |2302 | 895 |2275 | 3 | 0 | 176 | 2.500000e+01 | 2.600000e+01 | 4.00%
54.98/55.05 c 54.0s| 1 | 0 | 4123 | - | 18M| 0 | 121 | 895 |2302 | 895 |2275 | 3 | 0 | 181 | 2.500000e+01 | 2.600000e+01 | 4.00%
55.57/55.69 c 54.6s| 1 | 0 | 4172 | - | 18M| 0 | 93 | 895 |2302 | 895 |2275 | 3 | 0 | 187 | 2.500000e+01 | 2.600000e+01 | 4.00%
56.17/56.28 c 55.2s| 1 | 0 | 4267 | - | 18M| 0 | 102 | 895 |2302 | 895 |2275 | 3 | 0 | 193 | 2.500000e+01 | 2.600000e+01 | 4.00%
56.77/56.87 c 55.8s| 1 | 0 | 4325 | - | 18M| 0 | 72 | 895 |2302 | 895 |2275 | 3 | 0 | 199 | 2.500000e+01 | 2.600000e+01 | 4.00%
58.06/58.14 c 57.0s| 1 | 0 | 4435 | - | 18M| 0 | 77 | 895 |2293 | 895 |2275 | 3 | 0 | 217 | 2.500000e+01 | 2.600000e+01 | 4.00%
58.57/58.62 c 57.5s| 1 | 0 | 4458 | - | 18M| 0 | 100 | 895 |2293 | 895 |2275 | 3 | 0 | 222 | 2.500000e+01 | 2.600000e+01 | 4.00%
58.87/58.93 c 57.8s| 1 | 0 | 4471 | - | 18M| 0 | 94 | 895 |2291 | 895 |2275 | 3 | 0 | 227 | 2.500000e+01 | 2.600000e+01 | 4.00%
59.27/59.33 c 58.2s| 1 | 0 | 4485 | - | 18M| 0 | 91 | 895 |2291 | 895 |2275 | 3 | 0 | 232 | 2.500000e+01 | 2.600000e+01 | 4.00%
59.67/59.78 c 58.6s| 1 | 0 | 4539 | - | 18M| 0 | 112 | 895 |2291 | 895 |2275 | 3 | 0 | 238 | 2.500000e+01 | 2.600000e+01 | 4.00%
60.06/60.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
60.06/60.16 c 59.0s| 1 | 0 | 4563 | - | 18M| 0 | 73 | 895 |2291 | 895 |2275 | 3 | 0 | 244 | 2.500000e+01 | 2.600000e+01 | 4.00%
61.17/61.27 c 60.1s| 1 | 0 | 4689 | - | 18M| 0 | 0 | 895 |2261 | 895 |2275 | 3 | 0 | 259 | 2.500000e+01 | 2.600000e+01 | 4.00%
61.17/61.27 c (run 2, node 1) restarting after 179 global fixings of integer variables
61.17/61.27 c
61.17/61.27 c (restart) converted 3 cuts from the global cut pool into linear constraints
61.17/61.27 c
61.17/61.28 c presolving:
61.37/61.40 c (round 1) 182 del vars, 719 del conss, 0 chg bounds, 0 chg sides, 10 chg coeffs, 3 upgd conss, 20318 impls, 3 clqs
61.47/61.55 c (round 2) 182 del vars, 721 del conss, 0 chg bounds, 0 chg sides, 22 chg coeffs, 3 upgd conss, 20318 impls, 3 clqs
61.57/61.64 c (round 3) 182 del vars, 721 del conss, 0 chg bounds, 0 chg sides, 35 chg coeffs, 3 upgd conss, 20318 impls, 3 clqs
61.67/61.71 c (round 4) 182 del vars, 721 del conss, 0 chg bounds, 0 chg sides, 41 chg coeffs, 3 upgd conss, 20318 impls, 3 clqs
61.67/61.78 c (round 5) 182 del vars, 721 del conss, 0 chg bounds, 0 chg sides, 45 chg coeffs, 3 upgd conss, 20318 impls, 3 clqs
61.76/61.83 c (round 6) 182 del vars, 721 del conss, 0 chg bounds, 0 chg sides, 48 chg coeffs, 3 upgd conss, 20318 impls, 3 clqs
61.76/61.88 c presolving (7 rounds):
61.76/61.88 c 182 deleted vars, 721 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 49 changed coefficients
61.76/61.88 c 20318 implications, 3 cliques
61.76/61.88 c presolved problem has 713 variables (713 bin, 0 int, 0 impl, 0 cont) and 1543 constraints
61.76/61.88 c 12 constraints of type <knapsack>
61.76/61.88 c 14 constraints of type <setppc>
61.76/61.88 c 1517 constraints of type <logicor>
61.76/61.88 c transformed objective value is always integral (scale: 1)
61.76/61.88 c Presolving Time: 1.20
61.76/61.88 c
61.87/61.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
61.87/61.95 c 60.8s| 1 | 0 | 5083 | - | 17M| 0 | 0 | 713 |1543 | 713 |1537 | 0 | 0 | 259 | 2.500000e+01 | 2.600000e+01 | 4.00%
61.87/61.96 c 60.8s| 1 | 0 | 5083 | - | 17M| 0 | 0 | 713 |1421 | 713 |1273 | 0 | 0 | 259 | 2.500000e+01 | 2.600000e+01 | 4.00%
61.87/61.96 c (run 3, node 1) restarting after 118 global fixings of integer variables
61.87/61.96 c
61.87/61.96 c presolving:
61.97/62.06 c (round 1) 118 del vars, 180 del conss, 0 chg bounds, 0 chg sides, 1 chg coeffs, 0 upgd conss, 20338 impls, 2 clqs
61.97/62.09 c (round 2) 118 del vars, 180 del conss, 0 chg bounds, 0 chg sides, 2 chg coeffs, 0 upgd conss, 20338 impls, 2 clqs
62.06/62.12 c presolving (3 rounds):
62.06/62.12 c 118 deleted vars, 180 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 2 changed coefficients
62.06/62.12 c 20338 implications, 2 cliques
62.06/62.12 c presolved problem has 595 variables (595 bin, 0 int, 0 impl, 0 cont) and 1241 constraints
62.06/62.12 c 12 constraints of type <knapsack>
62.06/62.12 c 13 constraints of type <setppc>
62.06/62.12 c 1216 constraints of type <logicor>
62.06/62.12 c transformed objective value is always integral (scale: 1)
62.06/62.12 c Presolving Time: 1.35
62.06/62.12 c
62.06/62.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
62.06/62.17 c 61.0s| 1 | 0 | 5447 | - | 17M| 0 | 0 | 595 |1241 | 595 |1237 | 0 | 0 | 259 | 2.500000e+01 | 2.600000e+01 | 4.00%
62.06/62.18 c 61.0s| 1 | 0 | 5447 | - | 16M| 0 | 0 | 595 |1185 | 595 |1105 | 0 | 0 | 259 | 2.500000e+01 | 2.600000e+01 | 4.00%
62.06/62.18 c (run 4, node 1) restarting after 57 global fixings of integer variables
62.06/62.18 c
62.06/62.19 c presolving:
62.17/62.26 c (round 1) 58 del vars, 82 del conss, 0 chg bounds, 0 chg sides, 4 chg coeffs, 0 upgd conss, 20366 impls, 2 clqs
62.27/62.33 c (round 2) 58 del vars, 82 del conss, 0 chg bounds, 0 chg sides, 6 chg coeffs, 0 upgd conss, 20366 impls, 2 clqs
62.27/62.37 c (round 3) 58 del vars, 82 del conss, 0 chg bounds, 0 chg sides, 7 chg coeffs, 0 upgd conss, 20366 impls, 2 clqs
62.27/62.38 c (round 4) 58 del vars, 82 del conss, 0 chg bounds, 0 chg sides, 8 chg coeffs, 0 upgd conss, 20366 impls, 2 clqs
62.27/62.39 c (round 5) 58 del vars, 82 del conss, 0 chg bounds, 0 chg sides, 9 chg coeffs, 0 upgd conss, 20366 impls, 2 clqs
62.37/62.40 c (round 6) 58 del vars, 82 del conss, 0 chg bounds, 0 chg sides, 10 chg coeffs, 0 upgd conss, 20366 impls, 2 clqs
62.37/62.41 c (round 7) 58 del vars, 82 del conss, 0 chg bounds, 0 chg sides, 11 chg coeffs, 0 upgd conss, 20366 impls, 2 clqs
62.37/62.42 c presolving (8 rounds):
62.37/62.42 c 58 deleted vars, 82 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 11 changed coefficients
62.37/62.42 c 20366 implications, 2 cliques
62.37/62.42 c presolved problem has 537 variables (537 bin, 0 int, 0 impl, 0 cont) and 1103 constraints
62.37/62.42 c 12 constraints of type <knapsack>
62.37/62.42 c 13 constraints of type <setppc>
62.37/62.42 c 1078 constraints of type <logicor>
62.37/62.42 c transformed objective value is always integral (scale: 1)
62.37/62.42 c Presolving Time: 1.57
62.37/62.43 c
62.37/62.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
62.37/62.48 c 61.3s| 1 | 0 | 5800 | - | 16M| 0 | 41 | 537 |1103 | 537 |1097 | 0 | 0 | 259 | 2.500000e+01 | 2.600000e+01 | 4.00%
62.67/62.71 c 61.5s| 1 | 0 | 5824 | - | 16M| 0 | 74 | 537 |1103 | 537 |1098 | 1 | 0 | 259 | 2.500000e+01 | 2.600000e+01 | 4.00%
62.76/62.86 c 61.6s| 1 | 0 | 5839 | - | 16M| 0 | 78 | 537 |1103 | 537 |1098 | 1 | 0 | 279 | 2.500000e+01 | 2.600000e+01 | 4.00%
62.86/62.93 c 61.7s| 1 | 0 | 5857 | - | 16M| 0 | 68 | 537 |1103 | 537 |1098 | 1 | 0 | 286 | 2.500000e+01 | 2.600000e+01 | 4.00%
62.86/62.98 c 61.8s| 1 | 0 | 5864 | - | 16M| 0 | 68 | 537 |1102 | 537 |1098 | 1 | 0 | 292 | 2.500000e+01 | 2.600000e+01 | 4.00%
62.97/63.09 c 61.9s| 1 | 0 | 5873 | - | 16M| 0 | 80 | 537 |1084 | 537 |1098 | 1 | 0 | 302 | 2.500000e+01 | 2.600000e+01 | 4.00%
63.07/63.14 c 61.9s| 1 | 0 | 5877 | - | 16M| 0 | 54 | 537 |1084 | 537 |1098 | 1 | 0 | 308 | 2.500000e+01 | 2.600000e+01 | 4.00%
63.17/63.27 c 62.0s| 1 | 0 | 5890 | - | 16M| 0 | 51 | 537 |1084 | 537 |1098 | 1 | 0 | 325 | 2.500000e+01 | 2.600000e+01 | 4.00%
63.37/63.49 c 62.3s| 1 | 0 | 5892 | - | 16M| 0 | 37 | 537 |1073 | 537 |1098 | 1 | 0 | 340 | 2.500000e+01 | 2.600000e+01 | 4.00%
63.47/63.53 c 62.3s| 1 | 0 | 5907 | - | 16M| 0 | 53 | 537 |1056 | 537 |1098 | 1 | 0 | 344 | 2.500000e+01 | 2.600000e+01 | 4.00%
63.57/63.63 c 62.4s| 1 | 0 | 5919 | - | 16M| 0 | 51 | 537 |1048 | 537 |1098 | 1 | 0 | 349 | 2.500000e+01 | 2.600000e+01 | 4.00%
63.67/63.70 c 62.5s| 1 | 0 | 5929 | - | 16M| 0 | 49 | 537 |1035 | 537 |1082 | 1 | 0 | 357 | 2.500000e+01 | 2.600000e+01 | 4.00%
63.67/63.72 c 62.5s| 1 | 0 | 5931 | - | 16M| 0 | 49 | 537 |1025 | 537 |1082 | 1 | 0 | 359 | 2.500000e+01 | 2.600000e+01 | 4.00%
63.67/63.73 c 62.5s| 1 | 0 | 5933 | - | 16M| 0 | 52 | 537 |1019 | 537 |1082 | 1 | 0 | 361 | 2.500000e+01 | 2.600000e+01 | 4.00%
63.67/63.77 c 62.5s| 1 | 0 | 5935 | - | 16M| 0 | 49 | 537 |1013 | 537 |1082 | 1 | 0 | 365 | 2.500000e+01 | 2.600000e+01 | 4.00%
63.67/63.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
63.67/63.78 c 62.5s| 1 | 0 | 5938 | - | 16M| 0 | 50 | 537 |1004 | 537 |1082 | 1 | 0 | 367 | 2.500000e+01 | 2.600000e+01 | 4.00%
63.77/63.81 c 62.6s| 1 | 0 | 5943 | - | 16M| 0 | 49 | 537 | 998 | 537 |1082 | 1 | 0 | 370 | 2.500000e+01 | 2.600000e+01 | 4.00%
63.77/63.83 c 62.6s| 1 | 0 | 5944 | - | 16M| 0 | 49 | 537 | 993 | 537 |1082 | 1 | 0 | 372 | 2.500000e+01 | 2.600000e+01 | 4.00%
63.77/63.85 c 62.6s| 1 | 0 | 5945 | - | 16M| 0 | 34 | 537 | 986 | 537 |1082 | 1 | 0 | 374 | 2.500000e+01 | 2.600000e+01 | 4.00%
63.77/63.85 c 62.6s| 1 | 2 | 5945 | - | 16M| 0 | 34 | 537 | 986 | 537 |1082 | 1 | 0 | 374 | 2.500000e+01 | 2.600000e+01 | 4.00%
80.17/80.21 c 78.6s| 10000 | 242 | 5945 | 0.1 | 17M| 287 | - | 537 |1001 | 0 | 0 | 1 |6600 | 374 | 2.500000e+01 | 2.600000e+01 | 4.00%
99.75/99.86 c 97.9s| 20000 | 230 | 5945 | 0.0 | 17M| 287 | - | 537 | 999 | 0 | 0 | 1 | 13k| 374 | 2.500000e+01 | 2.600000e+01 | 4.00%
120.05/120.11 c 118s| 30000 | 222 | 5945 | 0.0 | 17M| 287 | - | 537 |1035 | 0 | 0 | 1 | 19k| 374 | 2.500000e+01 | 2.600000e+01 | 4.00%
140.33/140.46 c 138s| 40000 | 221 | 5945 | 0.0 | 17M| 287 | - | 537 | 986 | 0 | 0 | 1 | 25k| 374 | 2.500000e+01 | 2.600000e+01 | 4.00%
161.42/161.55 c 158s| 50000 | 222 | 5945 | 0.0 | 17M| 287 | - | 537 |1010 | 0 | 0 | 1 | 32k| 374 | 2.500000e+01 | 2.600000e+01 | 4.00%
183.63/183.78 c 180s| 60000 | 220 | 5945 | 0.0 | 17M| 287 | - | 537 |1012 | 0 | 0 | 1 | 38k| 374 | 2.500000e+01 | 2.600000e+01 | 4.00%
204.42/204.52 c 201s| 70000 | 220 | 5945 | 0.0 | 17M| 287 | - | 537 | 987 | 0 | 0 | 1 | 45k| 374 | 2.500000e+01 | 2.600000e+01 | 4.00%
224.91/225.03 c 221s| 80000 | 220 | 5945 | 0.0 | 17M| 287 | - | 537 |1018 | 0 | 0 | 1 | 51k| 374 | 2.500000e+01 | 2.600000e+01 | 4.00%
245.11/245.20 c 241s| 90000 | 222 | 5945 | 0.0 | 17M| 287 | - | 537 |1024 | 0 | 0 | 1 | 58k| 374 | 2.500000e+01 | 2.600000e+01 | 4.00%
264.30/264.49 c 260s|100000 | 227 | 5945 | 0.0 | 17M| 287 | - | 537 |1015 | 0 | 0 | 1 | 65k| 374 | 2.500000e+01 | 2.600000e+01 | 4.00%
284.48/284.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
284.48/284.66 c 279s|110000 | 218 | 5945 | 0.0 | 17M| 287 | - | 537 |1010 | 0 | 0 | 1 | 71k| 374 | 2.500000e+01 | 2.600000e+01 | 4.00%
304.48/304.69 c 299s|120000 | 219 | 5945 | 0.0 | 17M| 287 | - | 537 | 996 | 0 | 0 | 1 | 77k| 374 | 2.500000e+01 | 2.600000e+01 | 4.00%
324.57/324.74 c 319s|130000 | 217 | 5945 | 0.0 | 17M| 287 | - | 537 |1011 | 0 | 0 | 1 | 84k| 374 | 2.500000e+01 | 2.600000e+01 | 4.00%
344.86/345.06 c 339s|140000 | 222 | 5945 | 0.0 | 17M| 287 | - | 537 |1013 | 0 | 0 | 1 | 90k| 374 | 2.500000e+01 | 2.600000e+01 | 4.00%
364.75/364.98 c 358s|150000 | 222 | 5945 | 0.0 | 17M| 287 | - | 537 |1009 | 0 | 0 | 1 | 97k| 374 | 2.500000e+01 | 2.600000e+01 | 4.00%
384.44/384.62 c 377s|160000 | 220 | 5945 | 0.0 | 17M| 287 | - | 537 |1003 | 0 | 0 | 1 | 103k| 374 | 2.500000e+01 | 2.600000e+01 | 4.00%
403.93/404.20 c 397s|170000 | 228 | 5945 | 0.0 | 17M| 287 | - | 537 | 992 | 0 | 0 | 1 | 109k| 374 | 2.500000e+01 | 2.600000e+01 | 4.00%
424.13/424.30 c 416s|180000 | 222 | 5945 | 0.0 | 17M| 287 | - | 537 | 987 | 0 | 0 | 1 | 115k| 374 | 2.500000e+01 | 2.600000e+01 | 4.00%
446.22/446.46 c 438s|190000 | 217 | 5945 | 0.0 | 17M| 287 | - | 537 |1031 | 0 | 0 | 1 | 121k| 374 | 2.500000e+01 | 2.600000e+01 | 4.00%
468.11/468.35 c 460s|200000 | 226 | 5945 | 0.0 | 17M| 287 | - | 537 | 986 | 0 | 0 | 1 | 128k| 374 | 2.500000e+01 | 2.600000e+01 | 4.00%
488.40/488.65 c 480s|210000 | 217 | 5945 | 0.0 | 17M| 287 | - | 537 | 991 | 0 | 0 | 1 | 134k| 374 | 2.500000e+01 | 2.600000e+01 | 4.00%
508.29/508.56 c 499s|220000 | 223 | 5945 | 0.0 | 17M| 287 | - | 537 | 995 | 0 | 0 | 1 | 140k| 374 | 2.500000e+01 | 2.600000e+01 | 4.00%
529.38/529.60 c 520s|230000 | 215 | 5945 | 0.0 | 17M| 287 | - | 537 | 986 | 0 | 0 | 1 | 146k| 374 | 2.500000e+01 | 2.600000e+01 | 4.00%
550.57/550.85 c 541s|240000 | 220 | 5945 | 0.0 | 17M| 287 | - | 537 | 998 | 0 | 0 | 1 | 153k| 374 | 2.500000e+01 | 2.600000e+01 | 4.00%
572.06/572.36 c 562s|250000 | 214 | 5945 | 0.0 | 17M| 287 | - | 537 |1002 | 0 | 0 | 1 | 159k| 374 | 2.500000e+01 | 2.600000e+01 | 4.00%
592.86/593.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
592.86/593.15 c 582s|260000 | 225 | 5945 | 0.0 | 17M| 287 | - | 537 | 999 | 0 | 0 | 1 | 165k| 374 | 2.500000e+01 | 2.600000e+01 | 4.00%
613.05/613.32 c 602s|270000 | 217 | 5945 | 0.0 | 17M| 287 | - | 537 | 987 | 0 | 0 | 1 | 172k| 374 | 2.500000e+01 | 2.600000e+01 | 4.00%
635.25/635.59 c 624s|280000 | 220 | 5945 | 0.0 | 17M| 287 | - | 537 | 995 | 0 | 0 | 1 | 179k| 374 | 2.500000e+01 | 2.600000e+01 | 4.00%
655.93/656.28 c 644s|290000 | 221 | 5945 | 0.0 | 17M| 287 | - | 537 | 995 | 0 | 0 | 1 | 185k| 374 | 2.500000e+01 | 2.600000e+01 | 4.00%
676.33/676.69 c 664s|300000 | 217 | 5945 | 0.0 | 17M| 287 | - | 537 |1002 | 0 | 0 | 1 | 192k| 374 | 2.500000e+01 | 2.600000e+01 | 4.00%
697.12/697.43 c 685s|310000 | 216 | 5945 | 0.0 | 17M| 287 | - | 537 | 987 | 0 | 0 | 1 | 198k| 374 | 2.500000e+01 | 2.600000e+01 | 4.00%
718.31/718.69 c 706s|320000 | 220 | 5945 | 0.0 | 17M| 287 | - | 537 | 987 | 0 | 0 | 1 | 205k| 374 | 2.500000e+01 | 2.600000e+01 | 4.00%
739.91/740.27 c 727s|330000 | 213 | 5945 | 0.0 | 17M| 287 | - | 537 |1018 | 0 | 0 | 1 | 211k| 374 | 2.500000e+01 | 2.600000e+01 | 4.00%
761.19/761.57 c 748s|340000 | 211 | 5945 | 0.0 | 17M| 287 | - | 537 | 996 | 0 | 0 | 1 | 217k| 374 | 2.500000e+01 | 2.600000e+01 | 4.00%
782.39/782.73 c 769s|350000 | 217 | 5945 | 0.0 | 17M| 287 | - | 537 | 989 | 0 | 0 | 1 | 224k| 374 | 2.500000e+01 | 2.600000e+01 | 4.00%
804.88/805.26 c 791s|360000 | 211 | 5945 | 0.0 | 17M| 287 | - | 537 | 987 | 0 | 0 | 1 | 230k| 374 | 2.500000e+01 | 2.600000e+01 | 4.00%
826.97/827.37 c 812s|370000 | 217 | 5945 | 0.0 | 17M| 287 | - | 537 |1002 | 0 | 0 | 1 | 237k| 374 | 2.500000e+01 | 2.600000e+01 | 4.00%
849.46/849.89 c 835s|380000 | 216 | 5945 | 0.0 | 17M| 287 | - | 537 | 988 | 0 | 0 | 1 | 244k| 374 | 2.500000e+01 | 2.600000e+01 | 4.00%
870.25/870.67 c 855s|390000 | 214 | 5945 | 0.0 | 17M| 287 | - | 537 | 988 | 0 | 0 | 1 | 250k| 374 | 2.500000e+01 | 2.600000e+01 | 4.00%
892.15/892.59 c 877s|400000 | 221 | 5945 | 0.0 | 17M| 287 | - | 537 |1009 | 0 | 0 | 1 | 257k| 374 | 2.500000e+01 | 2.600000e+01 | 4.00%
913.64/914.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
913.64/914.05 c 898s|410000 | 217 | 5945 | 0.0 | 17M| 287 | - | 537 |1006 | 0 | 0 | 1 | 263k| 374 | 2.500000e+01 | 2.600000e+01 | 4.00%
933.74/934.13 c 917s|420000 | 210 | 5945 | 0.0 | 17M| 287 | - | 537 | 999 | 0 | 0 | 1 | 270k| 374 | 2.500000e+01 | 2.600000e+01 | 4.00%
954.33/954.77 c 938s|430000 | 209 | 5945 | 0.0 | 17M| 287 | - | 537 | 989 | 0 | 0 | 1 | 276k| 374 | 2.500000e+01 | 2.600000e+01 | 4.00%
977.21/977.60 c 960s|440000 | 210 | 5945 | 0.0 | 17M| 287 | - | 537 | 989 | 0 | 0 | 1 | 283k| 374 | 2.500000e+01 | 2.600000e+01 | 4.00%
997.90/998.37 c 981s|450000 | 224 | 5945 | 0.0 | 17M| 287 | - | 537 |1015 | 0 | 0 | 1 | 289k| 374 | 2.500000e+01 | 2.600000e+01 | 4.00%
1017.40/1017.87 c 1000s|460000 | 220 | 5945 | 0.0 | 17M| 287 | - | 537 |1032 | 0 | 0 | 1 | 295k| 374 | 2.500000e+01 | 2.600000e+01 | 4.00%
1036.59/1037.01 c 1018s|470000 | 219 | 5945 | 0.0 | 17M| 287 | - | 537 |1024 | 0 | 0 | 1 | 302k| 374 | 2.500000e+01 | 2.600000e+01 | 4.00%
1055.89/1056.38 c 1037s|480000 | 216 | 5945 | 0.0 | 17M| 287 | - | 537 |1032 | 0 | 0 | 1 | 308k| 374 | 2.500000e+01 | 2.600000e+01 | 4.00%
1074.98/1075.45 c 1056s|490000 | 219 | 5945 | 0.0 | 17M| 287 | - | 537 |1009 | 0 | 0 | 1 | 314k| 374 | 2.500000e+01 | 2.600000e+01 | 4.00%
1094.77/1095.26 c 1076s|500000 | 214 | 5945 | 0.0 | 17M| 287 | - | 537 |1013 | 0 | 0 | 1 | 321k| 374 | 2.500000e+01 | 2.600000e+01 | 4.00%
1115.87/1116.35 c 1096s|510000 | 217 | 5945 | 0.0 | 17M| 287 | - | 537 |1044 | 0 | 0 | 1 | 327k| 374 | 2.500000e+01 | 2.600000e+01 | 4.00%
1137.16/1137.63 c 1117s|520000 | 222 | 5945 | 0.0 | 17M| 287 | - | 537 |1029 | 0 | 0 | 1 | 333k| 374 | 2.500000e+01 | 2.600000e+01 | 4.00%
1157.55/1158.06 c 1137s|530000 | 216 | 5945 | 0.0 | 17M| 287 | - | 537 |1046 | 0 | 0 | 1 | 340k| 374 | 2.500000e+01 | 2.600000e+01 | 4.00%
1178.05/1178.57 c 1157s|540000 | 216 | 5945 | 0.0 | 17M| 287 | - | 537 |1021 | 0 | 0 | 1 | 346k| 374 | 2.500000e+01 | 2.600000e+01 | 4.00%
1198.63/1199.11 c 1178s|550000 | 217 | 5945 | 0.0 | 17M| 287 | - | 537 |1001 | 0 | 0 | 1 | 353k| 374 | 2.500000e+01 | 2.600000e+01 | 4.00%
1219.83/1220.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1219.83/1220.37 c 1199s|560000 | 218 | 5945 | 0.0 | 17M| 287 | - | 537 |1008 | 0 | 0 | 1 | 359k| 374 | 2.500000e+01 | 2.600000e+01 | 4.00%
1239.62/1240.17 c 1218s|570000 | 216 | 5945 | 0.0 | 17M| 287 | - | 537 |1010 | 0 | 0 | 1 | 366k| 374 | 2.500000e+01 | 2.600000e+01 | 4.00%
1259.51/1260.03 c 1238s|580000 | 215 | 5945 | 0.0 | 17M| 287 | - | 537 | 998 | 0 | 0 | 1 | 372k| 374 | 2.500000e+01 | 2.600000e+01 | 4.00%
1279.60/1280.10 c 1257s|590000 | 216 | 5945 | 0.0 | 17M| 287 | - | 537 |1005 | 0 | 0 | 1 | 379k| 374 | 2.500000e+01 | 2.600000e+01 | 4.00%
1300.40/1300.99 c 1278s|600000 | 215 | 5945 | 0.0 | 17M| 287 | - | 537 |1038 | 0 | 0 | 1 | 386k| 374 | 2.500000e+01 | 2.600000e+01 | 4.00%
1321.78/1322.33 c 1299s|610000 | 215 | 5945 | 0.0 | 17M| 287 | - | 537 |1022 | 0 | 0 | 1 | 392k| 374 | 2.500000e+01 | 2.600000e+01 | 4.00%
1343.28/1343.89 c 1320s|620000 | 210 | 5945 | 0.0 | 17M| 287 | - | 537 |1014 | 0 | 0 | 1 | 399k| 374 | 2.500000e+01 | 2.600000e+01 | 4.00%
1363.38/1363.97 c 1340s|630000 | 215 | 5945 | 0.0 | 17M| 287 | - | 537 | 991 | 0 | 0 | 1 | 405k| 374 | 2.500000e+01 | 2.600000e+01 | 4.00%
1384.27/1384.88 c 1360s|640000 | 211 | 5945 | 0.0 | 17M| 287 | - | 537 | 986 | 0 | 0 | 1 | 412k| 374 | 2.500000e+01 | 2.600000e+01 | 4.00%
1405.86/1406.44 c 1381s|650000 | 210 | 5945 | 0.0 | 17M| 287 | - | 537 | 986 | 0 | 0 | 1 | 419k| 374 | 2.500000e+01 | 2.600000e+01 | 4.00%
1426.74/1427.30 c 1402s|660000 | 215 | 5945 | 0.0 | 17M| 287 | - | 537 |1005 | 0 | 0 | 1 | 425k| 374 | 2.500000e+01 | 2.600000e+01 | 4.00%
1448.93/1449.53 c 1424s|670000 | 209 | 5945 | 0.0 | 17M| 287 | - | 537 | 998 | 0 | 0 | 1 | 432k| 374 | 2.500000e+01 | 2.600000e+01 | 4.00%
1469.13/1469.73 c 1443s|680000 | 211 | 5945 | 0.0 | 17M| 287 | - | 537 | 994 | 0 | 0 | 1 | 439k| 374 | 2.500000e+01 | 2.600000e+01 | 4.00%
1489.02/1489.61 c 1463s|690000 | 215 | 5945 | 0.0 | 17M| 287 | - | 537 | 987 | 0 | 0 | 1 | 445k| 374 | 2.500000e+01 | 2.600000e+01 | 4.00%
1508.72/1509.30 c 1482s|700000 | 209 | 5945 | 0.0 | 17M| 287 | - | 537 |1011 | 0 | 0 | 1 | 452k| 374 | 2.500000e+01 | 2.600000e+01 | 4.00%
1529.11/1529.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1529.11/1529.71 c 1502s|710000 | 208 | 5945 | 0.0 | 17M| 287 | - | 537 |1017 | 0 | 0 | 1 | 458k| 374 | 2.500000e+01 | 2.600000e+01 | 4.00%
1551.80/1552.43 c 1525s|720000 | 215 | 5945 | 0.0 | 17M| 287 | - | 537 | 993 | 0 | 0 | 1 | 465k| 374 | 2.500000e+01 | 2.600000e+01 | 4.00%
1573.59/1574.28 c 1546s|730000 | 210 | 5945 | 0.0 | 17M| 287 | - | 537 | 995 | 0 | 0 | 1 | 471k| 374 | 2.500000e+01 | 2.600000e+01 | 4.00%
1595.98/1596.64 c 1568s|740000 | 216 | 5945 | 0.0 | 17M| 287 | - | 537 | 988 | 0 | 0 | 1 | 478k| 374 | 2.500000e+01 | 2.600000e+01 | 4.00%
1617.27/1617.91 c 1589s|750000 | 219 | 5945 | 0.0 | 17M| 287 | - | 537 |1003 | 0 | 0 | 1 | 484k| 374 | 2.500000e+01 | 2.600000e+01 | 4.00%
1637.06/1637.73 c 1609s|760000 | 216 | 5945 | 0.0 | 17M| 287 | - | 537 | 987 | 0 | 0 | 1 | 490k| 374 | 2.500000e+01 | 2.600000e+01 | 4.00%
1658.46/1659.15 c 1630s|770000 | 215 | 5945 | 0.0 | 17M| 287 | - | 537 |1001 | 0 | 0 | 1 | 497k| 374 | 2.500000e+01 | 2.600000e+01 | 4.00%
1679.06/1679.79 c 1650s|780000 | 213 | 5945 | 0.0 | 17M| 287 | - | 537 | 997 | 0 | 0 | 1 | 504k| 374 | 2.500000e+01 | 2.600000e+01 | 4.00%
1699.34/1700.07 c 1670s|790000 | 216 | 5945 | 0.0 | 17M| 287 | - | 537 | 994 | 0 | 0 | 1 | 510k| 374 | 2.500000e+01 | 2.600000e+01 | 4.00%
1720.24/1720.90 c 1690s|800000 | 211 | 5945 | 0.0 | 17M| 287 | - | 537 | 986 | 0 | 0 | 1 | 517k| 374 | 2.500000e+01 | 2.600000e+01 | 4.00%
1743.63/1744.31 c 1713s|810000 | 207 | 5945 | 0.0 | 17M| 287 | - | 537 | 986 | 0 | 0 | 1 | 524k| 374 | 2.500000e+01 | 2.600000e+01 | 4.00%
1764.52/1765.24 c 1734s|820000 | 216 | 5945 | 0.0 | 17M| 287 | - | 537 | 994 | 0 | 0 | 1 | 530k| 374 | 2.500000e+01 | 2.600000e+01 | 4.00%
1783.51/1784.29 c 1753s|830000 | 215 | 5945 | 0.0 | 17M| 287 | - | 537 |1027 | 0 | 0 | 1 | 536k| 374 | 2.500000e+01 | 2.600000e+01 | 4.00%
1800.02/1800.71 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.71 c
1800.02/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.71 c Solving Time (sec) : 1768.74
1800.02/1800.71 c Solving Nodes : 837917 (total of 837921 nodes in 5 runs)
1800.02/1800.71 c Primal Bound : +2.60000000000000e+01 (4 solutions)
1800.02/1800.71 c Dual Bound : +2.50000000000000e+01
1800.02/1800.71 c Gap : 4.00 %
1800.02/1800.72 s SATISFIABLE
1800.02/1800.72 v x187 -x186 x4663 -x4661 -x185 -x4658 -x4656 -x184 -x4654 -x4652 -x4650 -x183 -x4648 -x4646 -x4644 -x4642 -x4639 -x182 -x4637 x181
1800.02/1800.72 v -x4634 -x4632 -x180 -x4630 -x4628 -x179 -x4626 -x4624 -x4622 -x4620 -x4618 -x4616 -x178 -x4613 -x4611 -x4609 -x177 -x4607
1800.02/1800.72 v -x4605 -x4603 -x4601 -x4599 -x4597 -x4595 -x176 -x4593 -x4591 -x4589 -x4587 -x4585 -x4582 x4580 -x175 x4577 -x4575 -x4573 -x4571
1800.02/1800.72 v -x4569 -x174 -x4567 -x4565 -x4563 -x4561 -x4557 -x4555 -x4553 -x4551 -x173 -x4549 -x4547 -x4544 -x4542 -x4540 -x4538 -x172
1800.02/1800.72 v -x4536 x4534 -x4532 x171 -x4530 -x4527 -x4525 -x4523 -x4521 -x4519 -x170 -x4517 -x4515 -x4513 -x4511 -x4509 -x4507 -x4505 -x169
1800.02/1800.72 v -x4503 -x4501 -x4499 -x4496 -x4494 -x4492 -x168 -x4490 -x4488 -x4486 -x4484 -x4482 -x4479 -x4477 -x4475 -x4473 -x4471 -x4469
1800.02/1800.72 v -x4467 x4465 -x4463 -x4461 x167 -x4458 -x4456 -x166 -x4454 -x4452 -x4450 -x165 -x4448 -x4445 -x4443 -x4440 -x4438 -x164
1800.02/1800.72 v -x4436 -x4434 -x163 -x4432 -x4430 -x4428 -x4426 -x4424 -x4422 -x4420 -x162 -x4418 -x4416 -x4414 -x4412 -x4410 -x4408 -x4406 -x161
1800.02/1800.72 v -x4404 -x4402 -x4400 -x160 -x4398 -x4396 -x4394 -x4392 -x4390 -x4388 -x4386 -x159 -x4384 -x4382 -x4380 -x4378 -x4376 -x4374
1800.02/1800.72 v -x158 -x4372 -x4370 x4368 -x4366 -x4364 -x4362 -x4360 -x4358 -x4356 -x4354 -x4352 -x4350 -x4348 -x4346 -x4344 -x4342 -x4340
1800.02/1800.72 v -x4338 -x4336 -x4334 -x4332 -x4330 -x157 -x4328 -x4326 -x4324 -x156 -x4322 -x4320 -x4318 -x4315 -x4313 -x4311 -x155 -x4309
1800.02/1800.72 v -x4307 -x4305 -x4303 -x4301 -x4299 -x4297 -x154 -x4295 -x4293 -x4291 -x4289 -x4287 -x4284 -x4282 -x4280 -x4278 -x4276 -x4274
1800.02/1800.72 v -x4272 -x4270 -x4268 -x153 -x4266 -x4264 -x4262 -x4260 -x4258 -x4256 -x4254 -x152 -x4252 -x4250 -x4248 -x4246 -x4244 -x4241
1800.02/1800.72 v -x151 -x4239 -x4237 -x4235 -x4233 -x4231 -x4229 -x4227 -x4225 -x4223 -x4221 -x4219 -x4217 -x4215 -x4213 -x4211 -x150 -x4209 -x4207
1800.02/1800.72 v -x4205 -x4203 -x4201 -x4199 -x4197 -x4195 x4193 -x4191 -x4189 -x4187 -x4185 -x4183 -x4181 -x4179 x149 -x4176 -x4174 -x148
1800.02/1800.72 v -x4172 -x4170 -x4168 -x147 -x4166 -x4164 -x4162 -x4160 -x4158 -x4156 -x4154 -x146 x4151 -x4149 -x4147 -x4145 -x4143 -x4140
1800.02/1800.72 v -x4138 -x4136 -x145 -x4134 -x4132 -x4130 -x4128 -x4126 -x4123 -x144 x4120 -x4118 x143 -x4116 -x4114 -x4112 -x4110 -x4108 -x4106
1800.02/1800.72 v -x4104 -x142 -x4102 -x4100 -x4098 -x4096 -x4094 -x4092 -x4090 -x141 -x4088 -x4086 -x4084 -x4082 x4080 -x4078 -x4076 -x4074
1800.02/1800.72 v -x4072 -x4070 -x4068 -x4066 -x4064 -x4062 -x4060 -x4058 -x4056 -x4054 -x4052 -x4050 -x4048 -x4046 -x140 -x4043 -x4041 -x4039
1800.02/1800.72 v -x4037 -x4035 -x4032 -x4030 -x4028 -x4026 -x4024 -x4022 -x4019 -x139 -x4017 -x4015 -x4013 -x138 -x4011 -x4009 -x4007 -x4005
1800.02/1800.72 v -x4003 -x4001 -x137 -x3998 -x3996 -x3994 -x3992 -x3990 -x3988 -x3986 -x136 -x3984 -x3982 -x3980 -x3978 -x3976 -x3974 -x3972
1800.02/1800.72 v -x3970 -x3968 -x3966 -x3963 -x3961 -x3959 -x3957 -x135 -x3955 -x3953 -x3951 -x3948 -x3946 -x3944 -x134 -x3942 -x3940 -x3938 -x3936
1800.02/1800.72 v -x3934 -x3932 -x3930 -x3928 -x3926 -x3924 -x3922 -x3920 -x3918 -x3916 -x3914 -x133 -x3912 -x3910 -x3908 -x3906 -x3904 -x3902
1800.02/1800.72 v -x3900 -x132 -x3898 -x3896 -x3894 -x3892 -x3890 -x3888 -x3886 -x3884 -x3882 -x3880 -x3878 -x3876 -x3874 -x3872 -x3870 -x131
1800.02/1800.72 v -x3868 -x3866 -x3864 -x130 -x3862 -x3860 -x3858 -x3856 -x3854 -x3852 -x3850 -x129 -x3848 -x3846 -x3844 -x3842 -x3840 -x3838
1800.02/1800.72 v -x3836 -x128 -x3834 -x3832 -x3830 -x3828 -x3826 -x3824 -x3822 -x3820 -x3818 -x3816 -x3814 -x3812 -x3810 -x3808 -x3806 -x127
1800.02/1800.72 v -x3804 -x3801 -x3799 -x3797 -x3795 -x3793 -x126 -x3791 -x3789 -x3787 -x3785 -x3783 -x3781 -x3779 -x3777 -x3775 -x3773 -x3771
1800.02/1800.72 v -x3769 -x3767 -x3765 -x3763 -x125 -x3761 -x3759 -x3757 -x3755 -x3753 -x3751 -x3749 -x124 -x3747 -x3745 -x3743 -x3741 -x3739
1800.02/1800.72 v -x3737 -x3735 -x3733 -x3731 -x3729 -x3727 -x3725 -x3723 -x3721 -x3719 -x123 -x3717 -x3715 -x3713 -x3711 -x3709 -x3707 -x3705
1800.02/1800.72 v -x3703 -x3701 -x3699 -x3697 -x3695 -x3693 -x3691 -x3689 -x122 -x3687 -x3685 -x3683 -x3681 -x3678 -x3676 -x121 -x3674 -x3672
1800.02/1800.72 v -x3670 -x3668 -x3666 -x3664 -x3662 -x3660 -x3658 -x3656 -x3654 -x3652 -x3650 -x3648 -x3646 -x120 -x3644 -x3642 -x3640 -x3638
1800.02/1800.72 v -x3636 -x3634 -x3632 -x3630 -x3628 -x3626 -x3624 -x3622 -x3620 -x3618 -x3616 -x119 -x3614 -x3612 -x3610 -x3608 -x3606 -x3604
1800.02/1800.72 v -x3601 -x3599 -x3597 -x3595 -x3593 -x3591 -x3589 -x3587 -x3585 -x3583 -x3581 -x3579 -x3577 -x3575 -x3573 -x3571 -x3569 -x3567
1800.02/1800.72 v -x3565 -x3563 -x3561 -x3559 x3557 -x3555 -x118 -x3552 -x3550 -x117 -x3548 -x3546 -x3544 -x116 -x3542 -x3540 -x3538 -x3535 -x3533
1800.02/1800.72 v -x3531 -x115 -x3529 -x3527 -x3525 -x114 -x3523 -x3521 -x3519 -x3517 -x3515 -x3513 -x3511 -x113 -x3509 -x3507 -x3505 -x3503
1800.02/1800.72 v -x3501 -x3499 -x3497 -x112 -x3495 -x3493 -x111 -x3491 -x3489 -x3487 -x3484 -x3482 -x3480 x3478 -x3476 -x3474 -x3472 -x3470
1800.02/1800.72 v -x3468 -x3466 -x110 -x3464 -x3461 -x3459 -x3457 -x3455 -x3453 -x3451 -x3449 -x3447 -x3445 -x3443 -x3441 -x3439 -x3437 -x109
1800.02/1800.72 v -x3435 -x3433 -x3431 -x3429 -x3427 -x3425 -x108 -x3422 -x3420 -x3418 -x3416 -x3414 -x3412 -x3410 -x3408 -x3406 -x3404 -x3402
1800.02/1800.72 v -x3400 -x3398 -x3396 -x3394 -x107 -x3391 -x3389 -x3387 -x3385 -x3383 -x3381 -x3379 -x3377 -x3375 -x3372 -x3370 -x3368 -x3366
1800.02/1800.72 v -x106 -x3364 -x3362 -x3360 -x105 -x3358 -x3355 -x3353 -x3351 -x3349 -x3347 -x104 -x3345 -x3343 -x3341 -x3339 -x3337 -x3335 -x3333
1800.02/1800.72 v -x103 -x3331 -x3329 -x3327 -x3325 -x3323 -x3321 -x3319 -x102 -x3317 -x3315 -x3313 -x3311 -x3309 -x3307 -x3305 -x3303 -x3301
1800.02/1800.72 v -x3299 -x3297 -x3295 -x3293 -x3291 -x3289 -x101 -x3287 -x3285 -x3283 -x3281 -x3279 -x3277 -x3275 -x100 -x3273 -x3271 -x3269
1800.02/1800.72 v -x3267 -x3264 -x3262 -x3260 -x3258 -x3256 -x3254 -x3252 -x3250 -x3248 -x3246 -x99 -x3244 -x3242 -x3240 -x3238 -x3236 -x3234
1800.02/1800.72 v -x3232 -x3229 -x3227 -x3225 -x3223 -x3221 -x3219 -x3217 -x98 -x3215 -x3213 -x3210 -x3208 -x3206 -x3204 -x3202 -x3200 -x3198
1800.02/1800.72 v -x3196 -x3194 -x3192 -x3190 -x3188 -x3186 -x3184 -x3182 -x3180 -x3178 -x3176 -x3174 -x3172 -x3170 -x3168 -x3166 -x3164 -x3161
1800.02/1800.72 v -x3159 -x3157 -x97 -x3155 -x3153 x3151 x96 -x3149 -x3147 -x3145 -x3143 -x3141 -x3139 -x3137 -x95 -x3135 -x3133 -x3131 -x3129
1800.02/1800.72 v -x3127 -x3125 -x3123 -x94 -x3121 -x3119 -x3117 -x3115 -x3113 -x3111 -x3109 -x3107 -x3105 -x3103 -x3101 -x3099 -x3097 -x3095
1800.02/1800.72 v -x3093 -x93 -x3091 -x3089 -x3087 -x3085 -x3083 -x3081 -x3079 -x92 -x3077 -x3075 -x3073 -x3071 -x3069 -x3067 -x3065 -x91 -x3063
1800.02/1800.72 v -x3061 -x3059 -x3057 -x3055 -x3053 -x3051 -x3049 -x3046 -x3044 -x3042 -x3040 -x3038 -x3036 -x90 -x3034 -x3032 -x3030 -x3028
1800.02/1800.72 v -x3026 -x3024 -x3022 -x3020 -x3018 -x3016 -x3014 -x3012 -x3010 -x89 -x3008 -x3006 -x3004 -x3002 -x3000 -x2998 -x2996 -x2994
1800.02/1800.72 v -x2992 -x2990 -x2988 -x2986 -x2984 -x2982 -x2980 -x2978 -x2976 -x2974 -x2972 -x2970 -x2968 -x2966 -x2964 -x2961 -x2959 -x2957
1800.02/1800.72 v -x2955 -x2953 -x2951 -x2949 -x88 -x2947 -x2945 -x2943 -x2941 -x2939 -x2937 -x2935 -x87 -x2933 -x2931 -x2929 -x2927 -x2925
1800.02/1800.72 v -x2923 -x2921 -x2919 -x2917 -x2915 -x2913 -x2911 -x2909 -x2907 -x2905 -x86 -x2903 -x2901 -x2899 -x85 -x2897 -x2895 -x2893 -x2891
1800.02/1800.72 v -x2889 -x2887 -x2885 -x84 -x2883 x2881 -x2879 -x2877 -x2875 -x2873 -x2871 -x2869 -x2867 -x2865 -x2863 -x2861 -x2858 -x83
1800.02/1800.72 v -x2856 -x2854 -x2852 -x2850 -x2848 -x2846 -x2844 -x2842 -x2840 -x2838 -x2836 -x2834 -x2832 -x2830 -x2828 -x82 -x2826 -x2824 -x2822
1800.02/1800.72 v -x2820 -x2818 -x2816 -x2813 -x2811 -x2809 -x2807 -x2805 -x2803 -x2801 -x2799 -x2797 -x2795 -x2793 -x2791 -x2789 -x2787
1800.02/1800.73 v -x2785 -x81 -x2783 -x2781 -x2779 -x2777 -x2775 -x2773 -x2771 -x2769 -x2767 -x2765 -x2762 -x2760 -x2758 -x2756 -x80 -x2754 -x2752
1800.02/1800.73 v -x2750 -x2748 -x2746 -x2744 -x2742 -x2740 -x2738 -x2736 -x2734 -x2732 -x2730 -x2728 -x2726 -x79 -x2724 -x2722 -x2720 -x2718
1800.02/1800.73 v -x2716 -x2714 -x2712 -x2710 -x2708 -x2706 -x2704 -x2702 -x2700 -x2698 -x2696 -x2694 -x2692 -x2690 -x2688 -x2686 -x2684 -x2682
1800.02/1800.73 v -x2680 -x2678 -x2676 -x2674 -x2672 -x2670 -x2668 -x2666 -x78 -x2663 -x2661 -x2659 -x2657 -x2655 -x2653 -x2651 -x77 -x2649
1800.02/1800.73 v -x2647 -x2645 -x2643 -x2641 -x2639 -x2637 -x2635 -x2633 -x2631 -x2629 -x2627 -x2625 -x2623 -x2621 -x76 -x2619 -x2617 -x2615
1800.02/1800.73 v -x2613 -x2611 -x2609 -x2607 -x2605 -x2603 -x2601 -x2599 -x2596 -x2594 -x2592 -x75 -x2590 -x2588 -x2586 -x2584 -x2582 -x2580 -x2578
1800.02/1800.73 v -x2576 -x2574 -x2572 -x2570 -x2568 -x2566 -x2564 -x2562 -x74 -x2560 -x2558 -x2556 -x2554 -x2552 -x2550 -x2548 -x2546 -x2544
1800.02/1800.73 v -x2542 -x2540 -x2538 -x2536 -x2534 -x2532 -x2530 -x2528 -x2526 -x2524 -x2522 -x2520 -x2518 -x2516 -x2514 -x2512 -x2510 -x2508
1800.02/1800.73 v -x2506 -x2504 -x2502 -x2500 -x73 -x2498 -x2495 -x2493 -x2491 -x2489 -x2487 -x72 -x2485 -x2483 -x2481 -x2479 -x2477 -x2475
1800.02/1800.73 v -x2473 -x2471 -x2469 -x2467 -x2465 -x2463 -x2461 -x2459 -x2457 -x71 -x2454 -x2452 -x2450 -x2448 -x2446 -x2444 -x2442 -x2440
1800.02/1800.73 v -x2438 -x2436 x2434 -x2432 -x2430 -x2428 -x2426 -x2424 -x2422 -x2420 -x2418 -x2416 -x2414 -x2412 -x2410 -x2408 -x2406 -x2404
1800.02/1800.73 v -x2402 -x2400 -x2398 -x70 -x2396 -x2394 -x2392 -x2390 -x2387 -x2385 -x2383 -x2381 -x2379 -x2377 -x2375 -x2373 -x2371 -x2369
1800.02/1800.73 v -x2367 -x2365 -x2363 -x2361 -x2359 -x2357 -x2355 -x2353 -x2351 -x2349 x2347 -x2345 -x2343 -x2341 -x2339 -x2337 -x2335 -x69 -x2332
1800.02/1800.73 v -x2330 -x68 -x2328 -x2326 -x2324 -x67 -x2322 -x2320 -x2317 -x2315 -x2313 -x2311 -x66 -x2309 -x2307 -x2305 -x65 -x2303 -x2301
1800.02/1800.73 v -x2299 -x2297 -x2295 -x2293 -x2291 -x64 -x2289 -x2287 -x2285 -x2283 -x2281 -x2279 -x2277 -x63 -x2275 -x2273 -x2271 -x62
1800.02/1800.73 v -x2269 -x2267 -x2265 -x2263 -x2261 -x2259 -x2257 -x61 -x2255 -x2253 -x2251 -x2249 -x2247 -x2245 -x2243 -x60 -x2241 -x2239 -x2237
1800.02/1800.73 v -x2235 -x2233 -x2231 -x2229 -x2227 -x2225 -x2223 -x2221 -x2219 -x2217 -x2215 -x2213 -x59 -x2211 -x2209 -x2207 -x2205 -x2203
1800.02/1800.73 v -x2201 -x2199 -x58 -x2197 -x2195 -x2193 -x2191 -x2189 -x2187 -x2185 -x2183 -x2181 -x2179 -x2177 -x2175 -x2173 -x2171 -x2169
1800.02/1800.73 v -x57 -x2167 -x2165 -x2163 -x56 -x2161 -x2159 -x2156 -x2154 -x2152 -x2150 -x55 -x2148 -x2146 -x2144 -x2142 -x2139 -x2137 -x54
1800.02/1800.73 v -x2135 -x2133 -x2131 -x2129 -x2127 -x2125 -x2123 -x53 -x2121 -x2119 -x2117 -x2115 -x2113 -x2111 -x2109 -x2107 -x2105 -x2103
1800.02/1800.73 v -x2101 -x2099 -x2097 -x2095 -x2093 -x52 -x2091 -x2089 -x2087 -x2085 -x2083 -x2081 -x2079 -x51 -x2076 -x2074 -x2072 -x2070 -x2068
1800.02/1800.73 v -x2066 -x2064 -x2062 -x2060 -x2058 -x2056 -x2054 -x2052 -x2050 -x50 -x2048 -x2046 -x2044 -x2042 -x2040 -x2038 -x2036 -x2034
1800.02/1800.73 v -x2032 -x2030 -x2028 -x2026 -x2024 -x2022 -x2020 -x49 -x2018 -x2016 -x2014 -x2012 -x2010 -x2008 -x2006 -x2004 -x2002 -x2000
1800.02/1800.73 v -x1998 -x1996 -x1994 -x1991 -x1989 -x1987 -x1985 -x1983 -x1981 -x1979 -x1977 -x1975 -x1973 -x1971 -x1969 -x1967 -x1965 -x1963
1800.02/1800.73 v -x1961 -x1959 -x48 -x1957 -x1955 -x1953 -x47 -x1951 -x1949 -x1947 -x1945 -x1943 -x1941 -x1939 -x46 -x1937 -x1935 -x1933
1800.02/1800.73 v -x1931 -x1929 -x1927 -x1925 -x45 -x1923 -x1921 -x1919 -x1917 -x1915 -x1913 -x1911 -x1909 -x1907 -x1905 -x1903 -x1901 -x1899 -x1897
1800.02/1800.73 v -x1895 -x44 -x1893 -x1891 -x1889 -x1887 -x1885 -x1883 -x43 -x1881 -x1879 -x1877 -x1875 -x1873 -x1871 -x1869 -x1867 -x1865
1800.02/1800.73 v -x1863 -x1861 -x1859 -x1857 -x1855 -x1853 -x42 -x1851 -x1849 -x1847 -x1845 -x1843 -x1841 -x1839 -x41 -x1837 -x1835 -x1833
1800.02/1800.73 v -x1831 -x1829 -x1827 -x1825 -x1823 -x1821 -x1819 -x1817 -x1815 -x1813 -x1811 -x1809 -x40 -x1807 -x1805 -x1803 -x1801 -x1799 -x1797
1800.02/1800.73 v -x1795 -x1793 -x1791 -x1789 -x1787 -x1785 -x1783 -x1781 -x1779 -x39 -x1777 -x1775 -x1773 -x1771 -x1769 -x1767 -x1765 -x1763
1800.02/1800.73 v -x1761 -x1759 -x1757 -x1755 -x1753 -x1751 -x1749 -x1747 -x1745 -x1743 -x1741 -x1738 -x1736 -x1734 -x1732 -x1730 -x1728 -x1726
1800.02/1800.73 v -x1724 -x1722 -x1720 -x1718 -x38 -x1716 -x1714 -x1712 -x1710 -x1708 -x1706 -x1704 -x37 -x1702 -x1700 -x1698 -x1696 -x1694
1800.02/1800.73 v -x1692 -x1690 -x1688 -x1686 -x1684 -x1682 -x1680 -x1678 -x1676 -x1674 -x36 -x1672 -x1670 -x1668 -x35 -x1666 -x1664 -x1662
1800.02/1800.73 v -x1660 -x1658 -x1656 -x1654 -x34 -x1652 -x1650 -x1648 -x1646 -x1644 -x1642 -x1640 -x33 -x1637 -x1635 -x1633 -x1631 -x1629 -x1627
1800.02/1800.73 v -x1625 -x1623 -x1621 -x1619 -x1617 -x1615 -x1613 -x1611 -x32 -x1609 -x1607 -x1605 -x1603 -x1601 -x1599 -x1597 -x31 -x1595
1800.02/1800.73 v -x1593 -x1591 -x1589 -x1587 -x1585 -x1583 -x1581 -x1579 -x1577 -x1575 -x1573 -x1571 -x1569 -x1567 -x30 -x1565 -x1563 -x1561
1800.02/1800.73 v -x1559 -x1557 -x1555 -x1553 -x1551 -x1549 -x1547 -x1545 -x1543 -x1541 -x1539 -x1537 -x29 -x1535 -x1533 -x1531 -x1529 -x1527 -x1525
1800.02/1800.73 v -x1523 -x1521 -x1519 -x1517 -x1515 -x1513 -x1511 -x1509 -x1507 -x1505 -x1503 -x1501 -x1499 -x1497 -x1495 -x1493 -x1491
1800.02/1800.73 v -x1489 -x1487 -x1485 -x1483 -x1481 -x1479 -x1477 -x1475 x1473 -x1471 -x1469 -x28 -x1467 -x1465 -x1463 -x1461 -x1459 -x1457 -x1455
1800.02/1800.73 v -x27 -x1453 -x1451 -x1449 -x1447 -x1445 -x1443 -x1441 -x26 -x1439 -x1437 -x1435 -x1433 -x1431 -x1429 -x1427 -x1425 -x1423
1800.02/1800.73 v -x1421 -x1419 -x1417 -x1415 -x1413 -x1411 -x25 -x1409 -x1407 -x1405 -x1403 -x1401 -x1399 -x1397 -x24 -x1395 -x1393 -x1391 -x1389
1800.02/1800.73 v -x1387 -x1384 -x1382 -x1380 -x1378 -x1376 -x1374 -x1372 -x1370 -x1368 -x23 -x1366 -x1364 -x1362 -x1360 -x1358 -x1356 -x1354
1800.02/1800.73 v -x22 -x1352 -x1350 -x1348 -x1346 -x1344 -x1342 -x1340 -x1338 -x1336 -x1334 -x1332 -x1330 -x1328 -x1325 -x21 -x1323 -x1321
1800.02/1800.73 v -x1319 -x1317 -x1315 -x1313 -x1311 -x1309 -x1307 -x1305 -x1303 -x1301 -x1299 -x1297 -x1295 -x20 -x1293 -x1291 -x1289 -x1287
1800.02/1800.73 v -x1285 -x1283 -x1281 -x1279 -x1277 -x1275 -x1273 -x1271 -x1269 -x1267 -x1265 -x1263 -x1261 -x1259 -x1257 -x1255 -x1253 -x1251
1800.02/1800.73 v -x1249 -x1247 -x1245 -x1243 -x1241 -x1239 -x1237 -x1235 -x1233 -x19 -x1231 -x1229 -x1227 -x1225 -x1223 -x1221 -x1219 -x1217
1800.02/1800.73 v -x1215 -x1213 -x1211 -x1209 -x1207 -x1205 -x1203 -x18 -x1201 -x1199 -x1197 -x1195 -x1193 -x1191 -x1189 -x1187 -x1185 -x1183
1800.02/1800.73 v -x1181 -x1179 -x1177 -x1175 -x1173 -x1171 -x1169 -x1167 -x1165 -x1163 -x1161 -x1159 -x1157 -x1154 -x1152 -x1150 -x1148 -x1146
1800.02/1800.73 v -x1144 -x1142 -x17 -x1140 -x1138 -x1136 -x1134 -x1132 -x1130 -x1128 -x16 -x1126 -x1124 -x1122 -x1120 -x1118 -x1116 -x1114 -x1112
1800.02/1800.73 v -x1110 -x1108 -x1106 -x1104 -x1102 -x1100 -x1098 -x15 -x1096 -x1094 -x1092 -x1090 -x1088 -x1086 -x1084 -x1082 -x1080 -x1078
1800.02/1800.73 v -x1076 -x1074 -x1072 -x1070 -x1068 -x14 -x1066 -x1064 -x1062 -x1060 -x1058 -x1056 -x1054 -x1052 -x1050 -x1048 -x1046 -x1044
1800.02/1800.73 v -x1042 -x1040 -x1038 -x13 -x1036 -x1034 -x1032 -x1030 -x1028 -x1026 -x1024 -x1022 -x1020 -x1018 -x1016 -x1014 -x1012 -x1010
1800.02/1800.73 v -x1008 -x1006 -x1004 -x1002 -x1000 -x998 -x996 -x994 -x992 -x990 -x988 -x986 -x984 -x982 -x980 -x978 -x976 -x12 -x974 -x972
1800.02/1800.73 v -x970 -x968 -x966 -x964 -x962 -x960 -x958 -x956 -x954 -x952 -x950 -x948 -x946 -x11 -x944 -x942 -x940 -x938 -x936 -x934 -x932
1800.02/1800.73 v -x930 -x928 -x926 -x924 -x922 -x920 -x918 -x916 -x914 -x912 -x910 -x908 -x906 -x904 -x902 -x900 -x898 -x896 -x894 -x892 -x890
1800.02/1800.73 v -x888 -x886 -x10 -x884 -x882 -x880 -x878 -x876 -x874 -x872 -x870 -x868 -x866 -x864 -x862 -x860 -x858 -x856 -x854 -x852 -x850
1800.02/1800.73 v -x848 -x846 -x844 -x842 -x840 -x838 -x836 -x834 -x832 -x830 -x828 -x826 -x824 -x9 -x822 -x820 -x818 -x816 -x814 -x812 -x810
1800.02/1800.73 v -x808 -x806 -x804 -x802 -x800 -x798 -x796 -x794 -x792 -x790 -x788 -x786 -x784 -x782 -x780 -x778 -x776 -x774 -x772 -x770 -x768
1800.02/1800.73 v -x766 -x764 -x762 -x760 x758 -x756 -x754 -x752 -x750 -x748 -x746 -x744 -x742 -x740 -x738 -x736 -x734 -x732 -x730 -x728 -x726
1800.02/1800.73 v -x724 -x722 -x720 -x718 -x716 -x714 -x712 -x710 -x708 -x706 -x704 -x702 -x700 -x698 -x696 -x694 -x692 -x690 -x688 -x686 -x684
1800.02/1800.73 v -x8 -x682 -x680 -x678 -x676 -x674 -x672 -x670 -x668 -x666 -x664 -x662 -x660 -x658 -x656 -x654 -x7 -x652 -x650 -x648 -x646
1800.02/1800.73 v -x644 -x642 -x640 -x638 -x636 -x634 -x632 -x630 -x628 -x626 -x624 -x6 -x622 -x620 -x618 -x616 -x614 -x612 -x610 -x608 -x606 -x604
1800.02/1800.73 v -x602 -x600 -x598 -x596 -x594 -x592 -x590 -x588 -x586 -x584 -x582 -x580 -x578 -x576 -x574 -x572 -x570 -x568 -x566 -x564
1800.02/1800.73 v -x562 -x5 -x560 -x558 -x556 -x554 -x552 -x550 -x548 -x546 -x544 -x542 -x540 -x538 -x536 -x534 -x532 -x4 -x530 -x528 -x526 -x524
1800.02/1800.73 v -x522 -x520 -x518 -x516 -x514 -x512 -x510 -x508 -x506 -x504 -x502 -x500 -x498 -x496 -x494 -x492 -x490 -x488 -x486 -x484 -x482
1800.02/1800.73 v -x480 -x478 -x476 -x474 -x472 -x470 -x3 -x468 -x466 -x464 -x462 -x460 -x458 -x456 -x454 -x452 -x450 -x448 -x446 -x444 -x442
1800.02/1800.73 v -x440 -x438 -x436 -x434 -x432 -x430 -x428 -x426 -x424 -x422 -x420 -x418 -x416 -x414 -x412 -x410 -x408 -x2 -x406 -x404 -x402
1800.02/1800.73 v -x400 -x398 -x396 -x394 -x392 -x390 -x388 -x386 -x384 -x382 -x380 -x378 -x376 -x374 -x372 -x370 -x368 -x366 -x364 -x362 -x360
1800.02/1800.73 v -x358 -x356 -x354 -x352 -x350 -x348 -x346 -x344 -x342 -x340 -x338 -x336 -x334 -x332 -x330 -x328 -x326 -x324 -x322 -x320 -x318
1800.02/1800.73 v -x316 -x314 -x312 -x310 -x308 -x306 -x304 -x302 -x300 -x298 -x296 x294 -x292 -x290 -x288 -x286 -x284 -x282 -x280 -x278 -x276
1800.02/1800.73 v -x274 -x272 -x270 -x268 -x266 -x264 -x262 -x260 -x258 -x256 -x254 -x252 -x1 -x250 -x248 -x246 -x244 -x242 -x240 -x238 -x236
1800.02/1800.73 v -x234 -x232 -x230 -x228 -x226 -x224 -x222 -x220 -x218 -x216 -x214 -x212 -x210 -x208 -x206 -x204 -x202 -x200 -x198 -x196 x194
1800.02/1800.73 v -x192 -x190 -x188 x4666 -x4665 x4664 -x4662 -x4660 -x4659 -x4657 -x4655 -x4653 -x4651 -x4649 -x4647 -x4645 -x4643 -x4641 -x4640
1800.02/1800.73 v -x4638 x4636 -x4635 -x4633 -x4631 -x4629 -x4627 -x4625 -x4623 -x4621 -x4619 -x4617 -x4615 -x4614 -x4612 -x4610 -x4608 -x4606
1800.02/1800.73 v -x4604 -x4602 -x4600 -x4598 -x4596 -x4594 -x4592 -x4590 -x4588 -x4586 -x4584 -x4583 x4581 -x4579 x4578 -x4576 -x4574 -x4572
1800.02/1800.73 v -x4570 -x4568 -x4566 -x4564 -x4562 x4560 -x4559 -x4558 -x4556 -x4554 -x4552 -x4550 -x4548 -x4546 -x4545 -x4543 -x4541 -x4539
1800.02/1800.73 v -x4537 x4535 -x4533 -x4531 -x4529 -x4528 -x4526 -x4524 -x4522 -x4520 -x4518 -x4516 -x4514 -x4512 -x4510 -x4508 -x4506 -x4504
1800.02/1800.73 v -x4502 -x4500 -x4498 -x4497 -x4495 -x4493 -x4491 -x4489 -x4487 -x4485 -x4483 -x4481 -x4480 -x4478 -x4476 -x4474 -x4472 -x4470
1800.02/1800.73 v -x4468 x4466 -x4464 -x4462 x4460 -x4459 -x4457 -x4455 -x4453 -x4451 -x4449 -x4447 -x4446 -x4444 -x4442 -x4441 -x4439 -x4437
1800.02/1800.73 v -x4435 -x4433 -x4431 -x4429 -x4427 -x4425 -x4423 -x4421 -x4419 -x4417 -x4415 -x4413 -x4411 -x4409 -x4407 -x4405 -x4403 -x4401
1800.02/1800.73 v -x4399 -x4397 -x4395 -x4393 -x4391 -x4389 -x4387 -x4385 -x4383 -x4381 -x4379 -x4377 -x4375 -x4373 -x4371 x4369 -x4367 -x4365
1800.02/1800.73 v -x4363 -x4361 -x4359 -x4357 -x4355 -x4353 -x4351 -x4349 -x4347 -x4345 -x4343 -x4341 -x4339 -x4337 -x4335 -x4333 -x4331
1800.02/1800.73 v -x4329 -x4327 -x4325 -x4323 -x4321 -x4319 -x4317 -x4316 -x4314 -x4312 -x4310 -x4308 -x4306 -x4304 -x4302 -x4300 -x4298 -x4296
1800.02/1800.73 v -x4294 -x4292 -x4290 -x4288 -x4286 -x4285 -x4283 -x4281 -x4279 -x4277 -x4275 -x4273 -x4271 -x4269 -x4267 -x4265 -x4263 -x4261
1800.02/1800.73 v -x4259 -x4257 -x4255 -x4253 -x4251 -x4249 -x4247 -x4245 -x4243 -x4242 -x4240 -x4238 -x4236 -x4234 -x4232 -x4230 -x4228 -x4226
1800.02/1800.73 v -x4224 -x4222 -x4220 -x4218 -x4216 -x4214 -x4212 -x4210 -x4208 -x4206 -x4204 -x4202 -x4200 -x4198 -x4196 x4194 -x4192 -x4190
1800.02/1800.73 v -x4188 -x4186 -x4184 -x4182 -x4180 x4178 -x4177 -x4175 -x4173 -x4171 -x4169 -x4167 -x4165 -x4163 -x4161 -x4159 -x4157 -x4155
1800.02/1800.73 v -x4153 x4152 -x4150 -x4148 -x4146 -x4144 -x4142 -x4141 -x4139 -x4137 -x4135 -x4133 -x4131 -x4129 -x4127 -x4125 -x4124 -x4122
1800.02/1800.73 v x4121 -x4119 -x4117 -x4115 -x4113 -x4111 -x4109 -x4107 -x4105 -x4103 -x4101 -x4099 -x4097 -x4095 -x4093 -x4091 -x4089 -x4087
1800.02/1800.73 v -x4085 -x4083 x4081 -x4079 -x4077 -x4075 -x4073 -x4071 -x4069 -x4067 -x4065 -x4063 -x4061 -x4059 -x4057 -x4055 -x4053 -x4051
1800.02/1800.73 v -x4049 -x4047 -x4045 -x4044 -x4042 -x4040 -x4038 -x4036 -x4034 -x4033 -x4031 -x4029 -x4027 -x4025 -x4023 -x4021 -x4020 -x4018
1800.02/1800.73 v -x4016 -x4014 -x4012 -x4010 -x4008 -x4006 -x4004 -x4002 -x4000 -x3999 -x3997 -x3995 -x3993 -x3991 -x3989 -x3987 -x3985 -x3983
1800.02/1800.73 v -x3981 -x3979 -x3977 -x3975 -x3973 -x3971 -x3969 -x3967 -x3965 -x3964 -x3962 -x3960 -x3958 -x3956 -x3954 -x3952 -x3950 -x3949
1800.02/1800.73 v -x3947 -x3945 -x3943 -x3941 -x3939 -x3937 -x3935 -x3933 -x3931 -x3929 -x3927 -x3925 -x3923 -x3921 -x3919 -x3917 -x3915
1800.02/1800.73 v -x3913 -x3911 -x3909 -x3907 -x3905 -x3903 -x3901 -x3899 -x3897 -x3895 -x3893 -x3891 -x3889 -x3887 -x3885 -x3883 -x3881 -x3879
1800.02/1800.73 v -x3877 -x3875 -x3873 -x3871 -x3869 -x3867 -x3865 -x3863 -x3861 -x3859 -x3857 -x3855 -x3853 -x3851 -x3849 -x3847 -x3845 -x3843
1800.02/1800.73 v -x3841 -x3839 -x3837 -x3835 -x3833 -x3831 -x3829 -x3827 -x3825 -x3823 -x3821 -x3819 -x3817 -x3815 -x3813 -x3811 -x3809 -x3807
1800.02/1800.73 v -x3805 -x3803 -x3802 -x3800 -x3798 -x3796 -x3794 -x3792 -x3790 -x3788 -x3786 -x3784 -x3782 -x3780 -x3778 -x3776 -x3774 -x3772
1800.02/1800.73 v -x3770 -x3768 -x3766 -x3764 -x3762 -x3760 -x3758 -x3756 -x3754 -x3752 -x3750 -x3748 -x3746 -x3744 -x3742 -x3740 -x3738 -x3736
1800.02/1800.73 v -x3734 -x3732 -x3730 -x3728 -x3726 -x3724 -x3722 -x3720 -x3718 -x3716 -x3714 -x3712 -x3710 -x3708 -x3706 -x3704 -x3702 -x3700
1800.02/1800.73 v -x3698 -x3696 -x3694 -x3692 -x3690 -x3688 -x3686 -x3684 -x3682 -x3680 -x3679 -x3677 -x3675 -x3673 -x3671 -x3669 -x3667
1800.02/1800.73 v -x3665 -x3663 -x3661 -x3659 -x3657 -x3655 -x3653 -x3651 -x3649 -x3647 -x3645 -x3643 -x3641 -x3639 -x3637 -x3635 -x3633 -x3631
1800.02/1800.73 v -x3629 -x3627 -x3625 -x3623 -x3621 -x3619 -x3617 -x3615 -x3613 -x3611 -x3609 -x3607 -x3605 -x3603 -x3602 -x3600 -x3598 -x3596
1800.02/1800.73 v -x3594 -x3592 -x3590 -x3588 -x3586 -x3584 -x3582 -x3580 -x3578 -x3576 -x3574 -x3572 -x3570 -x3568 -x3566 -x3564 -x3562 -x3560
1800.02/1800.73 v x3558 -x3556 -x3554 -x3553 -x3551 -x3549 -x3547 -x3545 -x3543 -x3541 -x3539 -x3537 -x3536 -x3534 -x3532 -x3530 -x3528 -x3526
1800.02/1800.73 v -x3524 -x3522 -x3520 -x3518 -x3516 -x3514 -x3512 -x3510 -x3508 -x3506 -x3504 -x3502 -x3500 -x3498 -x3496 -x3494 -x3492 -x3490
1800.02/1800.73 v -x3488 -x3486 -x3485 -x3483 -x3481 x3479 -x3477 -x3475 -x3473 -x3471 -x3469 -x3467 -x3465 -x3463 -x3462 -x3460 -x3458 -x3456
1800.02/1800.73 v -x3454 -x3452 -x3450 -x3448 -x3446 -x3444 -x3442 -x3440 -x3438 -x3436 -x3434 -x3432 -x3430 -x3428 -x3426 -x3424 -x3423 -x3421
1800.02/1800.73 v -x3419 -x3417 -x3415 -x3413 -x3411 -x3409 -x3407 -x3405 -x3403 -x3401 -x3399 -x3397 -x3395 -x3393 -x3392 -x3390 -x3388 -x3386
1800.02/1800.73 v -x3384 -x3382 -x3380 -x3378 -x3376 -x3374 -x3373 -x3371 -x3369 -x3367 -x3365 -x3363 -x3361 -x3359 -x3357 -x3356 -x3354
1800.02/1800.73 v -x3352 -x3350 -x3348 -x3346 -x3344 -x3342 -x3340 -x3338 -x3336 -x3334 -x3332 -x3330 -x3328 -x3326 -x3324 -x3322 -x3320 -x3318
1800.02/1800.73 v -x3316 -x3314 -x3312 -x3310 -x3308 -x3306 -x3304 -x3302 -x3300 -x3298 -x3296 -x3294 -x3292 -x3290 -x3288 -x3286 -x3284 -x3282
1800.02/1800.73 v -x3280 -x3278 -x3276 -x3274 -x3272 -x3270 -x3268 -x3266 -x3265 -x3263 -x3261 -x3259 -x3257 -x3255 -x3253 -x3251 -x3249 -x3247
1800.02/1800.73 v -x3245 -x3243 -x3241 -x3239 -x3237 -x3235 -x3233 -x3231 -x3230 -x3228 -x3226 -x3224 -x3222 -x3220 -x3218 -x3216 -x3214 -x3212
1800.02/1800.73 v -x3211 -x3209 -x3207 -x3205 -x3203 -x3201 -x3199 -x3197 -x3195 -x3193 -x3191 -x3189 -x3187 -x3185 -x3183 -x3181 -x3179 -x3177
1800.02/1800.73 v -x3175 -x3173 -x3171 -x3169 -x3167 -x3165 -x3163 -x3162 -x3160 -x3158 -x3156 -x3154 x3152 -x3150 -x3148 -x3146 -x3144 -x3142
1800.02/1800.73 v -x3140 -x3138 -x3136 -x3134 -x3132 -x3130 -x3128 -x3126 -x3124 -x3122 -x3120 -x3118 -x3116 -x3114 -x3112 -x3110 -x3108 -x3106
1800.02/1800.73 v -x3104 -x3102 -x3100 -x3098 -x3096 -x3094 -x3092 -x3090 -x3088 -x3086 -x3084 -x3082 -x3080 -x3078 -x3076 -x3074 -x3072
1800.02/1800.73 v -x3070 -x3068 -x3066 -x3064 -x3062 -x3060 -x3058 -x3056 -x3054 -x3052 -x3050 -x3048 -x3047 -x3045 -x3043 -x3041 -x3039 -x3037
1800.02/1800.73 v -x3035 -x3033 -x3031 -x3029 -x3027 -x3025 -x3023 -x3021 -x3019 -x3017 -x3015 -x3013 -x3011 -x3009 -x3007 -x3005 -x3003 -x3001
1800.02/1800.73 v -x2999 -x2997 -x2995 -x2993 -x2991 -x2989 -x2987 -x2985 -x2983 -x2981 -x2979 -x2977 -x2975 -x2973 -x2971 -x2969 -x2967 -x2965
1800.02/1800.73 v -x2963 -x2962 -x2960 -x2958 -x2956 -x2954 -x2952 -x2950 -x2948 -x2946 -x2944 -x2942 -x2940 -x2938 -x2936 -x2934 -x2932 -x2930
1800.02/1800.73 v -x2928 -x2926 -x2924 -x2922 -x2920 -x2918 -x2916 -x2914 -x2912 -x2910 -x2908 -x2906 -x2904 -x2902 -x2900 -x2898 -x2896 -x2894
1800.02/1800.73 v -x2892 -x2890 -x2888 -x2886 -x2884 x2882 -x2880 -x2878 -x2876 -x2874 -x2872 -x2870 -x2868 -x2866 -x2864 -x2862 -x2860 -x2859
1800.02/1800.73 v -x2857 -x2855 -x2853 -x2851 -x2849 -x2847 -x2845 -x2843 -x2841 -x2839 -x2837 -x2835 -x2833 -x2831 -x2829 -x2827 -x2825 -x2823
1800.02/1800.73 v -x2821 -x2819 -x2817 x2815 -x2814 -x2812 -x2810 -x2808 -x2806 -x2804 -x2802 -x2800 -x2798 -x2796 -x2794 -x2792 -x2790 -x2788
1800.02/1800.73 v -x2786 -x2784 -x2782 -x2780 -x2778 -x2776 -x2774 -x2772 -x2770 -x2768 -x2766 -x2764 -x2763 -x2761 -x2759 -x2757 -x2755
1800.02/1800.73 v -x2753 -x2751 -x2749 -x2747 -x2745 -x2743 -x2741 -x2739 -x2737 -x2735 -x2733 -x2731 -x2729 -x2727 -x2725 -x2723 -x2721 -x2719
1800.02/1800.73 v -x2717 -x2715 -x2713 -x2711 -x2709 -x2707 -x2705 -x2703 -x2701 -x2699 -x2697 -x2695 -x2693 -x2691 -x2689 -x2687 -x2685 -x2683
1800.02/1800.73 v -x2681 -x2679 -x2677 -x2675 -x2673 -x2671 -x2669 -x2667 -x2665 -x2664 -x2662 -x2660 -x2658 -x2656 -x2654 -x2652 -x2650 -x2648
1800.02/1800.73 v -x2646 -x2644 -x2642 -x2640 -x2638 -x2636 -x2634 -x2632 -x2630 -x2628 -x2626 -x2624 -x2622 -x2620 -x2618 -x2616 -x2614 -x2612
1800.02/1800.73 v -x2610 -x2608 -x2606 -x2604 -x2602 -x2600 -x2598 -x2597 -x2595 -x2593 -x2591 -x2589 -x2587 -x2585 -x2583 -x2581 -x2579 -x2577
1800.02/1800.73 v -x2575 -x2573 -x2571 -x2569 -x2567 -x2565 -x2563 -x2561 -x2559 -x2557 -x2555 -x2553 -x2551 -x2549 -x2547 -x2545 -x2543 -x2541
1800.02/1800.73 v -x2539 -x2537 -x2535 -x2533 -x2531 -x2529 -x2527 -x2525 -x2523 -x2521 -x2519 -x2517 -x2515 -x2513 -x2511 -x2509 -x2507
1800.02/1800.73 v -x2505 -x2503 -x2501 -x2499 -x2497 -x2496 -x2494 -x2492 -x2490 -x2488 -x2486 -x2484 -x2482 -x2480 -x2478 -x2476 -x2474 -x2472
1800.02/1800.73 v -x2470 -x2468 -x2466 -x2464 -x2462 -x2460 -x2458 -x2456 -x2455 -x2453 -x2451 -x2449 -x2447 -x2445 -x2443 -x2441 -x2439 -x2437
1800.02/1800.73 v x2435 -x2433 -x2431 -x2429 -x2427 -x2425 -x2423 -x2421 -x2419 -x2417 -x2415 -x2413 -x2411 -x2409 -x2407 -x2405 -x2403 -x2401
1800.02/1800.73 v -x2399 -x2397 -x2395 -x2393 -x2391 -x2389 -x2388 -x2386 -x2384 -x2382 -x2380 -x2378 -x2376 -x2374 -x2372 -x2370 -x2368 -x2366
1800.02/1800.73 v -x2364 -x2362 -x2360 -x2358 -x2356 -x2354 -x2352 -x2350 x2348 -x2346 -x2344 -x2342 -x2340 -x2338 -x2336 -x2334 -x2333 -x2331
1800.02/1800.73 v -x2329 -x2327 -x2325 -x2323 -x2321 -x2319 -x2318 -x2316 -x2314 -x2312 -x2310 -x2308 -x2306 -x2304 -x2302 -x2300 -x2298 -x2296
1800.02/1800.73 v -x2294 -x2292 -x2290 -x2288 -x2286 -x2284 -x2282 -x2280 -x2278 -x2276 -x2274 -x2272 -x2270 -x2268 -x2266 -x2264 -x2262 -x2260
1800.02/1800.73 v -x2258 -x2256 -x2254 -x2252 -x2250 -x2248 -x2246 -x2244 -x2242 -x2240 -x2238 -x2236 -x2234 -x2232 -x2230 -x2228 -x2226 -x2224
1800.02/1800.73 v -x2222 -x2220 -x2218 -x2216 -x2214 -x2212 -x2210 -x2208 -x2206 -x2204 -x2202 -x2200 -x2198 -x2196 -x2194 -x2192 -x2190
1800.02/1800.73 v -x2188 -x2186 -x2184 -x2182 -x2180 -x2178 -x2176 -x2174 -x2172 -x2170 -x2168 -x2166 -x2164 -x2162 -x2160 -x2158 -x2157 -x2155
1800.02/1800.73 v -x2153 -x2151 -x2149 -x2147 -x2145 -x2143 -x2141 -x2140 -x2138 -x2136 -x2134 -x2132 -x2130 -x2128 -x2126 -x2124 -x2122 -x2120
1800.02/1800.73 v -x2118 -x2116 -x2114 -x2112 -x2110 -x2108 -x2106 -x2104 -x2102 -x2100 -x2098 -x2096 -x2094 -x2092 -x2090 -x2088 -x2086 -x2084
1800.02/1800.73 v -x2082 -x2080 -x2078 -x2077 -x2075 -x2073 -x2071 -x2069 -x2067 -x2065 -x2063 -x2061 -x2059 -x2057 -x2055 -x2053 -x2051 -x2049
1800.02/1800.73 v -x2047 -x2045 -x2043 -x2041 -x2039 -x2037 -x2035 -x2033 -x2031 -x2029 -x2027 -x2025 -x2023 -x2021 -x2019 -x2017 -x2015 -x2013
1800.02/1800.73 v -x2011 -x2009 -x2007 -x2005 -x2003 -x2001 -x1999 -x1997 -x1995 -x1993 -x1992 -x1990 -x1988 -x1986 -x1984 -x1982 -x1980 -x1978
1800.02/1800.73 v -x1976 -x1974 -x1972 -x1970 -x1968 -x1966 -x1964 -x1962 -x1960 -x1958 -x1956 -x1954 -x1952 -x1950 -x1948 -x1946 -x1944
1800.02/1800.73 v -x1942 -x1940 -x1938 -x1936 -x1934 -x1932 -x1930 -x1928 -x1926 -x1924 -x1922 -x1920 -x1918 -x1916 -x1914 -x1912 -x1910 -x1908
1800.02/1800.73 v -x1906 -x1904 -x1902 -x1900 -x1898 -x1896 -x1894 -x1892 -x1890 -x1888 -x1886 -x1884 -x1882 -x1880 -x1878 -x1876 -x1874 -x1872
1800.02/1800.73 v -x1870 -x1868 -x1866 -x1864 -x1862 -x1860 -x1858 -x1856 -x1854 -x1852 -x1850 -x1848 -x1846 -x1844 -x1842 -x1840 -x1838 -x1836
1800.02/1800.73 v -x1834 -x1832 -x1830 -x1828 -x1826 -x1824 -x1822 -x1820 -x1818 -x1816 -x1814 -x1812 -x1810 -x1808 -x1806 -x1804 -x1802 -x1800
1800.02/1800.73 v -x1798 -x1796 -x1794 -x1792 -x1790 -x1788 -x1786 -x1784 -x1782 -x1780 -x1778 -x1776 -x1774 -x1772 -x1770 -x1768 -x1766 -x1764
1800.02/1800.73 v -x1762 -x1760 -x1758 -x1756 -x1754 -x1752 -x1750 -x1748 -x1746 -x1744 -x1742 -x1740 -x1739 -x1737 -x1735 -x1733 -x1731 -x1729
1800.02/1800.73 v -x1727 -x1725 -x1723 -x1721 -x1719 -x1717 -x1715 -x1713 -x1711 -x1709 -x1707 -x1705 -x1703 -x1701 -x1699 -x1697 -x1695
1800.02/1800.73 v -x1693 -x1691 -x1689 -x1687 -x1685 -x1683 -x1681 -x1679 -x1677 -x1675 -x1673 -x1671 -x1669 -x1667 -x1665 -x1663 -x1661 -x1659
1800.02/1800.73 v -x1657 -x1655 -x1653 -x1651 -x1649 -x1647 -x1645 -x1643 -x1641 -x1639 -x1638 -x1636 -x1634 -x1632 -x1630 -x1628 -x1626 -x1624
1800.02/1800.73 v -x1622 -x1620 -x1618 -x1616 -x1614 -x1612 -x1610 -x1608 -x1606 -x1604 -x1602 -x1600 -x1598 -x1596 -x1594 -x1592 -x1590 -x1588
1800.02/1800.73 v -x1586 -x1584 -x1582 -x1580 -x1578 -x1576 -x1574 -x1572 -x1570 -x1568 -x1566 -x1564 -x1562 -x1560 -x1558 -x1556 -x1554 -x1552
1800.02/1800.73 v -x1550 -x1548 -x1546 -x1544 -x1542 -x1540 -x1538 -x1536 -x1534 -x1532 -x1530 -x1528 -x1526 -x1524 -x1522 -x1520 -x1518 -x1516
1800.02/1800.73 v -x1514 -x1512 -x1510 -x1508 -x1506 -x1504 -x1502 -x1500 -x1498 -x1496 -x1494 -x1492 -x1490 -x1488 -x1486 -x1484 -x1482 -x1480
1800.02/1800.73 v -x1478 -x1476 x1474 -x1472 -x1470 -x1468 -x1466 -x1464 -x1462 -x1460 -x1458 -x1456 -x1454 -x1452 -x1450 -x1448 -x1446 -x1444
1800.02/1800.73 v -x1442 -x1440 -x1438 -x1436 -x1434 -x1432 -x1430 -x1428 -x1426 -x1424 -x1422 -x1420 -x1418 -x1416 -x1414 -x1412 -x1410
1800.02/1800.73 v -x1408 -x1406 -x1404 -x1402 -x1400 -x1398 -x1396 -x1394 -x1392 -x1390 -x1388 -x1386 -x1385 -x1383 -x1381 -x1379 -x1377 -x1375
1800.02/1800.73 v -x1373 -x1371 -x1369 -x1367 -x1365 -x1363 -x1361 -x1359 -x1357 -x1355 -x1353 -x1351 -x1349 -x1347 -x1345 -x1343 -x1341 -x1339
1800.02/1800.73 v -x1337 -x1335 -x1333 -x1331 -x1329 -x1327 -x1326 -x1324 -x1322 -x1320 -x1318 -x1316 -x1314 -x1312 -x1310 -x1308 -x1306 -x1304
1800.02/1800.73 v -x1302 -x1300 -x1298 -x1296 -x1294 -x1292 -x1290 -x1288 -x1286 -x1284 -x1282 -x1280 -x1278 -x1276 -x1274 -x1272 -x1270 -x1268
1800.02/1800.73 v -x1266 -x1264 -x1262 -x1260 -x1258 -x1256 -x1254 -x1252 -x1250 -x1248 -x1246 -x1244 -x1242 -x1240 -x1238 -x1236 -x1234 -x1232
1800.02/1800.73 v -x1230 -x1228 -x1226 -x1224 -x1222 -x1220 -x1218 -x1216 -x1214 -x1212 -x1210 -x1208 -x1206 -x1204 -x1202 -x1200 -x1198 -x1196
1800.02/1800.73 v -x1194 -x1192 -x1190 -x1188 -x1186 -x1184 -x1182 -x1180 -x1178 -x1176 -x1174 -x1172 -x1170 -x1168 -x1166 -x1164 -x1162
1800.02/1800.73 v -x1160 -x1158 -x1156 -x1155 -x1153 -x1151 -x1149 -x1147 -x1145 -x1143 -x1141 -x1139 -x1137 -x1135 -x1133 -x1131 -x1129 -x1127
1800.02/1800.73 v -x1125 -x1123 -x1121 -x1119 -x1117 -x1115 -x1113 -x1111 -x1109 -x1107 -x1105 -x1103 -x1101 -x1099 -x1097 -x1095 -x1093 -x1091
1800.02/1800.73 v -x1089 -x1087 -x1085 -x1083 -x1081 -x1079 -x1077 -x1075 -x1073 -x1071 -x1069 -x1067 -x1065 -x1063 -x1061 -x1059 -x1057 -x1055
1800.02/1800.73 v -x1053 -x1051 -x1049 -x1047 -x1045 -x1043 -x1041 -x1039 -x1037 -x1035 -x1033 -x1031 -x1029 -x1027 -x1025 -x1023 -x1021 -x1019
1800.02/1800.73 v -x1017 -x1015 -x1013 -x1011 -x1009 -x1007 -x1005 -x1003 -x1001 -x999 -x997 -x995 -x993 -x991 -x989 -x987 -x985 -x983 -x981
1800.02/1800.73 v -x979 -x977 -x975 -x973 -x971 -x969 -x967 -x965 -x963 -x961 -x959 -x957 -x955 -x953 -x951 -x949 -x947 -x945 -x943 -x941 -x939
1800.02/1800.73 v -x937 -x935 -x933 -x931 -x929 -x927 -x925 -x923 -x921 -x919 -x917 -x915 -x913 -x911 -x909 -x907 -x905 -x903 -x901 -x899 -x897
1800.02/1800.73 v -x895 -x893 -x891 -x889 -x887 -x885 -x883 -x881 -x879 -x877 -x875 -x873 -x871 -x869 -x867 -x865 -x863 -x861 -x859 -x857 -x855
1800.02/1800.73 v -x853 -x851 -x849 -x847 -x845 -x843 -x841 -x839 -x837 -x835 -x833 -x831 -x829 -x827 -x825 -x823 -x821 -x819 -x817 -x815
1800.02/1800.73 v -x813 -x811 -x809 -x807 -x805 -x803 -x801 -x799 -x797 -x795 -x793 -x791 -x789 -x787 -x785 -x783 -x781 -x779 -x777 -x775 -x773
1800.02/1800.73 v -x771 -x769 -x767 -x765 -x763 -x761 x759 -x757 -x755 -x753 -x751 -x749 -x747 -x745 -x743 -x741 -x739 -x737 -x735 -x733 -x731
1800.02/1800.73 v -x729 -x727 -x725 -x723 -x721 -x719 -x717 -x715 -x713 -x711 -x709 -x707 -x705 -x703 -x701 -x699 -x697 -x695 -x693 -x691 -x689
1800.02/1800.73 v -x687 -x685 -x683 -x681 -x679 -x677 -x675 -x673 -x671 -x669 -x667 -x665 -x663 -x661 -x659 -x657 -x655 -x653 -x651 -x649 -x647
1800.02/1800.73 v -x645 -x643 -x641 -x639 -x637 -x635 -x633 -x631 -x629 -x627 -x625 -x623 -x621 -x619 -x617 -x615 -x613 -x611 -x609 -x607 -x605
1800.02/1800.73 v -x603 -x601 -x599 -x597 -x595 -x593 -x591 -x589 -x587 -x585 -x583 -x581 -x579 -x577 -x575 -x573 -x571 -x569 -x567 -x565 -x563
1800.02/1800.73 v -x561 -x559 -x557 -x555 -x553 -x551 -x549 -x547 -x545 -x543 -x541 -x539 -x537 -x535 -x533 -x531 -x529 -x527 -x525 -x523
1800.02/1800.73 v -x521 -x519 -x517 -x515 -x513 -x511 -x509 -x507 -x505 -x503 -x501 -x499 -x497 -x495 -x493 -x491 -x489 -x487 -x485 -x483 -x481
1800.02/1800.73 v -x479 -x477 -x475 -x473 -x471 -x469 -x467 -x465 -x463 -x461 -x459 -x457 -x455 -x453 -x451 -x449 -x447 -x445 -x443 -x441 -x439
1800.02/1800.73 v -x437 -x435 -x433 -x431 -x429 -x427 -x425 -x423 -x421 -x419 -x417 -x415 -x413 -x411 -x409 -x407 -x405 -x403 -x401 -x399 -x397
1800.02/1800.73 v -x395 -x393 -x391 -x389 -x387 -x385 -x383 -x381 -x379 -x377 -x375 -x373 -x371 -x369 -x367 -x365 -x363 -x361 -x359 -x357 -x355
1800.02/1800.73 v -x353 -x351 -x349 -x347 -x345 -x343 -x341 -x339 -x337 -x335 -x333 -x331 -x329 -x327 -x325 -x323 -x321 -x319 -x317 -x315 -x313
1800.02/1800.73 v -x311 -x309 -x307 -x305 -x303 -x301 -x299 -x297 x295 -x293 -x291 -x289 -x287 -x285 -x283 -x281 -x279 -x277 -x275 -x273 -x271
1800.02/1800.73 v -x269 -x267 -x265 -x263 -x261 -x259 -x257 -x255 -x253 -x251 -x249 -x247 -x245 -x243 -x241 -x239 -x237 -x235 -x233 -x231
1800.02/1800.73 v -x229 -x227 -x225 -x223 -x221 -x219 -x217 -x215 -x213 -x211 -x209 -x207 -x205 -x203 -x201 -x199 -x197 x195 -x193 -x191 -x189
1800.02/1800.73 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.73 c Solving Time : 1768.74
1800.02/1800.73 c Original Problem :
1800.02/1800.73 c Problem name : HOME/instance-2666787-1276632340.opb
1800.02/1800.73 c Variables : 4666 (4666 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.73 c Constraints : 12693 initial, 12693 maximal
1800.02/1800.73 c Presolved Problem :
1800.02/1800.73 c Problem name : t_HOME/instance-2666787-1276632340.opb
1800.02/1800.73 c Variables : 537 (537 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.73 c Constraints : 1103 initial, 1126 maximal
1800.02/1800.73 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.02/1800.73 c trivial : 0.02 1733 0 0 0 0 0 0 0
1800.02/1800.73 c dualfix : 0.01 0 0 0 0 0 0 0 0
1800.02/1800.73 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.73 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.73 c implics : 0.00 0 4 0 0 0 0 0 0
1800.02/1800.73 c probing : 0.06 0 0 0 0 0 0 0 0
1800.02/1800.73 c knapsack : 1.00 0 0 0 0 0 0 0 73
1800.02/1800.73 c setppc : 0.00 0 0 0 0 0 2 0 0
1800.02/1800.73 c linear : 0.16 167 2217 0 167 0 4879 1 0
1800.02/1800.73 c logicor : 0.25 8 0 0 0 0 5123 0 0
1800.02/1800.73 c root node : - 1858 - - 1858 - - - -
1800.02/1800.73 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.02/1800.73 c integral : 0 0 0 52 0 0 208 0 0 2
1800.02/1800.73 c knapsack : 12 4 3248579 0 0 0 0 0 0 0
1800.02/1800.73 c setppc : 13 4 3181550 0 0 231 19887 0 0 0
1800.02/1800.73 c logicor : 1078+ 14 2237224 3 0 299461 6861594 0 0 0
1800.02/1800.73 c countsols : 0 0 0 3 0 0 0 0 0 0
1800.02/1800.73 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.02/1800.73 c integral : 35.98 0.00 0.00 35.98 0.00
1800.02/1800.73 c knapsack : 1360.38 0.53 1359.85 0.00 0.00
1800.02/1800.73 c setppc : 2.41 0.00 2.41 0.00 0.00
1800.02/1800.73 c logicor : 79.20 0.01 79.19 0.00 0.00
1800.02/1800.73 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.73 c Propagators : Time Calls Cutoffs DomReds
1800.02/1800.73 c vbounds : 1.71 6 0 0
1800.02/1800.73 c rootredcost : 1.62 0 0 0
1800.02/1800.73 c pseudoobj : 147.49 3489433 240841 12974893
1800.02/1800.73 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.73 c propagation : 71.14 540533 540533 540533 55.1 1048 48.4 -
1800.02/1800.73 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.73 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.73 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.73 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.02/1800.73 c applied globally : - - - 226373 45.1 - - -
1800.02/1800.73 c applied locally : - - - 314881 62.3 - - -
1800.02/1800.73 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.73 c cut pool : 0.00 0 - - 0 - (maximal pool size: 4)
1800.02/1800.73 c redcost : 0.00 14 0 1334 0 0
1800.02/1800.73 c impliedbounds : 0.01 12 0 0 0 0
1800.02/1800.73 c intobj : 0.00 0 0 0 0 0
1800.02/1800.73 c cgmip : 0.00 0 0 0 0 0
1800.02/1800.73 c gomory : 9.78 12 0 0 2465 0
1800.02/1800.73 c strongcg : 8.15 12 0 0 3696 0
1800.02/1800.73 c cmir : 0.87 12 0 0 0 0
1800.02/1800.73 c flowcover : 1.44 12 0 0 0 0
1800.02/1800.73 c clique : 0.02 12 0 0 55 0
1800.02/1800.73 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.73 c mcf : 0.01 3 0 0 0 0
1800.02/1800.73 c rapidlearning : 0.00 0 0 0 0 0
1800.02/1800.73 c Pricers : Time Calls Vars
1800.02/1800.73 c problem variables: 0.00 0 0
1800.02/1800.73 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.73 c relpscost : 35.98 49 0 208 0 0 2
1800.02/1800.73 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.73 c inference : 20.44 601292 0 0 0 0 1202584
1800.02/1800.73 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.73 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.73 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.73 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.73 c random : 0.00 0 0 0 0 0 0
1800.02/1800.73 c Primal Heuristics : Time Calls Found
1800.02/1800.73 c LP solutions : 0.00 - 0
1800.02/1800.73 c pseudo solutions : 0.00 - 0
1800.02/1800.73 c crossover : 0.00 0 0
1800.02/1800.73 c oneopt : 0.58 3 0
1800.02/1800.73 c trivial : 0.02 2 0
1800.02/1800.73 c simplerounding : 0.00 0 0
1800.02/1800.73 c zirounding : 0.00 2 0
1800.02/1800.73 c rounding : 0.04 62 2
1800.02/1800.73 c shifting : 0.13 62 0
1800.02/1800.73 c intshifting : 0.00 0 0
1800.02/1800.73 c twoopt : 0.00 0 0
1800.02/1800.73 c fixandinfer : 0.00 0 0
1800.02/1800.73 c feaspump : 0.87 1 1
1800.02/1800.73 c coefdiving : 0.00 0 0
1800.02/1800.73 c pscostdiving : 0.00 0 0
1800.02/1800.73 c fracdiving : 0.00 0 0
1800.02/1800.73 c veclendiving : 0.00 0 0
1800.02/1800.73 c intdiving : 0.00 0 0
1800.02/1800.73 c actconsdiving : 0.00 0 0
1800.02/1800.73 c objpscostdiving : 0.00 0 0
1800.02/1800.73 c rootsoldiving : 0.00 0 0
1800.02/1800.73 c linesearchdiving : 0.00 0 0
1800.02/1800.73 c guideddiving : 0.00 0 0
1800.02/1800.73 c octane : 0.00 0 0
1800.02/1800.73 c rens : 0.71 1 1
1800.02/1800.73 c rins : 0.00 0 0
1800.02/1800.73 c localbranching : 0.00 0 0
1800.02/1800.73 c mutation : 0.00 0 0
1800.02/1800.73 c dins : 0.00 0 0
1800.02/1800.73 c undercover : 0.00 0 0
1800.02/1800.73 c nlp : 0.43 0 0
1800.02/1800.73 c trysol : 0.38 0 0
1800.02/1800.73 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.73 c primal LP : 0.01 0 0 0.00 0.00
1800.02/1800.73 c dual LP : 2.12 64 5233 81.77 2468.40
1800.02/1800.73 c lex dual LP : 0.00 0 0 0.00 -
1800.02/1800.73 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.73 c diving/probing LP: 0.84 3 712 237.33 847.62
1800.02/1800.73 c strong branching : 35.98 374 70791 189.28 1967.51
1800.02/1800.73 c (at root node) : - 374 70791 189.28 -
1800.02/1800.73 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.73 c B&B Tree :
1800.02/1800.73 c number of runs : 5
1800.02/1800.73 c nodes : 837917
1800.02/1800.73 c nodes (total) : 837921
1800.02/1800.73 c nodes left : 215
1800.02/1800.73 c max depth : 287
1800.02/1800.73 c max depth (total): 287
1800.02/1800.73 c backtracks : 305447 (36.5%)
1800.02/1800.73 c delayed cutoffs : 364455
1800.02/1800.73 c repropagations : 908174 (11279599 domain reductions, 303909 cutoffs)
1800.02/1800.73 c avg switch length: 2.89
1800.02/1800.73 c switching time : 43.20
1800.02/1800.73 c Solution :
1800.02/1800.73 c Solutions found : 4 (3 improvements)
1800.02/1800.73 c First Solution : +3.80000000000000e+01 (in run 1, after 1 nodes, 0.53 seconds, depth 0, found by <rounding>)
1800.02/1800.73 c Primal Bound : +2.60000000000000e+01 (in run 1, after 1 nodes, 18.91 seconds, depth 0, found by <feaspump>)
1800.02/1800.73 c Dual Bound : +2.50000000000000e+01
1800.02/1800.73 c Gap : 4.00 %
1800.02/1800.73 c Root Dual Bound : +2.50000000000000e+01
1800.02/1800.73 c Root Iterations : 5233
1800.02/1800.77 c Time complete: 1800.09.
OK 26
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2666787-1276632340/watcher-2666787-1276632340 -o /tmp/evaluation-result-2666787-1276632340/solver-2666787-1276632340 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666787-1276632340.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.93 0.98 0.99 3/106 7781 /proc/meminfo: memFree=1757220/2059040 swapFree=4136752/4192956 [pid=7781] ppid=7779 vsize=6696 CPUtime=0 /proc/7781/stat : 7781 (pbscip.linux.x8) R 7779 7781 7277 0 -1 4202496 985 0 0 0 0 0 0 0 25 0 1 0 38835599 6856704 905 1992294400 4194304 8223781 140737286971168 18446744073709551615 7256628 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7781/statm: 1674 907 343 984 0 687 0 [startup+0.0649281 s] /proc/loadavg: 0.93 0.98 0.99 3/106 7781 /proc/meminfo: memFree=1757220/2059040 swapFree=4136752/4192956 [pid=7781] ppid=7779 vsize=14960 CPUtime=0.06 /proc/7781/stat : 7781 (pbscip.linux.x8) R 7779 7781 7277 0 -1 4202496 3040 0 0 0 5 1 0 0 25 0 1 0 38835599 15319040 2959 1992294400 4194304 8223781 140737286971168 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7781/statm: 3740 2968 365 984 0 2753 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 14960 [startup+0.101934 s] /proc/loadavg: 0.93 0.98 0.99 3/106 7781 /proc/meminfo: memFree=1757220/2059040 swapFree=4136752/4192956 [pid=7781] ppid=7779 vsize=15576 CPUtime=0.09 /proc/7781/stat : 7781 (pbscip.linux.x8) R 7779 7781 7277 0 -1 4202496 3202 0 0 0 8 1 0 0 25 0 1 0 38835599 15949824 3121 1992294400 4194304 8223781 140737286971168 18446744073709551615 6207442 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7781/statm: 3894 3121 365 984 0 2907 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15576 [startup+0.30197 s] /proc/loadavg: 0.93 0.98 0.99 3/106 7781 /proc/meminfo: memFree=1757220/2059040 swapFree=4136752/4192956 [pid=7781] ppid=7779 vsize=34672 CPUtime=0.29 /proc/7781/stat : 7781 (pbscip.linux.x8) R 7779 7781 7277 0 -1 4202496 8282 0 0 0 26 3 0 0 25 0 1 0 38835599 35504128 7837 1992294400 4194304 8223781 140737286971168 18446744073709551615 4561370 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7781/statm: 8668 7837 402 984 0 7681 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 34672 [startup+0.702045 s] /proc/loadavg: 0.93 0.98 0.99 3/106 7781 /proc/meminfo: memFree=1757220/2059040 swapFree=4136752/4192956 [pid=7781] ppid=7779 vsize=45908 CPUtime=0.69 /proc/7781/stat : 7781 (pbscip.linux.x8) R 7779 7781 7277 0 -1 4202496 12729 0 0 0 61 8 0 0 25 0 1 0 38835599 47009792 10455 1992294400 4194304 8223781 140737286971168 18446744073709551615 6030882 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7781/statm: 11477 10455 510 984 0 10490 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 45908 [startup+1.50118 s] /proc/loadavg: 0.93 0.98 0.99 2/107 7782 /proc/meminfo: memFree=1708852/2059040 swapFree=4136752/4192956 [pid=7781] ppid=7779 vsize=60268 CPUtime=1.49 /proc/7781/stat : 7781 (pbscip.linux.x8) R 7779 7781 7277 0 -1 4202496 16679 0 0 0 138 11 0 0 25 0 1 0 38835599 61714432 13955 1992294400 4194304 8223781 140737286971168 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7781/statm: 15067 13955 554 984 0 14080 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 60268 [startup+3.10147 s] /proc/loadavg: 0.94 0.98 0.99 2/107 7782 /proc/meminfo: memFree=1692608/2059040 swapFree=4136752/4192956 [pid=7781] ppid=7779 vsize=77192 CPUtime=3.09 /proc/7781/stat : 7781 (pbscip.linux.x8) R 7779 7781 7277 0 -1 4202496 21523 0 0 0 293 16 0 0 25 0 1 0 38835599 79044608 18225 1992294400 4194304 8223781 140737286971168 18446744073709551615 4310534 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7781/statm: 19298 18225 577 984 0 18311 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 77192 [startup+6.30104 s] /proc/loadavg: 0.94 0.98 0.99 2/107 7782 /proc/meminfo: memFree=1683680/2059040 swapFree=4136752/4192956 [pid=7781] ppid=7779 vsize=79548 CPUtime=6.29 /proc/7781/stat : 7781 (pbscip.linux.x8) R 7779 7781 7277 0 -1 4202496 23113 0 0 0 610 19 0 0 25 0 1 0 38835599 81457152 18742 1992294400 4194304 8223781 140737286971168 18446744073709551615 7073867 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7781/statm: 19887 18742 568 984 0 18900 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 79548 [startup+12.7012 s] /proc/loadavg: 0.95 0.98 0.99 2/107 7782 /proc/meminfo: memFree=1670784/2059040 swapFree=4136752/4192956 [pid=7781] ppid=7779 vsize=92928 CPUtime=12.68 /proc/7781/stat : 7781 (pbscip.linux.x8) R 7779 7781 7277 0 -1 4202496 27102 0 0 0 1244 24 0 0 25 0 1 0 38835599 95158272 21907 1992294400 4194304 8223781 140737286971168 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7781/statm: 23232 21907 580 984 0 22245 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 92928 [startup+25.5015 s] /proc/loadavg: 0.95 0.98 0.99 2/107 7782 /proc/meminfo: memFree=1669172/2059040 swapFree=4136752/4192956 [pid=7781] ppid=7779 vsize=93672 CPUtime=25.49 /proc/7781/stat : 7781 (pbscip.linux.x8) R 7779 7781 7277 0 -1 4202496 43103 0 0 0 2506 43 0 0 25 0 1 0 38835599 95920128 22265 1992294400 4194304 8223781 140737286971168 18446744073709551615 6570073 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7781/statm: 23418 22265 593 984 0 22431 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 93672 [startup+51.101 s] /proc/loadavg: 0.97 0.98 0.99 2/107 7784 /proc/meminfo: memFree=1670412/2059040 swapFree=4136752/4192956 [pid=7781] ppid=7779 vsize=92440 CPUtime=51.07 /proc/7781/stat : 7781 (pbscip.linux.x8) R 7779 7781 7277 0 -1 4202496 78949 0 0 0 5030 77 0 0 25 0 1 0 38835599 94658560 21960 1992294400 4194304 8223781 140737286971168 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7781/statm: 23110 21960 598 984 0 22123 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 92440 [startup+102.309 s] /proc/loadavg: 0.99 0.98 0.99 2/107 7784 /proc/meminfo: memFree=1672148/2059040 swapFree=4136752/4192956 [pid=7781] ppid=7779 vsize=91744 CPUtime=102.26 /proc/7781/stat : 7781 (pbscip.linux.x8) R 7779 7781 7277 0 -1 4202496 101191 0 0 0 10050 176 0 0 25 0 1 0 38835599 93945856 21627 1992294400 4194304 8223781 140737286971168 18446744073709551615 4854293 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7781/statm: 22936 21627 599 984 0 21949 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 91744 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 7786 /proc/meminfo: memFree=1672024/2059040 swapFree=4136752/4192956 [pid=7781] ppid=7779 vsize=91744 CPUtime=162.22 /proc/7781/stat : 7781 (pbscip.linux.x8) R 7779 7781 7277 0 -1 4202496 101191 0 0 0 15945 277 0 0 25 0 1 0 38835599 93945856 21627 1992294400 4194304 8223781 140737286971168 18446744073709551615 5955754 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7781/statm: 22936 21627 599 984 0 21949 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 91744 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 7788 /proc/meminfo: memFree=1672024/2059040 swapFree=4136752/4192956 [pid=7781] ppid=7779 vsize=91876 CPUtime=222.21 /proc/7781/stat : 7781 (pbscip.linux.x8) R 7779 7781 7277 0 -1 4202496 101216 0 0 0 21846 375 0 0 25 0 1 0 38835599 94081024 21652 1992294400 4194304 8223781 140737286971168 18446744073709551615 4854246 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7781/statm: 22969 21652 599 984 0 21982 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 91876 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 7790 /proc/meminfo: memFree=1671900/2059040 swapFree=4136752/4192956 [pid=7781] ppid=7779 vsize=92008 CPUtime=282.19 /proc/7781/stat : 7781 (pbscip.linux.x8) R 7779 7781 7277 0 -1 4202496 101238 0 0 0 27729 490 0 0 25 0 1 0 38835599 94216192 21674 1992294400 4194304 8223781 140737286971168 18446744073709551615 4854293 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7781/statm: 23002 21674 599 984 0 22015 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 92008 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 7792 /proc/meminfo: memFree=1671776/2059040 swapFree=4136752/4192956 [pid=7781] ppid=7779 vsize=92144 CPUtime=342.16 /proc/7781/stat : 7781 (pbscip.linux.x8) R 7779 7781 7277 0 -1 4202496 101261 0 0 0 33618 598 0 0 25 0 1 0 38835599 94355456 21697 1992294400 4194304 8223781 140737286971168 18446744073709551615 4854299 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7781/statm: 23036 21697 599 984 0 22049 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 92144 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 7792 /proc/meminfo: memFree=1671776/2059040 swapFree=4136752/4192956 [pid=7781] ppid=7779 vsize=92144 CPUtime=402.13 /proc/7781/stat : 7781 (pbscip.linux.x8) R 7779 7781 7277 0 -1 4202496 101261 0 0 0 39504 709 0 0 25 0 1 0 38835599 94355456 21697 1992294400 4194304 8223781 140737286971168 18446744073709551615 4854288 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7781/statm: 23036 21697 599 984 0 22049 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 92144 [startup+462.302 s] /proc/loadavg: 1.03 1.00 1.00 2/107 7794 /proc/meminfo: memFree=1671652/2059040 swapFree=4136752/4192956 [pid=7781] ppid=7779 vsize=92144 CPUtime=462.11 /proc/7781/stat : 7781 (pbscip.linux.x8) R 7779 7781 7277 0 -1 4202496 101270 0 0 0 45406 805 0 0 25 0 1 0 38835599 94355456 21706 1992294400 4194304 8223781 140737286971168 18446744073709551615 4854260 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7781/statm: 23036 21706 599 984 0 22049 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 92144 [startup+522.301 s] /proc/loadavg: 1.18 1.04 1.01 2/107 7799 /proc/meminfo: memFree=1670536/2059040 swapFree=4136752/4192956 [pid=7781] ppid=7779 vsize=92144 CPUtime=522.08 /proc/7781/stat : 7781 (pbscip.linux.x8) R 7779 7781 7277 0 -1 4202496 101279 0 0 0 51301 907 0 0 25 0 1 0 38835599 94355456 21715 1992294400 4194304 8223781 140737286971168 18446744073709551615 4854173 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7781/statm: 23036 21715 599 984 0 22049 0 Current children cumulated CPU time (s) 522.08 Current children cumulated vsize (KiB) 92144 [startup+582.301 s] /proc/loadavg: 1.14 1.05 1.01 2/107 7801 /proc/meminfo: memFree=1670536/2059040 swapFree=4136752/4192956 [pid=7781] ppid=7779 vsize=92144 CPUtime=582.06 /proc/7781/stat : 7781 (pbscip.linux.x8) R 7779 7781 7277 0 -1 4202496 101281 0 0 0 57194 1012 0 0 25 0 1 0 38835599 94355456 21717 1992294400 4194304 8223781 140737286971168 18446744073709551615 4854299 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7781/statm: 23036 21717 599 984 0 22049 0 Current children cumulated CPU time (s) 582.06 Current children cumulated vsize (KiB) 92144 [startup+642.301 s] /proc/loadavg: 1.11 1.05 1.01 2/107 7803 /proc/meminfo: memFree=1670536/2059040 swapFree=4136752/4192956 [pid=7781] ppid=7779 vsize=92144 CPUtime=642.05 /proc/7781/stat : 7781 (pbscip.linux.x8) R 7779 7781 7277 0 -1 4202496 101283 0 0 0 63086 1119 0 0 25 0 1 0 38835599 94355456 21719 1992294400 4194304 8223781 140737286971168 18446744073709551615 4854299 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7781/statm: 23036 21719 599 984 0 22049 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 92144 [startup+702.3 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.03 1.05 1.00 2/107 7809 /proc/meminfo: memFree=1670536/2059040 swapFree=4136752/4192956 [pid=7781] ppid=7779 vsize=92280 CPUtime=881.95 /proc/7781/stat : 7781 (pbscip.linux.x8) R 7779 7781 7277 0 -1 4202496 101307 0 0 0 86666 1529 0 0 25 0 1 0 38835599 94494720 21743 1992294400 4194304 8223781 140737286971168 18446744073709551615 4854280 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7781/statm: 23070 21743 599 984 0 22083 0 Current children cumulated CPU time (s) 881.95 Current children cumulated vsize (KiB) 92280 [startup+942.301 s] /proc/loadavg: 1.01 1.04 1.00 2/107 7811 /proc/meminfo: memFree=1670536/2059040 swapFree=4136752/4192956 [pid=7781] ppid=7779 vsize=92280 CPUtime=941.93 /proc/7781/stat : 7781 (pbscip.linux.x8) R 7779 7781 7277 0 -1 4202496 101312 0 0 0 92564 1629 0 0 25 0 1 0 38835599 94494720 21748 1992294400 4194304 8223781 140737286971168 18446744073709551615 4854249 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7781/statm: 23070 21748 599 984 0 22083 0 Current children cumulated CPU time (s) 941.93 Current children cumulated vsize (KiB) 92280 [startup+1002.3 s] /proc/loadavg: 1.00 1.03 1.00 2/107 7811 /proc/meminfo: memFree=1670536/2059040 swapFree=4136752/4192956 [pid=7781] ppid=7779 vsize=92280 CPUtime=1001.91 /proc/7781/stat : 7781 (pbscip.linux.x8) R 7779 7781 7277 0 -1 4202496 101312 0 0 0 98461 1730 0 0 25 0 1 0 38835599 94494720 21748 1992294400 4194304 8223781 140737286971168 18446744073709551615 4854249 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7781/statm: 23070 21748 599 984 0 22083 0 Current children cumulated CPU time (s) 1001.91 Current children cumulated vsize (KiB) 92280 [startup+1062.3 s] /proc/loadavg: 1.00 1.02 1.00 2/107 7813 /proc/meminfo: memFree=1670536/2059040 swapFree=4136752/4192956 [pid=7781] ppid=7779 vsize=92416 CPUtime=1061.88 /proc/7781/stat : 7781 (pbscip.linux.x8) R 7779 7781 7277 0 -1 4202496 101331 0 0 0 104348 1840 0 0 25 0 1 0 38835599 94633984 21767 1992294400 4194304 8223781 140737286971168 18446744073709551615 4854293 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7781/statm: 23104 21767 599 984 0 22117 0 Current children cumulated CPU time (s) 1061.88 Current children cumulated vsize (KiB) 92416 [startup+1122.3 s] /proc/loadavg: 1.00 1.02 1.00 2/107 7815 /proc/meminfo: memFree=1670536/2059040 swapFree=4136752/4192956 [pid=7781] ppid=7779 vsize=92416 CPUtime=1121.86 /proc/7781/stat : 7781 (pbscip.linux.x8) R 7779 7781 7277 0 -1 4202496 101334 0 0 0 110239 1947 0 0 25 0 1 0 38835599 94633984 21770 1992294400 4194304 8223781 140737286971168 18446744073709551615 4854293 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7781/statm: 23104 21770 599 984 0 22117 0 Current children cumulated CPU time (s) 1121.86 Current children cumulated vsize (KiB) 92416 [startup+1182.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 7817 /proc/meminfo: memFree=1670536/2059040 swapFree=4136752/4192956 [pid=7781] ppid=7779 vsize=92416 CPUtime=1181.84 /proc/7781/stat : 7781 (pbscip.linux.x8) R 7779 7781 7277 0 -1 4202496 101340 0 0 0 116138 2046 0 0 25 0 1 0 38835599 94633984 21776 1992294400 4194304 8223781 140737286971168 18446744073709551615 4854764 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7781/statm: 23104 21776 599 984 0 22117 0 Current children cumulated CPU time (s) 1181.84 Current children cumulated vsize (KiB) 92416 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7819 /proc/meminfo: memFree=1670412/2059040 swapFree=4136752/4192956 [pid=7781] ppid=7779 vsize=92416 CPUtime=1241.81 /proc/7781/stat : 7781 (pbscip.linux.x8) R 7779 7781 7277 0 -1 4202496 101342 0 0 0 122032 2149 0 0 25 0 1 0 38835599 94633984 21778 1992294400 4194304 8223781 140737286971168 18446744073709551615 5919051 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7781/statm: 23104 21778 599 984 0 22117 0 Current children cumulated CPU time (s) 1241.81 Current children cumulated vsize (KiB) 92416 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7819 /proc/meminfo: memFree=1670412/2059040 swapFree=4136752/4192956 [pid=7781] ppid=7779 vsize=92416 CPUtime=1301.8 /proc/7781/stat : 7781 (pbscip.linux.x8) R 7779 7781 7277 0 -1 4202496 101345 0 0 0 127920 2260 0 0 25 0 1 0 38835599 94633984 21781 1992294400 4194304 8223781 140737286971168 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7781/statm: 23104 21781 599 984 0 22117 0 Current children cumulated CPU time (s) 1301.8 Current children cumulated vsize (KiB) 92416 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7821 /proc/meminfo: memFree=1670412/2059040 swapFree=4136752/4192956 [pid=7781] ppid=7779 vsize=92416 CPUtime=1361.77 /proc/7781/stat : 7781 (pbscip.linux.x8) R 7779 7781 7277 0 -1 4202496 101347 0 0 0 133818 2359 0 0 25 0 1 0 38835599 94633984 21783 1992294400 4194304 8223781 140737286971168 18446744073709551615 4854246 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7781/statm: 23104 21783 599 984 0 22117 0 Current children cumulated CPU time (s) 1361.77 Current children cumulated vsize (KiB) 92416 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7823 /proc/meminfo: memFree=1670412/2059040 swapFree=4136752/4192956 [pid=7781] ppid=7779 vsize=92416 CPUtime=1421.76 /proc/7781/stat : 7781 (pbscip.linux.x8) R 7779 7781 7277 0 -1 4202496 101347 0 0 0 139710 2466 0 0 25 0 1 0 38835599 94633984 21783 1992294400 4194304 8223781 140737286971168 18446744073709551615 4854249 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7781/statm: 23104 21783 599 984 0 22117 0 Current children cumulated CPU time (s) 1421.76 Current children cumulated vsize (KiB) 92416 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7825 /proc/meminfo: memFree=1670288/2059040 swapFree=4136752/4192956 [pid=7781] ppid=7779 vsize=92416 CPUtime=1481.72 /proc/7781/stat : 7781 (pbscip.linux.x8) R 7779 7781 7277 0 -1 4202496 101347 0 0 0 145607 2565 0 0 25 0 1 0 38835599 94633984 21783 1992294400 4194304 8223781 140737286971168 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7781/statm: 23104 21783 599 984 0 22117 0 Current children cumulated CPU time (s) 1481.72 Current children cumulated vsize (KiB) 92416 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7827 /proc/meminfo: memFree=1670288/2059040 swapFree=4136752/4192956 [pid=7781] ppid=7779 vsize=92416 CPUtime=1541.7 /proc/7781/stat : 7781 (pbscip.linux.x8) R 7779 7781 7277 0 -1 4202496 101347 0 0 0 151498 2672 0 0 25 0 1 0 38835599 94633984 21783 1992294400 4194304 8223781 140737286971168 18446744073709551615 4854299 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7781/statm: 23104 21783 599 984 0 22117 0 Current children cumulated CPU time (s) 1541.7 Current children cumulated vsize (KiB) 92416 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7827 /proc/meminfo: memFree=1670288/2059040 swapFree=4136752/4192956 [pid=7781] ppid=7779 vsize=92416 CPUtime=1601.68 /proc/7781/stat : 7781 (pbscip.linux.x8) R 7779 7781 7277 0 -1 4202496 101347 0 0 0 157400 2768 0 0 25 0 1 0 38835599 94633984 21783 1992294400 4194304 8223781 140737286971168 18446744073709551615 5918157 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7781/statm: 23104 21783 599 984 0 22117 0 Current children cumulated CPU time (s) 1601.68 Current children cumulated vsize (KiB) 92416 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7829 /proc/meminfo: memFree=1670288/2059040 swapFree=4136752/4192956 [pid=7781] ppid=7779 vsize=92416 CPUtime=1661.66 /proc/7781/stat : 7781 (pbscip.linux.x8) R 7779 7781 7277 0 -1 4202496 101348 0 0 0 163293 2873 0 0 25 0 1 0 38835599 94633984 21784 1992294400 4194304 8223781 140737286971168 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7781/statm: 23104 21784 599 984 0 22117 0 Current children cumulated CPU time (s) 1661.66 Current children cumulated vsize (KiB) 92416 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7831 /proc/meminfo: memFree=1670164/2059040 swapFree=4136752/4192956 [pid=7781] ppid=7779 vsize=92416 CPUtime=1721.63 /proc/7781/stat : 7781 (pbscip.linux.x8) R 7779 7781 7277 0 -1 4202496 101349 0 0 0 169190 2973 0 0 25 0 1 0 38835599 94633984 21785 1992294400 4194304 8223781 140737286971168 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7781/statm: 23104 21785 599 984 0 22117 0 Current children cumulated CPU time (s) 1721.63 Current children cumulated vsize (KiB) 92416 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7833 /proc/meminfo: memFree=1669916/2059040 swapFree=4136752/4192956 [pid=7781] ppid=7779 vsize=92416 CPUtime=1781.61 /proc/7781/stat : 7781 (pbscip.linux.x8) R 7779 7781 7277 0 -1 4202496 101349 0 0 0 175088 3073 0 0 25 0 1 0 38835599 94633984 21785 1992294400 4194304 8223781 140737286971168 18446744073709551615 4854505 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7781/statm: 23104 21785 599 984 0 22117 0 Current children cumulated CPU time (s) 1781.61 Current children cumulated vsize (KiB) 92416 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7833 /proc/meminfo: memFree=1669916/2059040 swapFree=4136752/4192956 [pid=7781] ppid=7779 vsize=92416 CPUtime=1800.02 /proc/7781/stat : 7781 (pbscip.linux.x8) R 7779 7781 7277 0 -1 4202496 101350 0 0 0 176896 3106 0 0 25 0 1 0 38835599 94633984 21786 1992294400 4194304 8223781 140737286971168 18446744073709551615 4854299 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7781/statm: 23104 21786 599 984 0 22117 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 92416 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7833 /proc/meminfo: memFree=1669916/2059040 swapFree=4136752/4192956 [pid=7781] ppid=7779 vsize=92416 CPUtime=1800.02 /proc/7781/stat : 7781 (pbscip.linux.x8) R 7779 7781 7277 0 -1 4202496 101350 0 0 0 176896 3106 0 0 25 0 1 0 38835599 94633984 21786 1992294400 4194304 8223781 140737286971168 18446744073709551615 4854299 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7781/statm: 23104 21786 599 984 0 22117 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 92416 Child status: 0 Real time (s): 1800.78 CPU time (s): 1800.09 CPU user time (s): 1769.01 CPU system time (s): 31.0803 CPU usage (%): 99.962 Max. virtual memory (cumulated for all children) (KiB): 116712 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1769.01 system time used= 31.0803 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 101373 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= 2 involuntary context switches= 5542 runsolver used 3.04054 second user time and 8.45271 second system time The end
Begin job on node012 at 2010-06-15 22:05:40 IDJOB=2666787 IDBENCH=24982 IDSOLVER=1169 FILE ID=node012/2666787-1276632340 PBS_JOBID= 11172347 Free space on /tmp= 62588 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_030_area_delay.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-2666787-1276632340/watcher-2666787-1276632340 -o /tmp/evaluation-result-2666787-1276632340/solver-2666787-1276632340 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666787-1276632340.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 55bd571d186b9003e67d2301a4d2bce5 RANDOM SEED=86759396 node012.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.258 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.51 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.258 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1757624 kB Buffers: 99220 kB Cached: 120176 kB SwapCached: 9788 kB Active: 107588 kB Inactive: 125252 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1757624 kB SwapTotal: 4192956 kB SwapFree: 4136752 kB Dirty: 5112 kB Writeback: 20 kB AnonPages: 11604 kB Mapped: 9364 kB Slab: 46896 kB PageTables: 4092 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181536 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62584 MiB End job on node012 at 2010-06-15 22:35:43