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.17 | 1800.63 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_002_area_delay.opb |
| MD5SUM | d6135de924aeb400fc0f7d1c419e5860 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 24 |
| Best CPU time to get the best result obtained on this benchmark | 6.30604 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 24 |
| Optimality of the best value was proved | YES |
| Number of variables | 6080 |
| Total number of constraints | 18113 |
| Number of constraints which are clauses | 18113 |
| 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 | 125 |
| Number of terms in the objective function | 2975 |
| 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 | 2975 |
| 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 | 2975 |
| 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-2666801-1276635903.opb>
0.29/0.34 c original problem has 6080 variables (6080 bin, 0 int, 0 impl, 0 cont) and 18113 constraints
0.29/0.34 c problem read
0.29/0.34 c presolving settings loaded
0.38/0.45 c presolving:
0.59/0.62 c (round 1) 3411 del vars, 6326 del conss, 487 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 29002 impls, 0 clqs
0.59/0.63 c (round 2) 3411 del vars, 7395 del conss, 487 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 29002 impls, 0 clqs
0.68/0.77 c (round 3) 3411 del vars, 7406 del conss, 487 chg bounds, 0 chg sides, 0 chg coeffs, 10689 upgd conss, 29002 impls, 0 clqs
0.79/0.81 c (round 4) 3411 del vars, 7406 del conss, 487 chg bounds, 0 chg sides, 0 chg coeffs, 10707 upgd conss, 29002 impls, 0 clqs
0.88/0.93 c (0.5s) probing: 101/2669 (3.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.88/0.93 c (0.5s) probing aborted: 100/100 successive totally useless probings
0.88/0.93 c presolving (5 rounds):
0.88/0.93 c 3411 deleted vars, 7406 deleted constraints, 487 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.88/0.93 c 29002 implications, 0 cliques
0.88/0.93 c presolved problem has 2669 variables (2669 bin, 0 int, 0 impl, 0 cont) and 10707 constraints
0.88/0.93 c 10707 constraints of type <logicor>
0.88/0.93 c transformed objective value is always integral (scale: 1)
0.88/0.93 c Presolving Time: 0.46
0.88/0.93 c - non default parameters ----------------------------------------------------------------------
0.88/0.93 c # SCIP version 1.2.1.2
0.88/0.93 c
0.88/0.93 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.88/0.93 c # [type: int, range: [-1,2147483647], default: -1]
0.88/0.93 c conflict/interconss = 0
0.88/0.93 c
0.88/0.93 c # should binary conflicts be preferred?
0.88/0.93 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.88/0.93 c conflict/preferbinary = TRUE
0.88/0.93 c
0.88/0.93 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.88/0.93 c # [type: int, range: [-1,2147483647], default: 0]
0.88/0.93 c constraints/agelimit = 1
0.88/0.93 c
0.88/0.93 c # should enforcement of pseudo solution be disabled?
0.88/0.93 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.88/0.93 c constraints/disableenfops = TRUE
0.88/0.93 c
0.88/0.93 c # frequency for displaying node information lines
0.88/0.93 c # [type: int, range: [-1,2147483647], default: 100]
0.88/0.93 c display/freq = 10000
0.88/0.93 c
0.88/0.93 c # maximal time in seconds to run
0.88/0.93 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.88/0.93 c limits/time = 1799.67
0.88/0.93 c
0.88/0.93 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.88/0.93 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.88/0.93 c limits/memory = 1620
0.88/0.93 c
0.88/0.93 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.88/0.93 c # [type: int, range: [-1,2147483647], default: 1]
0.88/0.93 c lp/solvefreq = 0
0.88/0.93 c
0.88/0.93 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.88/0.93 c # [type: char, range: {lafpsqd}, default: l]
0.88/0.93 c lp/pricing = a
0.88/0.93 c
0.88/0.93 c # should presolving try to simplify inequalities
0.88/0.93 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.88/0.93 c constraints/linear/simplifyinequalities = TRUE
0.88/0.93 c
0.88/0.93 c # should presolving try to simplify knapsacks
0.88/0.93 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.88/0.93 c constraints/knapsack/simplifyinequalities = TRUE
0.88/0.93 c
0.88/0.93 c # priority of node selection rule <dfs> in standard mode
0.88/0.93 c # [type: int, range: [-536870912,536870911], default: 0]
0.88/0.93 c nodeselection/dfs/stdpriority = 1000000
0.88/0.93 c
0.88/0.93 c -----------------------------------------------------------------------------------------------
0.88/0.93 c start solving
0.88/0.94 c
1.18/1.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.18/1.25 c 0.8s| 1 | 0 | 733 | - | 27M| 0 | 184 |2669 | 10k|2669 | 10k| 0 | 0 | 0 | 2.298877e+01 | -- | Inf
1.18/1.26 o 50
1.18/1.26 c R 0.8s| 1 | 0 | 733 | - | 27M| 0 | 184 |2669 | 10k|2669 | 10k| 0 | 0 | 0 | 2.298877e+01 | 5.000000e+01 | 117.50%
2.49/2.51 c 2.0s| 1 | 0 | 850 | - | 29M| 0 | 169 |2669 | 10k|2669 | 10k| 3 | 0 | 0 | 2.308785e+01 | 5.000000e+01 | 116.56%
2.49/2.52 o 48
2.49/2.52 c b 2.0s| 1 | 0 | 850 | - | 29M| 0 | 169 |2669 | 10k|2669 | 10k| 3 | 0 | 0 | 2.308785e+01 | 4.800000e+01 | 107.90%
2.49/2.53 o 48
2.49/2.53 c s 2.1s| 1 | 0 | 850 | - | 29M| 0 | 169 |2669 | 10k|2669 | 10k| 3 | 0 | 0 | 2.308785e+01 | 4.800000e+01 | 107.90%
5.19/5.26 c 4.8s| 1 | 0 | 963 | - | 29M| 0 | 145 |2669 | 10k|2669 | 10k| 6 | 0 | 0 | 2.321622e+01 | 4.800000e+01 | 106.75%
5.19/5.27 o 45
5.19/5.27 c R 4.8s| 1 | 0 | 963 | - | 29M| 0 | 145 |2669 | 10k|2669 | 10k| 6 | 0 | 0 | 2.321622e+01 | 4.500000e+01 | 93.83%
5.19/5.28 o 44
5.19/5.28 c b 4.8s| 1 | 0 | 963 | - | 29M| 0 | 145 |2669 | 10k|2669 | 10k| 6 | 0 | 0 | 2.321622e+01 | 4.400000e+01 | 89.52%
6.79/6.86 c 6.3s| 1 | 0 | 1041 | - | 30M| 0 | 197 |2669 | 10k|2669 | 10k| 9 | 0 | 0 | 2.400000e+01 | 4.400000e+01 | 83.33%
9.90/9.99 c 9.4s| 1 | 0 | 1096 | - | 30M| 0 | 187 |2669 | 10k|2669 | 10k| 15 | 0 | 0 | 2.400000e+01 | 4.400000e+01 | 83.33%
12.88/12.98 c 12.4s| 1 | 0 | 1172 | - | 31M| 0 | 212 |2669 | 10k|2669 | 10k| 19 | 0 | 0 | 2.400000e+01 | 4.400000e+01 | 83.33%
16.09/16.13 c 15.5s| 1 | 0 | 1225 | - | 31M| 0 | 209 |2669 | 10k|2669 | 10k| 24 | 0 | 0 | 2.400000e+01 | 4.400000e+01 | 83.33%
20.08/20.11 c 19.5s| 1 | 0 | 1295 | - | 31M| 0 | 210 |2669 | 10k|2669 | 10k| 28 | 0 | 0 | 2.400000e+01 | 4.400000e+01 | 83.33%
24.78/24.81 c 24.2s| 1 | 0 | 1320 | - | 31M| 0 | 211 |2669 | 10k|2669 | 10k| 32 | 0 | 0 | 2.400000e+01 | 4.400000e+01 | 83.33%
25.29/25.33 o 26
25.29/25.33 c E24.6s| 1 | 0 | 1320 | - | 31M| 0 | 211 |2669 | 10k|2669 | 10k| 32 | 0 | 0 | 2.400000e+01 | 2.600000e+01 | 8.33%
25.29/25.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
25.29/25.35 c 24.6s| 1 | 0 | 1320 | - | 31M| 0 | 211 |2669 | 10k|2669 | 10k| 32 | 0 | 0 | 2.400000e+01 | 2.600000e+01 | 8.33%
30.08/30.13 c 29.4s| 1 | 0 | 1391 | - | 31M| 0 | 225 |2669 | 10k|2669 | 10k| 37 | 0 | 0 | 2.400000e+01 | 2.600000e+01 | 8.33%
42.38/42.46 c 41.6s| 1 | 2 | 1391 | - | 31M| 0 | 225 |2669 | 10k|2669 | 10k| 37 | 0 | 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
51.17/51.20 c 50.1s| 10000 | 616 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 |6462 | 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
59.78/59.80 c 58.5s| 20000 | 607 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 12k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
68.37/68.40 c 66.8s| 30000 | 615 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 18k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
76.17/76.29 c 74.5s| 40000 | 616 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 24k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
84.47/84.57 c 82.5s| 50000 | 613 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 30k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
93.48/93.52 c 91.2s| 60000 | 612 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 35k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
102.06/102.11 c 99.5s| 70000 | 610 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 41k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
110.96/111.05 c 108s| 80000 | 612 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 47k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
120.06/120.14 c 117s| 90000 | 607 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 53k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
128.96/129.03 c 126s|100000 | 609 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 59k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
137.85/137.96 c 134s|110000 | 618 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 65k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
146.76/146.88 c 143s|120000 | 615 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 71k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
155.06/155.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
155.06/155.11 c 151s|130000 | 612 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 76k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
163.75/163.89 c 160s|140000 | 608 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 82k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
172.04/172.15 c 168s|150000 | 616 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 88k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
179.84/179.91 c 175s|160000 | 612 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 93k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
187.84/187.97 c 183s|170000 | 608 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 99k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
196.24/196.34 c 191s|180000 | 609 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 105k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
204.04/204.13 c 199s|190000 | 612 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 110k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
212.24/212.38 c 207s|200000 | 607 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 116k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
220.43/220.58 c 215s|210000 | 612 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 122k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
229.03/229.14 c 223s|220000 | 609 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 127k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
237.53/237.64 c 231s|230000 | 612 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 133k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
246.33/246.40 c 240s|240000 | 600 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 139k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
253.93/254.02 c 247s|250000 | 603 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 144k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
261.82/261.99 c 255s|260000 | 606 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 150k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
270.21/270.33 c 263s|270000 | 606 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 155k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
278.92/279.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
278.92/279.07 c 271s|280000 | 607 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 161k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
287.12/287.27 c 279s|290000 | 603 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 166k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
295.21/295.34 c 287s|300000 | 606 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 172k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
303.42/303.53 c 295s|310000 | 606 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 177k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
312.01/312.12 c 304s|320000 | 608 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 183k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
320.71/320.87 c 312s|330000 | 604 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 188k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
329.50/329.66 c 321s|340000 | 603 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 194k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
337.80/337.97 c 329s|350000 | 611 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 200k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
346.10/346.26 c 337s|360000 | 606 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 206k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
354.29/354.41 c 345s|370000 | 602 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 211k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
362.90/363.05 c 353s|380000 | 603 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 217k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
371.00/371.17 c 361s|390000 | 605 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 223k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
379.29/379.46 c 369s|400000 | 600 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 228k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
387.79/387.97 c 377s|410000 | 604 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 234k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
396.39/396.54 c 386s|420000 | 600 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 239k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
404.28/404.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
404.28/404.45 c 393s|430000 | 607 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 245k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
412.39/412.54 c 401s|440000 | 603 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 251k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
420.78/420.90 c 409s|450000 | 611 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 256k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
429.68/429.84 c 418s|460000 | 611 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 262k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
438.18/438.38 c 426s|470000 | 612 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 268k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
446.97/447.16 c 435s|480000 | 611 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 273k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
455.47/455.65 c 443s|490000 | 611 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 279k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
463.77/463.93 c 451s|500000 | 605 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 284k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
471.97/472.16 c 459s|510000 | 604 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 290k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
480.47/480.65 c 467s|520000 | 609 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 295k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
489.07/489.28 c 476s|530000 | 611 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 301k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
496.66/496.85 c 483s|540000 | 606 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 306k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
504.76/504.94 c 491s|550000 | 605 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 311k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
513.06/513.22 c 499s|560000 | 606 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 317k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
521.45/521.62 c 507s|570000 | 600 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 322k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
529.56/529.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
529.56/529.75 c 515s|580000 | 601 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 328k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
538.25/538.42 c 523s|590000 | 607 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 333k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
547.34/547.50 c 532s|600000 | 612 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 339k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
555.04/555.26 c 540s|610000 | 609 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 344k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
563.34/563.50 c 548s|620000 | 608 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 350k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
571.54/571.79 c 556s|630000 | 612 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 356k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
580.24/580.41 c 564s|640000 | 601 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 361k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
588.94/589.18 c 573s|650000 | 602 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 367k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
597.53/597.76 c 581s|660000 | 608 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 373k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
606.03/606.25 c 589s|670000 | 602 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 379k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
614.53/614.70 c 597s|680000 | 603 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 384k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
623.13/623.38 c 606s|690000 | 613 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 390k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
630.93/631.18 c 613s|700000 | 614 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 395k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
639.12/639.33 c 621s|710000 | 605 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 401k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
646.82/647.08 c 629s|720000 | 609 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 406k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
655.42/655.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
655.42/655.66 c 637s|730000 | 606 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 412k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
664.31/664.57 c 646s|740000 | 602 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 418k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
672.62/672.83 c 654s|750000 | 600 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 423k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
680.91/681.13 c 662s|760000 | 602 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 429k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
689.11/689.34 c 670s|770000 | 608 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 434k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
697.61/697.87 c 678s|780000 | 602 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 440k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
706.20/706.40 c 687s|790000 | 598 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 446k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
714.51/714.77 c 695s|800000 | 604 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 452k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
722.80/723.02 c 703s|810000 | 600 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 457k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
731.31/731.59 c 711s|820000 | 609 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 463k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
740.00/740.25 c 719s|830000 | 608 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 469k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
748.69/748.91 c 728s|840000 | 609 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 474k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
757.19/757.45 c 736s|850000 | 607 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 480k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
766.29/766.55 c 745s|860000 | 609 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 486k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
774.99/775.24 c 753s|870000 | 602 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 492k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
783.78/784.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
783.78/784.05 c 762s|880000 | 610 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 497k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
792.48/792.71 c 770s|890000 | 601 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 503k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
801.38/801.66 c 779s|900000 | 606 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 508k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
809.88/810.13 c 787s|910000 | 607 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 514k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
817.78/818.07 c 795s|920000 | 613 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 519k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
825.17/825.46 c 802s|930000 | 609 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 524k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
833.28/833.52 c 810s|940000 | 606 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 530k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
841.77/842.04 c 818s|950000 | 605 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 536k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
849.87/850.18 c 826s|960000 | 608 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 541k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
858.06/858.36 c 834s|970000 | 605 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 547k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
865.96/866.20 c 842s|980000 | 611 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 552k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
873.76/874.08 c 849s|990000 | 606 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 557k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
881.46/881.76 c 857s| 1000k| 598 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 563k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
888.95/889.23 c 864s| 1010k| 606 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 568k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
897.15/897.46 c 872s| 1020k| 606 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 573k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
905.66/905.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
905.66/905.90 c 880s| 1030k| 601 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 579k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
914.35/914.67 c 889s| 1040k| 601 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 585k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
922.85/923.15 c 897s| 1050k| 609 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 590k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
930.65/930.94 c 905s| 1060k| 608 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 596k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
939.65/939.97 c 913s| 1070k| 609 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 601k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
948.24/948.57 c 922s| 1080k| 611 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 607k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
956.64/956.99 c 930s| 1090k| 610 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 612k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
965.84/966.13 c 939s| 1100k| 610 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 618k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
974.53/974.87 c 947s| 1110k| 612 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 623k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
983.23/983.55 c 956s| 1120k| 608 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 629k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
991.84/992.16 c 964s| 1130k| 610 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 634k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
1000.33/1000.62 c 972s| 1140k| 609 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 640k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
1009.02/1009.30 c 981s| 1150k| 606 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 645k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
1017.92/1018.30 c 990s| 1160k| 601 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 651k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
1026.32/1026.65 c 998s| 1170k| 603 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 656k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
1035.42/1035.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1035.42/1035.72 c 1006s| 1180k| 604 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 662k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
1044.82/1045.15 c 1016s| 1190k| 606 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 668k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
1053.32/1053.67 c 1024s| 1200k| 603 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 674k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
1062.22/1062.60 c 1033s| 1210k| 610 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 679k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
1070.71/1071.05 c 1041s| 1220k| 609 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 685k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
1079.31/1079.63 c 1049s| 1230k| 609 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 691k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
1087.41/1087.76 c 1057s| 1240k| 601 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 696k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
1095.31/1095.62 c 1065s| 1250k| 603 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 702k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
1103.60/1103.95 c 1073s| 1260k| 602 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 707k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
1111.81/1112.19 c 1081s| 1270k| 605 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 713k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
1120.70/1121.03 c 1089s| 1280k| 597 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 718k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
1129.31/1129.69 c 1098s| 1290k| 598 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 724k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
1138.00/1138.36 c 1106s| 1300k| 614 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 729k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
1146.09/1146.43 c 1114s| 1310k| 609 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 735k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
1154.19/1154.54 c 1122s| 1320k| 601 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 740k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
1162.49/1162.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1162.49/1162.81 c 1130s| 1330k| 606 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 745k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
1170.89/1171.22 c 1138s| 1340k| 609 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 751k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
1179.78/1180.11 c 1147s| 1350k| 606 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 757k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
1188.08/1188.40 c 1155s| 1360k| 610 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 763k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
1196.18/1196.53 c 1163s| 1370k| 609 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 768k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
1203.98/1204.37 c 1170s| 1380k| 606 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 773k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
1211.38/1211.71 c 1177s| 1390k| 605 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 778k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
1219.58/1219.92 c 1185s| 1400k| 610 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 784k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
1227.58/1227.92 c 1193s| 1410k| 602 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 789k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
1235.67/1236.03 c 1201s| 1420k| 605 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 795k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
1243.97/1244.36 c 1209s| 1430k| 600 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 801k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
1252.17/1252.52 c 1217s| 1440k| 603 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 806k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
1260.36/1260.72 c 1225s| 1450k| 603 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 812k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
1268.37/1268.77 c 1233s| 1460k| 609 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 817k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
1277.26/1277.63 c 1242s| 1470k| 608 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 823k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
1285.75/1286.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1285.75/1286.16 c 1250s| 1480k| 604 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 828k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
1294.36/1294.75 c 1258s| 1490k| 608 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 834k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
1302.06/1302.48 c 1266s| 1500k| 602 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 839k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
1310.45/1310.83 c 1274s| 1510k| 606 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 845k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
1319.24/1319.67 c 1282s| 1520k| 605 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 850k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
1327.25/1327.61 c 1290s| 1530k| 607 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 855k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
1335.34/1335.73 c 1298s| 1540k| 609 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 860k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
1343.94/1344.38 c 1306s| 1550k| 605 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 866k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
1351.94/1352.36 c 1314s| 1560k| 602 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 872k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
1360.35/1360.77 c 1322s| 1570k| 603 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 877k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
1369.15/1369.52 c 1331s| 1580k| 609 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 883k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
1377.04/1377.48 c 1339s| 1590k| 613 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 888k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
1385.13/1385.55 c 1346s| 1600k| 607 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 893k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
1393.43/1393.86 c 1354s| 1610k| 607 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 899k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
1401.04/1401.40 c 1362s| 1620k| 611 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 904k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
1409.22/1409.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1409.22/1409.68 c 1370s| 1630k| 602 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 910k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
1417.53/1417.98 c 1378s| 1640k| 605 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 915k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
1425.92/1426.37 c 1386s| 1650k| 605 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 921k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
1434.02/1434.44 c 1394s| 1660k| 608 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 927k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
1442.11/1442.53 c 1402s| 1670k| 603 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 932k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
1450.31/1450.72 c 1410s| 1680k| 603 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 938k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
1458.01/1458.46 c 1417s| 1690k| 605 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 943k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
1466.71/1467.15 c 1425s| 1700k| 603 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 949k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
1475.51/1475.94 c 1434s| 1710k| 608 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 955k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
1484.40/1484.84 c 1443s| 1720k| 605 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 961k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
1493.41/1493.82 c 1451s| 1730k| 603 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 967k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
1502.00/1502.45 c 1460s| 1740k| 603 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 973k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
1510.49/1510.99 c 1468s| 1750k| 613 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 978k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
1518.60/1519.07 c 1476s| 1760k| 611 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 984k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
1526.30/1526.80 c 1484s| 1770k| 612 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 990k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
1534.29/1534.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1534.29/1534.73 c 1491s| 1780k| 611 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 | 995k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
1542.19/1542.67 c 1499s| 1790k| 605 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 |1001k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
1550.19/1550.69 c 1507s| 1800k| 613 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 |1006k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
1558.19/1558.62 c 1514s| 1810k| 608 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 |1011k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
1566.09/1566.54 c 1522s| 1820k| 620 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 |1017k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
1575.08/1575.52 c 1531s| 1830k| 609 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 |1022k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
1583.88/1584.37 c 1539s| 1840k| 613 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 |1028k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
1592.88/1593.31 c 1548s| 1850k| 610 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 |1034k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
1601.87/1602.36 c 1557s| 1860k| 611 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 |1039k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
1609.77/1610.25 c 1564s| 1870k| 606 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 |1044k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
1618.28/1618.79 c 1573s| 1880k| 609 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 |1050k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
1626.87/1627.37 c 1581s| 1890k| 609 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 |1055k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
1635.96/1636.43 c 1590s| 1900k| 611 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 |1061k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
1644.47/1644.96 c 1598s| 1910k| 610 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 |1067k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
1652.96/1653.40 c 1606s| 1920k| 602 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 |1072k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
1661.36/1661.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1661.36/1661.85 c 1614s| 1930k| 606 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 |1077k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
1669.96/1670.49 c 1623s| 1940k| 606 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 |1083k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
1678.65/1679.11 c 1631s| 1950k| 608 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 |1089k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
1687.45/1687.98 c 1640s| 1960k| 613 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 |1095k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
1696.25/1696.71 c 1648s| 1970k| 607 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 |1101k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
1704.65/1705.13 c 1656s| 1980k| 604 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 |1106k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
1713.35/1713.82 c 1665s| 1990k| 610 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 |1112k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
1721.74/1722.25 c 1673s| 2000k| 606 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 |1117k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
1730.34/1730.86 c 1682s| 2010k| 615 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 |1123k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
1738.65/1739.19 c 1690s| 2020k| 610 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 |1129k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
1747.54/1748.03 c 1698s| 2030k| 603 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 |1135k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
1756.04/1756.54 c 1706s| 2040k| 609 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 |1140k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
1764.53/1765.00 c 1715s| 2050k| 610 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 |1145k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
1772.64/1773.15 c 1723s| 2060k| 605 | 1391 | 0.0 | 32M| 639 | - |2669 | 10k| 0 | 0 | 37 |1151k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
1780.83/1781.34 c 1730s| 2070k| 606 | 1391 | 0.0 | 32M| 640 | - |2669 | 10k| 0 | 0 | 37 |1156k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
1788.92/1789.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1788.92/1789.46 c 1738s| 2080k| 599 | 1391 | 0.0 | 32M| 640 | - |2669 | 10k| 0 | 0 | 37 |1161k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
1797.83/1798.32 c 1747s| 2090k| 611 | 1391 | 0.0 | 32M| 640 | - |2669 | 10k| 0 | 0 | 37 |1167k| 19 | 2.400000e+01 | 2.600000e+01 | 8.33%
1800.03/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.50 c
1800.03/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.50 c Solving Time (sec) : 1749.05
1800.03/1800.50 c Solving Nodes : 2092640
1800.03/1800.50 c Primal Bound : +2.59999999999998e+01 (6 solutions)
1800.03/1800.50 c Dual Bound : +2.40000000000000e+01
1800.03/1800.50 c Gap : 8.33 %
1800.03/1800.53 s SATISFIABLE
1800.03/1800.53 v x190 x189 -x6077 -x188 -x6075 x187 -x6072 -x6070 -x186 -x6068 x6066 -x6064 x185 -x6062 -x6060 -x6058 -x6056 -x6054 -x6052 -x184
1800.03/1800.53 v -x6050 x183 -x6047 -x6045 -x182 -x6043 -x6041 -x181 -x6039 -x6037 -x6035 -x6033 -x6031 -x6029 -x6027 -x180 -x6025 -x6023 -x6021
1800.03/1800.53 v -x179 -x6019 -x6017 -x6015 -x6013 -x6011 -x6009 -x6007 -x178 -x6005 -x6003 -x6001 -x5999 -x5997 -x5995 -x5993 -x177 -x5991
1800.03/1800.53 v -x5989 -x5987 -x5985 -x5983 -x5981 -x5979 -x5977 -x5975 -x5973 -x5971 -x5969 -x5967 -x176 -x5965 x175 -x5962 -x5960 -x174 -x5958
1800.03/1800.53 v -x5956 -x5954 -x173 -x5952 -x5950 -x5948 -x5946 -x5944 -x5942 -x5940 -x172 -x5938 -x5936 -x5934 -x171 -x5932 -x5930 -x5928
1800.03/1800.53 v -x5926 -x5924 -x5922 -x5920 -x170 -x5918 -x5916 -x5914 -x5912 -x5910 -x5908 -x5906 -x169 -x5904 -x5902 -x5900 -x5898 -x5896
1800.03/1800.53 v -x5894 -x5892 -x5890 -x5888 -x5886 -x5884 -x5882 -x5880 -x5878 -x5876 -x168 -x5874 -x5872 -x5870 -x167 -x5868 -x5866 -x5864
1800.03/1800.53 v -x5862 -x5860 -x5858 -x5856 -x166 -x5854 -x5852 -x5850 -x5848 -x5846 -x5844 -x5842 -x165 -x5840 -x5838 -x5836 -x5834 -x5832
1800.03/1800.53 v -x5830 -x5828 -x5826 -x5824 -x5822 -x5820 -x5818 -x5816 -x5814 -x5812 -x164 -x5810 x5808 -x5806 -x5804 -x5802 -x5800 -x5798
1800.03/1800.53 v -x5796 -x5794 -x5791 -x5789 -x5787 -x5785 -x5783 -x5781 -x5779 -x5777 -x5775 -x5773 -x5771 -x5769 -x163 -x5767 -x5765 -x5763
1800.03/1800.53 v -x5761 -x5759 -x5757 -x5755 -x5753 -x5751 -x5749 -x5747 -x5744 -x5742 x5740 -x5738 -x5735 -x5733 -x5731 -x5729 -x5727 -x5725
1800.03/1800.53 v -x5723 -x5721 -x5719 -x5717 -x5715 -x5713 -x5711 -x5709 -x5707 -x5705 -x5703 -x5701 -x5699 -x5697 -x5695 -x5693 -x5691 -x5689
1800.03/1800.53 v -x5687 -x5685 -x162 -x5683 -x161 -x5680 -x5678 -x160 -x5676 -x5674 -x5672 x5670 -x5668 -x5666 -x5664 -x5662 -x5660 -x159 -x5657
1800.03/1800.53 v -x5655 -x158 -x5653 -x5651 -x5649 -x5647 -x5645 -x5643 -x5641 -x157 -x5639 -x5637 -x5635 -x5632 -x5630 x5628 x156 -x5626
1800.03/1800.53 v -x5624 -x5622 -x5620 -x5618 -x5616 -x5614 -x5612 -x5610 -x5608 -x5606 -x5604 -x5602 -x5600 -x5598 -x155 -x5596 -x5594 -x5592
1800.03/1800.53 v -x154 -x5590 -x5588 -x5586 -x5584 -x5582 -x5580 -x5578 -x153 -x5576 -x5574 -x5572 -x5570 -x5568 -x152 -x5565 -x5563 -x5561 -x5559
1800.03/1800.53 v -x5557 -x5555 -x5553 -x5551 -x5549 -x5547 -x5545 -x5543 -x5541 -x5539 -x5537 -x151 -x5535 -x5533 -x5531 -x5529 -x5527 -x5525
1800.03/1800.53 v -x5523 -x150 -x5521 -x5519 -x5517 -x5515 -x5513 -x5511 -x5509 -x5507 -x5505 -x5503 -x5501 -x5499 -x5497 -x5495 -x5493 -x149
1800.03/1800.53 v -x5491 -x5489 -x5487 -x5485 -x5483 -x5481 -x5479 -x5477 -x5475 -x5473 -x5471 -x5469 -x5467 -x5465 -x148 -x5463 -x5461 -x5459
1800.03/1800.53 v -x5457 -x5455 -x5453 -x5451 -x5449 -x5447 -x5445 -x5443 -x5441 -x5439 x5437 -x5435 -x5433 -x5431 -x5429 -x5427 -x5425 -x5423
1800.03/1800.53 v -x5421 -x5419 -x5417 -x5415 -x5413 -x5411 -x5409 -x5407 -x5405 -x5403 -x5401 -x5399 -x5397 -x147 -x5395 -x5392 -x5390 -x5388
1800.03/1800.53 v -x5386 -x5384 -x146 -x5382 -x5380 -x5378 -x5376 -x5374 -x5372 -x5370 -x145 -x5368 -x5366 x5364 -x5362 -x5360 -x5358 -x5356
1800.03/1800.53 v -x5354 -x5352 -x5350 -x5348 -x5346 -x5344 -x5342 -x5340 -x5338 -x5336 -x5334 -x5332 -x5330 -x5328 -x5326 -x144 -x5324 -x5322
1800.03/1800.53 v -x5320 -x5318 -x5316 -x5314 -x5312 -x5310 -x5308 -x5306 -x5304 -x5302 -x5300 -x5298 -x5296 -x143 -x5294 -x5292 -x5290 -x5288
1800.03/1800.53 v -x5285 -x5283 -x5281 -x5279 -x5277 -x5275 -x5273 -x5271 -x5269 -x5267 -x142 -x5265 -x5263 -x5261 -x5259 -x5257 -x5255 -x5253
1800.03/1800.53 v -x5250 -x5248 -x5246 -x5244 -x5242 -x5240 -x5238 -x5236 -x5234 -x5232 -x5230 -x5228 -x5225 -x5223 -x5221 -x5219 -x5217 -x5215
1800.03/1800.53 v -x5213 -x5211 -x5209 -x5207 -x141 -x5205 -x140 -x5202 -x5200 -x139 -x5198 -x5196 -x5194 -x138 -x5192 -x5190 -x5188 -x5186
1800.03/1800.53 v -x5184 -x5182 -x5180 -x137 -x5178 -x5176 -x5174 -x136 -x5172 -x5170 -x5168 -x5166 -x5163 -x5161 -x135 -x5159 -x5157 -x5155 -x5153
1800.03/1800.53 v -x5151 -x5149 -x5147 -x134 -x5145 -x5143 -x5141 -x5139 -x5137 -x5135 -x5133 -x5131 -x5129 -x5127 -x5125 -x5123 -x5121 -x5119
1800.03/1800.53 v -x5117 -x133 -x5115 -x5113 -x5111 -x132 -x5109 -x5107 -x5105 -x5103 -x5101 -x5099 -x5097 -x131 -x5095 x5093 -x5091 -x5089
1800.03/1800.53 v -x5087 -x5085 -x5083 x130 -x5081 -x5079 -x5077 -x5075 -x5073 -x5071 -x5069 -x5067 -x5065 -x5063 -x5061 -x5059 -x5057 -x5055
1800.03/1800.53 v -x5053 -x129 -x5051 -x5049 -x5047 -x5045 -x5043 -x5041 -x5039 -x128 -x5037 -x5035 -x5033 -x5031 -x5029 -x5027 -x5025 -x5023
1800.03/1800.53 v -x5021 -x5019 -x5017 -x5015 -x5013 -x5011 -x5009 -x127 -x5007 -x5005 -x5003 -x5001 -x4999 -x4997 -x4995 -x4993 -x4991 -x4989
1800.03/1800.53 v -x4987 -x4985 -x4983 -x4981 x4979 -x4977 -x4974 -x4972 -x4970 -x4968 -x4966 -x4964 -x4962 -x4960 -x4958 -x4956 -x4954 -x4952
1800.03/1800.53 v -x4950 -x4948 -x4946 -x4944 -x4942 -x4940 -x4938 -x4936 -x4934 -x4932 -x4930 -x4928 -x4926 -x4924 -x4922 -x4920 -x4918 -x126
1800.03/1800.53 v -x4916 -x4914 -x4912 -x125 -x4910 -x4908 -x4906 -x4904 -x4902 x4900 -x4898 -x4896 -x4894 -x4892 -x4890 -x4888 -x4886 -x4884 -x124
1800.03/1800.53 v -x4882 -x4880 -x4878 -x4875 -x4873 -x4871 -x4869 -x4867 -x4865 -x4863 -x4861 -x4859 -x4857 -x4855 -x123 -x4853 -x4851 -x4849
1800.03/1800.53 v -x4847 -x4845 -x4843 -x4841 -x122 -x4839 -x4837 -x4835 -x4833 -x4831 -x4829 -x4827 -x4825 -x4823 -x4821 -x4819 -x4817 -x4815
1800.03/1800.53 v -x4812 -x121 -x4810 -x4808 -x4806 -x4804 -x4802 -x4800 -x4798 -x4796 -x4794 -x4792 -x4790 -x4788 -x4786 -x4784 -x4782 -x120
1800.03/1800.53 v -x4780 -x4778 -x4776 -x4774 -x4772 -x4770 -x4768 -x4766 -x4764 -x4762 -x4760 -x4758 -x4756 -x4754 -x4752 -x4750 -x4748 -x4746
1800.03/1800.53 v -x4744 -x4742 -x4740 -x4738 -x4736 -x4734 -x4732 -x4730 -x4728 -x4726 -x4724 -x4722 -x4720 -x119 -x4718 -x4716 -x4714 -x4712
1800.03/1800.53 v -x4710 -x4708 -x4706 -x118 -x4704 -x4702 -x4700 -x4698 -x4696 -x4694 -x4691 -x4689 -x4687 -x4685 -x4683 -x4681 -x4679 -x4677
1800.03/1800.53 v -x117 -x4675 -x4673 -x4671 -x4669 -x4667 -x4665 -x4663 -x4661 -x4659 -x4657 -x4655 -x4653 -x4651 -x4649 -x4647 -x116 -x4645
1800.03/1800.53 v -x4643 -x4641 -x4639 -x4637 -x4635 -x4633 -x4631 -x4629 -x4627 -x4625 -x4623 -x4621 -x4619 -x4617 -x4615 -x4613 -x4611 -x4609
1800.03/1800.53 v -x4607 -x4605 -x4603 -x4601 -x4599 -x4597 -x4595 -x4593 -x4591 -x4589 -x4587 -x4585 -x115 -x4583 -x4581 -x4579 -x4577 -x4575
1800.03/1800.53 v -x4573 -x4571 -x4568 -x4566 -x4564 -x4562 -x4560 -x4558 -x4556 -x114 -x4554 -x4552 -x4550 -x4548 -x4546 -x4544 -x4542 -x4540
1800.03/1800.53 v -x4538 -x4536 -x4534 -x4532 -x4530 -x4528 -x4526 -x4524 -x4522 -x4520 -x4518 -x4516 -x4514 -x4512 -x4510 -x4508 -x4506 -x4504
1800.03/1800.53 v -x4502 -x4500 -x4498 -x4496 -x4494 -x113 -x4492 -x4490 -x4488 -x4486 -x4484 -x4482 -x4480 -x4478 -x4476 -x4474 -x4472 -x4470
1800.03/1800.53 v -x4467 -x4465 -x4463 -x4461 -x4458 -x4456 -x4454 -x4452 -x4450 -x4448 -x4446 -x4444 -x4442 -x4440 -x4438 -x4436 -x112 -x4434
1800.03/1800.53 v -x4432 -x4430 -x4428 -x4426 -x4424 -x4422 -x4420 -x4418 -x4416 -x4414 -x4412 -x4410 -x4408 -x4406 -x4404 -x4402 -x4400
1800.03/1800.53 v -x4398 -x4396 -x4394 -x4392 -x4389 -x4387 -x4385 -x4383 -x4381 -x4379 -x4377 -x4375 -x4373 -x4371 -x4369 -x4367 -x4365 -x4363
1800.03/1800.53 v -x4361 -x4359 -x4357 -x4355 -x4353 -x4351 -x4349 -x4347 -x4345 -x4343 -x4341 -x4339 -x4337 -x4335 -x4333 -x4331 -x4329 -x4327
1800.03/1800.53 v -x4325 -x4323 -x4321 -x4319 -x4317 -x4315 -x4313 -x4311 -x111 -x4309 -x4307 -x4305 -x110 -x4303 -x4301 -x4299 -x4296 -x4294
1800.03/1800.53 v -x4292 -x109 -x4290 -x4288 -x4286 -x4284 -x4282 -x4280 -x4278 -x108 -x4276 -x4274 -x4272 -x4270 -x4268 -x4266 -x4264 -x4262
1800.03/1800.53 v -x4260 -x4258 -x4256 -x4254 -x4252 -x4250 -x4248 -x107 -x4246 -x4244 -x4242 -x4240 -x4238 -x4236 -x4234 -x106 -x4232 -x4230 -x4228
1800.03/1800.53 v -x4226 -x4224 -x4222 -x4220 -x4218 -x4216 -x4214 -x4212 -x4210 -x4208 -x4206 -x4204 -x105 -x4202 -x4200 -x4198 -x4196 -x4194
1800.03/1800.53 v -x4192 -x4190 -x4188 -x4186 -x4184 -x4182 -x4180 -x4178 -x4176 -x4174 -x104 -x4172 -x4170 -x4168 -x4166 -x4164 -x4162 -x4160
1800.03/1800.53 v -x4158 -x4156 -x4154 -x4151 -x4149 -x4147 -x4145 -x4143 -x4141 -x4139 -x4137 -x4135 -x4133 -x4131 -x4129 -x4127 -x4125
1800.03/1800.53 v -x4123 -x4121 -x4119 -x4117 -x4115 -x4113 -x103 -x4111 -x4109 -x4107 -x4105 -x4103 -x4101 -x4099 -x102 -x4097 -x4095 -x4093 -x4091
1800.03/1800.53 v -x4089 -x4087 -x4084 -x4082 -x4080 -x4078 -x4076 -x4074 -x4072 -x4070 -x101 -x4068 -x4066 -x4064 -x4062 -x4060 -x4058 -x4056
1800.03/1800.53 v -x4054 -x4052 -x4050 -x4048 -x4046 -x4044 -x4042 -x4040 -x100 -x4038 -x4036 -x4034 -x4032 -x4030 -x4028 -x4026 -x4024 -x4022
1800.03/1800.53 v -x4019 -x4017 -x4015 -x4013 -x4011 -x4009 -x4007 x4005 -x4003 -x4001 -x3999 -x3997 -x3995 -x3993 -x3991 -x3989 -x3987 -x3985
1800.03/1800.53 v -x3983 -x3981 -x3979 -x3977 -x3975 -x3973 -x3971 -x3969 -x3967 -x3965 -x3963 -x3961 -x3959 -x3957 -x3955 -x3953 -x3951
1800.03/1800.53 v -x3949 -x99 -x3947 -x3945 -x3943 -x3941 -x3939 -x3937 -x3935 -x3933 -x3931 -x3929 -x3927 -x3925 -x3923 -x3921 -x3918 -x3916 -x3914
1800.03/1800.53 v -x3912 -x3910 -x3908 -x3906 -x3904 -x3902 -x3900 -x3898 -x3896 -x3894 -x3892 -x3890 -x3888 -x98 -x3886 -x3884 -x3882 -x3880
1800.03/1800.53 v -x3878 -x3876 -x3874 -x3872 -x3870 -x3868 -x3866 -x3864 -x3862 -x3860 -x3858 -x3856 -x3854 -x3852 -x3850 -x3848 -x3846 -x3844
1800.03/1800.53 v -x3842 -x3840 -x3838 -x3836 -x3834 -x3832 -x3830 -x3828 -x3826 -x97 -x3824 -x3822 -x3820 -x3818 -x3816 -x3814 -x3812 -x3810
1800.03/1800.53 v -x3808 -x3806 -x3804 -x3802 -x3800 -x3798 -x3796 -x3794 -x3792 -x3790 -x3788 -x3786 -x3784 -x3781 -x3779 -x3777 -x3775 -x3773
1800.03/1800.53 v -x3771 -x3769 -x3767 -x3765 -x3763 -x3761 -x3759 -x3757 -x3755 -x3753 -x3751 -x3749 -x3747 -x3745 -x3743 -x3741 -x3739
1800.03/1800.53 v -x3737 -x3735 -x3733 -x3731 -x3729 -x3727 -x3725 -x3723 -x3721 -x3719 -x3717 -x3715 -x3713 -x3711 -x3709 -x3707 -x3705 -x3703
1800.03/1800.53 v -x3701 -x96 -x3699 -x95 -x3696 -x3694 -x94 -x3692 -x3690 -x3688 -x93 -x3686 -x3684 -x3682 -x3680 -x3678 -x3676 -x3674 -x92 -x3672
1800.03/1800.53 v -x3670 -x3668 -x91 -x3666 -x3664 -x90 -x3662 -x3660 -x3658 -x3656 -x3654 -x3652 -x3650 -x89 -x3648 -x3646 -x3644 -x3641
1800.03/1800.53 v -x3639 -x3637 -x88 -x3635 -x3633 -x3631 -x3629 -x3627 -x3625 -x3623 -x3621 -x3619 -x3617 -x3615 -x3613 -x3611 -x3609 -x3607
1800.03/1800.53 v -x87 -x3605 -x3603 -x3601 -x3599 -x3597 -x3595 -x3593 -x86 -x3591 -x3589 -x3587 -x85 -x3585 -x3583 -x3581 -x3579 -x3577 -x3575
1800.03/1800.53 v -x3573 -x84 -x3571 -x3569 -x3567 -x83 -x3565 -x3563 -x3561 -x3559 -x3557 -x3555 -x3553 -x82 -x3551 -x3548 -x3546 -x3544 -x3542
1800.03/1800.53 v -x3540 -x81 -x3538 -x3536 -x3534 -x3532 -x3530 -x3528 -x3526 -x3524 -x3522 -x3520 -x3518 -x3515 -x3513 -x3511 -x3509 -x3507
1800.03/1800.53 v -x3505 -x3503 -x3501 -x3499 -x3497 -x80 -x3495 -x3493 -x3491 -x3489 -x3487 -x3485 -x3483 -x79 -x3481 -x3479 -x3477 -x3475
1800.03/1800.53 v -x3473 -x3471 -x3469 -x3467 -x3465 -x3463 -x3461 -x3459 -x3457 -x3455 -x3453 -x78 -x3451 -x3449 -x3447 -x3445 -x3443 -x3441 -x3439
1800.03/1800.53 v -x3437 -x3435 -x3433 -x3431 -x3429 -x3427 -x77 -x3425 -x3423 -x3421 -x3419 -x3417 -x3415 -x3413 -x3411 -x3409 -x3407 -x3405
1800.03/1800.53 v -x3403 -x3401 -x3399 x3397 -x3395 -x3393 -x3391 -x3389 -x3386 -x3384 -x3382 -x3380 -x3378 -x3376 -x3374 -x3372 -x3370 -x3368
1800.03/1800.53 v -x3366 -x3364 -x3362 -x3360 -x3358 -x3356 -x3354 -x3352 -x3350 -x3348 -x3346 -x3344 -x3342 -x3340 -x3338 -x3336 -x76 -x3334
1800.03/1800.53 v -x3332 -x3330 -x3328 -x3326 -x3324 -x3322 -x75 -x3320 -x3318 -x3316 -x3314 -x3312 -x3310 -x3308 -x3306 -x3304 -x3302 -x3300
1800.03/1800.53 v -x3298 -x3296 -x3294 -x3292 x3290 -x3288 -x3286 -x74 -x3284 -x3282 -x3280 -x3278 -x3276 -x3274 -x3272 -x73 -x3270 -x72 -x3267
1800.03/1800.53 v -x3265 -x71 -x3263 -x3261 -x3259 -x70 -x3257 -x3255 -x3253 -x69 -x3251 -x3249 -x3247 -x3245 -x3243 -x3241 -x3239 -x68 -x3237
1800.03/1800.53 v -x3235 -x3233 -x67 -x3231 -x3229 -x3227 -x3225 -x3223 -x3221 -x3219 -x66 -x3217 -x3215 -x3213 -x3211 -x3209 -x3207 -x3205
1800.03/1800.53 v -x65 -x3203 -x3201 -x3199 -x3197 -x3195 -x3193 -x3191 -x64 -x3189 -x3187 -x3185 -x3183 -x3181 -x3179 -x3177 -x3175 -x3173 -x3171
1800.03/1800.53 v -x3169 -x3167 -x3165 -x3163 -x3161 -x63 -x3159 -x3157 -x3155 -x62 -x3153 -x3151 -x3149 -x3147 -x3145 -x3143 -x3141 -x61
1800.03/1800.53 v -x3139 -x3137 -x3135 -x3133 -x3131 -x3129 -x3127 -x60 -x3125 -x3123 -x3120 -x3118 -x3116 -x3114 -x59 -x3112 -x3110 -x3108 -x3106
1800.03/1800.53 v -x3104 -x3102 -x3100 -x3098 -x3096 -x3094 -x3092 -x3090 -x3088 -x3086 -x3084 -x58 -x3082 -x3080 -x3078 -x3076 -x3074 -x3072
1800.03/1800.53 v -x3070 -x57 -x3068 -x3066 -x3064 -x3062 -x3060 -x3058 -x3056 -x3054 -x3052 -x3050 -x3048 -x3046 -x3044 -x3042 -x3040 -x56
1800.03/1800.53 v -x3038 -x3036 -x3034 -x3032 -x3030 -x3028 -x3026 -x3024 -x3022 -x3020 -x3018 -x3016 -x3014 -x3012 -x3010 -x55 -x3008 -x3006 -x3004
1800.03/1800.53 v -x3002 -x3000 -x2998 -x2996 -x2993 -x2991 -x2989 -x2987 -x2985 -x2983 -x2981 -x54 -x2979 -x2977 -x2975 -x2973 -x2971 -x2969
1800.03/1800.53 v -x2967 -x2965 -x2963 -x2961 -x2959 -x2957 -x2955 -x2953 -x2950 -x2948 -x2946 -x2944 -x2942 -x2940 -x2938 -x2936 -x2934 -x2932
1800.03/1800.53 v -x2930 -x2928 -x2926 -x2924 -x2922 -x2920 -x53 -x2918 -x2916 -x2914 -x52 -x2912 -x2910 -x2908 -x2906 -x2904 -x2902 -x2900
1800.03/1800.53 v -x51 -x2898 -x2896 -x2894 -x2892 -x2890 -x2887 -x50 -x2885 -x2883 -x2881 -x2879 -x2877 -x2875 -x49 -x2873 -x2871 -x2869 -x2867
1800.03/1800.53 v -x2865 -x2863 -x2861 -x2859 -x2857 -x2855 -x2853 -x2851 -x2849 -x2847 -x2845 -x48 -x2843 -x2841 -x2839 -x2837 -x2835 -x2833
1800.03/1800.53 v -x2831 -x47 -x2829 -x2827 -x2825 -x2823 -x2821 -x2819 -x2817 -x2815 -x2813 -x2811 -x2809 -x2807 -x2805 -x2803 -x2801 -x46
1800.03/1800.53 v -x2799 -x2797 -x2795 -x2793 -x2791 -x2789 -x2787 -x2785 -x2783 -x2781 -x2779 -x2777 -x2775 -x2773 -x2771 -x45 -x2769 -x2767
1800.03/1800.53 v -x2765 -x2763 -x2761 -x2759 -x2757 -x2755 -x2753 -x2751 -x2749 -x2747 -x2745 -x2743 -x2741 -x2739 -x2737 -x2735 -x2733 -x2731
1800.03/1800.53 v -x2729 -x2727 -x2725 -x2723 -x2721 -x2719 -x2717 -x2715 -x2713 -x2711 -x2709 -x44 -x2707 -x2705 -x2703 -x2701 -x2699 -x2697
1800.03/1800.53 v -x2695 -x43 -x2693 -x2691 -x2689 -x2687 -x2685 -x2683 -x2681 -x2679 -x2677 -x2675 -x2673 -x2671 -x2669 -x2667 -x2665 -x42 -x2663
1800.03/1800.53 v -x2661 -x2659 -x2657 -x2655 -x2653 -x2651 -x2649 -x2647 -x2645 -x2643 -x2641 -x2639 -x2637 -x2635 -x41 -x2633 -x2631 -x2629
1800.03/1800.53 v -x2627 -x2625 -x2623 -x2621 -x2619 -x2617 -x2615 -x2613 -x2611 -x2609 -x2607 -x2605 -x2603 -x2601 -x2599 -x2597 -x2595 -x2593
1800.03/1800.53 v -x2591 -x2589 -x2587 -x2584 -x2582 -x2580 -x2578 -x2576 -x2574 -x40 -x2571 -x2569 -x2567 -x2565 -x2563 -x2561 -x2559 -x2557
1800.03/1800.53 v -x2555 -x2553 -x2551 -x2549 -x2547 -x2545 -x39 -x2543 -x2541 -x2539 -x2537 -x2535 -x2533 -x2531 -x2529 -x2527 -x2525 -x2522
1800.03/1800.53 v -x2520 -x2518 -x2516 -x2514 -x2512 -x2510 -x2508 -x2506 -x2504 -x2502 -x2500 -x2498 -x2496 -x2494 -x2492 -x2490 -x2488 -x2486
1800.03/1800.53 v -x2484 -x38 -x2482 -x2480 -x2478 -x2476 -x2474 -x2472 -x2470 -x2468 -x2466 -x2464 -x2462 -x2460 -x2458 -x2456 -x2454 -x2452
1800.03/1800.53 v -x2450 -x2448 -x2446 -x2444 -x2442 -x2440 -x2438 -x2436 -x2434 -x2432 -x2430 -x2428 -x2426 -x2424 -x2422 -x37 -x2420 -x2418
1800.03/1800.53 v -x2416 -x2414 -x2412 -x2410 -x2408 -x2406 -x2404 -x2402 -x2400 -x2398 -x2396 -x2394 -x2392 -x2390 -x2388 -x2386 -x2384 -x2382
1800.03/1800.53 v -x2380 -x2378 -x2376 -x2374 -x2372 -x2370 -x2368 -x2366 -x2364 -x2362 -x2360 -x2358 -x2356 -x2354 -x2352 -x2350 -x2348 -x2346
1800.03/1800.53 v -x2344 -x2342 -x2340 -x2338 -x2336 -x2334 -x2332 -x2330 -x2328 -x2326 -x2324 -x2322 -x2320 -x2318 -x2316 -x2314 -x2312 -x2310
1800.03/1800.53 v -x2308 -x2306 -x2304 -x2302 -x2300 -x2298 -x2296 -x36 -x2294 -x2292 x2290 -x2288 -x2286 -x2284 -x2282 -x2280 -x2277 -x35
1800.03/1800.53 v -x2275 -x2273 -x2271 -x2269 -x2267 -x2265 -x2263 -x34 -x2260 -x2258 -x2256 -x2254 -x2251 -x33 -x2249 -x2247 -x2245 -x2243 -x2241
1800.03/1800.53 v -x2239 -x2237 -x2234 -x2232 -x2230 -x2228 -x2226 -x2224 -x2222 -x32 -x2220 -x2217 -x2215 -x2213 -x2211 -x2209 -x31 -x2207
1800.03/1800.53 v -x2205 -x2203 -x2201 -x2199 -x2197 -x2195 -x2193 -x2191 -x2189 -x2187 -x2185 -x2183 -x2181 -x2179 -x30 -x2177 -x2175 -x2173
1800.03/1800.53 v -x2171 -x2169 -x2167 -x2165 -x2163 -x2161 -x2159 -x2157 -x2155 x2153 -x2151 -x2149 -x2147 -x2145 -x2143 -x2141 -x2139 -x2137
1800.03/1800.53 v -x2135 -x2133 -x2131 -x2129 -x2127 -x2125 -x2123 -x2121 -x2119 -x29 -x2117 -x2115 -x2113 -x2111 -x2109 -x2107 -x2105 -x2103 -x2101
1800.03/1800.53 v -x2099 -x2097 -x2095 -x2093 -x2090 -x2088 -x2085 -x2083 -x2081 -x2079 -x2077 -x2075 -x2073 -x2071 -x2069 -x2067 -x2065
1800.03/1800.53 v -x2063 -x2061 -x2059 -x28 -x2057 -x2055 -x2052 -x2050 -x2048 -x2046 -x27 -x2044 -x2042 -x2040 -x2038 -x2036 -x2034 -x2032 -x2030
1800.03/1800.53 v -x2027 -x2025 -x2023 -x2021 -x2019 -x2017 -x26 -x2015 -x2013 -x2011 -x2009 -x2007 -x2005 -x2003 -x2001 -x1999 -x1997 -x1995
1800.03/1800.53 v -x1993 -x1991 -x1989 -x1987 -x25 -x1985 -x1983 -x1981 -x1979 -x1977 -x1975 -x1973 -x1971 -x1969 -x1967 -x1965 -x1963 -x1961
1800.03/1800.53 v -x1959 -x1957 -x24 -x1955 -x1953 -x1951 -x1949 -x1947 -x1945 -x1943 -x1941 -x1939 -x1937 -x1935 -x1933 -x1931 -x1929 -x1927
1800.03/1800.53 v -x1925 -x1923 -x1921 -x1919 -x1917 -x1915 -x1913 -x1911 -x1909 -x1907 -x1905 -x1903 -x1901 -x1899 -x1897 -x1895 -x23 -x1893
1800.03/1800.53 v -x1891 -x1889 -x1887 -x1885 -x1883 -x1881 -x1879 -x1877 -x1875 -x1873 -x1871 -x1869 -x1867 -x1865 -x22 -x1863 -x1861 -x1859 -x1857
1800.03/1800.53 v -x1855 -x1853 -x1851 -x1849 -x1847 -x1845 -x1843 -x1841 -x1839 -x1837 -x1835 -x1833 -x1831 -x1829 -x1827 -x1825 -x1823
1800.03/1800.53 v -x1821 -x1819 -x1817 x1815 -x1813 -x1811 -x1809 -x1807 -x1805 -x1803 -x1801 -x1799 -x1797 -x1794 -x1792 -x1790 -x1788 -x1786
1800.03/1800.53 v -x1784 -x1782 -x1780 -x1778 -x1776 -x1774 -x1772 -x1770 -x1768 -x1766 -x1764 -x1762 -x1760 -x1758 -x1756 -x1754 -x1752 -x1750
1800.03/1800.53 v -x1748 -x1746 -x1744 -x21 -x1742 -x1740 -x1738 -x1736 -x1734 -x1732 -x1730 -x1728 -x1726 -x1724 -x1722 -x1720 -x1718 -x1716
1800.03/1800.53 v -x1714 -x1712 -x1710 -x1708 -x1706 -x1704 -x1702 -x1700 -x1698 -x1696 -x1694 -x1692 -x1690 -x1688 -x1686 -x1684 -x1682 -x20 -x1680
1800.03/1800.53 v -x1678 -x1676 -x1674 -x1672 -x1670 -x1668 -x1666 -x1664 -x1662 -x1660 -x1658 -x1656 -x1654 -x1652 -x1650 -x1648 -x1646
1800.03/1800.53 v -x1644 -x1642 -x1640 -x1638 -x1636 -x1634 -x1632 -x1630 -x1628 -x1626 -x1624 -x1622 -x1620 -x1618 -x1616 -x1614 -x1612 -x1610
1800.03/1800.53 v -x1608 -x1606 -x1604 -x1602 -x1600 -x1598 -x1596 -x1594 -x1592 -x1590 -x1588 -x1586 -x1584 -x1582 -x1580 -x1578 -x1576 -x1574
1800.03/1800.53 v -x1572 -x1570 -x1568 -x1566 -x1564 -x1562 -x1560 -x1558 -x1556 -x19 -x1554 -x1552 -x1550 -x1548 -x1545 -x1543 -x18 -x1541 -x1539
1800.03/1800.53 v -x1537 -x1535 -x1533 -x1531 -x1529 -x1527 -x1525 -x1523 -x1521 -x1519 -x1517 -x1515 -x1513 -x17 -x1511 -x1509 -x1507 -x1505
1800.03/1800.53 v -x1503 -x1501 -x1499 -x1497 -x1495 -x1493 -x1491 -x1489 -x1487 -x1485 -x1483 -x16 -x1481 -x1479 -x1477 -x1475 -x1473 -x1471
1800.03/1800.53 v -x1469 -x1467 -x1465 -x1463 -x1461 -x1459 -x1457 -x1455 -x1453 -x1451 -x1449 -x1447 -x1445 -x1443 -x1441 -x1439 -x1437 -x1435
1800.03/1800.53 v -x1433 -x1431 -x1429 -x1427 -x1425 -x1423 -x1421 -x15 -x1419 -x1417 -x1415 -x1413 -x1411 -x1409 -x1407 -x1405 -x1403 -x1401
1800.03/1800.53 v -x1399 -x1397 -x1395 -x1393 -x1391 -x14 -x1389 -x1387 -x1385 -x1383 -x1381 -x1378 -x1376 -x1374 -x1372 -x1370 -x1368 -x1366
1800.03/1800.53 v -x1364 -x1362 -x1360 -x1358 -x1356 -x1354 -x1352 -x1350 -x1348 -x1346 -x1344 -x1342 -x1340 -x1338 -x1336 -x1334 -x1332 -x1330
1800.03/1800.53 v -x13 -x1328 -x1326 -x1324 -x1322 -x1320 -x1318 -x1316 -x1314 -x1312 -x1310 -x1308 -x1306 -x1304 -x1302 -x1300 -x1298 -x1296
1800.03/1800.53 v -x1294 -x1292 -x1290 -x1288 -x1286 -x1284 -x1282 -x1280 -x1278 -x1276 -x1274 -x1272 -x1270 -x1268 -x12 -x1266 -x1264 -x1262
1800.03/1800.53 v -x1260 -x1258 -x1256 -x1254 -x1252 -x1250 -x1248 -x1246 -x1244 -x1242 -x1240 -x1238 -x1236 -x1234 -x1232 -x1230 -x1228 -x1226
1800.03/1800.53 v -x1224 -x1222 -x1220 -x1218 -x1216 -x1214 -x1212 -x1210 -x1208 -x1206 -x1204 -x1202 -x1200 -x1198 -x1196 -x1194 -x1192 -x1190
1800.03/1800.53 v -x1188 -x1186 -x1184 -x1182 -x1180 -x1178 -x1176 -x1174 -x1172 -x1170 -x1168 -x1166 -x1164 -x1162 -x1160 -x1158 -x1156 -x1154
1800.03/1800.53 v -x1152 -x1150 -x1148 -x1146 -x1144 -x1142 -x11 -x1140 -x1138 -x1136 -x1134 -x1132 -x1130 -x1128 -x1126 -x1124 -x1122 -x1120
1800.03/1800.53 v -x1118 -x1116 -x1114 -x1112 -x10 -x1110 -x1108 -x1106 -x1104 -x1102 -x1100 -x1098 -x1096 -x1094 -x1092 -x1090 -x1088 -x1086
1800.03/1800.53 v -x1084 -x1082 -x1080 -x1078 -x1076 -x1074 -x1072 -x1070 -x1068 -x1066 -x1064 -x1062 -x1060 -x1058 -x1056 -x1054 -x1052 -x1050
1800.03/1800.53 v -x9 -x1048 -x1046 -x1044 -x1042 -x1040 -x1038 -x1036 -x1034 -x1032 -x1030 -x1028 -x1026 -x1024 -x1022 -x1020 -x1018 -x1016
1800.03/1800.53 v -x1014 -x1012 -x1010 -x1008 -x1006 -x1004 -x1002 -x1000 -x998 -x996 -x994 -x992 -x990 -x988 -x8 -x986 -x984 -x982 -x980 -x978
1800.03/1800.53 v -x976 -x973 -x971 -x969 -x967 -x965 -x963 -x961 -x959 -x957 -x955 -x953 -x951 -x949 -x947 -x945 -x943 -x941 -x939 -x937 -x935
1800.03/1800.53 v -x933 -x931 -x929 -x927 -x925 -x923 -x921 -x919 -x917 -x915 -x913 -x911 -x909 -x907 -x905 -x903 -x901 -x899 -x897 -x895 -x893
1800.03/1800.53 v -x891 -x889 -x887 -x885 -x883 -x881 -x879 -x877 -x875 -x873 -x871 -x869 -x867 -x865 -x863 -x7 -x861 -x859 -x857 -x855 -x853
1800.03/1800.53 v -x851 -x849 -x847 -x845 -x843 -x841 -x839 -x837 -x835 -x833 -x831 -x829 -x827 -x825 -x823 -x821 -x819 -x817 -x815 -x813 -x811
1800.03/1800.53 v -x809 -x807 -x805 -x803 -x801 -x6 -x799 -x797 -x795 -x793 -x791 -x789 -x787 -x785 -x783 -x781 -x779 -x777 -x775 -x773 -x771
1800.03/1800.53 v -x769 -x767 -x765 -x763 -x761 -x759 -x757 -x755 -x753 -x751 -x749 -x747 -x745 -x743 -x741 -x739 -x737 -x735 -x733 -x731 -x729
1800.03/1800.53 v -x727 -x725 -x723 -x721 -x719 -x717 -x715 -x713 -x711 -x709 -x707 -x705 -x703 -x701 -x699 -x697 -x695 -x693 -x691 -x689
1800.03/1800.53 v -x687 -x685 -x683 -x681 -x679 -x677 -x675 -x5 -x673 -x671 -x669 -x667 -x665 -x663 -x661 -x659 -x657 -x655 -x653 -x651 -x649 -x647
1800.03/1800.53 v -x645 -x643 -x641 -x639 -x637 -x635 -x633 -x631 -x628 -x626 -x624 -x622 -x620 -x618 -x616 -x614 -x612 -x610 -x608 -x606
1800.03/1800.53 v -x604 -x602 -x600 -x598 -x596 -x594 -x592 -x590 -x588 -x586 -x584 -x582 -x580 -x578 -x576 -x574 -x572 -x570 -x568 -x566 -x564
1800.03/1800.53 v -x562 -x560 -x558 -x556 -x554 -x552 -x550 -x4 -x548 -x546 -x544 -x542 -x540 -x538 -x536 -x534 -x532 -x530 -x528 -x526 -x524
1800.03/1800.53 v -x522 -x520 -x518 -x516 -x514 -x512 -x510 -x508 x506 -x504 -x502 -x500 -x498 -x496 -x494 -x492 -x490 -x488 -x486 -x484 -x482
1800.03/1800.53 v -x480 -x478 -x476 -x474 -x472 -x470 -x468 -x466 -x464 -x462 -x460 -x458 -x456 -x454 -x452 -x450 -x448 -x446 -x444 -x442 -x440
1800.03/1800.53 v -x438 -x436 -x434 -x432 -x430 -x428 -x426 -x424 -x422 -x420 -x418 -x416 -x414 -x412 -x410 -x408 -x406 -x404 -x402 -x400 -x398
1800.03/1800.53 v -x396 -x394 -x392 -x390 -x388 -x386 -x384 -x382 -x380 -x378 -x376 -x374 -x372 -x370 -x368 -x366 -x364 -x362 -x360 -x358 -x356
1800.03/1800.53 v -x354 -x352 -x350 -x348 -x346 -x344 -x342 -x340 -x338 -x336 -x334 -x332 -x330 -x328 -x326 -x324 -x322 -x320 -x318 -x316 -x314
1800.03/1800.53 v -x312 -x310 -x308 -x306 -x304 -x302 -x300 -x298 -x296 -x294 -x3 -x292 -x290 -x288 x286 -x284 -x282 -x280 -x278 -x276 -x274
1800.03/1800.53 v -x272 -x270 -x268 -x266 -x2 -x264 -x262 -x260 -x258 -x256 -x254 -x252 -x1 -x250 -x248 -x246 -x244 -x242 -x240 -x238 -x236 -x234
1800.03/1800.53 v -x232 -x230 -x227 -x225 -x223 -x221 -x219 -x217 -x215 -x213 -x211 -x209 -x207 -x205 -x203 x201 -x199 -x197 -x195 -x193 -x191
1800.03/1800.53 v x6080 x6079 -x6078 -x6076 x6074 -x6073 -x6071 -x6069 x6067 -x6065 -x6063 -x6061 -x6059 -x6057 -x6055 -x6053 -x6051 x6049
1800.03/1800.53 v -x6048 -x6046 -x6044 -x6042 -x6040 -x6038 -x6036 -x6034 -x6032 -x6030 -x6028 -x6026 -x6024 -x6022 -x6020 -x6018 -x6016 -x6014
1800.03/1800.53 v -x6012 -x6010 -x6008 -x6006 -x6004 -x6002 -x6000 -x5998 -x5996 -x5994 -x5992 -x5990 -x5988 -x5986 -x5984 -x5982 -x5980 -x5978
1800.03/1800.53 v -x5976 -x5974 -x5972 -x5970 -x5968 -x5966 x5964 -x5963 -x5961 -x5959 -x5957 -x5955 -x5953 -x5951 -x5949 -x5947 -x5945 -x5943
1800.03/1800.53 v -x5941 -x5939 -x5937 -x5935 -x5933 -x5931 -x5929 -x5927 -x5925 -x5923 -x5921 -x5919 -x5917 -x5915 -x5913 -x5911 -x5909 -x5907
1800.03/1800.53 v -x5905 -x5903 -x5901 -x5899 -x5897 -x5895 -x5893 -x5891 -x5889 -x5887 -x5885 -x5883 -x5881 -x5879 -x5877 -x5875 -x5873 -x5871
1800.03/1800.53 v -x5869 -x5867 -x5865 -x5863 -x5861 -x5859 -x5857 -x5855 -x5853 -x5851 -x5849 -x5847 -x5845 -x5843 -x5841 -x5839 -x5837 -x5835
1800.03/1800.53 v -x5833 -x5831 -x5829 -x5827 -x5825 -x5823 -x5821 -x5819 -x5817 -x5815 -x5813 -x5811 x5809 -x5807 -x5805 -x5803 -x5801 -x5799
1800.03/1800.53 v -x5797 -x5795 -x5793 -x5792 -x5790 -x5788 -x5786 -x5784 -x5782 -x5780 -x5778 -x5776 -x5774 -x5772 -x5770 -x5768 -x5766
1800.03/1800.53 v -x5764 -x5762 -x5760 -x5758 -x5756 -x5754 -x5752 -x5750 -x5748 -x5746 -x5745 -x5743 x5741 -x5739 -x5737 -x5736 -x5734 -x5732
1800.03/1800.53 v -x5730 -x5728 -x5726 -x5724 -x5722 -x5720 -x5718 -x5716 -x5714 -x5712 -x5710 -x5708 -x5706 -x5704 -x5702 -x5700 -x5698 -x5696
1800.03/1800.53 v -x5694 -x5692 -x5690 -x5688 -x5686 -x5684 -x5682 -x5681 -x5679 -x5677 -x5675 -x5673 x5671 -x5669 -x5667 -x5665 -x5663 -x5661
1800.03/1800.53 v -x5659 -x5658 -x5656 -x5654 -x5652 -x5650 -x5648 -x5646 -x5644 -x5642 -x5640 -x5638 -x5636 -x5634 -x5633 -x5631 x5629 -x5627
1800.03/1800.53 v -x5625 -x5623 -x5621 -x5619 -x5617 -x5615 -x5613 -x5611 -x5609 -x5607 -x5605 -x5603 -x5601 -x5599 -x5597 -x5595 -x5593 -x5591
1800.03/1800.53 v -x5589 -x5587 -x5585 -x5583 -x5581 -x5579 -x5577 -x5575 -x5573 -x5571 -x5569 -x5567 -x5566 -x5564 -x5562 -x5560 -x5558 -x5556
1800.03/1800.53 v -x5554 -x5552 -x5550 -x5548 -x5546 -x5544 -x5542 -x5540 -x5538 -x5536 -x5534 -x5532 -x5530 -x5528 -x5526 -x5524 -x5522 -x5520
1800.03/1800.53 v -x5518 -x5516 -x5514 -x5512 -x5510 -x5508 -x5506 -x5504 -x5502 -x5500 -x5498 -x5496 -x5494 -x5492 -x5490 -x5488 -x5486 -x5484
1800.03/1800.53 v -x5482 -x5480 -x5478 -x5476 -x5474 -x5472 -x5470 -x5468 -x5466 -x5464 -x5462 -x5460 -x5458 -x5456 -x5454 -x5452 -x5450 -x5448
1800.03/1800.53 v -x5446 -x5444 -x5442 -x5440 x5438 -x5436 -x5434 -x5432 -x5430 -x5428 -x5426 -x5424 -x5422 -x5420 -x5418 -x5416 -x5414 -x5412
1800.03/1800.53 v -x5410 -x5408 -x5406 -x5404 -x5402 -x5400 -x5398 -x5396 -x5394 -x5393 -x5391 -x5389 -x5387 -x5385 -x5383 -x5381 -x5379
1800.03/1800.53 v -x5377 -x5375 -x5373 -x5371 -x5369 -x5367 x5365 -x5363 -x5361 -x5359 -x5357 -x5355 -x5353 -x5351 -x5349 -x5347 -x5345 -x5343
1800.03/1800.53 v -x5341 -x5339 -x5337 -x5335 -x5333 -x5331 -x5329 -x5327 -x5325 -x5323 -x5321 -x5319 -x5317 -x5315 -x5313 -x5311 -x5309 -x5307
1800.03/1800.53 v -x5305 -x5303 -x5301 -x5299 -x5297 -x5295 -x5293 -x5291 -x5289 -x5287 -x5286 -x5284 -x5282 -x5280 -x5278 -x5276 -x5274 -x5272
1800.03/1800.53 v -x5270 -x5268 -x5266 -x5264 -x5262 -x5260 -x5258 -x5256 -x5254 -x5252 -x5251 -x5249 -x5247 -x5245 -x5243 -x5241 -x5239 -x5237
1800.03/1800.53 v -x5235 -x5233 -x5231 -x5229 -x5227 -x5226 -x5224 -x5222 -x5220 -x5218 -x5216 -x5214 -x5212 -x5210 -x5208 -x5206 -x5204 -x5203
1800.03/1800.53 v -x5201 -x5199 -x5197 -x5195 -x5193 -x5191 -x5189 -x5187 -x5185 -x5183 -x5181 -x5179 -x5177 -x5175 -x5173 -x5171 -x5169 -x5167
1800.03/1800.53 v -x5165 -x5164 -x5162 -x5160 -x5158 -x5156 -x5154 -x5152 -x5150 -x5148 -x5146 -x5144 -x5142 -x5140 -x5138 -x5136 -x5134 -x5132
1800.03/1800.53 v -x5130 -x5128 -x5126 -x5124 -x5122 -x5120 -x5118 -x5116 -x5114 -x5112 -x5110 -x5108 -x5106 -x5104 -x5102 -x5100 -x5098
1800.03/1800.53 v -x5096 x5094 -x5092 -x5090 -x5088 -x5086 -x5084 -x5082 -x5080 -x5078 -x5076 -x5074 -x5072 -x5070 -x5068 -x5066 -x5064 -x5062
1800.03/1800.53 v -x5060 -x5058 -x5056 -x5054 -x5052 -x5050 -x5048 -x5046 -x5044 -x5042 -x5040 -x5038 -x5036 -x5034 -x5032 -x5030 -x5028 -x5026
1800.03/1800.53 v -x5024 -x5022 -x5020 -x5018 -x5016 -x5014 -x5012 -x5010 -x5008 -x5006 -x5004 -x5002 -x5000 -x4998 -x4996 -x4994 -x4992 -x4990
1800.03/1800.53 v -x4988 -x4986 -x4984 -x4982 x4980 -x4978 -x4976 -x4975 -x4973 -x4971 -x4969 -x4967 -x4965 -x4963 -x4961 -x4959 -x4957 -x4955
1800.03/1800.53 v -x4953 -x4951 -x4949 -x4947 -x4945 -x4943 -x4941 -x4939 -x4937 -x4935 -x4933 -x4931 -x4929 -x4927 -x4925 -x4923 -x4921 -x4919
1800.03/1800.53 v -x4917 -x4915 -x4913 -x4911 -x4909 -x4907 -x4905 -x4903 x4901 -x4899 -x4897 -x4895 -x4893 -x4891 -x4889 -x4887 -x4885 -x4883
1800.03/1800.53 v -x4881 -x4879 -x4877 -x4876 -x4874 -x4872 -x4870 -x4868 -x4866 -x4864 -x4862 -x4860 -x4858 -x4856 -x4854 -x4852 -x4850 -x4848
1800.03/1800.53 v -x4846 -x4844 -x4842 -x4840 -x4838 -x4836 -x4834 -x4832 -x4830 -x4828 -x4826 -x4824 -x4822 -x4820 -x4818 -x4816 -x4814 -x4813
1800.03/1800.53 v -x4811 -x4809 -x4807 -x4805 -x4803 -x4801 -x4799 -x4797 -x4795 -x4793 -x4791 -x4789 -x4787 -x4785 -x4783 -x4781 -x4779 -x4777
1800.03/1800.53 v -x4775 -x4773 -x4771 -x4769 -x4767 -x4765 -x4763 -x4761 -x4759 -x4757 -x4755 -x4753 -x4751 -x4749 -x4747 -x4745 -x4743
1800.03/1800.53 v -x4741 -x4739 -x4737 -x4735 -x4733 -x4731 -x4729 -x4727 -x4725 -x4723 -x4721 -x4719 -x4717 -x4715 -x4713 -x4711 -x4709 -x4707
1800.03/1800.53 v -x4705 -x4703 -x4701 -x4699 -x4697 -x4695 -x4693 -x4692 -x4690 -x4688 -x4686 -x4684 -x4682 -x4680 -x4678 -x4676 -x4674 -x4672
1800.03/1800.53 v -x4670 -x4668 -x4666 -x4664 -x4662 -x4660 -x4658 -x4656 -x4654 -x4652 -x4650 -x4648 -x4646 -x4644 -x4642 -x4640 -x4638 -x4636
1800.03/1800.53 v -x4634 -x4632 -x4630 -x4628 -x4626 -x4624 -x4622 -x4620 -x4618 -x4616 -x4614 -x4612 -x4610 -x4608 -x4606 -x4604 -x4602 -x4600
1800.03/1800.53 v -x4598 -x4596 -x4594 -x4592 -x4590 -x4588 -x4586 -x4584 -x4582 -x4580 -x4578 -x4576 -x4574 -x4572 -x4570 -x4569 -x4567 -x4565
1800.03/1800.53 v -x4563 -x4561 -x4559 -x4557 -x4555 -x4553 -x4551 -x4549 -x4547 -x4545 -x4543 -x4541 -x4539 -x4537 -x4535 -x4533 -x4531 -x4529
1800.03/1800.53 v -x4527 -x4525 -x4523 -x4521 -x4519 -x4517 -x4515 -x4513 -x4511 -x4509 -x4507 -x4505 -x4503 -x4501 -x4499 -x4497 -x4495
1800.03/1800.53 v -x4493 -x4491 -x4489 -x4487 -x4485 -x4483 -x4481 -x4479 -x4477 -x4475 -x4473 -x4471 -x4469 -x4468 -x4466 -x4464 -x4462 -x4460
1800.03/1800.53 v -x4459 -x4457 -x4455 -x4453 -x4451 -x4449 -x4447 -x4445 -x4443 -x4441 -x4439 -x4437 -x4435 -x4433 -x4431 -x4429 -x4427 -x4425
1800.03/1800.53 v -x4423 -x4421 -x4419 -x4417 -x4415 -x4413 -x4411 -x4409 -x4407 -x4405 -x4403 -x4401 -x4399 -x4397 -x4395 -x4393 -x4391 -x4390
1800.03/1800.53 v -x4388 -x4386 -x4384 -x4382 -x4380 -x4378 -x4376 -x4374 -x4372 -x4370 -x4368 -x4366 -x4364 -x4362 -x4360 -x4358 -x4356 -x4354
1800.03/1800.53 v -x4352 -x4350 -x4348 -x4346 -x4344 -x4342 -x4340 -x4338 -x4336 -x4334 -x4332 -x4330 -x4328 -x4326 -x4324 -x4322 -x4320 -x4318
1800.03/1800.53 v -x4316 -x4314 -x4312 -x4310 -x4308 -x4306 -x4304 -x4302 -x4300 -x4298 -x4297 -x4295 -x4293 -x4291 -x4289 -x4287 -x4285 -x4283
1800.03/1800.53 v -x4281 -x4279 -x4277 -x4275 -x4273 -x4271 -x4269 -x4267 -x4265 -x4263 -x4261 -x4259 -x4257 -x4255 -x4253 -x4251 -x4249
1800.03/1800.53 v -x4247 -x4245 -x4243 -x4241 -x4239 -x4237 -x4235 -x4233 -x4231 -x4229 -x4227 -x4225 -x4223 -x4221 -x4219 -x4217 -x4215 -x4213
1800.03/1800.53 v -x4211 -x4209 -x4207 -x4205 -x4203 -x4201 -x4199 -x4197 -x4195 -x4193 -x4191 -x4189 -x4187 -x4185 -x4183 -x4181 -x4179 -x4177
1800.03/1800.53 v -x4175 -x4173 -x4171 -x4169 -x4167 -x4165 -x4163 -x4161 -x4159 -x4157 -x4155 -x4153 -x4152 -x4150 -x4148 -x4146 -x4144 -x4142
1800.03/1800.53 v -x4140 -x4138 -x4136 -x4134 -x4132 -x4130 -x4128 -x4126 -x4124 -x4122 -x4120 -x4118 -x4116 -x4114 -x4112 -x4110 -x4108 -x4106
1800.03/1800.53 v -x4104 -x4102 -x4100 -x4098 -x4096 -x4094 -x4092 -x4090 -x4088 -x4086 -x4085 -x4083 -x4081 -x4079 -x4077 -x4075 -x4073 -x4071
1800.03/1800.53 v -x4069 -x4067 -x4065 -x4063 -x4061 -x4059 -x4057 -x4055 -x4053 -x4051 -x4049 -x4047 -x4045 -x4043 -x4041 -x4039 -x4037 -x4035
1800.03/1800.53 v -x4033 -x4031 -x4029 -x4027 -x4025 -x4023 -x4021 -x4020 -x4018 -x4016 -x4014 -x4012 -x4010 -x4008 x4006 -x4004 -x4002 -x4000
1800.03/1800.53 v -x3998 -x3996 -x3994 -x3992 -x3990 -x3988 -x3986 -x3984 -x3982 -x3980 -x3978 -x3976 -x3974 -x3972 -x3970 -x3968 -x3966
1800.03/1800.53 v -x3964 -x3962 -x3960 -x3958 -x3956 -x3954 -x3952 -x3950 -x3948 -x3946 -x3944 -x3942 -x3940 -x3938 -x3936 -x3934 -x3932 -x3930
1800.03/1800.53 v -x3928 -x3926 -x3924 -x3922 -x3920 -x3919 -x3917 -x3915 -x3913 -x3911 -x3909 -x3907 -x3905 -x3903 -x3901 -x3899 -x3897 -x3895
1800.03/1800.53 v -x3893 -x3891 -x3889 -x3887 -x3885 -x3883 -x3881 -x3879 -x3877 -x3875 -x3873 -x3871 -x3869 -x3867 -x3865 -x3863 -x3861 -x3859
1800.03/1800.53 v -x3857 -x3855 -x3853 -x3851 -x3849 -x3847 -x3845 -x3843 -x3841 -x3839 -x3837 -x3835 -x3833 -x3831 -x3829 -x3827 -x3825 -x3823
1800.03/1800.53 v -x3821 -x3819 -x3817 -x3815 -x3813 -x3811 -x3809 -x3807 -x3805 -x3803 -x3801 -x3799 -x3797 -x3795 -x3793 -x3791 -x3789 -x3787
1800.03/1800.53 v -x3785 -x3783 -x3782 -x3780 -x3778 -x3776 -x3774 -x3772 -x3770 -x3768 -x3766 -x3764 -x3762 -x3760 -x3758 -x3756 -x3754 -x3752
1800.03/1800.53 v -x3750 -x3748 -x3746 -x3744 -x3742 -x3740 -x3738 -x3736 -x3734 -x3732 -x3730 -x3728 -x3726 -x3724 -x3722 -x3720 -x3718
1800.03/1800.53 v -x3716 -x3714 -x3712 -x3710 -x3708 -x3706 -x3704 -x3702 -x3700 -x3698 -x3697 -x3695 -x3693 -x3691 -x3689 -x3687 -x3685 -x3683
1800.03/1800.53 v -x3681 -x3679 -x3677 -x3675 -x3673 -x3671 -x3669 -x3667 -x3665 -x3663 -x3661 -x3659 -x3657 -x3655 -x3653 -x3651 -x3649 -x3647
1800.03/1800.53 v -x3645 -x3643 -x3642 -x3640 -x3638 -x3636 -x3634 -x3632 -x3630 -x3628 -x3626 -x3624 -x3622 -x3620 -x3618 -x3616 -x3614 -x3612
1800.03/1800.53 v -x3610 -x3608 -x3606 -x3604 -x3602 -x3600 -x3598 -x3596 -x3594 -x3592 -x3590 -x3588 -x3586 -x3584 -x3582 -x3580 -x3578 -x3576
1800.03/1800.53 v -x3574 -x3572 -x3570 -x3568 -x3566 -x3564 -x3562 -x3560 -x3558 -x3556 -x3554 -x3552 -x3550 -x3549 -x3547 -x3545 -x3543 -x3541
1800.03/1800.53 v -x3539 -x3537 -x3535 -x3533 -x3531 -x3529 -x3527 -x3525 -x3523 -x3521 -x3519 x3517 -x3516 -x3514 -x3512 -x3510 -x3508 -x3506
1800.03/1800.53 v -x3504 -x3502 -x3500 -x3498 -x3496 -x3494 -x3492 -x3490 -x3488 -x3486 -x3484 -x3482 -x3480 -x3478 -x3476 -x3474 -x3472 -x3470
1800.03/1800.53 v -x3468 -x3466 -x3464 -x3462 -x3460 -x3458 -x3456 -x3454 -x3452 -x3450 -x3448 -x3446 -x3444 -x3442 -x3440 -x3438 -x3436
1800.03/1800.53 v -x3434 -x3432 -x3430 -x3428 -x3426 -x3424 -x3422 -x3420 -x3418 -x3416 -x3414 -x3412 -x3410 -x3408 -x3406 -x3404 -x3402 -x3400
1800.03/1800.53 v x3398 -x3396 -x3394 -x3392 -x3390 -x3388 -x3387 -x3385 -x3383 -x3381 -x3379 -x3377 -x3375 -x3373 -x3371 -x3369 -x3367 -x3365
1800.03/1800.53 v -x3363 -x3361 -x3359 -x3357 -x3355 -x3353 -x3351 -x3349 -x3347 -x3345 -x3343 -x3341 -x3339 -x3337 -x3335 -x3333 -x3331 -x3329
1800.03/1800.53 v -x3327 -x3325 -x3323 -x3321 -x3319 -x3317 -x3315 -x3313 -x3311 -x3309 -x3307 -x3305 -x3303 -x3301 -x3299 -x3297 -x3295 -x3293
1800.03/1800.53 v x3291 -x3289 -x3287 -x3285 -x3283 -x3281 -x3279 -x3277 -x3275 -x3273 -x3271 -x3269 -x3268 -x3266 -x3264 -x3262 -x3260 -x3258
1800.03/1800.53 v -x3256 -x3254 -x3252 -x3250 -x3248 -x3246 -x3244 -x3242 -x3240 -x3238 -x3236 -x3234 -x3232 -x3230 -x3228 -x3226 -x3224 -x3222
1800.03/1800.53 v -x3220 -x3218 -x3216 -x3214 -x3212 -x3210 -x3208 -x3206 -x3204 -x3202 -x3200 -x3198 -x3196 -x3194 -x3192 -x3190 -x3188 -x3186
1800.03/1800.53 v -x3184 -x3182 -x3180 -x3178 -x3176 -x3174 -x3172 -x3170 -x3168 -x3166 -x3164 -x3162 -x3160 -x3158 -x3156 -x3154 -x3152 -x3150
1800.03/1800.53 v -x3148 -x3146 -x3144 -x3142 -x3140 -x3138 -x3136 -x3134 -x3132 -x3130 -x3128 -x3126 -x3124 -x3122 -x3121 -x3119 -x3117
1800.03/1800.53 v -x3115 -x3113 -x3111 -x3109 -x3107 -x3105 -x3103 -x3101 -x3099 -x3097 -x3095 -x3093 -x3091 -x3089 -x3087 -x3085 -x3083 -x3081
1800.03/1800.53 v -x3079 -x3077 -x3075 -x3073 -x3071 -x3069 -x3067 -x3065 -x3063 -x3061 -x3059 -x3057 -x3055 -x3053 -x3051 -x3049 -x3047 -x3045
1800.03/1800.53 v -x3043 -x3041 -x3039 -x3037 -x3035 -x3033 -x3031 -x3029 -x3027 -x3025 -x3023 -x3021 -x3019 -x3017 -x3015 -x3013 -x3011 -x3009
1800.03/1800.53 v -x3007 -x3005 -x3003 -x3001 -x2999 -x2997 -x2995 -x2994 -x2992 -x2990 -x2988 -x2986 -x2984 -x2982 -x2980 -x2978 -x2976 -x2974
1800.03/1800.53 v -x2972 -x2970 -x2968 -x2966 -x2964 -x2962 -x2960 -x2958 -x2956 -x2954 -x2952 -x2951 -x2949 -x2947 -x2945 -x2943 -x2941 -x2939
1800.03/1800.53 v -x2937 -x2935 -x2933 -x2931 -x2929 -x2927 -x2925 -x2923 -x2921 -x2919 -x2917 -x2915 -x2913 -x2911 -x2909 -x2907 -x2905 -x2903
1800.03/1800.53 v -x2901 -x2899 -x2897 -x2895 -x2893 -x2891 -x2889 -x2888 -x2886 -x2884 -x2882 -x2880 -x2878 -x2876 -x2874 -x2872 -x2870
1800.03/1800.53 v -x2868 -x2866 -x2864 -x2862 -x2860 -x2858 -x2856 -x2854 -x2852 -x2850 -x2848 -x2846 -x2844 -x2842 -x2840 -x2838 -x2836 -x2834
1800.03/1800.53 v -x2832 -x2830 -x2828 -x2826 -x2824 -x2822 -x2820 -x2818 -x2816 -x2814 -x2812 -x2810 -x2808 -x2806 -x2804 -x2802 -x2800 -x2798
1800.03/1800.53 v -x2796 -x2794 -x2792 -x2790 -x2788 -x2786 -x2784 -x2782 -x2780 -x2778 -x2776 -x2774 -x2772 -x2770 -x2768 -x2766 -x2764 -x2762
1800.03/1800.53 v -x2760 -x2758 -x2756 -x2754 -x2752 -x2750 -x2748 -x2746 -x2744 -x2742 -x2740 -x2738 -x2736 -x2734 -x2732 -x2730 -x2728 -x2726
1800.03/1800.53 v -x2724 -x2722 -x2720 -x2718 -x2716 -x2714 -x2712 -x2710 -x2708 -x2706 -x2704 -x2702 -x2700 -x2698 -x2696 -x2694 -x2692 -x2690
1800.03/1800.53 v -x2688 -x2686 -x2684 -x2682 -x2680 -x2678 -x2676 -x2674 -x2672 -x2670 -x2668 -x2666 -x2664 -x2662 -x2660 -x2658 -x2656 -x2654
1800.03/1800.53 v -x2652 -x2650 -x2648 -x2646 -x2644 -x2642 -x2640 -x2638 -x2636 -x2634 -x2632 -x2630 -x2628 -x2626 -x2624 -x2622 -x2620
1800.03/1800.53 v -x2618 -x2616 -x2614 -x2612 -x2610 -x2608 -x2606 -x2604 -x2602 -x2600 -x2598 -x2596 -x2594 -x2592 -x2590 -x2588 -x2586 -x2585
1800.03/1800.53 v -x2583 -x2581 -x2579 -x2577 -x2575 -x2573 -x2572 -x2570 -x2568 -x2566 -x2564 -x2562 -x2560 -x2558 -x2556 -x2554 -x2552 -x2550
1800.03/1800.53 v -x2548 -x2546 -x2544 -x2542 -x2540 -x2538 -x2536 -x2534 -x2532 -x2530 -x2528 -x2526 -x2524 -x2523 -x2521 -x2519 -x2517 -x2515
1800.03/1800.53 v -x2513 -x2511 -x2509 -x2507 -x2505 -x2503 -x2501 -x2499 -x2497 -x2495 -x2493 -x2491 -x2489 -x2487 -x2485 -x2483 -x2481 -x2479
1800.03/1800.53 v -x2477 -x2475 -x2473 -x2471 -x2469 -x2467 -x2465 -x2463 -x2461 -x2459 -x2457 -x2455 -x2453 -x2451 -x2449 -x2447 -x2445 -x2443
1800.03/1800.53 v -x2441 -x2439 -x2437 -x2435 -x2433 -x2431 -x2429 -x2427 -x2425 -x2423 -x2421 -x2419 -x2417 -x2415 -x2413 -x2411 -x2409 -x2407
1800.03/1800.53 v -x2405 -x2403 -x2401 -x2399 -x2397 -x2395 -x2393 -x2391 -x2389 -x2387 -x2385 -x2383 -x2381 -x2379 -x2377 -x2375 -x2373
1800.03/1800.53 v -x2371 -x2369 -x2367 -x2365 -x2363 -x2361 -x2359 -x2357 -x2355 -x2353 -x2351 -x2349 -x2347 -x2345 -x2343 -x2341 -x2339 -x2337
1800.03/1800.53 v -x2335 -x2333 -x2331 -x2329 -x2327 -x2325 -x2323 -x2321 -x2319 -x2317 -x2315 -x2313 -x2311 -x2309 -x2307 -x2305 -x2303 -x2301
1800.03/1800.53 v -x2299 -x2297 -x2295 -x2293 x2291 -x2289 -x2287 -x2285 -x2283 -x2281 -x2279 -x2278 -x2276 -x2274 -x2272 -x2270 -x2268 -x2266
1800.03/1800.53 v -x2264 -x2262 -x2261 -x2259 -x2257 -x2255 -x2253 -x2252 -x2250 -x2248 -x2246 -x2244 -x2242 -x2240 -x2238 -x2236 -x2235 -x2233
1800.03/1800.53 v -x2231 -x2229 -x2227 -x2225 -x2223 -x2221 -x2219 -x2218 -x2216 -x2214 -x2212 -x2210 -x2208 -x2206 -x2204 -x2202 -x2200 -x2198
1800.03/1800.53 v -x2196 -x2194 -x2192 -x2190 -x2188 -x2186 -x2184 -x2182 -x2180 -x2178 -x2176 -x2174 -x2172 -x2170 -x2168 -x2166 -x2164 -x2162
1800.03/1800.53 v -x2160 -x2158 -x2156 x2154 -x2152 -x2150 -x2148 -x2146 -x2144 -x2142 -x2140 -x2138 -x2136 -x2134 -x2132 -x2130 -x2128 -x2126
1800.03/1800.53 v -x2124 -x2122 -x2120 -x2118 -x2116 -x2114 -x2112 -x2110 -x2108 -x2106 -x2104 -x2102 -x2100 -x2098 -x2096 -x2094 -x2092 -x2091
1800.03/1800.53 v -x2089 -x2087 -x2086 -x2084 -x2082 -x2080 -x2078 -x2076 -x2074 -x2072 -x2070 -x2068 -x2066 -x2064 -x2062 -x2060 -x2058
1800.03/1800.53 v -x2056 -x2054 -x2053 -x2051 -x2049 -x2047 -x2045 -x2043 -x2041 -x2039 -x2037 -x2035 -x2033 -x2031 -x2029 -x2028 -x2026 -x2024
1800.03/1800.53 v -x2022 -x2020 -x2018 -x2016 -x2014 -x2012 -x2010 -x2008 -x2006 -x2004 -x2002 -x2000 -x1998 -x1996 -x1994 -x1992 -x1990 -x1988
1800.03/1800.53 v -x1986 -x1984 -x1982 -x1980 -x1978 -x1976 -x1974 -x1972 -x1970 -x1968 -x1966 -x1964 -x1962 -x1960 -x1958 -x1956 -x1954 -x1952
1800.03/1800.53 v -x1950 -x1948 -x1946 -x1944 -x1942 -x1940 -x1938 -x1936 -x1934 -x1932 -x1930 -x1928 -x1926 -x1924 -x1922 -x1920 -x1918 -x1916
1800.03/1800.53 v -x1914 -x1912 -x1910 -x1908 -x1906 -x1904 -x1902 -x1900 -x1898 -x1896 -x1894 -x1892 -x1890 -x1888 -x1886 -x1884 -x1882 -x1880
1800.03/1800.53 v -x1878 -x1876 -x1874 -x1872 -x1870 -x1868 -x1866 -x1864 -x1862 -x1860 -x1858 -x1856 -x1854 -x1852 -x1850 -x1848 -x1846 -x1844
1800.03/1800.53 v -x1842 -x1840 -x1838 -x1836 -x1834 -x1832 -x1830 -x1828 -x1826 -x1824 -x1822 -x1820 -x1818 x1816 -x1814 -x1812 -x1810 -x1808
1800.03/1800.53 v -x1806 -x1804 -x1802 -x1800 -x1798 -x1796 -x1795 -x1793 -x1791 -x1789 -x1787 -x1785 -x1783 -x1781 -x1779 -x1777 -x1775
1800.03/1800.53 v -x1773 -x1771 -x1769 -x1767 -x1765 -x1763 -x1761 -x1759 -x1757 -x1755 -x1753 -x1751 -x1749 -x1747 -x1745 -x1743 -x1741 -x1739
1800.03/1800.53 v -x1737 -x1735 -x1733 -x1731 -x1729 -x1727 -x1725 -x1723 -x1721 -x1719 -x1717 -x1715 -x1713 -x1711 -x1709 -x1707 -x1705 -x1703
1800.03/1800.53 v -x1701 -x1699 -x1697 -x1695 -x1693 -x1691 -x1689 -x1687 -x1685 -x1683 -x1681 -x1679 -x1677 -x1675 -x1673 -x1671 -x1669 -x1667
1800.03/1800.53 v -x1665 -x1663 -x1661 -x1659 -x1657 -x1655 -x1653 -x1651 -x1649 -x1647 -x1645 -x1643 -x1641 -x1639 -x1637 -x1635 -x1633 -x1631
1800.03/1800.53 v -x1629 -x1627 -x1625 -x1623 -x1621 -x1619 -x1617 -x1615 -x1613 -x1611 -x1609 -x1607 -x1605 -x1603 -x1601 -x1599 -x1597 -x1595
1800.03/1800.53 v -x1593 -x1591 -x1589 -x1587 -x1585 -x1583 -x1581 -x1579 -x1577 -x1575 -x1573 -x1571 -x1569 -x1567 -x1565 -x1563 -x1561 -x1559
1800.03/1800.53 v -x1557 -x1555 -x1553 -x1551 -x1549 -x1547 -x1546 -x1544 -x1542 -x1540 -x1538 -x1536 -x1534 -x1532 -x1530 -x1528 -x1526
1800.03/1800.53 v -x1524 -x1522 -x1520 -x1518 -x1516 -x1514 -x1512 -x1510 -x1508 -x1506 -x1504 -x1502 -x1500 -x1498 -x1496 -x1494 -x1492 -x1490
1800.03/1800.53 v -x1488 -x1486 -x1484 -x1482 -x1480 -x1478 -x1476 -x1474 -x1472 -x1470 -x1468 -x1466 -x1464 -x1462 -x1460 -x1458 -x1456 -x1454
1800.03/1800.53 v -x1452 -x1450 -x1448 -x1446 -x1444 -x1442 -x1440 -x1438 -x1436 -x1434 -x1432 -x1430 -x1428 -x1426 -x1424 -x1422 -x1420 -x1418
1800.03/1800.53 v -x1416 -x1414 -x1412 -x1410 -x1408 -x1406 -x1404 -x1402 -x1400 -x1398 -x1396 -x1394 -x1392 -x1390 -x1388 -x1386 -x1384 -x1382
1800.03/1800.53 v -x1380 -x1379 -x1377 -x1375 -x1373 -x1371 -x1369 -x1367 -x1365 -x1363 -x1361 -x1359 -x1357 -x1355 -x1353 -x1351 -x1349 -x1347
1800.03/1800.53 v -x1345 -x1343 -x1341 -x1339 -x1337 -x1335 -x1333 -x1331 -x1329 -x1327 -x1325 -x1323 -x1321 -x1319 -x1317 -x1315 -x1313 -x1311
1800.03/1800.53 v -x1309 -x1307 -x1305 -x1303 -x1301 -x1299 -x1297 -x1295 -x1293 -x1291 -x1289 -x1287 -x1285 -x1283 -x1281 -x1279 -x1277
1800.03/1800.53 v -x1275 -x1273 -x1271 -x1269 -x1267 -x1265 -x1263 -x1261 -x1259 -x1257 -x1255 -x1253 -x1251 -x1249 -x1247 -x1245 -x1243 -x1241
1800.03/1800.53 v -x1239 -x1237 -x1235 -x1233 -x1231 -x1229 -x1227 -x1225 -x1223 -x1221 -x1219 -x1217 -x1215 -x1213 -x1211 -x1209 -x1207 -x1205
1800.03/1800.53 v -x1203 -x1201 -x1199 -x1197 -x1195 -x1193 -x1191 -x1189 -x1187 -x1185 -x1183 -x1181 -x1179 -x1177 -x1175 -x1173 -x1171 -x1169
1800.03/1800.53 v -x1167 -x1165 -x1163 -x1161 -x1159 -x1157 -x1155 -x1153 -x1151 -x1149 -x1147 -x1145 -x1143 -x1141 -x1139 -x1137 -x1135 -x1133
1800.03/1800.53 v -x1131 -x1129 -x1127 -x1125 -x1123 -x1121 -x1119 -x1117 -x1115 -x1113 -x1111 -x1109 -x1107 -x1105 -x1103 -x1101 -x1099 -x1097
1800.03/1800.53 v -x1095 -x1093 -x1091 -x1089 -x1087 -x1085 -x1083 -x1081 -x1079 -x1077 -x1075 -x1073 -x1071 -x1069 -x1067 -x1065 -x1063 -x1061
1800.03/1800.53 v -x1059 -x1057 -x1055 -x1053 -x1051 -x1049 -x1047 -x1045 -x1043 -x1041 -x1039 -x1037 -x1035 -x1033 -x1031 -x1029 -x1027
1800.03/1800.53 v -x1025 -x1023 -x1021 -x1019 -x1017 -x1015 -x1013 -x1011 -x1009 -x1007 -x1005 -x1003 -x1001 -x999 -x997 -x995 -x993 -x991 -x989
1800.03/1800.53 v -x987 -x985 -x983 -x981 -x979 -x977 -x975 -x974 -x972 -x970 -x968 -x966 -x964 -x962 -x960 -x958 -x956 -x954 -x952 -x950 -x948
1800.03/1800.53 v -x946 -x944 -x942 -x940 -x938 -x936 -x934 -x932 -x930 -x928 -x926 -x924 -x922 -x920 -x918 -x916 -x914 -x912 -x910 -x908 -x906
1800.03/1800.53 v -x904 -x902 -x900 -x898 -x896 -x894 -x892 -x890 -x888 -x886 -x884 -x882 -x880 -x878 -x876 -x874 -x872 -x870 -x868 -x866 -x864
1800.03/1800.53 v -x862 -x860 -x858 -x856 -x854 -x852 -x850 -x848 -x846 -x844 -x842 -x840 -x838 -x836 -x834 -x832 -x830 -x828 -x826 -x824
1800.03/1800.53 v -x822 -x820 -x818 -x816 -x814 -x812 -x810 -x808 -x806 -x804 -x802 -x800 -x798 -x796 -x794 -x792 -x790 -x788 -x786 -x784 -x782
1800.03/1800.53 v -x780 -x778 -x776 -x774 -x772 -x770 -x768 -x766 -x764 -x762 -x760 -x758 -x756 -x754 -x752 -x750 -x748 -x746 -x744 -x742 -x740
1800.03/1800.53 v -x738 -x736 -x734 -x732 -x730 -x728 -x726 -x724 -x722 -x720 -x718 -x716 -x714 -x712 -x710 -x708 -x706 -x704 -x702 -x700 -x698
1800.03/1800.53 v -x696 -x694 -x692 -x690 -x688 -x686 -x684 -x682 -x680 -x678 -x676 -x674 -x672 -x670 -x668 -x666 -x664 -x662 -x660 -x658 -x656
1800.03/1800.53 v -x654 -x652 -x650 -x648 -x646 -x644 -x642 -x640 -x638 -x636 -x634 -x632 -x630 -x629 -x627 -x625 -x623 -x621 -x619 -x617 -x615
1800.03/1800.53 v -x613 -x611 -x609 -x607 -x605 -x603 -x601 -x599 -x597 -x595 -x593 -x591 -x589 -x587 -x585 -x583 -x581 -x579 -x577 -x575
1800.03/1800.53 v -x573 -x571 -x569 -x567 -x565 -x563 -x561 -x559 -x557 -x555 -x553 -x551 -x549 -x547 -x545 -x543 -x541 -x539 -x537 -x535 -x533
1800.03/1800.53 v -x531 -x529 -x527 -x525 -x523 -x521 -x519 -x517 -x515 -x513 -x511 -x509 x507 -x505 -x503 -x501 -x499 -x497 -x495 -x493 -x491
1800.03/1800.53 v -x489 -x487 -x485 -x483 -x481 -x479 -x477 -x475 -x473 -x471 -x469 -x467 -x465 -x463 -x461 -x459 -x457 -x455 -x453 -x451 -x449
1800.03/1800.53 v -x447 -x445 -x443 -x441 -x439 -x437 -x435 -x433 -x431 -x429 -x427 -x425 -x423 -x421 -x419 -x417 -x415 -x413 -x411 -x409 -x407
1800.03/1800.53 v -x405 -x403 -x401 -x399 -x397 -x395 -x393 -x391 -x389 -x387 -x385 -x383 -x381 -x379 -x377 -x375 -x373 -x371 -x369 -x367 -x365
1800.03/1800.53 v -x363 -x361 -x359 -x357 -x355 -x353 -x351 -x349 -x347 -x345 -x343 -x341 -x339 -x337 -x335 -x333 -x331 -x329 -x327 -x325 -x323
1800.03/1800.53 v -x321 -x319 -x317 -x315 -x313 -x311 -x309 -x307 -x305 -x303 -x301 -x299 -x297 -x295 -x293 -x291 -x289 x287 -x285 -x283 -x281
1800.03/1800.53 v -x279 -x277 -x275 -x273 -x271 -x269 -x267 -x265 -x263 -x261 -x259 -x257 -x255 -x253 -x251 -x249 -x247 -x245 -x243 -x241
1800.03/1800.53 v -x239 -x237 -x235 -x233 -x231 x229 -x228 -x226 -x224 -x222 -x220 -x218 -x216 -x214 -x212 -x210 -x208 -x206 -x204 x202 -x200 -x198
1800.03/1800.53 v -x196 -x194 -x192
1800.03/1800.53 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.53 c Solving Time : 1749.05
1800.03/1800.53 c Original Problem :
1800.03/1800.53 c Problem name : HOME/instance-2666801-1276635903.opb
1800.03/1800.53 c Variables : 6080 (6080 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.53 c Constraints : 18113 initial, 18113 maximal
1800.03/1800.53 c Presolved Problem :
1800.03/1800.53 c Problem name : t_HOME/instance-2666801-1276635903.opb
1800.03/1800.53 c Variables : 2669 (2669 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.53 c Constraints : 10707 initial, 10866 maximal
1800.03/1800.53 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.53 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.53 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.53 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.53 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.53 c implics : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.53 c probing : 0.08 0 0 0 0 0 0 0 0
1800.03/1800.53 c linear : 0.23 487 2924 0 487 0 7406 0 0
1800.03/1800.53 c logicor : 0.08 0 0 0 0 0 0 0 0
1800.03/1800.53 c root node : - 0 - - 0 - - - -
1800.03/1800.53 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.53 c integral : 0 0 0 1 0 0 0 0 0 2
1800.03/1800.53 c logicor : 10707+ 9 4328307 0 0 560162 7891882 0 0 0
1800.03/1800.53 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.03/1800.53 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.53 c integral : 12.22 0.00 0.00 12.22 0.00
1800.03/1800.53 c logicor : 406.10 0.01 406.09 0.00 0.00
1800.03/1800.53 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.53 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.53 c vbounds : 4.48 2 0 0
1800.03/1800.53 c rootredcost : 3.59 0 0 0
1800.03/1800.53 c pseudoobj : 973.02 7010309 556118 9577344
1800.03/1800.53 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.53 c propagation : 322.54 1116280 1116280 1116280 60.8 42194 37.9 -
1800.03/1800.53 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.53 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.53 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.53 c pseudo solution : 6.94 10280 10280 10280 54.1 383 56.9 -
1800.03/1800.53 c applied globally : - - - 1169137 59.9 - - -
1800.03/1800.53 c applied locally : - - - 0 0.0 - - -
1800.03/1800.53 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.53 c cut pool : 0.02 8 - - 63 - (maximal pool size: 312)
1800.03/1800.53 c redcost : 0.00 9 0 0 0 0
1800.03/1800.53 c impliedbounds : 0.00 9 0 0 0 0
1800.03/1800.53 c intobj : 0.00 0 0 0 0 0
1800.03/1800.53 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.53 c gomory : 14.62 9 0 0 1031 0
1800.03/1800.53 c strongcg : 9.49 9 0 0 3033 0
1800.03/1800.53 c cmir : 1.09 9 0 0 0 0
1800.03/1800.53 c flowcover : 1.69 9 0 0 0 0
1800.03/1800.53 c clique : 0.02 9 0 0 50 0
1800.03/1800.53 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.53 c mcf : 0.02 1 0 0 0 0
1800.03/1800.53 c rapidlearning : 0.00 0 0 0 0 0
1800.03/1800.53 c Pricers : Time Calls Vars
1800.03/1800.53 c problem variables: 0.00 0 0
1800.03/1800.53 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.53 c relpscost : 12.22 1 0 0 0 0 2
1800.03/1800.53 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.53 c inference : 52.96 1544130 0 0 0 0 3088260
1800.03/1800.53 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.53 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.53 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.53 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.53 c random : 0.00 0 0 0 0 0 0
1800.03/1800.53 c Primal Heuristics : Time Calls Found
1800.03/1800.53 c LP solutions : 0.00 - 0
1800.03/1800.53 c pseudo solutions : 0.00 - 0
1800.03/1800.53 c crossover : 0.00 0 0
1800.03/1800.53 c oneopt : 1.27 4 2
1800.03/1800.53 c trivial : 0.01 2 0
1800.03/1800.53 c simplerounding : 0.00 0 0
1800.03/1800.53 c zirounding : 0.00 1 0
1800.03/1800.53 c rounding : 0.04 10 2
1800.03/1800.53 c shifting : 0.04 10 1
1800.03/1800.53 c intshifting : 0.00 0 0
1800.03/1800.53 c twoopt : 0.00 0 0
1800.03/1800.53 c fixandinfer : 0.00 0 0
1800.03/1800.53 c feaspump : 0.00 0 0
1800.03/1800.53 c coefdiving : 0.00 0 0
1800.03/1800.53 c pscostdiving : 0.00 0 0
1800.03/1800.53 c fracdiving : 0.00 0 0
1800.03/1800.53 c veclendiving : 0.00 0 0
1800.03/1800.53 c intdiving : 0.00 0 0
1800.03/1800.53 c actconsdiving : 0.00 0 0
1800.03/1800.53 c objpscostdiving : 0.00 0 0
1800.03/1800.53 c rootsoldiving : 0.00 0 0
1800.03/1800.53 c linesearchdiving : 0.00 0 0
1800.03/1800.53 c guideddiving : 0.00 0 0
1800.03/1800.53 c octane : 0.00 0 0
1800.03/1800.53 c rens : 0.47 1 1
1800.03/1800.53 c rins : 0.00 0 0
1800.03/1800.53 c localbranching : 0.00 0 0
1800.03/1800.53 c mutation : 0.00 0 0
1800.03/1800.53 c dins : 0.00 0 0
1800.03/1800.53 c undercover : 0.00 0 0
1800.03/1800.53 c nlp : 1.19 0 0
1800.03/1800.53 c trysol : 1.18 0 0
1800.03/1800.53 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.53 c primal LP : 0.01 0 0 0.00 0.00
1800.03/1800.53 c dual LP : 1.20 10 1391 139.10 1159.17
1800.03/1800.53 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.53 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.53 c diving/probing LP: 0.00 0 0 0.00 -
1800.03/1800.53 c strong branching : 12.22 19 7654 402.84 626.35
1800.03/1800.53 c (at root node) : - 19 7654 402.84 -
1800.03/1800.53 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.53 c B&B Tree :
1800.03/1800.53 c number of runs : 1
1800.03/1800.53 c nodes : 2092640
1800.03/1800.53 c nodes (total) : 2092640
1800.03/1800.53 c nodes left : 609
1800.03/1800.54 c max depth : 640
1800.03/1800.54 c max depth (total): 640
1800.03/1800.54 c backtracks : 669771 (32.0%)
1800.03/1800.54 c delayed cutoffs : 757544
1800.03/1800.54 c repropagations : 1575787 (7596129 domain reductions, 578051 cutoffs)
1800.03/1800.54 c avg switch length: 2.60
1800.03/1800.54 c switching time : 120.57
1800.03/1800.54 c Solution :
1800.03/1800.54 c Solutions found : 6 (6 improvements)
1800.03/1800.54 c First Solution : +5.00000000000000e+01 (in run 1, after 1 nodes, 0.81 seconds, depth 0, found by <rounding>)
1800.03/1800.54 c Primal Bound : +2.59999999999998e+01 (in run 1, after 1 nodes, 24.62 seconds, depth 0, found by <rens>)
1800.03/1800.54 c Dual Bound : +2.40000000000000e+01
1800.03/1800.54 c Gap : 8.33 %
1800.03/1800.54 c Root Dual Bound : +2.40000000000000e+01
1800.03/1800.54 c Root Iterations : 1391
1800.14/1800.63 c Time complete: 1800.15.
OK 26
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2666801-1276635903/watcher-2666801-1276635903 -o /tmp/evaluation-result-2666801-1276635903/solver-2666801-1276635903 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666801-1276635903.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11223 /proc/meminfo: memFree=1819900/2059040 swapFree=4192956/4192956 [pid=11223] ppid=11221 vsize=4924 CPUtime=0 /proc/11223/stat : 11223 (pbscip.linux.x8) R 11221 11223 10829 0 -1 4202496 566 0 0 0 0 0 0 0 19 0 1 0 4882549 5042176 488 1992294400 4194304 8223781 140735461559152 18446744073709551615 7256940 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11223/statm: 1231 488 302 984 0 244 0 [startup+0.0752989 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11223 /proc/meminfo: memFree=1819900/2059040 swapFree=4192956/4192956 [pid=11223] ppid=11221 vsize=15496 CPUtime=0.06 /proc/11223/stat : 11223 (pbscip.linux.x8) R 11221 11223 10829 0 -1 4202496 3169 0 0 0 6 0 0 0 19 0 1 0 4882549 15867904 3088 1992294400 4194304 8223781 140735461559152 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11223/statm: 3874 3101 365 984 0 2887 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 15496 [startup+0.101301 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11223 /proc/meminfo: memFree=1819900/2059040 swapFree=4192956/4192956 [pid=11223] ppid=11221 vsize=15496 CPUtime=0.08 /proc/11223/stat : 11223 (pbscip.linux.x8) R 11221 11223 10829 0 -1 4202496 3205 0 0 0 8 0 0 0 19 0 1 0 4882549 15867904 3124 1992294400 4194304 8223781 140735461559152 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11223/statm: 3874 3124 365 984 0 2887 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 15496 [startup+0.301323 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11223 /proc/meminfo: memFree=1819900/2059040 swapFree=4192956/4192956 [pid=11223] ppid=11221 vsize=20560 CPUtime=0.29 /proc/11223/stat : 11223 (pbscip.linux.x8) R 11221 11223 10829 0 -1 4202496 4464 0 0 0 28 1 0 0 20 0 1 0 4882549 21053440 4383 1992294400 4194304 8223781 140735461559152 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11223/statm: 5140 4383 365 984 0 4153 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 20560 [startup+0.701363 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11223 /proc/meminfo: memFree=1819900/2059040 swapFree=4192956/4192956 [pid=11223] ppid=11221 vsize=47212 CPUtime=0.68 /proc/11223/stat : 11223 (pbscip.linux.x8) R 11221 11223 10829 0 -1 4202496 11753 0 0 0 62 6 0 0 20 0 1 0 4882549 48345088 10698 1992294400 4194304 8223781 140735461559152 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11223/statm: 11803 10698 451 984 0 10816 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 47212 [startup+1.50145 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11224 /proc/meminfo: memFree=1764960/2059040 swapFree=4192956/4192956 [pid=11223] ppid=11221 vsize=67268 CPUtime=1.49 /proc/11223/stat : 11223 (pbscip.linux.x8) R 11221 11223 10829 0 -1 4202496 18742 0 0 0 138 11 0 0 22 0 1 0 4882549 68882432 15673 1992294400 4194304 8223781 140735461559152 18446744073709551615 6045809 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11223/statm: 16817 15673 546 984 0 15830 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 67268 [startup+3.10161 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11224 /proc/meminfo: memFree=1751692/2059040 swapFree=4192956/4192956 [pid=11223] ppid=11221 vsize=76264 CPUtime=3.08 /proc/11223/stat : 11223 (pbscip.linux.x8) R 11221 11223 10829 0 -1 4202496 21414 0 0 0 294 14 0 0 25 0 1 0 4882549 78094336 17879 1992294400 4194304 8223781 140735461559152 18446744073709551615 6008822 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11223/statm: 19066 17879 586 984 0 18079 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 76264 [startup+6.30094 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11224 /proc/meminfo: memFree=1748344/2059040 swapFree=4192956/4192956 [pid=11223] ppid=11221 vsize=79564 CPUtime=6.28 /proc/11223/stat : 11223 (pbscip.linux.x8) R 11221 11223 10829 0 -1 4202496 22441 0 0 0 612 16 0 0 25 0 1 0 4882549 81473536 18617 1992294400 4194304 8223781 140735461559152 18446744073709551615 4667257 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11223/statm: 19891 18617 579 984 0 18904 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 79564 [startup+12.7006 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11224 /proc/meminfo: memFree=1739168/2059040 swapFree=4192956/4192956 [pid=11223] ppid=11221 vsize=87596 CPUtime=12.69 /proc/11223/stat : 11223 (pbscip.linux.x8) R 11221 11223 10829 0 -1 4202496 25059 0 0 0 1246 23 0 0 25 0 1 0 4882549 89698304 20571 1992294400 4194304 8223781 140735461559152 18446744073709551615 5743107 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11223/statm: 21899 20571 575 984 0 20912 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 87596 [startup+25.5009 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11224 /proc/meminfo: memFree=1712880/2059040 swapFree=4192956/4192956 [pid=11223] ppid=11221 vsize=88832 CPUtime=25.48 /proc/11223/stat : 11223 (pbscip.linux.x8) R 11221 11223 10829 0 -1 4202496 37393 0 0 0 2510 38 0 0 25 0 1 0 4882549 90963968 20960 1992294400 4194304 8223781 140735461559152 18446744073709551615 6043636 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11223/statm: 22208 20960 599 984 0 21221 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 88832 [startup+51.1016 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11226 /proc/meminfo: memFree=1737308/2059040 swapFree=4192956/4192956 [pid=11223] ppid=11221 vsize=89668 CPUtime=51.07 /proc/11223/stat : 11223 (pbscip.linux.x8) R 11221 11223 10829 0 -1 4202496 54702 0 0 0 5033 74 0 0 25 0 1 0 4882549 91820032 21107 1992294400 4194304 8223781 140735461559152 18446744073709551615 5905997 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11223/statm: 22417 21107 602 984 0 21430 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 89668 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11226 /proc/meminfo: memFree=1736812/2059040 swapFree=4192956/4192956 [pid=11223] ppid=11221 vsize=89936 CPUtime=102.27 /proc/11223/stat : 11223 (pbscip.linux.x8) R 11221 11223 10829 0 -1 4202496 54773 0 0 0 10005 222 0 0 25 0 1 0 4882549 92094464 21178 1992294400 4194304 8223781 140735461559152 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11223/statm: 22484 21178 602 984 0 21497 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 89936 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11228 /proc/meminfo: memFree=1736564/2059040 swapFree=4192956/4192956 [pid=11223] ppid=11221 vsize=90204 CPUtime=162.25 /proc/11223/stat : 11223 (pbscip.linux.x8) R 11221 11223 10829 0 -1 4202496 54821 0 0 0 15840 385 0 0 25 0 1 0 4882549 92368896 21226 1992294400 4194304 8223781 140735461559152 18446744073709551615 5507309 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11223/statm: 22551 21226 602 984 0 21564 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 90204 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11230 /proc/meminfo: memFree=1736440/2059040 swapFree=4192956/4192956 [pid=11223] ppid=11221 vsize=90204 CPUtime=222.23 /proc/11223/stat : 11223 (pbscip.linux.x8) R 11221 11223 10829 0 -1 4202496 54841 0 0 0 21665 558 0 0 25 0 1 0 4882549 92368896 21246 1992294400 4194304 8223781 140735461559152 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11223/statm: 22551 21246 602 984 0 21564 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 90204 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11232 /proc/meminfo: memFree=1736316/2059040 swapFree=4192956/4192956 [pid=11223] ppid=11221 vsize=90336 CPUtime=282.22 /proc/11223/stat : 11223 (pbscip.linux.x8) R 11221 11223 10829 0 -1 4202496 54872 0 0 0 27493 729 0 0 25 0 1 0 4882549 92504064 21277 1992294400 4194304 8223781 140735461559152 18446744073709551615 4703875 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11223/statm: 22584 21277 602 984 0 21597 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 90336 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11234 /proc/meminfo: memFree=1736068/2059040 swapFree=4192956/4192956 [pid=11223] ppid=11221 vsize=90336 CPUtime=342.2 /proc/11223/stat : 11223 (pbscip.linux.x8) R 11221 11223 10829 0 -1 4202496 54875 0 0 0 33321 899 0 0 25 0 1 0 4882549 92504064 21280 1992294400 4194304 8223781 140735461559152 18446744073709551615 5507728 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11223/statm: 22584 21280 602 984 0 21597 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 90336 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11234 /proc/meminfo: memFree=1735944/2059040 swapFree=4192956/4192956 [pid=11223] ppid=11221 vsize=90476 CPUtime=402.19 /proc/11223/stat : 11223 (pbscip.linux.x8) R 11221 11223 10829 0 -1 4202496 54889 0 0 0 39147 1072 0 0 25 0 1 0 4882549 92647424 21294 1992294400 4194304 8223781 140735461559152 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11223/statm: 22619 21294 602 984 0 21632 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 90476 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11236 /proc/meminfo: memFree=1735820/2059040 swapFree=4192956/4192956 [pid=11223] ppid=11221 vsize=90476 CPUtime=462.17 /proc/11223/stat : 11223 (pbscip.linux.x8) R 11221 11223 10829 0 -1 4202496 54895 0 0 0 44978 1239 0 0 25 0 1 0 4882549 92647424 21300 1992294400 4194304 8223781 140735461559152 18446744073709551615 5507220 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11223/statm: 22619 21300 602 984 0 21632 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 90476 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11238 /proc/meminfo: memFree=1735696/2059040 swapFree=4192956/4192956 [pid=11223] ppid=11221 vsize=90476 CPUtime=522.15 /proc/11223/stat : 11223 (pbscip.linux.x8) R 11221 11223 10829 0 -1 4202496 54909 0 0 0 50802 1413 0 0 25 0 1 0 4882549 92647424 21314 1992294400 4194304 8223781 140735461559152 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11223/statm: 22619 21314 602 984 0 21632 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 90476 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11240 /proc/meminfo: memFree=1735572/2059040 swapFree=4192956/4192956 [pid=11223] ppid=11221 vsize=90476 CPUtime=582.13 /proc/11223/stat : 11223 (pbscip.linux.x8) R 11221 11223 10829 0 -1 4202496 54914 0 0 0 56624 1589 0 0 25 0 1 0 4882549 92647424 21319 1992294400 4194304 8223781 140735461559152 18446744073709551615 4998182 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11223/statm: 22619 21319 602 984 0 21632 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 90476 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11242 /proc/meminfo: memFree=1735448/2059040 swapFree=4192956/4192956 [pid=11223] ppid=11221 vsize=90476 CPUtime=642.13 /proc/11223/stat : 11223 (pbscip.linux.x8) R 11221 11223 10829 0 -1 4202496 54914 0 0 0 62456 1757 0 0 25 0 1 0 4882549 92647424 21319 1992294400 4194304 8223781 140735461559152 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11223/statm: 22619 21319 602 984 0 21632 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 90476 [startup+702.302 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11248 /proc/meminfo: memFree=1735076/2059040 swapFree=4192956/4192956 [pid=11223] ppid=11221 vsize=90608 CPUtime=882.06 /proc/11223/stat : 11223 (pbscip.linux.x8) R 11221 11223 10829 0 -1 4202496 54927 0 0 0 85767 2439 0 0 25 0 1 0 4882549 92782592 21332 1992294400 4194304 8223781 140735461559152 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11223/statm: 22652 21332 602 984 0 21665 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 90608 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11250 /proc/meminfo: memFree=1734952/2059040 swapFree=4192956/4192956 [pid=11223] ppid=11221 vsize=90608 CPUtime=942.05 /proc/11223/stat : 11223 (pbscip.linux.x8) R 11221 11223 10829 0 -1 4202496 54927 0 0 0 91599 2606 0 0 25 0 1 0 4882549 92782592 21332 1992294400 4194304 8223781 140735461559152 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11223/statm: 22652 21332 602 984 0 21665 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 90608 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11250 /proc/meminfo: memFree=1734828/2059040 swapFree=4192956/4192956 [pid=11223] ppid=11221 vsize=90608 CPUtime=1002.02 /proc/11223/stat : 11223 (pbscip.linux.x8) R 11221 11223 10829 0 -1 4202496 54933 0 0 0 97426 2776 0 0 25 0 1 0 4882549 92782592 21338 1992294400 4194304 8223781 140735461559152 18446744073709551615 5506150 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11223/statm: 22652 21338 602 984 0 21665 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 90608 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11252 /proc/meminfo: memFree=1734704/2059040 swapFree=4192956/4192956 [pid=11223] ppid=11221 vsize=90608 CPUtime=1062.01 /proc/11223/stat : 11223 (pbscip.linux.x8) R 11221 11223 10829 0 -1 4202496 54935 0 0 0 103261 2940 0 0 25 0 1 0 4882549 92782592 21340 1992294400 4194304 8223781 140735461559152 18446744073709551615 4210349 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11223/statm: 22652 21340 602 984 0 21665 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 90608 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11254 /proc/meminfo: memFree=1734580/2059040 swapFree=4192956/4192956 [pid=11223] ppid=11221 vsize=90608 CPUtime=1122 /proc/11223/stat : 11223 (pbscip.linux.x8) R 11221 11223 10829 0 -1 4202496 54939 0 0 0 109091 3109 0 0 25 0 1 0 4882549 92782592 21344 1992294400 4194304 8223781 140735461559152 18446744073709551615 5506140 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11223/statm: 22652 21344 602 984 0 21665 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 90608 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11256 /proc/meminfo: memFree=1734456/2059040 swapFree=4192956/4192956 [pid=11223] ppid=11221 vsize=90608 CPUtime=1181.98 /proc/11223/stat : 11223 (pbscip.linux.x8) R 11221 11223 10829 0 -1 4202496 54939 0 0 0 114919 3279 0 0 25 0 1 0 4882549 92782592 21344 1992294400 4194304 8223781 140735461559152 18446744073709551615 4661054 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11223/statm: 22652 21344 602 984 0 21665 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 90608 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11258 /proc/meminfo: memFree=1734332/2059040 swapFree=4192956/4192956 [pid=11223] ppid=11221 vsize=90608 CPUtime=1241.97 /proc/11223/stat : 11223 (pbscip.linux.x8) R 11221 11223 10829 0 -1 4202496 54943 0 0 0 120750 3447 0 0 25 0 1 0 4882549 92782592 21348 1992294400 4194304 8223781 140735461559152 18446744073709551615 5507249 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11223/statm: 22652 21348 602 984 0 21665 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 90608 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11258 /proc/meminfo: memFree=1734084/2059040 swapFree=4192956/4192956 [pid=11223] ppid=11221 vsize=90744 CPUtime=1301.96 /proc/11223/stat : 11223 (pbscip.linux.x8) R 11221 11223 10829 0 -1 4202496 54951 0 0 0 126581 3615 0 0 25 0 1 0 4882549 92921856 21356 1992294400 4194304 8223781 140735461559152 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11223/statm: 22686 21356 602 984 0 21699 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 90744 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11260 /proc/meminfo: memFree=1734084/2059040 swapFree=4192956/4192956 [pid=11223] ppid=11221 vsize=90744 CPUtime=1361.94 /proc/11223/stat : 11223 (pbscip.linux.x8) R 11221 11223 10829 0 -1 4202496 54953 0 0 0 132409 3785 0 0 25 0 1 0 4882549 92921856 21358 1992294400 4194304 8223781 140735461559152 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11223/statm: 22686 21358 602 984 0 21699 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 90744 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11262 /proc/meminfo: memFree=1734084/2059040 swapFree=4192956/4192956 [pid=11223] ppid=11221 vsize=90744 CPUtime=1421.93 /proc/11223/stat : 11223 (pbscip.linux.x8) R 11221 11223 10829 0 -1 4202496 54955 0 0 0 138232 3961 0 0 25 0 1 0 4882549 92921856 21360 1992294400 4194304 8223781 140735461559152 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11223/statm: 22686 21360 602 984 0 21699 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 90744 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11264 /proc/meminfo: memFree=1733960/2059040 swapFree=4192956/4192956 [pid=11223] ppid=11221 vsize=90744 CPUtime=1481.9 /proc/11223/stat : 11223 (pbscip.linux.x8) R 11221 11223 10829 0 -1 4202496 54961 0 0 0 144058 4132 0 0 25 0 1 0 4882549 92921856 21366 1992294400 4194304 8223781 140735461559152 18446744073709551615 4703869 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11223/statm: 22686 21366 602 984 0 21699 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 90744 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11266 /proc/meminfo: memFree=1733836/2059040 swapFree=4192956/4192956 [pid=11223] ppid=11221 vsize=90744 CPUtime=1541.89 /proc/11223/stat : 11223 (pbscip.linux.x8) R 11221 11223 10829 0 -1 4202496 54980 0 0 0 149888 4301 0 0 25 0 1 0 4882549 92921856 21385 1992294400 4194304 8223781 140735461559152 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11223/statm: 22686 21385 602 984 0 21699 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 90744 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11266 /proc/meminfo: memFree=1733836/2059040 swapFree=4192956/4192956 [pid=11223] ppid=11221 vsize=90744 CPUtime=1601.87 /proc/11223/stat : 11223 (pbscip.linux.x8) R 11221 11223 10829 0 -1 4202496 54980 0 0 0 155710 4477 0 0 25 0 1 0 4882549 92921856 21385 1992294400 4194304 8223781 140735461559152 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11223/statm: 22686 21385 602 984 0 21699 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 90744 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11271 /proc/meminfo: memFree=1733216/2059040 swapFree=4192956/4192956 [pid=11223] ppid=11221 vsize=90876 CPUtime=1661.85 /proc/11223/stat : 11223 (pbscip.linux.x8) R 11221 11223 10829 0 -1 4202496 54997 0 0 0 161523 4662 0 0 25 0 1 0 4882549 93057024 21402 1992294400 4194304 8223781 140735461559152 18446744073709551615 5507431 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11223/statm: 22719 21402 602 984 0 21732 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 90876 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11273 /proc/meminfo: memFree=1733216/2059040 swapFree=4192956/4192956 [pid=11223] ppid=11221 vsize=90876 CPUtime=1721.84 /proc/11223/stat : 11223 (pbscip.linux.x8) R 11221 11223 10829 0 -1 4202496 55001 0 0 0 167349 4835 0 0 25 0 1 0 4882549 93057024 21406 1992294400 4194304 8223781 140735461559152 18446744073709551615 5507220 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11223/statm: 22719 21406 602 984 0 21732 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 90876 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11275 /proc/meminfo: memFree=1733092/2059040 swapFree=4192956/4192956 [pid=11223] ppid=11221 vsize=90876 CPUtime=1781.83 /proc/11223/stat : 11223 (pbscip.linux.x8) R 11221 11223 10829 0 -1 4202496 55009 0 0 0 173169 5014 0 0 25 0 1 0 4882549 93057024 21414 1992294400 4194304 8223781 140735461559152 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11223/statm: 22719 21414 602 984 0 21732 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 90876 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11275 /proc/meminfo: memFree=1733092/2059040 swapFree=4192956/4192956 [pid=11223] ppid=11221 vsize=90876 CPUtime=1800.03 /proc/11223/stat : 11223 (pbscip.linux.x8) R 11221 11223 10829 0 -1 4202496 55009 0 0 0 174937 5066 0 0 25 0 1 0 4882549 93057024 21414 1992294400 4194304 8223781 140735461559152 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11223/statm: 22719 21414 602 984 0 21732 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 90876 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.00 1.00 1.00 2/108 11276 /proc/meminfo: memFree=1742012/2059040 swapFree=4192956/4192956 [pid=11223] ppid=11221 vsize=35940 CPUtime=1800.14 /proc/11223/stat : 11223 (pbscip.linux.x8) R 11221 11223 10829 0 -1 4202496 55030 0 0 0 174947 5067 0 0 25 0 1 0 4882549 36802560 8407 1992294400 4194304 8223781 140735461559152 18446744073709551615 4692873 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11223/statm: 8985 8407 604 984 0 7998 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (KiB) 35940 Child status: 0 Real time (s): 1800.63 CPU time (s): 1800.17 CPU user time (s): 1749.49 CPU system time (s): 50.6783 CPU usage (%): 99.974 Max. virtual memory (cumulated for all children) (KiB): 115280 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1749.49 system time used= 50.6783 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 55034 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 3118 runsolver used 3.11353 second user time and 8.38273 second system time The end
Begin job on node045 at 2010-06-15 23:05:04 IDJOB=2666801 IDBENCH=24996 IDSOLVER=1169 FILE ID=node045/2666801-1276635903 PBS_JOBID= 11172356 Free space on /tmp= 62460 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_002_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-2666801-1276635903/watcher-2666801-1276635903 -o /tmp/evaluation-result-2666801-1276635903/solver-2666801-1276635903 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666801-1276635903.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d6135de924aeb400fc0f7d1c419e5860 RANDOM SEED=451523353 node045.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.247 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.49 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.247 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.43 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1820552 kB Buffers: 16260 kB Cached: 97744 kB SwapCached: 0 kB Active: 79216 kB Inactive: 94336 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1820552 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4980 kB Writeback: 0 kB AnonPages: 59564 kB Mapped: 15392 kB Slab: 43248 kB PageTables: 4004 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181596 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= 62456 MiB End job on node045 at 2010-06-15 23:35:06