Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | SAT (TO) | 32 | 1800.17 | 1800.74 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_019_area_delay.opb |
| MD5SUM | 0b594d74f3df9901bfa97fac996b1847 |
| 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 | 11.0453 |
| 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 | 7437 |
| Total number of constraints | 23270 |
| Number of constraints which are clauses | 23270 |
| 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 | 127 |
| Number of terms in the objective function | 3612 |
| 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 | 3612 |
| 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 | 3612 |
| 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: NONE] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2663929-1276632944.opb>
0.39/0.41 c original problem has 7437 variables (7437 bin, 0 int, 0 impl, 0 cont) and 23270 constraints
0.39/0.41 c problem read
0.39/0.41 c presolving settings loaded
0.39/0.41 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.49/0.54 c presolving:
0.69/0.77 c (round 1) 4210 del vars, 7807 del conss, 597 chg bounds, 2 chg sides, 2 chg coeffs, 0 upgd conss, 42395 impls, 0 clqs
0.79/0.80 c (round 2) 4212 del vars, 10150 del conss, 597 chg bounds, 2 chg sides, 2 chg coeffs, 0 upgd conss, 42395 impls, 0 clqs
0.89/0.96 c (round 3) 4212 del vars, 10154 del conss, 597 chg bounds, 2 chg sides, 2 chg coeffs, 13096 upgd conss, 42395 impls, 0 clqs
0.89/1.00 c (round 4) 4212 del vars, 10154 del conss, 597 chg bounds, 2 chg sides, 2 chg coeffs, 13116 upgd conss, 42395 impls, 0 clqs
1.10/1.15 c (0.6s) probing: 101/3225 (3.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.10/1.15 c (0.6s) probing aborted: 100/100 successive totally useless probings
1.10/1.15 c presolving (5 rounds):
1.10/1.15 c 4212 deleted vars, 10154 deleted constraints, 597 tightened bounds, 0 added holes, 2 changed sides, 2 changed coefficients
1.10/1.15 c 42395 implications, 0 cliques
1.10/1.15 c presolved problem has 3225 variables (3225 bin, 0 int, 0 impl, 0 cont) and 13116 constraints
1.10/1.15 c 13116 constraints of type <logicor>
1.10/1.15 c transformed objective value is always integral (scale: 1)
1.10/1.15 c Presolving Time: 0.58
1.10/1.15 c - non default parameters ----------------------------------------------------------------------
1.10/1.15 c # SCIP version 1.2.1.2
1.10/1.15 c
1.10/1.15 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
1.10/1.15 c # [type: int, range: [-1,2147483647], default: -1]
1.10/1.15 c conflict/interconss = 0
1.10/1.15 c
1.10/1.15 c # should binary conflicts be preferred?
1.10/1.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.15 c conflict/preferbinary = TRUE
1.10/1.15 c
1.10/1.15 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
1.10/1.15 c # [type: int, range: [-1,2147483647], default: 0]
1.10/1.15 c constraints/agelimit = 1
1.10/1.15 c
1.10/1.15 c # should enforcement of pseudo solution be disabled?
1.10/1.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.15 c constraints/disableenfops = TRUE
1.10/1.15 c
1.10/1.15 c # frequency for displaying node information lines
1.10/1.15 c # [type: int, range: [-1,2147483647], default: 100]
1.10/1.15 c display/freq = 10000
1.10/1.15 c
1.10/1.15 c # maximal time in seconds to run
1.10/1.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.10/1.15 c limits/time = 1799.59
1.10/1.15 c
1.10/1.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.10/1.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.10/1.15 c limits/memory = 1620
1.10/1.15 c
1.10/1.15 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
1.10/1.15 c # [type: int, range: [-1,2147483647], default: 1]
1.10/1.15 c lp/solvefreq = -1
1.10/1.15 c
1.10/1.15 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
1.10/1.15 c # [type: char, range: {lafpsqd}, default: l]
1.10/1.15 c lp/pricing = a
1.10/1.15 c
1.10/1.15 c # should presolving try to simplify inequalities
1.10/1.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.15 c constraints/linear/simplifyinequalities = TRUE
1.10/1.15 c
1.10/1.15 c # should presolving try to simplify knapsacks
1.10/1.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.15 c constraints/knapsack/simplifyinequalities = TRUE
1.10/1.15 c
1.10/1.15 c # priority of node selection rule <dfs> in standard mode
1.10/1.15 c # [type: int, range: [-536870912,536870911], default: 0]
1.10/1.15 c nodeselection/dfs/stdpriority = 1000000
1.10/1.15 c
1.10/1.15 c -----------------------------------------------------------------------------------------------
1.10/1.15 c start solving
1.10/1.15 c
1.10/1.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.10/1.16 c 0.6s| 1 | 2 | 0 | - | 28M| 0 | - |3225 | 13k| 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | -- | Inf
1.58/1.60 o 34
1.58/1.60 c * 1.1s| 627 | 616 | 0 | 0.0 | 28M| 626 | - |3225 | 13k| 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | 3.400000e+01 |3300.00%
1.58/1.61 o 33
1.58/1.61 c * 1.1s| 645 | 617 | 0 | 0.0 | 28M| 628 | - |3225 | 13k| 0 | 0 | 0 | 2 | 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
8.79/8.83 c 8.1s| 10000 | 597 | 0 | 0.0 | 28M| 628 | - |3225 | 13k| 0 | 0 | 0 |5080 | 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
16.68/16.76 c 15.8s| 20000 | 593 | 0 | 0.0 | 28M| 628 | - |3225 | 13k| 0 | 0 | 0 | 10k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
24.88/24.91 c 23.7s| 30000 | 596 | 0 | 0.0 | 28M| 628 | - |3225 | 13k| 0 | 0 | 0 | 15k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
32.68/32.73 c 31.3s| 40000 | 591 | 0 | 0.0 | 28M| 628 | - |3225 | 13k| 0 | 0 | 0 | 20k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
33.58/33.62 o 32
33.58/33.62 c *32.2s| 41081 | 600 | 0 | 0.0 | 28M| 628 | - |3225 | 13k| 0 | 0 | 0 | 20k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
40.87/40.98 c 39.4s| 50000 | 593 | 0 | 0.0 | 28M| 628 | - |3225 | 13k| 0 | 0 | 0 | 25k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
49.67/49.80 c 47.9s| 60000 | 592 | 0 | 0.0 | 28M| 628 | - |3225 | 13k| 0 | 0 | 0 | 31k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
58.37/58.47 c 56.4s| 70000 | 599 | 0 | 0.0 | 28M| 628 | - |3225 | 13k| 0 | 0 | 0 | 37k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
66.87/66.94 c 64.7s| 80000 | 595 | 0 | 0.0 | 28M| 628 | - |3225 | 13k| 0 | 0 | 0 | 42k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
75.07/75.15 c 72.7s| 90000 | 589 | 0 | 0.0 | 28M| 628 | - |3225 | 13k| 0 | 0 | 0 | 47k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
83.58/83.65 c 80.9s|100000 | 592 | 0 | 0.0 | 28M| 628 | - |3225 | 13k| 0 | 0 | 0 | 52k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
91.86/91.98 c 89.0s|110000 | 595 | 0 | 0.0 | 28M| 628 | - |3225 | 13k| 0 | 0 | 0 | 57k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
100.56/100.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
100.56/100.69 c 97.5s|120000 | 586 | 0 | 0.0 | 28M| 628 | - |3225 | 13k| 0 | 0 | 0 | 62k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
108.95/109.05 c 106s|130000 | 587 | 0 | 0.0 | 28M| 628 | - |3225 | 13k| 0 | 0 | 0 | 67k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
117.76/117.86 c 114s|140000 | 581 | 0 | 0.0 | 28M| 628 | - |3225 | 13k| 0 | 0 | 0 | 72k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
126.64/126.70 c 123s|150000 | 588 | 0 | 0.0 | 28M| 628 | - |3225 | 13k| 0 | 0 | 0 | 77k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
135.16/135.23 c 131s|160000 | 586 | 0 | 0.0 | 28M| 628 | - |3225 | 13k| 0 | 0 | 0 | 82k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
143.54/143.64 c 139s|170000 | 586 | 0 | 0.0 | 28M| 628 | - |3225 | 13k| 0 | 0 | 0 | 87k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
152.34/152.43 c 148s|180000 | 582 | 0 | 0.0 | 28M| 628 | - |3225 | 13k| 0 | 0 | 0 | 92k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
160.94/161.03 c 156s|190000 | 586 | 0 | 0.0 | 28M| 628 | - |3225 | 13k| 0 | 0 | 0 | 97k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
169.34/169.49 c 165s|200000 | 585 | 0 | 0.0 | 28M| 628 | - |3225 | 13k| 0 | 0 | 0 | 102k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
178.04/178.11 c 173s|210000 | 585 | 0 | 0.0 | 28M| 628 | - |3225 | 13k| 0 | 0 | 0 | 107k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
186.42/186.55 c 181s|220000 | 583 | 0 | 0.0 | 28M| 628 | - |3225 | 13k| 0 | 0 | 0 | 112k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
195.63/195.77 c 190s|230000 | 579 | 0 | 0.0 | 28M| 628 | - |3225 | 13k| 0 | 0 | 0 | 117k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
204.62/204.78 c 199s|240000 | 581 | 0 | 0.0 | 28M| 628 | - |3225 | 13k| 0 | 0 | 0 | 123k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
213.32/213.48 c 207s|250000 | 582 | 0 | 0.0 | 28M| 628 | - |3225 | 13k| 0 | 0 | 0 | 128k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
222.72/222.86 c 217s|260000 | 586 | 0 | 0.0 | 28M| 628 | - |3225 | 13k| 0 | 0 | 0 | 133k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
231.71/231.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
231.71/231.84 c 225s|270000 | 582 | 0 | 0.0 | 28M| 628 | - |3225 | 13k| 0 | 0 | 0 | 138k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
240.31/240.44 c 234s|280000 | 580 | 0 | 0.0 | 28M| 628 | - |3225 | 13k| 0 | 0 | 0 | 143k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
249.01/249.13 c 242s|290000 | 584 | 0 | 0.0 | 28M| 628 | - |3225 | 13k| 0 | 0 | 0 | 148k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
258.41/258.58 c 251s|300000 | 580 | 0 | 0.0 | 28M| 628 | - |3225 | 13k| 0 | 0 | 0 | 153k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
267.30/267.43 c 260s|310000 | 581 | 0 | 0.0 | 28M| 628 | - |3225 | 13k| 0 | 0 | 0 | 158k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
277.40/277.53 c 270s|320000 | 582 | 0 | 0.0 | 28M| 628 | - |3225 | 13k| 0 | 0 | 0 | 163k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
286.90/287.04 c 279s|330000 | 583 | 0 | 0.0 | 28M| 628 | - |3225 | 13k| 0 | 0 | 0 | 168k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
297.00/297.16 c 289s|340000 | 589 | 0 | 0.0 | 28M| 628 | - |3225 | 13k| 0 | 0 | 0 | 173k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
306.99/307.12 c 299s|350000 | 583 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 179k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
316.78/316.97 c 308s|360000 | 582 | 0 | 0.0 | 28M| 628 | - |3225 | 13k| 0 | 0 | 0 | 185k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
326.18/326.35 c 317s|370000 | 582 | 0 | 0.0 | 28M| 628 | - |3225 | 13k| 0 | 0 | 0 | 190k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
335.29/335.46 c 326s|380000 | 587 | 0 | 0.0 | 28M| 628 | - |3225 | 13k| 0 | 0 | 0 | 195k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
345.08/345.25 c 336s|390000 | 581 | 0 | 0.0 | 28M| 628 | - |3225 | 13k| 0 | 0 | 0 | 200k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
354.48/354.69 c 345s|400000 | 584 | 0 | 0.0 | 28M| 628 | - |3225 | 13k| 0 | 0 | 0 | 205k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
363.38/363.54 c 354s|410000 | 581 | 0 | 0.0 | 28M| 628 | - |3225 | 13k| 0 | 0 | 0 | 210k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
372.57/372.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
372.57/372.76 c 363s|420000 | 580 | 0 | 0.0 | 28M| 628 | - |3225 | 13k| 0 | 0 | 0 | 215k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
381.67/381.87 c 372s|430000 | 585 | 0 | 0.0 | 28M| 628 | - |3225 | 13k| 0 | 0 | 0 | 220k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
391.06/391.29 c 381s|440000 | 578 | 0 | 0.0 | 28M| 628 | - |3225 | 13k| 0 | 0 | 0 | 225k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
400.37/400.53 c 390s|450000 | 579 | 0 | 0.0 | 28M| 628 | - |3225 | 13k| 0 | 0 | 0 | 230k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
409.07/409.22 c 398s|460000 | 577 | 0 | 0.0 | 28M| 628 | - |3225 | 13k| 0 | 0 | 0 | 235k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
417.26/417.44 c 406s|470000 | 579 | 0 | 0.0 | 28M| 628 | - |3225 | 13k| 0 | 0 | 0 | 239k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
425.75/425.99 c 414s|480000 | 585 | 0 | 0.0 | 28M| 628 | - |3225 | 13k| 0 | 0 | 0 | 244k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
434.75/434.92 c 423s|490000 | 579 | 0 | 0.0 | 28M| 628 | - |3225 | 13k| 0 | 0 | 0 | 249k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
444.05/444.20 c 432s|500000 | 579 | 0 | 0.0 | 28M| 628 | - |3225 | 13k| 0 | 0 | 0 | 254k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
453.55/453.76 c 441s|510000 | 587 | 0 | 0.0 | 28M| 628 | - |3225 | 13k| 0 | 0 | 0 | 259k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
462.55/462.70 c 450s|520000 | 580 | 0 | 0.0 | 28M| 628 | - |3225 | 13k| 0 | 0 | 0 | 264k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
471.75/471.94 c 459s|530000 | 588 | 0 | 0.0 | 28M| 628 | - |3225 | 13k| 0 | 0 | 0 | 270k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
480.93/481.15 c 468s|540000 | 576 | 0 | 0.0 | 28M| 628 | - |3225 | 13k| 0 | 0 | 0 | 275k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
490.13/490.32 c 477s|550000 | 580 | 0 | 0.0 | 28M| 628 | - |3225 | 13k| 0 | 0 | 0 | 280k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
499.24/499.49 c 486s|560000 | 579 | 0 | 0.0 | 28M| 628 | - |3225 | 13k| 0 | 0 | 0 | 285k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
508.04/508.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
508.04/508.26 c 495s|570000 | 582 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 292k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
516.93/517.19 c 503s|580000 | 587 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 296k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
526.63/526.87 c 513s|590000 | 584 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 301k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
536.02/536.25 c 522s|600000 | 580 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 306k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
545.62/545.82 c 531s|610000 | 581 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 311k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
555.22/555.48 c 541s|620000 | 587 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 317k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
564.41/564.65 c 550s|630000 | 591 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 322k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
574.11/574.32 c 559s|640000 | 575 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 327k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
582.91/583.11 c 568s|650000 | 584 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 332k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
592.40/592.64 c 577s|660000 | 582 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 337k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
601.90/602.14 c 586s|670000 | 582 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 342k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
611.60/611.80 c 595s|680000 | 576 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 346k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
620.30/620.55 c 604s|690000 | 581 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 351k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
629.39/629.67 c 613s|700000 | 589 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 356k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
638.09/638.37 c 621s|710000 | 585 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 360k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
648.09/648.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
648.09/648.37 c 631s|720000 | 581 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 365k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
658.19/658.45 c 641s|730000 | 573 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 371k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
667.78/668.04 c 650s|740000 | 582 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 376k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
677.98/678.23 c 660s|750000 | 577 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 380k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
688.07/688.38 c 670s|760000 | 585 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 385k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
698.18/698.50 c 680s|770000 | 584 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 391k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
709.07/709.34 c 691s|780000 | 581 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 396k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
718.96/719.28 c 700s|790000 | 579 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 401k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
728.66/728.96 c 710s|800000 | 584 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 406k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
738.77/739.01 c 719s|810000 | 585 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 411k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
747.56/747.87 c 728s|820000 | 585 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 416k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
756.15/756.45 c 736s|830000 | 585 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 421k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
764.96/765.25 c 745s|840000 | 584 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 425k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
774.65/774.98 c 755s|850000 | 587 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 430k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
783.96/784.26 c 764s|860000 | 586 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 435k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
793.04/793.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
793.04/793.33 c 772s|870000 | 583 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 439k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
801.84/802.19 c 781s|880000 | 582 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 444k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
811.03/811.36 c 790s|890000 | 587 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 449k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
820.34/820.68 c 799s|900000 | 581 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 454k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
829.33/829.65 c 808s|910000 | 585 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 459k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
838.53/838.88 c 817s|920000 | 583 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 463k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
847.84/848.17 c 826s|930000 | 581 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 468k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
857.64/857.98 c 835s|940000 | 584 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 473k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
867.92/868.20 c 845s|950000 | 585 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 478k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
877.62/877.92 c 855s|960000 | 584 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 483k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
887.33/887.65 c 864s|970000 | 578 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 488k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
896.91/897.22 c 874s|980000 | 585 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 493k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
906.51/906.84 c 883s|990000 | 585 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 498k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
915.31/915.65 c 892s| 1000k| 581 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 503k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
924.20/924.50 c 900s| 1010k| 590 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 507k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
934.00/934.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
934.00/934.39 c 910s| 1020k| 582 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 512k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
943.20/943.58 c 919s| 1030k| 579 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 517k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
952.69/953.02 c 928s| 1040k| 580 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 522k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
962.20/962.50 c 937s| 1050k| 581 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 527k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
971.69/972.05 c 947s| 1060k| 578 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 532k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
981.59/981.98 c 956s| 1070k| 573 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 538k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
991.08/991.47 c 966s| 1080k| 581 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 543k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1000.18/1000.58 c 974s| 1090k| 577 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 548k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1009.88/1010.25 c 984s| 1100k| 581 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 553k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1018.97/1019.37 c 993s| 1110k| 581 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 558k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1028.27/1028.62 c 1002s| 1120k| 579 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 562k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1037.57/1037.93 c 1011s| 1130k| 583 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 567k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1047.06/1047.43 c 1020s| 1140k| 581 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 572k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1056.77/1057.12 c 1030s| 1150k| 586 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 577k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1065.95/1066.35 c 1039s| 1160k| 585 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 582k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1075.36/1075.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1075.36/1075.71 c 1048s| 1170k| 582 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 587k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1084.45/1084.82 c 1057s| 1180k| 579 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 592k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1094.05/1094.50 c 1066s| 1190k| 582 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 597k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1104.34/1104.75 c 1076s| 1200k| 577 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 602k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1113.74/1114.18 c 1085s| 1210k| 581 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 607k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1123.34/1123.72 c 1094s| 1220k| 580 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 612k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1132.84/1133.25 c 1104s| 1230k| 576 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 617k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1141.93/1142.37 c 1113s| 1240k| 576 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 622k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1151.23/1151.67 c 1122s| 1250k| 586 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 627k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1160.33/1160.80 c 1131s| 1260k| 585 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 631k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1169.73/1170.17 c 1140s| 1270k| 579 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 636k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1178.53/1178.97 c 1148s| 1280k| 583 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 641k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1187.72/1188.17 c 1157s| 1290k| 581 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 646k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1196.82/1197.29 c 1166s| 1300k| 581 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 651k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1206.71/1207.17 c 1176s| 1310k| 586 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 656k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1216.32/1216.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1216.32/1216.78 c 1185s| 1320k| 582 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 662k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1225.71/1226.13 c 1194s| 1330k| 578 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 667k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1234.82/1235.24 c 1203s| 1340k| 580 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 671k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1244.90/1245.32 c 1213s| 1350k| 580 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 676k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1254.50/1254.93 c 1222s| 1360k| 585 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 681k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1264.20/1264.61 c 1232s| 1370k| 581 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 686k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1274.30/1274.74 c 1242s| 1380k| 580 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 691k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1283.89/1284.36 c 1251s| 1390k| 585 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 696k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1293.39/1293.88 c 1260s| 1400k| 582 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 701k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1302.88/1303.33 c 1270s| 1410k| 581 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 706k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1311.98/1312.48 c 1278s| 1420k| 580 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 711k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1321.58/1322.06 c 1288s| 1430k| 580 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 716k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1331.18/1331.65 c 1297s| 1440k| 581 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 721k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1340.97/1341.46 c 1307s| 1450k| 580 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 726k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1350.87/1351.38 c 1316s| 1460k| 579 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 731k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1360.66/1361.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1360.66/1361.19 c 1326s| 1470k| 575 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 736k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1370.66/1371.14 c 1336s| 1480k| 582 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 741k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1379.56/1380.09 c 1344s| 1490k| 579 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 745k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1388.86/1389.38 c 1353s| 1500k| 578 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 750k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1398.67/1399.16 c 1363s| 1510k| 579 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 755k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1408.66/1409.15 c 1373s| 1520k| 583 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 760k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1417.94/1418.44 c 1382s| 1530k| 581 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 765k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1427.15/1427.60 c 1391s| 1540k| 587 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 770k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1436.05/1436.59 c 1399s| 1550k| 584 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 775k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1444.74/1445.27 c 1408s| 1560k| 581 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 780k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1453.84/1454.37 c 1417s| 1570k| 575 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 785k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1463.94/1464.40 c 1427s| 1580k| 577 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 790k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1473.54/1474.02 c 1436s| 1590k| 578 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 795k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1482.93/1483.41 c 1445s| 1600k| 585 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 800k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1492.03/1492.56 c 1454s| 1610k| 581 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 804k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1501.42/1501.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1501.42/1501.91 c 1463s| 1620k| 583 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 809k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1510.52/1511.07 c 1472s| 1630k| 582 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 814k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1519.51/1520.08 c 1481s| 1640k| 581 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 819k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1528.61/1529.12 c 1490s| 1650k| 579 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 824k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1537.72/1538.25 c 1499s| 1660k| 579 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 829k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1547.31/1547.87 c 1508s| 1670k| 585 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 834k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1557.41/1557.98 c 1518s| 1680k| 582 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 839k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1566.91/1567.47 c 1527s| 1690k| 576 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 844k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1576.50/1577.06 c 1536s| 1700k| 573 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 849k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1585.70/1586.22 c 1545s| 1710k| 585 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 854k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1594.30/1594.88 c 1554s| 1720k| 580 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 859k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1603.69/1604.23 c 1563s| 1730k| 577 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 864k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1612.89/1613.47 c 1572s| 1740k| 577 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 869k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1622.28/1622.85 c 1581s| 1750k| 582 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 874k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1631.78/1632.40 c 1590s| 1760k| 576 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 879k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1641.07/1641.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1641.07/1641.61 c 1599s| 1770k| 580 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 884k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1650.17/1650.75 c 1608s| 1780k| 584 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 888k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1659.37/1659.98 c 1617s| 1790k| 581 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 894k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1668.76/1669.38 c 1626s| 1800k| 576 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 899k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1677.86/1678.40 c 1635s| 1810k| 582 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 904k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1687.06/1687.60 c 1644s| 1820k| 579 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 909k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1696.06/1696.62 c 1653s| 1830k| 586 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 914k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1705.26/1705.85 c 1662s| 1840k| 582 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 919k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1714.56/1715.17 c 1671s| 1850k| 576 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 924k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1723.75/1724.38 c 1680s| 1860k| 579 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 929k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1733.15/1733.72 c 1689s| 1870k| 578 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 933k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1742.54/1743.19 c 1698s| 1880k| 577 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 938k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1752.14/1752.77 c 1707s| 1890k| 578 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 943k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1762.23/1762.80 c 1717s| 1900k| 578 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 948k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1772.34/1772.92 c 1727s| 1910k| 571 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 953k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1781.93/1782.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1781.93/1782.50 c 1737s| 1920k| 577 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 958k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1791.63/1792.25 c 1746s| 1930k| 573 | 0 | 0.0 | 29M| 628 | - |3225 | 13k| 0 | 0 | 0 | 963k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1800.04/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.61 c
1800.04/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.61 c Solving Time (sec) : 1754.16
1800.04/1800.61 c Solving Nodes : 1938650
1800.04/1800.61 c Primal Bound : +3.20000000000000e+01 (3 solutions)
1800.04/1800.61 c Dual Bound : +1.00000000000000e+00
1800.04/1800.61 c Gap : 3100.00 %
1800.04/1800.65 s SATISFIABLE
1800.04/1800.65 v x221 x220 x7436 x219 x7434 x7432 -x7430 x218 x7428 x7426 -x7424 x217 -x7422 -x7420 -x7418 -x216 -x7416 -x7414 -x7412 x7410 -x7408
1800.04/1800.65 v -x7406 x215 -x7404 x214 x7402 -x7400 -x7398 -x213 -x7396 x7394 x212 -x7392 -x7390 -x7388 -x7386 -x7384 -x7382 -x7380 x7378
1800.04/1800.65 v -x7376 -x7374 x211 x7372 -x7370 -x7368 -x7366 -x7364 -x7362 -x7360 -x210 -x7358 -x7356 -x7354 -x7352 -x7350 -x7348 -x7346 -x209
1800.04/1800.65 v -x7344 -x7342 -x7340 -x7338 -x7336 -x7334 -x7332 -x7330 -x7328 -x7326 -x7324 -x7322 -x7320 -x208 -x7318 x207 x7316 -x7314
1800.04/1800.65 v -x7312 -x206 -x7310 -x7308 -x7306 -x205 -x7304 -x7302 x7300 -x7298 -x7296 -x7294 -x7292 -x7290 -x7288 -x7286 -x204 -x7284 -x7282
1800.04/1800.65 v -x7280 -x7278 -x7276 -x7274 -x7272 -x203 -x7270 -x7268 -x7266 -x7264 -x7262 -x7260 -x7258 -x202 -x7256 -x7254 -x7252 -x7250
1800.04/1800.65 v -x7248 -x7246 -x7244 -x7242 -x7240 -x7238 -x7236 -x7234 -x7232 -x7230 -x7228 -x201 -x7226 -x7224 -x7222 x200 x7220 -x7218
1800.04/1800.65 v -x7216 -x7214 -x7212 -x7210 -x7208 -x199 -x7206 -x7204 -x7202 -x7200 -x7198 -x7196 -x7194 -x198 -x7192 -x7190 -x7188 -x7186
1800.04/1800.65 v -x7184 -x7182 -x7180 -x7178 -x7176 -x7174 -x7172 -x7170 -x7168 -x7166 -x7164 -x197 -x7162 -x7160 -x7158 -x7156 -x7154 -x7152
1800.04/1800.65 v -x7150 -x196 -x7148 -x7146 -x7144 -x7142 -x7140 -x7138 -x7136 -x7134 -x7132 -x7130 -x7128 -x7126 -x7124 -x7122 -x7120 -x195 -x7118
1800.04/1800.65 v -x7116 -x7114 -x7112 -x7110 -x7108 -x7106 -x7104 -x7102 -x7100 -x7098 -x7096 -x7094 -x7092 -x7090 -x194 -x7088 -x7086 -x7084
1800.04/1800.65 v -x7081 -x7079 -x7077 -x7075 -x7073 -x7071 -x7069 -x7067 -x7065 -x7063 -x7061 -x7059 -x7057 -x7055 -x7053 -x7051 -x7049
1800.04/1800.65 v -x7047 -x7045 -x7043 -x7041 -x7039 -x7037 -x7035 -x193 -x7033 x192 x7031 -x7029 -x7027 -x191 -x7025 -x7023 -x7021 -x190 -x7019
1800.04/1800.65 v -x7017 x7015 -x7013 -x7011 -x7009 -x7007 x189 -x7005 -x7003 x188 x7001 -x6999 -x6997 -x6995 -x6993 -x6991 -x6989 -x187 -x6987
1800.04/1800.65 v -x6985 -x6983 -x6981 -x6979 -x6977 -x6975 -x186 -x6973 -x6971 -x6969 -x6967 -x6965 -x6963 -x6961 -x6959 -x6957 -x6955 -x6953
1800.04/1800.65 v -x6951 -x6949 -x6947 -x6945 -x185 -x6943 -x6941 -x6939 -x184 -x6937 -x6935 -x6933 -x6931 -x6929 -x6927 -x6925 -x183 -x6923
1800.04/1800.65 v -x6921 -x6919 -x6917 -x6915 -x6913 -x182 -x6911 -x6909 -x6907 -x6905 -x6903 -x6901 -x6899 -x6897 -x6895 -x6893 -x6891 -x6889
1800.04/1800.65 v -x6887 -x6885 -x6883 -x181 -x6881 -x6879 -x6877 -x6875 -x6873 -x6871 -x6869 -x180 -x6867 -x6865 x6863 -x6861 -x6859 -x6857 -x6855
1800.04/1800.65 v -x6853 -x6851 -x6849 -x6847 -x6845 -x6843 -x6841 -x6839 -x6837 -x6835 -x6833 -x6831 -x6829 -x6827 -x6825 x6823 -x6821 -x6819
1800.04/1800.65 v -x6817 -x6815 -x6813 -x6811 -x6809 -x6807 -x6805 -x6803 -x6801 -x6799 -x6797 -x6795 -x6793 -x6791 -x6789 -x6787 -x6785
1800.04/1800.65 v -x6783 -x6781 -x6779 -x6777 -x6775 -x6773 -x6771 -x6769 -x6767 -x6765 -x6763 -x6761 -x6759 -x6757 -x6755 -x6753 -x6751 -x6749
1800.04/1800.65 v -x179 -x6747 -x6745 -x6743 -x178 -x6741 -x6739 -x6737 -x6735 -x6733 -x6731 -x6729 -x177 -x6727 -x6725 -x6723 -x6721 -x6719 -x6717
1800.04/1800.65 v -x6715 -x176 -x6713 -x6711 -x6709 -x6707 -x6705 -x6703 -x6701 -x6699 -x6697 -x6695 -x6693 -x6691 -x6689 -x6687 -x6685 -x175
1800.04/1800.65 v -x6683 -x6681 -x6679 -x6677 -x6675 -x6673 -x6671 -x174 -x6669 -x6667 -x6665 -x6663 -x6661 -x6659 -x6657 -x6655 -x6653 -x6651
1800.04/1800.65 v -x6649 -x6647 -x6645 -x6643 -x6641 -x173 -x6639 -x6637 -x6635 -x6633 -x6631 -x6629 -x6627 -x6625 -x6623 -x6621 -x6619 -x6617
1800.04/1800.65 v -x6615 -x6613 -x6611 -x172 -x6609 -x6607 -x6605 -x6603 -x6601 -x6599 -x6597 -x6595 -x6593 -x6591 -x6589 -x6587 -x6585 -x6583
1800.04/1800.65 v -x6581 -x6579 -x6577 -x6575 -x6573 -x6571 -x6569 -x6567 -x6565 -x6563 -x6561 -x6559 -x6557 -x6555 -x6553 -x6551 -x6549 -x171
1800.04/1800.65 v -x6547 -x6545 -x6543 -x6541 -x6539 -x6537 -x6535 -x170 -x6533 -x6531 -x6529 -x6527 -x6525 -x6523 -x6521 -x6519 -x6517 -x6515
1800.04/1800.65 v -x6513 -x6511 -x6509 -x6507 -x6505 x6503 -x6501 -x6499 -x6497 -x6495 -x6493 -x6491 -x6489 -x6487 -x6485 -x6483 -x6481 -x6479
1800.04/1800.65 v -x6477 -x6475 -x169 -x6473 -x6471 -x6469 -x6467 -x6465 -x6462 -x6460 -x6458 -x6456 -x6454 -x6452 -x6450 -x6448 -x6446 -x6444
1800.04/1800.65 v -x6442 -x6440 -x6438 -x6436 -x6434 -x6432 -x6430 x6428 -x6426 -x6424 -x6422 -x6420 -x6418 -x6416 -x6414 -x6412 -x6410 -x6408
1800.04/1800.65 v -x6406 -x6404 -x6402 -x6400 -x6398 -x6396 -x6394 -x6392 -x6390 -x6388 -x6386 -x168 -x6384 -x6382 -x6380 -x6378 -x6376 -x6374
1800.04/1800.65 v -x6372 -x6370 -x6368 -x6366 -x6364 -x6362 -x6360 -x6358 -x6356 -x6354 -x6352 -x6350 -x6348 -x6346 -x6344 -x6342 -x6340 -x6338
1800.04/1800.65 v -x6336 -x6334 -x6332 -x6330 -x6328 -x6326 -x6324 -x167 -x6322 -x6320 -x6318 -x6316 -x6314 -x6312 -x6310 -x6308 -x6306 -x6304
1800.04/1800.65 v -x6302 -x6300 -x6298 -x6296 -x6294 -x6292 -x6290 -x6288 -x6286 -x6284 -x6282 -x6280 -x6278 -x6276 -x6274 -x6272 -x6270
1800.04/1800.65 v -x6268 -x6266 -x6264 -x6262 -x166 -x6260 -x6258 -x6256 -x6254 -x6252 -x6250 -x6248 -x6246 -x6244 -x6242 -x6240 -x6238 -x6236
1800.04/1800.65 v -x6234 -x6232 -x6230 -x6228 -x6226 -x6224 -x6222 -x6220 -x6218 -x6216 -x6214 -x6212 -x6210 -x6208 -x6206 -x6204 -x6202 -x6200
1800.04/1800.65 v -x6198 -x6196 -x6194 -x6192 -x6190 -x6188 -x6186 -x6184 -x6182 -x6180 -x6178 -x6176 -x6174 -x6172 -x6170 -x6168 -x6166 -x6164
1800.04/1800.65 v -x6162 -x6160 -x6158 -x6156 -x6154 -x6152 -x6150 -x6148 -x6146 -x6144 -x6142 -x165 -x6140 -x164 -x6138 -x6136 -x6134 x6132
1800.04/1800.65 v -x6130 -x6128 -x163 -x6126 -x6124 -x6122 -x6120 -x6118 -x6116 -x6114 -x162 -x6112 -x6110 -x6108 -x161 -x6106 -x6104 -x6102 -x6100
1800.04/1800.65 v -x6098 -x6096 -x6094 -x160 -x6092 -x6090 -x6088 -x6086 -x6084 -x6082 -x6080 -x159 -x6078 -x6076 -x6074 -x6072 -x6070 -x6068
1800.04/1800.65 v -x6066 -x6064 -x6062 -x6060 -x6058 -x6056 -x6054 -x6052 -x6050 -x158 -x6048 -x6046 -x6044 -x157 -x6042 -x6040 -x6038 -x6036
1800.04/1800.65 v -x6034 -x6032 -x6030 -x156 -x6028 -x6026 -x6024 -x6022 -x6020 -x6018 -x6016 -x155 -x6014 -x6012 -x6010 -x6008 -x6006 -x6004
1800.04/1800.65 v -x6002 -x6000 -x5998 -x5996 -x5994 -x5992 -x5990 -x5988 -x5986 -x154 -x5984 -x5982 -x5980 -x5978 -x5976 -x5974 -x5972 -x153
1800.04/1800.65 v -x5970 -x5968 -x5966 -x5964 -x5962 -x5960 -x5958 -x5956 -x5954 -x5952 -x5950 -x5948 -x5946 -x5944 -x5942 -x152 -x5940 -x5938
1800.04/1800.65 v -x5936 -x5934 -x5932 -x5930 -x5928 -x5926 -x5924 -x5922 -x5920 -x5918 -x5916 -x5914 -x5912 -x151 -x5910 -x5908 -x5906 -x5904
1800.04/1800.65 v -x5902 -x5900 -x5898 -x5896 -x5894 -x5892 -x5889 -x5887 -x5885 -x5883 -x5881 -x5879 -x5877 -x5875 -x5873 -x5871 -x5869 -x5867
1800.04/1800.65 v -x5865 -x5863 -x5861 -x5859 -x5857 -x5855 -x5853 -x5851 -x150 -x5849 -x5847 -x5845 -x149 -x5843 -x5841 -x5839 -x5837 -x5835
1800.04/1800.65 v -x5833 -x5831 -x148 -x5829 -x5827 -x5825 -x5823 -x5821 -x5819 -x5817 -x147 -x5815 -x5813 -x5811 -x5809 -x5807 -x5805 -x5803
1800.04/1800.65 v -x5801 -x5799 -x5797 -x5795 -x5793 -x5791 -x5789 -x5787 -x146 -x5785 -x5783 -x5781 -x5779 -x5777 -x5775 -x5773 -x145 -x5771 -x5769
1800.04/1800.65 v -x5767 -x5765 -x5763 -x5761 -x5759 -x5757 -x5755 -x5753 -x5751 -x5749 -x5747 -x5745 -x5743 -x144 -x5741 -x5739 -x5737 -x5735
1800.04/1800.65 v -x5733 -x5731 -x5729 -x5727 -x5725 -x5723 -x5721 -x5719 -x5717 -x5715 -x5713 -x143 -x5711 -x5709 -x5707 -x5705 -x5703 -x5701
1800.04/1800.65 v -x5699 -x5697 -x5695 -x5693 -x5691 -x5689 -x5687 -x5685 -x5683 -x5681 -x5679 -x5677 -x5675 -x5673 -x5671 -x5669 -x5667
1800.04/1800.65 v -x5665 -x5663 -x5661 -x5659 -x5657 -x5655 -x5653 -x5651 -x142 -x5649 -x5647 -x5645 -x141 -x5643 -x5641 -x5639 -x5637 -x5635 -x5633
1800.04/1800.65 v -x5631 -x140 -x5629 -x5627 -x5625 -x5623 -x5621 -x5619 -x5617 -x139 -x5615 -x5613 -x5611 -x5609 -x5607 -x5605 -x5603 -x5601
1800.04/1800.65 v -x5599 -x5597 -x5595 -x5593 -x5591 -x5589 -x5587 -x138 -x5585 -x5583 -x5581 -x5579 -x5577 -x5575 -x5573 -x137 -x5571 -x5569
1800.04/1800.65 v -x5567 -x5565 -x5563 -x5561 -x5559 -x5557 -x5555 -x5553 -x5551 -x5549 -x5547 -x5545 -x5543 -x136 -x5541 -x5539 -x5537 -x5535
1800.04/1800.65 v -x5533 -x5531 -x5529 -x5527 -x5525 -x5523 -x5521 -x5519 -x5517 -x5515 -x5513 -x135 -x5511 -x5509 -x5507 -x5505 -x5503 -x5501
1800.04/1800.65 v -x5499 -x5497 -x5495 -x5493 -x5491 -x5489 -x5487 -x5485 -x5483 -x5481 -x5479 -x5477 -x5475 -x5473 -x5471 -x5469 -x5467 -x5465
1800.04/1800.65 v -x5463 -x5461 -x5459 -x5457 -x5455 -x5453 -x5451 -x134 -x5449 -x5447 -x5445 -x5443 -x5441 -x5439 -x5437 -x133 -x5435 -x5433
1800.04/1800.65 v -x5431 -x5429 -x5427 -x5425 -x5423 -x5421 -x5419 -x5417 -x5415 -x5413 -x5411 -x5409 -x5407 -x132 -x5405 -x5403 -x5401 -x5399
1800.04/1800.65 v -x5397 x5395 -x5393 -x5391 -x5389 -x5387 -x5385 -x5383 -x5381 -x5379 -x5377 -x5375 -x5373 -x5371 -x5369 -x5367 -x5365 -x5363
1800.04/1800.65 v -x131 -x5361 -x5359 -x5357 -x5355 -x5353 -x5351 -x5349 -x5347 -x5345 -x5343 -x5341 -x5339 -x5337 -x5335 -x5333 -x130 -x5331
1800.04/1800.65 v -x5329 -x5327 -x5325 -x5323 -x5321 -x5318 -x5316 -x5314 -x5312 -x5310 -x5308 -x5306 -x5304 -x5302 -x5300 -x5298 -x5296 -x5294
1800.04/1800.65 v -x5292 -x5290 -x5288 -x5286 -x5284 -x5282 -x5280 -x5278 -x5276 -x5274 -x129 -x5272 -x5270 -x5268 -x5266 -x5264 -x5262 -x5260
1800.04/1800.65 v -x5258 -x5256 -x5254 -x5252 -x5250 -x5248 -x5246 -x5244 -x128 -x5242 -x5240 -x5238 -x5236 -x5234 -x5232 -x5230 -x5228 -x5226
1800.04/1800.65 v -x5224 -x5222 -x5220 -x5218 -x5216 -x5214 -x5212 -x5210 -x5208 -x5206 -x5204 -x5202 -x5200 -x5198 -x5196 -x5194 -x5192 -x5190
1800.04/1800.65 v -x5188 -x5186 -x5184 -x5182 -x127 -x5180 -x5178 -x5176 -x5174 -x5172 -x5170 -x5168 -x5166 -x5164 -x5162 -x5160 -x5158 -x5156
1800.04/1800.65 v -x5154 -x5152 -x5150 -x5148 -x5146 -x5144 -x5142 -x5140 -x5138 -x5136 -x5134 -x5132 -x5130 -x5128 -x5126 -x5124 -x5122 -x5120
1800.04/1800.65 v -x126 -x5118 -x5116 -x5114 -x5112 -x5110 -x5108 -x5106 -x5104 -x5102 -x5100 -x5098 -x5096 -x5094 -x5092 -x5090 -x5088 -x5086
1800.04/1800.65 v -x5084 -x5082 -x5080 -x5078 -x5076 -x5074 -x5072 -x5070 -x5067 -x5065 -x5063 -x5061 -x5059 -x5057 -x5055 -x5053 -x5051
1800.04/1800.65 v -x5049 -x5047 -x5045 -x5043 -x5041 -x5039 -x5037 -x5035 -x5033 -x5031 -x5029 -x5027 -x5025 -x5023 -x5021 -x5019 -x5017 -x5015
1800.04/1800.65 v -x5013 -x5011 -x5009 x5007 -x5005 -x5003 -x5001 -x4999 -x4997 -x4995 -x4993 -x125 -x4991 -x4989 -x4987 -x124 -x4985 -x4983 -x4981
1800.04/1800.65 v -x123 -x4979 -x4977 -x4975 -x4973 -x4971 -x4969 -x4967 -x122 -x4965 -x4963 -x4961 -x121 -x4959 -x4957 -x4955 -x4953 -x4951
1800.04/1800.65 v -x4949 -x4947 -x120 -x4945 -x4943 -x4941 -x4939 -x4937 -x4935 -x4933 -x119 -x4931 -x4929 -x4927 -x4925 -x4923 -x4921 -x4919
1800.04/1800.65 v -x4917 -x4915 -x4913 -x4911 -x4909 -x4907 -x4905 -x4903 -x118 -x4901 -x4899 -x117 -x4897 -x4895 -x4893 -x4891 -x4889 -x4887
1800.04/1800.65 v -x4885 -x116 -x4883 -x4881 -x4879 -x4877 -x4875 -x4873 -x4871 -x115 -x4869 -x4867 -x4865 -x4863 -x4861 -x4859 -x4857 -x4855
1800.04/1800.65 v -x4853 -x4851 -x4849 -x4847 -x4845 -x4843 -x4841 -x114 -x4839 -x4837 -x4835 -x4833 -x4831 -x4829 -x4827 -x113 -x4825 -x4823
1800.04/1800.65 v -x4821 -x4819 -x4817 -x4815 -x4813 -x4811 -x4809 -x4807 -x4805 -x4803 -x4801 -x4799 -x4797 -x112 -x4795 -x4793 -x4791 -x4789
1800.04/1800.65 v -x4787 -x4785 -x4783 -x4781 -x4779 -x4777 -x4775 -x4773 -x4771 -x4769 -x4767 -x111 -x4765 -x4763 -x4761 -x4759 -x4757 -x4755
1800.04/1800.65 v -x4753 -x4751 -x4749 -x4747 -x4745 -x4743 -x4741 -x4739 -x4737 -x4735 -x4733 -x4731 -x4729 -x4727 -x4725 -x4723 -x4721 -x4719
1800.04/1800.65 v -x4717 -x4715 -x4713 -x4711 -x4709 -x4707 -x4705 -x110 -x4703 -x4701 -x4699 x109 x4697 -x4695 -x4693 -x4691 -x4689 -x4687 -x4685
1800.04/1800.65 v -x108 -x4683 -x4681 -x4679 -x4677 -x4675 -x4673 -x4671 -x107 -x4669 -x4667 -x4665 -x4663 -x4661 -x4659 -x4657 -x4655 -x4653
1800.04/1800.65 v x4651 -x4649 -x4647 -x4645 -x4643 -x4641 -x4639 -x4637 -x4635 -x4633 -x4631 -x4629 -x4627 -x106 -x4625 -x4623 -x4621 -x4619
1800.04/1800.65 v -x4617 -x4615 -x4613 -x4611 -x4609 -x4607 -x4605 -x4603 -x4601 -x4599 -x4597 -x105 -x4595 -x4593 -x4591 -x4589 -x4587 -x4585
1800.04/1800.65 v -x4583 -x4581 -x4579 -x4577 -x4575 -x4573 -x4571 -x4569 -x4567 -x104 -x4565 -x4563 -x4561 -x4559 -x4557 -x4555 -x4553 -x4551
1800.04/1800.65 v -x4549 -x4547 -x4545 -x4543 -x4541 -x4539 -x4537 -x4535 -x4533 -x4531 -x4529 -x4527 -x4525 -x4523 -x4521 -x4519 -x4517 -x4515
1800.04/1800.65 v -x4513 -x4511 -x4509 -x4507 -x4505 -x103 -x4503 -x4501 -x4499 -x4497 -x4495 -x4493 -x4491 -x102 -x4489 -x4487 -x4485 -x4483
1800.04/1800.65 v -x4481 -x4479 -x4477 -x4475 -x4473 -x4471 -x4469 -x4467 -x4465 -x4463 -x4461 -x101 -x4459 -x4457 -x4455 -x4453 -x4451 -x4449
1800.04/1800.65 v -x4447 -x4445 -x4443 -x4441 -x4439 -x4437 -x4435 -x4433 -x4431 -x100 -x4429 -x4427 -x4425 -x4423 -x4421 -x4419 -x4417 -x4415
1800.04/1800.65 v -x4413 -x4411 -x4409 -x4407 -x4405 -x4403 -x4401 -x4399 -x4397 -x4395 -x4393 -x4391 -x4389 -x4387 -x4385 -x4383 -x4381 -x4379
1800.04/1800.65 v -x4377 -x4375 -x4373 -x4371 -x4369 -x99 -x4367 -x4365 -x4363 -x4361 -x4359 -x4357 -x4355 -x4353 -x4351 -x4349 -x4347 -x4345
1800.04/1800.65 v -x4343 -x4341 -x4339 -x98 -x4337 -x4335 -x4333 -x4331 -x4329 -x4327 -x4325 -x4323 -x4321 -x4319 -x4317 -x4315 -x4313 -x4311
1800.04/1800.65 v -x4309 -x4307 -x4305 -x4303 -x4301 -x4299 -x4297 -x4295 -x4293 -x4291 -x4289 -x4287 -x4285 -x4283 -x4281 -x4279 -x4277 -x97
1800.04/1800.65 v -x4275 -x4273 -x4271 -x4269 -x4267 -x4265 -x4263 -x4261 -x4259 -x4257 -x4255 -x4253 -x4251 -x4249 -x4247 -x4245 -x4243 -x4241
1800.04/1800.65 v -x4239 -x4237 -x4235 -x4233 -x4231 -x4229 -x4227 -x4225 -x4223 -x4221 -x4219 -x4217 -x4215 -x96 -x4213 -x4211 -x4209 -x4207
1800.04/1800.65 v -x4205 -x4203 -x4201 -x4199 -x4197 -x4195 -x4193 -x4191 -x4189 -x4187 -x4185 -x4183 -x4181 -x4179 -x4177 -x4174 -x4172 -x4170
1800.04/1800.65 v -x4168 -x4166 -x4164 -x4162 -x4160 -x4158 -x4156 -x4154 -x4152 -x4150 -x4148 -x4146 -x4144 -x4142 -x4140 -x4138 -x4136 -x4134
1800.04/1800.65 v -x4132 -x4130 -x4128 -x4126 -x4124 -x4122 -x4120 -x4118 -x4116 -x4114 -x4112 -x4110 -x4108 -x4106 -x4104 -x4102 -x4100 -x4098
1800.04/1800.65 v -x4096 -x4094 -x4092 -x4090 -x95 -x4088 -x4086 -x4084 -x94 -x4082 -x4080 -x4078 -x4076 -x4074 -x4072 -x4070 -x93 -x4068 -x4066
1800.04/1800.65 v -x4064 -x4062 -x4060 -x4058 -x4056 -x92 -x4054 -x4052 -x4050 -x4048 -x4046 -x4044 -x4042 -x4040 -x4038 -x4036 -x4034 -x4032
1800.04/1800.65 v -x4030 -x4028 -x4026 -x91 -x4024 -x4022 -x4020 -x4018 -x4016 -x4014 -x4012 -x90 -x4010 -x4008 -x4006 -x4004 -x4002 -x4000
1800.04/1800.65 v -x3998 -x3996 -x3994 -x3992 -x3990 -x3988 -x3986 -x89 -x3984 -x3982 -x3980 -x3978 -x3976 -x3974 -x3972 -x3970 -x3968 -x3966
1800.04/1800.65 v -x3964 -x3962 -x3960 -x3958 -x3956 -x88 -x3954 -x3952 -x3950 -x3948 -x3946 -x3944 -x3942 -x3940 -x3938 -x3936 -x3934 -x3932
1800.04/1800.65 v -x3930 -x3928 -x3926 -x3924 -x3922 -x3920 -x3918 -x3916 -x3914 -x3912 -x3910 -x3908 -x3906 -x3904 -x3902 -x3900 -x3898 -x3896
1800.04/1800.65 v -x3894 -x87 -x3892 -x3890 -x3888 -x3886 -x3884 -x3882 -x3880 -x86 -x3878 -x3876 -x3874 -x3872 -x3870 -x3868 -x3866 -x3864 -x3862
1800.04/1800.65 v -x3860 -x3858 -x3856 -x3854 -x3852 -x3850 -x85 -x3848 -x3846 -x3844 -x3842 -x3840 -x3838 -x3836 -x3834 -x3832 -x3830 -x3828
1800.04/1800.65 v -x3826 -x3824 -x3822 -x3820 -x84 -x3818 -x3816 -x3814 -x3812 -x3810 -x3808 -x3806 -x3804 -x3802 -x3800 -x3798 -x3796 -x3794
1800.04/1800.65 v -x3792 -x3790 -x3788 -x3786 -x3784 -x3782 -x3780 -x3778 -x3776 -x3774 -x3772 -x3770 -x3768 -x3766 -x3764 -x3762 -x3760 -x83
1800.04/1800.65 v -x3758 -x3756 -x3754 -x3752 -x3750 -x3748 -x3746 -x3744 -x3742 -x3740 -x3738 -x3736 -x3734 -x3732 -x3730 -x82 -x3728 -x3726
1800.04/1800.65 v -x3724 -x3722 -x3720 -x3718 -x3716 -x3714 -x3712 -x3710 -x3708 -x3706 -x3704 -x3702 x3700 -x3698 -x3696 -x3694 -x3692 -x3690
1800.04/1800.65 v -x3688 -x3686 -x3684 -x3682 -x3680 -x3678 -x3676 -x3674 -x3672 -x3670 -x3668 -x3666 -x3664 -x3662 -x3660 -x3658 -x3656 -x3654
1800.04/1800.65 v -x3652 -x3650 -x3648 -x3646 -x3644 -x3642 -x3640 -x3638 -x3636 -x3634 -x3632 -x3630 -x3628 -x3626 -x3624 -x3622 -x3620 -x3618
1800.04/1800.65 v -x3616 -x3614 -x3612 -x3610 -x3608 -x3606 -x81 -x3604 -x3602 -x3600 -x3598 -x3596 -x3594 -x3592 -x3590 -x3588 -x3586 -x3584
1800.04/1800.65 v -x3582 -x3580 -x3578 -x3576 -x3574 -x3572 -x3570 -x3568 -x3566 -x3564 -x3562 -x3560 -x3558 -x3556 -x3554 -x3552 -x3550 -x3548
1800.04/1800.65 v -x3546 -x3544 -x3542 -x3540 -x3538 -x3536 -x3534 -x3532 -x3530 -x3528 -x3526 -x3524 -x3522 -x3520 -x3518 -x3516 x3514 -x3512
1800.04/1800.65 v -x3510 -x3508 -x3506 -x3504 -x3502 -x3500 -x3498 -x3496 -x3494 -x3492 -x3490 -x3488 -x3486 -x3484 -x3482 -x3480 -x3478 -x80
1800.04/1800.65 v -x3476 -x3474 -x3472 -x3470 -x3468 -x3466 -x3464 -x79 -x3462 -x3460 -x3458 -x3456 -x3454 -x3452 -x3450 -x78 -x3448 x3446 -x3444
1800.04/1800.65 v -x3442 -x3440 -x3438 -x3436 -x3434 -x3432 -x3430 -x3428 -x3426 -x3424 -x3422 -x3420 -x3418 -x77 -x3416 -x3414 -x3412 -x76
1800.04/1800.65 v -x3410 -x3408 -x3406 -x75 -x3404 -x3402 -x3400 -x3398 -x3396 -x3394 -x3392 -x74 -x3390 -x3388 -x3386 -x73 -x3384 -x3382 -x3380
1800.04/1800.65 v -x3378 -x3376 -x3374 -x3372 -x72 -x3370 -x3368 -x3366 -x3364 -x3362 -x3360 -x3358 -x71 -x3356 -x3354 -x3352 -x3350 -x3348
1800.04/1800.65 v -x3346 -x3344 -x3342 -x3340 -x3338 -x3336 -x3334 -x3332 -x3330 -x3328 -x70 -x3326 -x3324 -x3322 -x69 -x3320 -x3318 -x3316 -x3314
1800.04/1800.65 v -x3312 -x3310 -x3308 -x68 -x3306 -x3304 -x3302 -x3300 -x3298 -x3296 -x3294 -x67 -x3292 -x3290 -x3288 -x3286 -x3284 -x3282
1800.04/1800.65 v -x3280 -x3278 -x3276 -x3274 -x3272 -x3270 -x3268 -x3266 -x3264 -x66 -x3262 -x3260 -x3258 -x3256 -x3254 -x3252 -x3250 -x65 -x3248
1800.04/1800.65 v -x3246 -x3244 -x3242 -x3240 -x3238 -x3236 -x3234 -x3232 -x3230 -x3228 -x3226 -x3224 -x3222 -x3220 -x64 -x3218 -x3216 -x3214
1800.04/1800.65 v -x3212 -x3210 -x3208 -x3206 -x3204 -x3202 -x3200 -x3198 -x3196 -x3194 -x3192 -x3190 -x63 -x3188 -x3186 -x3184 -x3182 -x3180
1800.04/1800.65 v -x3178 -x3176 -x3174 -x3172 -x3170 -x3168 -x3166 -x3164 -x3162 -x3160 -x3158 -x3156 -x3154 -x3152 -x3150 -x3148 -x3146 -x3144
1800.04/1800.65 v -x3142 -x3140 -x3138 -x3136 -x3134 -x3132 -x3130 -x3128 -x62 -x3126 -x3124 -x3122 -x61 -x3120 -x3118 -x3116 -x3114 -x3112
1800.04/1800.65 v -x3110 -x3108 -x60 -x3106 -x3104 -x3102 -x3100 -x3098 -x3096 -x3094 -x59 -x3092 -x3090 -x3088 -x3086 -x3084 -x3082 -x3080 -x3078
1800.04/1800.65 v -x3076 -x3074 -x3072 -x3070 -x3068 -x3066 -x3064 -x58 -x3062 -x3060 -x3058 -x3056 -x3054 -x3052 -x3050 -x57 -x3048 -x3046
1800.04/1800.65 v -x3044 -x3042 -x3040 -x3038 -x3036 -x3034 -x3032 -x3030 -x3028 -x3026 -x3024 -x3022 -x3020 -x56 -x3018 -x3016 -x3014 -x3012
1800.04/1800.65 v -x3010 -x3008 -x3006 -x3004 -x3002 -x3000 -x2998 -x2996 -x2994 -x2992 -x2990 -x55 -x2988 -x2986 -x2984 -x2982 -x2980 -x2978
1800.04/1800.65 v -x2976 -x2974 -x2972 -x2970 -x2968 -x2966 -x2964 -x2962 -x2960 -x2958 -x2956 -x2954 -x2952 -x2950 -x2948 -x2946 -x2944 -x2942
1800.04/1800.65 v -x2940 -x2938 -x2936 -x2934 -x2932 -x2930 -x2928 -x54 -x2926 -x2924 -x2922 -x2920 -x2918 -x2916 -x2914 -x53 -x2912 -x2910 -x2908
1800.04/1800.65 v -x2906 -x2904 -x2902 -x2900 -x2898 -x2896 -x2894 -x2892 -x2890 -x2888 -x2886 -x2884 -x52 -x2882 -x2880 -x2878 -x2876 -x2874
1800.04/1800.65 v -x2872 -x2870 -x2868 -x2866 -x2864 -x2862 -x2860 -x2858 -x2856 -x2854 -x51 -x2852 -x2850 -x2848 -x2846 -x2844 -x2842 -x2840
1800.04/1800.65 v -x2838 -x2836 -x2834 -x2832 -x2830 -x2828 -x2826 -x2824 -x2822 -x2820 -x2818 -x2816 -x2814 -x2812 -x2810 -x2808 -x2806 -x2804
1800.04/1800.65 v -x2802 -x2800 -x2798 -x2796 -x2794 -x2792 -x50 -x2790 -x2788 -x2786 -x2784 -x2782 -x2780 -x2778 -x2776 -x2774 -x2772 -x2770
1800.04/1800.65 v -x2768 -x2766 -x2764 -x2762 -x49 -x2760 -x2758 -x2756 -x2754 -x2752 -x2750 -x2748 -x2746 -x2744 -x2742 -x2740 -x2738 -x2736
1800.04/1800.65 v -x2734 -x2732 -x2730 -x2728 -x2726 -x2724 -x2722 -x2720 -x2718 -x2716 -x2714 -x2712 -x2710 -x2708 -x2706 -x2704 -x2702 -x2700
1800.04/1800.65 v -x48 -x2698 -x2696 -x2694 -x2692 -x2690 -x2688 -x2686 -x2684 -x2682 -x2680 -x2678 -x2676 -x2674 -x2672 -x2670 -x2668 -x2666
1800.04/1800.65 v -x2664 -x2662 -x2660 -x2658 -x2656 -x2654 -x2652 -x2650 -x2648 -x2646 -x2644 -x2642 -x2640 -x2638 -x47 -x2636 -x2634 -x2632
1800.04/1800.65 v -x2630 -x2628 -x2626 -x2624 -x2622 -x2620 -x2618 -x2616 -x2614 -x2612 -x2610 -x2608 -x2606 -x2604 -x2602 -x2600 -x2598 -x2596
1800.04/1800.65 v -x2594 -x2592 -x2590 -x2588 -x2586 -x2584 -x2582 -x2580 -x2578 -x2576 -x2574 -x2572 -x2570 -x2568 -x2566 -x2564 -x2562 -x2560
1800.04/1800.65 v -x2558 -x2556 -x2554 -x2552 -x2550 -x2548 -x2546 -x2544 -x2542 -x2540 -x2538 -x2536 -x2534 -x2532 -x2530 -x2528 -x2526 -x2524
1800.04/1800.65 v -x2522 -x2520 -x2518 -x2516 -x2514 -x2512 -x46 -x2510 -x2508 -x2506 -x45 -x2504 -x2502 -x2500 -x2498 -x2496 -x2494 -x2492
1800.04/1800.65 v -x44 -x2490 -x2488 -x2486 -x2484 -x2482 -x2480 -x2478 -x43 -x2476 -x2474 -x2472 -x2470 -x2468 -x2466 -x2464 -x2462 -x2460 -x2458
1800.04/1800.65 v -x2456 -x2454 -x2452 -x2450 -x2448 -x42 -x2446 -x2444 -x2442 -x2440 -x2438 -x2436 -x41 -x2434 -x2432 -x2430 -x2428 -x2426
1800.04/1800.65 v -x2424 -x2422 -x2420 -x2418 -x2416 -x2414 -x2412 -x2410 -x2408 -x2406 -x40 -x2404 -x2402 -x2400 -x2398 -x2396 -x2394 -x2392
1800.04/1800.65 v -x2390 -x2388 -x2386 -x2384 -x2382 -x2380 -x2378 -x2376 -x39 -x2374 -x2372 -x2370 -x2368 -x2366 -x2364 -x2362 -x2360 -x2358
1800.04/1800.65 v -x2356 -x2354 -x2352 -x2350 -x2348 -x2346 -x2344 -x2342 -x2340 -x2338 -x2336 -x2334 -x2332 -x2330 -x2328 -x2326 -x2324 -x2322
1800.04/1800.65 v -x2320 -x2318 -x2316 -x2314 -x38 -x2312 -x2310 -x2308 -x2306 -x2304 -x2302 -x2300 -x37 -x2298 -x2296 -x2294 -x2292 -x2290 -x2288
1800.04/1800.65 v -x2286 -x2284 -x2282 -x2280 -x2278 -x2276 -x2274 -x2272 -x2270 -x36 -x2268 -x2266 -x2264 -x2262 -x2260 -x2258 -x2256 -x2254
1800.04/1800.65 v -x2252 -x2250 -x2248 -x2246 -x2244 -x2242 -x2240 -x35 -x2238 -x2236 -x2234 -x2232 -x2230 -x2228 -x2226 -x2224 -x2222 -x2220
1800.04/1800.65 v -x2218 -x2216 -x2214 -x2212 -x2210 -x2208 -x2206 -x2204 -x2202 -x2200 -x2198 -x2196 -x2194 -x2192 -x2190 -x2188 -x2186 -x2184
1800.04/1800.65 v -x2182 -x2180 -x2178 -x34 -x2176 -x2174 -x2172 -x2170 -x2168 -x2166 -x2164 -x2162 -x2160 -x2158 -x2156 -x2154 -x2152 -x2150
1800.04/1800.65 v -x2148 -x33 -x2146 -x2144 -x2142 -x2140 -x2138 -x2136 -x2134 -x2132 -x2130 -x2128 -x2126 -x2124 -x2122 -x2120 -x2118 -x2116
1800.04/1800.65 v -x2114 -x2112 -x2110 -x2108 -x2106 -x2104 -x2102 -x2100 -x2098 -x2096 -x2094 -x2092 -x2090 -x2088 -x2086 -x32 -x2084 -x2082
1800.04/1800.65 v -x2080 -x2078 -x2076 -x2074 -x2072 -x2070 -x2068 -x2066 -x2064 -x2062 -x2060 -x2058 -x2056 -x2054 -x2052 -x2050 -x2048 -x2046
1800.04/1800.65 v -x2044 -x2042 -x2040 -x2038 -x2036 -x2034 -x2032 -x2030 -x2028 -x2026 -x2024 -x31 -x2022 -x2020 -x2018 -x2016 -x2014 -x2012
1800.04/1800.65 v -x2010 -x2008 -x2006 -x2004 -x2002 -x2000 -x1998 -x1996 -x1994 -x1992 -x1990 -x1988 -x1986 -x1984 -x1982 -x1980 -x1978 -x1976
1800.04/1800.65 v -x1974 -x1972 -x1970 -x1968 -x1966 -x1964 -x1962 -x1960 -x1958 -x1956 -x1954 -x1952 -x1950 -x1948 -x1946 -x1944 -x1942 -x1940
1800.04/1800.65 v -x1938 -x1936 -x1934 -x1932 -x1930 -x1928 -x1926 -x1924 -x1922 -x1920 -x1918 -x1916 -x1914 -x1912 -x1910 -x1908 -x1906 -x1904
1800.04/1800.65 v -x1902 -x1900 -x1898 -x30 -x1896 -x1894 -x1892 -x1890 -x1888 -x1886 -x1884 -x29 -x1882 -x1880 -x1878 -x1876 -x1874 -x1872
1800.04/1800.65 v -x1870 -x1868 -x1866 -x1864 -x1862 -x1860 -x1858 -x1856 -x1854 -x28 -x1852 -x1850 -x1848 -x1846 -x1844 -x1842 -x1840 -x1838
1800.04/1800.65 v -x1836 -x1834 -x1832 -x1830 -x1828 -x1826 -x1824 -x27 -x1822 -x1820 -x1818 -x1816 -x1814 -x1812 -x1810 -x1808 -x1806 -x1804
1800.04/1800.65 v -x1802 -x1800 -x1798 -x1796 -x1794 -x1792 -x1790 -x1788 -x1786 -x1784 -x1782 -x1780 -x1778 -x1776 -x1774 -x1772 -x1770 -x1768
1800.04/1800.65 v -x1766 -x1764 -x1762 -x26 -x1760 -x1758 -x1756 -x1754 -x1752 -x1750 -x1748 -x1746 -x1744 -x1742 -x1740 -x1738 -x1736 -x1734
1800.04/1800.65 v -x1732 -x25 -x1730 -x1728 -x1726 -x1724 -x1722 -x1720 -x1718 -x1716 -x1714 -x1712 -x1710 -x1708 -x1706 -x1704 -x1702 -x1700 -x1698
1800.04/1800.65 v -x1696 -x1694 -x1692 -x1690 -x1688 -x1686 -x1684 -x1682 -x1680 -x1678 -x1676 -x1674 -x1672 -x1670 -x24 -x1668 -x1666 -x1664
1800.04/1800.65 v -x1662 -x1660 -x1658 -x1656 -x1654 -x1652 -x1650 -x1648 -x1646 -x1644 -x1642 -x1640 -x1638 -x1636 -x1634 -x1632 -x1630 -x1628
1800.04/1800.65 v -x1626 -x1624 -x1622 -x1620 -x1618 -x1616 -x1614 -x1612 -x1610 -x1608 -x23 -x1606 -x1604 -x1602 -x1600 -x1598 -x1596 -x1594
1800.04/1800.65 v -x1592 -x1590 -x1588 -x1586 -x1584 -x1582 -x1580 -x1578 -x1576 -x1574 -x1572 -x1570 -x1568 -x1566 -x1564 -x1562 -x1560 -x1558
1800.04/1800.65 v -x1556 -x1554 -x1552 -x1550 -x1548 -x1546 -x1544 -x1542 -x1540 -x1538 -x1536 -x1534 -x1532 -x1530 -x1528 -x1526 -x1524
1800.04/1800.65 v -x1522 -x1520 -x1518 -x1516 -x1514 -x1512 -x1510 -x1508 -x1506 -x1504 -x1502 -x1500 -x1498 -x1496 -x1494 -x1492 -x1490 -x1488
1800.04/1800.65 v -x1486 -x1484 -x1482 -x22 -x1480 -x1478 -x1476 -x1474 -x1472 -x1470 -x1468 -x1466 -x1464 -x1462 -x1460 -x1458 -x1456 -x1454
1800.04/1800.65 v -x1452 -x21 -x1450 -x1448 -x1446 -x1444 -x1442 -x1440 -x1438 -x1436 -x1434 -x1432 -x1430 -x1428 -x1426 -x1424 -x1422 -x1420 -x1418
1800.04/1800.65 v -x1416 -x1414 -x1412 -x1410 -x1408 -x1406 -x1404 -x1402 -x1400 -x1398 -x1396 -x1394 -x1392 -x1390 -x20 -x1388 -x1386 -x1384
1800.04/1800.65 v -x1382 -x1380 -x1378 -x1376 -x1374 -x1372 -x1370 -x1368 -x1366 -x1364 -x1362 -x1360 -x1358 -x1356 -x1354 -x1352 -x1350 -x1348
1800.04/1800.65 v -x1346 -x1344 -x1342 -x1340 -x1338 -x1336 -x1334 -x1332 -x1330 -x1328 -x19 -x1326 -x1324 -x1322 -x1320 -x1318 -x1316 -x1314
1800.04/1800.65 v -x1312 -x1310 -x1308 -x1306 -x1304 -x1302 -x1300 -x1298 -x1296 -x1293 -x1291 -x1289 -x1287 -x1285 -x1283 -x1281 -x1279 -x1277
1800.04/1800.65 v -x1275 -x1273 -x1271 -x1269 -x1267 -x1265 -x1263 -x1261 -x1259 -x1257 -x1255 -x1253 -x1251 -x1249 -x1247 -x1245 -x1243
1800.04/1800.65 v -x1241 -x1239 -x1237 -x1235 -x1233 -x1231 -x1229 -x1227 -x1225 -x1223 -x1221 -x1219 -x1217 -x1215 -x1213 -x1211 -x1209 -x1207
1800.04/1800.65 v -x1205 -x1203 -x18 -x1201 -x1199 -x1197 -x1195 -x1193 -x1191 -x1189 -x1187 -x1185 -x1183 -x1181 -x1179 -x1177 -x1175 -x1173
1800.04/1800.65 v -x1171 -x1169 -x1167 -x1165 -x1163 -x1161 -x1159 -x1157 -x1155 -x1153 -x1151 -x1149 -x1147 -x1145 -x1143 -x1141 -x17 -x1139 -x1137
1800.04/1800.65 v -x1135 -x1133 -x1131 -x1129 -x1127 -x1125 -x1123 -x1121 -x1119 -x1117 -x1115 -x1113 -x1111 -x1109 -x1107 -x1105 -x1103
1800.04/1800.65 v -x1101 -x1099 -x1097 -x1095 -x1093 -x1091 -x1089 -x1087 -x1085 -x1083 -x1081 -x1079 -x1077 -x1075 -x1073 -x1071 -x1069 -x1067
1800.04/1800.65 v -x1065 -x1063 -x1061 -x1059 -x1057 -x1055 -x1053 -x1051 -x1049 -x1047 -x1045 -x1043 -x1041 -x1039 -x1037 -x1035 -x1033 -x1031
1800.04/1800.65 v -x1029 -x1027 -x1025 -x1023 -x1021 -x1019 -x1017 -x16 -x1015 -x1013 -x1011 -x1009 -x1007 -x1005 -x1003 -x1001 -x999 -x997 -x995
1800.04/1800.65 v -x993 -x991 -x989 -x987 -x985 -x983 -x981 -x979 -x977 -x975 -x973 -x971 -x969 -x967 -x965 -x963 -x961 -x959 -x957 -x955
1800.04/1800.65 v -x953 -x951 -x949 -x947 -x945 -x943 -x941 -x939 -x937 -x935 -x933 -x931 -x929 -x927 -x925 -x923 -x921 -x919 -x917 -x915 -x913
1800.04/1800.65 v -x911 -x909 -x907 -x905 -x903 -x901 -x899 -x897 -x895 -x893 -x891 -x15 -x889 -x887 -x885 -x883 -x881 -x879 -x877 -x875 -x873
1800.04/1800.65 v -x871 -x869 -x867 -x865 -x863 -x861 -x859 -x857 -x855 -x853 -x851 -x849 -x847 -x845 -x843 -x841 -x839 x837 -x835 -x833 -x831
1800.04/1800.65 v -x829 -x827 -x825 -x823 -x821 -x818 -x816 -x814 -x812 -x810 -x808 -x806 -x804 -x802 -x800 -x798 -x796 -x794 -x792 -x790 -x788
1800.04/1800.65 v -x786 -x784 -x782 -x780 -x778 -x776 -x774 -x772 -x770 -x768 -x766 -x764 -x762 -x760 -x758 -x756 -x754 -x752 -x750 -x748 -x746
1800.04/1800.65 v -x744 -x742 -x740 -x738 -x736 -x734 -x732 -x730 -x728 -x726 -x724 -x722 -x720 -x718 -x716 -x714 -x712 -x710 -x708 -x706 -x704
1800.04/1800.65 v -x702 -x700 -x698 -x696 -x694 -x692 -x690 -x688 -x686 -x684 -x682 -x680 -x678 -x676 -x674 -x672 -x670 -x668 -x666 -x664 -x662
1800.04/1800.65 v -x660 -x658 -x656 -x654 -x652 -x650 -x648 -x646 -x644 -x642 -x640 -x638 -x636 -x634 -x632 -x14 -x630 -x628 -x626 -x624 -x622
1800.04/1800.65 v -x620 -x618 -x13 -x616 -x614 -x612 -x610 -x608 -x606 -x604 -x12 -x602 -x600 -x598 -x596 -x594 -x592 -x590 -x588 -x586 -x584
1800.04/1800.65 v -x582 -x580 -x578 -x576 -x574 -x11 -x572 -x570 -x568 -x566 -x564 x562 -x560 -x558 -x556 -x554 -x552 -x550 -x548 -x546 -x10
1800.04/1800.65 v -x544 -x542 -x540 -x538 -x536 -x534 -x532 -x530 -x528 -x526 -x524 -x522 -x520 -x518 -x516 -x9 -x514 -x512 -x510 -x508 -x506
1800.04/1800.65 v -x504 -x502 -x500 -x498 -x496 -x494 -x492 -x490 -x488 -x486 -x8 -x484 x482 -x480 -x478 -x476 -x474 -x472 -x470 -x468 -x466 -x464
1800.04/1800.65 v -x462 -x460 -x458 -x456 -x454 -x452 -x450 -x448 -x446 -x444 -x442 -x440 -x438 -x436 -x434 -x432 -x430 -x428 -x426 -x424
1800.04/1800.65 v -x422 -x420 -x418 -x7 -x416 -x414 -x412 -x410 -x408 -x406 -x404 -x6 -x402 -x400 -x398 -x396 -x394 -x392 -x390 -x5 -x388 -x386
1800.04/1800.65 v -x384 -x382 -x380 -x378 -x376 -x374 -x372 -x370 -x368 -x366 -x364 -x362 -x360 -x4 -x358 -x356 -x354 -x352 -x350 -x348 -x346
1800.04/1800.65 v -x3 -x344 -x342 -x340 -x338 -x336 -x334 -x332 -x330 -x328 -x326 -x324 -x322 -x320 -x318 -x316 -x2 -x314 -x312 -x310 -x308 -x306
1800.04/1800.65 v -x304 -x302 -x300 -x298 -x296 -x294 -x292 -x290 -x288 -x286 -x1 -x284 -x282 -x280 -x278 -x276 -x274 -x272 -x270 -x268 -x266
1800.04/1800.65 v -x264 x262 -x260 -x258 -x256 -x254 -x252 -x250 -x248 -x246 -x244 -x242 -x240 -x238 -x236 -x234 -x232 -x230 -x228 -x226 -x224
1800.04/1800.65 v -x222 x7437 x7435 x7433 -x7431 x7429 x7427 -x7425 -x7423 -x7421 -x7419 -x7417 -x7415 -x7413 x7411 -x7409 -x7407 -x7405 x7403
1800.04/1800.65 v -x7401 -x7399 -x7397 x7395 -x7393 -x7391 -x7389 -x7387 -x7385 -x7383 -x7381 x7379 -x7377 -x7375 x7373 -x7371 -x7369 -x7367
1800.04/1800.65 v -x7365 -x7363 -x7361 -x7359 -x7357 -x7355 -x7353 -x7351 -x7349 -x7347 -x7345 -x7343 -x7341 -x7339 -x7337 -x7335 -x7333 -x7331
1800.04/1800.65 v -x7329 -x7327 -x7325 -x7323 -x7321 -x7319 x7317 -x7315 -x7313 -x7311 -x7309 -x7307 -x7305 -x7303 x7301 -x7299 -x7297 -x7295
1800.04/1800.65 v -x7293 -x7291 -x7289 -x7287 -x7285 -x7283 -x7281 -x7279 -x7277 -x7275 -x7273 -x7271 -x7269 -x7267 -x7265 -x7263 -x7261 -x7259
1800.04/1800.65 v -x7257 -x7255 -x7253 -x7251 -x7249 -x7247 -x7245 -x7243 -x7241 -x7239 -x7237 -x7235 -x7233 -x7231 -x7229 -x7227 -x7225 -x7223
1800.04/1800.65 v x7221 -x7219 -x7217 -x7215 -x7213 -x7211 -x7209 -x7207 -x7205 -x7203 -x7201 -x7199 -x7197 -x7195 -x7193 -x7191 -x7189 -x7187
1800.04/1800.65 v -x7185 -x7183 -x7181 -x7179 -x7177 -x7175 -x7173 -x7171 -x7169 -x7167 -x7165 -x7163 -x7161 -x7159 -x7157 -x7155 -x7153 -x7151
1800.04/1800.65 v -x7149 -x7147 -x7145 -x7143 -x7141 -x7139 -x7137 -x7135 -x7133 -x7131 -x7129 -x7127 -x7125 -x7123 -x7121 -x7119 -x7117 -x7115
1800.04/1800.65 v -x7113 -x7111 -x7109 -x7107 -x7105 -x7103 -x7101 -x7099 -x7097 -x7095 -x7093 -x7091 -x7089 -x7087 -x7085 -x7083 -x7082 -x7080
1800.04/1800.65 v -x7078 -x7076 -x7074 -x7072 -x7070 -x7068 -x7066 -x7064 -x7062 -x7060 -x7058 -x7056 -x7054 -x7052 -x7050 -x7048 -x7046 -x7044
1800.04/1800.65 v -x7042 -x7040 -x7038 -x7036 -x7034 x7032 -x7030 -x7028 -x7026 -x7024 -x7022 -x7020 -x7018 x7016 -x7014 -x7012 -x7010 -x7008
1800.04/1800.65 v -x7006 -x7004 x7002 -x7000 -x6998 -x6996 -x6994 -x6992 -x6990 -x6988 -x6986 -x6984 -x6982 -x6980 -x6978 -x6976 -x6974 -x6972
1800.04/1800.65 v -x6970 -x6968 -x6966 -x6964 -x6962 -x6960 -x6958 -x6956 -x6954 -x6952 -x6950 -x6948 -x6946 -x6944 -x6942 -x6940 -x6938 -x6936
1800.04/1800.65 v -x6934 -x6932 -x6930 -x6928 -x6926 -x6924 -x6922 -x6920 -x6918 -x6916 -x6914 -x6912 -x6910 -x6908 -x6906 -x6904 -x6902
1800.04/1800.65 v -x6900 -x6898 -x6896 -x6894 -x6892 -x6890 -x6888 -x6886 -x6884 -x6882 -x6880 -x6878 -x6876 -x6874 -x6872 -x6870 -x6868 -x6866
1800.04/1800.65 v x6864 -x6862 -x6860 -x6858 -x6856 -x6854 -x6852 -x6850 -x6848 -x6846 -x6844 -x6842 -x6840 -x6838 -x6836 -x6834 -x6832 -x6830
1800.04/1800.65 v -x6828 -x6826 x6824 -x6822 -x6820 -x6818 -x6816 -x6814 -x6812 -x6810 -x6808 -x6806 -x6804 -x6802 -x6800 -x6798 -x6796 -x6794
1800.04/1800.65 v -x6792 -x6790 -x6788 -x6786 -x6784 -x6782 -x6780 -x6778 -x6776 -x6774 -x6772 -x6770 -x6768 -x6766 -x6764 -x6762 -x6760 -x6758
1800.04/1800.65 v -x6756 -x6754 -x6752 -x6750 -x6748 -x6746 -x6744 -x6742 -x6740 -x6738 -x6736 -x6734 -x6732 -x6730 -x6728 -x6726 -x6724 -x6722
1800.04/1800.65 v -x6720 -x6718 -x6716 -x6714 -x6712 -x6710 -x6708 -x6706 -x6704 -x6702 -x6700 -x6698 -x6696 -x6694 -x6692 -x6690 -x6688 -x6686
1800.04/1800.65 v -x6684 -x6682 -x6680 -x6678 -x6676 -x6674 -x6672 -x6670 -x6668 -x6666 -x6664 -x6662 -x6660 -x6658 -x6656 -x6654 -x6652 -x6650
1800.04/1800.65 v -x6648 -x6646 -x6644 -x6642 -x6640 -x6638 -x6636 -x6634 -x6632 -x6630 -x6628 -x6626 -x6624 -x6622 -x6620 -x6618 -x6616 -x6614
1800.04/1800.65 v -x6612 -x6610 -x6608 -x6606 -x6604 -x6602 -x6600 -x6598 -x6596 -x6594 -x6592 -x6590 -x6588 -x6586 -x6584 -x6582 -x6580
1800.04/1800.65 v -x6578 -x6576 -x6574 -x6572 -x6570 -x6568 -x6566 -x6564 -x6562 -x6560 -x6558 -x6556 -x6554 -x6552 -x6550 -x6548 -x6546 -x6544
1800.04/1800.65 v -x6542 -x6540 -x6538 -x6536 -x6534 -x6532 -x6530 -x6528 -x6526 -x6524 -x6522 -x6520 -x6518 -x6516 -x6514 -x6512 -x6510 -x6508
1800.04/1800.65 v -x6506 x6504 -x6502 -x6500 -x6498 -x6496 -x6494 -x6492 -x6490 -x6488 -x6486 -x6484 -x6482 -x6480 -x6478 -x6476 -x6474 -x6472
1800.04/1800.65 v -x6470 -x6468 -x6466 -x6464 -x6463 -x6461 -x6459 -x6457 -x6455 -x6453 -x6451 -x6449 -x6447 -x6445 -x6443 -x6441 -x6439 -x6437
1800.04/1800.65 v -x6435 -x6433 -x6431 x6429 -x6427 -x6425 -x6423 -x6421 -x6419 -x6417 -x6415 -x6413 -x6411 -x6409 -x6407 -x6405 -x6403 -x6401
1800.04/1800.65 v -x6399 -x6397 -x6395 -x6393 -x6391 -x6389 -x6387 -x6385 -x6383 -x6381 -x6379 -x6377 -x6375 -x6373 -x6371 -x6369 -x6367 -x6365
1800.04/1800.65 v -x6363 -x6361 -x6359 -x6357 -x6355 -x6353 -x6351 -x6349 -x6347 -x6345 -x6343 -x6341 -x6339 -x6337 -x6335 -x6333 -x6331 -x6329
1800.04/1800.65 v -x6327 -x6325 -x6323 -x6321 -x6319 -x6317 -x6315 -x6313 -x6311 -x6309 -x6307 -x6305 -x6303 -x6301 -x6299 -x6297 -x6295 -x6293
1800.04/1800.65 v -x6291 -x6289 -x6287 -x6285 -x6283 -x6281 -x6279 -x6277 -x6275 -x6273 -x6271 -x6269 -x6267 -x6265 -x6263 -x6261 -x6259
1800.04/1800.65 v -x6257 -x6255 -x6253 -x6251 -x6249 -x6247 -x6245 -x6243 -x6241 -x6239 -x6237 -x6235 -x6233 -x6231 -x6229 -x6227 -x6225 -x6223
1800.04/1800.65 v -x6221 -x6219 -x6217 -x6215 -x6213 -x6211 -x6209 -x6207 -x6205 -x6203 -x6201 -x6199 -x6197 -x6195 -x6193 -x6191 -x6189 -x6187
1800.04/1800.65 v -x6185 -x6183 -x6181 -x6179 -x6177 -x6175 -x6173 -x6171 -x6169 -x6167 -x6165 -x6163 -x6161 -x6159 -x6157 -x6155 -x6153 -x6151
1800.04/1800.65 v -x6149 -x6147 -x6145 -x6143 -x6141 -x6139 -x6137 -x6135 x6133 -x6131 -x6129 -x6127 -x6125 -x6123 -x6121 -x6119 -x6117 -x6115
1800.04/1800.65 v -x6113 -x6111 -x6109 -x6107 -x6105 -x6103 -x6101 -x6099 -x6097 -x6095 -x6093 -x6091 -x6089 -x6087 -x6085 -x6083 -x6081 -x6079
1800.04/1800.65 v -x6077 -x6075 -x6073 -x6071 -x6069 -x6067 -x6065 -x6063 -x6061 -x6059 -x6057 -x6055 -x6053 -x6051 -x6049 -x6047 -x6045 -x6043
1800.04/1800.65 v -x6041 -x6039 -x6037 -x6035 -x6033 -x6031 -x6029 -x6027 -x6025 -x6023 -x6021 -x6019 -x6017 -x6015 -x6013 -x6011 -x6009 -x6007
1800.04/1800.65 v -x6005 -x6003 -x6001 -x5999 -x5997 -x5995 -x5993 -x5991 -x5989 -x5987 -x5985 -x5983 -x5981 -x5979 -x5977 -x5975 -x5973
1800.04/1800.65 v -x5971 -x5969 -x5967 -x5965 -x5963 -x5961 -x5959 -x5957 -x5955 -x5953 -x5951 -x5949 -x5947 -x5945 -x5943 -x5941 -x5939 -x5937
1800.04/1800.65 v -x5935 -x5933 -x5931 -x5929 -x5927 -x5925 -x5923 -x5921 -x5919 -x5917 -x5915 -x5913 -x5911 -x5909 -x5907 -x5905 -x5903 -x5901
1800.04/1800.65 v -x5899 -x5897 -x5895 -x5893 -x5891 -x5890 -x5888 -x5886 -x5884 -x5882 -x5880 -x5878 -x5876 -x5874 -x5872 -x5870 -x5868 -x5866
1800.04/1800.65 v -x5864 -x5862 -x5860 -x5858 -x5856 -x5854 -x5852 -x5850 -x5848 -x5846 -x5844 -x5842 -x5840 -x5838 -x5836 -x5834 -x5832 -x5830
1800.04/1800.65 v -x5828 -x5826 -x5824 -x5822 -x5820 -x5818 -x5816 -x5814 -x5812 -x5810 -x5808 -x5806 -x5804 -x5802 -x5800 -x5798 -x5796 -x5794
1800.04/1800.65 v -x5792 -x5790 -x5788 -x5786 -x5784 -x5782 -x5780 -x5778 -x5776 -x5774 -x5772 -x5770 -x5768 -x5766 -x5764 -x5762 -x5760 -x5758
1800.04/1800.65 v -x5756 -x5754 -x5752 -x5750 -x5748 -x5746 -x5744 -x5742 -x5740 -x5738 -x5736 -x5734 -x5732 -x5730 -x5728 -x5726 -x5724
1800.04/1800.65 v -x5722 -x5720 -x5718 -x5716 -x5714 -x5712 -x5710 -x5708 -x5706 -x5704 -x5702 -x5700 -x5698 -x5696 -x5694 -x5692 -x5690 -x5688
1800.04/1800.65 v -x5686 -x5684 -x5682 -x5680 -x5678 -x5676 -x5674 -x5672 -x5670 -x5668 -x5666 -x5664 -x5662 -x5660 -x5658 -x5656 -x5654 -x5652
1800.04/1800.65 v -x5650 -x5648 -x5646 -x5644 -x5642 -x5640 -x5638 -x5636 -x5634 -x5632 -x5630 -x5628 -x5626 -x5624 -x5622 -x5620 -x5618 -x5616
1800.04/1800.65 v -x5614 -x5612 -x5610 -x5608 -x5606 -x5604 -x5602 -x5600 -x5598 -x5596 -x5594 -x5592 -x5590 -x5588 -x5586 -x5584 -x5582 -x5580
1800.04/1800.65 v -x5578 -x5576 -x5574 -x5572 -x5570 -x5568 -x5566 -x5564 -x5562 -x5560 -x5558 -x5556 -x5554 -x5552 -x5550 -x5548 -x5546 -x5544
1800.04/1800.65 v -x5542 -x5540 -x5538 -x5536 -x5534 -x5532 -x5530 -x5528 -x5526 -x5524 -x5522 -x5520 -x5518 -x5516 -x5514 -x5512 -x5510 -x5508
1800.04/1800.65 v -x5506 -x5504 -x5502 -x5500 -x5498 -x5496 -x5494 -x5492 -x5490 -x5488 -x5486 -x5484 -x5482 -x5480 -x5478 -x5476 -x5474
1800.04/1800.65 v -x5472 -x5470 -x5468 -x5466 -x5464 -x5462 -x5460 -x5458 -x5456 -x5454 -x5452 -x5450 -x5448 -x5446 -x5444 -x5442 -x5440 -x5438
1800.04/1800.65 v -x5436 -x5434 -x5432 -x5430 -x5428 -x5426 -x5424 -x5422 -x5420 -x5418 -x5416 -x5414 -x5412 -x5410 -x5408 -x5406 -x5404 -x5402
1800.04/1800.65 v -x5400 -x5398 x5396 -x5394 -x5392 -x5390 -x5388 -x5386 -x5384 -x5382 -x5380 -x5378 -x5376 -x5374 -x5372 -x5370 -x5368 -x5366
1800.04/1800.65 v -x5364 -x5362 -x5360 -x5358 -x5356 -x5354 -x5352 -x5350 -x5348 -x5346 -x5344 -x5342 -x5340 -x5338 -x5336 -x5334 -x5332 -x5330
1800.04/1800.65 v -x5328 -x5326 -x5324 -x5322 -x5320 -x5319 -x5317 -x5315 -x5313 -x5311 -x5309 -x5307 -x5305 -x5303 -x5301 -x5299 -x5297 -x5295
1800.04/1800.65 v -x5293 -x5291 -x5289 -x5287 -x5285 -x5283 -x5281 -x5279 -x5277 -x5275 -x5273 -x5271 -x5269 -x5267 -x5265 -x5263 -x5261 -x5259
1800.04/1800.65 v -x5257 -x5255 -x5253 -x5251 -x5249 -x5247 -x5245 -x5243 -x5241 -x5239 -x5237 -x5235 -x5233 -x5231 -x5229 -x5227 -x5225 -x5223
1800.04/1800.65 v -x5221 -x5219 -x5217 -x5215 -x5213 -x5211 -x5209 -x5207 -x5205 -x5203 -x5201 -x5199 -x5197 -x5195 -x5193 -x5191 -x5189
1800.04/1800.65 v -x5187 -x5185 -x5183 -x5181 -x5179 -x5177 -x5175 -x5173 -x5171 -x5169 -x5167 -x5165 -x5163 -x5161 -x5159 -x5157 -x5155 -x5153
1800.04/1800.65 v -x5151 -x5149 -x5147 -x5145 -x5143 -x5141 -x5139 -x5137 -x5135 -x5133 -x5131 -x5129 -x5127 -x5125 -x5123 -x5121 -x5119 -x5117
1800.04/1800.65 v -x5115 -x5113 -x5111 -x5109 -x5107 -x5105 -x5103 -x5101 -x5099 -x5097 -x5095 -x5093 -x5091 -x5089 -x5087 -x5085 -x5083 -x5081
1800.04/1800.65 v -x5079 -x5077 -x5075 -x5073 -x5071 -x5069 -x5068 -x5066 -x5064 -x5062 -x5060 -x5058 -x5056 -x5054 -x5052 -x5050 -x5048 -x5046
1800.04/1800.65 v -x5044 -x5042 -x5040 -x5038 -x5036 -x5034 -x5032 -x5030 -x5028 -x5026 -x5024 -x5022 -x5020 -x5018 -x5016 -x5014 -x5012 -x5010
1800.04/1800.65 v x5008 -x5006 -x5004 -x5002 -x5000 -x4998 -x4996 -x4994 -x4992 -x4990 -x4988 -x4986 -x4984 -x4982 -x4980 -x4978 -x4976 -x4974
1800.04/1800.65 v -x4972 -x4970 -x4968 -x4966 -x4964 -x4962 -x4960 -x4958 -x4956 -x4954 -x4952 -x4950 -x4948 -x4946 -x4944 -x4942 -x4940 -x4938
1800.04/1800.65 v -x4936 -x4934 -x4932 -x4930 -x4928 -x4926 -x4924 -x4922 -x4920 -x4918 -x4916 -x4914 -x4912 -x4910 -x4908 -x4906 -x4904
1800.04/1800.65 v -x4902 -x4900 -x4898 -x4896 -x4894 -x4892 -x4890 -x4888 -x4886 -x4884 -x4882 -x4880 -x4878 -x4876 -x4874 -x4872 -x4870 -x4868
1800.04/1800.65 v -x4866 -x4864 -x4862 -x4860 -x4858 -x4856 -x4854 -x4852 -x4850 -x4848 -x4846 -x4844 -x4842 -x4840 -x4838 -x4836 -x4834 -x4832
1800.04/1800.65 v -x4830 -x4828 -x4826 -x4824 -x4822 -x4820 -x4818 -x4816 -x4814 -x4812 -x4810 -x4808 -x4806 -x4804 -x4802 -x4800 -x4798 -x4796
1800.04/1800.65 v -x4794 -x4792 -x4790 -x4788 -x4786 -x4784 -x4782 -x4780 -x4778 -x4776 -x4774 -x4772 -x4770 -x4768 -x4766 -x4764 -x4762 -x4760
1800.04/1800.65 v -x4758 -x4756 -x4754 -x4752 -x4750 -x4748 -x4746 -x4744 -x4742 -x4740 -x4738 -x4736 -x4734 -x4732 -x4730 -x4728 -x4726 -x4724
1800.04/1800.65 v -x4722 -x4720 -x4718 -x4716 -x4714 -x4712 -x4710 -x4708 -x4706 -x4704 -x4702 -x4700 x4698 -x4696 -x4694 -x4692 -x4690 -x4688
1800.04/1800.65 v -x4686 -x4684 -x4682 -x4680 -x4678 -x4676 -x4674 -x4672 -x4670 -x4668 -x4666 -x4664 -x4662 -x4660 -x4658 -x4656 -x4654 x4652
1800.04/1800.65 v -x4650 -x4648 -x4646 -x4644 -x4642 -x4640 -x4638 -x4636 -x4634 -x4632 -x4630 -x4628 -x4626 -x4624 -x4622 -x4620 -x4618 -x4616
1800.04/1800.65 v -x4614 -x4612 -x4610 -x4608 -x4606 -x4604 -x4602 -x4600 -x4598 -x4596 -x4594 -x4592 -x4590 -x4588 -x4586 -x4584 -x4582
1800.04/1800.65 v -x4580 -x4578 -x4576 -x4574 -x4572 -x4570 -x4568 -x4566 -x4564 -x4562 -x4560 -x4558 -x4556 -x4554 -x4552 -x4550 -x4548 -x4546
1800.04/1800.65 v -x4544 -x4542 -x4540 -x4538 -x4536 -x4534 -x4532 -x4530 -x4528 -x4526 -x4524 -x4522 -x4520 -x4518 -x4516 -x4514 -x4512 -x4510
1800.04/1800.65 v -x4508 -x4506 -x4504 -x4502 -x4500 -x4498 -x4496 -x4494 -x4492 -x4490 -x4488 -x4486 -x4484 -x4482 -x4480 -x4478 -x4476 -x4474
1800.04/1800.65 v -x4472 -x4470 -x4468 -x4466 -x4464 -x4462 -x4460 -x4458 -x4456 -x4454 -x4452 -x4450 -x4448 -x4446 -x4444 -x4442 -x4440 -x4438
1800.04/1800.65 v -x4436 -x4434 -x4432 -x4430 -x4428 -x4426 -x4424 -x4422 -x4420 -x4418 -x4416 -x4414 -x4412 -x4410 -x4408 -x4406 -x4404 -x4402
1800.04/1800.65 v -x4400 -x4398 -x4396 -x4394 -x4392 -x4390 -x4388 -x4386 -x4384 -x4382 -x4380 -x4378 -x4376 -x4374 -x4372 -x4370 -x4368 -x4366
1800.04/1800.65 v -x4364 -x4362 -x4360 -x4358 -x4356 -x4354 -x4352 -x4350 -x4348 -x4346 -x4344 -x4342 -x4340 -x4338 -x4336 -x4334 -x4332
1800.04/1800.65 v -x4330 -x4328 -x4326 -x4324 -x4322 -x4320 -x4318 -x4316 -x4314 -x4312 -x4310 -x4308 -x4306 -x4304 -x4302 -x4300 -x4298 -x4296
1800.04/1800.65 v -x4294 -x4292 -x4290 -x4288 -x4286 -x4284 -x4282 -x4280 -x4278 -x4276 -x4274 -x4272 -x4270 -x4268 -x4266 -x4264 -x4262 -x4260
1800.04/1800.65 v -x4258 -x4256 -x4254 -x4252 -x4250 -x4248 -x4246 -x4244 -x4242 -x4240 -x4238 -x4236 -x4234 -x4232 -x4230 -x4228 -x4226 -x4224
1800.04/1800.65 v -x4222 -x4220 -x4218 -x4216 -x4214 -x4212 -x4210 -x4208 -x4206 -x4204 -x4202 -x4200 -x4198 -x4196 -x4194 -x4192 -x4190 -x4188
1800.04/1800.65 v -x4186 -x4184 -x4182 -x4180 -x4178 -x4176 -x4175 -x4173 -x4171 -x4169 -x4167 -x4165 -x4163 -x4161 -x4159 -x4157 -x4155 -x4153
1800.04/1800.65 v -x4151 -x4149 -x4147 -x4145 -x4143 -x4141 -x4139 -x4137 -x4135 -x4133 -x4131 -x4129 -x4127 -x4125 -x4123 -x4121 -x4119 -x4117
1800.04/1800.65 v -x4115 -x4113 -x4111 -x4109 -x4107 -x4105 -x4103 -x4101 -x4099 -x4097 -x4095 -x4093 -x4091 -x4089 -x4087 -x4085 -x4083
1800.04/1800.65 v -x4081 -x4079 -x4077 -x4075 -x4073 -x4071 -x4069 -x4067 -x4065 -x4063 -x4061 -x4059 -x4057 -x4055 -x4053 -x4051 -x4049 -x4047
1800.04/1800.65 v -x4045 -x4043 -x4041 -x4039 -x4037 -x4035 -x4033 -x4031 -x4029 -x4027 -x4025 -x4023 -x4021 -x4019 -x4017 -x4015 -x4013 -x4011
1800.04/1800.65 v -x4009 -x4007 -x4005 -x4003 -x4001 -x3999 -x3997 -x3995 -x3993 -x3991 -x3989 -x3987 -x3985 -x3983 -x3981 -x3979 -x3977 -x3975
1800.04/1800.65 v -x3973 -x3971 -x3969 -x3967 -x3965 -x3963 -x3961 -x3959 -x3957 -x3955 -x3953 -x3951 -x3949 -x3947 -x3945 -x3943 -x3941 -x3939
1800.04/1800.65 v -x3937 -x3935 -x3933 -x3931 -x3929 -x3927 -x3925 -x3923 -x3921 -x3919 -x3917 -x3915 -x3913 -x3911 -x3909 -x3907 -x3905 -x3903
1800.04/1800.65 v -x3901 -x3899 -x3897 -x3895 -x3893 -x3891 -x3889 -x3887 -x3885 -x3883 -x3881 -x3879 -x3877 -x3875 -x3873 -x3871 -x3869 -x3867
1800.04/1800.65 v -x3865 -x3863 -x3861 -x3859 -x3857 -x3855 -x3853 -x3851 -x3849 -x3847 -x3845 -x3843 -x3841 -x3839 -x3837 -x3835 -x3833
1800.04/1800.65 v -x3831 -x3829 -x3827 -x3825 -x3823 -x3821 -x3819 -x3817 -x3815 -x3813 -x3811 -x3809 -x3807 -x3805 -x3803 -x3801 -x3799 -x3797
1800.04/1800.65 v -x3795 -x3793 -x3791 -x3789 -x3787 -x3785 -x3783 -x3781 -x3779 -x3777 -x3775 -x3773 -x3771 -x3769 -x3767 -x3765 -x3763 -x3761
1800.04/1800.65 v -x3759 -x3757 -x3755 -x3753 -x3751 -x3749 -x3747 -x3745 -x3743 -x3741 -x3739 -x3737 -x3735 -x3733 -x3731 -x3729 -x3727 -x3725
1800.04/1800.65 v -x3723 -x3721 -x3719 -x3717 -x3715 -x3713 -x3711 -x3709 -x3707 -x3705 -x3703 x3701 -x3699 -x3697 -x3695 -x3693 -x3691 -x3689
1800.04/1800.65 v -x3687 -x3685 -x3683 -x3681 -x3679 -x3677 -x3675 -x3673 -x3671 -x3669 -x3667 -x3665 -x3663 -x3661 -x3659 -x3657 -x3655 -x3653
1800.04/1800.65 v -x3651 -x3649 -x3647 -x3645 -x3643 -x3641 -x3639 -x3637 -x3635 -x3633 -x3631 -x3629 -x3627 -x3625 -x3623 -x3621 -x3619 -x3617
1800.04/1800.65 v -x3615 -x3613 -x3611 -x3609 -x3607 -x3605 -x3603 -x3601 -x3599 -x3597 -x3595 -x3593 -x3591 -x3589 -x3587 -x3585 -x3583 -x3581
1800.04/1800.65 v -x3579 -x3577 -x3575 -x3573 -x3571 -x3569 -x3567 -x3565 -x3563 -x3561 -x3559 -x3557 -x3555 -x3553 -x3551 -x3549 -x3547
1800.04/1800.65 v -x3545 -x3543 -x3541 -x3539 -x3537 -x3535 -x3533 -x3531 -x3529 -x3527 -x3525 -x3523 -x3521 -x3519 -x3517 x3515 -x3513 -x3511
1800.04/1800.65 v -x3509 -x3507 -x3505 -x3503 -x3501 -x3499 -x3497 -x3495 -x3493 -x3491 -x3489 -x3487 -x3485 -x3483 -x3481 -x3479 -x3477 -x3475
1800.04/1800.65 v -x3473 -x3471 -x3469 -x3467 -x3465 -x3463 -x3461 -x3459 -x3457 -x3455 -x3453 -x3451 -x3449 x3447 -x3445 -x3443 -x3441 -x3439
1800.04/1800.65 v -x3437 -x3435 -x3433 -x3431 -x3429 -x3427 -x3425 -x3423 -x3421 -x3419 -x3417 -x3415 -x3413 -x3411 -x3409 -x3407 -x3405 -x3403
1800.04/1800.65 v -x3401 -x3399 -x3397 -x3395 -x3393 -x3391 -x3389 -x3387 -x3385 -x3383 -x3381 -x3379 -x3377 -x3375 -x3373 -x3371 -x3369 -x3367
1800.04/1800.65 v -x3365 -x3363 -x3361 -x3359 -x3357 -x3355 -x3353 -x3351 -x3349 -x3347 -x3345 -x3343 -x3341 -x3339 -x3337 -x3335 -x3333 -x3331
1800.04/1800.65 v -x3329 -x3327 -x3325 -x3323 -x3321 -x3319 -x3317 -x3315 -x3313 -x3311 -x3309 -x3307 -x3305 -x3303 -x3301 -x3299 -x3297 -x3295
1800.04/1800.65 v -x3293 -x3291 -x3289 -x3287 -x3285 -x3283 -x3281 -x3279 -x3277 -x3275 -x3273 -x3271 -x3269 -x3267 -x3265 -x3263 -x3261 -x3259
1800.04/1800.65 v -x3257 -x3255 -x3253 -x3251 -x3249 -x3247 -x3245 -x3243 -x3241 -x3239 -x3237 -x3235 -x3233 -x3231 -x3229 -x3227 -x3225
1800.04/1800.65 v -x3223 -x3221 -x3219 -x3217 -x3215 -x3213 -x3211 -x3209 -x3207 -x3205 -x3203 -x3201 -x3199 -x3197 -x3195 -x3193 -x3191 -x3189
1800.04/1800.65 v -x3187 -x3185 -x3183 -x3181 -x3179 -x3177 -x3175 -x3173 -x3171 -x3169 -x3167 -x3165 -x3163 -x3161 -x3159 -x3157 -x3155 -x3153
1800.04/1800.65 v -x3151 -x3149 -x3147 -x3145 -x3143 -x3141 -x3139 -x3137 -x3135 -x3133 -x3131 -x3129 -x3127 -x3125 -x3123 -x3121 -x3119 -x3117
1800.04/1800.65 v -x3115 -x3113 -x3111 -x3109 -x3107 -x3105 -x3103 -x3101 -x3099 -x3097 -x3095 -x3093 -x3091 -x3089 -x3087 -x3085 -x3083 -x3081
1800.04/1800.65 v -x3079 -x3077 -x3075 -x3073 -x3071 -x3069 -x3067 -x3065 -x3063 -x3061 -x3059 -x3057 -x3055 -x3053 -x3051 -x3049 -x3047 -x3045
1800.04/1800.65 v -x3043 -x3041 -x3039 -x3037 -x3035 -x3033 -x3031 -x3029 -x3027 -x3025 -x3023 -x3021 -x3019 -x3017 -x3015 -x3013 -x3011 -x3009
1800.04/1800.65 v -x3007 -x3005 -x3003 -x3001 -x2999 -x2997 -x2995 -x2993 -x2991 -x2989 -x2987 -x2985 -x2983 -x2981 -x2979 -x2977 -x2975
1800.04/1800.65 v -x2973 -x2971 -x2969 -x2967 -x2965 -x2963 -x2961 -x2959 -x2957 -x2955 -x2953 -x2951 -x2949 -x2947 -x2945 -x2943 -x2941 -x2939
1800.04/1800.65 v -x2937 -x2935 -x2933 -x2931 -x2929 -x2927 -x2925 -x2923 -x2921 -x2919 -x2917 -x2915 -x2913 -x2911 -x2909 -x2907 -x2905 -x2903
1800.04/1800.65 v -x2901 -x2899 -x2897 -x2895 -x2893 -x2891 -x2889 -x2887 -x2885 -x2883 -x2881 -x2879 -x2877 -x2875 -x2873 -x2871 -x2869 -x2867
1800.04/1800.65 v -x2865 -x2863 -x2861 -x2859 -x2857 -x2855 -x2853 -x2851 -x2849 -x2847 -x2845 -x2843 -x2841 -x2839 -x2837 -x2835 -x2833 -x2831
1800.04/1800.65 v -x2829 -x2827 -x2825 -x2823 -x2821 -x2819 -x2817 -x2815 -x2813 -x2811 -x2809 -x2807 -x2805 -x2803 -x2801 -x2799 -x2797 -x2795
1800.04/1800.65 v -x2793 -x2791 -x2789 -x2787 -x2785 -x2783 -x2781 -x2779 -x2777 -x2775 -x2773 -x2771 -x2769 -x2767 -x2765 -x2763 -x2761 -x2759
1800.04/1800.65 v -x2757 -x2755 -x2753 -x2751 -x2749 -x2747 -x2745 -x2743 -x2741 -x2739 -x2737 -x2735 -x2733 -x2731 -x2729 -x2727 -x2725
1800.04/1800.65 v -x2723 -x2721 -x2719 -x2717 -x2715 -x2713 -x2711 -x2709 -x2707 -x2705 -x2703 -x2701 -x2699 -x2697 -x2695 -x2693 -x2691 -x2689
1800.04/1800.65 v -x2687 -x2685 -x2683 -x2681 -x2679 -x2677 -x2675 -x2673 -x2671 -x2669 -x2667 -x2665 -x2663 -x2661 -x2659 -x2657 -x2655 -x2653
1800.04/1800.65 v -x2651 -x2649 -x2647 -x2645 -x2643 -x2641 -x2639 -x2637 -x2635 -x2633 -x2631 -x2629 -x2627 -x2625 -x2623 -x2621 -x2619 -x2617
1800.04/1800.65 v -x2615 -x2613 -x2611 -x2609 -x2607 -x2605 -x2603 -x2601 -x2599 -x2597 -x2595 -x2593 -x2591 -x2589 -x2587 -x2585 -x2583 -x2581
1800.04/1800.65 v -x2579 -x2577 -x2575 -x2573 -x2571 -x2569 -x2567 -x2565 -x2563 -x2561 -x2559 -x2557 -x2555 -x2553 -x2551 -x2549 -x2547 -x2545
1800.04/1800.65 v -x2543 -x2541 -x2539 -x2537 -x2535 -x2533 -x2531 -x2529 -x2527 -x2525 -x2523 -x2521 -x2519 -x2517 -x2515 -x2513 -x2511 -x2509
1800.04/1800.65 v -x2507 -x2505 -x2503 -x2501 -x2499 -x2497 -x2495 -x2493 -x2491 -x2489 -x2487 -x2485 -x2483 -x2481 -x2479 -x2477 -x2475
1800.04/1800.65 v -x2473 -x2471 -x2469 -x2467 -x2465 -x2463 -x2461 -x2459 -x2457 -x2455 -x2453 -x2451 -x2449 -x2447 -x2445 -x2443 -x2441 -x2439
1800.04/1800.65 v -x2437 -x2435 -x2433 -x2431 -x2429 -x2427 -x2425 -x2423 -x2421 -x2419 -x2417 -x2415 -x2413 -x2411 -x2409 -x2407 -x2405 -x2403
1800.04/1800.65 v -x2401 -x2399 -x2397 -x2395 -x2393 -x2391 -x2389 -x2387 -x2385 -x2383 -x2381 -x2379 -x2377 -x2375 -x2373 -x2371 -x2369 -x2367
1800.04/1800.65 v -x2365 -x2363 -x2361 -x2359 -x2357 -x2355 -x2353 -x2351 -x2349 -x2347 -x2345 -x2343 -x2341 -x2339 -x2337 -x2335 -x2333 -x2331
1800.04/1800.65 v -x2329 -x2327 -x2325 -x2323 -x2321 -x2319 -x2317 -x2315 -x2313 -x2311 -x2309 -x2307 -x2305 -x2303 -x2301 -x2299 -x2297 -x2295
1800.04/1800.65 v -x2293 -x2291 -x2289 -x2287 -x2285 -x2283 -x2281 -x2279 -x2277 -x2275 -x2273 -x2271 -x2269 -x2267 -x2265 -x2263 -x2261 -x2259
1800.04/1800.65 v -x2257 -x2255 -x2253 -x2251 -x2249 -x2247 -x2245 -x2243 -x2241 -x2239 -x2237 -x2235 -x2233 -x2231 -x2229 -x2227 -x2225
1800.04/1800.65 v -x2223 -x2221 -x2219 -x2217 -x2215 -x2213 -x2211 -x2209 -x2207 -x2205 -x2203 -x2201 -x2199 -x2197 -x2195 -x2193 -x2191 -x2189
1800.04/1800.65 v -x2187 -x2185 -x2183 -x2181 -x2179 -x2177 -x2175 -x2173 -x2171 -x2169 -x2167 -x2165 -x2163 -x2161 -x2159 -x2157 -x2155 -x2153
1800.04/1800.65 v -x2151 -x2149 -x2147 -x2145 -x2143 -x2141 -x2139 -x2137 -x2135 -x2133 -x2131 -x2129 -x2127 -x2125 -x2123 -x2121 -x2119 -x2117
1800.04/1800.65 v -x2115 -x2113 -x2111 -x2109 -x2107 -x2105 -x2103 -x2101 -x2099 -x2097 -x2095 -x2093 -x2091 -x2089 -x2087 -x2085 -x2083 -x2081
1800.04/1800.65 v -x2079 -x2077 -x2075 -x2073 -x2071 -x2069 -x2067 -x2065 -x2063 -x2061 -x2059 -x2057 -x2055 -x2053 -x2051 -x2049 -x2047 -x2045
1800.04/1800.65 v -x2043 -x2041 -x2039 -x2037 -x2035 -x2033 -x2031 -x2029 -x2027 -x2025 -x2023 -x2021 -x2019 -x2017 -x2015 -x2013 -x2011 -x2009
1800.04/1800.65 v -x2007 -x2005 -x2003 -x2001 -x1999 -x1997 -x1995 -x1993 -x1991 -x1989 -x1987 -x1985 -x1983 -x1981 -x1979 -x1977 -x1975
1800.04/1800.65 v -x1973 -x1971 -x1969 -x1967 -x1965 -x1963 -x1961 -x1959 -x1957 -x1955 -x1953 -x1951 -x1949 -x1947 -x1945 -x1943 -x1941 -x1939
1800.04/1800.65 v -x1937 -x1935 -x1933 -x1931 -x1929 -x1927 -x1925 -x1923 -x1921 -x1919 -x1917 -x1915 -x1913 -x1911 -x1909 -x1907 -x1905 -x1903
1800.04/1800.65 v -x1901 -x1899 -x1897 -x1895 -x1893 -x1891 -x1889 -x1887 -x1885 -x1883 -x1881 -x1879 -x1877 -x1875 -x1873 -x1871 -x1869 -x1867
1800.04/1800.65 v -x1865 -x1863 -x1861 -x1859 -x1857 -x1855 -x1853 -x1851 -x1849 -x1847 -x1845 -x1843 -x1841 -x1839 -x1837 -x1835 -x1833 -x1831
1800.04/1800.65 v -x1829 -x1827 -x1825 -x1823 -x1821 -x1819 -x1817 -x1815 -x1813 -x1811 -x1809 -x1807 -x1805 -x1803 -x1801 -x1799 -x1797 -x1795
1800.04/1800.65 v -x1793 -x1791 -x1789 -x1787 -x1785 -x1783 -x1781 -x1779 -x1777 -x1775 -x1773 -x1771 -x1769 -x1767 -x1765 -x1763 -x1761 -x1759
1800.04/1800.65 v -x1757 -x1755 -x1753 -x1751 -x1749 -x1747 -x1745 -x1743 -x1741 -x1739 -x1737 -x1735 -x1733 -x1731 -x1729 -x1727 -x1725
1800.04/1800.65 v -x1723 -x1721 -x1719 -x1717 -x1715 -x1713 -x1711 -x1709 -x1707 -x1705 -x1703 -x1701 -x1699 -x1697 -x1695 -x1693 -x1691 -x1689
1800.04/1800.65 v -x1687 -x1685 -x1683 -x1681 -x1679 -x1677 -x1675 -x1673 -x1671 -x1669 -x1667 -x1665 -x1663 -x1661 -x1659 -x1657 -x1655 -x1653
1800.04/1800.65 v -x1651 -x1649 -x1647 -x1645 -x1643 -x1641 -x1639 -x1637 -x1635 -x1633 -x1631 -x1629 -x1627 -x1625 -x1623 -x1621 -x1619 -x1617
1800.04/1800.65 v -x1615 -x1613 -x1611 -x1609 -x1607 -x1605 -x1603 -x1601 -x1599 -x1597 -x1595 -x1593 -x1591 -x1589 -x1587 -x1585 -x1583 -x1581
1800.04/1800.65 v -x1579 -x1577 -x1575 -x1573 -x1571 -x1569 -x1567 -x1565 -x1563 -x1561 -x1559 -x1557 -x1555 -x1553 -x1551 -x1549 -x1547 -x1545
1800.04/1800.65 v -x1543 -x1541 -x1539 -x1537 -x1535 -x1533 -x1531 -x1529 -x1527 -x1525 -x1523 -x1521 -x1519 -x1517 -x1515 -x1513 -x1511 -x1509
1800.04/1800.65 v -x1507 -x1505 -x1503 -x1501 -x1499 -x1497 -x1495 -x1493 -x1491 -x1489 -x1487 -x1485 -x1483 -x1481 -x1479 -x1477 -x1475
1800.04/1800.65 v -x1473 -x1471 -x1469 -x1467 -x1465 -x1463 -x1461 -x1459 -x1457 -x1455 -x1453 -x1451 -x1449 -x1447 -x1445 -x1443 -x1441 -x1439
1800.04/1800.65 v -x1437 -x1435 -x1433 -x1431 -x1429 -x1427 -x1425 -x1423 -x1421 -x1419 -x1417 -x1415 -x1413 -x1411 -x1409 -x1407 -x1405 -x1403
1800.04/1800.65 v -x1401 -x1399 -x1397 -x1395 -x1393 -x1391 -x1389 -x1387 -x1385 -x1383 -x1381 -x1379 -x1377 -x1375 -x1373 -x1371 -x1369 -x1367
1800.04/1800.65 v -x1365 -x1363 -x1361 -x1359 -x1357 -x1355 -x1353 -x1351 -x1349 -x1347 -x1345 -x1343 -x1341 -x1339 -x1337 -x1335 -x1333 -x1331
1800.04/1800.65 v -x1329 -x1327 -x1325 -x1323 -x1321 -x1319 -x1317 -x1315 -x1313 -x1311 -x1309 -x1307 -x1305 -x1303 -x1301 -x1299 -x1297 -x1295
1800.04/1800.65 v -x1294 -x1292 -x1290 -x1288 -x1286 -x1284 -x1282 -x1280 -x1278 -x1276 -x1274 -x1272 -x1270 -x1268 -x1266 -x1264 -x1262 -x1260
1800.04/1800.65 v -x1258 -x1256 -x1254 -x1252 -x1250 -x1248 -x1246 -x1244 -x1242 -x1240 -x1238 -x1236 -x1234 -x1232 -x1230 -x1228 -x1226
1800.04/1800.65 v -x1224 -x1222 -x1220 -x1218 -x1216 -x1214 -x1212 -x1210 -x1208 -x1206 -x1204 -x1202 -x1200 -x1198 -x1196 -x1194 -x1192 -x1190
1800.04/1800.65 v -x1188 -x1186 -x1184 -x1182 -x1180 -x1178 -x1176 -x1174 -x1172 -x1170 -x1168 -x1166 -x1164 -x1162 -x1160 -x1158 -x1156 -x1154
1800.04/1800.65 v -x1152 -x1150 -x1148 -x1146 -x1144 -x1142 -x1140 -x1138 -x1136 -x1134 -x1132 -x1130 -x1128 -x1126 -x1124 -x1122 -x1120 -x1118
1800.04/1800.65 v -x1116 -x1114 -x1112 -x1110 -x1108 -x1106 -x1104 -x1102 -x1100 -x1098 -x1096 -x1094 -x1092 -x1090 -x1088 -x1086 -x1084 -x1082
1800.04/1800.65 v -x1080 -x1078 -x1076 -x1074 -x1072 -x1070 -x1068 -x1066 -x1064 -x1062 -x1060 -x1058 -x1056 -x1054 -x1052 -x1050 -x1048 -x1046
1800.04/1800.65 v -x1044 -x1042 -x1040 -x1038 -x1036 -x1034 -x1032 -x1030 -x1028 -x1026 -x1024 -x1022 -x1020 -x1018 -x1016 -x1014 -x1012 -x1010
1800.04/1800.65 v -x1008 -x1006 -x1004 -x1002 -x1000 -x998 -x996 -x994 -x992 -x990 -x988 -x986 -x984 -x982 -x980 -x978 -x976 -x974 -x972
1800.04/1800.65 v -x970 -x968 -x966 -x964 -x962 -x960 -x958 -x956 -x954 -x952 -x950 -x948 -x946 -x944 -x942 -x940 -x938 -x936 -x934 -x932 -x930
1800.04/1800.65 v -x928 -x926 -x924 -x922 -x920 -x918 -x916 -x914 -x912 -x910 -x908 -x906 -x904 -x902 -x900 -x898 -x896 -x894 -x892 -x890 -x888
1800.04/1800.65 v -x886 -x884 -x882 -x880 -x878 -x876 -x874 -x872 -x870 -x868 -x866 -x864 -x862 -x860 -x858 -x856 -x854 -x852 -x850 -x848 -x846
1800.04/1800.65 v -x844 -x842 -x840 x838 -x836 -x834 -x832 -x830 -x828 -x826 -x824 -x822 -x820 -x819 -x817 -x815 -x813 -x811 -x809 -x807 -x805
1800.04/1800.65 v -x803 -x801 -x799 -x797 -x795 -x793 -x791 -x789 -x787 -x785 -x783 -x781 -x779 -x777 -x775 -x773 -x771 -x769 -x767 -x765 -x763
1800.04/1800.65 v -x761 -x759 -x757 -x755 -x753 -x751 -x749 -x747 -x745 -x743 -x741 -x739 -x737 -x735 -x733 -x731 -x729 -x727 -x725 -x723 -x721
1800.04/1800.65 v -x719 -x717 -x715 -x713 -x711 -x709 -x707 -x705 -x703 -x701 -x699 -x697 -x695 -x693 -x691 -x689 -x687 -x685 -x683 -x681
1800.04/1800.65 v -x679 -x677 -x675 -x673 -x671 -x669 -x667 -x665 -x663 -x661 -x659 -x657 -x655 -x653 -x651 -x649 -x647 -x645 -x643 -x641 -x639
1800.04/1800.65 v -x637 -x635 -x633 -x631 -x629 -x627 -x625 -x623 -x621 -x619 -x617 -x615 -x613 -x611 -x609 -x607 -x605 -x603 -x601 -x599 -x597
1800.04/1800.65 v -x595 -x593 -x591 -x589 -x587 -x585 -x583 -x581 -x579 -x577 -x575 -x573 -x571 -x569 -x567 -x565 x563 -x561 -x559 -x557 -x555
1800.04/1800.65 v -x553 -x551 -x549 -x547 -x545 -x543 -x541 -x539 -x537 -x535 -x533 -x531 -x529 -x527 -x525 -x523 -x521 -x519 -x517 -x515 -x513
1800.04/1800.65 v -x511 -x509 -x507 -x505 -x503 -x501 -x499 -x497 -x495 -x493 -x491 -x489 -x487 -x485 x483 -x481 -x479 -x477 -x475 -x473 -x471
1800.04/1800.65 v -x469 -x467 -x465 -x463 -x461 -x459 -x457 -x455 -x453 -x451 -x449 -x447 -x445 -x443 -x441 -x439 -x437 -x435 -x433 -x431 -x429
1800.04/1800.65 v -x427 -x425 -x423 -x421 -x419 -x417 -x415 -x413 -x411 -x409 -x407 -x405 -x403 -x401 -x399 -x397 -x395 -x393 -x391 -x389 -x387
1800.04/1800.65 v -x385 -x383 -x381 -x379 -x377 -x375 -x373 -x371 -x369 -x367 -x365 -x363 -x361 -x359 -x357 -x355 -x353 -x351 -x349 -x347
1800.04/1800.65 v -x345 -x343 -x341 -x339 -x337 -x335 -x333 -x331 -x329 -x327 -x325 -x323 -x321 -x319 -x317 -x315 -x313 -x311 -x309 -x307 -x305
1800.04/1800.65 v -x303 -x301 -x299 -x297 -x295 -x293 -x291 -x289 -x287 -x285 -x283 -x281 -x279 -x277 -x275 -x273 -x271 -x269 -x267 -x265 x263
1800.04/1800.65 v -x261 -x259 -x257 -x255 -x253 -x251 -x249 -x247 -x245 -x243 -x241 -x239 -x237 -x235 -x233 -x231 -x229 -x227 -x225 -x223
1800.04/1800.65 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.65 c Solving Time : 1754.16
1800.04/1800.65 c Original Problem :
1800.04/1800.65 c Problem name : HOME/instance-2663929-1276632944.opb
1800.04/1800.65 c Variables : 7437 (7437 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.65 c Constraints : 23270 initial, 23270 maximal
1800.04/1800.65 c Presolved Problem :
1800.04/1800.65 c Problem name : t_HOME/instance-2663929-1276632944.opb
1800.04/1800.65 c Variables : 3225 (3225 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.65 c Constraints : 13116 initial, 14804 maximal
1800.04/1800.65 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.65 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.65 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.65 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.65 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.65 c implics : 0.00 0 9 0 0 0 0 0 0
1800.04/1800.65 c probing : 0.11 0 0 0 0 0 0 0 0
1800.04/1800.65 c linear : 0.28 597 3606 0 597 0 10154 2 2
1800.04/1800.65 c logicor : 0.10 0 0 0 0 0 0 0 0
1800.04/1800.65 c root node : - 0 - - 0 - - - -
1800.04/1800.65 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.65 c integral : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.65 c logicor : 13116+ 0 3518573 0 3 316616 4973489 0 0 0
1800.04/1800.65 c countsols : 0 0 0 0 3 0 0 0 0 0
1800.04/1800.65 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.65 c integral : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.65 c logicor : 320.88 0.00 320.87 0.00 0.01
1800.04/1800.65 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.65 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.65 c vbounds : 4.08 2 0 0
1800.04/1800.65 c rootredcost : 3.28 0 0 0
1800.04/1800.65 c pseudoobj : 1144.83 5921441 597280 6290915
1800.04/1800.65 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.65 c propagation : 318.17 913896 913896 913896 50.4 32245 30.6 -
1800.04/1800.65 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.65 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.65 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.65 c pseudo solution : 18.49 19899 19899 19899 45.7 1068 34.2 -
1800.04/1800.65 c applied globally : - - - 967108 49.6 - - -
1800.04/1800.65 c applied locally : - - - 0 0.0 - - -
1800.04/1800.65 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.65 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.04/1800.65 c redcost : 0.00 0 0 0 0 0
1800.04/1800.65 c impliedbounds : 0.00 0 0 0 0 0
1800.04/1800.65 c intobj : 0.00 0 0 0 0 0
1800.04/1800.65 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.65 c gomory : 0.00 0 0 0 0 0
1800.04/1800.65 c strongcg : 0.00 0 0 0 0 0
1800.04/1800.65 c cmir : 0.00 0 0 0 0 0
1800.04/1800.65 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.65 c clique : 0.00 0 0 0 0 0
1800.04/1800.65 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.65 c mcf : 0.00 0 0 0 0 0
1800.04/1800.65 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.65 c Pricers : Time Calls Vars
1800.04/1800.65 c problem variables: 0.00 0 0
1800.04/1800.65 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.65 c relpscost : 0.00 0 0 0 0 0 0
1800.04/1800.65 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.65 c inference : 41.34 1468533 0 0 0 0 2937066
1800.04/1800.65 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.65 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.65 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.65 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.65 c random : 0.00 0 0 0 0 0 0
1800.04/1800.65 c Primal Heuristics : Time Calls Found
1800.04/1800.65 c LP solutions : 0.00 - 0
1800.04/1800.65 c pseudo solutions : 0.00 - 3
1800.04/1800.65 c oneopt : 2.16 0 0
1800.04/1800.65 c trivial : 0.02 2 0
1800.04/1800.65 c simplerounding : 0.00 0 0
1800.04/1800.65 c zirounding : 0.00 0 0
1800.04/1800.65 c rounding : 0.00 0 0
1800.04/1800.65 c shifting : 0.00 0 0
1800.04/1800.65 c intshifting : 0.00 0 0
1800.04/1800.65 c twoopt : 0.00 0 0
1800.04/1800.65 c fixandinfer : 0.00 0 0
1800.04/1800.65 c feaspump : 0.00 0 0
1800.04/1800.65 c coefdiving : 0.00 0 0
1800.04/1800.65 c pscostdiving : 0.00 0 0
1800.04/1800.65 c fracdiving : 0.00 0 0
1800.04/1800.65 c veclendiving : 0.00 0 0
1800.04/1800.65 c intdiving : 0.00 0 0
1800.04/1800.65 c actconsdiving : 0.00 0 0
1800.04/1800.65 c objpscostdiving : 0.00 0 0
1800.04/1800.65 c rootsoldiving : 0.00 0 0
1800.04/1800.65 c linesearchdiving : 0.00 0 0
1800.04/1800.65 c guideddiving : 0.00 0 0
1800.04/1800.65 c octane : 0.00 0 0
1800.04/1800.65 c rens : 0.00 0 0
1800.04/1800.65 c rins : 0.00 0 0
1800.04/1800.65 c localbranching : 0.00 0 0
1800.04/1800.65 c mutation : 0.00 0 0
1800.04/1800.65 c crossover : 0.00 0 0
1800.04/1800.65 c dins : 0.00 0 0
1800.04/1800.65 c undercover : 0.00 0 0
1800.04/1800.65 c nlp : 0.85 0 0
1800.04/1800.65 c trysol : 0.95 0 0
1800.04/1800.65 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.65 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.65 c dual LP : 0.00 0 0 0.00 -
1800.04/1800.65 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.65 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.65 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.65 c strong branching : 0.00 0 0 0.00 -
1800.04/1800.65 c (at root node) : - 0 0 0.00 -
1800.04/1800.65 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.65 c B&B Tree :
1800.04/1800.65 c number of runs : 1
1800.04/1800.65 c nodes : 1938650
1800.04/1800.65 c nodes (total) : 1938650
1800.04/1800.65 c nodes left : 571
1800.04/1800.65 c max depth : 628
1800.04/1800.65 c max depth (total): 628
1800.04/1800.65 c backtracks : 542247 (28.0%)
1800.04/1800.65 c delayed cutoffs : 594137
1800.04/1800.65 c repropagations : 1296935 (4942867 domain reductions, 463681 cutoffs)
1800.04/1800.65 c avg switch length: 2.56
1800.04/1800.65 c switching time : 97.38
1800.04/1800.65 c Solution :
1800.04/1800.65 c Solutions found : 3 (3 improvements)
1800.04/1800.65 c First Solution : +3.40000000000000e+01 (in run 1, after 627 nodes, 1.08 seconds, depth 626, found by <relaxation>)
1800.04/1800.65 c Primal Bound : +3.20000000000000e+01 (in run 1, after 41081 nodes, 32.20 seconds, depth 617, found by <relaxation>)
1800.04/1800.65 c Dual Bound : +1.00000000000000e+00
1800.04/1800.65 c Gap : 3100.00 %
1800.04/1800.65 c Root Dual Bound : +1.00000000000000e+00
1800.04/1800.65 c Root Iterations : 0
1800.14/1800.73 c Time complete: 1800.16.
OK 32
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2663929-1276632944/watcher-2663929-1276632944 -o /tmp/evaluation-result-2663929-1276632944/solver-2663929-1276632944 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663929-1276632944.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/106 4506 /proc/meminfo: memFree=1622452/2059040 swapFree=4140260/4192956 [pid=4506] ppid=4504 vsize=5556 CPUtime=0 /proc/4506/stat : 4506 (pbscip.linux.x8) R 4504 4506 3583 0 -1 4202496 888 0 0 0 0 0 0 0 23 0 1 0 38896161 5689344 811 1992294400 4194304 7136930 140735299919744 18446744073709551615 6349764 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/4506/statm: 1389 811 249 719 0 668 0 [startup+0.09891 s] /proc/loadavg: 0.92 0.98 0.99 3/106 4506 /proc/meminfo: memFree=1622452/2059040 swapFree=4140260/4192956 [pid=4506] ppid=4504 vsize=16524 CPUtime=0.09 /proc/4506/stat : 4506 (pbscip.linux.x8) R 4504 4506 3583 0 -1 4202496 3626 0 0 0 8 1 0 0 23 0 1 0 38896161 16920576 3548 1992294400 4194304 7136930 140735299919744 18446744073709551615 5650516 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/4506/statm: 4131 3548 271 719 0 3410 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 16524 [startup+0.100911 s] /proc/loadavg: 0.92 0.98 0.99 3/106 4506 /proc/meminfo: memFree=1622452/2059040 swapFree=4140260/4192956 [pid=4506] ppid=4504 vsize=16524 CPUtime=0.09 /proc/4506/stat : 4506 (pbscip.linux.x8) R 4504 4506 3583 0 -1 4202496 3626 0 0 0 8 1 0 0 23 0 1 0 38896161 16920576 3548 1992294400 4194304 7136930 140735299919744 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/4506/statm: 4131 3548 271 719 0 3410 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 16524 [startup+0.300931 s] /proc/loadavg: 0.92 0.98 0.99 3/106 4506 /proc/meminfo: memFree=1622452/2059040 swapFree=4140260/4192956 [pid=4506] ppid=4504 vsize=21544 CPUtime=0.29 /proc/4506/stat : 4506 (pbscip.linux.x8) R 4504 4506 3583 0 -1 4202496 4883 0 0 0 28 1 0 0 23 0 1 0 38896161 22061056 4805 1992294400 4194304 7136930 140735299919744 18446744073709551615 4214228 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/4506/statm: 5386 4805 271 719 0 4665 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 21544 [startup+0.700976 s] /proc/loadavg: 0.92 0.98 0.99 3/106 4506 /proc/meminfo: memFree=1622452/2059040 swapFree=4140260/4192956 [pid=4506] ppid=4504 vsize=51540 CPUtime=0.69 /proc/4506/stat : 4506 (pbscip.linux.x8) R 4504 4506 3583 0 -1 4202496 12397 0 0 0 63 6 0 0 25 0 1 0 38896161 52776960 11965 1992294400 4194304 7136930 140735299919744 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4506/statm: 12885 11965 343 719 0 12164 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 51540 [startup+1.50106 s] /proc/loadavg: 0.93 0.98 0.99 2/107 4507 /proc/meminfo: memFree=1569248/2059040 swapFree=4140260/4192956 [pid=4506] ppid=4504 vsize=59124 CPUtime=1.48 /proc/4506/stat : 4506 (pbscip.linux.x8) R 4504 4506 3583 0 -1 4202496 16587 0 0 0 136 12 0 0 25 0 1 0 38896161 60542976 13968 1992294400 4194304 7136930 140735299919744 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4506/statm: 14781 13968 384 719 0 14060 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 59124 [startup+3.10124 s] /proc/loadavg: 0.93 0.98 0.99 2/107 4507 /proc/meminfo: memFree=1567512/2059040 swapFree=4140260/4192956 [pid=4506] ppid=4504 vsize=59256 CPUtime=3.09 /proc/4506/stat : 4506 (pbscip.linux.x8) R 4504 4506 3583 0 -1 4202496 16642 0 0 0 292 17 0 0 25 0 1 0 38896161 60678144 14023 1992294400 4194304 7136930 140735299919744 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4506/statm: 14814 14023 390 719 0 14093 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 59256 [startup+6.30159 s] /proc/loadavg: 0.93 0.98 0.99 2/107 4507 /proc/meminfo: memFree=1567388/2059040 swapFree=4140260/4192956 [pid=4506] ppid=4504 vsize=59388 CPUtime=6.29 /proc/4506/stat : 4506 (pbscip.linux.x8) R 4504 4506 3583 0 -1 4202496 16664 0 0 0 602 27 0 0 25 0 1 0 38896161 60813312 14045 1992294400 4194304 7136930 140735299919744 18446744073709551615 4240492 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4506/statm: 14847 14045 390 719 0 14126 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 59388 [startup+12.7013 s] /proc/loadavg: 0.94 0.98 0.99 2/107 4507 /proc/meminfo: memFree=1567140/2059040 swapFree=4140260/4192956 [pid=4506] ppid=4504 vsize=59524 CPUtime=12.69 /proc/4506/stat : 4506 (pbscip.linux.x8) R 4504 4506 3583 0 -1 4202496 16712 0 0 0 1224 45 0 0 25 0 1 0 38896161 60952576 14093 1992294400 4194304 7136930 140735299919744 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4506/statm: 14881 14093 390 719 0 14160 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 59524 [startup+25.5007 s] /proc/loadavg: 0.95 0.98 0.99 2/107 4509 /proc/meminfo: memFree=1567140/2059040 swapFree=4140260/4192956 [pid=4506] ppid=4504 vsize=59668 CPUtime=25.49 /proc/4506/stat : 4506 (pbscip.linux.x8) R 4504 4506 3583 0 -1 4202496 16733 0 0 0 2470 79 0 0 25 0 1 0 38896161 61100032 14114 1992294400 4194304 7136930 140735299919744 18446744073709551615 5507220 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4506/statm: 14917 14114 390 719 0 14196 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 59668 [startup+51.1005 s] /proc/loadavg: 0.96 0.98 0.99 2/107 4509 /proc/meminfo: memFree=1566892/2059040 swapFree=4140260/4192956 [pid=4506] ppid=4504 vsize=59800 CPUtime=51.07 /proc/4506/stat : 4506 (pbscip.linux.x8) R 4504 4506 3583 0 -1 4202496 16781 0 0 0 4959 148 0 0 25 0 1 0 38896161 61235200 14162 1992294400 4194304 7136930 140735299919744 18446744073709551615 5909879 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4506/statm: 14950 14162 390 719 0 14229 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 59800 [startup+102.308 s] /proc/loadavg: 0.98 0.98 0.99 2/107 4511 /proc/meminfo: memFree=1566644/2059040 swapFree=4140260/4192956 [pid=4506] ppid=4504 vsize=59932 CPUtime=102.27 /proc/4506/stat : 4506 (pbscip.linux.x8) R 4504 4506 3583 0 -1 4202496 16809 0 0 0 9949 278 0 0 25 0 1 0 38896161 61370368 14190 1992294400 4194304 7136930 140735299919744 18446744073709551615 5506155 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4506/statm: 14983 14190 390 719 0 14262 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 59932 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 4511 /proc/meminfo: memFree=1566272/2059040 swapFree=4140260/4192956 [pid=4506] ppid=4504 vsize=60080 CPUtime=162.23 /proc/4506/stat : 4506 (pbscip.linux.x8) R 4504 4506 3583 0 -1 4202496 16839 0 0 0 15795 428 0 0 25 0 1 0 38896161 61521920 14220 1992294400 4194304 7136930 140735299919744 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4506/statm: 15020 14220 390 719 0 14299 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 60080 [startup+222.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 4513 /proc/meminfo: memFree=1566272/2059040 swapFree=4140260/4192956 [pid=4506] ppid=4504 vsize=60080 CPUtime=222.22 /proc/4506/stat : 4506 (pbscip.linux.x8) R 4504 4506 3583 0 -1 4202496 16849 0 0 0 21638 584 0 0 25 0 1 0 38896161 61521920 14230 1992294400 4194304 7136930 140735299919744 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4506/statm: 15020 14230 390 719 0 14299 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 60080 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 4515 /proc/meminfo: memFree=1566148/2059040 swapFree=4140260/4192956 [pid=4506] ppid=4504 vsize=60080 CPUtime=282.2 /proc/4506/stat : 4506 (pbscip.linux.x8) R 4504 4506 3583 0 -1 4202496 16853 0 0 0 27486 734 0 0 25 0 1 0 38896161 61521920 14234 1992294400 4194304 7136930 140735299919744 18446744073709551615 5507853 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4506/statm: 15020 14234 390 719 0 14299 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 60080 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 4517 /proc/meminfo: memFree=1565900/2059040 swapFree=4140260/4192956 [pid=4506] ppid=4504 vsize=60412 CPUtime=342.18 /proc/4506/stat : 4506 (pbscip.linux.x8) R 4504 4506 3583 0 -1 4202496 16932 0 0 0 33331 887 0 0 25 0 1 0 38896161 61861888 14313 1992294400 4194304 7136930 140735299919744 18446744073709551615 4648638 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4506/statm: 15103 14313 390 719 0 14382 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 60412 [startup+402.3 s] /proc/loadavg: 1.04 1.00 1.00 2/107 4519 /proc/meminfo: memFree=1565776/2059040 swapFree=4140260/4192956 [pid=4506] ppid=4504 vsize=60412 CPUtime=402.16 /proc/4506/stat : 4506 (pbscip.linux.x8) R 4504 4506 3583 0 -1 4202496 16941 0 0 0 39173 1043 0 0 25 0 1 0 38896161 61861888 14322 1992294400 4194304 7136930 140735299919744 18446744073709551615 5919179 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4506/statm: 15103 14322 390 719 0 14382 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 60412 [startup+462.301 s] /proc/loadavg: 1.01 1.00 1.00 2/107 4519 /proc/meminfo: memFree=1565652/2059040 swapFree=4140260/4192956 [pid=4506] ppid=4504 vsize=60544 CPUtime=462.14 /proc/4506/stat : 4506 (pbscip.linux.x8) R 4504 4506 3583 0 -1 4202496 16946 0 0 0 45015 1199 0 0 25 0 1 0 38896161 61997056 14327 1992294400 4194304 7136930 140735299919744 18446744073709551615 5507358 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4506/statm: 15136 14327 390 719 0 14415 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 60544 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4521 /proc/meminfo: memFree=1565280/2059040 swapFree=4140260/4192956 [pid=4506] ppid=4504 vsize=60820 CPUtime=522.13 /proc/4506/stat : 4506 (pbscip.linux.x8) R 4504 4506 3583 0 -1 4202496 17017 0 0 0 50861 1352 0 0 25 0 1 0 38896161 62279680 14398 1992294400 4194304 7136930 140735299919744 18446744073709551615 5917781 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4506/statm: 15205 14398 390 719 0 14484 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 60820 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4523 /proc/meminfo: memFree=1565156/2059040 swapFree=4140260/4192956 [pid=4506] ppid=4504 vsize=60820 CPUtime=582.11 /proc/4506/stat : 4506 (pbscip.linux.x8) R 4504 4506 3583 0 -1 4202496 17028 0 0 0 56713 1498 0 0 25 0 1 0 38896161 62279680 14409 1992294400 4194304 7136930 140735299919744 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4506/statm: 15205 14409 390 719 0 14484 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 60820 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4525 /proc/meminfo: memFree=1565032/2059040 swapFree=4140260/4192956 [pid=4506] ppid=4504 vsize=60820 CPUtime=642.1 /proc/4506/stat : 4506 (pbscip.linux.x8) R 4504 4506 3583 0 -1 4202496 17035 0 0 0 62554 1656 0 0 25 0 1 0 38896161 62279680 14416 1992294400 4194304 7136930 140735299919744 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4506/statm: 15205 14416 390 719 0 14484 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 60820 [startup+702.301 s] ################ # More data... # ################ [startup+882.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4531 /proc/meminfo: memFree=1564660/2059040 swapFree=4140260/4192956 [pid=4506] ppid=4504 vsize=60956 CPUtime=882.02 /proc/4506/stat : 4506 (pbscip.linux.x8) R 4504 4506 3583 0 -1 4202496 17057 0 0 0 85959 2243 0 0 25 0 1 0 38896161 62418944 14438 1992294400 4194304 7136930 140735299919744 18446744073709551615 5507443 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4506/statm: 15239 14438 390 719 0 14518 0 Current children cumulated CPU time (s) 882.02 Current children cumulated vsize (KiB) 60956 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4533 /proc/meminfo: memFree=1564536/2059040 swapFree=4140260/4192956 [pid=4506] ppid=4504 vsize=60956 CPUtime=942 /proc/4506/stat : 4506 (pbscip.linux.x8) R 4504 4506 3583 0 -1 4202496 17057 0 0 0 91803 2397 0 0 25 0 1 0 38896161 62418944 14438 1992294400 4194304 7136930 140735299919744 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4506/statm: 15239 14438 390 719 0 14518 0 Current children cumulated CPU time (s) 942 Current children cumulated vsize (KiB) 60956 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4535 /proc/meminfo: memFree=1564536/2059040 swapFree=4140260/4192956 [pid=4506] ppid=4504 vsize=60956 CPUtime=1001.98 /proc/4506/stat : 4506 (pbscip.linux.x8) R 4504 4506 3583 0 -1 4202496 17057 0 0 0 97652 2546 0 0 25 0 1 0 38896161 62418944 14438 1992294400 4194304 7136930 140735299919744 18446744073709551615 5507381 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4506/statm: 15239 14438 390 719 0 14518 0 Current children cumulated CPU time (s) 1001.98 Current children cumulated vsize (KiB) 60956 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4535 /proc/meminfo: memFree=1564412/2059040 swapFree=4140260/4192956 [pid=4506] ppid=4504 vsize=60956 CPUtime=1061.96 /proc/4506/stat : 4506 (pbscip.linux.x8) R 4504 4506 3583 0 -1 4202496 17057 0 0 0 103499 2697 0 0 25 0 1 0 38896161 62418944 14438 1992294400 4194304 7136930 140735299919744 18446744073709551615 5507352 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4506/statm: 15239 14438 390 719 0 14518 0 Current children cumulated CPU time (s) 1061.96 Current children cumulated vsize (KiB) 60956 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4537 /proc/meminfo: memFree=1564288/2059040 swapFree=4140260/4192956 [pid=4506] ppid=4504 vsize=60956 CPUtime=1121.94 /proc/4506/stat : 4506 (pbscip.linux.x8) R 4504 4506 3583 0 -1 4202496 17066 0 0 0 109339 2855 0 0 25 0 1 0 38896161 62418944 14447 1992294400 4194304 7136930 140735299919744 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4506/statm: 15239 14447 390 719 0 14518 0 Current children cumulated CPU time (s) 1121.94 Current children cumulated vsize (KiB) 60956 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4539 /proc/meminfo: memFree=1564164/2059040 swapFree=4140260/4192956 [pid=4506] ppid=4504 vsize=61088 CPUtime=1181.92 /proc/4506/stat : 4506 (pbscip.linux.x8) R 4504 4506 3583 0 -1 4202496 17089 0 0 0 115188 3004 0 0 25 0 1 0 38896161 62554112 14470 1992294400 4194304 7136930 140735299919744 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4506/statm: 15272 14470 390 719 0 14551 0 Current children cumulated CPU time (s) 1181.92 Current children cumulated vsize (KiB) 61088 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4541 /proc/meminfo: memFree=1564040/2059040 swapFree=4140260/4192956 [pid=4506] ppid=4504 vsize=61088 CPUtime=1241.9 /proc/4506/stat : 4506 (pbscip.linux.x8) R 4504 4506 3583 0 -1 4202496 17092 0 0 0 121036 3154 0 0 25 0 1 0 38896161 62554112 14473 1992294400 4194304 7136930 140735299919744 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4506/statm: 15272 14473 390 719 0 14551 0 Current children cumulated CPU time (s) 1241.9 Current children cumulated vsize (KiB) 61088 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4543 /proc/meminfo: memFree=1563916/2059040 swapFree=4140260/4192956 [pid=4506] ppid=4504 vsize=61088 CPUtime=1301.89 /proc/4506/stat : 4506 (pbscip.linux.x8) R 4504 4506 3583 0 -1 4202496 17093 0 0 0 126892 3297 0 0 25 0 1 0 38896161 62554112 14474 1992294400 4194304 7136930 140735299919744 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4506/statm: 15272 14474 390 719 0 14551 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 61088 [startup+1362.3 s] /proc/loadavg: 1.06 1.02 1.00 2/107 4543 /proc/meminfo: memFree=1563916/2059040 swapFree=4140260/4192956 [pid=4506] ppid=4504 vsize=61088 CPUtime=1361.87 /proc/4506/stat : 4506 (pbscip.linux.x8) R 4504 4506 3583 0 -1 4202496 17096 0 0 0 132736 3451 0 0 25 0 1 0 38896161 62554112 14477 1992294400 4194304 7136930 140735299919744 18446744073709551615 4212307 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4506/statm: 15272 14477 390 719 0 14551 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 61088 [startup+1422.31 s] /proc/loadavg: 1.02 1.01 1.00 2/107 4545 /proc/meminfo: memFree=1563916/2059040 swapFree=4140260/4192956 [pid=4506] ppid=4504 vsize=61088 CPUtime=1421.85 /proc/4506/stat : 4506 (pbscip.linux.x8) R 4504 4506 3583 0 -1 4202496 17104 0 0 0 138584 3601 0 0 25 0 1 0 38896161 62554112 14485 1992294400 4194304 7136930 140735299919744 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4506/statm: 15272 14485 390 719 0 14551 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 61088 [startup+1482.3 s] /proc/loadavg: 1.01 1.00 1.00 2/107 4547 /proc/meminfo: memFree=1563792/2059040 swapFree=4140260/4192956 [pid=4506] ppid=4504 vsize=61224 CPUtime=1481.83 /proc/4506/stat : 4506 (pbscip.linux.x8) R 4504 4506 3583 0 -1 4202496 17117 0 0 0 144437 3746 0 0 25 0 1 0 38896161 62693376 14498 1992294400 4194304 7136930 140735299919744 18446744073709551615 5906008 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4506/statm: 15306 14498 390 719 0 14585 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 61224 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4549 /proc/meminfo: memFree=1563668/2059040 swapFree=4140260/4192956 [pid=4506] ppid=4504 vsize=61224 CPUtime=1541.81 /proc/4506/stat : 4506 (pbscip.linux.x8) R 4504 4506 3583 0 -1 4202496 17117 0 0 0 150284 3897 0 0 25 0 1 0 38896161 62693376 14498 1992294400 4194304 7136930 140735299919744 18446744073709551615 5506180 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4506/statm: 15306 14498 390 719 0 14585 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 61224 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4551 /proc/meminfo: memFree=1563668/2059040 swapFree=4140260/4192956 [pid=4506] ppid=4504 vsize=61224 CPUtime=1601.79 /proc/4506/stat : 4506 (pbscip.linux.x8) R 4504 4506 3583 0 -1 4202496 17120 0 0 0 156130 4049 0 0 25 0 1 0 38896161 62693376 14501 1992294400 4194304 7136930 140735299919744 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4506/statm: 15306 14501 390 719 0 14585 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 61224 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4551 /proc/meminfo: memFree=1563668/2059040 swapFree=4140260/4192956 [pid=4506] ppid=4504 vsize=61224 CPUtime=1661.77 /proc/4506/stat : 4506 (pbscip.linux.x8) R 4504 4506 3583 0 -1 4202496 17129 0 0 0 161973 4204 0 0 25 0 1 0 38896161 62693376 14510 1992294400 4194304 7136930 140735299919744 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4506/statm: 15306 14510 390 719 0 14585 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 61224 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4553 /proc/meminfo: memFree=1563420/2059040 swapFree=4140260/4192956 [pid=4506] ppid=4504 vsize=61224 CPUtime=1721.75 /proc/4506/stat : 4506 (pbscip.linux.x8) R 4504 4506 3583 0 -1 4202496 17136 0 0 0 167820 4355 0 0 25 0 1 0 38896161 62693376 14517 1992294400 4194304 7136930 140735299919744 18446744073709551615 4652878 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4506/statm: 15306 14517 390 719 0 14585 0 Current children cumulated CPU time (s) 1721.75 Current children cumulated vsize (KiB) 61224 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4555 /proc/meminfo: memFree=1563172/2059040 swapFree=4140260/4192956 [pid=4506] ppid=4504 vsize=61224 CPUtime=1781.73 /proc/4506/stat : 4506 (pbscip.linux.x8) R 4504 4506 3583 0 -1 4202496 17136 0 0 0 173673 4500 0 0 25 0 1 0 38896161 62693376 14517 1992294400 4194304 7136930 140735299919744 18446744073709551615 5507431 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4506/statm: 15306 14517 390 719 0 14585 0 Current children cumulated CPU time (s) 1781.73 Current children cumulated vsize (KiB) 61224 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4555 /proc/meminfo: memFree=1563172/2059040 swapFree=4140260/4192956 [pid=4506] ppid=4504 vsize=61224 CPUtime=1800.04 /proc/4506/stat : 4506 (pbscip.linux.x8) R 4504 4506 3583 0 -1 4202496 17136 0 0 0 175455 4549 0 0 25 0 1 0 38896161 62693376 14517 1992294400 4194304 7136930 140735299919744 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4506/statm: 15306 14517 390 719 0 14585 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 61224 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.72 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4555 /proc/meminfo: memFree=1563172/2059040 swapFree=4140260/4192956 [pid=4506] ppid=4504 vsize=34424 CPUtime=1800.14 /proc/4506/stat : 4506 (pbscip.linux.x8) R 4504 4506 3583 0 -1 4202496 17157 0 0 0 175464 4550 0 0 18 0 1 0 38896161 35250176 8041 1992294400 4194304 7136930 140735299919744 18446744073709551615 6168345 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/4506/statm: 8606 8041 396 719 0 7885 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (KiB) 34424 Child status: 0 Real time (s): 1800.74 CPU time (s): 1800.17 CPU user time (s): 1754.66 CPU system time (s): 45.5061 CPU usage (%): 99.9683 Max. virtual memory (cumulated for all children) (KiB): 61224 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1754.66 system time used= 45.5061 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 17164 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= 3760 runsolver used 2.83957 second user time and 8.66468 second system time The end
Begin job on node009 at 2010-06-15 22:15:44 IDJOB=2663929 IDBENCH=24984 IDSOLVER=1167 FILE ID=node009/2663929-1276632944 PBS_JOBID= 11172344 Free space on /tmp= 62556 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_019_area_delay.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2663929-1276632944/watcher-2663929-1276632944 -o /tmp/evaluation-result-2663929-1276632944/solver-2663929-1276632944 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663929-1276632944.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 0b594d74f3df9901bfa97fac996b1847 RANDOM SEED=671767836 node009.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.199 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.39 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.199 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.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1623104 kB Buffers: 131812 kB Cached: 220832 kB SwapCached: 6532 kB Active: 121020 kB Inactive: 245264 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1623104 kB SwapTotal: 4192956 kB SwapFree: 4140260 kB Dirty: 3900 kB Writeback: 0 kB AnonPages: 11556 kB Mapped: 13016 kB Slab: 47980 kB PageTables: 4032 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180912 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62552 MiB End job on node009 at 2010-06-15 22:45:47