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) | 29 | 1800.18 | 1800.91 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_009_area_delay.opb |
| MD5SUM | 2aa6eb5ee09e1484657dfe3626167241 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 24 |
| Best CPU time to get the best result obtained on this benchmark | 3.14552 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 24 |
| Optimality of the best value was proved | YES |
| Number of variables | 6148 |
| Total number of constraints | 19000 |
| Number of constraints which are clauses | 19000 |
| 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 | 2987 |
| 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 | 2987 |
| 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 | 2987 |
| 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-2663936-1276634517.opb>
0.29/0.35 c original problem has 6148 variables (6148 bin, 0 int, 0 impl, 0 cont) and 19000 constraints
0.29/0.35 c problem read
0.29/0.35 c presolving settings loaded
0.29/0.35 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.39/0.46 c presolving:
0.59/0.64 c (round 1) 3468 del vars, 6432 del conss, 488 chg bounds, 2 chg sides, 2 chg coeffs, 0 upgd conss, 35043 impls, 0 clqs
0.59/0.67 c (round 2) 3470 del vars, 8442 del conss, 488 chg bounds, 2 chg sides, 2 chg coeffs, 0 upgd conss, 35043 impls, 0 clqs
0.79/0.80 c (round 3) 3470 del vars, 8446 del conss, 488 chg bounds, 2 chg sides, 2 chg coeffs, 10524 upgd conss, 35043 impls, 0 clqs
0.79/0.83 c (round 4) 3470 del vars, 8446 del conss, 488 chg bounds, 2 chg sides, 2 chg coeffs, 10554 upgd conss, 35043 impls, 0 clqs
0.89/0.95 c (0.5s) probing: 101/2678 (3.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.89/0.95 c (0.5s) probing aborted: 100/100 successive totally useless probings
0.89/0.95 c presolving (5 rounds):
0.89/0.95 c 3470 deleted vars, 8446 deleted constraints, 488 tightened bounds, 0 added holes, 2 changed sides, 2 changed coefficients
0.89/0.95 c 35043 implications, 0 cliques
0.89/0.95 c presolved problem has 2678 variables (2678 bin, 0 int, 0 impl, 0 cont) and 10554 constraints
0.89/0.95 c 10554 constraints of type <logicor>
0.89/0.95 c transformed objective value is always integral (scale: 1)
0.89/0.95 c Presolving Time: 0.46
0.89/0.95 c - non default parameters ----------------------------------------------------------------------
0.89/0.95 c # SCIP version 1.2.1.2
0.89/0.95 c
0.89/0.95 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.89/0.95 c # [type: int, range: [-1,2147483647], default: -1]
0.89/0.95 c conflict/interconss = 0
0.89/0.95 c
0.89/0.95 c # should binary conflicts be preferred?
0.89/0.95 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.95 c conflict/preferbinary = TRUE
0.89/0.95 c
0.89/0.95 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.89/0.95 c # [type: int, range: [-1,2147483647], default: 0]
0.89/0.95 c constraints/agelimit = 1
0.89/0.95 c
0.89/0.95 c # should enforcement of pseudo solution be disabled?
0.89/0.95 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.95 c constraints/disableenfops = TRUE
0.89/0.95 c
0.89/0.95 c # frequency for displaying node information lines
0.89/0.95 c # [type: int, range: [-1,2147483647], default: 100]
0.89/0.95 c display/freq = 10000
0.89/0.95 c
0.89/0.95 c # maximal time in seconds to run
0.89/0.95 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.95 c limits/time = 1799.67
0.89/0.95 c
0.89/0.95 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.89/0.95 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.95 c limits/memory = 1620
0.89/0.95 c
0.89/0.95 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.89/0.95 c # [type: int, range: [-1,2147483647], default: 1]
0.89/0.95 c lp/solvefreq = -1
0.89/0.95 c
0.89/0.95 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
0.89/0.95 c # [type: char, range: {lafpsqd}, default: l]
0.89/0.95 c lp/pricing = a
0.89/0.95 c
0.89/0.95 c # should presolving try to simplify inequalities
0.89/0.95 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.95 c constraints/linear/simplifyinequalities = TRUE
0.89/0.95 c
0.89/0.95 c # should presolving try to simplify knapsacks
0.89/0.95 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.95 c constraints/knapsack/simplifyinequalities = TRUE
0.89/0.95 c
0.89/0.95 c # priority of node selection rule <dfs> in standard mode
0.89/0.95 c # [type: int, range: [-536870912,536870911], default: 0]
0.89/0.95 c nodeselection/dfs/stdpriority = 1000000
0.89/0.95 c
0.89/0.95 c -----------------------------------------------------------------------------------------------
0.89/0.95 c start solving
0.89/0.95 c
0.89/0.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.89/0.96 c 0.5s| 1 | 2 | 0 | - | 23M| 0 | - |2678 | 10k| 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | -- | Inf
1.19/1.22 o 31
1.19/1.22 c * 0.8s| 528 | 516 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
6.39/6.46 c 5.8s| 10000 | 504 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 |5272 | 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
11.59/11.67 o 30
11.59/11.67 c *10.9s| 18866 | 506 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 |9979 | 0 | 1.000000e+00 | 3.000000e+01 |2900.00%
12.28/12.36 c 11.5s| 20000 | 497 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 10k| 0 | 1.000000e+00 | 3.000000e+01 |2900.00%
18.48/18.57 c 17.5s| 30000 | 496 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 16k| 0 | 1.000000e+00 | 3.000000e+01 |2900.00%
23.18/23.27 o 29
23.18/23.27 c *22.0s| 38138 | 507 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 20k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
24.19/24.29 c 23.0s| 40000 | 497 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 21k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
29.98/30.02 c 28.5s| 50000 | 499 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 26k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
35.87/35.90 c 34.2s| 60000 | 499 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 31k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
41.98/42.02 c 40.1s| 70000 | 489 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 36k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
48.28/48.36 c 46.2s| 80000 | 491 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 41k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
54.67/54.76 c 52.4s| 90000 | 493 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 46k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
61.07/61.11 c 58.5s|100000 | 487 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 51k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
67.76/67.84 c 65.0s|110000 | 489 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 56k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
74.26/74.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
74.26/74.38 c 71.3s|120000 | 496 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 61k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
80.86/80.98 c 77.7s|130000 | 496 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 66k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
86.66/86.71 c 83.2s|140000 | 493 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 71k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
92.45/92.56 c 88.8s|150000 | 499 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 75k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
98.96/99.06 c 95.1s|160000 | 493 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 81k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
105.56/105.68 c 102s|170000 | 489 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 86k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
112.44/112.53 c 108s|180000 | 491 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 91k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
119.05/119.10 c 115s|190000 | 491 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 97k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
126.14/126.21 c 121s|200000 | 491 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 102k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
133.34/133.43 c 128s|210000 | 485 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 107k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
140.75/140.83 c 136s|220000 | 490 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 113k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
147.34/147.43 c 142s|230000 | 487 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 118k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
153.84/153.97 c 148s|240000 | 494 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 123k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
160.63/160.72 c 155s|250000 | 488 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 129k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
167.22/167.33 c 161s|260000 | 496 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 134k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
173.92/174.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
173.92/174.08 c 168s|270000 | 489 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 138k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
180.82/180.90 c 174s|280000 | 486 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 143k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
187.41/187.50 c 181s|290000 | 490 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 149k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
194.21/194.38 c 187s|300000 | 489 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 154k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
201.12/201.25 c 194s|310000 | 489 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 159k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
207.21/207.39 c 200s|320000 | 494 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 164k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
213.81/213.96 c 206s|330000 | 481 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 169k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
220.10/220.21 c 212s|340000 | 495 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 174k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
226.30/226.46 c 218s|350000 | 482 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 180k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
232.89/233.04 c 225s|360000 | 488 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 185k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
239.40/239.56 c 231s|370000 | 482 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 190k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
245.60/245.78 c 237s|380000 | 491 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 195k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
252.49/252.67 c 244s|390000 | 498 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 200k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
259.08/259.26 c 250s|400000 | 488 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 205k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
265.48/265.67 c 256s|410000 | 491 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 210k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
271.88/272.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
271.88/272.03 c 262s|420000 | 490 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 216k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
278.48/278.66 c 269s|430000 | 486 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 221k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
284.79/284.97 c 275s|440000 | 488 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 227k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
291.08/291.22 c 281s|450000 | 483 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 232k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
297.48/297.66 c 287s|460000 | 488 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 237k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
304.07/304.20 c 293s|470000 | 482 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 242k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
310.77/310.99 c 300s|480000 | 485 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 247k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
317.26/317.40 c 306s|490000 | 485 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 252k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
323.76/323.98 c 313s|500000 | 489 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 257k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
330.26/330.45 c 319s|510000 | 494 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 262k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
337.06/337.20 c 325s|520000 | 485 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 267k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
343.65/343.86 c 332s|530000 | 493 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 272k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
350.45/350.68 c 338s|540000 | 486 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 278k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
357.26/357.40 c 345s|550000 | 488 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 283k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
363.86/364.04 c 351s|560000 | 483 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 289k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
371.14/371.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
371.14/371.31 c 358s|570000 | 489 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 294k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
378.45/378.62 c 365s|580000 | 489 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 299k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
385.24/385.46 c 372s|590000 | 489 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 304k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
392.03/392.23 c 379s|600000 | 492 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 310k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
398.83/399.00 c 385s|610000 | 492 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 315k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
405.63/405.85 c 392s|620000 | 483 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 320k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
412.63/412.82 c 398s|630000 | 484 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 325k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
418.93/419.14 c 405s|640000 | 484 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 331k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
425.53/425.75 c 411s|650000 | 490 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 336k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
431.82/432.06 c 417s|660000 | 485 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 340k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
438.21/438.44 c 423s|670000 | 490 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 345k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
444.62/444.88 c 429s|680000 | 491 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 350k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
451.82/452.02 c 436s|690000 | 488 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 355k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
458.91/459.15 c 443s|700000 | 480 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 361k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
465.91/466.12 c 450s|710000 | 491 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 366k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
472.40/472.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
472.40/472.62 c 456s|720000 | 490 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 371k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
479.00/479.25 c 463s|730000 | 485 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 376k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
485.40/485.63 c 469s|740000 | 487 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 381k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
491.90/492.11 c 475s|750000 | 486 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 386k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
499.10/499.30 c 482s|760000 | 489 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 392k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
506.39/506.70 c 489s|770000 | 481 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 397k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
513.40/513.64 c 496s|780000 | 492 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 402k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
519.88/520.19 c 502s|790000 | 488 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 407k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
526.89/527.15 c 509s|800000 | 484 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 412k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
533.68/533.96 c 516s|810000 | 490 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 417k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
540.18/540.47 c 522s|820000 | 486 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 423k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
546.77/547.05 c 528s|830000 | 487 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 428k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
553.37/553.68 c 535s|840000 | 487 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 433k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
560.17/560.45 c 541s|850000 | 488 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 438k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
566.97/567.29 c 548s|860000 | 489 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 444k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
573.97/574.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
573.97/574.21 c 554s|870000 | 486 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 449k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
580.66/580.97 c 561s|880000 | 485 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 454k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
587.66/587.92 c 568s|890000 | 482 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 459k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
594.45/594.79 c 574s|900000 | 487 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 464k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
601.65/601.92 c 581s|910000 | 484 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 470k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
609.05/609.34 c 588s|920000 | 486 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 476k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
615.85/616.18 c 595s|930000 | 486 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 481k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
622.94/623.27 c 602s|940000 | 486 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 487k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
629.74/630.07 c 608s|950000 | 488 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 492k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
637.14/637.45 c 616s|960000 | 485 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 498k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
644.14/644.41 c 622s|970000 | 487 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 503k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
651.13/651.44 c 629s|980000 | 482 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 509k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
658.23/658.52 c 636s|990000 | 481 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 514k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
664.92/665.24 c 642s| 1000k| 494 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 519k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
671.74/672.02 c 649s| 1010k| 488 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 524k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
678.33/678.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
678.33/678.66 c 655s| 1020k| 486 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 529k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
684.72/685.03 c 662s| 1030k| 485 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 534k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
691.41/691.70 c 668s| 1040k| 488 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 540k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
698.32/698.68 c 675s| 1050k| 486 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 545k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
705.01/705.38 c 681s| 1060k| 486 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 550k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
711.51/711.84 c 687s| 1070k| 490 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 555k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
717.81/718.15 c 694s| 1080k| 487 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 560k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
724.10/724.48 c 700s| 1090k| 485 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 565k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
730.80/731.18 c 706s| 1100k| 490 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 570k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
738.40/738.73 c 713s| 1110k| 481 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 576k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
745.40/745.72 c 720s| 1120k| 482 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 581k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
752.99/753.34 c 728s| 1130k| 478 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 587k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
760.19/760.51 c 734s| 1140k| 478 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 592k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
766.89/767.27 c 741s| 1150k| 485 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 597k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
773.68/774.03 c 748s| 1160k| 486 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 602k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
780.38/780.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
780.38/780.74 c 754s| 1170k| 495 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 607k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
787.87/788.22 c 761s| 1180k| 484 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 612k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
795.67/796.09 c 769s| 1190k| 493 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 618k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
802.77/803.10 c 776s| 1200k| 493 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 623k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
810.07/810.46 c 783s| 1210k| 489 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 628k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
817.66/818.05 c 790s| 1220k| 485 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 634k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
825.06/825.49 c 797s| 1230k| 483 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 639k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
832.56/832.93 c 805s| 1240k| 481 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 644k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
839.86/840.22 c 812s| 1250k| 491 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 649k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
846.75/847.17 c 818s| 1260k| 487 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 654k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
853.56/853.93 c 825s| 1270k| 490 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 659k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
860.75/861.15 c 832s| 1280k| 484 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 664k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
868.24/868.66 c 839s| 1290k| 483 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 669k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
875.64/876.05 c 846s| 1300k| 489 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 675k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
882.95/883.33 c 853s| 1310k| 493 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 680k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
890.34/890.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
890.34/890.70 c 861s| 1320k| 489 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 685k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
897.34/897.71 c 867s| 1330k| 485 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 690k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
904.53/904.96 c 874s| 1340k| 484 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 696k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
911.03/911.41 c 881s| 1350k| 486 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 701k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
917.73/918.12 c 887s| 1360k| 489 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 706k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
924.33/924.77 c 894s| 1370k| 487 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 711k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
931.02/931.44 c 900s| 1380k| 490 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 716k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
938.02/938.46 c 907s| 1390k| 485 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 721k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
945.32/945.71 c 914s| 1400k| 481 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 726k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
952.22/952.68 c 921s| 1410k| 488 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 732k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
958.91/959.38 c 927s| 1420k| 481 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 736k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
966.21/966.69 c 934s| 1430k| 491 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 742k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
972.71/973.18 c 940s| 1440k| 486 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 747k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
979.90/980.38 c 947s| 1450k| 486 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 752k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
987.10/987.57 c 954s| 1460k| 492 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 757k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
995.11/995.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
995.11/995.58 c 962s| 1470k| 485 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 762k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1002.89/1003.31 c 970s| 1480k| 484 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 768k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1010.90/1011.32 c 977s| 1490k| 488 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 773k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1018.09/1018.56 c 984s| 1500k| 487 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 778k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1025.19/1025.67 c 991s| 1510k| 483 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 783k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1032.89/1033.34 c 999s| 1520k| 480 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 789k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1040.09/1040.54 c 1006s| 1530k| 483 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 794k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1047.18/1047.68 c 1013s| 1540k| 482 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 799k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1054.38/1054.88 c 1020s| 1550k| 477 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 804k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1060.68/1061.14 c 1026s| 1560k| 486 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 809k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1067.37/1067.84 c 1032s| 1570k| 486 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 814k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1074.37/1074.81 c 1039s| 1580k| 491 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 819k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1081.37/1081.85 c 1046s| 1590k| 481 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 824k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1088.47/1088.93 c 1053s| 1600k| 484 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 829k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1095.26/1095.75 c 1059s| 1610k| 490 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 834k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1102.26/1102.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1102.26/1102.74 c 1066s| 1620k| 476 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 840k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1109.65/1110.10 c 1073s| 1630k| 483 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 845k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1117.16/1117.68 c 1080s| 1640k| 486 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 850k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1124.24/1124.77 c 1087s| 1650k| 483 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 856k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1131.95/1132.48 c 1095s| 1660k| 487 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 861k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1139.15/1139.66 c 1102s| 1670k| 491 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 866k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1146.03/1146.56 c 1108s| 1680k| 486 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 872k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1152.72/1153.29 c 1115s| 1690k| 484 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 877k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1159.92/1160.43 c 1122s| 1700k| 485 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 882k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1167.22/1167.71 c 1129s| 1710k| 490 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 887k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1173.31/1173.89 c 1135s| 1720k| 486 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 892k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1180.21/1180.74 c 1141s| 1730k| 484 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 898k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1187.41/1187.90 c 1148s| 1740k| 484 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 903k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1193.91/1194.42 c 1155s| 1750k| 480 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 909k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1200.90/1201.44 c 1161s| 1760k| 490 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 914k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1207.71/1208.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1207.71/1208.27 c 1168s| 1770k| 486 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 919k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1214.80/1215.31 c 1175s| 1780k| 482 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 924k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1222.60/1223.12 c 1182s| 1790k| 482 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 930k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1230.69/1231.21 c 1190s| 1800k| 477 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 935k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1237.69/1238.22 c 1197s| 1810k| 488 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 940k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1244.78/1245.31 c 1204s| 1820k| 487 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 945k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1252.28/1252.87 c 1211s| 1830k| 480 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 951k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1259.68/1260.20 c 1218s| 1840k| 481 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 956k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1266.77/1267.38 c 1225s| 1850k| 482 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 961k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1273.87/1274.45 c 1232s| 1860k| 482 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 966k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1281.27/1281.81 c 1239s| 1870k| 487 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 971k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1288.86/1289.48 c 1247s| 1880k| 480 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 976k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1296.46/1297.08 c 1254s| 1890k| 478 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 982k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1304.16/1304.70 c 1261s| 1900k| 479 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 987k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1311.56/1312.18 c 1269s| 1910k| 487 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 992k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1318.95/1319.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1318.95/1319.55 c 1276s| 1920k| 489 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 | 997k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1325.85/1326.43 c 1282s| 1930k| 487 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 |1002k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1333.05/1333.68 c 1289s| 1940k| 485 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 |1007k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1340.55/1341.19 c 1297s| 1950k| 486 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 |1013k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1347.74/1348.34 c 1304s| 1960k| 484 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 |1018k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1354.94/1355.58 c 1311s| 1970k| 477 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 |1023k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1361.84/1362.44 c 1317s| 1980k| 486 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 |1028k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1369.13/1369.75 c 1324s| 1990k| 485 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 |1033k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1377.13/1377.73 c 1332s| 2000k| 479 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 |1038k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1384.42/1385.02 c 1339s| 2010k| 479 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 |1043k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1391.73/1392.35 c 1346s| 2020k| 487 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 |1049k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1399.12/1399.76 c 1353s| 2030k| 487 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 |1054k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1406.33/1406.90 c 1360s| 2040k| 486 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 |1059k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1413.93/1414.51 c 1368s| 2050k| 485 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 |1064k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1421.21/1421.84 c 1375s| 2060k| 482 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 |1070k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1428.40/1429.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1428.40/1429.07 c 1382s| 2070k| 477 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 |1075k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1435.41/1436.03 c 1389s| 2080k| 490 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 |1080k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1441.80/1442.48 c 1395s| 2090k| 488 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 |1085k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1448.70/1449.30 c 1401s| 2100k| 484 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 |1090k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1455.20/1455.87 c 1408s| 2110k| 484 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 |1095k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1462.49/1463.14 c 1415s| 2120k| 490 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 |1100k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1469.59/1470.21 c 1422s| 2130k| 485 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 |1105k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1476.80/1477.44 c 1429s| 2140k| 489 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 |1111k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1483.79/1484.42 c 1435s| 2150k| 486 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 |1116k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1490.49/1491.15 c 1442s| 2160k| 479 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 |1121k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1497.19/1497.81 c 1448s| 2170k| 480 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 |1126k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1504.28/1504.90 c 1455s| 2180k| 482 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 |1131k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1511.38/1512.02 c 1462s| 2190k| 490 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 |1136k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1518.18/1518.89 c 1469s| 2200k| 487 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 |1141k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1525.17/1525.87 c 1475s| 2210k| 488 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 |1146k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1532.07/1532.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1532.07/1532.73 c 1482s| 2220k| 486 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 |1151k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1538.97/1539.64 c 1489s| 2230k| 489 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 |1156k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1545.67/1546.33 c 1495s| 2240k| 489 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 |1161k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1552.76/1553.47 c 1502s| 2250k| 479 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 |1166k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1559.45/1560.10 c 1509s| 2260k| 489 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 |1170k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1566.46/1567.19 c 1515s| 2270k| 481 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 |1175k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1573.56/1574.23 c 1522s| 2280k| 480 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 |1180k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1580.25/1580.94 c 1529s| 2290k| 484 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 |1185k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1587.25/1587.94 c 1535s| 2300k| 480 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 |1190k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1594.36/1595.06 c 1542s| 2310k| 491 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 |1196k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1601.45/1602.12 c 1549s| 2320k| 482 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 |1201k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1608.24/1608.94 c 1556s| 2330k| 480 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 |1206k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1615.25/1615.93 c 1563s| 2340k| 477 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 |1211k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1621.43/1622.17 c 1569s| 2350k| 480 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 |1216k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1628.13/1628.86 c 1575s| 2360k| 484 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 |1221k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1635.04/1635.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1635.04/1635.75 c 1582s| 2370k| 486 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 |1226k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1642.13/1642.86 c 1589s| 2380k| 488 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 |1231k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1649.73/1650.47 c 1596s| 2390k| 483 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 |1237k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1657.12/1657.84 c 1603s| 2400k| 483 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 |1242k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1664.32/1665.01 c 1610s| 2410k| 483 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 |1248k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1671.42/1672.17 c 1617s| 2420k| 486 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 |1253k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1678.12/1678.83 c 1623s| 2430k| 485 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 |1258k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1685.41/1686.15 c 1630s| 2440k| 483 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 |1264k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1692.71/1693.47 c 1638s| 2450k| 479 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 |1269k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1699.81/1700.53 c 1644s| 2460k| 484 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 |1274k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1707.20/1707.91 c 1652s| 2470k| 481 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 |1279k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1714.11/1714.87 c 1658s| 2480k| 481 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 |1284k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1721.90/1722.62 c 1666s| 2490k| 479 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 |1290k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1729.69/1730.46 c 1673s| 2500k| 485 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 |1295k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1737.39/1738.13 c 1681s| 2510k| 485 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 |1300k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1744.78/1745.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1744.78/1745.54 c 1688s| 2520k| 482 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 |1306k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1752.39/1753.14 c 1695s| 2530k| 480 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 |1311k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1759.88/1760.63 c 1703s| 2540k| 482 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 |1316k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1767.17/1767.93 c 1710s| 2550k| 478 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 |1322k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1774.77/1775.52 c 1717s| 2560k| 485 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 |1327k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1782.67/1783.40 c 1725s| 2570k| 484 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 |1333k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1789.57/1790.39 c 1731s| 2580k| 484 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 |1338k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1797.26/1798.09 c 1739s| 2590k| 486 | 0 | 0.0 | 23M| 527 | - |2678 | 10k| 0 | 0 | 0 |1344k| 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
1800.07/1800.80 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.07/1800.80 c
1800.07/1800.80 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.80 c Solving Time (sec) : 1741.53
1800.07/1800.80 c Solving Nodes : 2593452
1800.07/1800.80 c Primal Bound : +2.90000000000000e+01 (3 solutions)
1800.07/1800.80 c Dual Bound : +1.00000000000000e+00
1800.07/1800.80 c Gap : 2800.00 %
1800.07/1800.83 s SATISFIABLE
1800.07/1800.83 v x190 x189 x6147 x188 x6145 x6143 -x6141 x187 x6139 -x6137 -x6135 -x186 -x6133 -x6131 -x6129 -x185 -x6127 -x6125 -x6123 -x6121 -x6119
1800.07/1800.83 v -x6117 -x184 -x6115 x183 x6113 -x6111 -x6109 -x182 -x6107 -x6105 -x181 -x6103 -x6101 -x6099 -x6097 -x6095 -x6093 -x6091
1800.07/1800.83 v -x180 -x6089 -x6087 -x6085 -x179 -x6083 -x6081 -x6079 -x6077 -x6075 -x6073 -x6071 -x178 -x6069 -x6067 -x6065 -x6063 -x6061 -x6059
1800.07/1800.83 v -x6057 -x177 -x6055 -x6053 -x6051 -x6049 -x6047 -x6045 -x6043 -x6041 -x6039 -x6037 -x6035 -x6033 -x6031 -x176 -x6029 x175
1800.07/1800.83 v x6027 x6025 -x6023 -x6021 -x6019 x6017 -x6015 -x6013 -x6011 -x6009 -x6007 -x6005 x6003 -x6001 -x5999 -x5997 -x174 -x5995 -x5993
1800.07/1800.83 v -x5991 -x5989 -x5987 -x5985 -x5983 -x173 -x5981 -x5979 -x5977 -x5975 -x5973 -x5971 -x5969 -x172 -x5967 -x5965 -x5963 -x5961
1800.07/1800.83 v -x5959 -x5957 -x5955 -x5953 -x5951 -x5949 -x5947 -x5945 -x5943 -x5941 -x5939 -x171 -x5937 -x5935 -x5933 -x170 -x5931 -x5929
1800.07/1800.83 v -x5927 -x5925 -x5923 -x5921 -x5919 -x169 -x5917 x5915 -x5913 -x5911 -x5909 -x5907 -x5905 -x5903 -x5901 -x5899 -x5897 -x5895
1800.07/1800.83 v -x5893 -x5891 -x5889 -x5887 -x5885 -x5883 -x5881 -x5879 -x5877 -x5875 -x168 -x5873 -x5871 -x5869 -x5867 -x5865 -x5863 -x5861
1800.07/1800.83 v -x167 -x5859 -x5857 -x5855 -x5853 -x5851 -x5849 -x5847 -x5845 -x5843 -x5841 -x5839 -x5837 -x5835 -x5833 -x5831 -x166 -x5829
1800.07/1800.83 v -x5827 -x5825 -x5823 -x5821 -x5819 -x5817 -x5815 -x5813 -x5811 -x5809 -x5807 -x5805 -x5803 -x5801 -x165 -x5799 -x5797 -x5795
1800.07/1800.83 v -x5792 -x5790 -x5788 -x5786 -x5784 -x5782 -x5780 -x5778 -x5775 -x5773 -x5771 -x5769 -x5767 -x5765 -x5763 -x5761 -x5759 -x5757
1800.07/1800.83 v -x5755 -x5753 -x5751 -x5749 -x5747 -x164 -x5745 -x163 -x5743 x5741 -x5739 -x5737 -x5735 -x5733 -x162 -x5731 -x5729 -x5727
1800.07/1800.83 v -x5725 -x5723 -x5721 -x5719 -x161 -x5717 -x5715 -x160 -x5713 -x5711 -x5709 -x5707 -x5705 -x5703 -x5701 -x159 -x5699 -x5697 -x5695
1800.07/1800.83 v -x5693 -x5691 -x5689 -x5687 -x158 -x5685 -x5683 -x5681 -x5679 -x5677 -x5675 -x5673 -x5671 -x5669 -x5667 -x5665 -x5663 -x5661
1800.07/1800.83 v -x5659 -x5657 -x157 -x5655 -x5653 -x5651 -x156 -x5649 -x5647 -x5645 -x5643 -x5641 -x5639 -x5637 -x155 -x5635 -x5633 -x5631
1800.07/1800.83 v -x5629 -x5627 -x5625 -x154 -x5623 -x5621 -x5619 -x5617 -x5615 -x5613 -x5611 -x5609 -x5607 -x5605 -x5603 -x5601 -x5599 -x5597
1800.07/1800.83 v -x5595 -x153 -x5593 -x5591 -x5589 -x5587 -x5585 -x5583 x5581 -x5579 -x5577 -x5575 -x5573 -x5571 -x5569 -x5567 -x5565 -x5563
1800.07/1800.83 v -x5561 -x5559 -x5557 -x5555 -x5553 -x5551 -x152 -x5549 -x5547 -x5545 -x5543 -x5541 -x5539 -x5537 -x5535 -x5533 -x5531 -x5529
1800.07/1800.83 v -x5527 -x5525 -x5523 -x151 -x5521 -x5519 -x5517 -x5515 -x5513 -x5511 -x5509 -x5507 -x5505 -x5503 -x5501 -x5499 -x5497 -x5495
1800.07/1800.83 v -x5492 -x5490 -x5488 -x5486 -x5484 -x5482 -x5480 -x5478 -x5476 -x5474 -x5472 -x5470 -x5468 -x5466 -x5464 -x5462 -x150 -x5460
1800.07/1800.83 v -x5458 -x5456 -x149 -x5454 -x5452 -x5450 -x5448 -x5446 -x5444 -x5442 -x148 -x5440 -x5438 -x5436 -x5434 -x5432 -x5430 -x5428
1800.07/1800.83 v -x147 -x5426 -x5424 -x5422 -x5420 -x5418 -x5416 -x5414 -x5412 -x5410 -x5408 -x5406 -x5404 -x5402 -x5400 -x5398 -x146 -x5396
1800.07/1800.83 v -x5394 -x5392 -x5390 -x5388 -x5386 -x5384 -x145 -x5382 -x5380 -x5378 -x5376 -x5374 -x5372 -x5370 -x5368 -x5366 -x5364 -x5362
1800.07/1800.83 v -x5360 -x5358 -x5356 -x5354 -x144 -x5352 -x5350 -x5348 -x5346 -x5344 -x5342 -x5340 -x5338 -x5336 -x5334 -x5332 -x5330 -x5328
1800.07/1800.83 v -x5326 -x5324 -x143 -x5322 -x5320 -x5318 -x5316 -x5314 -x5312 -x5310 -x5308 -x5306 -x5304 -x5302 -x5300 -x5298 -x5296 -x5294
1800.07/1800.83 v -x5292 -x5290 -x5288 -x5286 -x5284 -x5282 -x5279 -x5277 -x5275 -x5273 -x5271 -x5269 -x5267 -x5265 -x5263 -x142 -x5261 -x5259
1800.07/1800.83 v x5257 -x5255 -x5253 -x5251 -x5249 x141 -x5247 -x5245 -x5243 -x5241 -x5239 -x5237 -x5235 -x5233 -x5231 -x5229 -x5227 -x5225 -x5223
1800.07/1800.83 v -x5221 -x5219 -x140 -x5217 -x5215 -x5213 -x5211 x5209 -x5207 -x5205 -x5203 -x5201 -x5199 -x5197 -x5195 -x5193 -x5191 -x5189
1800.07/1800.83 v -x5187 -x5185 -x5183 -x5181 -x5179 -x5176 -x5174 -x5172 -x5170 -x5168 -x5166 -x5164 -x5162 -x5160 -x5158 -x5156 -x5154 -x5152
1800.07/1800.83 v -x5150 -x5148 -x5146 -x5144 -x5142 -x5140 -x5138 -x5136 -x5134 -x5132 -x5130 -x139 -x5128 -x5126 -x5124 -x5122 -x5120 -x5118
1800.07/1800.83 v -x5116 -x5114 -x5112 -x5110 -x5108 -x5106 -x5104 -x5102 -x5100 -x138 -x5098 -x5096 -x5094 -x5092 -x5090 -x5088 -x5086 -x5084
1800.07/1800.83 v -x5082 -x5080 -x5078 -x5076 -x5074 -x5071 -x5069 -x5067 -x5065 -x5063 -x5061 -x5059 -x5057 -x5055 -x5053 -x5051 -x5049 -x5047
1800.07/1800.83 v -x5045 -x5043 -x5041 -x5039 -x137 -x5037 -x5035 -x5033 -x5031 -x5029 -x5027 -x5025 -x5023 -x5021 -x5019 -x5017 -x5015 -x5013
1800.07/1800.83 v -x5011 -x5009 -x5007 -x5005 -x5003 -x5001 -x4999 -x4997 -x4995 -x4993 -x4991 -x4989 -x4987 -x4985 -x4983 -x4981 -x4979
1800.07/1800.83 v -x4977 -x136 -x4975 -x4973 -x4971 -x4969 -x4967 -x4965 -x4963 -x4961 -x4959 -x4957 -x4955 -x4953 -x4951 -x4949 -x4947 -x4945
1800.07/1800.83 v -x4943 -x4941 -x4939 -x4936 -x4934 -x4932 -x4930 -x4928 -x4926 -x4924 -x4922 -x4920 -x4918 -x4916 -x4914 -x4912 -x4910 -x4908
1800.07/1800.83 v -x4906 -x4904 -x4902 -x4900 -x4898 -x4896 -x4894 -x4892 -x4890 -x4888 -x4886 -x4884 -x4882 -x4880 -x4878 -x4876 -x4874 -x4872
1800.07/1800.83 v -x4870 -x4868 -x4866 -x4864 -x4862 -x4860 -x4858 -x135 -x4856 x134 x4854 -x4852 -x4850 -x133 -x4848 -x4846 -x4844 -x132 -x4842
1800.07/1800.83 v -x4840 -x4838 -x4836 -x4834 -x4832 -x4830 -x131 -x4828 -x4826 -x4824 -x130 -x4822 -x4820 -x4818 -x129 -x4816 -x4814 -x4812
1800.07/1800.83 v -x4810 -x4808 -x4806 -x4804 -x128 -x4802 x4800 -x4798 x127 -x4796 -x4794 -x4792 -x4790 -x4788 -x4786 -x4784 -x126 -x4782 -x4780
1800.07/1800.83 v -x4778 -x4776 -x4774 -x4772 -x4770 -x125 -x4768 -x4766 -x4764 -x4762 -x4760 -x4758 -x4756 -x124 -x4754 -x4752 -x4750 -x4748
1800.07/1800.83 v -x4746 -x4744 -x4742 -x123 -x4740 -x4738 -x4736 -x4734 -x4732 -x4730 -x4728 -x4726 -x4724 -x4722 -x4720 -x4718 -x4716 -x4714
1800.07/1800.83 v -x4712 -x122 -x4710 x4708 -x4706 x121 -x4704 -x4702 -x4700 -x4698 -x4696 -x4694 -x4692 -x120 -x4690 -x4688 -x4686 -x4684
1800.07/1800.83 v -x4682 -x4680 -x4678 -x119 -x4676 -x4674 -x4672 -x4670 -x4668 -x4666 -x4664 -x4662 -x4660 -x4658 -x4656 -x4654 -x4652 -x4650
1800.07/1800.83 v -x4648 -x118 -x4646 -x4644 x4642 -x4640 -x4638 -x4636 -x4634 -x4632 -x4630 -x4628 -x4626 -x4624 -x4622 -x4620 -x117 -x4618 -x4616
1800.07/1800.83 v -x4614 -x4612 -x4610 -x4608 -x4606 -x4604 -x4602 -x4600 -x4598 -x4596 -x4594 -x4592 -x4590 -x116 -x4588 -x4586 -x4584 -x4582
1800.07/1800.83 v -x4580 -x4578 -x4576 -x115 -x4574 -x4572 -x4570 -x4568 -x4566 -x4564 -x4562 -x4560 -x4558 -x4556 -x4554 -x4552 -x4550 -x4548
1800.07/1800.83 v -x4546 -x114 -x4544 -x4542 -x4540 -x4538 -x4536 -x4534 -x4532 -x4530 -x4528 -x4526 -x4524 -x4522 -x4520 -x4518 -x4516 -x113
1800.07/1800.83 v -x4514 -x4512 -x4510 -x4508 -x4506 -x4504 -x4502 -x4500 -x4498 -x4496 -x4494 -x4492 -x4490 -x4488 -x4486 -x112 -x4484 -x4482
1800.07/1800.83 v -x4480 -x4478 -x4476 -x4474 -x4472 -x4470 -x4468 -x4466 -x4464 -x4462 -x4460 -x4458 -x4456 -x4454 -x4452 -x4450 -x4448 -x4446
1800.07/1800.83 v -x4444 -x4442 -x4440 -x4438 -x4436 -x4434 -x4432 -x4430 -x4428 -x4426 -x4424 -x111 -x4422 -x110 -x4420 -x4418 -x4416 -x109
1800.07/1800.83 v -x4414 -x4412 -x4410 -x108 -x4408 -x4406 -x4404 -x4402 -x4400 -x4398 -x4396 -x107 -x4394 x4392 -x4390 -x4388 -x4386 -x106
1800.07/1800.83 v -x4384 -x4382 -x4380 -x4378 -x4376 -x4374 -x4372 -x105 -x4370 -x4368 -x4366 -x104 -x4364 -x4362 -x4360 -x4358 -x4356 -x4354 -x4352
1800.07/1800.83 v -x103 -x4350 -x4348 -x4346 -x4344 -x4342 -x4340 -x4338 -x102 -x4336 -x4334 -x4332 -x4330 -x4328 -x4326 -x4324 -x101 -x4322
1800.07/1800.83 v -x4320 -x4318 -x4316 -x4314 -x4312 -x4310 -x100 -x4308 -x4306 -x4304 -x4302 -x4300 -x4298 -x4296 -x4294 -x4292 -x4290 -x4288
1800.07/1800.83 v -x4286 -x4284 -x4282 -x4280 -x99 -x4278 x4276 -x4274 x98 -x4272 -x4270 -x4268 -x4266 -x4264 x4262 -x4260 -x4258 -x4256 -x4254
1800.07/1800.83 v -x4252 -x4250 -x4248 -x4246 -x97 -x4244 -x4242 -x4240 -x4238 -x4236 -x4234 -x4232 -x4230 -x4228 -x4226 -x4224 -x4222 -x4220
1800.07/1800.83 v -x4218 -x4216 -x96 -x4214 -x4212 -x4210 -x4208 -x4206 -x4204 -x4202 -x95 -x4200 -x4198 -x4196 -x4194 -x4192 -x4190 -x4188
1800.07/1800.83 v -x94 -x4186 -x4184 -x4182 -x4180 -x4178 -x4176 -x4174 -x4172 -x4170 -x4168 -x4166 -x4164 -x4162 -x4160 -x4158 -x93 -x4156 -x4154
1800.07/1800.83 v -x4152 -x4150 -x4148 -x4146 -x4144 -x92 -x4142 -x4140 -x4138 -x4136 -x4134 -x4132 -x4130 -x4128 -x4126 -x4124 -x4122 -x4120
1800.07/1800.83 v x4118 -x4116 -x4114 -x4112 -x4110 -x4108 -x4106 -x4104 -x4102 -x4100 -x4098 -x4096 -x4094 -x4092 -x4090 -x4088 -x4086 -x4084
1800.07/1800.83 v -x91 -x4082 -x4080 -x4078 -x4076 -x4074 -x4072 -x4070 -x4068 -x4066 -x4064 -x4062 -x4060 -x4058 -x4056 -x4054 -x90 -x4052
1800.07/1800.83 v -x4050 -x4048 -x4046 -x4044 -x4042 -x4040 -x4038 -x4036 -x4034 -x4032 -x4030 -x4028 -x4026 -x4024 -x4022 -x4020 -x4018 -x4016
1800.07/1800.83 v -x4013 -x4011 -x4009 -x4007 -x4005 -x4003 -x4001 -x3999 -x3997 -x3995 -x3993 -x89 -x3991 -x3989 -x3987 -x88 -x3985 -x3983 -x3981
1800.07/1800.83 v -x3979 -x3977 x3975 -x3973 -x3971 -x3969 -x3967 -x3965 -x3963 -x3961 -x3959 -x87 -x3957 -x3955 -x3953 -x3951 -x3949 -x3947
1800.07/1800.83 v -x3945 -x3943 -x3941 -x3939 -x3937 -x3935 -x3933 -x3931 -x3929 -x86 -x3927 -x3925 -x3923 -x3921 -x3919 -x3917 -x3915 -x85
1800.07/1800.83 v -x3913 -x3911 -x3909 -x3907 -x3905 -x3903 -x3901 -x84 -x3899 -x3897 -x3895 -x3893 -x3891 -x3889 -x3887 -x3885 -x3883 -x3881
1800.07/1800.83 v -x3879 -x3877 -x3875 -x3873 -x3871 -x83 -x3869 -x3867 -x3865 -x3863 -x3861 -x3859 -x3857 -x82 -x3855 -x3853 -x3851 -x3849 -x3847
1800.07/1800.83 v -x3845 -x3843 -x3841 -x3839 -x3837 -x3835 -x3833 -x3831 -x3829 -x3827 -x81 -x3825 -x3823 -x3821 -x3819 -x3817 -x3815 -x3813
1800.07/1800.83 v -x3811 -x3809 -x3807 -x3805 -x3803 -x3801 -x3799 -x3797 -x80 -x3795 -x3793 -x3791 -x3789 -x3787 -x3785 -x3783 -x3781 -x3779
1800.07/1800.83 v -x3777 -x3775 -x3773 -x3771 -x3769 -x3767 -x79 -x3765 -x3763 -x3761 -x3759 -x3757 -x3755 -x3753 -x3751 -x3749 -x3747 -x3745
1800.07/1800.83 v -x3743 -x3741 -x3739 -x3737 -x3735 -x3733 -x3731 -x3729 -x3727 -x3725 -x3723 -x3721 -x3719 -x3717 -x3715 -x3713 -x3711 -x3709
1800.07/1800.83 v -x3707 -x3705 -x78 -x3703 -x3701 -x3699 -x3697 -x3695 -x3693 -x3691 -x77 -x3689 -x3687 -x3685 -x3683 -x3681 -x3679 -x3677 -x3675
1800.07/1800.83 v -x3673 -x3671 -x3669 -x3667 -x3665 -x3663 -x3661 -x76 -x3659 -x3657 -x3655 -x3653 -x3651 -x3649 -x3647 -x3645 -x3643 -x3641
1800.07/1800.83 v -x3639 -x3637 -x3635 -x3633 -x3631 -x75 -x3629 -x3627 -x3625 -x3623 -x3620 -x3618 -x3616 -x3614 -x3612 -x3610 -x3608 -x3606
1800.07/1800.83 v -x3604 -x3602 -x3600 -x3598 -x3596 -x3594 -x3592 -x3590 -x3588 -x3586 x3584 -x3582 -x3580 -x3578 -x3576 -x3574 -x3572 -x3570
1800.07/1800.83 v -x3568 -x3566 -x3564 -x3562 -x3560 -x3558 -x3556 -x3554 -x3552 -x3550 -x3548 -x3546 -x3544 -x3542 -x74 -x3540 -x3538 -x3536
1800.07/1800.83 v -x3534 -x3532 -x3530 -x3528 -x3526 -x3524 -x3522 -x3520 -x3518 -x3516 -x3514 -x3512 -x73 -x3510 -x3508 -x3506 -x3504 -x3502
1800.07/1800.83 v -x3500 -x3498 -x3496 -x3494 -x3492 -x3490 -x3488 -x3486 -x3484 -x3482 -x3480 -x3478 -x3476 -x3474 -x3472 -x3470 -x3468 -x3466
1800.07/1800.83 v -x3464 -x3462 -x3460 -x3458 -x3456 -x3454 -x3452 -x3450 -x72 -x3448 -x3446 -x3444 -x3442 -x3440 -x3438 -x3436 -x3434 -x3432
1800.07/1800.83 v -x3430 -x3428 -x3426 -x3424 -x3422 -x3420 -x71 -x3418 -x3416 -x3414 -x3412 -x3410 -x3408 -x3406 -x3404 -x3402 -x3400 -x3398
1800.07/1800.83 v -x3396 -x3394 -x3392 -x3390 -x3388 -x3386 -x3384 -x3382 -x3380 -x3378 -x3376 -x3373 -x3371 -x3369 -x3367 -x3365 -x3363 -x3361
1800.07/1800.83 v -x3359 -x70 -x3357 -x3355 -x3353 -x3351 -x3349 -x3347 -x3345 -x3343 -x3341 -x3339 -x3337 -x3335 -x3333 -x3331 -x3329 -x3327
1800.07/1800.83 v -x3325 -x3323 -x3321 -x3319 -x3317 -x3315 -x3313 -x3311 -x3309 -x3307 -x3305 -x3303 -x3301 -x3299 -x3297 -x69 -x3295 -x3293
1800.07/1800.83 v -x3291 -x3289 -x3287 -x3285 -x3283 -x3281 -x3279 -x3277 -x3275 -x3273 -x3271 -x3269 -x3267 -x3265 -x3263 -x3261 -x3259 -x3257
1800.07/1800.83 v -x3255 -x3253 -x3251 -x3249 -x3247 -x3245 -x3243 -x3241 -x3239 -x3237 -x3235 -x3233 -x3231 -x3229 -x3227 -x3225 -x3223 -x3221
1800.07/1800.83 v -x3219 -x3217 -x3215 -x3213 -x3211 -x3209 -x3207 -x3205 -x3203 -x3201 -x3199 -x3197 -x3195 -x3193 -x3191 -x3189 -x3187 -x3185
1800.07/1800.83 v -x3183 -x3181 -x3179 -x3177 -x3175 -x3173 -x3171 -x68 -x3169 -x67 -x3167 -x3165 -x3163 -x66 -x3161 -x3159 -x3157 -x65 -x3155
1800.07/1800.83 v -x3153 -x3151 -x64 -x3149 -x3147 -x3145 -x3143 -x3141 -x3139 -x3137 -x63 -x3135 -x3133 -x3131 -x62 -x3129 -x3127 x3125 -x3123
1800.07/1800.83 v -x3121 -x3119 -x3117 -x3115 -x3113 -x3111 -x3109 -x3107 -x3105 -x3103 -x61 -x3101 -x3099 -x3097 -x3095 -x3093 -x3091 -x3089
1800.07/1800.83 v -x60 -x3087 -x3085 -x3083 -x3081 -x3079 -x3077 -x3075 -x3073 -x3071 -x3069 -x3067 -x3065 -x3063 -x3061 -x3059 -x59 -x3057
1800.07/1800.83 v -x3055 -x3053 -x58 -x3051 -x3049 -x3047 -x3045 -x3043 -x3041 -x57 -x3039 -x3037 -x3035 -x3033 -x3031 -x3029 -x3027 -x56 -x3025
1800.07/1800.83 v -x3023 -x3021 -x3019 -x3017 -x3015 -x3013 -x3011 -x3009 -x3007 -x3005 -x3003 -x3001 -x2999 -x2997 -x55 -x2995 -x2993 -x2991
1800.07/1800.83 v -x2989 -x2987 -x2985 -x2983 -x54 -x2981 -x2979 -x2977 -x2975 -x2973 -x2971 -x2969 -x2967 -x2965 -x2963 -x2961 -x2959 -x2957
1800.07/1800.83 v -x2955 -x2953 -x53 -x2951 -x2949 -x2947 -x2945 -x2943 -x2941 -x2939 -x2937 -x2935 -x2933 -x2931 -x2929 -x2927 -x2925 -x2923 -x52
1800.07/1800.83 v -x2921 -x2919 -x2917 -x2915 -x2913 -x2911 -x2909 -x2907 -x2905 -x2903 -x2901 -x2899 -x2897 -x2895 -x2893 -x2891 -x2889 -x2887
1800.07/1800.83 v -x2885 -x2883 -x2881 -x2879 -x2877 -x2875 -x2873 -x2871 -x2869 -x2867 -x2865 -x2863 -x2861 -x51 -x2859 -x2857 -x2855 -x50
1800.07/1800.83 v -x2853 -x2851 -x2849 -x2847 -x2845 -x2843 -x2841 -x49 -x2839 -x2837 -x2835 -x2833 -x2831 -x2829 -x2827 -x48 -x2825 -x2823 -x2821
1800.07/1800.83 v -x2819 -x2817 -x2815 -x2813 -x47 -x2811 -x2809 -x2807 -x2805 -x2803 -x2801 -x2799 -x2797 -x2795 -x2793 -x2791 x2789 -x2787
1800.07/1800.83 v -x2785 -x2783 -x2781 -x2779 -x2777 -x2775 -x2773 -x2771 -x2769 -x46 -x2767 -x2765 -x2763 -x2761 -x2759 -x2757 -x2755 -x2753
1800.07/1800.83 v -x2751 -x2749 -x2747 -x2745 -x2743 -x2741 -x2739 -x45 -x2737 -x2735 -x2733 -x2731 -x2729 -x2727 -x2725 -x2723 -x2721 -x2719
1800.07/1800.83 v -x2717 -x2715 -x2713 -x2711 -x2709 -x44 -x2707 -x2705 -x2703 -x2701 -x2699 -x2697 -x2695 -x2693 -x2691 -x2689 -x2687 -x2685
1800.07/1800.83 v -x2683 -x2681 -x2679 -x43 -x2677 -x2675 -x2673 -x2671 -x2669 -x2667 -x2665 -x2663 -x2661 -x2659 -x2657 -x2655 -x2653 -x2651
1800.07/1800.83 v -x2649 -x2647 -x2645 -x2643 -x2641 -x2639 -x2637 -x2635 -x2633 -x2631 -x2629 -x2627 -x2625 -x2623 -x2621 -x2619 x2617 -x2615
1800.07/1800.83 v -x2613 -x2611 -x2609 -x2607 -x2605 -x2603 -x42 -x2601 -x2599 -x2597 -x2595 -x2593 -x2591 -x2589 -x2587 -x2585 -x2583 -x2581 -x2579
1800.07/1800.83 v -x2577 -x2575 -x2573 -x41 -x2571 -x2569 -x2567 -x2565 -x2563 -x2561 -x2559 -x2557 -x2555 -x2553 -x2551 -x2549 -x2547 -x2545
1800.07/1800.83 v -x2543 -x40 -x2541 -x2539 -x2537 -x2535 -x2533 -x2531 -x2529 -x2527 -x2525 -x2523 -x2521 -x2519 -x2517 -x2515 -x2513 -x2511
1800.07/1800.83 v -x2509 -x2507 -x2505 -x2503 -x2501 -x2499 -x2497 -x2495 -x2493 -x2491 -x2489 -x2487 -x2485 -x2483 -x2481 -x39 -x2479 -x2477
1800.07/1800.83 v -x2475 -x2473 -x2471 -x2469 -x2467 -x2465 -x2463 -x2461 -x2459 -x2457 -x2455 -x2453 -x2451 -x38 -x2449 -x2447 -x2445 -x2443
1800.07/1800.83 v -x2441 -x2439 -x2437 -x2435 -x2433 -x2431 -x2429 -x2427 -x2425 -x2423 -x2421 -x2419 -x2417 -x2415 -x2413 -x2411 -x2409 -x2407
1800.07/1800.83 v -x2405 -x2403 -x2401 -x2399 -x2397 -x2395 -x2393 -x2391 -x2389 -x37 -x2387 -x2385 -x2383 -x2381 -x2379 -x2377 -x2375 -x2373
1800.07/1800.83 v -x2371 -x2369 -x2367 -x2365 -x2363 -x2361 -x2359 -x2357 -x2355 -x2353 -x2351 -x2349 -x2347 -x2345 -x2343 -x2341 -x2339 -x2337
1800.07/1800.83 v -x2335 -x2333 -x2331 -x2329 -x2327 -x36 -x2325 -x2323 -x2321 -x2319 -x2317 -x2315 -x2313 -x2311 -x2309 -x2307 -x2305 -x2303
1800.07/1800.83 v -x2301 -x2299 -x2296 -x2294 -x2292 -x2290 -x2288 -x2286 -x2284 -x2282 -x2280 -x2278 -x2276 -x2274 -x2272 -x2270 -x2268 -x2266
1800.07/1800.83 v -x2264 -x2262 -x2260 -x2258 -x2256 -x2254 -x2252 -x2250 -x2248 -x2246 -x2244 -x2242 -x2240 -x2238 -x2236 -x2234 -x2232 -x2230
1800.07/1800.83 v -x2228 -x2226 -x2224 -x2222 -x2220 -x2218 -x2216 -x2214 -x2212 -x2210 -x2208 -x2206 -x2204 -x2202 -x35 -x2200 -x2198 -x2196
1800.07/1800.83 v -x34 -x2194 -x2192 -x2190 -x2188 -x2186 -x2184 -x2182 -x33 -x2180 -x2178 -x2176 -x2174 -x2172 -x2170 -x2168 -x32 -x2166 -x2164
1800.07/1800.83 v -x2162 -x2160 -x2158 -x2156 -x2154 -x31 -x2152 -x2150 -x2148 -x2146 -x2144 -x2142 -x2140 -x2138 -x2136 -x2134 -x2132 -x2130
1800.07/1800.83 v -x2128 -x2126 -x2124 -x30 -x2122 -x2120 -x2118 -x2116 -x2114 -x2112 -x2110 -x29 -x2108 -x2106 -x2104 -x2102 -x2100 -x2098
1800.07/1800.83 v -x2096 -x2094 -x2092 -x2090 -x2088 -x2086 -x2084 -x2082 -x2080 -x28 -x2078 -x2076 -x2074 -x2072 -x2070 -x2068 -x2066 -x2064
1800.07/1800.83 v -x2062 -x2060 -x2058 -x2056 -x2054 -x2052 -x2050 -x27 -x2048 -x2046 -x2044 -x2042 -x2040 -x2038 -x2036 -x2034 -x2032 -x2030 -x2028
1800.07/1800.83 v -x2026 -x2024 -x2022 -x2020 -x26 -x2018 -x2016 -x2014 -x2012 -x2010 -x2008 -x2005 -x2003 -x2001 -x1999 -x1997 -x1995 -x1993
1800.07/1800.83 v -x1991 -x1989 -x1987 -x1985 -x1983 -x1981 -x1979 -x1977 -x1975 -x1973 -x1971 -x1969 -x1967 -x1965 -x1963 -x1961 -x1959 -x25
1800.07/1800.83 v -x1957 -x1955 -x1953 -x1951 -x1949 -x1947 -x1945 -x24 -x1943 -x1941 -x1939 -x1937 -x1935 -x1933 -x1931 -x1929 -x1927 -x1925
1800.07/1800.83 v -x1923 -x1921 -x1919 -x1917 -x1915 -x23 -x1913 -x1911 -x1909 -x1907 -x1905 -x1903 -x1901 -x1899 -x1897 -x1895 -x1893 -x1891
1800.07/1800.83 v -x1889 -x1887 -x1885 -x22 -x1883 -x1881 -x1879 -x1877 -x1875 -x1873 -x1871 -x1869 -x1867 -x1865 -x1862 -x1860 -x1858 -x1856
1800.07/1800.83 v -x1854 -x1852 -x1850 -x1848 -x1846 -x1844 -x1842 -x1840 -x1838 -x1836 -x1834 -x1832 -x1830 -x1828 -x1826 -x1824 -x21 -x1822
1800.07/1800.83 v -x1820 -x1818 -x1816 -x1814 -x1812 -x1810 -x1808 -x1806 -x1804 -x1802 -x1800 -x1798 -x1796 -x1794 -x20 -x1792 -x1790 -x1788 -x1786
1800.07/1800.83 v -x1784 -x1782 -x1780 -x1778 -x1776 -x1774 -x1772 -x1770 -x1768 -x1766 -x1764 -x1762 -x1760 -x1758 -x1756 -x1754 -x1752
1800.07/1800.83 v -x1750 -x1748 -x1746 -x1744 -x1742 -x1740 -x1738 -x1736 -x1734 -x1732 -x19 -x1730 -x1728 -x1726 -x1724 -x1722 -x1720 -x1718 -x1716
1800.07/1800.83 v -x1714 -x1712 -x1710 -x1708 -x1706 -x1704 -x1702 -x1700 -x1698 -x1696 -x1694 -x1692 -x1690 -x1688 -x1686 -x1684 -x1682
1800.07/1800.83 v -x1680 -x1678 -x1676 -x1674 -x1672 -x1670 -x18 -x1668 -x1666 -x1664 -x1662 -x1660 -x1658 -x1656 -x1654 -x1652 -x1650 -x1648 -x1646
1800.07/1800.83 v -x1644 -x1642 -x1640 -x1638 -x1636 -x1634 -x1632 -x1630 -x1628 -x1626 -x1624 -x1622 -x1620 -x1618 -x1616 -x1614 -x1612
1800.07/1800.83 v -x1610 -x1608 -x1606 -x1604 -x1602 -x1600 -x1598 -x1596 -x1594 -x1592 -x1590 -x1588 -x1586 -x1584 -x1582 -x1580 -x1578 -x1576
1800.07/1800.83 v -x1574 -x1572 -x1570 -x1567 -x1565 -x1563 -x1561 -x1559 -x1557 -x1555 -x1553 -x1551 -x1549 -x1547 -x17 -x1545 -x1543 -x1541
1800.07/1800.83 v -x1539 -x1537 -x1535 -x1533 -x16 -x1531 -x1529 -x1527 -x1525 -x1523 -x1521 -x1519 -x1517 -x1515 -x1513 -x1511 -x1509 -x1507 -x1505
1800.07/1800.83 v -x1503 -x15 -x1501 -x1499 -x1497 -x1495 -x1493 -x1491 -x1489 -x1487 -x1485 -x1483 -x1481 -x1479 -x1477 -x1475 -x1473 -x14
1800.07/1800.83 v -x1471 -x1469 -x1467 -x1465 -x1463 -x1461 -x1459 -x1457 -x1455 -x1453 -x1451 -x1449 -x1447 -x1445 -x1443 -x13 -x1441 -x1439
1800.07/1800.83 v -x1437 -x1435 -x1433 -x1431 -x1429 -x1427 -x1425 -x1423 -x1421 -x1419 -x1417 -x1415 -x1413 -x1411 -x1409 -x1407 -x1405 -x1403
1800.07/1800.83 v -x1401 -x1399 -x1397 -x1395 -x1393 -x1391 -x1389 -x1387 -x1385 -x1383 -x1381 -x12 -x1379 -x1377 -x1375 -x1373 -x1371 -x1369
1800.07/1800.83 v -x1367 -x1365 -x1363 -x1361 -x1359 -x1357 -x1355 -x1353 -x1351 -x11 -x1349 -x1347 -x1345 -x1343 -x1341 -x1339 -x1337 -x1335
1800.07/1800.83 v -x1333 -x1331 -x1329 -x1327 -x1325 -x1323 -x1321 -x1319 -x1317 -x1315 x1313 -x1311 -x1309 -x1307 -x1305 -x1303 -x1301 -x1299
1800.07/1800.83 v -x1297 -x1295 -x1293 -x1291 -x1288 -x1286 -x1284 -x1282 -x1280 -x1278 -x1276 -x1274 -x1272 -x1270 -x1268 -x1266 -x1264 -x1262
1800.07/1800.83 v -x1260 -x1258 -x1256 -x1254 -x1252 -x1250 -x1248 -x1246 -x1244 -x1242 -x1240 -x1238 -x1236 -x1234 -x1232 -x1230 -x1228 -x10
1800.07/1800.83 v -x1226 -x1224 -x1222 -x1220 -x1218 -x1216 -x1214 -x1212 -x1210 -x1208 -x1206 -x1204 -x1202 -x1200 -x1198 -x1196 -x1194 -x1192
1800.07/1800.83 v -x1190 -x1188 -x1186 -x1184 -x1182 -x1180 -x1178 -x1176 -x1174 -x1172 -x1170 -x1168 -x1166 -x9 -x1164 -x1162 -x1160 -x1158
1800.07/1800.83 v -x1156 -x1154 -x1152 -x1150 -x1148 -x1146 -x1144 -x1142 -x1140 -x1138 -x1136 -x1134 -x1132 -x1130 -x1128 -x1126 -x1124 -x1122
1800.07/1800.83 v -x1120 -x1118 -x1116 -x1114 -x1112 -x1110 -x1108 -x1106 -x1104 -x1102 -x1100 -x1098 -x1096 -x1094 -x1092 -x1090 -x1088 -x1086
1800.07/1800.83 v -x1084 -x1082 -x1080 -x1078 -x1076 -x1074 -x1072 -x1070 -x1068 -x1066 -x1064 -x1062 -x1060 -x1058 -x1056 -x1054 -x1052 -x1050
1800.07/1800.83 v -x1048 -x1046 -x1044 -x1042 -x1040 -x8 -x1038 -x1036 -x1034 -x1032 -x1030 -x1028 -x1026 -x1024 -x1022 -x1020 -x1018 -x1016
1800.07/1800.83 v -x1014 -x1012 -x1010 -x7 -x1008 -x1006 -x1004 -x1002 -x1000 -x998 -x996 -x994 -x992 -x990 -x988 -x986 -x984 -x982 -x980 -x978
1800.07/1800.83 v -x976 -x974 -x972 -x970 -x968 -x966 -x964 -x962 -x960 -x958 -x956 -x954 -x952 -x950 -x948 -x6 -x946 -x944 -x942 -x940 -x938
1800.07/1800.83 v -x936 -x934 -x932 -x930 -x928 -x926 -x924 -x922 -x920 -x918 -x916 -x914 -x912 -x910 -x908 -x906 -x904 -x902 -x900 -x898 -x896
1800.07/1800.83 v -x894 -x892 -x890 -x888 -x886 -x5 -x884 -x882 -x880 -x878 -x876 -x874 -x872 -x870 -x868 -x866 -x864 -x862 -x860 -x858 -x856
1800.07/1800.83 v -x854 -x852 -x850 -x848 -x846 -x844 -x842 -x840 -x838 -x836 -x834 -x832 -x830 -x828 -x826 -x824 -x822 -x820 -x818 -x816 -x814
1800.07/1800.83 v -x812 -x810 -x808 -x805 -x803 -x801 -x799 -x797 -x795 -x793 -x791 -x789 -x787 -x785 -x783 -x781 -x779 -x777 -x775 -x773 -x771
1800.07/1800.83 v -x769 -x767 -x765 -x763 -x761 -x4 -x759 -x757 -x755 -x753 -x751 -x749 -x747 -x745 -x743 -x741 -x739 -x737 -x735 -x733 -x731
1800.07/1800.83 v -x729 -x727 -x725 -x723 -x721 -x719 -x717 -x715 -x713 -x711 -x709 -x707 -x705 -x703 -x701 -x699 -x3 -x697 -x695 -x693 -x691
1800.07/1800.83 v -x689 -x687 -x685 -x683 -x681 -x679 -x677 -x675 -x673 -x671 -x669 -x667 -x665 -x663 -x661 -x659 -x657 -x655 -x653 -x651 -x649
1800.07/1800.83 v -x647 -x645 -x643 -x641 -x639 -x637 -x635 -x633 -x631 -x629 -x627 -x625 -x623 -x621 -x619 -x617 -x615 -x613 -x611 -x609 -x607
1800.07/1800.83 v -x605 -x603 -x601 -x599 -x597 -x595 -x593 -x591 -x589 -x587 -x585 -x583 -x581 -x579 -x577 -x575 -x573 -x2 -x571 -x569 -x567
1800.07/1800.83 v -x565 -x563 -x561 -x559 -x557 -x555 -x553 -x551 -x549 -x547 -x545 -x543 -x541 -x539 -x537 -x535 -x533 -x531 -x529 -x527 -x525
1800.07/1800.83 v -x523 -x521 -x519 -x517 -x515 -x513 -x511 -x509 -x507 -x505 -x503 -x501 -x499 -x497 -x495 -x493 -x491 -x489 -x487 -x485 -x483
1800.07/1800.83 v -x481 -x479 -x477 -x475 -x473 -x471 -x469 -x467 -x465 -x463 -x461 -x459 -x457 -x455 -x453 -x451 -x449 -x447 -x1 -x445 -x443
1800.07/1800.83 v -x441 -x439 -x437 -x435 -x433 -x431 -x429 -x427 -x425 -x423 -x421 -x419 -x417 -x415 -x413 -x411 -x409 -x407 -x405 -x403 -x401
1800.07/1800.83 v -x399 -x397 -x395 -x393 -x391 -x389 -x387 -x385 -x383 -x381 -x379 -x377 -x375 -x373 -x371 -x369 -x367 -x365 -x363 -x361 -x359
1800.07/1800.83 v -x357 -x355 -x353 -x351 -x349 -x347 -x345 -x343 -x341 -x339 -x337 -x335 -x333 -x331 -x329 -x327 -x325 -x323 -x321 -x319
1800.07/1800.83 v -x317 -x315 -x313 -x311 -x309 -x307 -x305 -x303 -x301 -x299 -x297 -x295 x293 -x291 -x289 -x287 -x285 -x283 -x281 -x279 -x277
1800.07/1800.83 v -x275 -x273 -x271 -x269 -x267 -x265 -x263 -x261 -x259 -x257 -x255 -x253 -x251 -x249 -x247 -x245 -x243 -x241 -x239 -x237 -x235
1800.07/1800.83 v -x233 -x231 -x229 -x227 -x225 -x223 -x221 -x219 -x217 -x215 -x213 -x211 -x209 -x207 -x205 -x203 -x201 -x199 -x197 -x195 -x193
1800.07/1800.83 v -x191 x6148 x6146 x6144 -x6142 x6140 -x6138 -x6136 -x6134 -x6132 -x6130 -x6128 -x6126 -x6124 -x6122 -x6120 -x6118 -x6116 x6114
1800.07/1800.83 v -x6112 -x6110 -x6108 -x6106 -x6104 -x6102 -x6100 -x6098 -x6096 -x6094 -x6092 -x6090 -x6088 -x6086 -x6084 -x6082 -x6080 -x6078
1800.07/1800.83 v -x6076 -x6074 -x6072 -x6070 -x6068 -x6066 -x6064 -x6062 -x6060 -x6058 -x6056 -x6054 -x6052 -x6050 -x6048 -x6046 -x6044 -x6042
1800.07/1800.83 v -x6040 -x6038 -x6036 -x6034 -x6032 -x6030 x6028 x6026 -x6024 -x6022 -x6020 x6018 -x6016 -x6014 -x6012 -x6010 -x6008 -x6006
1800.07/1800.83 v x6004 -x6002 -x6000 -x5998 -x5996 -x5994 -x5992 -x5990 -x5988 -x5986 -x5984 -x5982 -x5980 -x5978 -x5976 -x5974 -x5972 -x5970
1800.07/1800.83 v -x5968 -x5966 -x5964 -x5962 -x5960 -x5958 -x5956 -x5954 -x5952 -x5950 -x5948 -x5946 -x5944 -x5942 -x5940 -x5938 -x5936 -x5934
1800.07/1800.83 v -x5932 -x5930 -x5928 -x5926 -x5924 -x5922 -x5920 -x5918 x5916 -x5914 -x5912 -x5910 -x5908 -x5906 -x5904 -x5902 -x5900 -x5898
1800.07/1800.83 v -x5896 -x5894 -x5892 -x5890 -x5888 -x5886 -x5884 -x5882 -x5880 -x5878 -x5876 -x5874 -x5872 -x5870 -x5868 -x5866 -x5864 -x5862
1800.07/1800.83 v -x5860 -x5858 -x5856 -x5854 -x5852 -x5850 -x5848 -x5846 -x5844 -x5842 -x5840 -x5838 -x5836 -x5834 -x5832 -x5830 -x5828
1800.07/1800.83 v -x5826 -x5824 -x5822 -x5820 -x5818 -x5816 -x5814 -x5812 -x5810 -x5808 -x5806 -x5804 -x5802 -x5800 -x5798 -x5796 -x5794 -x5793
1800.07/1800.83 v -x5791 -x5789 -x5787 -x5785 -x5783 -x5781 -x5779 -x5777 -x5776 -x5774 -x5772 -x5770 -x5768 -x5766 -x5764 -x5762 -x5760 -x5758
1800.07/1800.83 v -x5756 -x5754 -x5752 -x5750 -x5748 -x5746 -x5744 x5742 -x5740 -x5738 -x5736 -x5734 -x5732 -x5730 -x5728 -x5726 -x5724 -x5722
1800.07/1800.83 v -x5720 -x5718 -x5716 -x5714 -x5712 -x5710 -x5708 -x5706 -x5704 -x5702 -x5700 -x5698 -x5696 -x5694 -x5692 -x5690 -x5688 -x5686
1800.07/1800.83 v -x5684 -x5682 -x5680 -x5678 -x5676 -x5674 -x5672 -x5670 -x5668 -x5666 -x5664 -x5662 -x5660 -x5658 -x5656 -x5654 -x5652 -x5650
1800.07/1800.83 v -x5648 -x5646 -x5644 -x5642 -x5640 -x5638 -x5636 -x5634 -x5632 -x5630 -x5628 -x5626 -x5624 -x5622 -x5620 -x5618 -x5616 -x5614
1800.07/1800.83 v -x5612 -x5610 -x5608 -x5606 -x5604 -x5602 -x5600 -x5598 -x5596 -x5594 -x5592 -x5590 -x5588 -x5586 -x5584 x5582 -x5580 -x5578
1800.07/1800.83 v -x5576 -x5574 -x5572 -x5570 -x5568 -x5566 -x5564 -x5562 -x5560 -x5558 -x5556 -x5554 -x5552 -x5550 -x5548 -x5546 -x5544 -x5542
1800.07/1800.83 v -x5540 -x5538 -x5536 -x5534 -x5532 -x5530 -x5528 -x5526 -x5524 -x5522 -x5520 -x5518 -x5516 -x5514 -x5512 -x5510 -x5508
1800.07/1800.83 v -x5506 -x5504 -x5502 -x5500 -x5498 -x5496 -x5494 -x5493 -x5491 -x5489 -x5487 -x5485 -x5483 -x5481 -x5479 -x5477 -x5475 -x5473
1800.07/1800.83 v -x5471 -x5469 -x5467 -x5465 -x5463 -x5461 -x5459 -x5457 -x5455 -x5453 -x5451 -x5449 -x5447 -x5445 -x5443 -x5441 -x5439 -x5437
1800.07/1800.83 v -x5435 -x5433 -x5431 -x5429 -x5427 -x5425 -x5423 -x5421 -x5419 -x5417 -x5415 -x5413 -x5411 -x5409 -x5407 -x5405 -x5403 -x5401
1800.07/1800.83 v -x5399 -x5397 -x5395 -x5393 -x5391 -x5389 -x5387 -x5385 -x5383 -x5381 -x5379 -x5377 -x5375 -x5373 -x5371 -x5369 -x5367 -x5365
1800.07/1800.83 v -x5363 -x5361 -x5359 -x5357 -x5355 -x5353 -x5351 -x5349 -x5347 -x5345 -x5343 -x5341 -x5339 -x5337 -x5335 -x5333 -x5331 -x5329
1800.07/1800.83 v -x5327 -x5325 -x5323 -x5321 -x5319 -x5317 -x5315 -x5313 -x5311 -x5309 -x5307 -x5305 -x5303 -x5301 -x5299 -x5297 -x5295 -x5293
1800.07/1800.83 v -x5291 -x5289 -x5287 -x5285 -x5283 -x5281 -x5280 -x5278 -x5276 -x5274 -x5272 -x5270 -x5268 -x5266 -x5264 -x5262 -x5260
1800.07/1800.83 v x5258 -x5256 -x5254 -x5252 -x5250 -x5248 -x5246 -x5244 -x5242 -x5240 -x5238 -x5236 -x5234 -x5232 -x5230 -x5228 -x5226 -x5224
1800.07/1800.83 v -x5222 -x5220 -x5218 -x5216 -x5214 -x5212 x5210 -x5208 -x5206 -x5204 -x5202 -x5200 -x5198 -x5196 -x5194 -x5192 -x5190 -x5188
1800.07/1800.83 v -x5186 -x5184 -x5182 -x5180 -x5178 -x5177 -x5175 -x5173 -x5171 -x5169 -x5167 -x5165 -x5163 -x5161 -x5159 -x5157 -x5155 -x5153
1800.07/1800.83 v -x5151 -x5149 -x5147 -x5145 -x5143 -x5141 -x5139 -x5137 -x5135 -x5133 -x5131 -x5129 -x5127 -x5125 -x5123 -x5121 -x5119 -x5117
1800.07/1800.83 v -x5115 -x5113 -x5111 -x5109 -x5107 -x5105 -x5103 -x5101 -x5099 -x5097 -x5095 -x5093 -x5091 -x5089 -x5087 -x5085 -x5083 -x5081
1800.07/1800.83 v -x5079 -x5077 -x5075 -x5073 -x5072 -x5070 -x5068 -x5066 -x5064 -x5062 -x5060 -x5058 -x5056 -x5054 -x5052 -x5050 -x5048 -x5046
1800.07/1800.83 v -x5044 -x5042 -x5040 -x5038 -x5036 -x5034 -x5032 -x5030 -x5028 -x5026 -x5024 -x5022 -x5020 -x5018 -x5016 -x5014 -x5012 -x5010
1800.07/1800.83 v -x5008 -x5006 -x5004 -x5002 -x5000 -x4998 -x4996 -x4994 -x4992 -x4990 -x4988 -x4986 -x4984 -x4982 -x4980 -x4978 -x4976 -x4974
1800.07/1800.83 v -x4972 -x4970 -x4968 -x4966 -x4964 -x4962 -x4960 -x4958 -x4956 -x4954 -x4952 -x4950 -x4948 -x4946 -x4944 -x4942 -x4940
1800.07/1800.83 v -x4938 -x4937 -x4935 -x4933 -x4931 -x4929 -x4927 -x4925 -x4923 -x4921 -x4919 -x4917 -x4915 -x4913 -x4911 -x4909 -x4907 -x4905
1800.07/1800.83 v -x4903 -x4901 -x4899 -x4897 -x4895 -x4893 -x4891 -x4889 -x4887 -x4885 -x4883 -x4881 -x4879 -x4877 -x4875 -x4873 -x4871 -x4869
1800.07/1800.83 v -x4867 -x4865 -x4863 -x4861 -x4859 -x4857 x4855 -x4853 -x4851 -x4849 -x4847 -x4845 -x4843 -x4841 -x4839 -x4837 -x4835 -x4833
1800.07/1800.83 v -x4831 -x4829 -x4827 -x4825 -x4823 -x4821 -x4819 -x4817 -x4815 -x4813 -x4811 -x4809 -x4807 -x4805 -x4803 x4801 -x4799 -x4797
1800.07/1800.83 v -x4795 -x4793 -x4791 -x4789 -x4787 -x4785 -x4783 -x4781 -x4779 -x4777 -x4775 -x4773 -x4771 -x4769 -x4767 -x4765 -x4763 -x4761
1800.07/1800.83 v -x4759 -x4757 -x4755 -x4753 -x4751 -x4749 -x4747 -x4745 -x4743 -x4741 -x4739 -x4737 -x4735 -x4733 -x4731 -x4729 -x4727 -x4725
1800.07/1800.83 v -x4723 -x4721 -x4719 -x4717 -x4715 -x4713 -x4711 x4709 -x4707 -x4705 -x4703 -x4701 -x4699 -x4697 -x4695 -x4693 -x4691 -x4689
1800.07/1800.83 v -x4687 -x4685 -x4683 -x4681 -x4679 -x4677 -x4675 -x4673 -x4671 -x4669 -x4667 -x4665 -x4663 -x4661 -x4659 -x4657 -x4655 -x4653
1800.07/1800.83 v -x4651 -x4649 -x4647 -x4645 x4643 -x4641 -x4639 -x4637 -x4635 -x4633 -x4631 -x4629 -x4627 -x4625 -x4623 -x4621 -x4619 -x4617
1800.07/1800.83 v -x4615 -x4613 -x4611 -x4609 -x4607 -x4605 -x4603 -x4601 -x4599 -x4597 -x4595 -x4593 -x4591 -x4589 -x4587 -x4585 -x4583 -x4581
1800.07/1800.83 v -x4579 -x4577 -x4575 -x4573 -x4571 -x4569 -x4567 -x4565 -x4563 -x4561 -x4559 -x4557 -x4555 -x4553 -x4551 -x4549 -x4547
1800.07/1800.83 v -x4545 -x4543 -x4541 -x4539 -x4537 -x4535 -x4533 -x4531 -x4529 -x4527 -x4525 -x4523 -x4521 -x4519 -x4517 -x4515 -x4513 -x4511
1800.07/1800.83 v -x4509 -x4507 -x4505 -x4503 -x4501 -x4499 -x4497 -x4495 -x4493 -x4491 -x4489 -x4487 -x4485 -x4483 -x4481 -x4479 -x4477 -x4475
1800.07/1800.83 v -x4473 -x4471 -x4469 -x4467 -x4465 -x4463 -x4461 -x4459 -x4457 -x4455 -x4453 -x4451 -x4449 -x4447 -x4445 -x4443 -x4441 -x4439
1800.07/1800.83 v -x4437 -x4435 -x4433 -x4431 -x4429 -x4427 -x4425 -x4423 -x4421 -x4419 -x4417 -x4415 -x4413 -x4411 -x4409 -x4407 -x4405 -x4403
1800.07/1800.83 v -x4401 -x4399 -x4397 -x4395 x4393 -x4391 -x4389 -x4387 -x4385 -x4383 -x4381 -x4379 -x4377 -x4375 -x4373 -x4371 -x4369 -x4367
1800.07/1800.83 v -x4365 -x4363 -x4361 -x4359 -x4357 -x4355 -x4353 -x4351 -x4349 -x4347 -x4345 -x4343 -x4341 -x4339 -x4337 -x4335 -x4333 -x4331
1800.07/1800.83 v -x4329 -x4327 -x4325 -x4323 -x4321 -x4319 -x4317 -x4315 -x4313 -x4311 -x4309 -x4307 -x4305 -x4303 -x4301 -x4299 -x4297 -x4295
1800.07/1800.83 v -x4293 -x4291 -x4289 -x4287 -x4285 -x4283 -x4281 -x4279 x4277 -x4275 -x4273 -x4271 -x4269 -x4267 -x4265 x4263 -x4261 -x4259
1800.07/1800.83 v -x4257 -x4255 -x4253 -x4251 -x4249 -x4247 -x4245 -x4243 -x4241 -x4239 -x4237 -x4235 -x4233 -x4231 -x4229 -x4227 -x4225 -x4223
1800.07/1800.83 v -x4221 -x4219 -x4217 -x4215 -x4213 -x4211 -x4209 -x4207 -x4205 -x4203 -x4201 -x4199 -x4197 -x4195 -x4193 -x4191 -x4189
1800.07/1800.83 v -x4187 -x4185 -x4183 -x4181 -x4179 -x4177 -x4175 -x4173 -x4171 -x4169 -x4167 -x4165 -x4163 -x4161 -x4159 -x4157 -x4155 -x4153
1800.07/1800.83 v -x4151 -x4149 -x4147 -x4145 -x4143 -x4141 -x4139 -x4137 -x4135 -x4133 -x4131 -x4129 -x4127 -x4125 -x4123 -x4121 x4119 -x4117
1800.07/1800.83 v -x4115 -x4113 -x4111 -x4109 -x4107 -x4105 -x4103 -x4101 -x4099 -x4097 -x4095 -x4093 -x4091 -x4089 -x4087 -x4085 -x4083 -x4081
1800.07/1800.83 v -x4079 -x4077 -x4075 -x4073 -x4071 -x4069 -x4067 -x4065 -x4063 -x4061 -x4059 -x4057 -x4055 -x4053 -x4051 -x4049 -x4047 -x4045
1800.07/1800.83 v -x4043 -x4041 -x4039 -x4037 -x4035 -x4033 -x4031 -x4029 -x4027 -x4025 -x4023 -x4021 -x4019 -x4017 -x4015 -x4014 -x4012 -x4010
1800.07/1800.83 v -x4008 -x4006 -x4004 -x4002 -x4000 -x3998 -x3996 -x3994 -x3992 -x3990 -x3988 -x3986 -x3984 -x3982 -x3980 -x3978 x3976 -x3974
1800.07/1800.83 v -x3972 -x3970 -x3968 -x3966 -x3964 -x3962 -x3960 -x3958 -x3956 -x3954 -x3952 -x3950 -x3948 -x3946 -x3944 -x3942 -x3940 -x3938
1800.07/1800.83 v -x3936 -x3934 -x3932 -x3930 -x3928 -x3926 -x3924 -x3922 -x3920 -x3918 -x3916 -x3914 -x3912 -x3910 -x3908 -x3906 -x3904 -x3902
1800.07/1800.83 v -x3900 -x3898 -x3896 -x3894 -x3892 -x3890 -x3888 -x3886 -x3884 -x3882 -x3880 -x3878 -x3876 -x3874 -x3872 -x3870 -x3868
1800.07/1800.83 v -x3866 -x3864 -x3862 -x3860 -x3858 -x3856 -x3854 -x3852 -x3850 -x3848 -x3846 -x3844 -x3842 -x3840 -x3838 -x3836 -x3834 -x3832
1800.07/1800.83 v -x3830 -x3828 -x3826 -x3824 -x3822 -x3820 -x3818 -x3816 -x3814 -x3812 -x3810 -x3808 -x3806 -x3804 -x3802 -x3800 -x3798 -x3796
1800.07/1800.83 v -x3794 -x3792 -x3790 -x3788 -x3786 -x3784 -x3782 -x3780 -x3778 -x3776 -x3774 -x3772 -x3770 -x3768 -x3766 -x3764 -x3762 -x3760
1800.07/1800.83 v -x3758 -x3756 -x3754 -x3752 -x3750 -x3748 -x3746 -x3744 -x3742 -x3740 -x3738 -x3736 -x3734 -x3732 -x3730 -x3728 -x3726 -x3724
1800.07/1800.83 v -x3722 -x3720 -x3718 -x3716 -x3714 -x3712 -x3710 -x3708 -x3706 -x3704 -x3702 -x3700 -x3698 -x3696 -x3694 -x3692 -x3690 -x3688
1800.07/1800.83 v -x3686 -x3684 -x3682 -x3680 -x3678 -x3676 -x3674 -x3672 -x3670 -x3668 -x3666 -x3664 -x3662 -x3660 -x3658 -x3656 -x3654 -x3652
1800.07/1800.83 v -x3650 -x3648 -x3646 -x3644 -x3642 -x3640 -x3638 -x3636 -x3634 -x3632 -x3630 -x3628 -x3626 -x3624 -x3622 -x3621 -x3619
1800.07/1800.83 v -x3617 -x3615 -x3613 -x3611 -x3609 -x3607 -x3605 -x3603 -x3601 -x3599 -x3597 -x3595 -x3593 -x3591 -x3589 -x3587 x3585 -x3583
1800.07/1800.83 v -x3581 -x3579 -x3577 -x3575 -x3573 -x3571 -x3569 -x3567 -x3565 -x3563 -x3561 -x3559 -x3557 -x3555 -x3553 -x3551 -x3549 -x3547
1800.07/1800.83 v -x3545 -x3543 -x3541 -x3539 -x3537 -x3535 -x3533 -x3531 -x3529 -x3527 -x3525 -x3523 -x3521 -x3519 -x3517 -x3515 -x3513 -x3511
1800.07/1800.83 v -x3509 -x3507 -x3505 -x3503 -x3501 -x3499 -x3497 -x3495 -x3493 -x3491 -x3489 -x3487 -x3485 -x3483 -x3481 -x3479 -x3477 -x3475
1800.07/1800.83 v -x3473 -x3471 -x3469 -x3467 -x3465 -x3463 -x3461 -x3459 -x3457 -x3455 -x3453 -x3451 -x3449 -x3447 -x3445 -x3443 -x3441 -x3439
1800.07/1800.83 v -x3437 -x3435 -x3433 -x3431 -x3429 -x3427 -x3425 -x3423 -x3421 -x3419 -x3417 -x3415 -x3413 -x3411 -x3409 -x3407 -x3405 -x3403
1800.07/1800.83 v -x3401 -x3399 -x3397 -x3395 -x3393 -x3391 -x3389 -x3387 -x3385 -x3383 -x3381 -x3379 -x3377 -x3375 -x3374 -x3372 -x3370 -x3368
1800.07/1800.83 v -x3366 -x3364 -x3362 -x3360 -x3358 -x3356 -x3354 -x3352 -x3350 -x3348 -x3346 -x3344 -x3342 -x3340 -x3338 -x3336 -x3334
1800.07/1800.83 v -x3332 -x3330 -x3328 -x3326 -x3324 -x3322 -x3320 -x3318 -x3316 -x3314 -x3312 -x3310 -x3308 -x3306 -x3304 -x3302 -x3300 -x3298
1800.07/1800.83 v -x3296 -x3294 -x3292 -x3290 -x3288 -x3286 -x3284 -x3282 -x3280 -x3278 -x3276 -x3274 -x3272 -x3270 -x3268 -x3266 -x3264 -x3262
1800.07/1800.83 v -x3260 -x3258 -x3256 -x3254 -x3252 -x3250 -x3248 -x3246 -x3244 -x3242 -x3240 -x3238 -x3236 -x3234 -x3232 -x3230 -x3228 -x3226
1800.07/1800.83 v -x3224 -x3222 -x3220 -x3218 -x3216 -x3214 -x3212 -x3210 -x3208 -x3206 -x3204 -x3202 -x3200 -x3198 -x3196 -x3194 -x3192 -x3190
1800.07/1800.83 v -x3188 -x3186 -x3184 -x3182 -x3180 -x3178 -x3176 -x3174 -x3172 -x3170 -x3168 -x3166 -x3164 -x3162 -x3160 -x3158 -x3156 -x3154
1800.07/1800.83 v -x3152 -x3150 -x3148 -x3146 -x3144 -x3142 -x3140 -x3138 -x3136 -x3134 -x3132 -x3130 -x3128 x3126 -x3124 -x3122 -x3120 -x3118
1800.07/1800.83 v -x3116 -x3114 -x3112 -x3110 -x3108 -x3106 -x3104 -x3102 -x3100 -x3098 -x3096 -x3094 -x3092 -x3090 -x3088 -x3086 -x3084 -x3082
1800.07/1800.83 v -x3080 -x3078 -x3076 -x3074 -x3072 -x3070 -x3068 -x3066 -x3064 -x3062 -x3060 -x3058 -x3056 -x3054 -x3052 -x3050 -x3048
1800.07/1800.83 v -x3046 -x3044 -x3042 -x3040 -x3038 -x3036 -x3034 -x3032 -x3030 -x3028 -x3026 -x3024 -x3022 -x3020 -x3018 -x3016 -x3014 -x3012
1800.07/1800.83 v -x3010 -x3008 -x3006 -x3004 -x3002 -x3000 -x2998 -x2996 -x2994 -x2992 -x2990 -x2988 -x2986 -x2984 -x2982 -x2980 -x2978 -x2976
1800.07/1800.83 v -x2974 -x2972 -x2970 -x2968 -x2966 -x2964 -x2962 -x2960 -x2958 -x2956 -x2954 -x2952 -x2950 -x2948 -x2946 -x2944 -x2942 -x2940
1800.07/1800.83 v -x2938 -x2936 -x2934 -x2932 -x2930 -x2928 -x2926 -x2924 -x2922 -x2920 -x2918 -x2916 -x2914 -x2912 -x2910 -x2908 -x2906 -x2904
1800.07/1800.83 v -x2902 -x2900 -x2898 -x2896 -x2894 -x2892 -x2890 -x2888 -x2886 -x2884 -x2882 -x2880 -x2878 -x2876 -x2874 -x2872 -x2870 -x2868
1800.07/1800.83 v -x2866 -x2864 -x2862 -x2860 -x2858 -x2856 -x2854 -x2852 -x2850 -x2848 -x2846 -x2844 -x2842 -x2840 -x2838 -x2836 -x2834 -x2832
1800.07/1800.83 v -x2830 -x2828 -x2826 -x2824 -x2822 -x2820 -x2818 -x2816 -x2814 -x2812 -x2810 -x2808 -x2806 -x2804 -x2802 -x2800 -x2798
1800.07/1800.83 v -x2796 -x2794 -x2792 x2790 -x2788 -x2786 -x2784 -x2782 -x2780 -x2778 -x2776 -x2774 -x2772 -x2770 -x2768 -x2766 -x2764 -x2762
1800.07/1800.83 v -x2760 -x2758 -x2756 -x2754 -x2752 -x2750 -x2748 -x2746 -x2744 -x2742 -x2740 -x2738 -x2736 -x2734 -x2732 -x2730 -x2728 -x2726
1800.07/1800.83 v -x2724 -x2722 -x2720 -x2718 -x2716 -x2714 -x2712 -x2710 -x2708 -x2706 -x2704 -x2702 -x2700 -x2698 -x2696 -x2694 -x2692 -x2690
1800.07/1800.83 v -x2688 -x2686 -x2684 -x2682 -x2680 -x2678 -x2676 -x2674 -x2672 -x2670 -x2668 -x2666 -x2664 -x2662 -x2660 -x2658 -x2656 -x2654
1800.07/1800.83 v -x2652 -x2650 -x2648 -x2646 -x2644 -x2642 -x2640 -x2638 -x2636 -x2634 -x2632 -x2630 -x2628 -x2626 -x2624 -x2622 -x2620 x2618
1800.07/1800.83 v -x2616 -x2614 -x2612 -x2610 -x2608 -x2606 -x2604 -x2602 -x2600 -x2598 -x2596 -x2594 -x2592 -x2590 -x2588 -x2586 -x2584 -x2582
1800.07/1800.83 v -x2580 -x2578 -x2576 -x2574 -x2572 -x2570 -x2568 -x2566 -x2564 -x2562 -x2560 -x2558 -x2556 -x2554 -x2552 -x2550 -x2548 -x2546
1800.07/1800.83 v -x2544 -x2542 -x2540 -x2538 -x2536 -x2534 -x2532 -x2530 -x2528 -x2526 -x2524 -x2522 -x2520 -x2518 -x2516 -x2514 -x2512 -x2510
1800.07/1800.83 v -x2508 -x2506 -x2504 -x2502 -x2500 -x2498 -x2496 -x2494 -x2492 -x2490 -x2488 -x2486 -x2484 -x2482 -x2480 -x2478 -x2476
1800.07/1800.83 v -x2474 -x2472 -x2470 -x2468 -x2466 -x2464 -x2462 -x2460 -x2458 -x2456 -x2454 -x2452 -x2450 -x2448 -x2446 -x2444 -x2442 -x2440
1800.07/1800.83 v -x2438 -x2436 -x2434 -x2432 -x2430 -x2428 -x2426 -x2424 -x2422 -x2420 -x2418 -x2416 -x2414 -x2412 -x2410 -x2408 -x2406 -x2404
1800.07/1800.83 v -x2402 -x2400 -x2398 -x2396 -x2394 -x2392 -x2390 -x2388 -x2386 -x2384 -x2382 -x2380 -x2378 -x2376 -x2374 -x2372 -x2370 -x2368
1800.07/1800.83 v -x2366 -x2364 -x2362 -x2360 -x2358 -x2356 -x2354 -x2352 -x2350 -x2348 -x2346 -x2344 -x2342 -x2340 -x2338 -x2336 -x2334 -x2332
1800.07/1800.83 v -x2330 -x2328 -x2326 -x2324 -x2322 -x2320 -x2318 -x2316 -x2314 -x2312 -x2310 -x2308 -x2306 -x2304 -x2302 -x2300 -x2298 -x2297
1800.07/1800.83 v -x2295 -x2293 -x2291 -x2289 -x2287 -x2285 -x2283 -x2281 -x2279 -x2277 -x2275 -x2273 -x2271 -x2269 -x2267 -x2265 -x2263 -x2261
1800.07/1800.83 v -x2259 -x2257 -x2255 -x2253 -x2251 -x2249 -x2247 -x2245 -x2243 -x2241 -x2239 -x2237 -x2235 -x2233 -x2231 -x2229 -x2227
1800.07/1800.83 v -x2225 -x2223 -x2221 -x2219 -x2217 -x2215 -x2213 -x2211 -x2209 -x2207 -x2205 -x2203 -x2201 -x2199 -x2197 -x2195 -x2193 -x2191
1800.07/1800.83 v -x2189 -x2187 -x2185 -x2183 -x2181 -x2179 -x2177 -x2175 -x2173 -x2171 -x2169 -x2167 -x2165 -x2163 -x2161 -x2159 -x2157 -x2155
1800.07/1800.83 v -x2153 -x2151 -x2149 -x2147 -x2145 -x2143 -x2141 -x2139 -x2137 -x2135 -x2133 -x2131 -x2129 -x2127 -x2125 -x2123 -x2121 -x2119
1800.07/1800.83 v -x2117 -x2115 -x2113 -x2111 -x2109 -x2107 -x2105 -x2103 -x2101 -x2099 -x2097 -x2095 -x2093 -x2091 -x2089 -x2087 -x2085 -x2083
1800.07/1800.83 v -x2081 -x2079 -x2077 -x2075 -x2073 -x2071 -x2069 -x2067 -x2065 -x2063 -x2061 -x2059 -x2057 -x2055 -x2053 -x2051 -x2049 -x2047
1800.07/1800.83 v -x2045 -x2043 -x2041 -x2039 -x2037 -x2035 -x2033 -x2031 -x2029 -x2027 -x2025 -x2023 -x2021 -x2019 -x2017 -x2015 -x2013 -x2011
1800.07/1800.83 v -x2009 -x2007 -x2006 -x2004 -x2002 -x2000 -x1998 -x1996 -x1994 -x1992 -x1990 -x1988 -x1986 -x1984 -x1982 -x1980 -x1978
1800.07/1800.83 v -x1976 -x1974 -x1972 -x1970 -x1968 -x1966 -x1964 -x1962 -x1960 -x1958 -x1956 -x1954 -x1952 -x1950 -x1948 -x1946 -x1944 -x1942
1800.07/1800.83 v -x1940 -x1938 -x1936 -x1934 -x1932 -x1930 -x1928 -x1926 -x1924 -x1922 -x1920 -x1918 -x1916 -x1914 -x1912 -x1910 -x1908 -x1906
1800.07/1800.83 v -x1904 -x1902 -x1900 -x1898 -x1896 -x1894 -x1892 -x1890 -x1888 -x1886 -x1884 -x1882 -x1880 -x1878 -x1876 -x1874 -x1872 -x1870
1800.07/1800.83 v -x1868 -x1866 -x1864 -x1863 -x1861 -x1859 -x1857 -x1855 -x1853 -x1851 -x1849 -x1847 -x1845 -x1843 -x1841 -x1839 -x1837 -x1835
1800.07/1800.83 v -x1833 -x1831 -x1829 -x1827 -x1825 -x1823 -x1821 -x1819 -x1817 -x1815 -x1813 -x1811 -x1809 -x1807 -x1805 -x1803 -x1801 -x1799
1800.07/1800.83 v -x1797 -x1795 -x1793 -x1791 -x1789 -x1787 -x1785 -x1783 -x1781 -x1779 -x1777 -x1775 -x1773 -x1771 -x1769 -x1767 -x1765 -x1763
1800.07/1800.83 v -x1761 -x1759 -x1757 -x1755 -x1753 -x1751 -x1749 -x1747 -x1745 -x1743 -x1741 -x1739 -x1737 -x1735 -x1733 -x1731 -x1729
1800.07/1800.83 v -x1727 -x1725 -x1723 -x1721 -x1719 -x1717 -x1715 -x1713 -x1711 -x1709 -x1707 -x1705 -x1703 -x1701 -x1699 -x1697 -x1695 -x1693
1800.07/1800.83 v -x1691 -x1689 -x1687 -x1685 -x1683 -x1681 -x1679 -x1677 -x1675 -x1673 -x1671 -x1669 -x1667 -x1665 -x1663 -x1661 -x1659 -x1657
1800.07/1800.83 v -x1655 -x1653 -x1651 -x1649 -x1647 -x1645 -x1643 -x1641 -x1639 -x1637 -x1635 -x1633 -x1631 -x1629 -x1627 -x1625 -x1623 -x1621
1800.07/1800.83 v -x1619 -x1617 -x1615 -x1613 -x1611 -x1609 -x1607 -x1605 -x1603 -x1601 -x1599 -x1597 -x1595 -x1593 -x1591 -x1589 -x1587 -x1585
1800.07/1800.83 v -x1583 -x1581 -x1579 -x1577 -x1575 -x1573 -x1571 -x1569 -x1568 -x1566 -x1564 -x1562 -x1560 -x1558 -x1556 -x1554 -x1552 -x1550
1800.07/1800.83 v -x1548 -x1546 -x1544 -x1542 -x1540 -x1538 -x1536 -x1534 -x1532 -x1530 -x1528 -x1526 -x1524 -x1522 -x1520 -x1518 -x1516 -x1514
1800.07/1800.83 v -x1512 -x1510 -x1508 -x1506 -x1504 -x1502 -x1500 -x1498 -x1496 -x1494 -x1492 -x1490 -x1488 -x1486 -x1484 -x1482 -x1480
1800.07/1800.83 v -x1478 -x1476 -x1474 -x1472 -x1470 -x1468 -x1466 -x1464 -x1462 -x1460 -x1458 -x1456 -x1454 -x1452 -x1450 -x1448 -x1446 -x1444
1800.07/1800.83 v -x1442 -x1440 -x1438 -x1436 -x1434 -x1432 -x1430 -x1428 -x1426 -x1424 -x1422 -x1420 -x1418 -x1416 -x1414 -x1412 -x1410 -x1408
1800.07/1800.83 v -x1406 -x1404 -x1402 -x1400 -x1398 -x1396 -x1394 -x1392 -x1390 -x1388 -x1386 -x1384 -x1382 -x1380 -x1378 -x1376 -x1374 -x1372
1800.07/1800.83 v -x1370 -x1368 -x1366 -x1364 -x1362 -x1360 -x1358 -x1356 -x1354 -x1352 -x1350 -x1348 -x1346 -x1344 -x1342 -x1340 -x1338 -x1336
1800.07/1800.83 v -x1334 -x1332 -x1330 -x1328 -x1326 -x1324 -x1322 -x1320 -x1318 -x1316 x1314 -x1312 -x1310 -x1308 -x1306 -x1304 -x1302 -x1300
1800.07/1800.83 v -x1298 -x1296 -x1294 -x1292 -x1290 -x1289 -x1287 -x1285 -x1283 -x1281 -x1279 -x1277 -x1275 -x1273 -x1271 -x1269 -x1267 -x1265
1800.07/1800.83 v -x1263 -x1261 -x1259 -x1257 -x1255 -x1253 -x1251 -x1249 -x1247 -x1245 -x1243 -x1241 -x1239 -x1237 -x1235 -x1233 -x1231 -x1229
1800.07/1800.83 v -x1227 -x1225 -x1223 -x1221 -x1219 -x1217 -x1215 -x1213 -x1211 -x1209 -x1207 -x1205 -x1203 -x1201 -x1199 -x1197 -x1195
1800.07/1800.83 v -x1193 -x1191 -x1189 -x1187 -x1185 -x1183 -x1181 -x1179 -x1177 -x1175 -x1173 -x1171 -x1169 -x1167 -x1165 -x1163 -x1161 -x1159
1800.07/1800.83 v -x1157 -x1155 -x1153 -x1151 -x1149 -x1147 -x1145 -x1143 -x1141 -x1139 -x1137 -x1135 -x1133 -x1131 -x1129 -x1127 -x1125 -x1123
1800.07/1800.83 v -x1121 -x1119 -x1117 -x1115 -x1113 -x1111 -x1109 -x1107 -x1105 -x1103 -x1101 -x1099 -x1097 -x1095 -x1093 -x1091 -x1089 -x1087
1800.07/1800.83 v -x1085 -x1083 -x1081 -x1079 -x1077 -x1075 -x1073 -x1071 -x1069 -x1067 -x1065 -x1063 -x1061 -x1059 -x1057 -x1055 -x1053 -x1051
1800.07/1800.83 v -x1049 -x1047 -x1045 -x1043 -x1041 -x1039 -x1037 -x1035 -x1033 -x1031 -x1029 -x1027 -x1025 -x1023 -x1021 -x1019 -x1017 -x1015
1800.07/1800.83 v -x1013 -x1011 -x1009 -x1007 -x1005 -x1003 -x1001 -x999 -x997 -x995 -x993 -x991 -x989 -x987 -x985 -x983 -x981 -x979 -x977
1800.07/1800.83 v -x975 -x973 -x971 -x969 -x967 -x965 -x963 -x961 -x959 -x957 -x955 -x953 -x951 -x949 -x947 -x945 -x943 -x941 -x939 -x937 -x935
1800.07/1800.83 v -x933 -x931 -x929 -x927 -x925 -x923 -x921 -x919 -x917 -x915 -x913 -x911 -x909 -x907 -x905 -x903 -x901 -x899 -x897 -x895 -x893
1800.07/1800.83 v -x891 -x889 -x887 -x885 -x883 -x881 -x879 -x877 -x875 -x873 -x871 -x869 -x867 -x865 -x863 -x861 -x859 -x857 -x855 -x853 -x851
1800.07/1800.83 v -x849 -x847 -x845 -x843 -x841 -x839 -x837 -x835 -x833 -x831 -x829 -x827 -x825 -x823 -x821 -x819 -x817 -x815 -x813 -x811 -x809
1800.07/1800.83 v -x807 -x806 -x804 -x802 -x800 -x798 -x796 -x794 -x792 -x790 -x788 -x786 -x784 -x782 -x780 -x778 -x776 -x774 -x772 -x770
1800.07/1800.83 v -x768 -x766 -x764 -x762 -x760 -x758 -x756 -x754 -x752 -x750 -x748 -x746 -x744 -x742 -x740 -x738 -x736 -x734 -x732 -x730 -x728
1800.07/1800.83 v -x726 -x724 -x722 -x720 -x718 -x716 -x714 -x712 -x710 -x708 -x706 -x704 -x702 -x700 -x698 -x696 -x694 -x692 -x690 -x688 -x686
1800.07/1800.83 v -x684 -x682 -x680 -x678 -x676 -x674 -x672 -x670 -x668 -x666 -x664 -x662 -x660 -x658 -x656 -x654 -x652 -x650 -x648 -x646 -x644
1800.07/1800.83 v -x642 -x640 -x638 -x636 -x634 -x632 -x630 -x628 -x626 -x624 -x622 -x620 -x618 -x616 -x614 -x612 -x610 -x608 -x606 -x604 -x602
1800.07/1800.83 v -x600 -x598 -x596 -x594 -x592 -x590 -x588 -x586 -x584 -x582 -x580 -x578 -x576 -x574 -x572 -x570 -x568 -x566 -x564 -x562 -x560
1800.07/1800.83 v -x558 -x556 -x554 -x552 -x550 -x548 -x546 -x544 -x542 -x540 -x538 -x536 -x534 -x532 -x530 -x528 -x526 -x524 -x522 -x520
1800.07/1800.83 v -x518 -x516 -x514 -x512 -x510 -x508 -x506 -x504 -x502 -x500 -x498 -x496 -x494 -x492 -x490 -x488 -x486 -x484 -x482 -x480 -x478
1800.07/1800.83 v -x476 -x474 -x472 -x470 -x468 -x466 -x464 -x462 -x460 -x458 -x456 -x454 -x452 -x450 -x448 -x446 -x444 -x442 -x440 -x438 -x436
1800.07/1800.83 v -x434 -x432 -x430 -x428 -x426 -x424 -x422 -x420 -x418 -x416 -x414 -x412 -x410 -x408 -x406 -x404 -x402 -x400 -x398 -x396 -x394
1800.07/1800.83 v -x392 -x390 -x388 -x386 -x384 -x382 -x380 -x378 -x376 -x374 -x372 -x370 -x368 -x366 -x364 -x362 -x360 -x358 -x356 -x354 -x352
1800.07/1800.83 v -x350 -x348 -x346 -x344 -x342 -x340 -x338 -x336 -x334 -x332 -x330 -x328 -x326 -x324 -x322 -x320 -x318 -x316 -x314 -x312 -x310
1800.07/1800.83 v -x308 -x306 -x304 -x302 -x300 -x298 -x296 x294 -x292 -x290 -x288 -x286 -x284 -x282 -x280 -x278 -x276 -x274 -x272 -x270 -x268
1800.07/1800.83 v -x266 -x264 -x262 -x260 -x258 -x256 -x254 -x252 -x250 -x248 -x246 -x244 -x242 -x240 -x238 -x236 -x234 -x232 -x230 -x228
1800.07/1800.83 v -x226 -x224 -x222 -x220 -x218 -x216 -x214 -x212 -x210 -x208 -x206 -x204 -x202 -x200 -x198 -x196 -x194 -x192
1800.07/1800.83 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.83 c Solving Time : 1741.53
1800.07/1800.83 c Original Problem :
1800.07/1800.83 c Problem name : HOME/instance-2663936-1276634517.opb
1800.07/1800.83 c Variables : 6148 (6148 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.83 c Constraints : 19000 initial, 19000 maximal
1800.07/1800.83 c Presolved Problem :
1800.07/1800.83 c Problem name : t_HOME/instance-2663936-1276634517.opb
1800.07/1800.83 c Variables : 2678 (2678 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.83 c Constraints : 10554 initial, 10622 maximal
1800.07/1800.83 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.07/1800.83 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.83 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.83 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.83 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.83 c implics : 0.00 0 9 0 0 0 0 0 0
1800.07/1800.83 c probing : 0.08 0 0 0 0 0 0 0 0
1800.07/1800.83 c linear : 0.21 488 2973 0 488 0 8446 2 2
1800.07/1800.83 c logicor : 0.08 0 0 0 0 0 0 0 0
1800.07/1800.83 c root node : - 0 - - 0 - - - -
1800.07/1800.83 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.07/1800.83 c integral : 0 0 0 0 0 0 0 0 0 0
1800.07/1800.83 c logicor : 10554+ 0 5094052 0 3 508716 7238915 0 0 0
1800.07/1800.83 c countsols : 0 0 0 0 3 0 0 0 0 0
1800.07/1800.83 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.07/1800.83 c integral : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.83 c logicor : 334.69 0.00 334.68 0.00 0.01
1800.07/1800.83 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.83 c Propagators : Time Calls Cutoffs DomReds
1800.07/1800.83 c vbounds : 4.02 2 0 0
1800.07/1800.83 c rootredcost : 3.75 0 0 0
1800.07/1800.83 c pseudoobj : 1093.56 8171436 816540 9191152
1800.07/1800.83 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.07/1800.83 c propagation : 306.07 1325256 1325256 1325256 53.5 7109 60.0 -
1800.07/1800.83 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.84 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.84 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.84 c pseudo solution : 9.29 13397 13397 13397 48.9 130 58.1 -
1800.07/1800.84 c applied globally : - - - 1345892 53.5 - - -
1800.07/1800.84 c applied locally : - - - 0 0.0 - - -
1800.07/1800.84 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.07/1800.84 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.07/1800.84 c redcost : 0.00 0 0 0 0 0
1800.07/1800.84 c impliedbounds : 0.00 0 0 0 0 0
1800.07/1800.84 c intobj : 0.00 0 0 0 0 0
1800.07/1800.84 c cgmip : 0.00 0 0 0 0 0
1800.07/1800.84 c gomory : 0.00 0 0 0 0 0
1800.07/1800.84 c strongcg : 0.00 0 0 0 0 0
1800.07/1800.84 c cmir : 0.00 0 0 0 0 0
1800.07/1800.84 c flowcover : 0.00 0 0 0 0 0
1800.07/1800.84 c clique : 0.00 0 0 0 0 0
1800.07/1800.84 c zerohalf : 0.00 0 0 0 0 0
1800.07/1800.84 c mcf : 0.00 0 0 0 0 0
1800.07/1800.84 c rapidlearning : 0.00 0 0 0 0 0
1800.07/1800.84 c Pricers : Time Calls Vars
1800.07/1800.84 c problem variables: 0.00 0 0
1800.07/1800.84 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.07/1800.84 c relpscost : 0.00 0 0 0 0 0 0
1800.07/1800.84 c pscost : 0.00 0 0 0 0 0 0
1800.07/1800.84 c inference : 45.54 1937999 0 0 0 0 3875998
1800.07/1800.84 c mostinf : 0.00 0 0 0 0 0 0
1800.07/1800.84 c leastinf : 0.00 0 0 0 0 0 0
1800.07/1800.84 c fullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.84 c allfullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.84 c random : 0.00 0 0 0 0 0 0
1800.07/1800.84 c Primal Heuristics : Time Calls Found
1800.07/1800.84 c LP solutions : 0.00 - 0
1800.07/1800.84 c pseudo solutions : 0.00 - 3
1800.07/1800.84 c oneopt : 1.96 0 0
1800.07/1800.84 c trivial : 0.02 2 0
1800.07/1800.84 c simplerounding : 0.00 0 0
1800.07/1800.84 c zirounding : 0.00 0 0
1800.07/1800.84 c rounding : 0.00 0 0
1800.07/1800.84 c shifting : 0.00 0 0
1800.07/1800.84 c intshifting : 0.00 0 0
1800.07/1800.84 c twoopt : 0.00 0 0
1800.07/1800.84 c fixandinfer : 0.00 0 0
1800.07/1800.84 c feaspump : 0.00 0 0
1800.07/1800.84 c coefdiving : 0.00 0 0
1800.07/1800.84 c pscostdiving : 0.00 0 0
1800.07/1800.84 c fracdiving : 0.00 0 0
1800.07/1800.84 c veclendiving : 0.00 0 0
1800.07/1800.84 c intdiving : 0.00 0 0
1800.07/1800.84 c actconsdiving : 0.00 0 0
1800.07/1800.84 c objpscostdiving : 0.00 0 0
1800.07/1800.84 c rootsoldiving : 0.00 0 0
1800.07/1800.84 c linesearchdiving : 0.00 0 0
1800.07/1800.84 c guideddiving : 0.00 0 0
1800.07/1800.84 c octane : 0.00 0 0
1800.07/1800.84 c rens : 0.00 0 0
1800.07/1800.84 c rins : 0.00 0 0
1800.07/1800.84 c localbranching : 0.00 0 0
1800.07/1800.84 c mutation : 0.00 0 0
1800.07/1800.84 c crossover : 0.00 0 0
1800.07/1800.84 c dins : 0.00 0 0
1800.07/1800.84 c undercover : 0.00 0 0
1800.07/1800.84 c nlp : 1.25 0 0
1800.07/1800.84 c trysol : 1.23 0 0
1800.07/1800.84 c LP : Time Calls Iterations Iter/call Iter/sec
1800.07/1800.84 c primal LP : 0.00 0 0 0.00 -
1800.07/1800.84 c dual LP : 0.00 0 0 0.00 -
1800.07/1800.84 c lex dual LP : 0.00 0 0 0.00 -
1800.07/1800.84 c barrier LP : 0.00 0 0 0.00 -
1800.07/1800.84 c diving/probing LP: 0.00 0 0 0.00 -
1800.07/1800.84 c strong branching : 0.00 0 0 0.00 -
1800.07/1800.84 c (at root node) : - 0 0 0.00 -
1800.07/1800.84 c conflict analysis: 0.00 0 0 0.00 -
1800.07/1800.84 c B&B Tree :
1800.07/1800.84 c number of runs : 1
1800.07/1800.84 c nodes : 2593452
1800.07/1800.84 c nodes (total) : 2593452
1800.07/1800.84 c nodes left : 481
1800.07/1800.84 c max depth : 527
1800.07/1800.84 c max depth (total): 527
1800.07/1800.84 c backtracks : 786699 (30.3%)
1800.07/1800.84 c delayed cutoffs : 859379
1800.07/1800.84 c repropagations : 1613604 (7302484 domain reductions, 683203 cutoffs)
1800.07/1800.84 c avg switch length: 2.39
1800.07/1800.84 c switching time : 103.63
1800.07/1800.84 c Solution :
1800.07/1800.84 c Solutions found : 3 (3 improvements)
1800.07/1800.84 c First Solution : +3.10000000000000e+01 (in run 1, after 528 nodes, 0.78 seconds, depth 527, found by <relaxation>)
1800.07/1800.84 c Primal Bound : +2.90000000000000e+01 (in run 1, after 38138 nodes, 22.03 seconds, depth 520, found by <relaxation>)
1800.07/1800.84 c Dual Bound : +1.00000000000000e+00
1800.07/1800.84 c Gap : 2800.00 %
1800.07/1800.84 c Root Dual Bound : +1.00000000000000e+00
1800.07/1800.84 c Root Iterations : 0
1800.07/1800.90 c Time complete: 1800.18.
OK 29
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2663936-1276634517/watcher-2663936-1276634517 -o /tmp/evaluation-result-2663936-1276634517/solver-2663936-1276634517 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663936-1276634517.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/106 7373 /proc/meminfo: memFree=1803048/2059040 swapFree=4136232/4192956 [pid=7373] ppid=7371 vsize=5556 CPUtime=0 /proc/7373/stat : 7373 (pbscip.linux.x8) R 7371 7373 7348 0 -1 4202496 887 0 0 0 0 0 0 0 20 0 1 0 39053239 5689344 810 1992294400 4194304 7136930 140733653183760 18446744073709551615 6357120 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7373/statm: 1389 809 249 719 0 668 0 [startup+0.0876599 s] /proc/loadavg: 0.92 0.98 0.99 3/106 7373 /proc/meminfo: memFree=1803048/2059040 swapFree=4136232/4192956 [pid=7373] ppid=7371 vsize=14492 CPUtime=0.08 /proc/7373/stat : 7373 (pbscip.linux.x8) R 7371 7373 7348 0 -1 4202496 3106 0 0 0 7 1 0 0 20 0 1 0 39053239 14839808 3028 1992294400 4194304 7136930 140733653183760 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7373/statm: 3623 3028 271 719 0 2902 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 14492 [startup+0.100662 s] /proc/loadavg: 0.92 0.98 0.99 3/106 7373 /proc/meminfo: memFree=1803048/2059040 swapFree=4136232/4192956 [pid=7373] ppid=7371 vsize=14492 CPUtime=0.09 /proc/7373/stat : 7373 (pbscip.linux.x8) R 7371 7373 7348 0 -1 4202496 3106 0 0 0 8 1 0 0 20 0 1 0 39053239 14839808 3028 1992294400 4194304 7136930 140733653183760 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7373/statm: 3623 3028 271 719 0 2902 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14492 [startup+0.3007 s] /proc/loadavg: 0.92 0.98 0.99 3/106 7373 /proc/meminfo: memFree=1803048/2059040 swapFree=4136232/4192956 [pid=7373] ppid=7371 vsize=19672 CPUtime=0.29 /proc/7373/stat : 7373 (pbscip.linux.x8) R 7371 7373 7348 0 -1 4202496 4402 0 0 0 28 1 0 0 20 0 1 0 39053239 20144128 4324 1992294400 4194304 7136930 140733653183760 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7373/statm: 4918 4324 271 719 0 4197 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 19672 [startup+0.700779 s] /proc/loadavg: 0.92 0.98 0.99 3/106 7373 /proc/meminfo: memFree=1803048/2059040 swapFree=4136232/4192956 [pid=7373] ppid=7371 vsize=43592 CPUtime=0.69 /proc/7373/stat : 7373 (pbscip.linux.x8) R 7371 7373 7348 0 -1 4202496 11359 0 0 0 62 7 0 0 21 0 1 0 39053239 44638208 10040 1992294400 4194304 7136930 140733653183760 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7373/statm: 10898 10040 352 719 0 10177 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 43592 [startup+1.50093 s] /proc/loadavg: 0.92 0.98 0.99 2/107 7374 /proc/meminfo: memFree=1758400/2059040 swapFree=4136232/4192956 [pid=7373] ppid=7371 vsize=49548 CPUtime=1.49 /proc/7373/stat : 7373 (pbscip.linux.x8) R 7371 7373 7348 0 -1 4202496 14253 0 0 0 136 13 0 0 23 0 1 0 39053239 50737152 11582 1992294400 4194304 7136930 140733653183760 18446744073709551615 5507163 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7373/statm: 12387 11582 390 719 0 11666 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 49548 [startup+3.10125 s] /proc/loadavg: 0.93 0.98 0.99 2/107 7374 /proc/meminfo: memFree=1757780/2059040 swapFree=4136232/4192956 [pid=7373] ppid=7371 vsize=49548 CPUtime=3.09 /proc/7373/stat : 7373 (pbscip.linux.x8) R 7371 7373 7348 0 -1 4202496 14253 0 0 0 290 19 0 0 25 0 1 0 39053239 50737152 11582 1992294400 4194304 7136930 140733653183760 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7373/statm: 12387 11582 390 719 0 11666 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 49548 [startup+6.30087 s] /proc/loadavg: 0.93 0.98 0.99 2/107 7374 /proc/meminfo: memFree=1757532/2059040 swapFree=4136232/4192956 [pid=7373] ppid=7371 vsize=49812 CPUtime=6.29 /proc/7373/stat : 7373 (pbscip.linux.x8) R 7371 7373 7348 0 -1 4202496 14316 0 0 0 599 30 0 0 25 0 1 0 39053239 51007488 11645 1992294400 4194304 7136930 140733653183760 18446744073709551615 5507728 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7373/statm: 12453 11645 390 719 0 11732 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 49812 [startup+12.7011 s] /proc/loadavg: 0.94 0.98 0.99 2/107 7374 /proc/meminfo: memFree=1757284/2059040 swapFree=4136232/4192956 [pid=7373] ppid=7371 vsize=49948 CPUtime=12.69 /proc/7373/stat : 7373 (pbscip.linux.x8) R 7371 7373 7348 0 -1 4202496 14335 0 0 0 1217 52 0 0 25 0 1 0 39053239 51146752 11664 1992294400 4194304 7136930 140733653183760 18446744073709551615 5507373 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7373/statm: 12487 11664 390 719 0 11766 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 49948 [startup+25.5006 s] /proc/loadavg: 0.95 0.98 0.99 2/107 7374 /proc/meminfo: memFree=1757160/2059040 swapFree=4136232/4192956 [pid=7373] ppid=7371 vsize=50080 CPUtime=25.48 /proc/7373/stat : 7373 (pbscip.linux.x8) R 7371 7373 7348 0 -1 4202496 14372 0 0 0 2449 99 0 0 25 0 1 0 39053239 51281920 11701 1992294400 4194304 7136930 140733653183760 18446744073709551615 5507220 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7373/statm: 12520 11701 390 719 0 11799 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 50080 [startup+51.1006 s] /proc/loadavg: 0.96 0.98 0.99 2/107 7376 /proc/meminfo: memFree=1757036/2059040 swapFree=4136232/4192956 [pid=7373] ppid=7371 vsize=50080 CPUtime=51.07 /proc/7373/stat : 7373 (pbscip.linux.x8) R 7371 7373 7348 0 -1 4202496 14385 0 0 0 4916 191 0 0 25 0 1 0 39053239 51281920 11714 1992294400 4194304 7136930 140733653183760 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7373/statm: 12520 11714 390 719 0 11799 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 50080 [startup+102.308 s] /proc/loadavg: 0.98 0.98 0.99 2/107 7376 /proc/meminfo: memFree=1756788/2059040 swapFree=4136232/4192956 [pid=7373] ppid=7371 vsize=50220 CPUtime=102.26 /proc/7373/stat : 7373 (pbscip.linux.x8) R 7371 7373 7348 0 -1 4202496 14418 0 0 0 9859 367 0 0 25 0 1 0 39053239 51425280 11747 1992294400 4194304 7136930 140733653183760 18446744073709551615 4208236 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7373/statm: 12555 11747 390 719 0 11834 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 50220 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 7378 /proc/meminfo: memFree=1756540/2059040 swapFree=4136232/4192956 [pid=7373] ppid=7371 vsize=50352 CPUtime=162.22 /proc/7373/stat : 7373 (pbscip.linux.x8) R 7371 7373 7348 0 -1 4202496 14438 0 0 0 15665 557 0 0 25 0 1 0 39053239 51560448 11767 1992294400 4194304 7136930 140733653183760 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7373/statm: 12588 11767 390 719 0 11867 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 50352 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 7380 /proc/meminfo: memFree=1756540/2059040 swapFree=4136232/4192956 [pid=7373] ppid=7371 vsize=50352 CPUtime=222.2 /proc/7373/stat : 7373 (pbscip.linux.x8) R 7371 7373 7348 0 -1 4202496 14450 0 0 0 21463 757 0 0 25 0 1 0 39053239 51560448 11779 1992294400 4194304 7136930 140733653183760 18446744073709551615 5507463 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7373/statm: 12588 11779 390 719 0 11867 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 50352 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 3/107 7382 /proc/meminfo: memFree=1756416/2059040 swapFree=4136232/4192956 [pid=7373] ppid=7371 vsize=50352 CPUtime=282.18 /proc/7373/stat : 7373 (pbscip.linux.x8) R 7371 7373 7348 0 -1 4202496 14457 0 0 0 27262 956 0 0 25 0 1 0 39053239 51560448 11786 1992294400 4194304 7136930 140733653183760 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7373/statm: 12588 11786 390 719 0 11867 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 50352 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 7384 /proc/meminfo: memFree=1756292/2059040 swapFree=4136232/4192956 [pid=7373] ppid=7371 vsize=50352 CPUtime=342.16 /proc/7373/stat : 7373 (pbscip.linux.x8) R 7371 7373 7348 0 -1 4202496 14461 0 0 0 33065 1151 0 0 25 0 1 0 39053239 51560448 11790 1992294400 4194304 7136930 140733653183760 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7373/statm: 12588 11790 390 719 0 11867 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 50352 [startup+402.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 7384 /proc/meminfo: memFree=1756168/2059040 swapFree=4136232/4192956 [pid=7373] ppid=7371 vsize=50484 CPUtime=402.13 /proc/7373/stat : 7373 (pbscip.linux.x8) R 7371 7373 7348 0 -1 4202496 14468 0 0 0 38864 1349 0 0 25 0 1 0 39053239 51695616 11797 1992294400 4194304 7136930 140733653183760 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7373/statm: 12621 11797 390 719 0 11900 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 50484 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 7386 /proc/meminfo: memFree=1755920/2059040 swapFree=4136232/4192956 [pid=7373] ppid=7371 vsize=50484 CPUtime=462.11 /proc/7373/stat : 7373 (pbscip.linux.x8) R 7371 7373 7348 0 -1 4202496 14472 0 0 0 44665 1546 0 0 25 0 1 0 39053239 51695616 11801 1992294400 4194304 7136930 140733653183760 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7373/statm: 12621 11801 390 719 0 11900 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 50484 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 7388 /proc/meminfo: memFree=1755796/2059040 swapFree=4136232/4192956 [pid=7373] ppid=7371 vsize=50484 CPUtime=522.08 /proc/7373/stat : 7373 (pbscip.linux.x8) R 7371 7373 7348 0 -1 4202496 14477 0 0 0 50460 1748 0 0 25 0 1 0 39053239 51695616 11806 1992294400 4194304 7136930 140733653183760 18446744073709551615 5507163 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7373/statm: 12621 11806 390 719 0 11900 0 Current children cumulated CPU time (s) 522.08 Current children cumulated vsize (KiB) 50484 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 7390 /proc/meminfo: memFree=1755672/2059040 swapFree=4136232/4192956 [pid=7373] ppid=7371 vsize=50484 CPUtime=582.07 /proc/7373/stat : 7373 (pbscip.linux.x8) R 7371 7373 7348 0 -1 4202496 14483 0 0 0 56260 1947 0 0 25 0 1 0 39053239 51695616 11812 1992294400 4194304 7136930 140733653183760 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7373/statm: 12621 11812 390 719 0 11900 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 50484 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 7392 /proc/meminfo: memFree=1755548/2059040 swapFree=4136232/4192956 [pid=7373] ppid=7371 vsize=50484 CPUtime=642.04 /proc/7373/stat : 7373 (pbscip.linux.x8) R 7371 7373 7348 0 -1 4202496 14489 0 0 0 62054 2150 0 0 25 0 1 0 39053239 51695616 11818 1992294400 4194304 7136930 140733653183760 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7373/statm: 12621 11818 390 719 0 11900 0 Current children cumulated CPU time (s) 642.04 Current children cumulated vsize (KiB) 50484 [startup+702.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 7396 /proc/meminfo: memFree=1755052/2059040 swapFree=4136232/4192956 [pid=7373] ppid=7371 vsize=50752 CPUtime=821.97 /proc/7373/stat : 7373 (pbscip.linux.x8) R 7371 7373 7348 0 -1 4202496 14552 0 0 0 79464 2733 0 0 25 0 1 0 39053239 51970048 11881 1992294400 4194304 7136930 140733653183760 18446744073709551615 4998689 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7373/statm: 12688 11881 390 719 0 11967 0 Current children cumulated CPU time (s) 821.97 Current children cumulated vsize (KiB) 50752 [startup+882.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 7398 /proc/meminfo: memFree=1754928/2059040 swapFree=4136232/4192956 [pid=7373] ppid=7371 vsize=50752 CPUtime=881.94 /proc/7373/stat : 7373 (pbscip.linux.x8) R 7371 7373 7348 0 -1 4202496 14559 0 0 0 85276 2918 0 0 25 0 1 0 39053239 51970048 11888 1992294400 4194304 7136930 140733653183760 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7373/statm: 12688 11888 390 719 0 11967 0 Current children cumulated CPU time (s) 881.94 Current children cumulated vsize (KiB) 50752 [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 7400 /proc/meminfo: memFree=1754804/2059040 swapFree=4136232/4192956 [pid=7373] ppid=7371 vsize=50752 CPUtime=941.92 /proc/7373/stat : 7373 (pbscip.linux.x8) R 7371 7373 7348 0 -1 4202496 14560 0 0 0 91089 3103 0 0 25 0 1 0 39053239 51970048 11889 1992294400 4194304 7136930 140733653183760 18446744073709551615 5909106 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7373/statm: 12688 11889 390 719 0 11967 0 Current children cumulated CPU time (s) 941.92 Current children cumulated vsize (KiB) 50752 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 7400 /proc/meminfo: memFree=1754432/2059040 swapFree=4136232/4192956 [pid=7373] ppid=7371 vsize=51028 CPUtime=1001.89 /proc/7373/stat : 7373 (pbscip.linux.x8) R 7371 7373 7348 0 -1 4202496 14610 0 0 0 96898 3291 0 0 25 0 1 0 39053239 52252672 11939 1992294400 4194304 7136930 140733653183760 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7373/statm: 12757 11939 390 719 0 12036 0 Current children cumulated CPU time (s) 1001.89 Current children cumulated vsize (KiB) 51028 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 7402 /proc/meminfo: memFree=1754308/2059040 swapFree=4136232/4192956 [pid=7373] ppid=7371 vsize=51028 CPUtime=1061.87 /proc/7373/stat : 7373 (pbscip.linux.x8) R 7371 7373 7348 0 -1 4202496 14616 0 0 0 102703 3484 0 0 25 0 1 0 39053239 52252672 11945 1992294400 4194304 7136930 140733653183760 18446744073709551615 5507220 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7373/statm: 12757 11945 390 719 0 12036 0 Current children cumulated CPU time (s) 1061.87 Current children cumulated vsize (KiB) 51028 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 7404 /proc/meminfo: memFree=1754308/2059040 swapFree=4136232/4192956 [pid=7373] ppid=7371 vsize=51028 CPUtime=1121.84 /proc/7373/stat : 7373 (pbscip.linux.x8) R 7371 7373 7348 0 -1 4202496 14622 0 0 0 108515 3669 0 0 25 0 1 0 39053239 52252672 11951 1992294400 4194304 7136930 140733653183760 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7373/statm: 12757 11951 390 719 0 12036 0 Current children cumulated CPU time (s) 1121.84 Current children cumulated vsize (KiB) 51028 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 7415 /proc/meminfo: memFree=1753192/2059040 swapFree=4136232/4192956 [pid=7373] ppid=7371 vsize=51028 CPUtime=1181.82 /proc/7373/stat : 7373 (pbscip.linux.x8) R 7371 7373 7348 0 -1 4202496 14626 0 0 0 114320 3862 0 0 25 0 1 0 39053239 52252672 11955 1992294400 4194304 7136930 140733653183760 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7373/statm: 12757 11955 390 719 0 12036 0 Current children cumulated CPU time (s) 1181.82 Current children cumulated vsize (KiB) 51028 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 7417 /proc/meminfo: memFree=1753192/2059040 swapFree=4136232/4192956 [pid=7373] ppid=7371 vsize=51164 CPUtime=1241.78 /proc/7373/stat : 7373 (pbscip.linux.x8) R 7371 7373 7348 0 -1 4202496 14643 0 0 0 120128 4050 0 0 25 0 1 0 39053239 52391936 11972 1992294400 4194304 7136930 140733653183760 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7373/statm: 12791 11972 390 719 0 12070 0 Current children cumulated CPU time (s) 1241.78 Current children cumulated vsize (KiB) 51164 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 7417 /proc/meminfo: memFree=1753192/2059040 swapFree=4136232/4192956 [pid=7373] ppid=7371 vsize=51164 CPUtime=1301.77 /proc/7373/stat : 7373 (pbscip.linux.x8) R 7371 7373 7348 0 -1 4202496 14650 0 0 0 125940 4237 0 0 25 0 1 0 39053239 52391936 11979 1992294400 4194304 7136930 140733653183760 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7373/statm: 12791 11979 390 719 0 12070 0 Current children cumulated CPU time (s) 1301.77 Current children cumulated vsize (KiB) 51164 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 7419 /proc/meminfo: memFree=1753192/2059040 swapFree=4136232/4192956 [pid=7373] ppid=7371 vsize=51164 CPUtime=1361.73 /proc/7373/stat : 7373 (pbscip.linux.x8) R 7371 7373 7348 0 -1 4202496 14652 0 0 0 131754 4419 0 0 25 0 1 0 39053239 52391936 11981 1992294400 4194304 7136930 140733653183760 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7373/statm: 12791 11981 390 719 0 12070 0 Current children cumulated CPU time (s) 1361.73 Current children cumulated vsize (KiB) 51164 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/107 7421 /proc/meminfo: memFree=1753068/2059040 swapFree=4136232/4192956 [pid=7373] ppid=7371 vsize=51164 CPUtime=1421.72 /proc/7373/stat : 7373 (pbscip.linux.x8) R 7371 7373 7348 0 -1 4202496 14652 0 0 0 137561 4611 0 0 25 0 1 0 39053239 52391936 11981 1992294400 4194304 7136930 140733653183760 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7373/statm: 12791 11981 390 719 0 12070 0 Current children cumulated CPU time (s) 1421.72 Current children cumulated vsize (KiB) 51164 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 7423 /proc/meminfo: memFree=1753068/2059040 swapFree=4136232/4192956 [pid=7373] ppid=7371 vsize=51164 CPUtime=1481.69 /proc/7373/stat : 7373 (pbscip.linux.x8) R 7371 7373 7348 0 -1 4202496 14653 0 0 0 143364 4805 0 0 25 0 1 0 39053239 52391936 11982 1992294400 4194304 7136930 140733653183760 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7373/statm: 12791 11982 390 719 0 12070 0 Current children cumulated CPU time (s) 1481.69 Current children cumulated vsize (KiB) 51164 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 7425 /proc/meminfo: memFree=1752944/2059040 swapFree=4136232/4192956 [pid=7373] ppid=7371 vsize=51164 CPUtime=1541.67 /proc/7373/stat : 7373 (pbscip.linux.x8) R 7371 7373 7348 0 -1 4202496 14653 0 0 0 149166 5001 0 0 25 0 1 0 39053239 52391936 11982 1992294400 4194304 7136930 140733653183760 18446744073709551615 4703875 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7373/statm: 12791 11982 390 719 0 12070 0 Current children cumulated CPU time (s) 1541.67 Current children cumulated vsize (KiB) 51164 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 7425 /proc/meminfo: memFree=1752820/2059040 swapFree=4136232/4192956 [pid=7373] ppid=7371 vsize=51164 CPUtime=1601.65 /proc/7373/stat : 7373 (pbscip.linux.x8) R 7371 7373 7348 0 -1 4202496 14656 0 0 0 154966 5199 0 0 25 0 1 0 39053239 52391936 11985 1992294400 4194304 7136930 140733653183760 18446744073709551615 5901976 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7373/statm: 12791 11985 390 719 0 12070 0 Current children cumulated CPU time (s) 1601.65 Current children cumulated vsize (KiB) 51164 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 7427 /proc/meminfo: memFree=1752820/2059040 swapFree=4136232/4192956 [pid=7373] ppid=7371 vsize=51164 CPUtime=1661.62 /proc/7373/stat : 7373 (pbscip.linux.x8) R 7371 7373 7348 0 -1 4202496 14658 0 0 0 160769 5393 0 0 25 0 1 0 39053239 52391936 11987 1992294400 4194304 7136930 140733653183760 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7373/statm: 12791 11987 390 719 0 12070 0 Current children cumulated CPU time (s) 1661.62 Current children cumulated vsize (KiB) 51164 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 7429 /proc/meminfo: memFree=1752572/2059040 swapFree=4136232/4192956 [pid=7373] ppid=7371 vsize=51164 CPUtime=1721.6 /proc/7373/stat : 7373 (pbscip.linux.x8) R 7371 7373 7348 0 -1 4202496 14659 0 0 0 166580 5580 0 0 25 0 1 0 39053239 52391936 11988 1992294400 4194304 7136930 140733653183760 18446744073709551615 5507200 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7373/statm: 12791 11988 390 719 0 12070 0 Current children cumulated CPU time (s) 1721.6 Current children cumulated vsize (KiB) 51164 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 7431 /proc/meminfo: memFree=1752324/2059040 swapFree=4136232/4192956 [pid=7373] ppid=7371 vsize=51164 CPUtime=1781.57 /proc/7373/stat : 7373 (pbscip.linux.x8) R 7371 7373 7348 0 -1 4202496 14662 0 0 0 172393 5764 0 0 25 0 1 0 39053239 52391936 11991 1992294400 4194304 7136930 140733653183760 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7373/statm: 12791 11991 390 719 0 12070 0 Current children cumulated CPU time (s) 1781.57 Current children cumulated vsize (KiB) 51164 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 0.99 0.98 0.99 2/107 7431 /proc/meminfo: memFree=1752324/2059040 swapFree=4136232/4192956 [pid=7373] ppid=7371 vsize=51164 CPUtime=1800.07 /proc/7373/stat : 7373 (pbscip.linux.x8) R 7371 7373 7348 0 -1 4202496 14662 0 0 0 174185 5822 0 0 25 0 1 0 39053239 52391936 11991 1992294400 4194304 7136930 140733653183760 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7373/statm: 12791 11991 390 719 0 12070 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 51164 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.91 CPU time (s): 1800.18 CPU user time (s): 1741.95 CPU system time (s): 58.2311 CPU usage (%): 99.9597 Max. virtual memory (cumulated for all children) (KiB): 51164 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1741.95 system time used= 58.2311 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 14687 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 23642 runsolver used 3.00854 second user time and 8.48971 second system time The end
Begin job on node011 at 2010-06-15 22:41:57 IDJOB=2663936 IDBENCH=24991 IDSOLVER=1167 FILE ID=node011/2663936-1276634517 PBS_JOBID= 11172397 Free space on /tmp= 62360 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_009_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-2663936-1276634517/watcher-2663936-1276634517 -o /tmp/evaluation-result-2663936-1276634517/solver-2663936-1276634517 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663936-1276634517.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 2aa6eb5ee09e1484657dfe3626167241 RANDOM SEED=197071359 node011.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.264 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.52 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.264 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1803452 kB Buffers: 70808 kB Cached: 105188 kB SwapCached: 10072 kB Active: 85672 kB Inactive: 103328 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1803452 kB SwapTotal: 4192956 kB SwapFree: 4136232 kB Dirty: 3916 kB Writeback: 0 kB AnonPages: 11396 kB Mapped: 9256 kB Slab: 44804 kB PageTables: 4012 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179560 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= 62356 MiB End job on node011 at 2010-06-15 23:12:00