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.21 | 1800.74 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_022_area_delay.opb |
| MD5SUM | 8e8463c13e61e1a22058cdf603119640 |
| 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 | 26 |
| Best CPU time to get the best result obtained on this benchmark | 8.60369 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 26 |
| Optimality of the best value was proved | YES |
| Number of variables | 7926 |
| Total number of constraints | 23835 |
| Number of constraints which are clauses | 23835 |
| 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 | 3885 |
| 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 | 3885 |
| 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 | 3885 |
| 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-2663943-1276636351.opb>
0.40/0.43 c original problem has 7926 variables (7926 bin, 0 int, 0 impl, 0 cont) and 23835 constraints
0.40/0.43 c problem read
0.40/0.43 c presolving settings loaded
0.40/0.43 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.56 c presolving:
0.69/0.79 c (round 1) 4432 del vars, 8238 del conss, 617 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 38340 impls, 0 clqs
0.79/0.82 c (round 2) 4434 del vars, 9581 del conss, 617 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 38340 impls, 0 clqs
0.89/0.98 c (round 3) 4434 del vars, 9585 del conss, 617 chg bounds, 0 chg sides, 0 chg coeffs, 14236 upgd conss, 38340 impls, 0 clqs
0.99/1.02 c (round 4) 4434 del vars, 9585 del conss, 617 chg bounds, 0 chg sides, 0 chg coeffs, 14250 upgd conss, 38340 impls, 0 clqs
1.10/1.17 c (0.7s) probing: 101/3492 (2.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.10/1.17 c (0.7s) probing aborted: 100/100 successive totally useless probings
1.10/1.18 c presolving (5 rounds):
1.10/1.18 c 4434 deleted vars, 9585 deleted constraints, 617 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.10/1.18 c 38340 implications, 0 cliques
1.10/1.18 c presolved problem has 3492 variables (3492 bin, 0 int, 0 impl, 0 cont) and 14250 constraints
1.10/1.18 c 14250 constraints of type <logicor>
1.10/1.18 c transformed objective value is always integral (scale: 1)
1.10/1.18 c Presolving Time: 0.59
1.10/1.18 c - non default parameters ----------------------------------------------------------------------
1.10/1.18 c # SCIP version 1.2.1.2
1.10/1.18 c
1.10/1.18 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
1.10/1.18 c # [type: int, range: [-1,2147483647], default: -1]
1.10/1.18 c conflict/interconss = 0
1.10/1.18 c
1.10/1.18 c # should binary conflicts be preferred?
1.10/1.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.18 c conflict/preferbinary = TRUE
1.10/1.18 c
1.10/1.18 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
1.10/1.18 c # [type: int, range: [-1,2147483647], default: 0]
1.10/1.18 c constraints/agelimit = 1
1.10/1.18 c
1.10/1.18 c # should enforcement of pseudo solution be disabled?
1.10/1.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.18 c constraints/disableenfops = TRUE
1.10/1.18 c
1.10/1.18 c # frequency for displaying node information lines
1.10/1.18 c # [type: int, range: [-1,2147483647], default: 100]
1.10/1.18 c display/freq = 10000
1.10/1.18 c
1.10/1.18 c # maximal time in seconds to run
1.10/1.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.10/1.18 c limits/time = 1799.58
1.10/1.18 c
1.10/1.18 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.10/1.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.10/1.18 c limits/memory = 1620
1.10/1.18 c
1.10/1.18 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
1.10/1.18 c # [type: int, range: [-1,2147483647], default: 1]
1.10/1.18 c lp/solvefreq = -1
1.10/1.18 c
1.10/1.18 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.18 c # [type: char, range: {lafpsqd}, default: l]
1.10/1.18 c lp/pricing = a
1.10/1.18 c
1.10/1.18 c # should presolving try to simplify inequalities
1.10/1.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.18 c constraints/linear/simplifyinequalities = TRUE
1.10/1.18 c
1.10/1.18 c # should presolving try to simplify knapsacks
1.10/1.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.18 c constraints/knapsack/simplifyinequalities = TRUE
1.10/1.18 c
1.10/1.18 c # priority of node selection rule <dfs> in standard mode
1.10/1.18 c # [type: int, range: [-536870912,536870911], default: 0]
1.10/1.18 c nodeselection/dfs/stdpriority = 1000000
1.10/1.18 c
1.10/1.18 c -----------------------------------------------------------------------------------------------
1.10/1.18 c start solving
1.10/1.18 c
1.10/1.19 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.19 c 0.7s| 1 | 2 | 0 | - | 29M| 0 | - |3492 | 14k| 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | -- | Inf
1.69/1.78 o 34
1.69/1.78 c * 1.2s| 682 | 672 | 0 | 0.0 | 30M| 681 | - |3492 | 14k| 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | 3.400000e+01 |3300.00%
1.69/1.79 o 33
1.69/1.79 c * 1.3s| 703 | 671 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 2 | 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
10.90/10.93 c 10.2s| 10000 | 654 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 |5423 | 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
19.79/19.89 c 18.9s| 20000 | 646 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 10k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
29.58/29.70 c 28.4s| 30000 | 652 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 16k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
39.67/39.70 c 38.2s| 40000 | 649 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 22k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
49.48/49.55 c 47.8s| 50000 | 647 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 27k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
59.38/59.43 c 57.5s| 60000 | 645 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 33k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
69.27/69.34 c 67.1s| 70000 | 652 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 38k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
79.17/79.22 c 76.8s| 80000 | 647 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 44k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
88.76/88.89 c 86.2s| 90000 | 643 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 49k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
98.06/98.12 c 95.2s|100000 | 649 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 55k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
106.85/106.93 c 104s|110000 | 646 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 60k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
115.95/116.04 c 113s|120000 | 646 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 65k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
124.65/124.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
124.65/124.76 c 121s|130000 | 643 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 70k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
134.55/134.61 c 131s|140000 | 646 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 75k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
144.45/144.55 c 140s|150000 | 648 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 81k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
154.34/154.41 c 150s|160000 | 655 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 86k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
164.84/164.99 c 160s|170000 | 652 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 92k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
175.44/175.53 c 171s|180000 | 650 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 97k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
185.13/185.26 c 180s|190000 | 651 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 103k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
194.53/194.67 c 189s|200000 | 646 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 108k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
204.22/204.32 c 199s|210000 | 650 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 114k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
213.72/213.84 c 208s|220000 | 644 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 120k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
223.92/224.05 c 218s|230000 | 649 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 125k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
233.32/233.43 c 227s|240000 | 648 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 131k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
242.81/242.99 c 237s|250000 | 648 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 136k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
251.91/252.06 c 245s|260000 | 648 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 142k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
261.71/261.80 c 255s|270000 | 646 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 147k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
271.61/271.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
271.61/271.72 c 265s|280000 | 649 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 153k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
281.80/281.91 c 274s|290000 | 646 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 159k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
291.10/291.21 c 284s|300000 | 649 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 164k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
300.30/300.46 c 293s|310000 | 645 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 169k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
309.69/309.89 c 302s|320000 | 643 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 174k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
319.49/319.66 c 311s|330000 | 645 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 180k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
328.70/328.83 c 320s|340000 | 644 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 185k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
337.88/338.09 c 329s|350000 | 648 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 190k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
347.39/347.59 c 339s|360000 | 646 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 196k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
357.58/357.71 c 348s|370000 | 647 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 201k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
367.88/368.07 c 359s|380000 | 648 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 206k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
377.77/377.95 c 368s|390000 | 644 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 211k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
387.67/387.81 c 378s|400000 | 646 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 217k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
397.37/397.56 c 387s|410000 | 646 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 222k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
407.16/407.33 c 397s|420000 | 648 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 227k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
417.16/417.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
417.16/417.37 c 407s|430000 | 643 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 232k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
427.06/427.24 c 416s|440000 | 644 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 238k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
437.16/437.34 c 426s|450000 | 647 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 243k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
447.76/447.92 c 436s|460000 | 643 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 248k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
457.75/457.96 c 446s|470000 | 644 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 254k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
467.65/467.89 c 456s|480000 | 649 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 259k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
477.15/477.35 c 465s|490000 | 648 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 264k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
487.15/487.35 c 475s|500000 | 646 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 270k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
497.24/497.42 c 485s|510000 | 650 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 275k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
506.94/507.19 c 494s|520000 | 642 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 280k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
517.23/517.40 c 504s|530000 | 648 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 286k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
527.23/527.50 c 514s|540000 | 648 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 291k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
537.83/538.07 c 524s|550000 | 640 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 296k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
547.22/547.47 c 534s|560000 | 646 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 302k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
556.72/556.91 c 543s|570000 | 649 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 307k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
565.71/565.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
565.71/565.94 c 552s|580000 | 646 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 312k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
575.13/575.33 c 561s|590000 | 649 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 318k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
584.61/584.89 c 570s|600000 | 646 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 323k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
594.31/594.58 c 580s|610000 | 642 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 328k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
604.51/604.70 c 589s|620000 | 647 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 333k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
614.31/614.52 c 599s|630000 | 650 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 338k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
624.00/624.21 c 608s|640000 | 643 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 344k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
633.90/634.10 c 618s|650000 | 646 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 349k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
644.10/644.38 c 628s|660000 | 644 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 355k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
654.20/654.41 c 638s|670000 | 648 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 360k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
664.19/664.49 c 648s|680000 | 647 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 366k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
674.68/674.93 c 658s|690000 | 643 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 371k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
684.49/684.70 c 667s|700000 | 648 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 377k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
694.69/694.96 c 678s|710000 | 648 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 382k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
704.98/705.26 c 688s|720000 | 648 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 387k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
715.68/715.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
715.68/715.92 c 698s|730000 | 646 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 393k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
725.68/725.94 c 708s|740000 | 643 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 398k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
735.37/735.66 c 717s|750000 | 643 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 404k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
745.06/745.33 c 727s|760000 | 645 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 409k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
754.77/755.05 c 736s|770000 | 643 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 414k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
765.06/765.34 c 746s|780000 | 644 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 419k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
775.56/775.85 c 756s|790000 | 641 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 425k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
785.65/785.97 c 766s|800000 | 641 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 430k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
796.15/796.48 c 777s|810000 | 651 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 436k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
806.25/806.51 c 786s|820000 | 642 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 441k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
816.64/816.96 c 797s|830000 | 650 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 447k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
827.44/827.79 c 807s|840000 | 642 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 452k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
837.64/837.96 c 817s|850000 | 644 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 457k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
847.44/847.72 c 827s|860000 | 648 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 463k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
857.64/857.95 c 837s|870000 | 648 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 469k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
867.83/868.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
867.83/868.18 c 847s|880000 | 645 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 474k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
877.53/877.82 c 856s|890000 | 642 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 479k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
887.93/888.23 c 866s|900000 | 644 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 485k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
898.63/898.94 c 877s|910000 | 646 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 490k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
908.72/909.02 c 887s|920000 | 644 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 496k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
920.02/920.33 c 898s|930000 | 639 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 502k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
930.41/930.70 c 908s|940000 | 648 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 507k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
940.41/940.79 c 918s|950000 | 650 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 512k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
950.50/950.88 c 927s|960000 | 644 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 518k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
960.50/960.85 c 937s|970000 | 645 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 523k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
970.80/971.16 c 947s|980000 | 643 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 529k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
980.90/981.29 c 957s|990000 | 644 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 534k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
990.60/990.91 c 966s| 1000k| 643 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 539k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1000.19/1000.56 c 976s| 1010k| 649 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 545k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1010.09/1010.45 c 986s| 1020k| 645 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 550k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1020.18/1020.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1020.18/1020.58 c 995s| 1030k| 647 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 555k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1030.08/1030.45 c 1005s| 1040k| 642 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 560k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1039.98/1040.31 c 1015s| 1050k| 639 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 566k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1049.47/1049.86 c 1024s| 1060k| 644 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 571k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1059.18/1059.55 c 1033s| 1070k| 646 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 576k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1068.67/1069.07 c 1043s| 1080k| 641 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 581k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1078.67/1079.10 c 1053s| 1090k| 640 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 586k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1088.76/1089.14 c 1062s| 1100k| 651 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 592k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1099.36/1099.73 c 1073s| 1110k| 645 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 597k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1109.85/1110.28 c 1083s| 1120k| 649 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 603k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1120.36/1120.79 c 1093s| 1130k| 645 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 608k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1131.35/1131.78 c 1104s| 1140k| 646 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 614k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1141.05/1141.46 c 1113s| 1150k| 643 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 619k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1150.65/1151.01 c 1123s| 1160k| 643 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 624k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1160.83/1161.24 c 1133s| 1170k| 647 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 630k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1170.54/1170.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1170.54/1170.95 c 1142s| 1180k| 645 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 635k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1181.44/1181.85 c 1153s| 1190k| 644 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 641k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1191.83/1192.26 c 1163s| 1200k| 647 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 646k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1202.53/1202.90 c 1173s| 1210k| 639 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 652k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1213.12/1213.57 c 1184s| 1220k| 647 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 657k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1223.83/1224.23 c 1194s| 1230k| 643 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 662k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1234.32/1234.73 c 1205s| 1240k| 642 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 668k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1244.92/1245.35 c 1215s| 1250k| 646 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 673k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1255.02/1255.41 c 1225s| 1260k| 646 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 679k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1265.61/1266.00 c 1235s| 1270k| 642 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 684k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1275.71/1276.19 c 1245s| 1280k| 648 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 690k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1285.41/1285.90 c 1255s| 1290k| 642 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 695k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1295.41/1295.85 c 1264s| 1300k| 642 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 701k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1305.30/1305.78 c 1274s| 1310k| 644 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 706k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1315.89/1316.34 c 1284s| 1320k| 644 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 712k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1326.20/1326.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1326.20/1326.61 c 1294s| 1330k| 642 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 717k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1336.49/1336.98 c 1304s| 1340k| 645 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 723k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1346.99/1347.47 c 1315s| 1350k| 644 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 728k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1357.49/1357.92 c 1325s| 1360k| 640 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 734k| 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
1358.78/1359.23 o 32
1358.78/1359.23 c *1326s| 1361k| 663 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 734k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1367.68/1368.18 c 1335s| 1370k| 649 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 739k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1377.68/1378.16 c 1345s| 1380k| 641 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 744k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1387.87/1388.31 c 1355s| 1390k| 642 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 750k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1398.47/1398.94 c 1365s| 1400k| 649 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 755k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1409.27/1409.71 c 1375s| 1410k| 643 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 761k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1419.87/1420.39 c 1386s| 1420k| 645 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 766k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1430.57/1431.09 c 1396s| 1430k| 639 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 772k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1441.85/1442.38 c 1407s| 1440k| 642 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 777k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1452.45/1452.96 c 1418s| 1450k| 648 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 783k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1463.35/1463.90 c 1428s| 1460k| 642 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 788k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1474.56/1475.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1474.56/1475.09 c 1439s| 1470k| 644 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 794k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1485.44/1485.91 c 1450s| 1480k| 638 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 800k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1496.34/1496.80 c 1461s| 1490k| 644 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 805k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1506.84/1507.37 c 1471s| 1500k| 639 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 811k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1517.64/1518.12 c 1481s| 1510k| 644 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 817k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1528.04/1528.59 c 1492s| 1520k| 643 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 822k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1539.03/1539.53 c 1502s| 1530k| 643 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 828k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1549.53/1550.09 c 1513s| 1540k| 638 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 833k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1560.22/1560.70 c 1523s| 1550k| 646 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 839k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1570.62/1571.18 c 1533s| 1560k| 645 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 844k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1581.23/1581.78 c 1544s| 1570k| 641 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 850k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1591.62/1592.20 c 1554s| 1580k| 645 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 855k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1602.22/1602.77 c 1564s| 1590k| 639 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 861k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1613.01/1613.50 c 1575s| 1600k| 647 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 866k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1623.60/1624.12 c 1585s| 1610k| 638 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 872k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1633.70/1634.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1633.70/1634.24 c 1595s| 1620k| 644 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 877k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1644.10/1644.65 c 1605s| 1630k| 637 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 883k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1654.49/1655.09 c 1615s| 1640k| 651 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 888k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1664.59/1665.18 c 1625s| 1650k| 643 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 893k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1674.39/1674.93 c 1635s| 1660k| 645 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 899k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1684.48/1685.04 c 1644s| 1670k| 642 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 904k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1695.19/1695.78 c 1655s| 1680k| 640 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 909k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1705.18/1705.75 c 1665s| 1690k| 649 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 914k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1715.28/1715.88 c 1675s| 1700k| 646 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 920k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1725.28/1725.88 c 1684s| 1710k| 640 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 925k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1735.47/1736.04 c 1694s| 1720k| 640 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 930k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1745.27/1745.85 c 1704s| 1730k| 639 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 936k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1755.37/1755.91 c 1714s| 1740k| 639 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 941k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1765.66/1766.21 c 1724s| 1750k| 646 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 947k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1775.87/1776.45 c 1734s| 1760k| 641 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 952k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1786.66/1787.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1786.66/1787.20 c 1744s| 1770k| 641 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 958k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1796.77/1797.34 c 1754s| 1780k| 638 | 0 | 0.0 | 30M| 689 | - |3492 | 14k| 0 | 0 | 0 | 963k| 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
1800.07/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.07/1800.61 c
1800.07/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.61 c Solving Time (sec) : 1757.31
1800.07/1800.61 c Solving Nodes : 1783014
1800.07/1800.61 c Primal Bound : +3.20000000000000e+01 (3 solutions)
1800.07/1800.61 c Dual Bound : +1.00000000000000e+00
1800.07/1800.61 c Gap : 3100.00 %
1800.07/1800.65 s SATISFIABLE
1800.07/1800.65 v x235 -x234 x7923 -x7921 x233 -x7918 -x7916 -x232 -x7914 -x7912 -x7910 -x231 -x7908 -x7906 -x7904 -x7902 -x7899 -x230 -x7897 x229
1800.07/1800.65 v -x7894 -x7892 -x228 -x7890 -x7888 -x227 -x7886 -x7884 -x7882 -x7880 -x7878 -x7876 -x226 -x7873 -x7871 -x7869 x225 x7867 -x7865
1800.07/1800.65 v -x7863 -x7861 -x7859 -x7857 -x7855 -x224 -x7853 -x7851 -x7849 -x7847 -x7845 -x7842 -x223 -x7840 -x7838 -x7836 -x7834 -x7832
1800.07/1800.65 v -x7830 -x7828 -x7826 -x7824 -x7822 -x7820 -x7818 -x7816 -x222 -x7814 x221 -x7811 -x7809 -x220 -x7807 -x7805 -x7803 -x219 -x7801
1800.07/1800.65 v -x7799 -x7797 -x7795 -x7792 -x7790 -x218 -x7788 -x7786 -x7784 -x217 -x7782 -x7780 -x7778 -x7776 -x7774 -x7772 -x7770 -x216
1800.07/1800.65 v -x7768 -x7766 -x7764 -x7762 -x7760 -x7758 -x7756 -x215 -x7754 -x7752 -x7750 -x7748 -x7746 -x7744 -x7742 -x7740 -x7738 -x7736
1800.07/1800.65 v -x7734 -x7732 -x7730 -x7728 -x7726 -x214 -x7724 -x7722 -x7720 -x213 -x7718 -x7716 -x7714 -x7712 -x7710 -x7708 -x7706 -x212
1800.07/1800.65 v -x7704 -x7702 -x7700 -x7698 -x7696 -x7694 -x7692 -x211 -x7690 -x7688 -x7686 -x7684 -x7682 -x7680 -x7678 -x7676 -x7674 -x7672
1800.07/1800.65 v -x7670 -x7668 -x7666 -x7664 -x7662 -x210 -x7660 -x7658 -x7656 -x7653 -x7651 -x7649 -x209 -x7647 -x7645 -x7643 -x7641 -x7639
1800.07/1800.65 v -x7637 -x7635 -x7633 -x7631 -x7629 -x7627 -x7625 -x7623 -x7621 -x7619 -x208 -x7617 -x7615 -x7613 -x7611 -x7609 -x7607 -x7605
1800.07/1800.65 v -x7603 -x7601 -x7599 -x7597 -x7595 -x7593 -x7591 -x7589 -x207 -x7587 -x7585 -x7583 -x7580 -x7578 -x7576 -x7574 -x7572 -x7570
1800.07/1800.65 v -x7568 -x7566 -x7564 -x7562 -x7560 -x7558 -x7556 -x7554 -x7552 -x7550 -x7548 -x7546 -x7544 -x7542 -x7540 -x7538 -x7536 -x7534
1800.07/1800.65 v -x206 -x7532 x205 -x7529 -x7527 -x204 -x7525 -x7523 -x7521 -x203 -x7519 -x7516 -x7514 -x7512 -x7510 -x7508 -x202 -x7506 -x7504
1800.07/1800.65 v -x201 -x7502 -x7500 -x7498 -x7496 -x7494 -x7492 -x7490 -x200 -x7488 -x7486 -x7484 -x7482 -x7480 -x7478 -x7476 -x199 -x7474
1800.07/1800.65 v -x7472 -x7470 -x7468 -x7466 -x7464 -x7462 -x7460 -x7458 -x7456 -x7454 -x7452 -x7450 -x7448 -x7446 -x198 -x7444 -x7442 -x7440
1800.07/1800.65 v x197 x7438 -x7436 -x7434 -x7432 -x7430 -x7428 -x7426 -x196 -x7424 -x7422 -x7420 -x7418 -x7416 -x7414 -x195 -x7412 -x7410 -x7408
1800.07/1800.65 v -x7406 -x7404 -x7402 -x7400 -x194 -x7398 -x7396 -x7394 -x7392 -x7390 -x7388 -x7386 -x7384 -x7382 -x7380 -x7378 -x7376 -x7374
1800.07/1800.65 v -x7372 -x7370 -x193 -x7368 -x7366 -x7364 -x7362 -x7360 -x7358 -x7356 -x7354 -x7352 -x7350 -x7348 -x7346 -x7344 -x7342 -x192
1800.07/1800.65 v -x7340 -x7338 -x7336 -x191 -x7334 -x7332 -x7330 -x7328 -x7326 -x7324 -x7322 -x190 -x7320 -x7318 -x7316 -x7314 -x7312 -x7310
1800.07/1800.65 v -x7308 -x189 -x7306 -x7304 -x7302 -x7300 -x7298 -x7296 -x7294 -x7292 -x7290 -x7288 -x7286 -x7284 -x7282 -x7280 -x7278 -x188
1800.07/1800.65 v -x7276 -x7274 -x7272 -x7270 -x7268 -x7266 -x7264 -x187 -x7262 -x7260 -x7258 -x7256 -x7254 -x7252 -x7250 -x7248 -x7246 -x7244
1800.07/1800.65 v -x7242 -x7240 -x7238 -x7236 -x7234 -x186 -x7232 -x7230 -x7228 -x7226 -x7224 -x7222 -x7220 -x7218 -x7216 -x7214 -x7212 -x7210
1800.07/1800.65 v -x7208 -x7206 -x7204 -x185 -x7202 -x7200 x7198 -x7196 -x7194 -x7191 -x7189 -x7187 -x7184 -x7182 -x7180 -x7178 -x7176 -x7174
1800.07/1800.65 v -x7172 -x7170 -x7168 -x7166 -x7164 -x7162 -x184 -x7160 -x7158 -x7156 -x7154 -x7152 -x7150 -x7148 -x7145 -x7143 -x7141 -x7139
1800.07/1800.65 v -x7137 -x7135 -x7133 -x183 -x7131 -x7129 -x7127 -x7125 -x7123 -x7121 -x7119 -x7117 -x7115 -x7113 -x7111 -x7109 -x7107 -x7105
1800.07/1800.65 v -x182 -x7102 -x7100 -x7098 -x7096 -x7094 -x7092 -x7090 -x7088 -x7086 -x7084 -x7082 -x7080 -x7078 -x7076 -x7074 -x7072 -x7070
1800.07/1800.65 v -x7068 -x7066 -x7064 -x7062 -x7060 -x7058 -x7056 -x7054 -x7052 -x7050 -x7048 -x7046 -x7044 -x7042 -x181 -x7040 -x7038 -x7036
1800.07/1800.65 v -x7034 -x7032 -x7030 -x7028 -x7026 -x7024 -x7022 -x7020 -x7018 -x7016 -x7014 -x7012 -x7010 -x7008 -x7006 -x7004 -x7002 -x7000
1800.07/1800.65 v -x6998 -x6996 -x6994 -x6992 -x6990 -x6988 -x6986 -x6984 -x6982 -x6980 -x180 -x6978 -x179 -x6975 -x6973 -x178 -x6971 -x6969
1800.07/1800.65 v -x6967 -x177 -x6965 -x6963 -x6961 -x6959 -x6957 -x6955 -x6953 -x176 -x6950 -x6948 -x175 -x6946 -x6944 -x6942 -x6940 -x6938 -x6936
1800.07/1800.65 v -x6934 -x174 -x6932 -x6930 -x6928 -x6926 -x6924 -x6922 -x6920 -x173 -x6918 -x6916 -x6914 -x6912 -x6910 -x6908 -x6906 -x6904
1800.07/1800.65 v -x6902 -x6900 -x6898 x6896 -x6894 -x6892 -x6890 -x6888 -x6886 x6884 x172 -x6882 -x6880 -x6878 -x6876 -x6874 -x6872 -x6870
1800.07/1800.65 v -x171 -x6868 -x6866 -x6864 -x6862 -x6860 -x6858 -x6856 -x170 -x6854 -x6852 -x6850 -x6848 -x6846 -x6844 -x6842 -x169 -x6840 -x6838
1800.07/1800.65 v -x6836 -x6834 -x6832 -x6830 -x6828 -x6826 -x6824 -x6822 -x6820 -x6818 -x6816 -x6814 -x6812 -x168 -x6810 -x6808 -x6806 -x6804
1800.07/1800.65 v -x6802 -x6800 -x6798 -x6796 -x6794 -x6792 -x6790 -x6788 -x6786 -x6784 -x6782 -x167 -x6780 -x6778 -x6776 x166 x6774 -x6772
1800.07/1800.65 v -x6770 -x6768 -x6766 -x6764 -x6762 -x165 -x6760 -x6758 -x6756 -x6754 -x6752 -x6750 x6748 -x6746 -x6744 -x6742 -x6740 -x6738
1800.07/1800.65 v -x6736 -x6734 -x164 -x6732 -x6730 -x6728 -x6726 -x6724 -x6722 -x6720 -x6718 -x6716 -x6714 -x6712 -x6710 -x6708 -x6706 -x6704
1800.07/1800.65 v -x163 -x6702 -x6700 -x6698 -x6696 -x6694 -x6692 -x6689 -x6687 -x6685 -x6683 -x6681 -x6679 -x6677 -x6675 -x162 -x6673 -x6671
1800.07/1800.65 v -x6669 -x6667 -x6665 -x6663 -x6661 -x161 -x6659 -x6657 -x6655 -x6653 -x6651 -x6649 -x6647 -x6645 -x6643 -x6641 -x6639 -x6637
1800.07/1800.65 v -x6635 -x6633 -x6631 -x160 -x6629 -x6627 -x6625 -x6623 -x6621 -x6619 -x6617 -x6615 -x6613 -x6611 -x6609 -x6607 -x6605 -x6603
1800.07/1800.65 v -x6601 -x159 -x6598 -x6596 -x6594 -x6592 -x6590 -x6588 -x6586 -x6584 -x6582 -x6580 -x6578 -x6576 -x6574 -x6572 -x158 -x6570
1800.07/1800.65 v -x6568 -x6566 -x6564 -x6562 -x6560 -x6558 -x6556 -x6554 -x6552 -x6550 -x6548 -x6546 -x6544 -x6542 -x6540 -x6538 -x6536 -x6534
1800.07/1800.65 v -x6532 -x6530 -x6528 -x6526 -x6524 -x6522 -x6520 -x6518 -x6516 -x6514 -x6512 -x6510 -x157 -x6508 -x6506 -x6504 -x6502 -x6500
1800.07/1800.65 v -x6498 -x6496 -x6494 -x6492 -x6490 -x6488 -x6486 -x6484 -x6482 -x6480 -x6478 -x6476 -x6474 -x6472 -x6470 -x6468 -x6466 -x6464
1800.07/1800.65 v -x6462 -x6460 -x6458 -x6456 -x6454 -x6452 -x6450 -x156 -x6448 -x6446 x6444 x155 -x6442 -x6440 -x6438 -x6436 -x6434 -x6432 -x6430
1800.07/1800.65 v -x154 -x6428 -x6426 -x6424 -x6422 -x6420 -x6418 -x6416 x6414 -x6412 -x6410 -x6408 -x6406 -x6404 -x6402 -x6400 -x6398 -x6396
1800.07/1800.65 v -x6394 -x6392 -x6389 -x6387 -x153 -x6385 -x6383 -x6381 -x6379 -x6377 -x6375 -x6373 x6371 -x6369 -x6367 -x6365 -x6363 -x6361
1800.07/1800.65 v -x6358 -x6356 -x6354 -x6352 -x6350 -x6348 -x6346 -x6344 -x152 -x6342 -x6340 -x6338 -x6336 -x6334 -x6332 -x6330 -x6328 -x6325
1800.07/1800.65 v -x6323 -x6320 -x6318 -x6316 -x151 -x6314 -x6312 -x6310 -x6308 -x6306 -x6304 -x6302 -x6300 -x6298 -x6296 -x6294 -x6292 -x6290
1800.07/1800.65 v -x6288 -x6286 -x6284 -x6282 -x6280 -x6278 -x6276 -x6274 -x6271 -x6269 -x6267 -x6265 -x6263 -x6261 -x6259 -x6257 -x6255 -x150
1800.07/1800.65 v -x6253 -x6251 -x6249 -x6247 -x6245 -x6243 -x6241 -x149 -x6239 -x6237 -x6235 -x6233 -x6231 -x6229 -x6227 -x6225 -x6223 -x6221
1800.07/1800.65 v -x6219 -x6217 -x6215 -x6213 -x6211 -x148 -x6209 -x6207 -x6204 -x6202 -x6200 -x6198 -x6196 -x6194 -x6192 -x6190 -x6188 -x6186
1800.07/1800.65 v -x6184 -x6182 -x147 -x6180 -x6178 -x6175 -x6173 -x6171 -x6169 -x6167 -x6165 -x6163 -x6161 -x6159 -x6157 x6155 -x6153 -x6151
1800.07/1800.65 v -x6149 -x6147 -x6145 -x6143 -x6141 -x6139 -x6137 -x6135 -x6133 -x6131 -x6129 -x6127 -x6125 -x6123 -x6121 -x6119 -x6117 -x6115
1800.07/1800.65 v -x6112 -x6110 -x6108 -x6106 -x6104 -x6102 -x6100 -x6098 -x6096 -x6094 -x146 -x6092 -x6090 -x6088 -x6086 -x6084 -x6082 -x6080
1800.07/1800.65 v -x6078 -x6076 -x6074 -x6072 -x6070 -x6068 -x6065 -x6063 -x6061 -x6059 -x6057 -x6055 -x6053 -x6051 -x6049 -x6047 -x6045 -x6043
1800.07/1800.65 v -x6041 -x6039 -x6037 -x6035 -x6033 -x145 -x6031 -x6029 -x6027 -x6025 -x6022 -x6020 -x144 -x6018 -x6016 -x6014 -x6012 -x6009
1800.07/1800.65 v -x6007 -x6005 -x6003 -x6001 -x5999 -x5997 -x5995 -x5993 -x5991 -x143 -x5989 -x5987 -x5985 -x5983 -x5981 -x5979 -x5977 -x5974
1800.07/1800.65 v -x5972 -x5970 -x5968 -x5966 -x5963 -x142 -x5961 -x5959 -x5957 -x5955 -x5953 -x5951 -x5948 -x5946 -x5944 -x5942 -x5940 -x5938
1800.07/1800.65 v -x5936 -x5934 -x141 -x5932 -x5930 -x5928 -x5926 -x5924 -x5922 -x5920 -x5918 -x5916 -x5914 -x5912 -x5910 -x5908 -x5906 -x5904
1800.07/1800.65 v -x5902 -x5900 -x5898 -x5896 -x5894 -x5892 -x5890 -x5888 -x5886 -x5884 -x5882 -x5880 -x5878 -x5876 -x5874 -x5872 -x140 -x5870
1800.07/1800.65 v -x5868 -x5866 -x5864 -x5862 -x5860 -x5858 -x5856 -x5854 -x5852 -x5850 -x5848 -x5846 -x5844 -x5842 -x5840 -x5838 -x5836 -x5834
1800.07/1800.65 v -x5832 -x5830 -x5828 -x5826 -x5824 -x5822 -x5820 -x5818 -x5816 -x5814 -x5812 -x5810 -x139 -x5808 -x5806 -x5804 -x5802 -x5800
1800.07/1800.65 v -x5798 -x5796 -x5794 -x5792 -x5790 -x5788 -x5786 -x5783 -x5781 -x138 -x5779 -x5777 -x5775 -x5773 -x5771 -x5769 -x5767 -x5765
1800.07/1800.65 v -x5763 -x5761 -x5759 -x5757 -x5755 -x5753 -x5751 -x5749 -x5747 -x5745 -x5743 -x5741 -x5739 -x5737 -x5735 -x5733 -x5731 -x5729
1800.07/1800.65 v -x5727 -x5725 -x5723 -x5721 -x5719 -x137 -x5717 -x5715 -x5713 -x5711 -x5709 -x5707 -x5705 -x5703 -x5701 -x5699 -x5697 -x5695
1800.07/1800.65 v -x5693 -x5691 -x5689 -x5687 -x5685 -x5683 -x5681 -x5679 -x5677 -x5675 -x5673 -x5671 -x5669 -x5667 -x5665 -x5663 -x5661
1800.07/1800.65 v -x5659 -x5657 -x136 -x5655 -x5653 -x5651 -x5649 -x5647 -x5645 -x5643 -x5641 -x5639 -x5637 -x5634 -x5632 -x5630 -x5628 -x5626
1800.07/1800.65 v -x5624 -x5622 -x5620 -x5618 -x5616 -x5614 -x5612 -x5610 -x5608 -x5606 -x5604 -x5602 -x5600 -x5598 -x5596 -x135 -x5594 -x5592
1800.07/1800.65 v -x5590 -x5588 -x5586 -x5584 -x5582 -x5580 -x5578 -x5576 -x5574 -x5572 -x5570 -x5568 -x5566 -x5564 -x5562 -x5560 -x5558 -x5556
1800.07/1800.65 v -x5554 -x5552 -x5550 -x5548 -x5546 -x5544 -x5542 -x5540 -x5538 -x5536 -x5534 -x5532 -x5530 -x5528 -x5526 -x5524 -x5522 -x5520
1800.07/1800.65 v -x5518 -x5516 -x5514 -x5512 -x5510 -x5508 -x5506 -x5504 -x5502 -x5500 -x5498 -x5496 -x5494 -x5492 -x5490 -x5488 -x5486 -x5484
1800.07/1800.65 v -x5482 -x5480 -x5478 -x5476 -x5474 -x5472 -x5470 -x134 -x5468 -x5466 -x5464 -x5462 -x5460 -x5458 -x5456 -x5454 -x5452 -x5450
1800.07/1800.65 v -x5448 -x5446 -x5444 -x5442 -x5440 -x5438 -x5436 -x5434 -x5432 -x5430 -x5428 -x5426 -x5424 -x5422 -x5420 -x5418 -x5416 -x5414
1800.07/1800.65 v -x5412 -x5410 -x5408 -x5406 -x5404 -x5402 -x5400 -x5398 -x5396 -x5394 -x5392 -x5390 -x5388 -x5386 -x5384 -x5382 -x5380 -x5378
1800.07/1800.65 v -x5376 -x5374 -x5372 -x5370 -x5368 -x5366 -x5364 -x5362 -x5360 -x5358 -x5356 -x5354 -x5352 -x5349 -x5347 -x5345 -x133 -x5343
1800.07/1800.65 v -x132 -x5340 -x5338 -x131 -x5336 x5334 -x5332 x130 -x5330 -x5328 -x5326 -x5323 -x5321 -x5319 -x129 -x5317 -x5315 -x5313
1800.07/1800.65 v -x128 -x5311 -x5309 -x5307 -x5305 -x5303 -x5301 -x5299 -x127 -x5297 -x5295 -x5293 -x5291 -x5289 -x5287 -x5285 -x126 -x5283 x5281
1800.07/1800.65 v x125 -x5279 -x5277 -x5275 -x5273 -x5271 -x5269 -x5267 -x124 -x5265 -x5263 -x5261 -x5259 -x5257 -x5255 -x5253 -x123 -x5251
1800.07/1800.65 v x5249 -x5247 -x5245 -x5243 -x5241 -x5239 -x5237 -x5235 -x5233 -x5231 -x5229 -x5227 -x5224 -x5222 -x5220 -x5218 -x5216 -x5214
1800.07/1800.65 v -x5212 -x5210 -x122 -x5208 -x5205 -x5203 -x5201 -x5199 -x5197 -x5195 -x5193 -x5191 -x5189 -x5187 -x5185 -x5183 -x5181 -x121
1800.07/1800.65 v -x5179 -x5177 -x5175 -x120 -x5173 -x5171 -x5169 -x5167 -x5165 -x5163 -x5161 -x119 -x5159 -x5157 -x5155 -x5153 -x5151 -x5149 -x5147
1800.07/1800.65 v -x118 -x5145 -x5143 -x5141 -x5139 -x5137 -x5135 -x5133 -x5131 -x5129 -x5127 -x5125 -x5123 -x5121 -x5119 -x5117 -x117 -x5115
1800.07/1800.65 v -x5113 -x5111 -x5109 -x5107 -x5105 -x5103 -x116 -x5101 -x5099 -x5097 -x5095 -x5093 -x5091 -x5089 -x5087 -x5085 -x5083 -x5081
1800.07/1800.65 v -x5079 -x5077 -x5075 -x5073 -x115 -x5071 -x5069 -x5067 -x5065 -x5063 -x5061 -x5059 -x5057 -x5055 -x5053 -x5051 -x5049 -x5047
1800.07/1800.65 v -x5045 -x5043 -x114 -x5041 -x5039 -x5037 -x5035 -x5033 -x5031 -x5029 -x113 -x5027 -x5025 -x5023 -x5021 -x5019 -x5017 -x5015
1800.07/1800.65 v -x5013 -x5011 -x5009 -x5007 -x5005 -x5003 -x5001 -x4999 -x112 -x4997 -x4995 -x4993 -x4991 -x4989 -x4987 -x4985 -x4983 -x4981
1800.07/1800.65 v -x4979 -x4977 -x4975 -x4973 -x4971 -x4969 -x111 -x4967 -x4965 -x4963 -x4961 -x4959 -x4957 -x4955 -x4953 -x4951 -x4948 -x4946
1800.07/1800.65 v -x4944 -x4942 -x4940 -x110 -x4938 -x4936 -x4934 -x4932 -x4930 -x4928 -x4926 -x4924 -x4922 -x4920 -x4918 -x4916 -x4914 -x4912
1800.07/1800.65 v -x4910 -x4908 -x4906 -x4904 -x4902 -x4900 -x4898 -x4896 -x4894 -x4892 -x4890 -x4888 -x4886 -x4884 -x4882 -x4880 -x4878 -x109
1800.07/1800.65 v -x4876 -x4874 -x4872 -x4870 -x4868 -x4866 -x4864 -x4862 x4860 -x4858 -x4856 -x4854 -x4852 -x4850 -x4848 -x4846 -x4844 -x4842
1800.07/1800.65 v -x4840 -x4838 -x4836 -x4834 -x4832 -x4830 -x4828 -x4826 -x4824 -x4822 -x4820 -x4818 -x4816 -x4814 -x4812 -x4810 -x108 -x4808
1800.07/1800.65 v -x4806 -x4804 -x4802 -x4800 -x4798 -x4796 -x107 -x4794 -x4792 -x4790 -x4788 -x4786 -x4784 -x4782 -x106 -x4780 -x4778 -x4776
1800.07/1800.65 v -x4774 -x4772 -x4770 -x4768 -x4766 -x4764 -x4762 -x4760 -x4758 -x4756 -x4754 -x4752 -x105 -x4750 -x4748 -x4746 -x4744 -x4742
1800.07/1800.65 v -x4740 -x4738 -x104 -x4736 -x4734 -x4732 -x4730 -x4728 -x4726 -x4724 -x4721 -x4719 -x4717 -x4715 -x4713 -x4711 -x4709 -x103
1800.07/1800.65 v -x4707 -x4705 -x4703 -x4701 -x4699 -x4697 -x4695 -x4693 -x4691 -x4689 -x4687 -x4685 -x4683 -x4681 -x4679 -x102 -x4677 -x4675
1800.07/1800.65 v -x4673 -x4671 -x4669 -x4667 -x4665 -x101 -x4663 -x4661 -x4659 -x4657 -x4655 -x4653 -x4651 -x4649 -x4647 -x4645 -x4643 -x4641
1800.07/1800.65 v -x4639 -x4637 -x4635 -x100 -x4633 -x4631 -x4629 -x4627 -x4625 -x4623 -x4621 -x4619 -x4617 -x4615 -x4613 -x4611 -x4609 -x4607
1800.07/1800.65 v -x4605 -x99 -x4602 -x4600 -x4598 -x4596 -x4594 -x4592 -x4590 -x4588 -x4586 -x4584 -x4582 -x4580 -x4578 -x4576 -x4574 -x4572
1800.07/1800.65 v -x4570 -x4568 -x4566 -x4564 -x4562 -x4560 -x4558 -x4556 -x4554 -x4552 -x4550 -x4548 -x4546 -x4544 -x98 -x4542 -x4540 -x4538
1800.07/1800.65 v -x4536 -x4534 -x4532 -x4530 -x97 -x4528 -x4526 -x4524 -x4522 -x4520 -x4518 -x4516 -x4514 -x4512 -x4510 -x4508 -x4506 -x4504 -x4502
1800.07/1800.65 v -x4500 -x96 -x4498 -x4496 -x4494 -x4492 -x4490 -x4488 -x4486 -x4484 -x4482 -x4480 -x4478 -x4476 -x4474 -x4472 -x4470 -x95
1800.07/1800.65 v -x4468 -x4466 -x4464 -x4462 -x4460 -x4458 -x4456 -x4454 -x4452 -x4450 -x4448 -x4446 -x4444 -x4442 -x4440 -x4438 -x4436 -x4434
1800.07/1800.65 v -x4432 -x4430 -x4428 -x4426 -x4424 -x4422 -x4420 -x4418 -x4416 -x4414 -x4412 -x4410 -x4408 -x94 -x4406 -x4404 -x4402 -x4400
1800.07/1800.65 v -x4398 -x4396 -x4394 -x4392 -x4390 -x4388 -x4386 -x4384 -x4382 -x4380 -x4378 -x93 -x4376 -x4374 -x4372 -x4370 -x4368 -x4366
1800.07/1800.65 v -x4364 -x4362 -x4360 -x4358 -x4356 -x4354 -x4352 -x4350 -x4348 -x4346 -x4344 -x4342 -x4340 -x4338 -x4336 -x4334 -x4332 -x4330
1800.07/1800.65 v -x4328 -x4326 -x4324 -x4322 -x4320 -x4318 -x4316 -x92 -x4314 -x4312 -x4310 -x4308 x4305 -x4303 -x4301 -x4299 -x4297 -x4295
1800.07/1800.65 v -x4293 -x4291 -x4289 -x4287 -x4285 -x4283 -x4281 -x4279 -x4277 -x4275 -x4273 -x4271 -x4269 -x4267 -x4264 -x4262 -x4260 -x4258
1800.07/1800.65 v -x4256 -x4254 -x4252 -x4250 -x4248 -x4246 x4244 -x4242 -x4240 -x4238 -x4236 -x4234 -x4232 -x4230 -x4228 -x4226 -x4224 -x4222
1800.07/1800.65 v -x4220 -x4218 -x4216 -x4214 -x4212 -x4210 -x4208 -x4206 -x4204 -x4202 -x4200 -x4198 -x4196 -x4194 -x4192 -x4190 -x4188 -x4186
1800.07/1800.65 v -x4184 -x4182 -x4180 -x4178 -x4176 -x4174 -x4171 -x4169 -x4167 -x4165 -x91 -x4163 -x4160 -x4158 -x4156 -x4154 -x4152 -x4150
1800.07/1800.65 v -x4148 -x4146 -x4144 -x4142 -x4140 -x4138 -x4136 -x4134 -x4132 -x4130 -x4128 -x4126 -x4124 -x4122 -x4120 -x4118 -x4116 -x4114
1800.07/1800.65 v -x4112 -x4110 -x4108 -x4106 -x4104 -x4102 -x4100 -x4098 -x4096 -x4094 -x4092 -x4090 -x4088 -x4086 -x4084 -x4082 -x4080 -x4078
1800.07/1800.65 v -x4076 -x4074 -x4072 -x4070 -x4068 -x4066 -x4064 -x4062 -x4060 -x4058 -x4056 -x4054 -x4052 -x4050 -x4048 -x4046 -x4044 -x4042
1800.07/1800.65 v -x4040 -x90 -x4038 -x4036 -x4034 -x89 -x4032 -x4030 -x4028 -x4026 -x4024 -x4022 -x4020 -x88 -x4018 -x4016 -x4014 -x4012
1800.07/1800.65 v -x4010 -x4008 -x4006 -x87 -x4004 -x4002 -x4000 -x3998 -x3996 -x3994 -x3992 -x86 -x3990 -x3988 -x3986 -x3983 -x3981 -x3979 -x3977
1800.07/1800.65 v -x3975 -x3973 -x3971 -x3969 -x3967 -x3965 -x3963 -x85 -x3961 -x3959 -x3957 -x3955 -x3953 -x3951 -x3949 -x3947 -x3945 -x3943
1800.07/1800.65 v -x3941 -x3939 -x3937 -x3935 -x3933 -x84 -x3931 -x3929 -x3927 -x3925 -x3923 -x3921 -x3919 -x83 -x3917 -x3915 -x3913 -x3911
1800.07/1800.65 v -x3909 -x3907 -x3905 -x3903 -x3901 -x3899 -x3897 -x3895 -x3893 -x3890 -x82 -x3888 -x3886 -x3884 -x3882 -x3880 -x3878 -x3876 -x3874
1800.07/1800.65 v -x3871 -x3869 -x3867 -x3865 -x3863 -x3861 -x81 -x3859 -x3857 -x3855 -x3853 -x3851 -x3849 -x3847 -x3845 -x3843 -x3841 -x3839
1800.07/1800.65 v -x3837 -x3835 -x3833 -x3831 -x3829 -x3827 -x3825 -x3823 -x3821 -x3819 -x3817 -x3815 -x3813 -x3811 -x3809 -x3807 -x3805 -x3803
1800.07/1800.65 v -x3801 -x3799 -x80 -x3797 -x3795 -x3793 -x3791 -x3789 -x3787 -x3785 -x79 -x3783 -x3781 -x3779 -x3777 -x3775 -x3773 -x3771
1800.07/1800.65 v -x3769 -x3767 -x3765 -x3763 -x3761 -x3759 -x3757 -x3755 -x78 -x3753 -x3751 -x3749 -x3747 -x3745 -x3743 -x3741 -x3739 -x3737
1800.07/1800.65 v -x3735 -x3732 -x3730 -x3728 -x3726 x3724 -x3722 -x3720 -x3718 -x3716 -x3714 -x3712 -x3710 -x3708 -x3706 -x3704 -x3702 -x3700
1800.07/1800.65 v -x3698 -x3696 -x77 -x3694 -x3692 -x3690 -x3688 -x3686 -x3684 -x3682 -x3680 -x3678 -x3676 -x3674 -x3672 -x3670 -x3668 -x3666
1800.07/1800.65 v -x3664 -x3662 -x3660 -x3658 -x3656 -x3654 -x3652 -x3650 -x3648 -x3646 -x3644 -x3642 -x3640 -x3638 -x3636 -x3634 -x76 -x3632
1800.07/1800.65 v -x3630 -x3628 -x3626 -x3624 -x3622 -x3620 -x3618 -x3616 -x3614 -x3612 -x3610 -x3608 -x3606 -x3604 -x75 -x3602 -x3600 -x3598 -x3596
1800.07/1800.65 v -x3594 -x3592 -x3590 -x3588 -x3586 -x3584 -x3582 -x3580 -x3578 -x3575 -x3573 -x3571 -x3569 -x3567 -x3565 -x3563 -x3561
1800.07/1800.65 v -x3559 -x3557 -x3555 -x3553 -x3551 -x3549 -x3547 -x3545 -x3543 -x74 -x3541 -x3539 -x3537 -x3535 -x3533 -x3531 -x3529 -x3527 -x3525
1800.07/1800.65 v -x3523 -x3521 -x3519 -x3517 -x3515 -x3513 -x3511 -x3509 -x3507 -x3505 -x3503 -x3501 -x3499 -x3497 -x3495 -x3493 -x3491
1800.07/1800.65 v -x3489 -x3487 -x3485 -x3483 -x3481 -x73 -x3479 -x3477 -x3475 -x3473 -x3471 -x3469 -x3467 -x3465 -x3463 -x3461 -x3459 -x3457 -x3455
1800.07/1800.65 v -x3453 -x3451 -x3449 -x3447 -x3445 -x3443 -x3441 -x3439 -x3437 -x3435 -x3433 -x3431 -x3429 -x3427 -x3425 -x3423 -x3421
1800.07/1800.65 v -x3419 -x3417 -x3415 -x3413 -x3411 -x3409 -x3407 -x3405 -x3403 -x3401 -x3399 -x3397 -x3395 -x3393 -x3391 -x3389 -x3387 -x3385
1800.07/1800.65 v -x3383 -x3381 -x3379 -x3377 -x3375 -x3373 -x3371 -x3369 -x3367 -x3365 -x3363 -x3361 -x3359 -x3357 -x3355 -x72 -x3353 -x3350
1800.07/1800.65 v -x3348 -x3346 -x3344 -x3342 -x71 -x3340 -x3338 -x3336 -x3334 -x3332 -x3330 -x3328 -x3326 -x3324 -x3322 -x3320 -x3318 -x3316 -x3314
1800.07/1800.65 v -x3312 -x70 -x3310 -x3308 -x3306 -x3304 -x3302 -x3300 -x3298 -x3296 -x3294 -x3291 -x3288 -x3286 -x3284 -x69 -x3282 -x3280
1800.07/1800.65 v -x3278 -x3276 -x3274 -x3272 -x3270 -x3268 -x3266 -x3264 -x3262 -x3260 -x3258 -x3256 -x68 -x3253 -x3251 -x3249 -x3247 -x3245
1800.07/1800.65 v -x3243 -x3241 -x3239 -x3237 -x3235 -x3233 -x3231 -x3229 -x3227 -x3225 -x3223 -x3221 -x3219 -x3217 -x3215 -x3213 -x3211 -x3209
1800.07/1800.65 v -x3207 -x3205 -x3203 -x3201 -x3199 -x3197 -x3195 -x3193 -x67 -x3191 -x3189 -x3187 -x3185 -x3183 -x3181 -x3179 -x3177 -x3175
1800.07/1800.65 v -x3173 -x3171 -x3169 -x3167 -x3165 -x3163 -x3161 -x3159 -x3157 -x3155 -x3153 -x3151 -x3149 -x3147 -x3145 -x3143 -x3141 -x3139
1800.07/1800.65 v -x3137 -x3135 -x3133 -x3131 -x66 -x3129 -x3127 -x3125 -x3123 -x3121 -x3119 -x3117 -x3115 -x3113 -x3111 -x3109 -x3107 -x3105
1800.07/1800.65 v -x3103 -x3101 -x65 -x3099 -x3097 -x3095 -x3093 -x3091 -x3089 -x3087 -x3085 -x3083 -x3081 -x3079 -x3077 -x3075 -x3073 -x3071
1800.07/1800.65 v -x3069 -x3067 -x3065 -x3063 -x3061 -x3059 -x3057 -x3055 -x3053 -x3051 -x3049 -x3047 -x3045 -x3043 -x3041 -x3039 -x64 -x3037
1800.07/1800.65 v -x3035 -x3033 -x3031 -x3029 -x3027 -x3025 -x3023 -x3021 -x3019 -x3017 -x3015 -x3013 -x3011 -x3009 -x3007 -x3005 -x3003 -x3001
1800.07/1800.65 v -x2998 -x2996 -x2994 -x2992 -x2990 -x2988 -x2986 -x2984 -x2982 -x2980 -x2978 -x63 -x2976 -x2974 -x2972 -x2970 -x2968 -x2966
1800.07/1800.65 v -x2964 -x2962 -x2960 -x2958 -x2956 -x2954 -x2952 -x2950 -x2948 -x2946 -x2944 -x2942 -x2940 -x2938 -x2936 -x2934 -x2932 -x2930
1800.07/1800.65 v -x2928 -x2926 -x2924 -x2922 -x2920 -x2918 -x2916 -x2914 -x2912 -x2910 -x2908 -x2906 -x2904 -x2902 -x2900 -x2898 -x2896 -x2894
1800.07/1800.65 v -x2892 -x2890 -x2888 -x2886 -x2884 -x2882 -x2880 -x2878 -x2876 -x2874 -x2872 -x2870 -x2868 -x2866 -x2864 -x2862 -x2860 -x2858
1800.07/1800.65 v -x2856 -x2854 -x2852 -x62 -x2850 -x2848 -x2846 -x2844 -x2842 -x2840 -x2838 -x2836 -x2834 -x2832 -x2830 -x2828 -x2826 -x2824
1800.07/1800.65 v -x2822 -x61 -x2820 -x2818 -x2816 -x2814 -x2812 -x2810 -x2808 -x2806 -x2804 -x2802 -x2800 -x2798 -x2796 -x2794 -x2792 -x2790
1800.07/1800.65 v -x2788 -x2786 -x2784 -x2782 -x2780 -x2778 -x2776 -x2774 -x2772 -x2770 -x2768 -x2766 -x2764 -x2762 -x2760 -x60 -x2758 -x2756
1800.07/1800.65 v -x2754 -x2752 -x2750 -x2748 -x2746 -x2744 -x2742 -x2740 -x2738 -x2736 -x2734 -x2732 -x2730 -x2728 -x2726 -x2724 -x2722 -x2720
1800.07/1800.65 v -x2718 -x2716 -x2714 -x2712 -x2710 -x2708 -x2706 -x2704 -x2702 -x2700 -x2698 -x59 -x2696 -x2694 -x2692 -x2690 -x2688 -x2686
1800.07/1800.65 v -x2684 -x2682 -x2680 -x2678 -x2676 -x2674 -x2672 -x2670 -x2668 -x2666 -x2664 -x2662 -x2660 -x2658 -x2656 -x2654 -x2652 -x2650
1800.07/1800.65 v -x2648 -x2646 -x2644 -x2642 -x2640 -x2638 -x2636 -x2634 -x2632 -x2630 -x2628 -x2626 -x2624 -x2622 -x2620 -x2618 -x2616 -x2614
1800.07/1800.65 v -x2612 -x2610 -x2608 -x2606 -x2604 -x2602 -x2600 -x2598 -x2596 -x2594 -x2592 -x2590 -x2588 -x2586 -x2584 -x2582 -x2580 -x2578
1800.07/1800.65 v -x2576 -x2574 -x2572 -x58 -x2570 -x2568 -x2566 -x2564 -x2562 -x2560 -x2558 -x2556 -x2554 -x2552 -x2550 -x2548 -x2546 -x2544
1800.07/1800.65 v -x2542 -x2540 -x2538 -x2536 -x2534 -x2532 -x2530 -x2528 -x2526 -x2524 -x2521 -x2519 -x2517 -x2515 -x2513 -x2511 -x57 -x2509
1800.07/1800.65 v -x2507 -x2505 -x2503 -x2501 -x2498 -x2496 -x2494 -x2492 -x2490 -x2488 -x2486 -x2484 -x2482 -x2480 -x2478 -x2476 -x2474 -x2472
1800.07/1800.65 v -x2470 -x2468 -x2466 -x2464 -x2462 -x2460 -x2458 -x2456 -x2454 -x2452 -x2450 -x2448 -x2446 -x2444 -x2442 -x2440 -x2438 -x2436
1800.07/1800.65 v -x2434 -x2432 -x2430 -x2428 -x2426 -x2424 -x2422 -x2420 -x2418 -x2416 -x2414 -x2412 -x2410 -x2408 -x2406 -x2404 -x2402 -x2400
1800.07/1800.65 v -x2398 -x2396 -x2394 -x2392 -x2390 -x2388 -x2386 -x56 -x2384 -x2382 -x2380 -x2378 -x2376 -x2374 -x2372 -x2370 -x2368 -x2366
1800.07/1800.65 v -x2364 -x2362 -x2360 -x2358 -x2356 -x2354 -x2352 -x2350 -x2348 -x2346 -x2344 -x2342 -x2340 -x2338 -x2335 -x2333 -x2331 -x2329
1800.07/1800.65 v -x2327 -x2325 -x2323 -x2321 -x2319 -x2317 -x2315 -x2313 -x2311 -x2309 -x2307 -x2305 -x2303 -x2301 -x2299 -x2297 -x2295 -x2293
1800.07/1800.65 v -x2291 -x2289 -x2287 -x2285 -x2283 -x2281 -x2279 -x2277 -x2275 -x2273 -x2271 -x2269 -x2267 -x2265 -x2263 -x2261 -x55 -x2259
1800.07/1800.65 v -x2257 -x2254 -x2252 -x2250 -x2248 -x2246 -x2244 -x2242 -x2240 -x2238 -x2236 -x2234 -x2232 -x2230 -x2228 -x2226 -x2224 -x2222
1800.07/1800.65 v -x2220 -x2218 -x2216 -x2214 -x2212 -x2210 -x2208 -x2206 -x2204 -x2202 -x2200 -x2198 -x2196 -x2194 -x2192 -x2190 -x2188 -x2186
1800.07/1800.65 v -x2184 -x2182 -x2180 -x2178 -x2176 -x2174 -x2172 -x2170 -x2168 -x2166 -x2164 -x2162 -x2160 -x2158 -x2156 -x2154 -x2152
1800.07/1800.65 v -x2150 -x2148 -x2146 -x2144 -x2142 -x2140 -x2138 -x2136 -x2134 -x2132 -x2130 -x2128 -x2126 -x2124 -x2122 -x2120 -x2118 -x2116
1800.07/1800.65 v -x2114 -x2112 -x2110 -x2108 -x2106 -x2104 -x2102 -x2100 -x2098 -x2096 -x2094 -x2092 -x2090 -x2088 -x2086 -x2084 -x2082 -x2080
1800.07/1800.65 v -x2078 -x2076 -x2074 -x2072 -x2070 -x2068 -x2066 -x2064 -x2062 -x2060 -x2058 -x2056 -x2054 -x2052 -x2050 -x2048 -x2046 -x2044
1800.07/1800.65 v -x2042 -x2040 -x2038 -x2036 -x2034 -x2032 -x2030 -x2028 -x2026 -x2024 -x2022 -x2020 -x2018 -x2015 -x2013 -x2011 -x2009 -x2007
1800.07/1800.65 v x54 -x2004 x2002 -x2000 -x1998 -x1996 -x53 -x1994 -x1992 -x1989 -x1987 -x1985 -x1983 -x52 -x1980 -x1978 -x51 -x1976 -x1973
1800.07/1800.65 v -x1971 -x1969 -x1967 -x1965 -x50 -x1963 -x1961 -x1959 -x1957 -x1955 -x1953 -x1951 -x49 -x1949 -x1947 -x1945 -x1943 -x1941 -x1939
1800.07/1800.65 v -x1937 -x1935 -x1933 -x1931 -x1929 -x1927 -x1925 -x1923 -x1921 -x48 -x1919 -x1917 -x1915 -x47 -x1913 -x1911 -x1909 -x46
1800.07/1800.65 v -x1907 -x1905 -x1903 -x1901 -x1899 -x1896 -x45 -x1894 -x1892 -x1890 -x44 -x1888 -x1886 -x1884 -x1882 -x1880 -x1877 -x43 -x1875
1800.07/1800.65 v -x1873 -x1871 -x1869 -x1867 -x1865 -x1863 -x42 -x1861 -x1859 -x1857 -x1855 -x1853 -x1851 -x1849 -x1847 -x1845 -x1843 -x1841
1800.07/1800.65 v -x1839 -x1837 -x1835 -x1833 -x41 -x1831 -x1829 -x1827 -x1825 -x1823 -x1821 -x40 -x1819 -x1817 -x1815 -x1813 -x1811 -x1809 -x1807
1800.07/1800.65 v -x1805 -x1803 -x1801 -x1799 -x1797 -x1795 -x1793 -x1791 -x39 -x1789 -x1787 -x1785 -x1783 -x1781 -x1779 -x1777 -x1775 -x1773
1800.07/1800.65 v -x1771 -x1769 -x1767 -x1765 -x1763 -x1761 -x38 -x1759 -x1757 -x1755 -x1753 -x1751 -x1749 -x1747 -x1745 -x1743 -x1741 -x1739
1800.07/1800.65 v -x1737 -x1735 -x1733 -x1731 -x1729 -x1727 -x1725 -x1723 -x1721 -x1719 -x1717 -x1715 -x1713 -x1711 -x1709 -x1707 -x1705 -x1703
1800.07/1800.65 v -x1701 -x1699 -x37 -x1697 -x1695 -x1693 -x1691 -x1689 -x1687 -x1685 -x36 -x1683 -x1681 -x1679 -x35 -x1677 -x1675 -x1673
1800.07/1800.65 v -x1670 -x1668 -x1666 -x34 -x1664 -x1662 -x1660 -x1658 -x1656 -x1654 -x1652 -x33 -x1650 -x1648 -x1646 -x1644 -x1642 -x1640 -x1638
1800.07/1800.65 v -x1636 -x1634 -x1632 -x1630 -x1628 -x1626 -x1624 -x1622 -x32 -x1620 -x1618 -x1616 -x1614 -x1612 -x1610 -x1608 -x31 -x1606
1800.07/1800.65 v -x1604 -x1602 -x1600 -x1598 -x1596 -x1594 -x1592 -x1590 -x1588 -x1586 -x1584 -x1582 -x1580 -x1578 -x30 -x1576 -x1574 -x1572
1800.07/1800.65 v -x1570 -x1568 -x1566 -x1564 -x1562 -x1560 -x1558 -x1556 -x1554 -x1552 -x1550 -x1548 -x29 -x1546 -x1544 -x1542 -x1540 -x1538 -x1536
1800.07/1800.65 v -x1534 -x1532 -x1529 -x1527 -x1525 -x1523 -x1521 -x1519 -x1517 -x1515 -x1513 -x1511 -x1509 -x1507 -x1505 -x1503 -x1501
1800.07/1800.65 v -x1499 -x1497 -x1495 -x1493 -x1491 -x1489 -x1487 -x28 -x1485 -x1483 -x1481 -x1479 -x1477 -x1475 -x1473 -x27 -x1471 -x1469 -x1467
1800.07/1800.65 v -x1465 -x1463 -x1461 -x1459 -x26 -x1457 -x1455 -x1453 -x1451 -x1449 x1447 -x1445 -x1443 -x1441 -x1439 -x1437 -x1435 -x1433
1800.07/1800.65 v -x1431 -x1429 -x1427 -x1425 -x1423 -x1421 -x1419 -x1417 -x1415 -x25 -x1413 -x1411 -x1409 -x1407 -x1405 -x1403 -x1401 -x1399
1800.07/1800.65 v -x1397 -x1395 -x1393 -x1391 -x1389 -x1387 -x1385 -x24 -x1383 -x1381 -x1379 -x1377 -x1375 -x1373 -x1371 -x1368 -x1366 -x1364
1800.07/1800.65 v -x1362 -x1360 -x1358 -x1356 -x23 -x1354 -x1352 -x1350 -x1348 -x1346 -x1344 -x1342 -x1340 -x1338 -x1336 -x1334 -x1332 -x1330 -x1328
1800.07/1800.65 v -x1326 -x1324 -x1322 -x1320 -x1318 -x1316 -x1314 -x1312 -x1310 -x1308 -x1306 -x1304 -x1302 -x1300 -x1298 -x1296 -x1294
1800.07/1800.65 v -x22 -x1292 -x1290 -x1287 -x1285 -x1283 -x1281 -x1279 -x1277 -x1275 -x1273 -x1271 -x1269 -x1267 -x1265 -x21 -x1263 -x1261 -x1259
1800.07/1800.65 v -x1257 -x1255 -x1253 -x1251 -x1249 -x1247 -x1245 -x1243 -x1241 -x1239 -x1237 -x1235 -x1233 -x1231 -x1229 -x1227 -x1225 -x1223
1800.07/1800.65 v -x1221 -x1219 -x1217 -x1215 -x1213 -x1211 -x1209 -x1207 -x1205 -x1203 -x20 -x1201 -x1199 -x1197 -x1195 -x1193 -x1191 -x1189
1800.07/1800.65 v -x1187 -x1185 -x1183 -x1181 -x1179 -x1177 -x1175 -x1173 -x1171 -x1169 -x1167 -x1165 -x1163 -x1161 -x1159 -x1157 -x1155 -x1153
1800.07/1800.65 v -x1151 -x1149 -x1147 -x1145 -x1143 -x1141 -x19 -x1139 -x1137 -x1135 -x1133 -x1131 -x1129 -x1127 -x1125 -x1123 -x1121 -x1119
1800.07/1800.65 v -x1117 -x1115 -x1113 -x1111 -x1109 -x1107 -x1105 -x1103 -x1101 -x1099 x1097 -x1095 -x1093 -x1091 -x1089 -x1087 -x1085 -x1083
1800.07/1800.65 v -x1081 -x1079 -x1077 -x1075 -x1073 -x1071 -x1069 -x1067 -x1065 -x1063 -x1061 -x1059 -x1057 -x1055 -x1053 -x1051 -x1049 -x1047
1800.07/1800.65 v -x1045 -x1043 -x1041 -x1039 -x1037 -x1035 -x1033 -x1031 -x1029 -x1027 -x1025 -x1023 -x1021 -x1019 -x1017 -x1015 -x1013 -x1011
1800.07/1800.65 v -x1009 -x1007 -x1005 -x1003 -x1001 -x999 -x997 -x995 -x993 -x991 -x989 -x987 -x985 -x18 -x983 -x981 -x979 -x17 -x977 -x975
1800.07/1800.65 v -x973 -x971 -x969 -x967 -x965 -x16 -x963 -x961 x959 -x957 -x955 -x953 -x951 -x949 -x947 -x945 -x943 -x941 -x939 -x936 -x934
1800.07/1800.65 v -x932 -x930 -x928 -x926 -x924 -x922 -x15 -x920 -x918 -x916 -x914 -x912 -x910 -x908 -x14 -x906 -x904 -x902 -x900 -x898 -x896
1800.07/1800.65 v -x894 -x13 -x892 -x890 -x888 -x886 -x884 -x882 -x880 -x878 -x876 -x874 -x872 -x870 -x868 -x866 -x864 -x12 -x862 -x860 -x858
1800.07/1800.65 v -x856 -x854 -x852 -x850 -x848 -x846 -x844 -x842 -x840 -x837 -x835 -x11 -x833 -x831 -x829 -x827 -x825 -x823 -x821 -x819 -x817
1800.07/1800.65 v -x815 -x813 -x811 -x809 -x807 -x805 -x803 -x801 -x799 -x797 -x795 -x793 -x791 -x789 -x787 -x785 -x783 -x781 -x779 -x777 -x775
1800.07/1800.65 v -x773 -x10 -x771 -x769 -x767 -x765 -x763 -x761 -x759 -x757 -x755 -x753 -x751 -x749 -x747 -x745 -x743 -x9 -x741 -x739 -x736
1800.07/1800.65 v -x734 -x732 -x730 -x8 -x728 -x726 -x724 -x722 -x720 -x718 -x716 -x714 -x712 -x710 -x708 -x706 -x704 -x702 -x700 -x7 -x698 -x696
1800.07/1800.65 v -x694 -x692 -x689 -x687 -x685 -x683 -x681 -x679 -x677 -x675 -x672 -x6 -x670 -x668 -x666 -x664 -x662 -x660 -x658 -x656 -x654
1800.07/1800.65 v -x652 -x650 -x648 -x646 -x644 -x642 -x640 -x638 -x636 -x634 -x632 -x630 -x628 -x626 -x624 -x622 -x620 -x618 -x616 -x614 -x612
1800.07/1800.65 v -x610 -x5 -x608 -x606 -x604 -x602 -x600 -x598 -x596 -x594 -x592 -x590 -x588 -x586 -x584 -x582 -x580 -x4 -x578 -x576 -x574
1800.07/1800.65 v -x572 -x570 -x568 -x566 -x564 -x562 -x560 -x558 -x556 -x554 -x552 -x550 -x3 -x548 -x546 -x544 -x542 -x540 -x538 -x536 -x534 -x532
1800.07/1800.65 v -x530 -x528 -x526 -x524 -x522 -x520 -x518 -x516 -x514 -x512 -x510 -x508 -x506 -x504 -x502 -x500 -x498 -x496 -x494 -x492
1800.07/1800.65 v -x490 -x488 -x2 -x486 -x484 -x482 -x480 -x478 -x476 -x474 -x472 -x470 -x468 -x466 -x464 -x462 -x460 -x458 -x456 -x454 -x452 -x450
1800.07/1800.65 v -x448 -x446 -x444 -x442 -x440 -x438 -x436 -x434 -x432 -x430 -x428 -x426 -x1 -x424 -x422 -x420 -x418 -x416 x414 -x412 -x410
1800.07/1800.65 v -x408 -x406 -x404 -x402 -x400 -x398 -x396 -x394 -x392 -x390 -x388 -x386 -x384 -x382 -x380 -x378 -x376 -x374 -x372 -x370 -x368
1800.07/1800.65 v -x366 -x364 -x362 -x360 -x358 -x356 -x354 -x352 -x350 -x348 -x346 -x344 -x342 -x340 -x338 -x336 -x334 -x332 -x330 -x328 -x326
1800.07/1800.65 v -x324 -x322 -x320 -x318 -x316 -x314 -x312 -x310 -x308 -x306 -x304 -x302 -x300 -x298 -x296 -x294 -x292 -x290 -x288 -x286
1800.07/1800.65 v -x284 -x282 -x280 -x278 x276 -x274 -x272 -x270 -x268 -x266 -x264 -x262 -x260 -x258 -x256 -x254 -x252 -x250 -x248 -x246 -x244
1800.07/1800.65 v -x242 -x240 -x238 -x236 x7926 -x7925 x7924 -x7922 x7920 -x7919 -x7917 -x7915 -x7913 -x7911 -x7909 -x7907 -x7905 -x7903 -x7901
1800.07/1800.65 v -x7900 -x7898 x7896 -x7895 -x7893 -x7891 -x7889 -x7887 -x7885 -x7883 -x7881 -x7879 -x7877 -x7875 -x7874 -x7872 -x7870 x7868
1800.07/1800.65 v -x7866 -x7864 -x7862 -x7860 -x7858 -x7856 -x7854 -x7852 -x7850 -x7848 -x7846 -x7844 -x7843 -x7841 -x7839 -x7837 -x7835 -x7833
1800.07/1800.65 v -x7831 -x7829 -x7827 -x7825 -x7823 -x7821 -x7819 -x7817 -x7815 x7813 -x7812 -x7810 -x7808 -x7806 -x7804 -x7802 -x7800 -x7798
1800.07/1800.65 v -x7796 -x7794 -x7793 -x7791 -x7789 -x7787 -x7785 -x7783 -x7781 -x7779 -x7777 -x7775 -x7773 -x7771 -x7769 -x7767 -x7765 -x7763
1800.07/1800.65 v -x7761 -x7759 -x7757 -x7755 -x7753 -x7751 -x7749 -x7747 -x7745 -x7743 -x7741 -x7739 -x7737 -x7735 -x7733 -x7731 -x7729 -x7727
1800.07/1800.65 v -x7725 -x7723 -x7721 -x7719 -x7717 -x7715 -x7713 -x7711 -x7709 -x7707 -x7705 -x7703 -x7701 -x7699 -x7697 -x7695 -x7693 -x7691
1800.07/1800.65 v -x7689 -x7687 -x7685 -x7683 -x7681 -x7679 -x7677 -x7675 -x7673 -x7671 -x7669 -x7667 -x7665 -x7663 -x7661 -x7659 -x7657 -x7655
1800.07/1800.65 v -x7654 -x7652 -x7650 -x7648 -x7646 -x7644 -x7642 -x7640 -x7638 -x7636 -x7634 -x7632 -x7630 -x7628 -x7626 -x7624 -x7622 -x7620
1800.07/1800.65 v -x7618 -x7616 -x7614 -x7612 -x7610 -x7608 -x7606 -x7604 -x7602 -x7600 -x7598 -x7596 -x7594 -x7592 -x7590 -x7588 -x7586
1800.07/1800.65 v -x7584 -x7582 -x7581 -x7579 -x7577 -x7575 -x7573 -x7571 -x7569 -x7567 -x7565 -x7563 -x7561 -x7559 -x7557 -x7555 -x7553 -x7551
1800.07/1800.65 v -x7549 -x7547 -x7545 -x7543 -x7541 -x7539 -x7537 -x7535 -x7533 x7531 -x7530 -x7528 -x7526 -x7524 -x7522 -x7520 -x7518 -x7517
1800.07/1800.65 v -x7515 -x7513 -x7511 -x7509 -x7507 -x7505 -x7503 -x7501 -x7499 -x7497 -x7495 -x7493 -x7491 -x7489 -x7487 -x7485 -x7483 -x7481
1800.07/1800.65 v -x7479 -x7477 -x7475 -x7473 -x7471 -x7469 -x7467 -x7465 -x7463 -x7461 -x7459 -x7457 -x7455 -x7453 -x7451 -x7449 -x7447 -x7445
1800.07/1800.65 v -x7443 -x7441 x7439 -x7437 -x7435 -x7433 -x7431 -x7429 -x7427 -x7425 -x7423 -x7421 -x7419 -x7417 -x7415 -x7413 -x7411 -x7409
1800.07/1800.65 v -x7407 -x7405 -x7403 -x7401 -x7399 -x7397 -x7395 -x7393 -x7391 -x7389 -x7387 -x7385 -x7383 -x7381 -x7379 -x7377 -x7375 -x7373
1800.07/1800.65 v -x7371 -x7369 -x7367 -x7365 -x7363 -x7361 -x7359 -x7357 -x7355 -x7353 -x7351 -x7349 -x7347 -x7345 -x7343 -x7341 -x7339 -x7337
1800.07/1800.65 v -x7335 -x7333 -x7331 -x7329 -x7327 -x7325 -x7323 -x7321 -x7319 -x7317 -x7315 -x7313 -x7311 -x7309 -x7307 -x7305 -x7303 -x7301
1800.07/1800.65 v -x7299 -x7297 -x7295 -x7293 -x7291 -x7289 -x7287 -x7285 -x7283 -x7281 -x7279 -x7277 -x7275 -x7273 -x7271 -x7269 -x7267
1800.07/1800.65 v -x7265 -x7263 -x7261 -x7259 -x7257 -x7255 -x7253 -x7251 -x7249 -x7247 -x7245 -x7243 -x7241 -x7239 -x7237 -x7235 -x7233 -x7231
1800.07/1800.65 v -x7229 -x7227 -x7225 -x7223 -x7221 -x7219 -x7217 -x7215 -x7213 -x7211 -x7209 -x7207 -x7205 -x7203 -x7201 x7199 -x7197 -x7195
1800.07/1800.65 v -x7193 -x7192 -x7190 -x7188 -x7186 -x7185 -x7183 -x7181 -x7179 -x7177 -x7175 -x7173 -x7171 -x7169 -x7167 -x7165 -x7163 -x7161
1800.07/1800.65 v -x7159 -x7157 -x7155 -x7153 -x7151 -x7149 -x7147 -x7146 -x7144 -x7142 -x7140 -x7138 -x7136 -x7134 -x7132 -x7130 -x7128 -x7126
1800.07/1800.65 v -x7124 -x7122 -x7120 -x7118 -x7116 -x7114 -x7112 -x7110 -x7108 -x7106 -x7104 -x7103 -x7101 -x7099 -x7097 -x7095 -x7093 -x7091
1800.07/1800.65 v -x7089 -x7087 -x7085 -x7083 -x7081 -x7079 -x7077 -x7075 -x7073 -x7071 -x7069 -x7067 -x7065 -x7063 -x7061 -x7059 -x7057 -x7055
1800.07/1800.65 v -x7053 -x7051 -x7049 -x7047 -x7045 -x7043 -x7041 -x7039 -x7037 -x7035 -x7033 -x7031 -x7029 -x7027 -x7025 -x7023 -x7021 -x7019
1800.07/1800.65 v -x7017 -x7015 -x7013 -x7011 -x7009 -x7007 -x7005 -x7003 -x7001 -x6999 -x6997 -x6995 -x6993 -x6991 -x6989 -x6987 -x6985
1800.07/1800.65 v -x6983 -x6981 -x6979 -x6977 -x6976 -x6974 -x6972 -x6970 -x6968 -x6966 -x6964 -x6962 -x6960 -x6958 -x6956 -x6954 -x6952 -x6951
1800.07/1800.65 v -x6949 -x6947 -x6945 -x6943 -x6941 -x6939 -x6937 -x6935 -x6933 -x6931 -x6929 -x6927 -x6925 -x6923 -x6921 -x6919 -x6917 -x6915
1800.07/1800.65 v -x6913 -x6911 -x6909 -x6907 -x6905 -x6903 -x6901 -x6899 x6897 -x6895 -x6893 -x6891 -x6889 -x6887 x6885 -x6883 -x6881 -x6879
1800.07/1800.65 v -x6877 -x6875 -x6873 -x6871 -x6869 -x6867 -x6865 -x6863 -x6861 -x6859 -x6857 -x6855 -x6853 -x6851 -x6849 -x6847 -x6845 -x6843
1800.07/1800.65 v -x6841 -x6839 -x6837 -x6835 -x6833 -x6831 -x6829 -x6827 -x6825 -x6823 -x6821 -x6819 -x6817 -x6815 -x6813 -x6811 -x6809 -x6807
1800.07/1800.65 v -x6805 -x6803 -x6801 -x6799 -x6797 -x6795 -x6793 -x6791 -x6789 -x6787 -x6785 -x6783 -x6781 -x6779 -x6777 x6775 -x6773 -x6771
1800.07/1800.65 v -x6769 -x6767 -x6765 -x6763 -x6761 -x6759 -x6757 -x6755 -x6753 -x6751 x6749 -x6747 -x6745 -x6743 -x6741 -x6739 -x6737 -x6735
1800.07/1800.65 v -x6733 -x6731 -x6729 -x6727 -x6725 -x6723 -x6721 -x6719 -x6717 -x6715 -x6713 -x6711 -x6709 -x6707 -x6705 -x6703 -x6701 -x6699
1800.07/1800.65 v -x6697 -x6695 -x6693 -x6691 -x6690 -x6688 -x6686 -x6684 -x6682 -x6680 -x6678 -x6676 -x6674 -x6672 -x6670 -x6668 -x6666 -x6664
1800.07/1800.65 v -x6662 -x6660 -x6658 -x6656 -x6654 -x6652 -x6650 -x6648 -x6646 -x6644 -x6642 -x6640 -x6638 -x6636 -x6634 -x6632 -x6630 -x6628
1800.07/1800.65 v -x6626 -x6624 -x6622 -x6620 -x6618 -x6616 -x6614 -x6612 -x6610 -x6608 -x6606 -x6604 -x6602 -x6600 -x6599 -x6597 -x6595
1800.07/1800.65 v -x6593 -x6591 -x6589 -x6587 -x6585 -x6583 -x6581 -x6579 -x6577 -x6575 -x6573 -x6571 -x6569 -x6567 -x6565 -x6563 -x6561 -x6559
1800.07/1800.65 v -x6557 -x6555 -x6553 -x6551 -x6549 -x6547 -x6545 -x6543 -x6541 -x6539 -x6537 -x6535 -x6533 -x6531 -x6529 -x6527 -x6525 -x6523
1800.07/1800.65 v -x6521 -x6519 -x6517 -x6515 -x6513 -x6511 -x6509 -x6507 -x6505 -x6503 -x6501 -x6499 -x6497 -x6495 -x6493 -x6491 -x6489 -x6487
1800.07/1800.65 v -x6485 -x6483 -x6481 -x6479 -x6477 -x6475 -x6473 -x6471 -x6469 -x6467 -x6465 -x6463 -x6461 -x6459 -x6457 -x6455 -x6453 -x6451
1800.07/1800.65 v -x6449 -x6447 x6445 -x6443 -x6441 -x6439 -x6437 -x6435 -x6433 -x6431 -x6429 -x6427 -x6425 -x6423 -x6421 -x6419 -x6417 x6415
1800.07/1800.65 v -x6413 -x6411 -x6409 -x6407 -x6405 -x6403 -x6401 -x6399 -x6397 -x6395 -x6393 -x6391 -x6390 -x6388 -x6386 -x6384 -x6382 -x6380
1800.07/1800.65 v -x6378 -x6376 -x6374 x6372 -x6370 -x6368 -x6366 -x6364 -x6362 -x6360 -x6359 -x6357 -x6355 -x6353 -x6351 -x6349 -x6347 -x6345
1800.07/1800.65 v -x6343 -x6341 -x6339 -x6337 -x6335 -x6333 -x6331 -x6329 -x6327 -x6326 -x6324 -x6322 -x6321 -x6319 -x6317 -x6315 -x6313 -x6311
1800.07/1800.65 v -x6309 -x6307 -x6305 -x6303 -x6301 -x6299 -x6297 -x6295 -x6293 -x6291 -x6289 -x6287 -x6285 -x6283 -x6281 -x6279 -x6277 -x6275
1800.07/1800.65 v -x6273 -x6272 -x6270 -x6268 -x6266 -x6264 -x6262 -x6260 -x6258 -x6256 -x6254 -x6252 -x6250 -x6248 -x6246 -x6244 -x6242
1800.07/1800.65 v -x6240 -x6238 -x6236 -x6234 -x6232 -x6230 -x6228 -x6226 -x6224 -x6222 -x6220 -x6218 -x6216 -x6214 -x6212 -x6210 -x6208 -x6206
1800.07/1800.65 v -x6205 -x6203 -x6201 -x6199 -x6197 -x6195 -x6193 -x6191 -x6189 -x6187 -x6185 -x6183 -x6181 -x6179 -x6177 -x6176 -x6174 -x6172
1800.07/1800.65 v -x6170 -x6168 -x6166 -x6164 -x6162 -x6160 -x6158 x6156 -x6154 -x6152 -x6150 -x6148 -x6146 -x6144 -x6142 -x6140 -x6138 -x6136
1800.07/1800.65 v -x6134 -x6132 -x6130 -x6128 -x6126 -x6124 -x6122 -x6120 -x6118 -x6116 -x6114 -x6113 -x6111 -x6109 -x6107 -x6105 -x6103 -x6101
1800.07/1800.65 v -x6099 -x6097 -x6095 -x6093 -x6091 -x6089 -x6087 -x6085 -x6083 -x6081 -x6079 -x6077 -x6075 -x6073 -x6071 -x6069 -x6067 -x6066
1800.07/1800.65 v -x6064 -x6062 -x6060 -x6058 -x6056 -x6054 -x6052 -x6050 -x6048 -x6046 -x6044 -x6042 -x6040 -x6038 -x6036 -x6034 -x6032 -x6030
1800.07/1800.65 v -x6028 -x6026 -x6024 -x6023 -x6021 -x6019 -x6017 -x6015 -x6013 -x6011 -x6010 -x6008 -x6006 -x6004 -x6002 -x6000 -x5998 -x5996
1800.07/1800.65 v -x5994 -x5992 -x5990 -x5988 -x5986 -x5984 -x5982 -x5980 -x5978 -x5976 -x5975 -x5973 -x5971 -x5969 -x5967 -x5965 -x5964
1800.07/1800.65 v -x5962 -x5960 -x5958 -x5956 -x5954 -x5952 -x5950 -x5949 -x5947 -x5945 -x5943 -x5941 -x5939 -x5937 -x5935 -x5933 -x5931 -x5929
1800.07/1800.65 v -x5927 -x5925 -x5923 -x5921 -x5919 -x5917 -x5915 -x5913 -x5911 -x5909 -x5907 -x5905 -x5903 -x5901 -x5899 -x5897 -x5895 -x5893
1800.07/1800.65 v -x5891 -x5889 -x5887 -x5885 -x5883 -x5881 -x5879 -x5877 -x5875 -x5873 -x5871 -x5869 -x5867 -x5865 -x5863 -x5861 -x5859 -x5857
1800.07/1800.65 v -x5855 -x5853 -x5851 -x5849 -x5847 -x5845 -x5843 -x5841 -x5839 -x5837 -x5835 -x5833 -x5831 -x5829 -x5827 -x5825 -x5823 -x5821
1800.07/1800.65 v -x5819 -x5817 -x5815 -x5813 -x5811 -x5809 -x5807 -x5805 -x5803 -x5801 -x5799 -x5797 -x5795 -x5793 -x5791 -x5789 -x5787 -x5785
1800.07/1800.65 v -x5784 -x5782 -x5780 -x5778 -x5776 -x5774 -x5772 -x5770 -x5768 -x5766 -x5764 -x5762 -x5760 -x5758 -x5756 -x5754 -x5752 -x5750
1800.07/1800.65 v -x5748 -x5746 -x5744 -x5742 -x5740 -x5738 -x5736 -x5734 -x5732 -x5730 -x5728 -x5726 -x5724 -x5722 -x5720 -x5718 -x5716
1800.07/1800.65 v -x5714 -x5712 -x5710 -x5708 -x5706 -x5704 -x5702 -x5700 -x5698 -x5696 -x5694 -x5692 -x5690 -x5688 -x5686 -x5684 -x5682 -x5680
1800.07/1800.65 v -x5678 -x5676 -x5674 -x5672 -x5670 -x5668 -x5666 -x5664 -x5662 -x5660 -x5658 -x5656 -x5654 -x5652 -x5650 -x5648 -x5646 -x5644
1800.07/1800.65 v -x5642 -x5640 -x5638 -x5636 -x5635 -x5633 -x5631 -x5629 -x5627 -x5625 -x5623 -x5621 -x5619 -x5617 -x5615 -x5613 -x5611 -x5609
1800.07/1800.65 v -x5607 -x5605 -x5603 -x5601 -x5599 -x5597 -x5595 -x5593 -x5591 -x5589 -x5587 -x5585 -x5583 -x5581 -x5579 -x5577 -x5575 -x5573
1800.07/1800.65 v -x5571 -x5569 -x5567 -x5565 -x5563 -x5561 -x5559 -x5557 -x5555 -x5553 -x5551 -x5549 -x5547 -x5545 -x5543 -x5541 -x5539 -x5537
1800.07/1800.65 v -x5535 -x5533 -x5531 -x5529 -x5527 -x5525 -x5523 -x5521 -x5519 -x5517 -x5515 -x5513 -x5511 -x5509 -x5507 -x5505 -x5503 -x5501
1800.07/1800.65 v -x5499 -x5497 -x5495 -x5493 -x5491 -x5489 -x5487 -x5485 -x5483 -x5481 -x5479 -x5477 -x5475 -x5473 -x5471 -x5469 -x5467
1800.07/1800.65 v -x5465 -x5463 -x5461 -x5459 -x5457 -x5455 -x5453 -x5451 -x5449 -x5447 -x5445 -x5443 -x5441 -x5439 -x5437 -x5435 -x5433 -x5431
1800.07/1800.65 v -x5429 -x5427 -x5425 -x5423 -x5421 -x5419 -x5417 -x5415 -x5413 -x5411 -x5409 -x5407 -x5405 -x5403 -x5401 -x5399 -x5397 -x5395
1800.07/1800.65 v -x5393 -x5391 -x5389 -x5387 -x5385 -x5383 -x5381 -x5379 -x5377 -x5375 -x5373 -x5371 -x5369 -x5367 -x5365 -x5363 -x5361 -x5359
1800.07/1800.65 v -x5357 -x5355 -x5353 -x5351 -x5350 -x5348 -x5346 -x5344 -x5342 -x5341 -x5339 -x5337 x5335 -x5333 -x5331 -x5329 -x5327 -x5325
1800.07/1800.65 v -x5324 -x5322 -x5320 -x5318 -x5316 -x5314 -x5312 -x5310 -x5308 -x5306 -x5304 -x5302 -x5300 -x5298 -x5296 -x5294 -x5292 -x5290
1800.07/1800.65 v -x5288 -x5286 -x5284 x5282 -x5280 -x5278 -x5276 -x5274 -x5272 -x5270 -x5268 -x5266 -x5264 -x5262 -x5260 -x5258 -x5256 -x5254
1800.07/1800.65 v -x5252 x5250 -x5248 -x5246 -x5244 -x5242 -x5240 -x5238 -x5236 -x5234 -x5232 -x5230 -x5228 -x5226 -x5225 -x5223 -x5221 -x5219
1800.07/1800.65 v -x5217 -x5215 -x5213 -x5211 -x5209 -x5207 -x5206 -x5204 -x5202 -x5200 -x5198 -x5196 -x5194 -x5192 -x5190 -x5188 -x5186 -x5184
1800.07/1800.65 v -x5182 -x5180 -x5178 -x5176 -x5174 -x5172 -x5170 -x5168 -x5166 -x5164 -x5162 -x5160 -x5158 -x5156 -x5154 -x5152 -x5150 -x5148
1800.07/1800.65 v -x5146 -x5144 -x5142 -x5140 -x5138 -x5136 -x5134 -x5132 -x5130 -x5128 -x5126 -x5124 -x5122 -x5120 -x5118 -x5116 -x5114
1800.07/1800.65 v -x5112 -x5110 -x5108 -x5106 -x5104 -x5102 -x5100 -x5098 -x5096 -x5094 -x5092 -x5090 -x5088 -x5086 -x5084 -x5082 -x5080 -x5078
1800.07/1800.65 v -x5076 -x5074 -x5072 -x5070 -x5068 -x5066 -x5064 -x5062 -x5060 -x5058 -x5056 -x5054 -x5052 -x5050 -x5048 -x5046 -x5044 -x5042
1800.07/1800.65 v -x5040 -x5038 -x5036 -x5034 -x5032 -x5030 -x5028 -x5026 -x5024 -x5022 -x5020 -x5018 -x5016 -x5014 -x5012 -x5010 -x5008 -x5006
1800.07/1800.65 v -x5004 -x5002 -x5000 -x4998 -x4996 -x4994 -x4992 -x4990 -x4988 -x4986 -x4984 -x4982 -x4980 -x4978 -x4976 -x4974 -x4972 -x4970
1800.07/1800.65 v -x4968 -x4966 -x4964 -x4962 -x4960 -x4958 -x4956 -x4954 -x4952 -x4950 -x4949 -x4947 -x4945 -x4943 -x4941 -x4939 -x4937 -x4935
1800.07/1800.65 v -x4933 -x4931 -x4929 -x4927 -x4925 -x4923 -x4921 -x4919 -x4917 -x4915 -x4913 -x4911 -x4909 -x4907 -x4905 -x4903 -x4901 -x4899
1800.07/1800.65 v -x4897 -x4895 -x4893 -x4891 -x4889 -x4887 -x4885 -x4883 -x4881 -x4879 -x4877 -x4875 -x4873 -x4871 -x4869 -x4867 -x4865
1800.07/1800.65 v -x4863 x4861 -x4859 -x4857 -x4855 -x4853 -x4851 -x4849 -x4847 -x4845 -x4843 -x4841 -x4839 -x4837 -x4835 -x4833 -x4831 -x4829
1800.07/1800.65 v -x4827 -x4825 -x4823 -x4821 -x4819 -x4817 -x4815 -x4813 -x4811 -x4809 -x4807 -x4805 -x4803 -x4801 -x4799 -x4797 -x4795 -x4793
1800.07/1800.65 v -x4791 -x4789 -x4787 -x4785 -x4783 -x4781 -x4779 -x4777 -x4775 -x4773 -x4771 -x4769 -x4767 -x4765 -x4763 -x4761 -x4759 -x4757
1800.07/1800.65 v -x4755 -x4753 -x4751 -x4749 -x4747 -x4745 -x4743 -x4741 -x4739 -x4737 -x4735 -x4733 -x4731 -x4729 -x4727 -x4725 -x4723 -x4722
1800.07/1800.65 v -x4720 -x4718 -x4716 -x4714 -x4712 -x4710 -x4708 -x4706 -x4704 -x4702 -x4700 -x4698 -x4696 -x4694 -x4692 -x4690 -x4688 -x4686
1800.07/1800.65 v -x4684 -x4682 -x4680 -x4678 -x4676 -x4674 -x4672 -x4670 -x4668 -x4666 -x4664 -x4662 -x4660 -x4658 -x4656 -x4654 -x4652 -x4650
1800.07/1800.65 v -x4648 -x4646 -x4644 -x4642 -x4640 -x4638 -x4636 -x4634 -x4632 -x4630 -x4628 -x4626 -x4624 -x4622 -x4620 -x4618 -x4616 -x4614
1800.07/1800.65 v -x4612 -x4610 -x4608 -x4606 -x4604 -x4603 -x4601 -x4599 -x4597 -x4595 -x4593 -x4591 -x4589 -x4587 -x4585 -x4583 -x4581
1800.07/1800.65 v -x4579 -x4577 -x4575 -x4573 -x4571 -x4569 -x4567 -x4565 -x4563 -x4561 -x4559 -x4557 -x4555 -x4553 -x4551 -x4549 -x4547 -x4545
1800.07/1800.65 v -x4543 -x4541 -x4539 -x4537 -x4535 -x4533 -x4531 -x4529 -x4527 -x4525 -x4523 -x4521 -x4519 -x4517 -x4515 -x4513 -x4511 -x4509
1800.07/1800.65 v -x4507 -x4505 -x4503 -x4501 -x4499 -x4497 -x4495 -x4493 -x4491 -x4489 -x4487 -x4485 -x4483 -x4481 -x4479 -x4477 -x4475 -x4473
1800.07/1800.65 v -x4471 -x4469 -x4467 -x4465 -x4463 -x4461 -x4459 -x4457 -x4455 -x4453 -x4451 -x4449 -x4447 -x4445 -x4443 -x4441 -x4439 -x4437
1800.07/1800.65 v -x4435 -x4433 -x4431 -x4429 -x4427 -x4425 -x4423 -x4421 -x4419 -x4417 -x4415 -x4413 -x4411 -x4409 -x4407 -x4405 -x4403 -x4401
1800.07/1800.65 v -x4399 -x4397 -x4395 -x4393 -x4391 -x4389 -x4387 -x4385 -x4383 -x4381 -x4379 -x4377 -x4375 -x4373 -x4371 -x4369 -x4367 -x4365
1800.07/1800.65 v -x4363 -x4361 -x4359 -x4357 -x4355 -x4353 -x4351 -x4349 -x4347 -x4345 -x4343 -x4341 -x4339 -x4337 -x4335 -x4333 -x4331
1800.07/1800.65 v -x4329 -x4327 -x4325 -x4323 -x4321 -x4319 -x4317 -x4315 -x4313 -x4311 -x4309 -x4307 x4306 -x4304 -x4302 -x4300 -x4298 -x4296
1800.07/1800.65 v -x4294 -x4292 -x4290 -x4288 -x4286 -x4284 -x4282 -x4280 -x4278 -x4276 -x4274 -x4272 -x4270 -x4268 -x4266 -x4265 -x4263 -x4261
1800.07/1800.65 v -x4259 -x4257 -x4255 -x4253 -x4251 -x4249 -x4247 x4245 -x4243 -x4241 -x4239 -x4237 -x4235 -x4233 -x4231 -x4229 -x4227 -x4225
1800.07/1800.65 v -x4223 -x4221 -x4219 -x4217 -x4215 -x4213 -x4211 -x4209 -x4207 -x4205 -x4203 -x4201 -x4199 -x4197 -x4195 -x4193 -x4191 -x4189
1800.07/1800.65 v -x4187 -x4185 -x4183 -x4181 -x4179 -x4177 -x4175 -x4173 -x4172 -x4170 -x4168 -x4166 -x4164 -x4162 -x4161 -x4159 -x4157 -x4155
1800.07/1800.65 v -x4153 -x4151 -x4149 -x4147 -x4145 -x4143 -x4141 -x4139 -x4137 -x4135 -x4133 -x4131 -x4129 -x4127 -x4125 -x4123 -x4121 -x4119
1800.07/1800.65 v -x4117 -x4115 -x4113 -x4111 -x4109 -x4107 -x4105 -x4103 -x4101 -x4099 -x4097 -x4095 -x4093 -x4091 -x4089 -x4087 -x4085 -x4083
1800.07/1800.65 v -x4081 -x4079 -x4077 -x4075 -x4073 -x4071 -x4069 -x4067 -x4065 -x4063 -x4061 -x4059 -x4057 -x4055 -x4053 -x4051 -x4049 -x4047
1800.07/1800.65 v -x4045 -x4043 -x4041 -x4039 -x4037 -x4035 -x4033 -x4031 -x4029 -x4027 -x4025 -x4023 -x4021 -x4019 -x4017 -x4015 -x4013
1800.07/1800.65 v -x4011 -x4009 -x4007 -x4005 -x4003 -x4001 -x3999 -x3997 -x3995 -x3993 -x3991 -x3989 -x3987 -x3985 -x3984 -x3982 -x3980 -x3978
1800.07/1800.65 v -x3976 -x3974 -x3972 -x3970 -x3968 -x3966 -x3964 -x3962 -x3960 -x3958 -x3956 -x3954 -x3952 -x3950 -x3948 -x3946 -x3944 -x3942
1800.07/1800.65 v -x3940 -x3938 -x3936 -x3934 -x3932 -x3930 -x3928 -x3926 -x3924 -x3922 -x3920 -x3918 -x3916 -x3914 -x3912 -x3910 -x3908 -x3906
1800.07/1800.65 v -x3904 -x3902 -x3900 -x3898 -x3896 -x3894 -x3892 -x3891 -x3889 -x3887 -x3885 -x3883 -x3881 -x3879 -x3877 -x3875 -x3873 -x3872
1800.07/1800.65 v -x3870 -x3868 -x3866 -x3864 -x3862 -x3860 -x3858 -x3856 -x3854 -x3852 -x3850 -x3848 -x3846 -x3844 -x3842 -x3840 -x3838 -x3836
1800.07/1800.65 v -x3834 -x3832 -x3830 -x3828 -x3826 -x3824 -x3822 -x3820 -x3818 -x3816 -x3814 -x3812 -x3810 -x3808 -x3806 -x3804 -x3802 -x3800
1800.07/1800.65 v -x3798 -x3796 -x3794 -x3792 -x3790 -x3788 -x3786 -x3784 -x3782 -x3780 -x3778 -x3776 -x3774 -x3772 -x3770 -x3768 -x3766
1800.07/1800.65 v -x3764 -x3762 -x3760 -x3758 -x3756 -x3754 -x3752 -x3750 -x3748 -x3746 -x3744 -x3742 -x3740 -x3738 -x3736 -x3734 -x3733 -x3731
1800.07/1800.65 v -x3729 -x3727 x3725 -x3723 -x3721 -x3719 -x3717 -x3715 -x3713 -x3711 -x3709 -x3707 -x3705 -x3703 -x3701 -x3699 -x3697 -x3695
1800.07/1800.65 v -x3693 -x3691 -x3689 -x3687 -x3685 -x3683 -x3681 -x3679 -x3677 -x3675 -x3673 -x3671 -x3669 -x3667 -x3665 -x3663 -x3661 -x3659
1800.07/1800.65 v -x3657 -x3655 -x3653 -x3651 -x3649 -x3647 -x3645 -x3643 -x3641 -x3639 -x3637 -x3635 -x3633 -x3631 -x3629 -x3627 -x3625 -x3623
1800.07/1800.65 v -x3621 -x3619 -x3617 -x3615 -x3613 -x3611 -x3609 -x3607 -x3605 -x3603 -x3601 -x3599 -x3597 -x3595 -x3593 -x3591 -x3589 -x3587
1800.07/1800.65 v -x3585 -x3583 -x3581 -x3579 -x3577 -x3576 -x3574 -x3572 -x3570 -x3568 -x3566 -x3564 -x3562 -x3560 -x3558 -x3556 -x3554 -x3552
1800.07/1800.65 v -x3550 -x3548 -x3546 -x3544 -x3542 -x3540 -x3538 -x3536 -x3534 -x3532 -x3530 -x3528 -x3526 -x3524 -x3522 -x3520 -x3518 -x3516
1800.07/1800.65 v -x3514 -x3512 -x3510 -x3508 -x3506 -x3504 -x3502 -x3500 -x3498 -x3496 -x3494 -x3492 -x3490 -x3488 -x3486 -x3484 -x3482
1800.07/1800.65 v -x3480 -x3478 -x3476 -x3474 -x3472 -x3470 -x3468 -x3466 -x3464 -x3462 -x3460 -x3458 -x3456 -x3454 -x3452 -x3450 -x3448 -x3446
1800.07/1800.65 v -x3444 -x3442 -x3440 -x3438 -x3436 -x3434 -x3432 -x3430 -x3428 -x3426 -x3424 -x3422 -x3420 -x3418 -x3416 -x3414 -x3412 -x3410
1800.07/1800.65 v -x3408 -x3406 -x3404 -x3402 -x3400 -x3398 -x3396 -x3394 -x3392 -x3390 -x3388 -x3386 -x3384 -x3382 -x3380 -x3378 -x3376 -x3374
1800.07/1800.65 v -x3372 -x3370 -x3368 -x3366 -x3364 -x3362 -x3360 -x3358 -x3356 -x3354 -x3352 -x3351 -x3349 -x3347 -x3345 -x3343 -x3341 -x3339
1800.07/1800.65 v -x3337 -x3335 -x3333 -x3331 -x3329 -x3327 -x3325 -x3323 -x3321 -x3319 -x3317 -x3315 -x3313 -x3311 -x3309 -x3307 -x3305 -x3303
1800.07/1800.65 v -x3301 -x3299 -x3297 -x3295 -x3293 -x3292 -x3290 -x3289 -x3287 -x3285 -x3283 -x3281 -x3279 -x3277 -x3275 -x3273 -x3271 -x3269
1800.07/1800.65 v -x3267 -x3265 -x3263 -x3261 -x3259 -x3257 -x3255 -x3254 -x3252 -x3250 -x3248 -x3246 -x3244 -x3242 -x3240 -x3238 -x3236
1800.07/1800.65 v -x3234 -x3232 -x3230 -x3228 -x3226 -x3224 -x3222 -x3220 -x3218 -x3216 -x3214 -x3212 -x3210 -x3208 -x3206 -x3204 -x3202 -x3200
1800.07/1800.65 v -x3198 -x3196 -x3194 -x3192 -x3190 -x3188 -x3186 -x3184 -x3182 -x3180 -x3178 -x3176 -x3174 -x3172 -x3170 -x3168 -x3166 -x3164
1800.07/1800.65 v -x3162 -x3160 -x3158 -x3156 -x3154 -x3152 -x3150 -x3148 -x3146 -x3144 -x3142 -x3140 -x3138 -x3136 -x3134 -x3132 -x3130 -x3128
1800.07/1800.65 v -x3126 -x3124 -x3122 -x3120 -x3118 -x3116 -x3114 -x3112 -x3110 -x3108 -x3106 -x3104 -x3102 -x3100 -x3098 -x3096 -x3094 -x3092
1800.07/1800.65 v -x3090 -x3088 -x3086 -x3084 -x3082 -x3080 -x3078 -x3076 -x3074 -x3072 -x3070 -x3068 -x3066 -x3064 -x3062 -x3060 -x3058 -x3056
1800.07/1800.65 v -x3054 -x3052 -x3050 -x3048 -x3046 -x3044 -x3042 -x3040 -x3038 -x3036 -x3034 -x3032 -x3030 -x3028 -x3026 -x3024 -x3022 -x3020
1800.07/1800.65 v -x3018 -x3016 -x3014 -x3012 -x3010 -x3008 -x3006 -x3004 -x3002 -x3000 -x2999 -x2997 -x2995 -x2993 -x2991 -x2989 -x2987
1800.07/1800.65 v -x2985 -x2983 -x2981 -x2979 -x2977 -x2975 -x2973 -x2971 -x2969 -x2967 -x2965 -x2963 -x2961 -x2959 -x2957 -x2955 -x2953 -x2951
1800.07/1800.65 v -x2949 -x2947 -x2945 -x2943 -x2941 -x2939 -x2937 -x2935 -x2933 -x2931 -x2929 -x2927 -x2925 -x2923 -x2921 -x2919 -x2917 -x2915
1800.07/1800.65 v -x2913 -x2911 -x2909 -x2907 -x2905 -x2903 -x2901 -x2899 -x2897 -x2895 -x2893 -x2891 -x2889 -x2887 -x2885 -x2883 -x2881 -x2879
1800.07/1800.65 v -x2877 -x2875 -x2873 -x2871 -x2869 -x2867 -x2865 -x2863 -x2861 -x2859 -x2857 -x2855 -x2853 -x2851 -x2849 -x2847 -x2845 -x2843
1800.07/1800.65 v -x2841 -x2839 -x2837 -x2835 -x2833 -x2831 -x2829 -x2827 -x2825 -x2823 -x2821 -x2819 -x2817 -x2815 -x2813 -x2811 -x2809 -x2807
1800.07/1800.65 v -x2805 -x2803 -x2801 -x2799 -x2797 -x2795 -x2793 -x2791 -x2789 -x2787 -x2785 -x2783 -x2781 -x2779 -x2777 -x2775 -x2773 -x2771
1800.07/1800.65 v -x2769 -x2767 -x2765 -x2763 -x2761 -x2759 -x2757 -x2755 -x2753 -x2751 -x2749 -x2747 -x2745 -x2743 -x2741 -x2739 -x2737
1800.07/1800.65 v -x2735 -x2733 -x2731 -x2729 -x2727 -x2725 -x2723 -x2721 -x2719 -x2717 -x2715 -x2713 -x2711 -x2709 -x2707 -x2705 -x2703 -x2701
1800.07/1800.65 v -x2699 -x2697 -x2695 -x2693 -x2691 -x2689 -x2687 -x2685 -x2683 -x2681 -x2679 -x2677 -x2675 -x2673 -x2671 -x2669 -x2667 -x2665
1800.07/1800.65 v -x2663 -x2661 -x2659 -x2657 -x2655 -x2653 -x2651 -x2649 -x2647 -x2645 -x2643 -x2641 -x2639 -x2637 -x2635 -x2633 -x2631 -x2629
1800.07/1800.65 v -x2627 -x2625 -x2623 -x2621 -x2619 -x2617 -x2615 -x2613 -x2611 -x2609 -x2607 -x2605 -x2603 -x2601 -x2599 -x2597 -x2595 -x2593
1800.07/1800.65 v -x2591 -x2589 -x2587 -x2585 -x2583 -x2581 -x2579 -x2577 -x2575 -x2573 -x2571 -x2569 -x2567 -x2565 -x2563 -x2561 -x2559 -x2557
1800.07/1800.65 v -x2555 -x2553 -x2551 -x2549 -x2547 -x2545 -x2543 -x2541 -x2539 -x2537 -x2535 -x2533 -x2531 -x2529 -x2527 -x2525 -x2523 -x2522
1800.07/1800.65 v -x2520 -x2518 -x2516 -x2514 -x2512 -x2510 -x2508 -x2506 -x2504 -x2502 -x2500 -x2499 -x2497 -x2495 -x2493 -x2491 -x2489
1800.07/1800.65 v -x2487 -x2485 -x2483 -x2481 -x2479 -x2477 -x2475 -x2473 -x2471 -x2469 -x2467 -x2465 -x2463 -x2461 -x2459 -x2457 -x2455 -x2453
1800.07/1800.65 v -x2451 -x2449 -x2447 -x2445 -x2443 -x2441 -x2439 -x2437 -x2435 -x2433 -x2431 -x2429 -x2427 -x2425 -x2423 -x2421 -x2419 -x2417
1800.07/1800.65 v -x2415 -x2413 -x2411 -x2409 -x2407 -x2405 -x2403 -x2401 -x2399 -x2397 -x2395 -x2393 -x2391 -x2389 -x2387 -x2385 -x2383 -x2381
1800.07/1800.65 v -x2379 -x2377 -x2375 -x2373 -x2371 -x2369 -x2367 -x2365 -x2363 -x2361 -x2359 -x2357 -x2355 -x2353 -x2351 -x2349 -x2347 -x2345
1800.07/1800.65 v -x2343 -x2341 -x2339 -x2337 -x2336 -x2334 -x2332 -x2330 -x2328 -x2326 -x2324 -x2322 -x2320 -x2318 -x2316 -x2314 -x2312 -x2310
1800.07/1800.65 v -x2308 -x2306 -x2304 -x2302 -x2300 -x2298 -x2296 -x2294 -x2292 -x2290 -x2288 -x2286 -x2284 -x2282 -x2280 -x2278 -x2276 -x2274
1800.07/1800.65 v -x2272 -x2270 -x2268 -x2266 -x2264 -x2262 -x2260 -x2258 -x2256 -x2255 -x2253 -x2251 -x2249 -x2247 -x2245 -x2243 -x2241
1800.07/1800.65 v -x2239 -x2237 -x2235 -x2233 -x2231 -x2229 -x2227 -x2225 -x2223 -x2221 -x2219 -x2217 -x2215 -x2213 -x2211 -x2209 -x2207 -x2205
1800.07/1800.65 v -x2203 -x2201 -x2199 -x2197 -x2195 -x2193 -x2191 -x2189 -x2187 -x2185 -x2183 -x2181 -x2179 -x2177 -x2175 -x2173 -x2171 -x2169
1800.07/1800.65 v -x2167 -x2165 -x2163 -x2161 -x2159 -x2157 -x2155 -x2153 -x2151 -x2149 -x2147 -x2145 -x2143 -x2141 -x2139 -x2137 -x2135 -x2133
1800.07/1800.65 v -x2131 -x2129 -x2127 -x2125 -x2123 -x2121 -x2119 -x2117 -x2115 -x2113 -x2111 -x2109 -x2107 -x2105 -x2103 -x2101 -x2099 -x2097
1800.07/1800.65 v -x2095 -x2093 -x2091 -x2089 -x2087 -x2085 -x2083 -x2081 -x2079 -x2077 -x2075 -x2073 -x2071 -x2069 -x2067 -x2065 -x2063 -x2061
1800.07/1800.65 v -x2059 -x2057 -x2055 -x2053 -x2051 -x2049 -x2047 -x2045 -x2043 -x2041 -x2039 -x2037 -x2035 -x2033 -x2031 -x2029 -x2027 -x2025
1800.07/1800.65 v -x2023 -x2021 -x2019 x2017 -x2016 -x2014 -x2012 -x2010 -x2008 x2006 -x2005 x2003 -x2001 -x1999 -x1997 -x1995 -x1993 -x1991
1800.07/1800.65 v -x1990 -x1988 -x1986 -x1984 -x1982 -x1981 -x1979 -x1977 -x1975 -x1974 -x1972 -x1970 -x1968 -x1966 -x1964 -x1962 -x1960 -x1958
1800.07/1800.65 v -x1956 -x1954 -x1952 -x1950 -x1948 -x1946 -x1944 -x1942 -x1940 -x1938 -x1936 -x1934 -x1932 -x1930 -x1928 -x1926 -x1924 -x1922
1800.07/1800.65 v -x1920 -x1918 -x1916 -x1914 -x1912 -x1910 -x1908 -x1906 -x1904 -x1902 -x1900 -x1898 -x1897 -x1895 -x1893 -x1891 -x1889
1800.07/1800.65 v -x1887 -x1885 -x1883 -x1881 -x1879 -x1878 -x1876 -x1874 -x1872 -x1870 -x1868 -x1866 -x1864 -x1862 -x1860 -x1858 -x1856 -x1854
1800.07/1800.65 v -x1852 -x1850 -x1848 -x1846 -x1844 -x1842 -x1840 -x1838 -x1836 -x1834 -x1832 -x1830 -x1828 -x1826 -x1824 -x1822 -x1820 -x1818
1800.07/1800.65 v -x1816 -x1814 -x1812 -x1810 -x1808 -x1806 -x1804 -x1802 -x1800 -x1798 -x1796 -x1794 -x1792 -x1790 -x1788 -x1786 -x1784 -x1782
1800.07/1800.65 v -x1780 -x1778 -x1776 -x1774 -x1772 -x1770 -x1768 -x1766 -x1764 -x1762 -x1760 -x1758 -x1756 -x1754 -x1752 -x1750 -x1748 -x1746
1800.07/1800.65 v -x1744 -x1742 -x1740 -x1738 -x1736 -x1734 -x1732 -x1730 -x1728 -x1726 -x1724 -x1722 -x1720 -x1718 -x1716 -x1714 -x1712 -x1710
1800.07/1800.65 v -x1708 -x1706 -x1704 -x1702 -x1700 -x1698 -x1696 -x1694 -x1692 -x1690 -x1688 -x1686 -x1684 -x1682 -x1680 -x1678 -x1676 -x1674
1800.07/1800.65 v -x1672 -x1671 -x1669 -x1667 -x1665 -x1663 -x1661 -x1659 -x1657 -x1655 -x1653 -x1651 -x1649 -x1647 -x1645 -x1643 -x1641
1800.07/1800.65 v -x1639 -x1637 -x1635 -x1633 -x1631 -x1629 -x1627 -x1625 -x1623 -x1621 -x1619 -x1617 -x1615 -x1613 -x1611 -x1609 -x1607 -x1605
1800.07/1800.65 v -x1603 -x1601 -x1599 -x1597 -x1595 -x1593 -x1591 -x1589 -x1587 -x1585 -x1583 -x1581 -x1579 -x1577 -x1575 -x1573 -x1571 -x1569
1800.07/1800.65 v -x1567 -x1565 -x1563 -x1561 -x1559 -x1557 -x1555 -x1553 -x1551 -x1549 -x1547 -x1545 -x1543 -x1541 -x1539 -x1537 -x1535 -x1533
1800.07/1800.65 v -x1531 -x1530 -x1528 -x1526 -x1524 -x1522 -x1520 -x1518 -x1516 -x1514 -x1512 -x1510 -x1508 -x1506 -x1504 -x1502 -x1500 -x1498
1800.07/1800.65 v -x1496 -x1494 -x1492 -x1490 -x1488 -x1486 -x1484 -x1482 -x1480 -x1478 -x1476 -x1474 -x1472 -x1470 -x1468 -x1466 -x1464 -x1462
1800.07/1800.65 v -x1460 -x1458 -x1456 -x1454 -x1452 -x1450 x1448 -x1446 -x1444 -x1442 -x1440 -x1438 -x1436 -x1434 -x1432 -x1430 -x1428 -x1426
1800.07/1800.65 v -x1424 -x1422 -x1420 -x1418 -x1416 -x1414 -x1412 -x1410 -x1408 -x1406 -x1404 -x1402 -x1400 -x1398 -x1396 -x1394 -x1392 -x1390
1800.07/1800.65 v -x1388 -x1386 -x1384 -x1382 -x1380 -x1378 -x1376 -x1374 -x1372 -x1370 -x1369 -x1367 -x1365 -x1363 -x1361 -x1359 -x1357
1800.07/1800.65 v -x1355 -x1353 -x1351 -x1349 -x1347 -x1345 -x1343 -x1341 -x1339 -x1337 -x1335 -x1333 -x1331 -x1329 -x1327 -x1325 -x1323 -x1321
1800.07/1800.65 v -x1319 -x1317 -x1315 -x1313 -x1311 -x1309 -x1307 -x1305 -x1303 -x1301 -x1299 -x1297 -x1295 -x1293 -x1291 -x1289 -x1288 -x1286
1800.07/1800.65 v -x1284 -x1282 -x1280 -x1278 -x1276 -x1274 -x1272 -x1270 -x1268 -x1266 -x1264 -x1262 -x1260 -x1258 -x1256 -x1254 -x1252 -x1250
1800.07/1800.65 v -x1248 -x1246 -x1244 -x1242 -x1240 -x1238 -x1236 -x1234 -x1232 -x1230 -x1228 -x1226 -x1224 -x1222 -x1220 -x1218 -x1216 -x1214
1800.07/1800.65 v -x1212 -x1210 -x1208 -x1206 -x1204 -x1202 -x1200 -x1198 -x1196 -x1194 -x1192 -x1190 -x1188 -x1186 -x1184 -x1182 -x1180 -x1178
1800.07/1800.65 v -x1176 -x1174 -x1172 -x1170 -x1168 -x1166 -x1164 -x1162 -x1160 -x1158 -x1156 -x1154 -x1152 -x1150 -x1148 -x1146 -x1144 -x1142
1800.07/1800.65 v -x1140 -x1138 -x1136 -x1134 -x1132 -x1130 -x1128 -x1126 -x1124 -x1122 -x1120 -x1118 -x1116 -x1114 -x1112 -x1110 -x1108
1800.07/1800.65 v -x1106 -x1104 -x1102 -x1100 x1098 -x1096 -x1094 -x1092 -x1090 -x1088 -x1086 -x1084 -x1082 -x1080 -x1078 -x1076 -x1074 -x1072
1800.07/1800.65 v -x1070 -x1068 -x1066 -x1064 -x1062 -x1060 -x1058 -x1056 -x1054 -x1052 -x1050 -x1048 -x1046 -x1044 -x1042 -x1040 -x1038 -x1036
1800.07/1800.65 v -x1034 -x1032 -x1030 -x1028 -x1026 -x1024 -x1022 -x1020 -x1018 -x1016 -x1014 -x1012 -x1010 -x1008 -x1006 -x1004 -x1002 -x1000
1800.07/1800.65 v -x998 -x996 -x994 -x992 -x990 -x988 -x986 -x984 -x982 -x980 -x978 -x976 -x974 -x972 -x970 -x968 -x966 -x964 -x962 x960 -x958
1800.07/1800.65 v -x956 -x954 -x952 -x950 -x948 -x946 -x944 -x942 -x940 -x938 -x937 -x935 -x933 -x931 -x929 -x927 -x925 -x923 -x921 -x919 -x917
1800.07/1800.65 v -x915 -x913 -x911 -x909 -x907 -x905 -x903 -x901 -x899 -x897 -x895 -x893 -x891 -x889 -x887 -x885 -x883 -x881 -x879 -x877 -x875
1800.07/1800.65 v -x873 -x871 -x869 -x867 -x865 -x863 -x861 -x859 -x857 -x855 -x853 -x851 -x849 -x847 -x845 -x843 -x841 -x839 -x838 -x836 -x834
1800.07/1800.65 v -x832 -x830 -x828 -x826 -x824 -x822 -x820 -x818 -x816 -x814 -x812 -x810 -x808 -x806 -x804 -x802 -x800 -x798 -x796 -x794
1800.07/1800.65 v -x792 -x790 -x788 -x786 -x784 -x782 -x780 -x778 -x776 -x774 -x772 -x770 -x768 -x766 -x764 -x762 -x760 -x758 -x756 -x754 -x752
1800.07/1800.65 v -x750 -x748 -x746 -x744 -x742 -x740 -x738 -x737 -x735 -x733 -x731 -x729 -x727 -x725 -x723 -x721 -x719 -x717 -x715 -x713 -x711
1800.07/1800.65 v -x709 -x707 -x705 -x703 -x701 -x699 -x697 -x695 -x693 -x691 -x690 -x688 -x686 -x684 -x682 -x680 -x678 -x676 -x674 -x673 -x671
1800.07/1800.65 v -x669 -x667 -x665 -x663 -x661 -x659 -x657 -x655 -x653 -x651 -x649 -x647 -x645 -x643 -x641 -x639 -x637 -x635 -x633 -x631 -x629
1800.07/1800.65 v -x627 -x625 -x623 -x621 -x619 -x617 -x615 -x613 -x611 -x609 -x607 -x605 -x603 -x601 -x599 -x597 -x595 -x593 -x591 -x589 -x587
1800.07/1800.65 v -x585 -x583 -x581 -x579 -x577 -x575 -x573 -x571 -x569 -x567 -x565 -x563 -x561 -x559 -x557 -x555 -x553 -x551 -x549 -x547
1800.07/1800.65 v -x545 -x543 -x541 -x539 -x537 -x535 -x533 -x531 -x529 -x527 -x525 -x523 -x521 -x519 -x517 -x515 -x513 -x511 -x509 -x507 -x505
1800.07/1800.65 v -x503 -x501 -x499 -x497 -x495 -x493 -x491 -x489 -x487 -x485 -x483 -x481 -x479 -x477 -x475 -x473 -x471 -x469 -x467 -x465 -x463
1800.07/1800.65 v -x461 -x459 -x457 -x455 -x453 -x451 -x449 -x447 -x445 -x443 -x441 -x439 -x437 -x435 -x433 -x431 -x429 -x427 -x425 -x423 -x421
1800.07/1800.65 v -x419 -x417 x415 -x413 -x411 -x409 -x407 -x405 -x403 -x401 -x399 -x397 -x395 -x393 -x391 -x389 -x387 -x385 -x383 -x381 -x379
1800.07/1800.65 v -x377 -x375 -x373 -x371 -x369 -x367 -x365 -x363 -x361 -x359 -x357 -x355 -x353 -x351 -x349 -x347 -x345 -x343 -x341 -x339 -x337
1800.07/1800.65 v -x335 -x333 -x331 -x329 -x327 -x325 -x323 -x321 -x319 -x317 -x315 -x313 -x311 -x309 -x307 -x305 -x303 -x301 -x299 -x297 -x295
1800.07/1800.65 v -x293 -x291 -x289 -x287 -x285 -x283 -x281 -x279 x277 -x275 -x273 -x271 -x269 -x267 -x265 -x263 -x261 -x259 -x257 -x255 -x253
1800.07/1800.65 v -x251 -x249 -x247 -x245 -x243 -x241 -x239 -x237
1800.07/1800.65 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.65 c Solving Time : 1757.31
1800.07/1800.65 c Original Problem :
1800.07/1800.65 c Problem name : HOME/instance-2663943-1276636351.opb
1800.07/1800.65 c Variables : 7926 (7926 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.65 c Constraints : 23835 initial, 23835 maximal
1800.07/1800.65 c Presolved Problem :
1800.07/1800.65 c Problem name : t_HOME/instance-2663943-1276636351.opb
1800.07/1800.65 c Variables : 3492 (3492 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.65 c Constraints : 14250 initial, 14303 maximal
1800.07/1800.65 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.07/1800.65 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.65 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.65 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.65 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.65 c implics : 0.02 0 0 0 0 0 0 0 0
1800.07/1800.65 c probing : 0.12 0 0 0 0 0 0 0 0
1800.07/1800.65 c linear : 0.28 617 3817 0 617 0 9585 0 0
1800.07/1800.65 c logicor : 0.09 0 0 0 0 0 0 0 0
1800.07/1800.65 c root node : - 0 - - 0 - - - -
1800.07/1800.65 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.07/1800.65 c integral : 0 0 0 0 0 0 0 0 0 0
1800.07/1800.65 c logicor : 14250+ 0 3550827 0 3 299550 5011526 0 0 0
1800.07/1800.65 c countsols : 0 0 0 0 3 0 0 0 0 0
1800.07/1800.65 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.07/1800.65 c integral : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.65 c logicor : 292.77 0.00 292.76 0.00 0.01
1800.07/1800.65 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.65 c Propagators : Time Calls Cutoffs DomReds
1800.07/1800.65 c vbounds : 3.08 2 0 0
1800.07/1800.65 c rootredcost : 3.24 0 0 0
1800.07/1800.65 c pseudoobj : 1203.24 5768579 650597 4841550
1800.07/1800.65 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.07/1800.65 c propagation : 297.47 950147 950147 950147 49.8 7411 43.9 -
1800.07/1800.65 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.65 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.65 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.65 c pseudo solution : 7.57 7726 7726 7726 46.8 71 55.5 -
1800.07/1800.65 c applied globally : - - - 965355 49.8 - - -
1800.07/1800.65 c applied locally : - - - 0 0.0 - - -
1800.07/1800.65 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.07/1800.65 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.07/1800.65 c redcost : 0.00 0 0 0 0 0
1800.07/1800.65 c impliedbounds : 0.00 0 0 0 0 0
1800.07/1800.65 c intobj : 0.00 0 0 0 0 0
1800.07/1800.65 c cgmip : 0.00 0 0 0 0 0
1800.07/1800.65 c gomory : 0.00 0 0 0 0 0
1800.07/1800.65 c strongcg : 0.00 0 0 0 0 0
1800.07/1800.65 c cmir : 0.00 0 0 0 0 0
1800.07/1800.65 c flowcover : 0.00 0 0 0 0 0
1800.07/1800.65 c clique : 0.00 0 0 0 0 0
1800.07/1800.65 c zerohalf : 0.00 0 0 0 0 0
1800.07/1800.65 c mcf : 0.00 0 0 0 0 0
1800.07/1800.65 c rapidlearning : 0.00 0 0 0 0 0
1800.07/1800.65 c Pricers : Time Calls Vars
1800.07/1800.65 c problem variables: 0.00 0 0
1800.07/1800.65 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.07/1800.65 c relpscost : 0.00 0 0 0 0 0 0
1800.07/1800.65 c pscost : 0.00 0 0 0 0 0 0
1800.07/1800.65 c inference : 37.25 1320683 0 0 0 0 2641366
1800.07/1800.65 c mostinf : 0.00 0 0 0 0 0 0
1800.07/1800.65 c leastinf : 0.00 0 0 0 0 0 0
1800.07/1800.65 c fullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.65 c allfullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.65 c random : 0.00 0 0 0 0 0 0
1800.07/1800.65 c Primal Heuristics : Time Calls Found
1800.07/1800.65 c LP solutions : 0.00 - 0
1800.07/1800.65 c pseudo solutions : 0.00 - 3
1800.07/1800.65 c oneopt : 1.88 0 0
1800.07/1800.65 c trivial : 0.02 2 0
1800.07/1800.65 c simplerounding : 0.00 0 0
1800.07/1800.65 c zirounding : 0.00 0 0
1800.07/1800.65 c rounding : 0.00 0 0
1800.07/1800.65 c shifting : 0.00 0 0
1800.07/1800.65 c intshifting : 0.00 0 0
1800.07/1800.65 c twoopt : 0.00 0 0
1800.07/1800.65 c fixandinfer : 0.00 0 0
1800.07/1800.65 c feaspump : 0.00 0 0
1800.07/1800.65 c coefdiving : 0.00 0 0
1800.07/1800.65 c pscostdiving : 0.00 0 0
1800.07/1800.65 c fracdiving : 0.00 0 0
1800.07/1800.65 c veclendiving : 0.00 0 0
1800.07/1800.65 c intdiving : 0.00 0 0
1800.07/1800.65 c actconsdiving : 0.00 0 0
1800.07/1800.65 c objpscostdiving : 0.00 0 0
1800.07/1800.65 c rootsoldiving : 0.00 0 0
1800.07/1800.65 c linesearchdiving : 0.00 0 0
1800.07/1800.65 c guideddiving : 0.00 0 0
1800.07/1800.65 c octane : 0.00 0 0
1800.07/1800.65 c rens : 0.00 0 0
1800.07/1800.65 c rins : 0.00 0 0
1800.07/1800.65 c localbranching : 0.00 0 0
1800.07/1800.65 c mutation : 0.00 0 0
1800.07/1800.65 c crossover : 0.00 0 0
1800.07/1800.65 c dins : 0.00 0 0
1800.07/1800.65 c undercover : 0.00 0 0
1800.07/1800.65 c nlp : 1.03 0 0
1800.07/1800.65 c trysol : 0.82 0 0
1800.07/1800.65 c LP : Time Calls Iterations Iter/call Iter/sec
1800.07/1800.65 c primal LP : 0.00 0 0 0.00 -
1800.07/1800.65 c dual LP : 0.00 0 0 0.00 -
1800.07/1800.65 c lex dual LP : 0.00 0 0 0.00 -
1800.07/1800.65 c barrier LP : 0.00 0 0 0.00 -
1800.07/1800.65 c diving/probing LP: 0.00 0 0 0.00 -
1800.07/1800.65 c strong branching : 0.00 0 0 0.00 -
1800.07/1800.65 c (at root node) : - 0 0 0.00 -
1800.07/1800.65 c conflict analysis: 0.00 0 0 0.00 -
1800.07/1800.65 c B&B Tree :
1800.07/1800.65 c number of runs : 1
1800.07/1800.65 c nodes : 1783014
1800.07/1800.65 c nodes (total) : 1783014
1800.07/1800.65 c nodes left : 637
1800.07/1800.65 c max depth : 689
1800.07/1800.65 c max depth (total): 689
1800.07/1800.65 c backtracks : 555436 (31.2%)
1800.07/1800.65 c delayed cutoffs : 603571
1800.07/1800.65 c repropagations : 1121632 (4395475 domain reductions, 495545 cutoffs)
1800.07/1800.65 c avg switch length: 2.36
1800.07/1800.65 c switching time : 88.61
1800.07/1800.65 c Solution :
1800.07/1800.65 c Solutions found : 3 (3 improvements)
1800.07/1800.65 c First Solution : +3.40000000000000e+01 (in run 1, after 682 nodes, 1.25 seconds, depth 681, found by <relaxation>)
1800.07/1800.65 c Primal Bound : +3.20000000000000e+01 (in run 1, after 1361340 nodes, 1326.19 seconds, depth 678, found by <relaxation>)
1800.07/1800.65 c Dual Bound : +1.00000000000000e+00
1800.07/1800.65 c Gap : 3100.00 %
1800.07/1800.65 c Root Dual Bound : +1.00000000000000e+00
1800.07/1800.65 c Root Iterations : 0
1800.17/1800.74 c Time complete: 1800.19.
OK 32
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2663943-1276636351/watcher-2663943-1276636351 -o /tmp/evaluation-result-2663943-1276636351/solver-2663943-1276636351 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663943-1276636351.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/106 12028 /proc/meminfo: memFree=1739260/2059040 swapFree=4192956/4192956 [pid=12028] ppid=12026 vsize=5556 CPUtime=0 /proc/12028/stat : 12028 (pbscip.linux.x8) R 12026 12028 11726 0 -1 4202496 889 0 0 0 0 0 0 0 20 0 1 0 4927148 5689344 812 1992294400 4194304 7136930 140734297929664 18446744073709551615 6349764 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/12028/statm: 1389 812 249 719 0 668 0 [startup+0.0876339 s] /proc/loadavg: 1.00 1.00 1.00 3/106 12028 /proc/meminfo: memFree=1739260/2059040 swapFree=4192956/4192956 [pid=12028] ppid=12026 vsize=16536 CPUtime=0.08 /proc/12028/stat : 12028 (pbscip.linux.x8) R 12026 12028 11726 0 -1 4202496 3638 0 0 0 7 1 0 0 20 0 1 0 4927148 16932864 3560 1992294400 4194304 7136930 140734297929664 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/12028/statm: 4134 3560 271 719 0 3413 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 16536 [startup+0.101636 s] /proc/loadavg: 1.00 1.00 1.00 3/106 12028 /proc/meminfo: memFree=1739260/2059040 swapFree=4192956/4192956 [pid=12028] ppid=12026 vsize=16536 CPUtime=0.09 /proc/12028/stat : 12028 (pbscip.linux.x8) R 12026 12028 11726 0 -1 4202496 3639 0 0 0 8 1 0 0 20 0 1 0 4927148 16932864 3561 1992294400 4194304 7136930 140734297929664 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/12028/statm: 4134 3561 271 719 0 3413 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 16536 [startup+0.301658 s] /proc/loadavg: 1.00 1.00 1.00 3/106 12028 /proc/meminfo: memFree=1739260/2059040 swapFree=4192956/4192956 [pid=12028] ppid=12026 vsize=21700 CPUtime=0.29 /proc/12028/stat : 12028 (pbscip.linux.x8) R 12026 12028 11726 0 -1 4202496 4939 0 0 0 28 1 0 0 20 0 1 0 4927148 22220800 4861 1992294400 4194304 7136930 140734297929664 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/12028/statm: 5425 4861 271 719 0 4704 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 21700 [startup+0.7017 s] /proc/loadavg: 1.00 1.00 1.00 3/106 12028 /proc/meminfo: memFree=1739260/2059040 swapFree=4192956/4192956 [pid=12028] ppid=12026 vsize=51724 CPUtime=0.69 /proc/12028/stat : 12028 (pbscip.linux.x8) R 12026 12028 11726 0 -1 4202496 12464 0 0 0 63 6 0 0 20 0 1 0 4927148 52965376 12009 1992294400 4194304 7136930 140734297929664 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12028/statm: 12931 12009 343 719 0 12210 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 51724 [startup+1.50179 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12029 /proc/meminfo: memFree=1685684/2059040 swapFree=4192956/4192956 [pid=12028] ppid=12026 vsize=59156 CPUtime=1.5 /proc/12028/stat : 12028 (pbscip.linux.x8) R 12026 12028 11726 0 -1 4202496 16725 0 0 0 138 12 0 0 22 0 1 0 4927148 60575744 13990 1992294400 4194304 7136930 140734297929664 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12028/statm: 14789 13990 384 719 0 14068 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 59156 [startup+3.10096 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12029 /proc/meminfo: memFree=1684444/2059040 swapFree=4192956/4192956 [pid=12028] ppid=12026 vsize=59156 CPUtime=3.09 /proc/12028/stat : 12028 (pbscip.linux.x8) R 12026 12028 11726 0 -1 4202496 16744 0 0 0 294 15 0 0 25 0 1 0 4927148 60575744 14009 1992294400 4194304 7136930 140734297929664 18446744073709551615 5507381 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12028/statm: 14789 14009 390 719 0 14068 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 59156 [startup+6.3013 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12029 /proc/meminfo: memFree=1684072/2059040 swapFree=4192956/4192956 [pid=12028] ppid=12026 vsize=59288 CPUtime=6.29 /proc/12028/stat : 12028 (pbscip.linux.x8) R 12026 12028 11726 0 -1 4202496 16761 0 0 0 606 23 0 0 25 0 1 0 4927148 60710912 14026 1992294400 4194304 7136930 140734297929664 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12028/statm: 14822 14026 390 719 0 14101 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 59288 [startup+12.701 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12029 /proc/meminfo: memFree=1683948/2059040 swapFree=4192956/4192956 [pid=12028] ppid=12026 vsize=59288 CPUtime=12.68 /proc/12028/stat : 12028 (pbscip.linux.x8) R 12026 12028 11726 0 -1 4202496 16773 0 0 0 1229 39 0 0 25 0 1 0 4927148 60710912 14038 1992294400 4194304 7136930 140734297929664 18446744073709551615 5507220 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12028/statm: 14822 14038 390 719 0 14101 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 59288 [startup+25.5014 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12029 /proc/meminfo: memFree=1683948/2059040 swapFree=4192956/4192956 [pid=12028] ppid=12026 vsize=59420 CPUtime=25.48 /proc/12028/stat : 12028 (pbscip.linux.x8) R 12026 12028 11726 0 -1 4202496 16793 0 0 0 2475 73 0 0 25 0 1 0 4927148 60846080 14058 1992294400 4194304 7136930 140734297929664 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12028/statm: 14855 14058 390 719 0 14134 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 59420 [startup+51.1011 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12029 /proc/meminfo: memFree=1683824/2059040 swapFree=4192956/4192956 [pid=12028] ppid=12026 vsize=59552 CPUtime=51.07 /proc/12028/stat : 12028 (pbscip.linux.x8) R 12026 12028 11726 0 -1 4202496 16832 0 0 0 4973 134 0 0 25 0 1 0 4927148 60981248 14097 1992294400 4194304 7136930 140734297929664 18446744073709551615 5507187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12028/statm: 14888 14097 390 719 0 14167 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 59552 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12031 /proc/meminfo: memFree=1683576/2059040 swapFree=4192956/4192956 [pid=12028] ppid=12026 vsize=59552 CPUtime=102.26 /proc/12028/stat : 12028 (pbscip.linux.x8) R 12026 12028 11726 0 -1 4202496 16855 0 0 0 9970 256 0 0 25 0 1 0 4927148 60981248 14120 1992294400 4194304 7136930 140734297929664 18446744073709551615 4998400 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12028/statm: 14888 14120 390 719 0 14167 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 59552 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12033 /proc/meminfo: memFree=1683328/2059040 swapFree=4192956/4192956 [pid=12028] ppid=12026 vsize=59684 CPUtime=162.24 /proc/12028/stat : 12028 (pbscip.linux.x8) R 12026 12028 11726 0 -1 4202496 16882 0 0 0 15819 405 0 0 25 0 1 0 4927148 61116416 14147 1992294400 4194304 7136930 140734297929664 18446744073709551615 5507425 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12028/statm: 14921 14147 390 719 0 14200 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 59684 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12033 /proc/meminfo: memFree=1683204/2059040 swapFree=4192956/4192956 [pid=12028] ppid=12026 vsize=59816 CPUtime=222.22 /proc/12028/stat : 12028 (pbscip.linux.x8) R 12026 12028 11726 0 -1 4202496 16890 0 0 0 21677 545 0 0 25 0 1 0 4927148 61251584 14155 1992294400 4194304 7136930 140734297929664 18446744073709551615 5506155 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12028/statm: 14954 14155 390 719 0 14233 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 59816 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12035 /proc/meminfo: memFree=1683204/2059040 swapFree=4192956/4192956 [pid=12028] ppid=12026 vsize=59816 CPUtime=282.21 /proc/12028/stat : 12028 (pbscip.linux.x8) R 12026 12028 11726 0 -1 4202496 16897 0 0 0 27527 694 0 0 25 0 1 0 4927148 61251584 14162 1992294400 4194304 7136930 140734297929664 18446744073709551615 5507443 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12028/statm: 14954 14162 390 719 0 14233 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 59816 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12037 /proc/meminfo: memFree=1683080/2059040 swapFree=4192956/4192956 [pid=12028] ppid=12026 vsize=59816 CPUtime=342.19 /proc/12028/stat : 12028 (pbscip.linux.x8) R 12026 12028 11726 0 -1 4202496 16903 0 0 0 33380 839 0 0 25 0 1 0 4927148 61251584 14168 1992294400 4194304 7136930 140734297929664 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12028/statm: 14954 14168 390 719 0 14233 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 59816 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12039 /proc/meminfo: memFree=1682956/2059040 swapFree=4192956/4192956 [pid=12028] ppid=12026 vsize=59816 CPUtime=402.16 /proc/12028/stat : 12028 (pbscip.linux.x8) R 12026 12028 11726 0 -1 4202496 16908 0 0 0 39229 987 0 0 25 0 1 0 4927148 61251584 14173 1992294400 4194304 7136930 140734297929664 18446744073709551615 4704784 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12028/statm: 14954 14173 390 719 0 14233 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 59816 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12041 /proc/meminfo: memFree=1682832/2059040 swapFree=4192956/4192956 [pid=12028] ppid=12026 vsize=59816 CPUtime=462.15 /proc/12028/stat : 12028 (pbscip.linux.x8) R 12026 12028 11726 0 -1 4202496 16920 0 0 0 45083 1132 0 0 25 0 1 0 4927148 61251584 14185 1992294400 4194304 7136930 140734297929664 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12028/statm: 14954 14185 390 719 0 14233 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 59816 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12041 /proc/meminfo: memFree=1682708/2059040 swapFree=4192956/4192956 [pid=12028] ppid=12026 vsize=59956 CPUtime=522.13 /proc/12028/stat : 12028 (pbscip.linux.x8) R 12026 12028 11726 0 -1 4202496 16929 0 0 0 50942 1271 0 0 25 0 1 0 4927148 61394944 14194 1992294400 4194304 7136930 140734297929664 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12028/statm: 14989 14194 390 719 0 14268 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 59956 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12043 /proc/meminfo: memFree=1682584/2059040 swapFree=4192956/4192956 [pid=12028] ppid=12026 vsize=59956 CPUtime=582.12 /proc/12028/stat : 12028 (pbscip.linux.x8) R 12026 12028 11726 0 -1 4202496 16931 0 0 0 56793 1419 0 0 25 0 1 0 4927148 61394944 14196 1992294400 4194304 7136930 140734297929664 18446744073709551615 5507249 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12028/statm: 14989 14196 390 719 0 14268 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 59956 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12045 /proc/meminfo: memFree=1682460/2059040 swapFree=4192956/4192956 [pid=12028] ppid=12026 vsize=59956 CPUtime=642.1 /proc/12028/stat : 12028 (pbscip.linux.x8) R 12026 12028 11726 0 -1 4202496 16936 0 0 0 62648 1562 0 0 25 0 1 0 4927148 61394944 14201 1992294400 4194304 7136930 140734297929664 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12028/statm: 14989 14201 390 719 0 14268 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 59956 [startup+702.301 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12051 /proc/meminfo: memFree=1682088/2059040 swapFree=4192956/4192956 [pid=12028] ppid=12026 vsize=59956 CPUtime=882.03 /proc/12028/stat : 12028 (pbscip.linux.x8) R 12026 12028 11726 0 -1 4202496 16949 0 0 0 86085 2118 0 0 25 0 1 0 4927148 61394944 14214 1992294400 4194304 7136930 140734297929664 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12028/statm: 14989 14214 390 719 0 14268 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 59956 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12053 /proc/meminfo: memFree=1681964/2059040 swapFree=4192956/4192956 [pid=12028] ppid=12026 vsize=60184 CPUtime=942.01 /proc/12028/stat : 12028 (pbscip.linux.x8) R 12026 12028 11726 0 -1 4202496 16982 0 0 0 91945 2256 0 0 25 0 1 0 4927148 61628416 14247 1992294400 4194304 7136930 140734297929664 18446744073709551615 5507255 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12028/statm: 15046 14247 390 719 0 14325 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 60184 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12055 /proc/meminfo: memFree=1681840/2059040 swapFree=4192956/4192956 [pid=12028] ppid=12026 vsize=60184 CPUtime=1001.99 /proc/12028/stat : 12028 (pbscip.linux.x8) R 12026 12028 11726 0 -1 4202496 16992 0 0 0 97800 2399 0 0 25 0 1 0 4927148 61628416 14257 1992294400 4194304 7136930 140734297929664 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12028/statm: 15046 14257 390 719 0 14325 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 60184 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12057 /proc/meminfo: memFree=1681716/2059040 swapFree=4192956/4192956 [pid=12028] ppid=12026 vsize=60184 CPUtime=1061.97 /proc/12028/stat : 12028 (pbscip.linux.x8) R 12026 12028 11726 0 -1 4202496 16999 0 0 0 103654 2543 0 0 25 0 1 0 4927148 61628416 14264 1992294400 4194304 7136930 140734297929664 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12028/statm: 15046 14264 390 719 0 14325 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 60184 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12057 /proc/meminfo: memFree=1681592/2059040 swapFree=4192956/4192956 [pid=12028] ppid=12026 vsize=60184 CPUtime=1121.95 /proc/12028/stat : 12028 (pbscip.linux.x8) R 12026 12028 11726 0 -1 4202496 16999 0 0 0 109515 2680 0 0 25 0 1 0 4927148 61628416 14264 1992294400 4194304 7136930 140734297929664 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12028/statm: 15046 14264 390 719 0 14325 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 60184 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12059 /proc/meminfo: memFree=1681468/2059040 swapFree=4192956/4192956 [pid=12028] ppid=12026 vsize=60184 CPUtime=1181.93 /proc/12028/stat : 12028 (pbscip.linux.x8) R 12026 12028 11726 0 -1 4202496 17002 0 0 0 115377 2816 0 0 25 0 1 0 4927148 61628416 14267 1992294400 4194304 7136930 140734297929664 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12028/statm: 15046 14267 390 719 0 14325 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 60184 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12064 /proc/meminfo: memFree=1680848/2059040 swapFree=4192956/4192956 [pid=12028] ppid=12026 vsize=60184 CPUtime=1241.91 /proc/12028/stat : 12028 (pbscip.linux.x8) R 12026 12028 11726 0 -1 4202496 17002 0 0 0 121239 2952 0 0 25 0 1 0 4927148 61628416 14267 1992294400 4194304 7136930 140734297929664 18446744073709551615 5506180 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12028/statm: 15046 14267 390 719 0 14325 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 60184 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12066 /proc/meminfo: memFree=1680848/2059040 swapFree=4192956/4192956 [pid=12028] ppid=12026 vsize=60184 CPUtime=1301.9 /proc/12028/stat : 12028 (pbscip.linux.x8) R 12026 12028 11726 0 -1 4202496 17005 0 0 0 127099 3091 0 0 25 0 1 0 4927148 61628416 14270 1992294400 4194304 7136930 140734297929664 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12028/statm: 15046 14270 390 719 0 14325 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 60184 [startup+1362.3 s] /proc/loadavg: 1.06 1.02 1.00 2/107 12068 /proc/meminfo: memFree=1680848/2059040 swapFree=4192956/4192956 [pid=12028] ppid=12026 vsize=60184 CPUtime=1361.88 /proc/12028/stat : 12028 (pbscip.linux.x8) R 12026 12028 11726 0 -1 4202496 17031 0 0 0 132959 3229 0 0 25 0 1 0 4927148 61628416 14296 1992294400 4194304 7136930 140734297929664 18446744073709551615 4704784 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12028/statm: 15046 14296 390 719 0 14325 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 60184 [startup+1422.31 s] /proc/loadavg: 1.02 1.01 1.00 2/107 12068 /proc/meminfo: memFree=1680848/2059040 swapFree=4192956/4192956 [pid=12028] ppid=12026 vsize=60184 CPUtime=1421.87 /proc/12028/stat : 12028 (pbscip.linux.x8) R 12026 12028 11726 0 -1 4202496 17031 0 0 0 138824 3363 0 0 25 0 1 0 4927148 61628416 14296 1992294400 4194304 7136930 140734297929664 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12028/statm: 15046 14296 390 719 0 14325 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 60184 [startup+1482.3 s] /proc/loadavg: 1.11 1.03 1.01 2/107 12070 /proc/meminfo: memFree=1680848/2059040 swapFree=4192956/4192956 [pid=12028] ppid=12026 vsize=60184 CPUtime=1481.85 /proc/12028/stat : 12028 (pbscip.linux.x8) R 12026 12028 11726 0 -1 4202496 17032 0 0 0 144686 3499 0 0 25 0 1 0 4927148 61628416 14297 1992294400 4194304 7136930 140734297929664 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12028/statm: 15046 14297 390 719 0 14325 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 60184 [startup+1542.3 s] /proc/loadavg: 1.09 1.04 1.01 2/107 12072 /proc/meminfo: memFree=1680724/2059040 swapFree=4192956/4192956 [pid=12028] ppid=12026 vsize=60320 CPUtime=1541.83 /proc/12028/stat : 12028 (pbscip.linux.x8) R 12026 12028 11726 0 -1 4202496 17038 0 0 0 150546 3637 0 0 25 0 1 0 4927148 61767680 14303 1992294400 4194304 7136930 140734297929664 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12028/statm: 15080 14303 390 719 0 14359 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 60320 [startup+1602.3 s] /proc/loadavg: 1.07 1.04 1.01 2/107 12074 /proc/meminfo: memFree=1680724/2059040 swapFree=4192956/4192956 [pid=12028] ppid=12026 vsize=60320 CPUtime=1601.81 /proc/12028/stat : 12028 (pbscip.linux.x8) R 12026 12028 11726 0 -1 4202496 17038 0 0 0 156406 3775 0 0 25 0 1 0 4927148 61767680 14303 1992294400 4194304 7136930 140734297929664 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12028/statm: 15080 14303 390 719 0 14359 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 60320 [startup+1662.3 s] /proc/loadavg: 1.07 1.05 1.01 2/107 12076 /proc/meminfo: memFree=1680724/2059040 swapFree=4192956/4192956 [pid=12028] ppid=12026 vsize=60320 CPUtime=1661.8 /proc/12028/stat : 12028 (pbscip.linux.x8) R 12026 12028 11726 0 -1 4202496 17042 0 0 0 162264 3916 0 0 25 0 1 0 4927148 61767680 14307 1992294400 4194304 7136930 140734297929664 18446744073709551615 5507269 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12028/statm: 15080 14307 390 719 0 14359 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 60320 [startup+1722.3 s] /proc/loadavg: 1.06 1.05 1.01 2/107 12076 /proc/meminfo: memFree=1680476/2059040 swapFree=4192956/4192956 [pid=12028] ppid=12026 vsize=60320 CPUtime=1721.77 /proc/12028/stat : 12028 (pbscip.linux.x8) R 12026 12028 11726 0 -1 4202496 17042 0 0 0 168124 4053 0 0 25 0 1 0 4927148 61767680 14307 1992294400 4194304 7136930 140734297929664 18446744073709551615 5925621 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12028/statm: 15080 14307 390 719 0 14359 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 60320 [startup+1782.3 s] /proc/loadavg: 1.06 1.05 1.01 2/107 12078 /proc/meminfo: memFree=1680228/2059040 swapFree=4192956/4192956 [pid=12028] ppid=12026 vsize=60320 CPUtime=1781.76 /proc/12028/stat : 12028 (pbscip.linux.x8) R 12026 12028 11726 0 -1 4202496 17049 0 0 0 173984 4192 0 0 25 0 1 0 4927148 61767680 14314 1992294400 4194304 7136930 140734297929664 18446744073709551615 5507728 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12028/statm: 15080 14314 390 719 0 14359 0 Current children cumulated CPU time (s) 1781.76 Current children cumulated vsize (KiB) 60320 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.10 1.07 1.01 2/107 12080 /proc/meminfo: memFree=1680228/2059040 swapFree=4192956/4192956 [pid=12028] ppid=12026 vsize=60320 CPUtime=1800.07 /proc/12028/stat : 12028 (pbscip.linux.x8) R 12026 12028 11726 0 -1 4202496 17049 0 0 0 175771 4236 0 0 25 0 1 0 4927148 61767680 14314 1992294400 4194304 7136930 140734297929664 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12028/statm: 15080 14314 390 719 0 14359 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 60320 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.10 1.07 1.01 2/107 12080 /proc/meminfo: memFree=1680228/2059040 swapFree=4192956/4192956 [pid=12028] ppid=12026 vsize=55720 CPUtime=1800.17 /proc/12028/stat : 12028 (pbscip.linux.x8) R 12026 12028 11726 0 -1 4202496 17069 0 0 0 175781 4236 0 0 25 0 1 0 4927148 57057280 13189 1992294400 4194304 7136930 140734297929664 18446744073709551615 4698889 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/12028/statm: 13930 13189 396 719 0 13209 0 Current children cumulated CPU time (s) 1800.17 Current children cumulated vsize (KiB) 55720 Child status: 0 Real time (s): 1800.74 CPU time (s): 1800.21 CPU user time (s): 1757.84 CPU system time (s): 42.3686 CPU usage (%): 99.9701 Max. virtual memory (cumulated for all children) (KiB): 60320 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1757.84 system time used= 42.3686 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 17076 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= 4713 runsolver used 2.94555 second user time and 8.5557 second system time The end
Begin job on node047 at 2010-06-15 23:12:31 IDJOB=2663943 IDBENCH=24998 IDSOLVER=1167 FILE ID=node047/2663943-1276636351 PBS_JOBID= 11172386 Free space on /tmp= 62540 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_022_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-2663943-1276636351/watcher-2663943-1276636351 -o /tmp/evaluation-result-2663943-1276636351/solver-2663943-1276636351 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663943-1276636351.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8e8463c13e61e1a22058cdf603119640 RANDOM SEED=1000723434 node047.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.244 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.48 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.244 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1739788 kB Buffers: 53904 kB Cached: 140992 kB SwapCached: 0 kB Active: 125540 kB Inactive: 128780 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1739788 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3900 kB Writeback: 0 kB AnonPages: 59352 kB Mapped: 15384 kB Slab: 43188 kB PageTables: 4056 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181664 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= 62536 MiB End job on node047 at 2010-06-15 23:42:34