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) | 28 | 1800.17 | 1800.61 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_002_area_delay.opb |
| MD5SUM | d6135de924aeb400fc0f7d1c419e5860 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 24 |
| Best CPU time to get the best result obtained on this benchmark | 6.30604 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 24 |
| Optimality of the best value was proved | YES |
| Number of variables | 6080 |
| Total number of constraints | 18113 |
| Number of constraints which are clauses | 18113 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 125 |
| Number of terms in the objective function | 2975 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 2975 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 2975 |
| Number of bits of the biggest sum of numbers | 12 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: 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-2663941-1276635873.opb>
0.29/0.32 c original problem has 6080 variables (6080 bin, 0 int, 0 impl, 0 cont) and 18113 constraints
0.29/0.32 c problem read
0.29/0.32 c presolving settings loaded
0.29/0.32 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.43 c presolving:
0.59/0.60 c (round 1) 3411 del vars, 6326 del conss, 487 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 29002 impls, 0 clqs
0.59/0.62 c (round 2) 3411 del vars, 7395 del conss, 487 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 29002 impls, 0 clqs
0.69/0.75 c (round 3) 3411 del vars, 7406 del conss, 487 chg bounds, 0 chg sides, 0 chg coeffs, 10689 upgd conss, 29002 impls, 0 clqs
0.69/0.79 c (round 4) 3411 del vars, 7406 del conss, 487 chg bounds, 0 chg sides, 0 chg coeffs, 10707 upgd conss, 29002 impls, 0 clqs
0.89/0.91 c (0.5s) probing: 101/2669 (3.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.89/0.91 c (0.5s) probing aborted: 100/100 successive totally useless probings
0.89/0.91 c presolving (5 rounds):
0.89/0.91 c 3411 deleted vars, 7406 deleted constraints, 487 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.89/0.91 c 29002 implications, 0 cliques
0.89/0.91 c presolved problem has 2669 variables (2669 bin, 0 int, 0 impl, 0 cont) and 10707 constraints
0.89/0.91 c 10707 constraints of type <logicor>
0.89/0.91 c transformed objective value is always integral (scale: 1)
0.89/0.91 c Presolving Time: 0.46
0.89/0.91 c - non default parameters ----------------------------------------------------------------------
0.89/0.91 c # SCIP version 1.2.1.2
0.89/0.91 c
0.89/0.91 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.89/0.91 c # [type: int, range: [-1,2147483647], default: -1]
0.89/0.91 c conflict/interconss = 0
0.89/0.91 c
0.89/0.91 c # should binary conflicts be preferred?
0.89/0.91 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.91 c conflict/preferbinary = TRUE
0.89/0.91 c
0.89/0.91 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.89/0.91 c # [type: int, range: [-1,2147483647], default: 0]
0.89/0.91 c constraints/agelimit = 1
0.89/0.91 c
0.89/0.91 c # should enforcement of pseudo solution be disabled?
0.89/0.91 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.91 c constraints/disableenfops = TRUE
0.89/0.91 c
0.89/0.91 c # frequency for displaying node information lines
0.89/0.91 c # [type: int, range: [-1,2147483647], default: 100]
0.89/0.91 c display/freq = 10000
0.89/0.91 c
0.89/0.91 c # maximal time in seconds to run
0.89/0.91 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.91 c limits/time = 1799.69
0.89/0.91 c
0.89/0.91 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.89/0.91 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.91 c limits/memory = 1620
0.89/0.91 c
0.89/0.91 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.89/0.91 c # [type: int, range: [-1,2147483647], default: 1]
0.89/0.91 c lp/solvefreq = -1
0.89/0.91 c
0.89/0.91 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.91 c # [type: char, range: {lafpsqd}, default: l]
0.89/0.91 c lp/pricing = a
0.89/0.91 c
0.89/0.91 c # should presolving try to simplify inequalities
0.89/0.91 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.91 c constraints/linear/simplifyinequalities = TRUE
0.89/0.91 c
0.89/0.91 c # should presolving try to simplify knapsacks
0.89/0.91 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.91 c constraints/knapsack/simplifyinequalities = TRUE
0.89/0.91 c
0.89/0.91 c # priority of node selection rule <dfs> in standard mode
0.89/0.91 c # [type: int, range: [-536870912,536870911], default: 0]
0.89/0.91 c nodeselection/dfs/stdpriority = 1000000
0.89/0.91 c
0.89/0.91 c -----------------------------------------------------------------------------------------------
0.89/0.91 c start solving
0.89/0.91 c
0.89/0.91 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.91 c 0.5s| 1 | 2 | 0 | - | 22M| 0 | - |2669 | 10k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.19/1.25 o 33
1.19/1.25 c * 0.8s| 670 | 660 | 0 | 0.0 | 23M| 669 | - |2669 | 10k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | 3.300000e+01 | Inf
1.19/1.27 o 32
1.19/1.27 c * 0.9s| 714 | 657 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 17 | 0 | 0.000000e+00 | 3.200000e+01 | Inf
2.10/2.11 o 31
2.10/2.11 c * 1.7s| 2057 | 648 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 776 | 0 | 0.000000e+00 | 3.100000e+01 | Inf
7.29/7.39 c 6.8s| 10000 | 642 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 |5447 | 0 | 0.000000e+00 | 3.100000e+01 | Inf
8.08/8.14 o 30
8.08/8.14 c * 7.5s| 11237 | 644 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 |6068 | 0 | 0.000000e+00 | 3.000000e+01 | Inf
14.19/14.21 c 13.4s| 20000 | 632 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
21.38/21.42 c 20.3s| 30000 | 637 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
28.39/28.43 c 27.1s| 40000 | 630 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
35.39/35.47 c 33.9s| 50000 | 630 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
42.08/42.16 c 40.4s| 60000 | 627 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
48.68/48.78 c 46.8s| 70000 | 627 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
55.18/55.29 c 53.1s| 80000 | 628 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
61.88/61.93 c 59.5s| 90000 | 634 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
68.28/68.36 c 65.7s|100000 | 627 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
74.38/74.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
74.38/74.47 c 71.5s|110000 | 622 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
81.28/81.36 c 78.2s|120000 | 626 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
88.77/88.84 c 85.5s|130000 | 625 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
95.68/95.75 c 92.2s|140000 | 624 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
102.56/102.65 c 98.8s|150000 | 627 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
103.57/103.60 o 29
103.57/103.60 c *99.7s|151667 | 633 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
108.97/109.07 c 105s|160000 | 624 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
115.76/115.85 c 112s|170000 | 629 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
122.26/122.33 c 118s|180000 | 622 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
129.16/129.27 c 124s|190000 | 622 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
136.37/136.49 c 131s|200000 | 626 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
143.55/143.65 c 138s|210000 | 623 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
150.06/150.16 c 145s|220000 | 618 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
157.16/157.28 c 152s|230000 | 618 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
163.76/163.80 c 158s|240000 | 624 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
170.25/170.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
170.25/170.30 c 164s|250000 | 632 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
176.75/176.85 o 28
176.75/176.85 c * 170s|259871 | 626 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
176.85/176.93 c 171s|260000 | 624 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
183.35/183.40 c 177s|270000 | 623 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
189.54/189.61 c 183s|280000 | 623 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
196.25/196.30 c 189s|290000 | 622 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
202.65/202.76 c 195s|300000 | 621 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
209.74/209.87 c 202s|310000 | 620 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
216.33/216.47 c 209s|320000 | 617 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
223.04/223.15 c 215s|330000 | 622 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 178k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
229.54/229.65 c 221s|340000 | 620 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
236.34/236.48 c 228s|350000 | 621 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
242.64/242.75 c 234s|360000 | 620 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 193k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
249.33/249.45 c 241s|370000 | 623 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
256.03/256.20 c 247s|380000 | 623 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
262.83/262.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
262.83/262.95 c 254s|390000 | 621 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
270.03/270.14 c 260s|400000 | 622 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 213k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
277.13/277.29 c 267s|410000 | 620 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
284.13/284.22 c 274s|420000 | 615 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 224k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
290.52/290.66 c 280s|430000 | 618 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 229k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
297.32/297.49 c 287s|440000 | 618 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 235k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
303.92/304.01 c 293s|450000 | 624 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 241k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
310.51/310.69 c 300s|460000 | 616 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 246k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
317.02/317.17 c 306s|470000 | 620 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 252k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
323.81/323.95 c 312s|480000 | 624 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 257k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
330.51/330.67 c 319s|490000 | 618 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 262k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
337.11/337.20 c 325s|500000 | 621 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 268k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
343.81/343.90 c 332s|510000 | 622 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 274k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
350.10/350.21 c 338s|520000 | 618 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 279k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
356.51/356.69 c 344s|530000 | 620 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 285k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
363.20/363.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
363.20/363.38 c 350s|540000 | 621 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 290k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
370.01/370.19 c 357s|550000 | 614 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 296k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
376.70/376.85 c 363s|560000 | 625 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 301k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
383.49/383.63 c 370s|570000 | 616 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 307k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
390.30/390.41 c 377s|580000 | 616 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 312k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
397.10/397.27 c 383s|590000 | 621 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 317k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
404.19/404.33 c 390s|600000 | 621 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 323k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
410.99/411.18 c 397s|610000 | 616 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 328k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
418.49/418.65 c 404s|620000 | 620 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 334k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
425.50/425.61 c 411s|630000 | 617 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 340k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
432.20/432.38 c 417s|640000 | 614 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 345k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
439.08/439.24 c 424s|650000 | 617 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 351k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
445.68/445.88 c 430s|660000 | 618 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 357k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
452.08/452.25 c 436s|670000 | 624 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 362k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
458.37/458.55 c 442s|680000 | 620 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 367k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
464.98/465.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
464.98/465.12 c 449s|690000 | 620 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 372k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
471.47/471.64 c 455s|700000 | 618 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 377k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
477.97/478.14 c 461s|710000 | 619 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 383k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
484.67/484.82 c 468s|720000 | 617 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 388k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
491.37/491.57 c 474s|730000 | 617 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 393k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
498.27/498.45 c 481s|740000 | 616 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 398k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
504.97/505.15 c 487s|750000 | 618 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 404k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
511.77/511.99 c 494s|760000 | 622 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 409k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
518.46/518.63 c 500s|770000 | 616 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 414k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
525.06/525.25 c 507s|780000 | 625 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 419k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
531.86/532.05 c 513s|790000 | 620 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 425k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
538.46/538.67 c 520s|800000 | 622 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 430k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
545.16/545.30 c 526s|810000 | 617 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 435k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
551.86/552.01 c 533s|820000 | 617 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 441k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
558.66/558.86 c 539s|830000 | 614 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 446k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
565.35/565.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
565.35/565.57 c 546s|840000 | 618 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 452k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
572.05/572.20 c 552s|850000 | 610 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 457k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
578.55/578.73 c 559s|860000 | 614 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 462k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
585.45/585.60 c 565s|870000 | 616 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 468k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
592.05/592.24 c 572s|880000 | 617 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 473k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
598.95/599.15 c 578s|890000 | 614 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 478k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
605.85/606.02 c 585s|900000 | 617 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 483k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
612.34/612.56 c 591s|910000 | 615 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 488k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
619.64/619.87 c 598s|920000 | 620 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 493k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
626.85/627.03 c 605s|930000 | 615 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 499k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
633.73/633.94 c 612s|940000 | 618 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 504k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
640.34/640.59 c 618s|950000 | 623 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 509k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
646.93/647.17 c 625s|960000 | 619 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 514k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
653.63/653.84 c 631s|970000 | 615 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 519k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
660.43/660.63 c 638s|980000 | 621 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 524k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
667.13/667.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
667.13/667.36 c 644s|990000 | 619 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 529k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
674.04/674.25 c 651s| 1000k| 619 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 535k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
680.83/681.03 c 657s| 1010k| 617 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 540k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
687.83/688.00 c 664s| 1020k| 623 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 545k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
694.53/694.77 c 671s| 1030k| 617 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 550k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
700.92/701.19 c 677s| 1040k| 615 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 555k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
707.82/708.06 c 683s| 1050k| 624 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 561k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
714.82/715.06 c 690s| 1060k| 629 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 566k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
722.02/722.24 c 697s| 1070k| 622 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 572k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
729.12/729.33 c 704s| 1080k| 618 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 577k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
736.01/736.28 c 711s| 1090k| 621 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 583k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
742.91/743.18 c 717s| 1100k| 621 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 588k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
750.10/750.31 c 724s| 1110k| 616 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 594k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
756.91/757.13 c 731s| 1120k| 615 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 599k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
763.81/764.10 c 738s| 1130k| 621 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 605k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
770.81/771.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
770.81/771.02 c 744s| 1140k| 615 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 610k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
777.80/778.02 c 751s| 1150k| 621 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 615k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
784.30/784.51 c 757s| 1160k| 618 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 620k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
790.80/791.00 c 764s| 1170k| 616 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 625k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
797.50/797.73 c 770s| 1180k| 611 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 631k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
803.99/804.27 c 776s| 1190k| 621 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 636k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
810.89/811.18 c 783s| 1200k| 614 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 641k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
817.89/818.19 c 790s| 1210k| 622 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 647k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
825.09/825.36 c 797s| 1220k| 616 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 652k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
831.99/832.20 c 803s| 1230k| 618 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 657k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
838.99/839.30 c 810s| 1240k| 615 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 663k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
846.28/846.56 c 817s| 1250k| 616 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 668k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
853.29/853.60 c 824s| 1260k| 622 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 673k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
859.89/860.20 c 831s| 1270k| 623 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 678k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
866.49/866.79 c 837s| 1280k| 621 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 684k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
872.88/873.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
872.88/873.15 c 843s| 1290k| 618 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 689k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
879.48/879.78 c 849s| 1300k| 618 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 694k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
886.18/886.49 c 856s| 1310k| 615 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 700k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
892.68/892.98 c 862s| 1320k| 618 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 705k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
899.28/899.51 c 868s| 1330k| 616 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 710k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
905.57/905.85 c 875s| 1340k| 620 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 715k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
912.67/912.99 c 881s| 1350k| 621 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 720k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
919.27/919.58 c 888s| 1360k| 618 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 725k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
925.88/926.17 c 894s| 1370k| 614 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 730k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
932.27/932.57 c 900s| 1380k| 621 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 734k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
939.17/939.49 c 907s| 1390k| 618 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 740k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
945.77/946.04 c 913s| 1400k| 618 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 745k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
952.27/952.60 c 920s| 1410k| 623 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 750k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
958.97/959.27 c 926s| 1420k| 620 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 755k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
965.96/966.21 c 933s| 1430k| 620 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 761k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
972.66/972.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
972.66/972.91 c 939s| 1440k| 616 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 767k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
979.35/979.65 c 946s| 1450k| 623 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 772k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
985.95/986.23 c 952s| 1460k| 620 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 777k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
992.45/992.73 c 958s| 1470k| 623 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 783k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
998.84/999.12 c 965s| 1480k| 622 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 788k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1005.05/1005.37 c 971s| 1490k| 611 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 793k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1011.66/1011.97 c 977s| 1500k| 617 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 799k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1018.25/1018.54 c 983s| 1510k| 615 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 804k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1024.45/1024.76 c 989s| 1520k| 617 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 809k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1031.83/1032.17 c 997s| 1530k| 611 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 814k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1039.83/1040.11 c 1004s| 1540k| 617 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 820k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1046.84/1047.16 c 1011s| 1550k| 617 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 826k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1053.74/1054.04 c 1018s| 1560k| 618 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 831k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1061.03/1061.39 c 1025s| 1570k| 618 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 836k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1067.83/1068.13 c 1031s| 1580k| 619 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 842k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1074.83/1075.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1074.83/1075.14 c 1038s| 1590k| 620 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 847k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1082.14/1082.45 c 1045s| 1600k| 610 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 853k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1088.73/1089.04 c 1051s| 1610k| 624 | 0 | 0.0 | 23M| 670 | - |2669 | 11k| 0 | 0 | 0 | 859k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1095.43/1095.74 c 1058s| 1620k| 615 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 864k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1102.02/1102.31 c 1064s| 1630k| 623 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 869k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1108.82/1109.13 c 1071s| 1640k| 621 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 874k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1115.52/1115.82 c 1077s| 1650k| 619 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 879k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1122.12/1122.45 c 1084s| 1660k| 623 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 884k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1128.92/1129.26 c 1090s| 1670k| 616 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 890k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1135.71/1136.02 c 1097s| 1680k| 617 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 895k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1142.52/1142.88 c 1103s| 1690k| 617 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 900k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1149.31/1149.64 c 1110s| 1700k| 614 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 906k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1155.91/1156.29 c 1116s| 1710k| 615 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 911k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1163.01/1163.31 c 1123s| 1720k| 619 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 916k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1169.50/1169.82 c 1129s| 1730k| 611 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 922k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1176.81/1177.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1176.81/1177.16 c 1137s| 1740k| 616 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 927k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1183.80/1184.13 c 1143s| 1750k| 612 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 933k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1190.30/1190.65 c 1150s| 1760k| 615 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 938k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1197.20/1197.50 c 1156s| 1770k| 622 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 943k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1203.80/1204.16 c 1163s| 1780k| 617 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 948k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1210.60/1210.96 c 1169s| 1790k| 618 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 953k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1217.60/1217.95 c 1176s| 1800k| 619 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 959k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1224.29/1224.66 c 1182s| 1810k| 616 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 964k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1230.90/1231.25 c 1189s| 1820k| 614 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 969k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1237.79/1238.19 c 1195s| 1830k| 622 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 975k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1244.39/1244.76 c 1202s| 1840k| 616 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 980k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1250.89/1251.29 c 1208s| 1850k| 616 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 985k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1257.78/1258.13 c 1215s| 1860k| 616 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 991k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1264.60/1264.92 c 1221s| 1870k| 619 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 | 996k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1271.29/1271.66 c 1228s| 1880k| 617 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 |1002k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1278.38/1278.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1278.38/1278.78 c 1235s| 1890k| 616 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 |1007k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1285.08/1285.47 c 1241s| 1900k| 622 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 |1013k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1292.18/1292.55 c 1248s| 1910k| 621 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 |1018k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1298.88/1299.28 c 1255s| 1920k| 613 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 |1024k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1305.47/1305.86 c 1261s| 1930k| 617 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 |1030k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1312.57/1312.91 c 1268s| 1940k| 618 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 |1036k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1319.77/1320.11 c 1275s| 1950k| 617 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 |1041k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1327.17/1327.53 c 1282s| 1960k| 621 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 |1046k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1333.98/1334.32 c 1288s| 1970k| 621 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 |1052k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1341.17/1341.57 c 1295s| 1980k| 613 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 |1057k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1348.27/1348.64 c 1302s| 1990k| 618 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 |1062k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1354.87/1355.26 c 1309s| 2000k| 616 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 |1068k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1362.06/1362.46 c 1316s| 2010k| 611 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 |1073k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1368.86/1369.22 c 1322s| 2020k| 616 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 |1079k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1375.45/1375.85 c 1328s| 2030k| 611 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 |1085k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1382.05/1382.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1382.05/1382.45 c 1335s| 2040k| 612 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 |1090k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1388.45/1388.83 c 1341s| 2050k| 614 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 |1096k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1395.75/1396.17 c 1348s| 2060k| 613 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 |1102k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1402.75/1403.10 c 1355s| 2070k| 618 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 |1107k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1409.35/1409.79 c 1361s| 2080k| 613 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 |1113k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1416.15/1416.50 c 1368s| 2090k| 617 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 |1118k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1422.34/1422.70 c 1374s| 2100k| 611 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 |1123k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1428.64/1429.05 c 1380s| 2110k| 613 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 |1128k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1435.64/1436.02 c 1386s| 2120k| 611 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 |1134k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1442.44/1442.89 c 1393s| 2130k| 620 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 |1140k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1449.74/1450.19 c 1400s| 2140k| 609 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 |1145k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1456.64/1457.02 c 1407s| 2150k| 612 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 |1151k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1463.43/1463.84 c 1413s| 2160k| 622 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 |1156k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1469.84/1470.26 c 1420s| 2170k| 619 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 |1161k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1476.44/1476.87 c 1426s| 2180k| 615 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 |1167k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1483.33/1483.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1483.33/1483.72 c 1433s| 2190k| 621 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 |1172k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1490.33/1490.74 c 1439s| 2200k| 620 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 |1177k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1497.43/1497.88 c 1446s| 2210k| 621 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 |1183k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1504.33/1504.73 c 1453s| 2220k| 617 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 |1188k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1510.82/1511.24 c 1459s| 2230k| 621 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 |1193k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1518.12/1518.57 c 1466s| 2240k| 619 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 |1199k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1525.12/1525.59 c 1473s| 2250k| 617 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 |1204k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1532.82/1533.24 c 1480s| 2260k| 620 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 |1210k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1540.01/1540.43 c 1487s| 2270k| 625 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 |1215k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1546.41/1546.87 c 1494s| 2280k| 614 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 |1220k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1553.42/1553.84 c 1500s| 2290k| 617 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 |1226k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1560.21/1560.67 c 1507s| 2300k| 619 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 |1231k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1566.71/1567.18 c 1513s| 2310k| 612 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 |1236k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1573.50/1573.99 c 1520s| 2320k| 609 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 |1241k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1580.71/1581.10 c 1527s| 2330k| 619 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 |1247k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1587.92/1588.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1587.92/1588.36 c 1534s| 2340k| 614 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 |1252k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1594.80/1595.26 c 1540s| 2350k| 616 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 |1258k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1602.00/1602.47 c 1547s| 2360k| 613 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 |1263k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1609.30/1609.74 c 1554s| 2370k| 610 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 |1269k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1615.90/1616.37 c 1561s| 2380k| 614 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 |1274k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1622.70/1623.10 c 1567s| 2390k| 617 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 |1279k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1629.40/1629.84 c 1574s| 2400k| 614 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 |1285k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1636.09/1636.51 c 1580s| 2410k| 608 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 |1290k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1643.29/1643.79 c 1587s| 2420k| 615 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 |1295k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1650.70/1651.19 c 1594s| 2430k| 619 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 |1301k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1658.08/1658.52 c 1601s| 2440k| 619 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 |1306k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1665.29/1665.73 c 1608s| 2450k| 619 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 |1311k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1672.19/1672.63 c 1615s| 2460k| 610 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 |1317k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1679.19/1679.64 c 1622s| 2470k| 613 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 |1322k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1686.18/1686.62 c 1628s| 2480k| 610 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 |1328k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1693.38/1693.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1693.38/1693.82 c 1635s| 2490k| 613 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 |1333k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1700.19/1700.64 c 1642s| 2500k| 614 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 |1338k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1707.78/1708.23 c 1649s| 2510k| 618 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 |1344k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1714.87/1715.33 c 1656s| 2520k| 614 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 |1349k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1721.68/1722.18 c 1663s| 2530k| 610 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 |1354k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1728.37/1728.84 c 1669s| 2540k| 612 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 |1359k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1734.77/1735.26 c 1675s| 2550k| 613 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 |1365k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1741.37/1741.80 c 1682s| 2560k| 617 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 |1370k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1748.27/1748.78 c 1688s| 2570k| 616 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 |1376k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1754.56/1755.08 c 1695s| 2580k| 609 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 |1381k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1761.16/1761.64 c 1701s| 2590k| 616 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 |1386k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1767.56/1768.09 c 1707s| 2600k| 613 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 |1391k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1774.56/1775.09 c 1714s| 2610k| 609 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 |1396k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1780.86/1781.37 c 1720s| 2620k| 611 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 |1401k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1787.76/1788.24 c 1727s| 2630k| 611 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 |1406k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1795.16/1795.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1795.16/1795.65 c 1734s| 2640k| 611 | 0 | 0.0 | 23M| 670 | - |2669 | 10k| 0 | 0 | 0 |1412k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
1800.06/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.06/1800.50 c
1800.06/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.50 c Solving Time (sec) : 1738.43
1800.06/1800.50 c Solving Nodes : 2646981
1800.06/1800.50 c Primal Bound : +2.80000000000000e+01 (6 solutions)
1800.06/1800.50 c Dual Bound : +0.00000000000000e+00
1800.06/1800.50 c Gap : infinite
1800.06/1800.53 s SATISFIABLE
1800.06/1800.53 v x190 x189 -x6077 -x188 -x6075 x187 -x6072 -x6070 -x186 -x6068 -x6066 -x6064 -x185 -x6062 -x6060 -x6058 -x6056 -x6054 -x6052 -x184
1800.06/1800.53 v -x6050 x183 -x6047 -x6045 x182 x6043 -x6041 x181 x6039 -x6037 -x6035 -x6033 -x6031 -x6029 -x6027 -x180 -x6025 -x6023 -x6021
1800.06/1800.53 v -x179 -x6019 -x6017 -x6015 -x6013 -x6011 -x6009 -x6007 -x178 -x6005 -x6003 -x6001 -x5999 -x5997 -x5995 -x5993 -x177 -x5991
1800.06/1800.53 v -x5989 -x5987 -x5985 -x5983 -x5981 -x5979 -x5977 -x5975 -x5973 -x5971 -x5969 -x5967 -x176 -x5965 -x175 -x5962 -x5960 -x174 -x5958
1800.06/1800.53 v -x5956 -x5954 -x173 -x5952 -x5950 -x5948 -x5946 -x5944 -x5942 -x5940 -x172 -x5938 -x5936 -x5934 -x171 -x5932 -x5930 -x5928
1800.06/1800.53 v -x5926 -x5924 -x5922 -x5920 -x170 -x5918 -x5916 -x5914 -x5912 -x5910 -x5908 -x5906 -x169 -x5904 -x5902 -x5900 -x5898 -x5896
1800.06/1800.53 v -x5894 -x5892 -x5890 -x5888 -x5886 -x5884 -x5882 -x5880 -x5878 -x5876 -x168 -x5874 -x5872 -x5870 -x167 -x5868 -x5866 -x5864
1800.06/1800.53 v -x5862 -x5860 -x5858 -x5856 -x166 -x5854 -x5852 -x5850 -x5848 -x5846 -x5844 -x5842 -x165 -x5840 -x5838 -x5836 -x5834 -x5832
1800.06/1800.53 v -x5830 -x5828 -x5826 -x5824 -x5822 -x5820 -x5818 -x5816 -x5814 -x5812 -x164 -x5810 -x5808 -x5806 -x5804 x5802 -x5800 -x5798 -x5796
1800.06/1800.53 v -x5794 -x5791 -x5789 -x5787 -x5785 -x5783 -x5781 -x5779 -x5777 -x5775 -x5773 -x5771 -x5769 -x163 -x5767 -x5765 -x5763 -x5761
1800.06/1800.53 v -x5759 -x5757 -x5755 -x5753 -x5751 -x5749 -x5747 -x5744 x5742 -x5740 -x5738 -x5735 -x5733 -x5731 -x5729 -x5727 -x5725 -x5723
1800.06/1800.53 v -x5721 -x5719 -x5717 -x5715 -x5713 -x5711 -x5709 -x5707 -x5705 -x5703 -x5701 -x5699 -x5697 -x5695 -x5693 -x5691 -x5689
1800.06/1800.53 v -x5687 -x5685 -x162 -x5683 x161 x5680 -x5678 x160 -x5676 -x5674 -x5672 x5670 -x5668 -x5666 -x5664 -x5662 -x5660 -x159 -x5657
1800.06/1800.53 v -x5655 -x158 -x5653 -x5651 -x5649 -x5647 -x5645 -x5643 -x5641 -x157 -x5639 -x5637 -x5635 -x5632 -x5630 -x5628 -x156 -x5626 -x5624
1800.06/1800.53 v -x5622 -x5620 -x5618 -x5616 -x5614 -x5612 -x5610 -x5608 -x5606 -x5604 -x5602 -x5600 -x5598 -x155 -x5596 -x5594 -x5592 -x154
1800.06/1800.53 v -x5590 -x5588 -x5586 -x5584 -x5582 -x5580 -x5578 -x153 -x5576 -x5574 x5572 -x5570 -x5568 x152 -x5565 -x5563 -x5561 -x5559
1800.06/1800.53 v -x5557 -x5555 -x5553 -x5551 -x5549 -x5547 -x5545 -x5543 -x5541 -x5539 -x5537 -x151 -x5535 -x5533 -x5531 -x5529 -x5527 -x5525
1800.06/1800.53 v -x5523 -x150 -x5521 -x5519 -x5517 -x5515 -x5513 -x5511 -x5509 -x5507 -x5505 -x5503 -x5501 -x5499 -x5497 -x5495 -x5493 -x149
1800.06/1800.53 v -x5491 -x5489 -x5487 -x5485 -x5483 -x5481 -x5479 -x5477 -x5475 -x5473 -x5471 -x5469 -x5467 -x5465 -x148 -x5463 -x5461 -x5459
1800.06/1800.53 v -x5457 -x5455 -x5453 -x5451 -x5449 -x5447 -x5445 -x5443 x5441 -x5439 -x5437 -x5435 -x5433 -x5431 -x5429 -x5427 -x5425 -x5423
1800.06/1800.53 v -x5421 -x5419 -x5417 -x5415 -x5413 -x5411 -x5409 -x5407 -x5405 -x5403 -x5401 -x5399 -x5397 -x147 -x5395 -x5392 -x5390 -x5388
1800.06/1800.53 v -x5386 -x5384 -x146 -x5382 -x5380 -x5378 -x5376 -x5374 -x5372 -x5370 -x145 -x5368 -x5366 x5364 -x5362 -x5360 -x5358 -x5356 -x5354
1800.06/1800.53 v -x5352 -x5350 -x5348 -x5346 -x5344 -x5342 -x5340 -x5338 -x5336 -x5334 -x5332 -x5330 -x5328 -x5326 -x144 -x5324 -x5322 -x5320
1800.06/1800.53 v -x5318 -x5316 -x5314 -x5312 -x5310 -x5308 -x5306 -x5304 -x5302 -x5300 -x5298 -x5296 -x143 -x5294 -x5292 -x5290 -x5288 -x5285
1800.06/1800.53 v -x5283 -x5281 -x5279 -x5277 -x5275 -x5273 -x5271 -x5269 -x5267 -x142 -x5265 -x5263 -x5261 -x5259 -x5257 -x5255 -x5253 -x5250
1800.06/1800.53 v -x5248 -x5246 -x5244 -x5242 -x5240 -x5238 -x5236 -x5234 -x5232 -x5230 -x5228 -x5225 -x5223 -x5221 -x5219 -x5217 -x5215 -x5213
1800.06/1800.53 v -x5211 -x5209 -x5207 -x141 -x5205 -x140 -x5202 -x5200 -x139 -x5198 -x5196 -x5194 -x138 -x5192 -x5190 -x5188 -x5186 -x5184
1800.06/1800.53 v -x5182 -x5180 -x137 -x5178 -x5176 -x5174 -x136 -x5172 -x5170 -x5168 -x5166 -x5163 -x5161 -x135 -x5159 -x5157 -x5155 -x5153
1800.06/1800.53 v -x5151 -x5149 -x5147 -x134 -x5145 -x5143 -x5141 -x5139 -x5137 -x5135 -x5133 -x5131 -x5129 -x5127 -x5125 -x5123 -x5121 -x5119
1800.06/1800.53 v -x5117 -x133 -x5115 -x5113 -x5111 -x132 -x5109 -x5107 -x5105 -x5103 -x5101 -x5099 -x5097 -x131 -x5095 -x5093 -x5091 -x5089 -x5087
1800.06/1800.53 v -x5085 -x5083 -x130 -x5081 -x5079 -x5077 -x5075 -x5073 -x5071 -x5069 -x5067 -x5065 -x5063 -x5061 -x5059 -x5057 -x5055 -x5053
1800.06/1800.53 v -x129 -x5051 -x5049 -x5047 -x5045 -x5043 -x5041 -x5039 -x128 -x5037 -x5035 -x5033 -x5031 -x5029 -x5027 -x5025 -x5023 -x5021
1800.06/1800.53 v -x5019 -x5017 -x5015 -x5013 -x5011 -x5009 -x127 -x5007 -x5005 -x5003 -x5001 -x4999 -x4997 -x4995 -x4993 -x4991 -x4989 x4987
1800.06/1800.53 v -x4985 -x4983 -x4981 -x4979 -x4977 -x4974 -x4972 -x4970 -x4968 -x4966 -x4964 -x4962 -x4960 -x4958 -x4956 -x4954 -x4952 -x4950
1800.06/1800.53 v -x4948 -x4946 -x4944 -x4942 -x4940 -x4938 -x4936 -x4934 -x4932 -x4930 -x4928 -x4926 -x4924 -x4922 -x4920 -x4918 -x126 -x4916
1800.06/1800.53 v -x4914 -x4912 -x125 -x4910 -x4908 -x4906 -x4904 -x4902 x4900 -x4898 -x4896 -x4894 -x4892 -x4890 -x4888 -x4886 -x4884 -x124
1800.06/1800.53 v -x4882 -x4880 -x4878 -x4875 -x4873 -x4871 -x4869 -x4867 -x4865 -x4863 -x4861 -x4859 -x4857 -x4855 -x123 -x4853 -x4851 -x4849
1800.06/1800.53 v -x4847 -x4845 -x4843 -x4841 -x122 -x4839 -x4837 -x4835 -x4833 -x4831 -x4829 -x4827 -x4825 -x4823 -x4821 -x4819 -x4817 -x4815
1800.06/1800.53 v -x4812 -x121 -x4810 -x4808 -x4806 -x4804 -x4802 -x4800 -x4798 -x4796 -x4794 -x4792 -x4790 -x4788 -x4786 -x4784 -x4782 -x120
1800.06/1800.53 v -x4780 -x4778 -x4776 -x4774 -x4772 -x4770 -x4768 -x4766 -x4764 -x4762 -x4760 -x4758 -x4756 -x4754 -x4752 -x4750 -x4748 -x4746
1800.06/1800.53 v -x4744 -x4742 -x4740 -x4738 -x4736 -x4734 -x4732 -x4730 -x4728 -x4726 -x4724 -x4722 -x4720 -x119 -x4718 -x4716 -x4714 -x4712
1800.06/1800.53 v -x4710 -x4708 -x4706 -x118 -x4704 -x4702 -x4700 -x4698 -x4696 -x4694 -x4691 -x4689 -x4687 -x4685 -x4683 -x4681 -x4679 -x4677
1800.06/1800.53 v -x117 -x4675 -x4673 -x4671 -x4669 -x4667 -x4665 -x4663 -x4661 -x4659 -x4657 -x4655 -x4653 -x4651 -x4649 -x4647 -x116 -x4645
1800.06/1800.53 v -x4643 -x4641 -x4639 -x4637 -x4635 -x4633 -x4631 -x4629 -x4627 -x4625 -x4623 -x4621 -x4619 -x4617 -x4615 -x4613 -x4611 -x4609
1800.06/1800.53 v -x4607 -x4605 -x4603 -x4601 -x4599 -x4597 -x4595 -x4593 -x4591 -x4589 -x4587 -x4585 -x115 -x4583 -x4581 -x4579 -x4577 -x4575
1800.06/1800.53 v -x4573 -x4571 -x4568 -x4566 -x4564 -x4562 -x4560 -x4558 -x4556 -x114 -x4554 -x4552 -x4550 -x4548 -x4546 -x4544 -x4542 -x4540
1800.06/1800.53 v -x4538 -x4536 -x4534 -x4532 -x4530 -x4528 -x4526 -x4524 -x4522 -x4520 -x4518 -x4516 -x4514 -x4512 -x4510 -x4508 -x4506 -x4504
1800.06/1800.53 v -x4502 -x4500 -x4498 -x4496 -x4494 -x113 -x4492 -x4490 -x4488 -x4486 -x4484 -x4482 -x4480 -x4478 -x4476 -x4474 -x4472 -x4470
1800.06/1800.53 v -x4467 -x4465 -x4463 -x4461 -x4458 -x4456 -x4454 -x4452 -x4450 -x4448 -x4446 -x4444 -x4442 -x4440 -x4438 -x4436 -x112 -x4434
1800.06/1800.53 v -x4432 -x4430 -x4428 -x4426 -x4424 -x4422 -x4420 -x4418 -x4416 -x4414 -x4412 -x4410 -x4408 -x4406 -x4404 -x4402 -x4400 -x4398
1800.06/1800.53 v -x4396 -x4394 -x4392 -x4389 -x4387 -x4385 -x4383 -x4381 -x4379 -x4377 -x4375 -x4373 -x4371 -x4369 -x4367 -x4365 -x4363 -x4361
1800.06/1800.53 v -x4359 -x4357 -x4355 -x4353 -x4351 -x4349 -x4347 -x4345 -x4343 -x4341 -x4339 -x4337 -x4335 -x4333 -x4331 -x4329 -x4327
1800.06/1800.53 v -x4325 -x4323 -x4321 -x4319 -x4317 -x4315 -x4313 -x4311 -x111 -x4309 -x4307 -x4305 -x110 -x4303 -x4301 -x4299 -x4296 -x4294 -x4292
1800.06/1800.53 v -x109 -x4290 -x4288 -x4286 -x4284 -x4282 -x4280 -x4278 -x108 -x4276 -x4274 -x4272 -x4270 -x4268 -x4266 -x4264 -x4262 -x4260
1800.06/1800.53 v -x4258 -x4256 -x4254 -x4252 -x4250 -x4248 -x107 -x4246 -x4244 -x4242 -x4240 -x4238 -x4236 -x4234 -x106 -x4232 -x4230 -x4228
1800.06/1800.53 v -x4226 -x4224 -x4222 -x4220 -x4218 -x4216 -x4214 -x4212 -x4210 -x4208 -x4206 -x4204 -x105 -x4202 -x4200 -x4198 -x4196 -x4194
1800.06/1800.53 v -x4192 -x4190 -x4188 -x4186 -x4184 -x4182 -x4180 -x4178 -x4176 -x4174 -x104 -x4172 -x4170 -x4168 -x4166 -x4164 -x4162 -x4160
1800.06/1800.53 v -x4158 -x4156 -x4154 -x4151 -x4149 -x4147 -x4145 -x4143 -x4141 -x4139 -x4137 -x4135 -x4133 -x4131 -x4129 -x4127 -x4125 -x4123
1800.06/1800.53 v -x4121 -x4119 -x4117 -x4115 -x4113 -x103 -x4111 -x4109 -x4107 -x4105 -x4103 -x4101 -x4099 -x102 -x4097 -x4095 -x4093 -x4091
1800.06/1800.53 v -x4089 -x4087 -x4084 -x4082 -x4080 -x4078 -x4076 -x4074 -x4072 -x4070 -x101 -x4068 -x4066 -x4064 -x4062 -x4060 -x4058 -x4056
1800.06/1800.53 v -x4054 -x4052 -x4050 -x4048 -x4046 -x4044 -x4042 -x4040 -x100 -x4038 -x4036 -x4034 -x4032 -x4030 -x4028 -x4026 x4024 -x4022
1800.06/1800.53 v -x4019 -x4017 -x4015 -x4013 -x4011 -x4009 -x4007 -x4005 -x4003 -x4001 -x3999 -x3997 -x3995 -x3993 -x3991 -x3989 -x3987 -x3985
1800.06/1800.53 v -x3983 -x3981 -x3979 -x3977 -x3975 -x3973 -x3971 -x3969 -x3967 -x3965 -x3963 -x3961 -x3959 -x3957 -x3955 -x3953 -x3951 -x3949
1800.06/1800.53 v -x99 -x3947 -x3945 -x3943 -x3941 -x3939 -x3937 -x3935 -x3933 -x3931 -x3929 -x3927 -x3925 -x3923 -x3921 -x3918 -x3916 -x3914
1800.06/1800.53 v -x3912 -x3910 -x3908 -x3906 -x3904 -x3902 -x3900 -x3898 -x3896 -x3894 -x3892 -x3890 -x3888 -x98 -x3886 -x3884 -x3882 -x3880
1800.06/1800.53 v -x3878 -x3876 -x3874 -x3872 -x3870 -x3868 -x3866 -x3864 -x3862 -x3860 -x3858 -x3856 -x3854 -x3852 -x3850 -x3848 -x3846 -x3844
1800.06/1800.53 v -x3842 -x3840 -x3838 -x3836 -x3834 -x3832 -x3830 -x3828 -x3826 -x97 -x3824 -x3822 -x3820 -x3818 -x3816 -x3814 -x3812 -x3810
1800.06/1800.53 v -x3808 -x3806 -x3804 -x3802 -x3800 -x3798 -x3796 -x3794 -x3792 -x3790 -x3788 -x3786 -x3784 -x3781 -x3779 -x3777 -x3775 -x3773
1800.06/1800.53 v -x3771 -x3769 -x3767 -x3765 -x3763 -x3761 -x3759 -x3757 -x3755 -x3753 -x3751 -x3749 -x3747 -x3745 -x3743 -x3741 -x3739 -x3737
1800.06/1800.53 v -x3735 -x3733 -x3731 -x3729 -x3727 -x3725 -x3723 -x3721 -x3719 -x3717 -x3715 -x3713 -x3711 -x3709 -x3707 -x3705 -x3703 -x3701
1800.06/1800.53 v -x96 -x3699 x95 -x3696 -x3694 -x94 -x3692 -x3690 -x3688 -x93 -x3686 -x3684 -x3682 -x3680 -x3678 -x3676 -x3674 -x92 -x3672
1800.06/1800.53 v -x3670 -x3668 -x91 -x3666 -x3664 -x90 -x3662 -x3660 -x3658 -x3656 -x3654 -x3652 -x3650 -x89 -x3648 -x3646 -x3644 -x3641 -x3639
1800.06/1800.53 v -x3637 -x88 -x3635 -x3633 -x3631 -x3629 -x3627 -x3625 -x3623 -x3621 -x3619 -x3617 -x3615 -x3613 -x3611 -x3609 -x3607 -x87
1800.06/1800.53 v -x3605 -x3603 -x3601 -x3599 -x3597 -x3595 -x3593 -x86 -x3591 -x3589 -x3587 -x85 -x3585 -x3583 -x3581 -x3579 -x3577 -x3575 -x3573
1800.06/1800.53 v -x84 -x3571 -x3569 -x3567 -x83 -x3565 -x3563 -x3561 -x3559 -x3557 -x3555 -x3553 -x82 -x3551 -x3548 -x3546 -x3544 -x3542
1800.06/1800.53 v -x3540 -x81 -x3538 -x3536 -x3534 -x3532 -x3530 -x3528 -x3526 -x3524 -x3522 -x3520 -x3518 -x3515 -x3513 -x3511 x3509 -x3507 -x3505
1800.06/1800.53 v -x3503 -x3501 -x3499 -x3497 -x80 -x3495 -x3493 -x3491 -x3489 -x3487 -x3485 -x3483 -x79 -x3481 -x3479 -x3477 -x3475 -x3473
1800.06/1800.53 v -x3471 -x3469 -x3467 -x3465 -x3463 -x3461 -x3459 -x3457 -x3455 -x3453 -x78 -x3451 -x3449 -x3447 -x3445 -x3443 -x3441 -x3439
1800.06/1800.53 v -x3437 -x3435 -x3433 -x3431 -x3429 -x3427 -x77 -x3425 -x3423 -x3421 -x3419 -x3417 -x3415 -x3413 -x3411 x3409 -x3407 -x3405
1800.06/1800.53 v -x3403 -x3401 -x3399 -x3397 -x3395 -x3393 -x3391 -x3389 -x3386 -x3384 -x3382 -x3380 -x3378 -x3376 -x3374 -x3372 -x3370 -x3368
1800.06/1800.53 v -x3366 -x3364 -x3362 -x3360 -x3358 -x3356 -x3354 -x3352 -x3350 -x3348 -x3346 -x3344 -x3342 -x3340 -x3338 -x3336 -x76 -x3334
1800.06/1800.53 v -x3332 -x3330 -x3328 -x3326 -x3324 -x3322 -x75 -x3320 -x3318 -x3316 -x3314 -x3312 -x3310 -x3308 -x3306 -x3304 -x3302 -x3300 -x3298
1800.06/1800.53 v -x3296 -x3294 -x3292 x3290 -x3288 -x3286 -x74 -x3284 -x3282 -x3280 -x3278 -x3276 -x3274 -x3272 -x73 -x3270 -x72 -x3267
1800.06/1800.53 v -x3265 -x71 -x3263 -x3261 -x3259 -x70 -x3257 -x3255 -x3253 -x69 -x3251 -x3249 -x3247 -x3245 -x3243 -x3241 -x3239 -x68 -x3237
1800.06/1800.53 v -x3235 -x3233 -x67 -x3231 -x3229 -x3227 -x3225 -x3223 -x3221 -x3219 -x66 -x3217 -x3215 -x3213 -x3211 -x3209 -x3207 -x3205 -x65
1800.06/1800.53 v -x3203 -x3201 -x3199 -x3197 -x3195 -x3193 -x3191 -x64 -x3189 -x3187 -x3185 -x3183 -x3181 -x3179 -x3177 -x3175 -x3173 -x3171
1800.06/1800.53 v -x3169 -x3167 -x3165 -x3163 -x3161 -x63 -x3159 -x3157 -x3155 -x62 -x3153 -x3151 -x3149 -x3147 -x3145 -x3143 -x3141 -x61 -x3139
1800.06/1800.53 v -x3137 -x3135 -x3133 -x3131 -x3129 -x3127 -x60 -x3125 -x3123 -x3120 -x3118 -x3116 -x3114 -x59 -x3112 -x3110 -x3108 -x3106
1800.06/1800.53 v -x3104 -x3102 -x3100 -x3098 -x3096 -x3094 -x3092 -x3090 -x3088 -x3086 -x3084 -x58 -x3082 -x3080 -x3078 -x3076 -x3074 -x3072 -x3070
1800.06/1800.53 v -x57 -x3068 -x3066 -x3064 -x3062 -x3060 -x3058 -x3056 -x3054 -x3052 -x3050 -x3048 -x3046 -x3044 -x3042 -x3040 -x56 -x3038
1800.06/1800.53 v -x3036 -x3034 -x3032 -x3030 -x3028 -x3026 -x3024 -x3022 -x3020 -x3018 -x3016 -x3014 -x3012 -x3010 -x55 -x3008 -x3006 -x3004
1800.06/1800.53 v -x3002 -x3000 -x2998 -x2996 -x2993 -x2991 -x2989 -x2987 -x2985 -x2983 -x2981 -x54 -x2979 -x2977 -x2975 -x2973 -x2971 -x2969
1800.06/1800.53 v -x2967 -x2965 -x2963 -x2961 -x2959 -x2957 -x2955 -x2953 -x2950 -x2948 -x2946 -x2944 -x2942 -x2940 -x2938 -x2936 -x2934 -x2932
1800.06/1800.53 v -x2930 -x2928 -x2926 -x2924 -x2922 -x2920 -x53 -x2918 -x2916 -x2914 -x52 -x2912 -x2910 -x2908 -x2906 -x2904 -x2902 -x2900 -x51
1800.06/1800.53 v -x2898 -x2896 -x2894 -x2892 -x2890 -x2887 -x50 -x2885 -x2883 -x2881 -x2879 -x2877 -x2875 -x49 -x2873 -x2871 -x2869 -x2867
1800.06/1800.53 v -x2865 -x2863 -x2861 -x2859 -x2857 -x2855 -x2853 -x2851 -x2849 -x2847 -x2845 -x48 -x2843 -x2841 -x2839 -x2837 -x2835 -x2833
1800.06/1800.53 v -x2831 -x47 -x2829 -x2827 -x2825 -x2823 -x2821 -x2819 -x2817 -x2815 -x2813 -x2811 -x2809 -x2807 -x2805 -x2803 -x2801 -x46 -x2799
1800.06/1800.53 v -x2797 -x2795 -x2793 -x2791 -x2789 -x2787 -x2785 -x2783 -x2781 -x2779 -x2777 -x2775 -x2773 -x2771 -x45 -x2769 -x2767 -x2765
1800.06/1800.53 v -x2763 -x2761 -x2759 -x2757 -x2755 -x2753 -x2751 -x2749 -x2747 -x2745 -x2743 -x2741 -x2739 -x2737 -x2735 -x2733 -x2731 -x2729
1800.06/1800.53 v -x2727 -x2725 -x2723 -x2721 -x2719 -x2717 -x2715 -x2713 -x2711 -x2709 -x44 -x2707 -x2705 -x2703 -x2701 -x2699 -x2697 -x2695
1800.06/1800.53 v -x43 -x2693 -x2691 -x2689 -x2687 -x2685 -x2683 -x2681 -x2679 -x2677 -x2675 -x2673 -x2671 -x2669 -x2667 -x2665 -x42 -x2663
1800.06/1800.53 v -x2661 -x2659 -x2657 -x2655 -x2653 -x2651 -x2649 -x2647 -x2645 -x2643 -x2641 -x2639 -x2637 -x2635 -x41 -x2633 -x2631 -x2629 -x2627
1800.06/1800.53 v -x2625 -x2623 -x2621 -x2619 -x2617 -x2615 -x2613 -x2611 -x2609 -x2607 -x2605 -x2603 -x2601 -x2599 -x2597 -x2595 -x2593
1800.06/1800.53 v -x2591 -x2589 -x2587 -x2584 -x2582 -x2580 -x2578 -x2576 -x2574 -x40 -x2571 -x2569 -x2567 -x2565 -x2563 -x2561 -x2559 -x2557 -x2555
1800.06/1800.53 v -x2553 -x2551 -x2549 -x2547 -x2545 -x39 -x2543 -x2541 -x2539 -x2537 -x2535 -x2533 -x2531 -x2529 -x2527 -x2525 -x2522 -x2520
1800.06/1800.53 v -x2518 -x2516 -x2514 -x2512 -x2510 -x2508 -x2506 -x2504 -x2502 -x2500 -x2498 -x2496 -x2494 -x2492 -x2490 -x2488 -x2486 -x2484
1800.06/1800.53 v -x38 -x2482 -x2480 -x2478 -x2476 -x2474 -x2472 -x2470 -x2468 -x2466 -x2464 -x2462 -x2460 -x2458 -x2456 -x2454 -x2452 -x2450
1800.06/1800.53 v -x2448 -x2446 -x2444 -x2442 -x2440 -x2438 -x2436 -x2434 -x2432 -x2430 -x2428 -x2426 -x2424 -x2422 -x37 -x2420 -x2418 -x2416
1800.06/1800.53 v -x2414 -x2412 -x2410 -x2408 -x2406 -x2404 -x2402 -x2400 -x2398 -x2396 -x2394 -x2392 -x2390 -x2388 -x2386 -x2384 -x2382 -x2380
1800.06/1800.53 v -x2378 -x2376 -x2374 -x2372 -x2370 -x2368 -x2366 -x2364 -x2362 -x2360 -x2358 -x2356 -x2354 -x2352 -x2350 -x2348 -x2346 -x2344
1800.06/1800.53 v -x2342 -x2340 -x2338 -x2336 -x2334 -x2332 -x2330 -x2328 -x2326 -x2324 -x2322 -x2320 -x2318 -x2316 -x2314 -x2312 -x2310
1800.06/1800.53 v -x2308 -x2306 -x2304 -x2302 -x2300 -x2298 -x2296 -x36 -x2294 -x2292 x2290 -x2288 -x2286 -x2284 -x2282 -x2280 -x2277 -x35 -x2275
1800.06/1800.53 v -x2273 -x2271 -x2269 -x2267 -x2265 -x2263 -x34 -x2260 -x2258 -x2256 -x2254 -x2251 -x33 -x2249 -x2247 -x2245 -x2243 -x2241
1800.06/1800.53 v -x2239 -x2237 -x2234 -x2232 -x2230 -x2228 -x2226 -x2224 -x2222 -x32 -x2220 -x2217 -x2215 -x2213 -x2211 -x2209 -x31 -x2207 -x2205
1800.06/1800.53 v -x2203 -x2201 -x2199 -x2197 -x2195 -x2193 -x2191 -x2189 -x2187 -x2185 -x2183 -x2181 -x2179 -x30 -x2177 -x2175 -x2173 -x2171
1800.06/1800.53 v -x2169 -x2167 -x2165 -x2163 -x2161 -x2159 -x2157 -x2155 -x2153 -x2151 -x2149 x2147 -x2145 -x2143 -x2141 -x2139 -x2137 -x2135
1800.06/1800.53 v -x2133 -x2131 -x2129 -x2127 -x2125 -x2123 -x2121 -x2119 -x29 -x2117 -x2115 -x2113 -x2111 -x2109 -x2107 -x2105 -x2103 -x2101
1800.06/1800.53 v -x2099 -x2097 -x2095 -x2093 -x2090 -x2088 -x2085 -x2083 -x2081 -x2079 -x2077 -x2075 -x2073 -x2071 -x2069 -x2067 -x2065 -x2063
1800.06/1800.53 v -x2061 -x2059 -x28 -x2057 -x2055 -x2052 -x2050 -x2048 -x2046 -x27 -x2044 -x2042 -x2040 -x2038 -x2036 -x2034 -x2032 -x2030
1800.06/1800.53 v -x2027 -x2025 -x2023 -x2021 -x2019 -x2017 -x26 -x2015 -x2013 -x2011 -x2009 -x2007 -x2005 -x2003 -x2001 -x1999 -x1997 -x1995 -x1993
1800.06/1800.53 v -x1991 -x1989 -x1987 -x25 -x1985 -x1983 -x1981 -x1979 -x1977 -x1975 -x1973 -x1971 -x1969 -x1967 -x1965 -x1963 -x1961 -x1959
1800.06/1800.53 v -x1957 -x24 -x1955 -x1953 -x1951 -x1949 -x1947 -x1945 -x1943 -x1941 -x1939 -x1937 -x1935 -x1933 -x1931 -x1929 -x1927 -x1925
1800.06/1800.53 v -x1923 -x1921 -x1919 -x1917 -x1915 -x1913 -x1911 -x1909 -x1907 -x1905 -x1903 -x1901 -x1899 -x1897 -x1895 -x23 -x1893 -x1891
1800.06/1800.53 v -x1889 -x1887 -x1885 -x1883 -x1881 -x1879 -x1877 -x1875 -x1873 -x1871 -x1869 -x1867 -x1865 -x22 -x1863 -x1861 -x1859 x1857
1800.06/1800.53 v -x1855 -x1853 -x1851 -x1849 -x1847 -x1845 -x1843 -x1841 -x1839 -x1837 -x1835 -x1833 -x1831 -x1829 -x1827 -x1825 -x1823 -x1821
1800.06/1800.53 v -x1819 -x1817 -x1815 -x1813 -x1811 -x1809 -x1807 -x1805 -x1803 -x1801 -x1799 -x1797 -x1794 -x1792 -x1790 -x1788 -x1786 -x1784
1800.06/1800.53 v -x1782 -x1780 -x1778 -x1776 -x1774 -x1772 -x1770 -x1768 -x1766 -x1764 -x1762 -x1760 -x1758 -x1756 -x1754 -x1752 -x1750 -x1748
1800.06/1800.53 v -x1746 -x1744 -x21 -x1742 -x1740 -x1738 -x1736 -x1734 -x1732 -x1730 -x1728 -x1726 -x1724 -x1722 -x1720 -x1718 -x1716 -x1714
1800.06/1800.53 v -x1712 -x1710 -x1708 -x1706 -x1704 -x1702 -x1700 -x1698 -x1696 -x1694 -x1692 -x1690 -x1688 -x1686 -x1684 -x1682 -x20 -x1680
1800.06/1800.53 v -x1678 -x1676 -x1674 -x1672 -x1670 -x1668 -x1666 -x1664 -x1662 -x1660 -x1658 -x1656 -x1654 -x1652 -x1650 -x1648 -x1646 -x1644
1800.06/1800.53 v -x1642 -x1640 -x1638 -x1636 -x1634 -x1632 -x1630 -x1628 -x1626 -x1624 -x1622 -x1620 -x1618 -x1616 -x1614 -x1612 -x1610 -x1608
1800.06/1800.53 v -x1606 -x1604 -x1602 -x1600 -x1598 -x1596 -x1594 -x1592 -x1590 -x1588 -x1586 -x1584 -x1582 -x1580 -x1578 -x1576 -x1574 -x1572
1800.06/1800.53 v -x1570 -x1568 -x1566 -x1564 -x1562 -x1560 -x1558 -x1556 -x19 -x1554 -x1552 -x1550 -x1548 -x1545 -x1543 -x18 -x1541 -x1539
1800.06/1800.53 v -x1537 -x1535 -x1533 -x1531 -x1529 -x1527 -x1525 -x1523 -x1521 -x1519 -x1517 -x1515 -x1513 -x17 -x1511 -x1509 -x1507 -x1505
1800.06/1800.53 v -x1503 -x1501 -x1499 -x1497 -x1495 -x1493 -x1491 -x1489 -x1487 -x1485 -x1483 -x16 -x1481 -x1479 -x1477 -x1475 -x1473 -x1471
1800.06/1800.53 v -x1469 -x1467 -x1465 -x1463 -x1461 -x1459 -x1457 -x1455 -x1453 -x1451 -x1449 -x1447 -x1445 -x1443 -x1441 -x1439 -x1437 -x1435
1800.06/1800.53 v -x1433 -x1431 -x1429 -x1427 -x1425 -x1423 -x1421 -x15 -x1419 -x1417 -x1415 -x1413 -x1411 -x1409 -x1407 -x1405 -x1403 -x1401
1800.06/1800.53 v -x1399 -x1397 -x1395 -x1393 -x1391 -x14 -x1389 -x1387 -x1385 -x1383 -x1381 -x1378 -x1376 -x1374 -x1372 -x1370 -x1368 -x1366 -x1364
1800.06/1800.53 v -x1362 -x1360 -x1358 -x1356 -x1354 -x1352 -x1350 -x1348 -x1346 -x1344 -x1342 -x1340 -x1338 -x1336 -x1334 -x1332 -x1330
1800.06/1800.53 v -x13 -x1328 -x1326 -x1324 -x1322 -x1320 -x1318 -x1316 -x1314 -x1312 -x1310 -x1308 -x1306 -x1304 -x1302 -x1300 -x1298 -x1296 -x1294
1800.06/1800.53 v -x1292 -x1290 -x1288 -x1286 -x1284 -x1282 -x1280 -x1278 -x1276 -x1274 -x1272 -x1270 -x1268 -x12 -x1266 -x1264 -x1262 -x1260
1800.06/1800.53 v -x1258 -x1256 -x1254 -x1252 -x1250 -x1248 -x1246 -x1244 -x1242 -x1240 -x1238 -x1236 -x1234 -x1232 -x1230 -x1228 -x1226 -x1224
1800.06/1800.53 v -x1222 -x1220 -x1218 -x1216 -x1214 -x1212 -x1210 -x1208 -x1206 -x1204 -x1202 -x1200 -x1198 -x1196 -x1194 -x1192 -x1190
1800.06/1800.53 v -x1188 -x1186 -x1184 -x1182 -x1180 -x1178 -x1176 -x1174 -x1172 -x1170 -x1168 -x1166 -x1164 -x1162 -x1160 -x1158 -x1156 -x1154
1800.06/1800.53 v -x1152 -x1150 -x1148 -x1146 -x1144 -x1142 -x11 -x1140 -x1138 -x1136 -x1134 -x1132 -x1130 -x1128 -x1126 -x1124 -x1122 -x1120
1800.06/1800.53 v -x1118 -x1116 -x1114 -x1112 -x10 -x1110 -x1108 -x1106 -x1104 -x1102 -x1100 -x1098 -x1096 -x1094 -x1092 -x1090 -x1088 -x1086 -x1084
1800.06/1800.53 v -x1082 -x1080 -x1078 -x1076 -x1074 -x1072 -x1070 -x1068 -x1066 -x1064 -x1062 -x1060 -x1058 -x1056 -x1054 -x1052 -x1050
1800.06/1800.53 v -x9 -x1048 -x1046 -x1044 -x1042 -x1040 -x1038 -x1036 -x1034 -x1032 -x1030 -x1028 -x1026 -x1024 -x1022 -x1020 -x1018 -x1016 -x1014
1800.06/1800.53 v -x1012 -x1010 -x1008 -x1006 -x1004 -x1002 -x1000 -x998 -x996 -x994 -x992 -x990 -x988 -x8 -x986 -x984 -x982 -x980 -x978 -x976
1800.06/1800.53 v -x973 -x971 -x969 -x967 -x965 -x963 -x961 -x959 -x957 -x955 -x953 -x951 -x949 -x947 -x945 -x943 -x941 -x939 -x937 -x935
1800.06/1800.53 v -x933 -x931 -x929 -x927 -x925 -x923 -x921 -x919 -x917 -x915 -x913 -x911 -x909 -x907 -x905 -x903 -x901 -x899 -x897 -x895 -x893
1800.06/1800.53 v -x891 -x889 -x887 -x885 -x883 -x881 -x879 -x877 -x875 -x873 -x871 -x869 -x867 -x865 -x863 -x7 -x861 -x859 -x857 -x855 -x853
1800.06/1800.53 v -x851 -x849 -x847 -x845 -x843 -x841 -x839 -x837 -x835 -x833 -x831 -x829 -x827 -x825 -x823 -x821 -x819 -x817 -x815 -x813 -x811
1800.06/1800.53 v -x809 -x807 -x805 -x803 -x801 -x6 -x799 -x797 -x795 -x793 -x791 -x789 -x787 -x785 -x783 -x781 -x779 -x777 -x775 -x773 -x771
1800.06/1800.53 v -x769 -x767 -x765 -x763 -x761 -x759 -x757 -x755 -x753 -x751 -x749 -x747 -x745 -x743 -x741 -x739 -x737 -x735 -x733 -x731 -x729
1800.06/1800.53 v -x727 -x725 -x723 -x721 -x719 -x717 -x715 -x713 -x711 -x709 -x707 -x705 -x703 -x701 -x699 -x697 -x695 -x693 -x691 -x689 -x687
1800.06/1800.53 v -x685 -x683 -x681 -x679 -x677 -x675 -x5 -x673 -x671 -x669 -x667 -x665 -x663 -x661 -x659 -x657 -x655 -x653 -x651 -x649 -x647
1800.06/1800.53 v -x645 -x643 -x641 -x639 -x637 -x635 -x633 -x631 -x628 -x626 -x624 -x622 -x620 -x618 -x616 -x614 -x612 -x610 -x608 -x606 -x604
1800.06/1800.53 v -x602 -x600 -x598 -x596 -x594 -x592 -x590 -x588 -x586 -x584 -x582 -x580 -x578 -x576 -x574 -x572 -x570 -x568 -x566 -x564 -x562
1800.06/1800.53 v -x560 -x558 -x556 -x554 -x552 -x550 -x4 -x548 -x546 -x544 -x542 -x540 -x538 -x536 -x534 -x532 -x530 -x528 -x526 -x524 -x522
1800.06/1800.53 v -x520 -x518 -x516 -x514 -x512 -x510 -x508 -x506 -x504 -x502 -x500 -x498 -x496 -x494 x492 -x490 -x488 -x486 -x484 -x482 -x480
1800.06/1800.53 v -x478 -x476 -x474 -x472 -x470 -x468 -x466 -x464 -x462 -x460 -x458 -x456 -x454 -x452 -x450 -x448 -x446 -x444 -x442 -x440 -x438
1800.06/1800.53 v -x436 -x434 -x432 -x430 -x428 -x426 -x424 -x422 -x420 -x418 -x416 -x414 -x412 -x410 -x408 -x406 -x404 -x402 -x400 -x398 -x396
1800.06/1800.53 v -x394 -x392 -x390 -x388 -x386 -x384 -x382 -x380 -x378 -x376 -x374 -x372 -x370 -x368 -x366 -x364 -x362 -x360 -x358 -x356 -x354
1800.06/1800.53 v -x352 -x350 -x348 -x346 -x344 -x342 -x340 -x338 -x336 -x334 -x332 -x330 -x328 -x326 -x324 -x322 -x320 -x318 -x316 -x314
1800.06/1800.53 v -x312 -x310 -x308 -x306 -x304 -x302 -x300 -x298 -x296 -x294 -x3 -x292 -x290 -x288 x286 -x284 -x282 -x280 -x278 -x276 -x274 -x272
1800.06/1800.53 v -x270 -x268 -x266 -x2 -x264 -x262 -x260 -x258 -x256 -x254 -x252 -x1 -x250 -x248 x246 -x244 -x242 -x240 -x238 -x236 -x234
1800.06/1800.53 v -x232 -x230 -x227 -x225 -x223 -x221 -x219 -x217 -x215 -x213 -x211 x209 -x207 -x205 -x203 -x201 -x199 -x197 -x195 -x193 -x191
1800.06/1800.53 v x6080 x6079 -x6078 -x6076 x6074 -x6073 -x6071 -x6069 -x6067 -x6065 -x6063 -x6061 -x6059 -x6057 -x6055 -x6053 -x6051 x6049 -x6048
1800.06/1800.53 v -x6046 x6044 -x6042 x6040 -x6038 -x6036 -x6034 -x6032 -x6030 -x6028 -x6026 -x6024 -x6022 -x6020 -x6018 -x6016 -x6014 -x6012
1800.06/1800.53 v -x6010 -x6008 -x6006 -x6004 -x6002 -x6000 -x5998 -x5996 -x5994 -x5992 -x5990 -x5988 -x5986 -x5984 -x5982 -x5980 -x5978 -x5976
1800.06/1800.53 v -x5974 -x5972 -x5970 -x5968 -x5966 -x5964 -x5963 -x5961 -x5959 -x5957 -x5955 -x5953 -x5951 -x5949 -x5947 -x5945 -x5943 -x5941
1800.06/1800.53 v -x5939 -x5937 -x5935 -x5933 -x5931 -x5929 -x5927 -x5925 -x5923 -x5921 -x5919 -x5917 -x5915 -x5913 -x5911 -x5909 -x5907 -x5905
1800.06/1800.53 v -x5903 -x5901 -x5899 -x5897 -x5895 -x5893 -x5891 -x5889 -x5887 -x5885 -x5883 -x5881 -x5879 -x5877 -x5875 -x5873 -x5871
1800.06/1800.53 v -x5869 -x5867 -x5865 -x5863 -x5861 -x5859 -x5857 -x5855 -x5853 -x5851 -x5849 -x5847 -x5845 -x5843 -x5841 -x5839 -x5837 -x5835
1800.06/1800.53 v -x5833 -x5831 -x5829 -x5827 -x5825 -x5823 -x5821 -x5819 -x5817 -x5815 -x5813 -x5811 -x5809 -x5807 -x5805 x5803 -x5801 -x5799
1800.06/1800.53 v -x5797 -x5795 -x5793 -x5792 -x5790 -x5788 -x5786 -x5784 -x5782 -x5780 -x5778 -x5776 -x5774 -x5772 -x5770 -x5768 -x5766 -x5764
1800.06/1800.53 v -x5762 -x5760 -x5758 -x5756 -x5754 -x5752 -x5750 -x5748 -x5746 -x5745 x5743 -x5741 -x5739 -x5737 -x5736 -x5734 -x5732 -x5730
1800.06/1800.53 v -x5728 -x5726 -x5724 -x5722 -x5720 -x5718 -x5716 -x5714 -x5712 -x5710 -x5708 -x5706 -x5704 -x5702 -x5700 -x5698 -x5696 -x5694
1800.06/1800.53 v -x5692 -x5690 -x5688 -x5686 -x5684 x5682 x5681 -x5679 -x5677 -x5675 -x5673 x5671 -x5669 -x5667 -x5665 -x5663 -x5661 -x5659
1800.06/1800.53 v -x5658 -x5656 -x5654 -x5652 -x5650 -x5648 -x5646 -x5644 -x5642 -x5640 -x5638 -x5636 -x5634 -x5633 -x5631 -x5629 -x5627 -x5625
1800.06/1800.53 v -x5623 -x5621 -x5619 -x5617 -x5615 -x5613 -x5611 -x5609 -x5607 -x5605 -x5603 -x5601 -x5599 -x5597 -x5595 -x5593 -x5591 -x5589
1800.06/1800.53 v -x5587 -x5585 -x5583 -x5581 -x5579 -x5577 -x5575 x5573 -x5571 -x5569 -x5567 -x5566 -x5564 -x5562 -x5560 -x5558 -x5556 -x5554
1800.06/1800.53 v -x5552 -x5550 -x5548 -x5546 -x5544 -x5542 -x5540 -x5538 -x5536 -x5534 -x5532 -x5530 -x5528 -x5526 -x5524 -x5522 -x5520 -x5518
1800.06/1800.53 v -x5516 -x5514 -x5512 -x5510 -x5508 -x5506 -x5504 -x5502 -x5500 -x5498 -x5496 -x5494 -x5492 -x5490 -x5488 -x5486 -x5484 -x5482
1800.06/1800.53 v -x5480 -x5478 -x5476 -x5474 -x5472 -x5470 -x5468 -x5466 -x5464 -x5462 -x5460 -x5458 -x5456 -x5454 -x5452 -x5450 -x5448 -x5446
1800.06/1800.53 v -x5444 x5442 -x5440 -x5438 -x5436 -x5434 -x5432 -x5430 -x5428 -x5426 -x5424 -x5422 -x5420 -x5418 -x5416 -x5414 -x5412 -x5410
1800.06/1800.53 v -x5408 -x5406 -x5404 -x5402 -x5400 -x5398 -x5396 -x5394 -x5393 -x5391 -x5389 -x5387 -x5385 -x5383 -x5381 -x5379 -x5377
1800.06/1800.53 v -x5375 -x5373 -x5371 -x5369 -x5367 x5365 -x5363 -x5361 -x5359 -x5357 -x5355 -x5353 -x5351 -x5349 -x5347 -x5345 -x5343 -x5341
1800.06/1800.53 v -x5339 -x5337 -x5335 -x5333 -x5331 -x5329 -x5327 -x5325 -x5323 -x5321 -x5319 -x5317 -x5315 -x5313 -x5311 -x5309 -x5307 -x5305
1800.06/1800.53 v -x5303 -x5301 -x5299 -x5297 -x5295 -x5293 -x5291 -x5289 -x5287 -x5286 -x5284 -x5282 -x5280 -x5278 -x5276 -x5274 -x5272 -x5270
1800.06/1800.53 v -x5268 -x5266 -x5264 -x5262 -x5260 -x5258 -x5256 -x5254 -x5252 -x5251 -x5249 -x5247 -x5245 -x5243 -x5241 -x5239 -x5237 -x5235
1800.06/1800.53 v -x5233 -x5231 -x5229 -x5227 -x5226 -x5224 -x5222 -x5220 -x5218 -x5216 -x5214 -x5212 -x5210 -x5208 -x5206 -x5204 -x5203 -x5201
1800.06/1800.53 v -x5199 -x5197 -x5195 -x5193 -x5191 -x5189 -x5187 -x5185 -x5183 -x5181 -x5179 -x5177 -x5175 -x5173 -x5171 -x5169 -x5167 -x5165
1800.06/1800.53 v -x5164 -x5162 -x5160 -x5158 -x5156 -x5154 -x5152 -x5150 -x5148 -x5146 -x5144 -x5142 -x5140 -x5138 -x5136 -x5134 -x5132 -x5130
1800.06/1800.53 v -x5128 -x5126 -x5124 -x5122 -x5120 -x5118 -x5116 -x5114 -x5112 -x5110 -x5108 -x5106 -x5104 -x5102 -x5100 -x5098 -x5096
1800.06/1800.53 v -x5094 -x5092 -x5090 -x5088 -x5086 -x5084 -x5082 -x5080 -x5078 -x5076 -x5074 -x5072 -x5070 -x5068 -x5066 -x5064 -x5062 -x5060
1800.06/1800.53 v -x5058 -x5056 -x5054 -x5052 -x5050 -x5048 -x5046 -x5044 -x5042 -x5040 -x5038 -x5036 -x5034 -x5032 -x5030 -x5028 -x5026 -x5024
1800.06/1800.53 v -x5022 -x5020 -x5018 -x5016 -x5014 -x5012 -x5010 -x5008 -x5006 -x5004 -x5002 -x5000 -x4998 -x4996 -x4994 -x4992 -x4990 x4988
1800.06/1800.53 v -x4986 -x4984 -x4982 -x4980 -x4978 -x4976 -x4975 -x4973 -x4971 -x4969 -x4967 -x4965 -x4963 -x4961 -x4959 -x4957 -x4955 -x4953
1800.06/1800.53 v -x4951 -x4949 -x4947 -x4945 -x4943 -x4941 -x4939 -x4937 -x4935 -x4933 -x4931 -x4929 -x4927 -x4925 -x4923 -x4921 -x4919 -x4917
1800.06/1800.53 v -x4915 -x4913 -x4911 -x4909 -x4907 -x4905 -x4903 x4901 -x4899 -x4897 -x4895 -x4893 -x4891 -x4889 -x4887 -x4885 -x4883 -x4881
1800.06/1800.53 v -x4879 -x4877 -x4876 -x4874 -x4872 -x4870 -x4868 -x4866 -x4864 -x4862 -x4860 -x4858 -x4856 -x4854 -x4852 -x4850 -x4848 -x4846
1800.06/1800.53 v -x4844 -x4842 -x4840 -x4838 -x4836 -x4834 -x4832 -x4830 -x4828 -x4826 -x4824 -x4822 -x4820 -x4818 -x4816 -x4814 -x4813 -x4811
1800.06/1800.53 v -x4809 -x4807 -x4805 -x4803 -x4801 -x4799 -x4797 -x4795 -x4793 -x4791 -x4789 -x4787 -x4785 -x4783 -x4781 -x4779 -x4777
1800.06/1800.53 v -x4775 -x4773 -x4771 -x4769 -x4767 -x4765 -x4763 -x4761 -x4759 -x4757 -x4755 -x4753 -x4751 -x4749 -x4747 -x4745 -x4743 -x4741
1800.06/1800.53 v -x4739 -x4737 -x4735 -x4733 -x4731 -x4729 -x4727 -x4725 -x4723 -x4721 -x4719 -x4717 -x4715 -x4713 -x4711 -x4709 -x4707 -x4705
1800.06/1800.53 v -x4703 -x4701 -x4699 -x4697 -x4695 -x4693 -x4692 -x4690 -x4688 -x4686 -x4684 -x4682 -x4680 -x4678 -x4676 -x4674 -x4672 -x4670
1800.06/1800.53 v -x4668 -x4666 -x4664 -x4662 -x4660 -x4658 -x4656 -x4654 -x4652 -x4650 -x4648 -x4646 -x4644 -x4642 -x4640 -x4638 -x4636 -x4634
1800.06/1800.53 v -x4632 -x4630 -x4628 -x4626 -x4624 -x4622 -x4620 -x4618 -x4616 -x4614 -x4612 -x4610 -x4608 -x4606 -x4604 -x4602 -x4600 -x4598
1800.06/1800.53 v -x4596 -x4594 -x4592 -x4590 -x4588 -x4586 -x4584 -x4582 -x4580 -x4578 -x4576 -x4574 -x4572 -x4570 -x4569 -x4567 -x4565 -x4563
1800.06/1800.53 v -x4561 -x4559 -x4557 -x4555 -x4553 -x4551 -x4549 -x4547 -x4545 -x4543 -x4541 -x4539 -x4537 -x4535 -x4533 -x4531 -x4529
1800.06/1800.53 v -x4527 -x4525 -x4523 -x4521 -x4519 -x4517 -x4515 -x4513 -x4511 -x4509 -x4507 -x4505 -x4503 -x4501 -x4499 -x4497 -x4495 -x4493
1800.06/1800.53 v -x4491 -x4489 -x4487 -x4485 -x4483 -x4481 -x4479 -x4477 -x4475 -x4473 -x4471 -x4469 -x4468 -x4466 -x4464 -x4462 -x4460 -x4459
1800.06/1800.53 v -x4457 -x4455 -x4453 -x4451 -x4449 -x4447 -x4445 -x4443 -x4441 -x4439 -x4437 -x4435 -x4433 -x4431 -x4429 -x4427 -x4425 -x4423
1800.06/1800.53 v -x4421 -x4419 -x4417 -x4415 -x4413 -x4411 -x4409 -x4407 -x4405 -x4403 -x4401 -x4399 -x4397 -x4395 -x4393 -x4391 -x4390 -x4388
1800.06/1800.53 v -x4386 -x4384 -x4382 -x4380 -x4378 -x4376 -x4374 -x4372 -x4370 -x4368 -x4366 -x4364 -x4362 -x4360 -x4358 -x4356 -x4354 -x4352
1800.06/1800.53 v -x4350 -x4348 -x4346 -x4344 -x4342 -x4340 -x4338 -x4336 -x4334 -x4332 -x4330 -x4328 -x4326 -x4324 -x4322 -x4320 -x4318 -x4316
1800.06/1800.53 v -x4314 -x4312 -x4310 -x4308 -x4306 -x4304 -x4302 -x4300 -x4298 -x4297 -x4295 -x4293 -x4291 -x4289 -x4287 -x4285 -x4283
1800.06/1800.53 v -x4281 -x4279 -x4277 -x4275 -x4273 -x4271 -x4269 -x4267 -x4265 -x4263 -x4261 -x4259 -x4257 -x4255 -x4253 -x4251 -x4249 -x4247
1800.06/1800.53 v -x4245 -x4243 -x4241 -x4239 -x4237 -x4235 -x4233 -x4231 -x4229 -x4227 -x4225 -x4223 -x4221 -x4219 -x4217 -x4215 -x4213 -x4211
1800.06/1800.53 v -x4209 -x4207 -x4205 -x4203 -x4201 -x4199 -x4197 -x4195 -x4193 -x4191 -x4189 -x4187 -x4185 -x4183 -x4181 -x4179 -x4177 -x4175
1800.06/1800.53 v -x4173 -x4171 -x4169 -x4167 -x4165 -x4163 -x4161 -x4159 -x4157 -x4155 -x4153 -x4152 -x4150 -x4148 -x4146 -x4144 -x4142 -x4140
1800.06/1800.53 v -x4138 -x4136 -x4134 -x4132 -x4130 -x4128 -x4126 -x4124 -x4122 -x4120 -x4118 -x4116 -x4114 -x4112 -x4110 -x4108 -x4106 -x4104
1800.06/1800.53 v -x4102 -x4100 -x4098 -x4096 -x4094 -x4092 -x4090 -x4088 -x4086 -x4085 -x4083 -x4081 -x4079 -x4077 -x4075 -x4073 -x4071 -x4069
1800.06/1800.53 v -x4067 -x4065 -x4063 -x4061 -x4059 -x4057 -x4055 -x4053 -x4051 -x4049 -x4047 -x4045 -x4043 -x4041 -x4039 -x4037 -x4035
1800.06/1800.53 v -x4033 -x4031 -x4029 -x4027 x4025 -x4023 -x4021 -x4020 -x4018 -x4016 -x4014 -x4012 -x4010 -x4008 -x4006 -x4004 -x4002 -x4000
1800.06/1800.53 v -x3998 -x3996 -x3994 -x3992 -x3990 -x3988 -x3986 -x3984 -x3982 -x3980 -x3978 -x3976 -x3974 -x3972 -x3970 -x3968 -x3966 -x3964
1800.06/1800.53 v -x3962 -x3960 -x3958 -x3956 -x3954 -x3952 -x3950 -x3948 -x3946 -x3944 -x3942 -x3940 -x3938 -x3936 -x3934 -x3932 -x3930 -x3928
1800.06/1800.53 v -x3926 -x3924 -x3922 -x3920 -x3919 -x3917 -x3915 -x3913 -x3911 -x3909 -x3907 -x3905 -x3903 -x3901 -x3899 -x3897 -x3895 -x3893
1800.06/1800.53 v -x3891 -x3889 -x3887 -x3885 -x3883 -x3881 -x3879 -x3877 -x3875 -x3873 -x3871 -x3869 -x3867 -x3865 -x3863 -x3861 -x3859 -x3857
1800.06/1800.53 v -x3855 -x3853 -x3851 -x3849 -x3847 -x3845 -x3843 -x3841 -x3839 -x3837 -x3835 -x3833 -x3831 -x3829 -x3827 -x3825 -x3823 -x3821
1800.06/1800.53 v -x3819 -x3817 -x3815 -x3813 -x3811 -x3809 -x3807 -x3805 -x3803 -x3801 -x3799 -x3797 -x3795 -x3793 -x3791 -x3789 -x3787 -x3785
1800.06/1800.53 v -x3783 -x3782 -x3780 -x3778 -x3776 -x3774 -x3772 -x3770 -x3768 -x3766 -x3764 -x3762 -x3760 -x3758 -x3756 -x3754 -x3752
1800.06/1800.53 v -x3750 -x3748 -x3746 -x3744 -x3742 -x3740 -x3738 -x3736 -x3734 -x3732 -x3730 -x3728 -x3726 -x3724 -x3722 -x3720 -x3718 -x3716
1800.06/1800.53 v -x3714 -x3712 -x3710 -x3708 -x3706 -x3704 -x3702 -x3700 x3698 -x3697 -x3695 -x3693 -x3691 -x3689 -x3687 -x3685 -x3683 -x3681
1800.06/1800.53 v -x3679 -x3677 -x3675 -x3673 -x3671 -x3669 -x3667 -x3665 -x3663 -x3661 -x3659 -x3657 -x3655 -x3653 -x3651 -x3649 -x3647 -x3645
1800.06/1800.53 v -x3643 -x3642 -x3640 -x3638 -x3636 -x3634 -x3632 -x3630 -x3628 -x3626 -x3624 -x3622 -x3620 -x3618 -x3616 -x3614 -x3612 -x3610
1800.06/1800.53 v -x3608 -x3606 -x3604 -x3602 -x3600 -x3598 -x3596 -x3594 -x3592 -x3590 -x3588 -x3586 -x3584 -x3582 -x3580 -x3578 -x3576 -x3574
1800.06/1800.53 v -x3572 -x3570 -x3568 -x3566 -x3564 -x3562 -x3560 -x3558 -x3556 -x3554 -x3552 -x3550 -x3549 -x3547 -x3545 -x3543 -x3541 -x3539
1800.06/1800.53 v -x3537 -x3535 -x3533 -x3531 -x3529 -x3527 -x3525 -x3523 -x3521 -x3519 -x3517 -x3516 -x3514 -x3512 x3510 -x3508 -x3506 -x3504
1800.06/1800.53 v -x3502 -x3500 -x3498 -x3496 -x3494 -x3492 -x3490 -x3488 -x3486 -x3484 -x3482 -x3480 -x3478 -x3476 -x3474 -x3472 -x3470 -x3468
1800.06/1800.53 v -x3466 -x3464 -x3462 -x3460 -x3458 -x3456 -x3454 -x3452 -x3450 -x3448 -x3446 -x3444 -x3442 -x3440 -x3438 -x3436 -x3434
1800.06/1800.53 v -x3432 -x3430 -x3428 -x3426 -x3424 -x3422 -x3420 -x3418 -x3416 -x3414 -x3412 x3410 -x3408 -x3406 -x3404 -x3402 -x3400 -x3398
1800.06/1800.53 v -x3396 -x3394 -x3392 -x3390 -x3388 -x3387 -x3385 -x3383 -x3381 -x3379 -x3377 -x3375 -x3373 -x3371 -x3369 -x3367 -x3365 -x3363
1800.06/1800.53 v -x3361 -x3359 -x3357 -x3355 -x3353 -x3351 -x3349 -x3347 -x3345 -x3343 -x3341 -x3339 -x3337 -x3335 -x3333 -x3331 -x3329 -x3327
1800.06/1800.53 v -x3325 -x3323 -x3321 -x3319 -x3317 -x3315 -x3313 -x3311 -x3309 -x3307 -x3305 -x3303 -x3301 -x3299 -x3297 -x3295 -x3293 x3291
1800.06/1800.53 v -x3289 -x3287 -x3285 -x3283 -x3281 -x3279 -x3277 -x3275 -x3273 -x3271 -x3269 -x3268 -x3266 -x3264 -x3262 -x3260 -x3258 -x3256
1800.06/1800.53 v -x3254 -x3252 -x3250 -x3248 -x3246 -x3244 -x3242 -x3240 -x3238 -x3236 -x3234 -x3232 -x3230 -x3228 -x3226 -x3224 -x3222 -x3220
1800.06/1800.53 v -x3218 -x3216 -x3214 -x3212 -x3210 -x3208 -x3206 -x3204 -x3202 -x3200 -x3198 -x3196 -x3194 -x3192 -x3190 -x3188 -x3186 -x3184
1800.06/1800.53 v -x3182 -x3180 -x3178 -x3176 -x3174 -x3172 -x3170 -x3168 -x3166 -x3164 -x3162 -x3160 -x3158 -x3156 -x3154 -x3152 -x3150 -x3148
1800.06/1800.53 v -x3146 -x3144 -x3142 -x3140 -x3138 -x3136 -x3134 -x3132 -x3130 -x3128 -x3126 -x3124 -x3122 -x3121 -x3119 -x3117 -x3115
1800.06/1800.53 v -x3113 -x3111 -x3109 -x3107 -x3105 -x3103 -x3101 -x3099 -x3097 -x3095 -x3093 -x3091 -x3089 -x3087 -x3085 -x3083 -x3081 -x3079
1800.06/1800.53 v -x3077 -x3075 -x3073 -x3071 -x3069 -x3067 -x3065 -x3063 -x3061 -x3059 -x3057 -x3055 -x3053 -x3051 -x3049 -x3047 -x3045 -x3043
1800.06/1800.53 v -x3041 -x3039 -x3037 -x3035 -x3033 -x3031 -x3029 -x3027 -x3025 -x3023 -x3021 -x3019 -x3017 -x3015 -x3013 -x3011 -x3009 -x3007
1800.06/1800.53 v -x3005 -x3003 -x3001 -x2999 -x2997 -x2995 -x2994 -x2992 -x2990 -x2988 -x2986 -x2984 -x2982 -x2980 -x2978 -x2976 -x2974 -x2972
1800.06/1800.53 v -x2970 -x2968 -x2966 -x2964 -x2962 -x2960 -x2958 -x2956 -x2954 -x2952 -x2951 -x2949 -x2947 -x2945 -x2943 -x2941 -x2939 -x2937
1800.06/1800.53 v -x2935 -x2933 -x2931 -x2929 -x2927 -x2925 -x2923 -x2921 -x2919 -x2917 -x2915 -x2913 -x2911 -x2909 -x2907 -x2905 -x2903 -x2901
1800.06/1800.53 v -x2899 -x2897 -x2895 -x2893 -x2891 -x2889 -x2888 -x2886 -x2884 -x2882 -x2880 -x2878 -x2876 -x2874 -x2872 -x2870 -x2868
1800.06/1800.53 v -x2866 -x2864 -x2862 -x2860 -x2858 -x2856 -x2854 -x2852 -x2850 -x2848 -x2846 -x2844 -x2842 -x2840 -x2838 -x2836 -x2834 -x2832
1800.06/1800.53 v -x2830 -x2828 -x2826 -x2824 -x2822 -x2820 -x2818 -x2816 -x2814 -x2812 -x2810 -x2808 -x2806 -x2804 -x2802 -x2800 -x2798 -x2796
1800.06/1800.53 v -x2794 -x2792 -x2790 -x2788 -x2786 -x2784 -x2782 -x2780 -x2778 -x2776 -x2774 -x2772 -x2770 -x2768 -x2766 -x2764 -x2762 -x2760
1800.06/1800.53 v -x2758 -x2756 -x2754 -x2752 -x2750 -x2748 -x2746 -x2744 -x2742 -x2740 -x2738 -x2736 -x2734 -x2732 -x2730 -x2728 -x2726 -x2724
1800.06/1800.53 v -x2722 -x2720 -x2718 -x2716 -x2714 -x2712 -x2710 -x2708 -x2706 -x2704 -x2702 -x2700 -x2698 -x2696 -x2694 -x2692 -x2690 -x2688
1800.06/1800.53 v -x2686 -x2684 -x2682 -x2680 -x2678 -x2676 -x2674 -x2672 -x2670 -x2668 -x2666 -x2664 -x2662 -x2660 -x2658 -x2656 -x2654 -x2652
1800.06/1800.53 v -x2650 -x2648 -x2646 -x2644 -x2642 -x2640 -x2638 -x2636 -x2634 -x2632 -x2630 -x2628 -x2626 -x2624 -x2622 -x2620 -x2618
1800.06/1800.53 v -x2616 -x2614 -x2612 -x2610 -x2608 -x2606 -x2604 -x2602 -x2600 -x2598 -x2596 -x2594 -x2592 -x2590 -x2588 -x2586 -x2585 -x2583
1800.06/1800.53 v -x2581 -x2579 -x2577 -x2575 -x2573 -x2572 -x2570 -x2568 -x2566 -x2564 -x2562 -x2560 -x2558 -x2556 -x2554 -x2552 -x2550 -x2548
1800.06/1800.53 v -x2546 -x2544 -x2542 -x2540 -x2538 -x2536 -x2534 -x2532 -x2530 -x2528 -x2526 -x2524 -x2523 -x2521 -x2519 -x2517 -x2515 -x2513
1800.06/1800.53 v -x2511 -x2509 -x2507 -x2505 -x2503 -x2501 -x2499 -x2497 -x2495 -x2493 -x2491 -x2489 -x2487 -x2485 -x2483 -x2481 -x2479 -x2477
1800.06/1800.53 v -x2475 -x2473 -x2471 -x2469 -x2467 -x2465 -x2463 -x2461 -x2459 -x2457 -x2455 -x2453 -x2451 -x2449 -x2447 -x2445 -x2443 -x2441
1800.06/1800.53 v -x2439 -x2437 -x2435 -x2433 -x2431 -x2429 -x2427 -x2425 -x2423 -x2421 -x2419 -x2417 -x2415 -x2413 -x2411 -x2409 -x2407 -x2405
1800.06/1800.53 v -x2403 -x2401 -x2399 -x2397 -x2395 -x2393 -x2391 -x2389 -x2387 -x2385 -x2383 -x2381 -x2379 -x2377 -x2375 -x2373 -x2371
1800.06/1800.53 v -x2369 -x2367 -x2365 -x2363 -x2361 -x2359 -x2357 -x2355 -x2353 -x2351 -x2349 -x2347 -x2345 -x2343 -x2341 -x2339 -x2337 -x2335
1800.06/1800.53 v -x2333 -x2331 -x2329 -x2327 -x2325 -x2323 -x2321 -x2319 -x2317 -x2315 -x2313 -x2311 -x2309 -x2307 -x2305 -x2303 -x2301 -x2299
1800.06/1800.53 v -x2297 -x2295 -x2293 x2291 -x2289 -x2287 -x2285 -x2283 -x2281 -x2279 -x2278 -x2276 -x2274 -x2272 -x2270 -x2268 -x2266 -x2264
1800.06/1800.53 v -x2262 -x2261 -x2259 -x2257 -x2255 -x2253 -x2252 -x2250 -x2248 -x2246 -x2244 -x2242 -x2240 -x2238 -x2236 -x2235 -x2233 -x2231
1800.06/1800.53 v -x2229 -x2227 -x2225 -x2223 -x2221 -x2219 -x2218 -x2216 -x2214 -x2212 -x2210 -x2208 -x2206 -x2204 -x2202 -x2200 -x2198 -x2196
1800.06/1800.53 v -x2194 -x2192 -x2190 -x2188 -x2186 -x2184 -x2182 -x2180 -x2178 -x2176 -x2174 -x2172 -x2170 -x2168 -x2166 -x2164 -x2162 -x2160
1800.06/1800.53 v -x2158 -x2156 -x2154 -x2152 -x2150 x2148 -x2146 -x2144 -x2142 -x2140 -x2138 -x2136 -x2134 -x2132 -x2130 -x2128 -x2126 -x2124
1800.06/1800.53 v -x2122 -x2120 -x2118 -x2116 -x2114 -x2112 -x2110 -x2108 -x2106 -x2104 -x2102 -x2100 -x2098 -x2096 -x2094 -x2092 -x2091 -x2089
1800.06/1800.53 v -x2087 -x2086 -x2084 -x2082 -x2080 -x2078 -x2076 -x2074 -x2072 -x2070 -x2068 -x2066 -x2064 -x2062 -x2060 -x2058 -x2056
1800.06/1800.53 v -x2054 -x2053 -x2051 -x2049 -x2047 -x2045 -x2043 -x2041 -x2039 -x2037 -x2035 -x2033 -x2031 -x2029 -x2028 -x2026 -x2024 -x2022
1800.06/1800.53 v -x2020 -x2018 -x2016 -x2014 -x2012 -x2010 -x2008 -x2006 -x2004 -x2002 -x2000 -x1998 -x1996 -x1994 -x1992 -x1990 -x1988 -x1986
1800.06/1800.53 v -x1984 -x1982 -x1980 -x1978 -x1976 -x1974 -x1972 -x1970 -x1968 -x1966 -x1964 -x1962 -x1960 -x1958 -x1956 -x1954 -x1952 -x1950
1800.06/1800.53 v -x1948 -x1946 -x1944 -x1942 -x1940 -x1938 -x1936 -x1934 -x1932 -x1930 -x1928 -x1926 -x1924 -x1922 -x1920 -x1918 -x1916 -x1914
1800.06/1800.53 v -x1912 -x1910 -x1908 -x1906 -x1904 -x1902 -x1900 -x1898 -x1896 -x1894 -x1892 -x1890 -x1888 -x1886 -x1884 -x1882 -x1880 -x1878
1800.06/1800.53 v -x1876 -x1874 -x1872 -x1870 -x1868 -x1866 -x1864 -x1862 -x1860 x1858 -x1856 -x1854 -x1852 -x1850 -x1848 -x1846 -x1844 -x1842
1800.06/1800.53 v -x1840 -x1838 -x1836 -x1834 -x1832 -x1830 -x1828 -x1826 -x1824 -x1822 -x1820 -x1818 -x1816 -x1814 -x1812 -x1810 -x1808 -x1806
1800.06/1800.53 v -x1804 -x1802 -x1800 -x1798 -x1796 -x1795 -x1793 -x1791 -x1789 -x1787 -x1785 -x1783 -x1781 -x1779 -x1777 -x1775 -x1773
1800.06/1800.53 v -x1771 -x1769 -x1767 -x1765 -x1763 -x1761 -x1759 -x1757 -x1755 -x1753 -x1751 -x1749 -x1747 -x1745 -x1743 -x1741 -x1739 -x1737
1800.06/1800.53 v -x1735 -x1733 -x1731 -x1729 -x1727 -x1725 -x1723 -x1721 -x1719 -x1717 -x1715 -x1713 -x1711 -x1709 -x1707 -x1705 -x1703 -x1701
1800.06/1800.53 v -x1699 -x1697 -x1695 -x1693 -x1691 -x1689 -x1687 -x1685 -x1683 -x1681 -x1679 -x1677 -x1675 -x1673 -x1671 -x1669 -x1667 -x1665
1800.06/1800.53 v -x1663 -x1661 -x1659 -x1657 -x1655 -x1653 -x1651 -x1649 -x1647 -x1645 -x1643 -x1641 -x1639 -x1637 -x1635 -x1633 -x1631 -x1629
1800.06/1800.53 v -x1627 -x1625 -x1623 -x1621 -x1619 -x1617 -x1615 -x1613 -x1611 -x1609 -x1607 -x1605 -x1603 -x1601 -x1599 -x1597 -x1595 -x1593
1800.06/1800.53 v -x1591 -x1589 -x1587 -x1585 -x1583 -x1581 -x1579 -x1577 -x1575 -x1573 -x1571 -x1569 -x1567 -x1565 -x1563 -x1561 -x1559 -x1557
1800.06/1800.53 v -x1555 -x1553 -x1551 -x1549 -x1547 -x1546 -x1544 -x1542 -x1540 -x1538 -x1536 -x1534 -x1532 -x1530 -x1528 -x1526 -x1524
1800.06/1800.53 v -x1522 -x1520 -x1518 -x1516 -x1514 -x1512 -x1510 -x1508 -x1506 -x1504 -x1502 -x1500 -x1498 -x1496 -x1494 -x1492 -x1490 -x1488
1800.06/1800.53 v -x1486 -x1484 -x1482 -x1480 -x1478 -x1476 -x1474 -x1472 -x1470 -x1468 -x1466 -x1464 -x1462 -x1460 -x1458 -x1456 -x1454 -x1452
1800.06/1800.53 v -x1450 -x1448 -x1446 -x1444 -x1442 -x1440 -x1438 -x1436 -x1434 -x1432 -x1430 -x1428 -x1426 -x1424 -x1422 -x1420 -x1418 -x1416
1800.06/1800.53 v -x1414 -x1412 -x1410 -x1408 -x1406 -x1404 -x1402 -x1400 -x1398 -x1396 -x1394 -x1392 -x1390 -x1388 -x1386 -x1384 -x1382 -x1380
1800.06/1800.53 v -x1379 -x1377 -x1375 -x1373 -x1371 -x1369 -x1367 -x1365 -x1363 -x1361 -x1359 -x1357 -x1355 -x1353 -x1351 -x1349 -x1347 -x1345
1800.06/1800.53 v -x1343 -x1341 -x1339 -x1337 -x1335 -x1333 -x1331 -x1329 -x1327 -x1325 -x1323 -x1321 -x1319 -x1317 -x1315 -x1313 -x1311 -x1309
1800.06/1800.53 v -x1307 -x1305 -x1303 -x1301 -x1299 -x1297 -x1295 -x1293 -x1291 -x1289 -x1287 -x1285 -x1283 -x1281 -x1279 -x1277 -x1275
1800.06/1800.53 v -x1273 -x1271 -x1269 -x1267 -x1265 -x1263 -x1261 -x1259 -x1257 -x1255 -x1253 -x1251 -x1249 -x1247 -x1245 -x1243 -x1241 -x1239
1800.06/1800.53 v -x1237 -x1235 -x1233 -x1231 -x1229 -x1227 -x1225 -x1223 -x1221 -x1219 -x1217 -x1215 -x1213 -x1211 -x1209 -x1207 -x1205 -x1203
1800.06/1800.53 v -x1201 -x1199 -x1197 -x1195 -x1193 -x1191 -x1189 -x1187 -x1185 -x1183 -x1181 -x1179 -x1177 -x1175 -x1173 -x1171 -x1169 -x1167
1800.06/1800.53 v -x1165 -x1163 -x1161 -x1159 -x1157 -x1155 -x1153 -x1151 -x1149 -x1147 -x1145 -x1143 -x1141 -x1139 -x1137 -x1135 -x1133 -x1131
1800.06/1800.53 v -x1129 -x1127 -x1125 -x1123 -x1121 -x1119 -x1117 -x1115 -x1113 -x1111 -x1109 -x1107 -x1105 -x1103 -x1101 -x1099 -x1097 -x1095
1800.06/1800.53 v -x1093 -x1091 -x1089 -x1087 -x1085 -x1083 -x1081 -x1079 -x1077 -x1075 -x1073 -x1071 -x1069 -x1067 -x1065 -x1063 -x1061 -x1059
1800.06/1800.53 v -x1057 -x1055 -x1053 -x1051 -x1049 -x1047 -x1045 -x1043 -x1041 -x1039 -x1037 -x1035 -x1033 -x1031 -x1029 -x1027 -x1025
1800.06/1800.53 v -x1023 -x1021 -x1019 -x1017 -x1015 -x1013 -x1011 -x1009 -x1007 -x1005 -x1003 -x1001 -x999 -x997 -x995 -x993 -x991 -x989 -x987
1800.06/1800.53 v -x985 -x983 -x981 -x979 -x977 -x975 -x974 -x972 -x970 -x968 -x966 -x964 -x962 -x960 -x958 -x956 -x954 -x952 -x950 -x948 -x946
1800.06/1800.53 v -x944 -x942 -x940 -x938 -x936 -x934 -x932 -x930 -x928 -x926 -x924 -x922 -x920 -x918 -x916 -x914 -x912 -x910 -x908 -x906 -x904
1800.06/1800.53 v -x902 -x900 -x898 -x896 -x894 -x892 -x890 -x888 -x886 -x884 -x882 -x880 -x878 -x876 -x874 -x872 -x870 -x868 -x866 -x864 -x862
1800.06/1800.53 v -x860 -x858 -x856 -x854 -x852 -x850 -x848 -x846 -x844 -x842 -x840 -x838 -x836 -x834 -x832 -x830 -x828 -x826 -x824 -x822 -x820
1800.06/1800.53 v -x818 -x816 -x814 -x812 -x810 -x808 -x806 -x804 -x802 -x800 -x798 -x796 -x794 -x792 -x790 -x788 -x786 -x784 -x782 -x780
1800.06/1800.53 v -x778 -x776 -x774 -x772 -x770 -x768 -x766 -x764 -x762 -x760 -x758 -x756 -x754 -x752 -x750 -x748 -x746 -x744 -x742 -x740 -x738
1800.06/1800.53 v -x736 -x734 -x732 -x730 -x728 -x726 -x724 -x722 -x720 -x718 -x716 -x714 -x712 -x710 -x708 -x706 -x704 -x702 -x700 -x698 -x696
1800.06/1800.53 v -x694 -x692 -x690 -x688 -x686 -x684 -x682 -x680 -x678 -x676 -x674 -x672 -x670 -x668 -x666 -x664 -x662 -x660 -x658 -x656 -x654
1800.06/1800.53 v -x652 -x650 -x648 -x646 -x644 -x642 -x640 -x638 -x636 -x634 -x632 -x630 -x629 -x627 -x625 -x623 -x621 -x619 -x617 -x615 -x613
1800.06/1800.53 v -x611 -x609 -x607 -x605 -x603 -x601 -x599 -x597 -x595 -x593 -x591 -x589 -x587 -x585 -x583 -x581 -x579 -x577 -x575 -x573 -x571
1800.06/1800.53 v -x569 -x567 -x565 -x563 -x561 -x559 -x557 -x555 -x553 -x551 -x549 -x547 -x545 -x543 -x541 -x539 -x537 -x535 -x533 -x531
1800.06/1800.53 v -x529 -x527 -x525 -x523 -x521 -x519 -x517 -x515 -x513 -x511 -x509 -x507 -x505 -x503 -x501 -x499 -x497 -x495 x493 -x491 -x489
1800.06/1800.53 v -x487 -x485 -x483 -x481 -x479 -x477 -x475 -x473 -x471 -x469 -x467 -x465 -x463 -x461 -x459 -x457 -x455 -x453 -x451 -x449 -x447
1800.06/1800.53 v -x445 -x443 -x441 -x439 -x437 -x435 -x433 -x431 -x429 -x427 -x425 -x423 -x421 -x419 -x417 -x415 -x413 -x411 -x409 -x407 -x405
1800.06/1800.53 v -x403 -x401 -x399 -x397 -x395 -x393 -x391 -x389 -x387 -x385 -x383 -x381 -x379 -x377 -x375 -x373 -x371 -x369 -x367 -x365 -x363
1800.06/1800.53 v -x361 -x359 -x357 -x355 -x353 -x351 -x349 -x347 -x345 -x343 -x341 -x339 -x337 -x335 -x333 -x331 -x329 -x327 -x325 -x323 -x321
1800.06/1800.53 v -x319 -x317 -x315 -x313 -x311 -x309 -x307 -x305 -x303 -x301 -x299 -x297 -x295 -x293 -x291 -x289 x287 -x285 -x283 -x281 -x279
1800.06/1800.53 v -x277 -x275 -x273 -x271 -x269 -x267 -x265 -x263 -x261 -x259 -x257 -x255 -x253 -x251 -x249 x247 -x245 -x243 -x241 -x239 -x237
1800.06/1800.53 v -x235 -x233 -x231 -x229 -x228 -x226 -x224 -x222 -x220 -x218 -x216 -x214 -x212 x210 -x208 -x206 -x204 -x202 -x200 -x198 -x196
1800.06/1800.53 v -x194 -x192
1800.06/1800.53 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.53 c Solving Time : 1738.43
1800.06/1800.53 c Original Problem :
1800.06/1800.53 c Problem name : HOME/instance-2663941-1276635873.opb
1800.06/1800.53 c Variables : 6080 (6080 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.53 c Constraints : 18113 initial, 18113 maximal
1800.06/1800.53 c Presolved Problem :
1800.06/1800.53 c Problem name : t_HOME/instance-2663941-1276635873.opb
1800.06/1800.53 c Variables : 2669 (2669 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.53 c Constraints : 10707 initial, 11185 maximal
1800.06/1800.53 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.06/1800.53 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.53 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.53 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.53 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.53 c implics : 0.01 0 0 0 0 0 0 0 0
1800.06/1800.53 c probing : 0.08 0 0 0 0 0 0 0 0
1800.06/1800.53 c linear : 0.22 487 2924 0 487 0 7406 0 0
1800.06/1800.53 c logicor : 0.08 0 0 0 0 0 0 0 0
1800.06/1800.53 c root node : - 0 - - 0 - - - -
1800.06/1800.53 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.06/1800.53 c integral : 0 0 0 0 0 0 0 0 0 0
1800.06/1800.53 c logicor : 10707+ 0 5272655 0 6 537883 8766630 0 0 0
1800.06/1800.53 c countsols : 0 0 0 0 6 0 0 0 0 0
1800.06/1800.53 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.06/1800.53 c integral : 0.00 0.00 0.00 0.00 0.00
1800.06/1800.53 c logicor : 357.42 0.00 357.40 0.00 0.02
1800.06/1800.53 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.06/1800.53 c Propagators : Time Calls Cutoffs DomReds
1800.06/1800.53 c vbounds : 3.84 2 0 0
1800.06/1800.53 c rootredcost : 4.20 0 0 0
1800.06/1800.53 c pseudoobj : 1029.26 8638737 826709 9385841
1800.06/1800.53 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.06/1800.53 c propagation : 317.04 1364592 1364592 1364592 57.3 34077 33.9 -
1800.06/1800.53 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.53 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.53 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.53 c pseudo solution : 10.66 16626 16626 16626 49.7 770 42.2 -
1800.06/1800.53 c applied globally : - - - 1416065 56.6 - - -
1800.06/1800.53 c applied locally : - - - 0 0.0 - - -
1800.06/1800.53 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.06/1800.53 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.06/1800.53 c redcost : 0.00 0 0 0 0 0
1800.06/1800.53 c impliedbounds : 0.00 0 0 0 0 0
1800.06/1800.53 c intobj : 0.00 0 0 0 0 0
1800.06/1800.53 c cgmip : 0.00 0 0 0 0 0
1800.06/1800.53 c gomory : 0.00 0 0 0 0 0
1800.06/1800.53 c strongcg : 0.00 0 0 0 0 0
1800.06/1800.53 c cmir : 0.00 0 0 0 0 0
1800.06/1800.53 c flowcover : 0.00 0 0 0 0 0
1800.06/1800.53 c clique : 0.00 0 0 0 0 0
1800.06/1800.53 c zerohalf : 0.00 0 0 0 0 0
1800.06/1800.53 c mcf : 0.00 0 0 0 0 0
1800.06/1800.53 c rapidlearning : 0.00 0 0 0 0 0
1800.06/1800.53 c Pricers : Time Calls Vars
1800.06/1800.53 c problem variables: 0.00 0 0
1800.06/1800.53 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.06/1800.53 c relpscost : 0.00 0 0 0 0 0 0
1800.06/1800.53 c pscost : 0.00 0 0 0 0 0 0
1800.06/1800.53 c inference : 54.99 1981499 0 0 0 0 3962998
1800.06/1800.53 c mostinf : 0.00 0 0 0 0 0 0
1800.06/1800.53 c leastinf : 0.00 0 0 0 0 0 0
1800.06/1800.53 c fullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.53 c allfullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.53 c random : 0.00 0 0 0 0 0 0
1800.06/1800.53 c Primal Heuristics : Time Calls Found
1800.06/1800.53 c LP solutions : 0.00 - 0
1800.06/1800.53 c pseudo solutions : 0.00 - 6
1800.06/1800.53 c oneopt : 2.30 0 0
1800.06/1800.53 c trivial : 0.02 2 0
1800.06/1800.53 c simplerounding : 0.00 0 0
1800.06/1800.53 c zirounding : 0.00 0 0
1800.06/1800.53 c rounding : 0.00 0 0
1800.06/1800.53 c shifting : 0.00 0 0
1800.06/1800.53 c intshifting : 0.00 0 0
1800.06/1800.53 c twoopt : 0.00 0 0
1800.06/1800.53 c fixandinfer : 0.00 0 0
1800.06/1800.53 c feaspump : 0.00 0 0
1800.06/1800.53 c coefdiving : 0.00 0 0
1800.06/1800.53 c pscostdiving : 0.00 0 0
1800.06/1800.53 c fracdiving : 0.00 0 0
1800.06/1800.53 c veclendiving : 0.00 0 0
1800.06/1800.53 c intdiving : 0.00 0 0
1800.06/1800.53 c actconsdiving : 0.00 0 0
1800.06/1800.53 c objpscostdiving : 0.00 0 0
1800.06/1800.53 c rootsoldiving : 0.00 0 0
1800.06/1800.53 c linesearchdiving : 0.00 0 0
1800.06/1800.53 c guideddiving : 0.00 0 0
1800.06/1800.53 c octane : 0.00 0 0
1800.06/1800.53 c rens : 0.00 0 0
1800.06/1800.53 c rins : 0.00 0 0
1800.06/1800.53 c localbranching : 0.00 0 0
1800.06/1800.53 c mutation : 0.00 0 0
1800.06/1800.53 c crossover : 0.00 0 0
1800.06/1800.53 c dins : 0.00 0 0
1800.06/1800.53 c undercover : 0.00 0 0
1800.06/1800.53 c nlp : 1.32 0 0
1800.06/1800.53 c trysol : 1.38 0 0
1800.06/1800.53 c LP : Time Calls Iterations Iter/call Iter/sec
1800.06/1800.53 c primal LP : 0.00 0 0 0.00 -
1800.06/1800.53 c dual LP : 0.00 0 0 0.00 -
1800.06/1800.53 c lex dual LP : 0.00 0 0 0.00 -
1800.06/1800.53 c barrier LP : 0.00 0 0 0.00 -
1800.06/1800.53 c diving/probing LP: 0.00 0 0 0.00 -
1800.06/1800.53 c strong branching : 0.00 0 0 0.00 -
1800.06/1800.53 c (at root node) : - 0 0 0.00 -
1800.06/1800.53 c conflict analysis: 0.00 0 0 0.00 -
1800.06/1800.53 c B&B Tree :
1800.06/1800.53 c number of runs : 1
1800.06/1800.53 c nodes : 2646981
1800.06/1800.53 c nodes (total) : 2646981
1800.06/1800.53 c nodes left : 615
1800.06/1800.53 c max depth : 670
1800.06/1800.53 c max depth (total): 670
1800.06/1800.53 c backtracks : 817856 (30.9%)
1800.06/1800.53 c delayed cutoffs : 906873
1800.06/1800.53 c repropagations : 1830752 (8014363 domain reductions, 715742 cutoffs)
1800.06/1800.53 c avg switch length: 2.52
1800.06/1800.53 c switching time : 120.42
1800.06/1800.53 c Solution :
1800.06/1800.53 c Solutions found : 6 (6 improvements)
1800.06/1800.53 c First Solution : +3.30000000000000e+01 (in run 1, after 670 nodes, 0.85 seconds, depth 669, found by <relaxation>)
1800.06/1800.53 c Primal Bound : +2.80000000000000e+01 (in run 1, after 259871 nodes, 170.45 seconds, depth 641, found by <relaxation>)
1800.06/1800.53 c Dual Bound : +0.00000000000000e+00
1800.06/1800.53 c Gap : infinite
1800.06/1800.53 c Root Dual Bound : +0.00000000000000e+00
1800.06/1800.53 c Root Iterations : 0
1800.06/1800.60 c Time complete: 1800.16.
OK 28
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2663941-1276635873/watcher-2663941-1276635873 -o /tmp/evaluation-result-2663941-1276635873/solver-2663941-1276635873 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663941-1276635873.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 11418 /proc/meminfo: memFree=1858124/2059040 swapFree=4141108/4192956 [pid=11418] ppid=11416 vsize=5556 CPUtime=0 /proc/11418/stat : 11418 (pbscip.linux.x8) R 11416 11418 11155 0 -1 4202496 887 0 0 0 0 0 0 0 18 0 1 0 4878964 5689344 810 1992294400 4194304 7136930 140735507438528 18446744073709551615 6349764 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11418/statm: 1389 810 249 719 0 668 0 [startup+0.0367711 s] /proc/loadavg: 0.92 0.98 0.99 3/106 11418 /proc/meminfo: memFree=1858124/2059040 swapFree=4141108/4192956 [pid=11418] ppid=11416 vsize=11912 CPUtime=0.03 /proc/11418/stat : 11418 (pbscip.linux.x8) R 11416 11418 11155 0 -1 4202496 2492 0 0 0 2 1 0 0 20 0 1 0 4878964 12197888 2414 1992294400 4194304 7136930 140735507438528 18446744073709551615 6349476 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11418/statm: 2978 2414 271 719 0 2257 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 11912 [startup+0.100776 s] /proc/loadavg: 0.92 0.98 0.99 3/106 11418 /proc/meminfo: memFree=1858124/2059040 swapFree=4141108/4192956 [pid=11418] ppid=11416 vsize=14516 CPUtime=0.09 /proc/11418/stat : 11418 (pbscip.linux.x8) R 11416 11418 11155 0 -1 4202496 3111 0 0 0 8 1 0 0 20 0 1 0 4878964 14864384 3033 1992294400 4194304 7136930 140735507438528 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11418/statm: 3629 3033 271 719 0 2908 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14516 [startup+0.300793 s] /proc/loadavg: 0.92 0.98 0.99 3/106 11418 /proc/meminfo: memFree=1858124/2059040 swapFree=4141108/4192956 [pid=11418] ppid=11416 vsize=19416 CPUtime=0.29 /proc/11418/stat : 11418 (pbscip.linux.x8) R 11416 11418 11155 0 -1 4202496 4363 0 0 0 28 1 0 0 20 0 1 0 4878964 19881984 4285 1992294400 4194304 7136930 140735507438528 18446744073709551615 6340387 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11418/statm: 4854 4285 271 719 0 4133 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 19416 [startup+0.700828 s] /proc/loadavg: 0.92 0.98 0.99 3/106 11418 /proc/meminfo: memFree=1858124/2059040 swapFree=4141108/4192956 [pid=11418] ppid=11416 vsize=46632 CPUtime=0.69 /proc/11418/stat : 11418 (pbscip.linux.x8) R 11416 11418 11155 0 -1 4202496 11872 0 0 0 63 6 0 0 21 0 1 0 4878964 47751168 10830 1992294400 4194304 7136930 140735507438528 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11418/statm: 11658 10830 353 719 0 10937 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 46632 [startup+1.5009 s] /proc/loadavg: 0.92 0.98 0.99 2/107 11419 /proc/meminfo: memFree=1813352/2059040 swapFree=4141108/4192956 [pid=11418] ppid=11416 vsize=49168 CPUtime=1.49 /proc/11418/stat : 11418 (pbscip.linux.x8) R 11416 11418 11155 0 -1 4202496 13879 0 0 0 139 10 0 0 23 0 1 0 4878964 50348032 11518 1992294400 4194304 7136930 140735507438528 18446744073709551615 5507387 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11418/statm: 12292 11518 389 719 0 11571 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 49168 [startup+3.10104 s] /proc/loadavg: 0.92 0.98 0.99 2/107 11419 /proc/meminfo: memFree=1813104/2059040 swapFree=4141108/4192956 [pid=11418] ppid=11416 vsize=49168 CPUtime=3.09 /proc/11418/stat : 11418 (pbscip.linux.x8) R 11416 11418 11155 0 -1 4202496 13895 0 0 0 293 16 0 0 25 0 1 0 4878964 50348032 11534 1992294400 4194304 7136930 140735507438528 18446744073709551615 5507220 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11418/statm: 12292 11534 390 719 0 11571 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 49168 [startup+6.30032 s] /proc/loadavg: 0.93 0.98 0.99 2/107 11419 /proc/meminfo: memFree=1812856/2059040 swapFree=4141108/4192956 [pid=11418] ppid=11416 vsize=49432 CPUtime=6.29 /proc/11418/stat : 11418 (pbscip.linux.x8) R 11416 11418 11155 0 -1 4202496 13943 0 0 0 601 28 0 0 25 0 1 0 4878964 50618368 11582 1992294400 4194304 7136930 140735507438528 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11418/statm: 12358 11582 390 719 0 11637 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 49432 [startup+12.7019 s] /proc/loadavg: 0.93 0.98 0.99 2/107 11419 /proc/meminfo: memFree=1812360/2059040 swapFree=4141108/4192956 [pid=11418] ppid=11416 vsize=49784 CPUtime=12.69 /proc/11418/stat : 11418 (pbscip.linux.x8) R 11416 11418 11155 0 -1 4202496 14020 0 0 0 1222 47 0 0 25 0 1 0 4878964 50978816 11659 1992294400 4194304 7136930 140735507438528 18446744073709551615 5919085 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11418/statm: 12446 11659 390 719 0 11725 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 49784 [startup+25.501 s] /proc/loadavg: 0.95 0.98 0.99 2/107 11421 /proc/meminfo: memFree=1812236/2059040 swapFree=4141108/4192956 [pid=11418] ppid=11416 vsize=50068 CPUtime=25.49 /proc/11418/stat : 11418 (pbscip.linux.x8) R 11416 11418 11155 0 -1 4202496 14067 0 0 0 2459 90 0 0 25 0 1 0 4878964 51269632 11706 1992294400 4194304 7136930 140735507438528 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11418/statm: 12517 11706 390 719 0 11796 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 50068 [startup+51.1012 s] /proc/loadavg: 0.96 0.98 0.99 2/107 11421 /proc/meminfo: memFree=1812112/2059040 swapFree=4141108/4192956 [pid=11418] ppid=11416 vsize=50068 CPUtime=51.08 /proc/11418/stat : 11418 (pbscip.linux.x8) R 11416 11418 11155 0 -1 4202496 14091 0 0 0 4932 176 0 0 25 0 1 0 4878964 51269632 11730 1992294400 4194304 7136930 140735507438528 18446744073709551615 5507373 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11418/statm: 12517 11730 390 719 0 11796 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 50068 [startup+102.309 s] /proc/loadavg: 0.98 0.98 0.99 2/107 11423 /proc/meminfo: memFree=1811740/2059040 swapFree=4141108/4192956 [pid=11418] ppid=11416 vsize=50200 CPUtime=102.27 /proc/11418/stat : 11418 (pbscip.linux.x8) R 11416 11418 11155 0 -1 4202496 14111 0 0 0 9876 351 0 0 25 0 1 0 4878964 51404800 11750 1992294400 4194304 7136930 140735507438528 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11418/statm: 12550 11750 390 719 0 11829 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 50200 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11423 /proc/meminfo: memFree=1811616/2059040 swapFree=4141108/4192956 [pid=11418] ppid=11416 vsize=50340 CPUtime=162.25 /proc/11418/stat : 11418 (pbscip.linux.x8) R 11416 11418 11155 0 -1 4202496 14147 0 0 0 15671 554 0 0 25 0 1 0 4878964 51548160 11786 1992294400 4194304 7136930 140735507438528 18446744073709551615 4703875 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11418/statm: 12585 11786 390 719 0 11864 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 50340 [startup+222.301 s] /proc/loadavg: 1.06 1.00 1.00 2/107 11425 /proc/meminfo: memFree=1811368/2059040 swapFree=4141108/4192956 [pid=11418] ppid=11416 vsize=50340 CPUtime=222.24 /proc/11418/stat : 11418 (pbscip.linux.x8) R 11416 11418 11155 0 -1 4202496 14175 0 0 0 21468 756 0 0 25 0 1 0 4878964 51548160 11814 1992294400 4194304 7136930 140735507438528 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11418/statm: 12585 11814 390 719 0 11864 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 50340 [startup+282.301 s] /proc/loadavg: 1.08 1.02 1.00 2/107 11427 /proc/meminfo: memFree=1811244/2059040 swapFree=4141108/4192956 [pid=11418] ppid=11416 vsize=50472 CPUtime=282.23 /proc/11418/stat : 11418 (pbscip.linux.x8) R 11416 11418 11155 0 -1 4202496 14198 0 0 0 27250 973 0 0 25 0 1 0 4878964 51683328 11837 1992294400 4194304 7136930 140735507438528 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11418/statm: 12618 11837 390 719 0 11897 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 50472 [startup+342.301 s] /proc/loadavg: 1.09 1.03 1.00 2/107 11429 /proc/meminfo: memFree=1811120/2059040 swapFree=4141108/4192956 [pid=11418] ppid=11416 vsize=50472 CPUtime=342.21 /proc/11418/stat : 11418 (pbscip.linux.x8) R 11416 11418 11155 0 -1 4202496 14205 0 0 0 33045 1176 0 0 25 0 1 0 4878964 51683328 11844 1992294400 4194304 7136930 140735507438528 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11418/statm: 12618 11844 390 719 0 11897 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 50472 [startup+402.301 s] /proc/loadavg: 1.08 1.03 1.00 2/107 11431 /proc/meminfo: memFree=1810996/2059040 swapFree=4141108/4192956 [pid=11418] ppid=11416 vsize=50472 CPUtime=402.2 /proc/11418/stat : 11418 (pbscip.linux.x8) R 11416 11418 11155 0 -1 4202496 14210 0 0 0 38840 1380 0 0 25 0 1 0 4878964 51683328 11849 1992294400 4194304 7136930 140735507438528 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11418/statm: 12618 11849 390 719 0 11897 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 50472 [startup+462.302 s] /proc/loadavg: 1.03 1.03 1.00 2/107 11431 /proc/meminfo: memFree=1810748/2059040 swapFree=4141108/4192956 [pid=11418] ppid=11416 vsize=50616 CPUtime=462.18 /proc/11418/stat : 11418 (pbscip.linux.x8) R 11416 11418 11155 0 -1 4202496 14243 0 0 0 44626 1592 0 0 25 0 1 0 4878964 51830784 11882 1992294400 4194304 7136930 140735507438528 18446744073709551615 4704784 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11418/statm: 12654 11882 390 719 0 11933 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 50616 [startup+522.301 s] /proc/loadavg: 1.01 1.02 1.00 2/107 11433 /proc/meminfo: memFree=1810624/2059040 swapFree=4141108/4192956 [pid=11418] ppid=11416 vsize=50748 CPUtime=522.17 /proc/11418/stat : 11418 (pbscip.linux.x8) R 11416 11418 11155 0 -1 4202496 14255 0 0 0 50428 1789 0 0 25 0 1 0 4878964 51965952 11894 1992294400 4194304 7136930 140735507438528 18446744073709551615 5507309 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11418/statm: 12687 11894 390 719 0 11966 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 50748 [startup+582.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 11435 /proc/meminfo: memFree=1810500/2059040 swapFree=4141108/4192956 [pid=11418] ppid=11416 vsize=50748 CPUtime=582.15 /proc/11418/stat : 11418 (pbscip.linux.x8) R 11416 11418 11155 0 -1 4202496 14262 0 0 0 56230 1985 0 0 25 0 1 0 4878964 51965952 11901 1992294400 4194304 7136930 140735507438528 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11418/statm: 12687 11901 390 719 0 11966 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 50748 [startup+642.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 11437 /proc/meminfo: memFree=1810252/2059040 swapFree=4141108/4192956 [pid=11418] ppid=11416 vsize=50748 CPUtime=642.14 /proc/11418/stat : 11418 (pbscip.linux.x8) R 11416 11418 11155 0 -1 4202496 14271 0 0 0 62026 2188 0 0 25 0 1 0 4878964 51965952 11910 1992294400 4194304 7136930 140735507438528 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11418/statm: 12687 11910 390 719 0 11966 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 50748 [startup+702.301 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11443 /proc/meminfo: memFree=1809880/2059040 swapFree=4141108/4192956 [pid=11418] ppid=11416 vsize=50888 CPUtime=882.08 /proc/11418/stat : 11418 (pbscip.linux.x8) R 11416 11418 11155 0 -1 4202496 14298 0 0 0 85216 2992 0 0 25 0 1 0 4878964 52109312 11937 1992294400 4194304 7136930 140735507438528 18446744073709551615 4677433 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11418/statm: 12722 11937 390 719 0 12001 0 Current children cumulated CPU time (s) 882.08 Current children cumulated vsize (KiB) 50888 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11445 /proc/meminfo: memFree=1809756/2059040 swapFree=4141108/4192956 [pid=11418] ppid=11416 vsize=51020 CPUtime=942.06 /proc/11418/stat : 11418 (pbscip.linux.x8) R 11416 11418 11155 0 -1 4202496 14318 0 0 0 91008 3198 0 0 25 0 1 0 4878964 52244480 11957 1992294400 4194304 7136930 140735507438528 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11418/statm: 12755 11957 390 719 0 12034 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 51020 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11447 /proc/meminfo: memFree=1809632/2059040 swapFree=4141108/4192956 [pid=11418] ppid=11416 vsize=51020 CPUtime=1002.04 /proc/11418/stat : 11418 (pbscip.linux.x8) R 11416 11418 11155 0 -1 4202496 14319 0 0 0 96801 3403 0 0 25 0 1 0 4878964 52244480 11958 1992294400 4194304 7136930 140735507438528 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11418/statm: 12755 11958 390 719 0 12034 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 51020 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11447 /proc/meminfo: memFree=1809508/2059040 swapFree=4141108/4192956 [pid=11418] ppid=11416 vsize=51020 CPUtime=1062.03 /proc/11418/stat : 11418 (pbscip.linux.x8) R 11416 11418 11155 0 -1 4202496 14319 0 0 0 102594 3609 0 0 25 0 1 0 4878964 52244480 11958 1992294400 4194304 7136930 140735507438528 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11418/statm: 12755 11958 390 719 0 12034 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 51020 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11449 /proc/meminfo: memFree=1809260/2059040 swapFree=4141108/4192956 [pid=11418] ppid=11416 vsize=51020 CPUtime=1122.02 /proc/11418/stat : 11418 (pbscip.linux.x8) R 11416 11418 11155 0 -1 4202496 14343 0 0 0 108385 3817 0 0 25 0 1 0 4878964 52244480 11982 1992294400 4194304 7136930 140735507438528 18446744073709551615 5507425 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11418/statm: 12755 11982 390 719 0 12034 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 51020 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11451 /proc/meminfo: memFree=1809136/2059040 swapFree=4141108/4192956 [pid=11418] ppid=11416 vsize=51020 CPUtime=1182 /proc/11418/stat : 11418 (pbscip.linux.x8) R 11416 11418 11155 0 -1 4202496 14346 0 0 0 114181 4019 0 0 25 0 1 0 4878964 52244480 11985 1992294400 4194304 7136930 140735507438528 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11418/statm: 12755 11985 390 719 0 12034 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 51020 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11453 /proc/meminfo: memFree=1809012/2059040 swapFree=4141108/4192956 [pid=11418] ppid=11416 vsize=51152 CPUtime=1241.99 /proc/11418/stat : 11418 (pbscip.linux.x8) R 11416 11418 11155 0 -1 4202496 14351 0 0 0 119972 4227 0 0 25 0 1 0 4878964 52379648 11990 1992294400 4194304 7136930 140735507438528 18446744073709551615 4240403 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11418/statm: 12788 11990 390 719 0 12067 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 51152 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11455 /proc/meminfo: memFree=1808764/2059040 swapFree=4141108/4192956 [pid=11418] ppid=11416 vsize=51152 CPUtime=1301.98 /proc/11418/stat : 11418 (pbscip.linux.x8) R 11416 11418 11155 0 -1 4202496 14361 0 0 0 125773 4425 0 0 25 0 1 0 4878964 52379648 12000 1992294400 4194304 7136930 140735507438528 18446744073709551615 4648156 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11418/statm: 12788 12000 390 719 0 12067 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 51152 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11455 /proc/meminfo: memFree=1808764/2059040 swapFree=4141108/4192956 [pid=11418] ppid=11416 vsize=51152 CPUtime=1361.96 /proc/11418/stat : 11418 (pbscip.linux.x8) R 11416 11418 11155 0 -1 4202496 14373 0 0 0 131564 4632 0 0 25 0 1 0 4878964 52379648 12012 1992294400 4194304 7136930 140735507438528 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11418/statm: 12788 12012 390 719 0 12067 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 51152 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11457 /proc/meminfo: memFree=1808516/2059040 swapFree=4141108/4192956 [pid=11418] ppid=11416 vsize=51304 CPUtime=1421.96 /proc/11418/stat : 11418 (pbscip.linux.x8) R 11416 11418 11155 0 -1 4202496 14389 0 0 0 137357 4839 0 0 25 0 1 0 4878964 52535296 12028 1992294400 4194304 7136930 140735507438528 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11418/statm: 12826 12028 390 719 0 12105 0 Current children cumulated CPU time (s) 1421.96 Current children cumulated vsize (KiB) 51304 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11459 /proc/meminfo: memFree=1808392/2059040 swapFree=4141108/4192956 [pid=11418] ppid=11416 vsize=51304 CPUtime=1481.93 /proc/11418/stat : 11418 (pbscip.linux.x8) R 11416 11418 11155 0 -1 4202496 14391 0 0 0 143151 5042 0 0 25 0 1 0 4878964 52535296 12030 1992294400 4194304 7136930 140735507438528 18446744073709551615 6166606 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11418/statm: 12826 12030 390 719 0 12105 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 51304 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11461 /proc/meminfo: memFree=1808392/2059040 swapFree=4141108/4192956 [pid=11418] ppid=11416 vsize=51304 CPUtime=1541.91 /proc/11418/stat : 11418 (pbscip.linux.x8) R 11416 11418 11155 0 -1 4202496 14395 0 0 0 148943 5248 0 0 25 0 1 0 4878964 52535296 12034 1992294400 4194304 7136930 140735507438528 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11418/statm: 12826 12034 390 719 0 12105 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 51304 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11463 /proc/meminfo: memFree=1808268/2059040 swapFree=4141108/4192956 [pid=11418] ppid=11416 vsize=51304 CPUtime=1601.9 /proc/11418/stat : 11418 (pbscip.linux.x8) R 11416 11418 11155 0 -1 4202496 14395 0 0 0 154735 5455 0 0 25 0 1 0 4878964 52535296 12034 1992294400 4194304 7136930 140735507438528 18446744073709551615 5507358 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11418/statm: 12826 12034 390 719 0 12105 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 51304 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11463 /proc/meminfo: memFree=1808268/2059040 swapFree=4141108/4192956 [pid=11418] ppid=11416 vsize=51304 CPUtime=1661.89 /proc/11418/stat : 11418 (pbscip.linux.x8) R 11416 11418 11155 0 -1 4202496 14395 0 0 0 160528 5661 0 0 25 0 1 0 4878964 52535296 12034 1992294400 4194304 7136930 140735507438528 18446744073709551615 5507155 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11418/statm: 12826 12034 390 719 0 12105 0 Current children cumulated CPU time (s) 1661.89 Current children cumulated vsize (KiB) 51304 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11468 /proc/meminfo: memFree=1807772/2059040 swapFree=4141108/4192956 [pid=11418] ppid=11416 vsize=51304 CPUtime=1721.88 /proc/11418/stat : 11418 (pbscip.linux.x8) R 11416 11418 11155 0 -1 4202496 14399 0 0 0 166324 5864 0 0 25 0 1 0 4878964 52535296 12038 1992294400 4194304 7136930 140735507438528 18446744073709551615 4998713 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11418/statm: 12826 12038 390 719 0 12105 0 Current children cumulated CPU time (s) 1721.88 Current children cumulated vsize (KiB) 51304 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11470 /proc/meminfo: memFree=1807648/2059040 swapFree=4141108/4192956 [pid=11418] ppid=11416 vsize=51304 CPUtime=1781.85 /proc/11418/stat : 11418 (pbscip.linux.x8) R 11416 11418 11155 0 -1 4202496 14404 0 0 0 172112 6073 0 0 25 0 1 0 4878964 52535296 12043 1992294400 4194304 7136930 140735507438528 18446744073709551615 5507373 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11418/statm: 12826 12043 390 719 0 12105 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 51304 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11470 /proc/meminfo: memFree=1807648/2059040 swapFree=4141108/4192956 [pid=11418] ppid=11416 vsize=51304 CPUtime=1800.06 /proc/11418/stat : 11418 (pbscip.linux.x8) R 11416 11418 11155 0 -1 4202496 14404 0 0 0 173873 6133 0 0 25 0 1 0 4878964 52535296 12043 1992294400 4194304 7136930 140735507438528 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11418/statm: 12826 12043 390 719 0 12105 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 51304 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11470 /proc/meminfo: memFree=1807648/2059040 swapFree=4141108/4192956 [pid=11418] ppid=11416 vsize=51304 CPUtime=1800.06 /proc/11418/stat : 11418 (pbscip.linux.x8) R 11416 11418 11155 0 -1 4202496 14404 0 0 0 173873 6133 0 0 25 0 1 0 4878964 52535296 12043 1992294400 4194304 7136930 140735507438528 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11418/statm: 12826 12043 390 719 0 12105 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 51304 Child status: 0 Real time (s): 1800.61 CPU time (s): 1800.17 CPU user time (s): 1738.83 CPU system time (s): 61.3417 CPU usage (%): 99.9757 Max. virtual memory (cumulated for all children) (KiB): 51304 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1738.83 system time used= 61.3417 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 14428 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= 1 involuntary context switches= 4498 runsolver used 3.03654 second user time and 8.46071 second system time The end
Begin job on node050 at 2010-06-15 23:04:33 IDJOB=2663941 IDBENCH=24996 IDSOLVER=1167 FILE ID=node050/2663941-1276635873 PBS_JOBID= 11172388 Free space on /tmp= 62572 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_002_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-2663941-1276635873/watcher-2663941-1276635873 -o /tmp/evaluation-result-2663941-1276635873/solver-2663941-1276635873 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663941-1276635873.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d6135de924aeb400fc0f7d1c419e5860 RANDOM SEED=1672209667 node050.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.215 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.43 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.215 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: 1858644 kB Buffers: 14332 kB Cached: 96796 kB SwapCached: 6576 kB Active: 100596 kB Inactive: 24780 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1858644 kB SwapTotal: 4192956 kB SwapFree: 4141108 kB Dirty: 3680 kB Writeback: 0 kB AnonPages: 11560 kB Mapped: 13116 kB Slab: 53272 kB PageTables: 4040 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180700 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= 62568 MiB End job on node050 at 2010-06-15 23:34:36