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) | 17 | 1800.12 | 1800.61 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_opers/normalized-fir03_area_opers.opb |
| MD5SUM | b21d0afca1befeb5506928b558ab5220 |
| 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 | 17 |
| Best CPU time to get the best result obtained on this benchmark | 3.32549 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 17 |
| Optimality of the best value was proved | YES |
| Number of variables | 6672 |
| Total number of constraints | 14168 |
| Number of constraints which are clauses | 14168 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 127 |
| Number of terms in the objective function | 3302 |
| 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 | 3302 |
| 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 | 3302 |
| 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-2663980-1276643595.opb>
0.19/0.27 c original problem has 6672 variables (6672 bin, 0 int, 0 impl, 0 cont) and 14168 constraints
0.19/0.27 c problem read
0.19/0.27 c presolving settings loaded
0.19/0.27 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.29/0.37 o 3302
0.29/0.37 c feasible solution found by trivial heuristic, objective value 3.302000e+03
0.29/0.37 c presolving:
0.49/0.51 c (round 1) 3173 del vars, 6337 del conss, 2 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21582 impls, 0 clqs
0.49/0.52 c (round 2) 3173 del vars, 6344 del conss, 2 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21582 impls, 0 clqs
0.59/0.62 c (round 3) 3173 del vars, 6344 del conss, 2 chg bounds, 0 chg sides, 0 chg coeffs, 7609 upgd conss, 21582 impls, 0 clqs
0.59/0.65 c (round 4) 3173 del vars, 6344 del conss, 2 chg bounds, 0 chg sides, 0 chg coeffs, 7824 upgd conss, 21582 impls, 0 clqs
0.69/0.76 c (0.4s) probing: 101/3499 (2.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.69/0.76 c (0.4s) probing aborted: 100/100 successive totally useless probings
0.69/0.76 c presolving (5 rounds):
0.69/0.76 c 3173 deleted vars, 6344 deleted constraints, 2 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.69/0.76 c 21582 implications, 0 cliques
0.69/0.76 c presolved problem has 3499 variables (3499 bin, 0 int, 0 impl, 0 cont) and 7824 constraints
0.69/0.76 c 7824 constraints of type <logicor>
0.69/0.76 c transformed objective value is always integral (scale: 1)
0.69/0.76 c Presolving Time: 0.39
0.69/0.76 c - non default parameters ----------------------------------------------------------------------
0.69/0.76 c # SCIP version 1.2.1.2
0.69/0.76 c
0.69/0.76 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.69/0.76 c # [type: int, range: [-1,2147483647], default: -1]
0.69/0.76 c conflict/interconss = 0
0.69/0.76 c
0.69/0.76 c # should binary conflicts be preferred?
0.69/0.76 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.69/0.76 c conflict/preferbinary = TRUE
0.69/0.76 c
0.69/0.76 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.69/0.76 c # [type: int, range: [-1,2147483647], default: 0]
0.69/0.76 c constraints/agelimit = 1
0.69/0.76 c
0.69/0.76 c # should enforcement of pseudo solution be disabled?
0.69/0.76 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.69/0.76 c constraints/disableenfops = TRUE
0.69/0.76 c
0.69/0.76 c # frequency for displaying node information lines
0.69/0.76 c # [type: int, range: [-1,2147483647], default: 100]
0.69/0.76 c display/freq = 10000
0.69/0.76 c
0.69/0.76 c # maximal time in seconds to run
0.69/0.76 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.69/0.76 c limits/time = 1799.74
0.69/0.76 c
0.69/0.76 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.69/0.76 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.69/0.76 c limits/memory = 1620
0.69/0.76 c
0.69/0.76 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.69/0.76 c # [type: int, range: [-1,2147483647], default: 1]
0.69/0.76 c lp/solvefreq = -1
0.69/0.76 c
0.69/0.76 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.69/0.76 c # [type: char, range: {lafpsqd}, default: l]
0.69/0.76 c lp/pricing = a
0.69/0.76 c
0.69/0.76 c # should presolving try to simplify inequalities
0.69/0.76 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.69/0.76 c constraints/linear/simplifyinequalities = TRUE
0.69/0.76 c
0.69/0.76 c # should presolving try to simplify knapsacks
0.69/0.76 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.69/0.76 c constraints/knapsack/simplifyinequalities = TRUE
0.69/0.76 c
0.69/0.76 c # priority of node selection rule <dfs> in standard mode
0.69/0.76 c # [type: int, range: [-536870912,536870911], default: 0]
0.69/0.76 c nodeselection/dfs/stdpriority = 1000000
0.69/0.76 c
0.69/0.76 c -----------------------------------------------------------------------------------------------
0.69/0.76 c start solving
0.69/0.76 c
0.69/0.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.69/0.77 c t 0.4s| 1 | 2 | 0 | - | 22M| 0 | - |3499 |7824 | 0 | 0 | 0 | 0 | 0 | 2.000000e+00 | 3.302000e+03 | Large
3.99/4.00 o 18
3.99/4.00 c * 3.6s| 3086 | 3083 | 0 | 0.0 | 23M|3085 | - |3499 |7824 | 0 | 0 | 0 | 0 | 0 | 3.000000e+00 | 1.800000e+01 | 500.00%
9.59/9.60 o 17
9.59/9.60 c * 9.1s| 9890 | 3039 | 0 | 0.0 | 23M|3086 | - |3499 |7824 | 0 | 0 | 0 |3120 | 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
9.69/9.70 c 9.2s| 10000 | 3037 | 0 | 0.0 | 23M|3086 | - |3499 |7824 | 0 | 0 | 0 |3172 | 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
20.98/21.09 c 20.3s| 20000 | 3034 | 0 | 0.0 | 23M|3086 | - |3499 |7829 | 0 | 0 | 0 |8667 | 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
31.39/31.48 c 30.5s| 30000 | 3033 | 0 | 0.0 | 23M|3086 | - |3499 |7829 | 0 | 0 | 0 | 13k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
43.07/43.11 c 41.8s| 40000 | 3030 | 0 | 0.0 | 23M|3086 | - |3499 |7829 | 0 | 0 | 0 | 19k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
54.56/54.68 c 53.2s| 50000 | 3022 | 0 | 0.0 | 23M|3086 | - |3499 |7828 | 0 | 0 | 0 | 24k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
66.46/66.51 c 64.7s| 60000 | 3024 | 0 | 0.0 | 23M|3086 | - |3499 |7834 | 0 | 0 | 0 | 29k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
79.26/79.33 c 77.3s| 70000 | 3015 | 0 | 0.0 | 23M|3086 | - |3499 |7833 | 0 | 0 | 0 | 35k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
91.06/91.12 c 88.8s| 80000 | 3018 | 0 | 0.0 | 23M|3086 | - |3499 |7824 | 0 | 0 | 0 | 40k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
102.86/102.96 c 100s| 90000 | 3016 | 0 | 0.0 | 23M|3086 | - |3499 |7837 | 0 | 0 | 0 | 46k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
115.55/115.61 c 113s|100000 | 3014 | 0 | 0.0 | 23M|3086 | - |3499 |7833 | 0 | 0 | 0 | 51k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
127.35/127.46 c 124s|110000 | 3017 | 0 | 0.0 | 23M|3086 | - |3499 |7828 | 0 | 0 | 0 | 56k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
139.05/139.14 c 136s|120000 | 3016 | 0 | 0.0 | 23M|3086 | - |3499 |7831 | 0 | 0 | 0 | 61k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
150.44/150.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
150.44/150.51 c 147s|130000 | 3014 | 0 | 0.0 | 23M|3086 | - |3499 |7829 | 0 | 0 | 0 | 67k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
162.64/162.72 c 159s|140000 | 3014 | 0 | 0.0 | 23M|3086 | - |3499 |7830 | 0 | 0 | 0 | 72k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
175.14/175.23 c 171s|150000 | 3009 | 0 | 0.0 | 23M|3086 | - |3499 |7833 | 0 | 0 | 0 | 78k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
187.04/187.11 c 183s|160000 | 3014 | 0 | 0.0 | 23M|3086 | - |3499 |7829 | 0 | 0 | 0 | 83k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
198.63/198.75 c 194s|170000 | 3008 | 0 | 0.0 | 23M|3086 | - |3499 |7828 | 0 | 0 | 0 | 89k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
210.53/210.61 c 205s|180000 | 3005 | 0 | 0.0 | 23M|3086 | - |3499 |7830 | 0 | 0 | 0 | 94k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
221.83/221.99 c 217s|190000 | 3010 | 0 | 0.0 | 23M|3086 | - |3499 |7829 | 0 | 0 | 0 | 99k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
232.83/232.91 c 227s|200000 | 3006 | 0 | 0.0 | 23M|3086 | - |3499 |7833 | 0 | 0 | 0 | 104k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
244.42/244.50 c 239s|210000 | 3002 | 0 | 0.0 | 23M|3086 | - |3499 |7829 | 0 | 0 | 0 | 108k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
256.72/256.82 c 251s|220000 | 2999 | 0 | 0.0 | 23M|3086 | - |3499 |7824 | 0 | 0 | 0 | 114k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
268.71/268.81 c 262s|230000 | 3002 | 0 | 0.0 | 23M|3086 | - |3499 |7833 | 0 | 0 | 0 | 119k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
280.61/280.73 c 274s|240000 | 3008 | 0 | 0.0 | 23M|3086 | - |3499 |7829 | 0 | 0 | 0 | 125k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
292.11/292.20 c 285s|250000 | 3010 | 0 | 0.0 | 23M|3086 | - |3499 |7834 | 0 | 0 | 0 | 130k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
303.20/303.32 c 296s|260000 | 3002 | 0 | 0.0 | 23M|3086 | - |3499 |7833 | 0 | 0 | 0 | 135k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
314.51/314.68 c 307s|270000 | 3005 | 0 | 0.0 | 23M|3086 | - |3499 |7836 | 0 | 0 | 0 | 140k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
324.40/324.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
324.40/324.52 c 317s|280000 | 3007 | 0 | 0.0 | 23M|3086 | - |3499 |7829 | 0 | 0 | 0 | 145k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
335.59/335.78 c 328s|290000 | 2999 | 0 | 0.0 | 23M|3086 | - |3499 |7828 | 0 | 0 | 0 | 150k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
346.30/346.41 c 338s|300000 | 3008 | 0 | 0.0 | 23M|3086 | - |3499 |7832 | 0 | 0 | 0 | 155k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
357.19/357.32 c 349s|310000 | 3004 | 0 | 0.0 | 23M|3086 | - |3499 |7829 | 0 | 0 | 0 | 160k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
368.58/368.79 c 360s|320000 | 3002 | 0 | 0.0 | 23M|3086 | - |3499 |7831 | 0 | 0 | 0 | 165k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
380.58/380.80 c 372s|330000 | 3000 | 0 | 0.0 | 23M|3086 | - |3499 |7833 | 0 | 0 | 0 | 170k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
391.58/391.76 c 382s|340000 | 2998 | 0 | 0.0 | 23M|3086 | - |3499 |7831 | 0 | 0 | 0 | 175k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
403.67/403.82 c 394s|350000 | 3000 | 0 | 0.0 | 23M|3086 | - |3499 |7837 | 0 | 0 | 0 | 180k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
415.97/416.14 c 406s|360000 | 3000 | 0 | 0.0 | 23M|3086 | - |3499 |7836 | 0 | 0 | 0 | 185k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
427.47/427.65 c 417s|370000 | 2999 | 0 | 0.0 | 23M|3086 | - |3499 |7830 | 0 | 0 | 0 | 190k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
438.97/439.13 c 429s|380000 | 2999 | 0 | 0.0 | 23M|3086 | - |3499 |7843 | 0 | 0 | 0 | 195k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
450.47/450.69 c 440s|390000 | 3003 | 0 | 0.0 | 23M|3086 | - |3499 |7841 | 0 | 0 | 0 | 200k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
461.56/461.74 c 451s|400000 | 2996 | 0 | 0.0 | 23M|3086 | - |3499 |7834 | 0 | 0 | 0 | 206k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
472.16/472.34 c 461s|410000 | 3003 | 0 | 0.0 | 23M|3086 | - |3499 |7828 | 0 | 0 | 0 | 211k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
482.96/483.13 c 472s|420000 | 3005 | 0 | 0.0 | 23M|3086 | - |3499 |7848 | 0 | 0 | 0 | 215k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
493.25/493.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
493.25/493.48 c 482s|430000 | 3003 | 0 | 0.0 | 23M|3086 | - |3499 |7838 | 0 | 0 | 0 | 220k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
504.45/504.67 c 493s|440000 | 2998 | 0 | 0.0 | 23M|3086 | - |3499 |7833 | 0 | 0 | 0 | 225k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
515.65/515.90 c 504s|450000 | 2996 | 0 | 0.0 | 23M|3086 | - |3499 |7833 | 0 | 0 | 0 | 230k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
527.35/527.50 c 515s|460000 | 2995 | 0 | 0.0 | 23M|3086 | - |3499 |7827 | 0 | 0 | 0 | 235k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
539.44/539.68 c 527s|470000 | 2998 | 0 | 0.0 | 23M|3086 | - |3499 |7838 | 0 | 0 | 0 | 241k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
551.23/551.46 c 538s|480000 | 3002 | 0 | 0.0 | 23M|3086 | - |3499 |7826 | 0 | 0 | 0 | 246k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
563.53/563.77 c 550s|490000 | 2997 | 0 | 0.0 | 23M|3086 | - |3499 |7826 | 0 | 0 | 0 | 251k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
576.03/576.22 c 562s|500000 | 2996 | 0 | 0.0 | 23M|3086 | - |3499 |7829 | 0 | 0 | 0 | 257k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
588.13/588.35 c 574s|510000 | 3006 | 0 | 0.0 | 23M|3086 | - |3499 |7824 | 0 | 0 | 0 | 262k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
599.72/599.99 c 586s|520000 | 3001 | 0 | 0.0 | 23M|3086 | - |3499 |7824 | 0 | 0 | 0 | 268k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
611.72/611.90 c 597s|530000 | 2999 | 0 | 0.0 | 23M|3086 | - |3499 |7828 | 0 | 0 | 0 | 273k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
623.71/623.92 c 609s|540000 | 3000 | 0 | 0.0 | 23M|3086 | - |3499 |7826 | 0 | 0 | 0 | 278k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
636.21/636.41 c 621s|550000 | 3003 | 0 | 0.0 | 23M|3086 | - |3499 |7830 | 0 | 0 | 0 | 284k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
647.72/647.95 c 633s|560000 | 2995 | 0 | 0.0 | 23M|3086 | - |3499 |7839 | 0 | 0 | 0 | 289k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
659.11/659.38 c 644s|570000 | 2997 | 0 | 0.0 | 23M|3086 | - |3499 |7839 | 0 | 0 | 0 | 294k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
672.21/672.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
672.21/672.41 c 656s|580000 | 2999 | 0 | 0.0 | 23M|3086 | - |3499 |7833 | 0 | 0 | 0 | 300k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
684.30/684.59 c 668s|590000 | 3000 | 0 | 0.0 | 23M|3086 | - |3499 |7825 | 0 | 0 | 0 | 305k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
696.40/696.66 c 680s|600000 | 2996 | 0 | 0.0 | 23M|3086 | - |3499 |7827 | 0 | 0 | 0 | 311k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
708.90/709.17 c 692s|610000 | 2997 | 0 | 0.0 | 23M|3086 | - |3499 |7841 | 0 | 0 | 0 | 316k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
722.19/722.49 c 705s|620000 | 2999 | 0 | 0.0 | 23M|3086 | - |3499 |7826 | 0 | 0 | 0 | 321k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
734.49/734.73 c 717s|630000 | 2992 | 0 | 0.0 | 23M|3086 | - |3499 |7829 | 0 | 0 | 0 | 327k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
746.78/747.08 c 729s|640000 | 2995 | 0 | 0.0 | 23M|3086 | - |3499 |7825 | 0 | 0 | 0 | 332k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
759.19/759.46 c 742s|650000 | 2997 | 0 | 0.0 | 23M|3086 | - |3499 |7833 | 0 | 0 | 0 | 337k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
771.58/771.82 c 754s|660000 | 2997 | 0 | 0.0 | 23M|3086 | - |3499 |7850 | 0 | 0 | 0 | 343k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
783.47/783.71 c 765s|670000 | 2999 | 0 | 0.0 | 23M|3086 | - |3499 |7832 | 0 | 0 | 0 | 347k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
794.38/794.67 c 776s|680000 | 2996 | 0 | 0.0 | 23M|3086 | - |3499 |7851 | 0 | 0 | 0 | 352k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
806.17/806.47 c 787s|690000 | 2995 | 0 | 0.0 | 23M|3086 | - |3499 |7844 | 0 | 0 | 0 | 357k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
818.96/819.25 c 800s|700000 | 3000 | 0 | 0.0 | 23M|3086 | - |3499 |7832 | 0 | 0 | 0 | 363k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
831.46/831.78 c 812s|710000 | 2998 | 0 | 0.0 | 23M|3086 | - |3499 |7838 | 0 | 0 | 0 | 368k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
844.16/844.45 c 825s|720000 | 2990 | 0 | 0.0 | 23M|3086 | - |3499 |7843 | 0 | 0 | 0 | 374k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
856.36/856.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
856.36/856.64 c 836s|730000 | 2992 | 0 | 0.0 | 23M|3086 | - |3499 |7840 | 0 | 0 | 0 | 379k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
867.76/868.09 c 848s|740000 | 2994 | 0 | 0.0 | 23M|3086 | - |3499 |7838 | 0 | 0 | 0 | 384k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
880.15/880.43 c 860s|750000 | 3000 | 0 | 0.0 | 23M|3086 | - |3499 |7827 | 0 | 0 | 0 | 390k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
892.85/893.15 c 872s|760000 | 2998 | 0 | 0.0 | 23M|3086 | - |3499 |7839 | 0 | 0 | 0 | 395k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
904.95/905.22 c 884s|770000 | 2990 | 0 | 0.0 | 23M|3086 | - |3499 |7836 | 0 | 0 | 0 | 401k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
917.44/917.72 c 896s|780000 | 2994 | 0 | 0.0 | 23M|3086 | - |3499 |7841 | 0 | 0 | 0 | 406k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
929.64/929.95 c 908s|790000 | 2996 | 0 | 0.0 | 23M|3086 | - |3499 |7846 | 0 | 0 | 0 | 411k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
942.04/942.33 c 920s|800000 | 3002 | 0 | 0.0 | 23M|3086 | - |3499 |7830 | 0 | 0 | 0 | 416k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
954.93/955.28 c 933s|810000 | 2987 | 0 | 0.0 | 23M|3086 | - |3499 |7829 | 0 | 0 | 0 | 422k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
967.74/968.07 c 945s|820000 | 2995 | 0 | 0.0 | 23M|3086 | - |3499 |7826 | 0 | 0 | 0 | 427k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
980.13/980.40 c 957s|830000 | 2997 | 0 | 0.0 | 23M|3086 | - |3499 |7826 | 0 | 0 | 0 | 433k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
993.72/994.08 c 971s|840000 | 2991 | 0 | 0.0 | 23M|3086 | - |3499 |7828 | 0 | 0 | 0 | 439k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
1008.12/1008.44 c 985s|850000 | 2990 | 0 | 0.0 | 23M|3086 | - |3499 |7830 | 0 | 0 | 0 | 444k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
1020.32/1020.60 c 997s|860000 | 2997 | 0 | 0.0 | 23M|3086 | - |3499 |7829 | 0 | 0 | 0 | 450k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
1033.01/1033.31 c 1009s|870000 | 2995 | 0 | 0.0 | 23M|3086 | - |3499 |7829 | 0 | 0 | 0 | 455k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
1044.71/1045.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1044.71/1045.02 c 1021s|880000 | 3000 | 0 | 0.0 | 23M|3086 | - |3499 |7827 | 0 | 0 | 0 | 460k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
1057.40/1057.72 c 1033s|890000 | 2995 | 0 | 0.0 | 23M|3086 | - |3499 |7832 | 0 | 0 | 0 | 466k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
1070.10/1070.41 c 1045s|900000 | 3001 | 0 | 0.0 | 23M|3086 | - |3499 |7824 | 0 | 0 | 0 | 471k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
1082.60/1082.99 c 1058s|910000 | 2993 | 0 | 0.0 | 23M|3086 | - |3499 |7836 | 0 | 0 | 0 | 477k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
1095.30/1095.68 c 1070s|920000 | 2990 | 0 | 0.0 | 23M|3086 | - |3499 |7833 | 0 | 0 | 0 | 482k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
1106.99/1107.39 c 1081s|930000 | 2984 | 0 | 0.0 | 23M|3086 | - |3499 |7831 | 0 | 0 | 0 | 487k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
1119.09/1119.46 c 1093s|940000 | 3003 | 0 | 0.0 | 23M|3086 | - |3499 |7827 | 0 | 0 | 0 | 493k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
1131.99/1132.33 c 1106s|950000 | 2997 | 0 | 0.0 | 23M|3086 | - |3499 |7835 | 0 | 0 | 0 | 499k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
1144.69/1145.05 c 1118s|960000 | 2994 | 0 | 0.0 | 23M|3086 | - |3499 |7831 | 0 | 0 | 0 | 504k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
1156.88/1157.26 c 1130s|970000 | 2996 | 0 | 0.0 | 23M|3086 | - |3499 |7840 | 0 | 0 | 0 | 509k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
1169.28/1169.66 c 1142s|980000 | 3004 | 0 | 0.0 | 23M|3086 | - |3499 |7832 | 0 | 0 | 0 | 515k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
1182.08/1182.45 c 1155s|990000 | 2999 | 0 | 0.0 | 23M|3086 | - |3499 |7832 | 0 | 0 | 0 | 520k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
1194.36/1194.74 c 1167s| 1000k| 2997 | 0 | 0.0 | 23M|3086 | - |3499 |7838 | 0 | 0 | 0 | 526k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
1206.37/1206.78 c 1179s| 1010k| 2996 | 0 | 0.0 | 23M|3086 | - |3499 |7829 | 0 | 0 | 0 | 531k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
1218.86/1219.24 c 1191s| 1020k| 2998 | 0 | 0.0 | 23M|3086 | - |3499 |7835 | 0 | 0 | 0 | 537k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
1231.57/1231.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1231.57/1231.92 c 1203s| 1030k| 2993 | 0 | 0.0 | 23M|3086 | - |3499 |7833 | 0 | 0 | 0 | 542k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
1243.95/1244.31 c 1215s| 1040k| 2992 | 0 | 0.0 | 23M|3086 | - |3499 |7831 | 0 | 0 | 0 | 547k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
1256.86/1257.25 c 1228s| 1050k| 2988 | 0 | 0.0 | 23M|3086 | - |3499 |7840 | 0 | 0 | 0 | 553k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
1269.06/1269.46 c 1240s| 1060k| 2999 | 0 | 0.0 | 23M|3086 | - |3499 |7839 | 0 | 0 | 0 | 558k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
1281.55/1281.91 c 1252s| 1070k| 2992 | 0 | 0.0 | 23M|3086 | - |3499 |7838 | 0 | 0 | 0 | 563k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
1294.34/1294.78 c 1264s| 1080k| 2989 | 0 | 0.0 | 23M|3086 | - |3499 |7834 | 0 | 0 | 0 | 569k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
1307.23/1307.61 c 1277s| 1090k| 2999 | 0 | 0.0 | 23M|3086 | - |3499 |7836 | 0 | 0 | 0 | 574k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
1320.03/1320.45 c 1290s| 1100k| 2988 | 0 | 0.0 | 23M|3086 | - |3499 |7826 | 0 | 0 | 0 | 580k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
1332.33/1332.80 c 1302s| 1110k| 2992 | 0 | 0.0 | 23M|3086 | - |3499 |7828 | 0 | 0 | 0 | 586k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
1345.22/1345.61 c 1314s| 1120k| 2991 | 0 | 0.0 | 23M|3086 | - |3499 |7828 | 0 | 0 | 0 | 591k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
1357.83/1358.21 c 1326s| 1130k| 2995 | 0 | 0.0 | 23M|3086 | - |3499 |7831 | 0 | 0 | 0 | 597k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
1370.92/1371.31 c 1339s| 1140k| 2991 | 0 | 0.0 | 23M|3086 | - |3499 |7832 | 0 | 0 | 0 | 602k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
1384.71/1385.13 c 1353s| 1150k| 2995 | 0 | 0.0 | 23M|3086 | - |3499 |7833 | 0 | 0 | 0 | 608k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
1398.11/1398.53 c 1366s| 1160k| 2995 | 0 | 0.0 | 23M|3086 | - |3499 |7825 | 0 | 0 | 0 | 613k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
1411.92/1412.36 c 1379s| 1170k| 2990 | 0 | 0.0 | 23M|3086 | - |3499 |7825 | 0 | 0 | 0 | 619k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
1424.81/1425.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1424.81/1425.29 c 1392s| 1180k| 2993 | 0 | 0.0 | 23M|3086 | - |3499 |7831 | 0 | 0 | 0 | 624k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
1438.50/1438.98 c 1405s| 1190k| 2991 | 0 | 0.0 | 23M|3086 | - |3499 |7829 | 0 | 0 | 0 | 630k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
1451.30/1451.75 c 1418s| 1200k| 2992 | 0 | 0.0 | 23M|3086 | - |3499 |7838 | 0 | 0 | 0 | 635k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
1463.89/1464.35 c 1430s| 1210k| 2990 | 0 | 0.0 | 23M|3086 | - |3499 |7830 | 0 | 0 | 0 | 641k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
1476.19/1476.61 c 1442s| 1220k| 2994 | 0 | 0.0 | 23M|3086 | - |3499 |7829 | 0 | 0 | 0 | 646k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
1488.89/1489.38 c 1455s| 1230k| 2990 | 0 | 0.0 | 23M|3086 | - |3499 |7830 | 0 | 0 | 0 | 651k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
1501.58/1502.01 c 1467s| 1240k| 2993 | 0 | 0.0 | 23M|3086 | - |3499 |7826 | 0 | 0 | 0 | 657k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
1513.58/1514.03 c 1479s| 1250k| 2989 | 0 | 0.0 | 23M|3086 | - |3499 |7835 | 0 | 0 | 0 | 662k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
1526.28/1526.74 c 1491s| 1260k| 2992 | 0 | 0.0 | 23M|3086 | - |3499 |7825 | 0 | 0 | 0 | 668k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
1539.28/1539.74 c 1504s| 1270k| 2992 | 0 | 0.0 | 23M|3086 | - |3499 |7831 | 0 | 0 | 0 | 673k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
1552.57/1553.02 c 1517s| 1280k| 2993 | 0 | 0.0 | 23M|3086 | - |3499 |7829 | 0 | 0 | 0 | 679k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
1565.57/1566.00 c 1530s| 1290k| 2993 | 0 | 0.0 | 23M|3086 | - |3499 |7826 | 0 | 0 | 0 | 684k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
1578.37/1578.87 c 1542s| 1300k| 2996 | 0 | 0.0 | 23M|3086 | - |3499 |7841 | 0 | 0 | 0 | 690k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
1591.27/1591.73 c 1555s| 1310k| 2993 | 0 | 0.0 | 23M|3086 | - |3499 |7830 | 0 | 0 | 0 | 695k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
1603.56/1604.04 c 1567s| 1320k| 2992 | 0 | 0.0 | 23M|3086 | - |3499 |7831 | 0 | 0 | 0 | 701k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
1616.36/1616.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1616.36/1616.84 c 1579s| 1330k| 2987 | 0 | 0.0 | 23M|3086 | - |3499 |7828 | 0 | 0 | 0 | 706k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
1629.25/1629.79 c 1592s| 1340k| 2991 | 0 | 0.0 | 23M|3086 | - |3499 |7832 | 0 | 0 | 0 | 712k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
1641.45/1641.92 c 1604s| 1350k| 2994 | 0 | 0.0 | 23M|3086 | - |3499 |7833 | 0 | 0 | 0 | 717k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
1653.74/1654.27 c 1616s| 1360k| 2994 | 0 | 0.0 | 23M|3086 | - |3499 |7830 | 0 | 0 | 0 | 723k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
1665.95/1666.43 c 1628s| 1370k| 2993 | 0 | 0.0 | 23M|3086 | - |3499 |7834 | 0 | 0 | 0 | 729k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
1678.24/1678.75 c 1640s| 1380k| 2996 | 0 | 0.0 | 23M|3086 | - |3499 |7829 | 0 | 0 | 0 | 734k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
1691.13/1691.70 c 1652s| 1390k| 2989 | 0 | 0.0 | 23M|3086 | - |3499 |7833 | 0 | 0 | 0 | 740k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
1703.34/1703.89 c 1664s| 1400k| 2991 | 0 | 0.0 | 23M|3086 | - |3499 |7830 | 0 | 0 | 0 | 745k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
1716.44/1716.96 c 1677s| 1410k| 2993 | 0 | 0.0 | 23M|3086 | - |3499 |7828 | 0 | 0 | 0 | 751k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
1729.93/1730.46 c 1690s| 1420k| 2988 | 0 | 0.0 | 23M|3086 | - |3499 |7825 | 0 | 0 | 0 | 756k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
1743.23/1743.78 c 1703s| 1430k| 2995 | 0 | 0.0 | 23M|3086 | - |3499 |7844 | 0 | 0 | 0 | 761k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
1757.32/1757.83 c 1717s| 1440k| 2991 | 0 | 0.0 | 23M|3086 | - |3499 |7831 | 0 | 0 | 0 | 766k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
1772.51/1773.01 c 1732s| 1450k| 2990 | 0 | 0.0 | 23M|3086 | - |3499 |7841 | 0 | 0 | 0 | 772k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
1786.92/1787.42 c 1746s| 1460k| 2995 | 0 | 0.0 | 23M|3086 | - |3499 |7832 | 0 | 0 | 0 | 777k| 0 | 3.000000e+00 | 1.700000e+01 | 466.67%
1800.01/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.01/1800.50 c
1800.01/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.50 c Solving Time (sec) : 1758.77
1800.01/1800.50 c Solving Nodes : 1468946
1800.01/1800.50 c Primal Bound : +1.70000000000000e+01 (4 solutions)
1800.01/1800.50 c Dual Bound : +3.00000000000000e+00
1800.01/1800.50 c Gap : 466.67 %
1800.01/1800.53 s SATISFIABLE
1800.01/1800.53 v -x206 -x205 -x6666 -x6660 -x6655 -x6653 -x204 -x6648 -x203 -x6646 -x202 -x6643 -x6641 -x6638 -x6636 -x6633 -x201 -x6631 -x6628
1800.01/1800.53 v -x200 -x6626 -x6624 -x6622 -x6618 -x199 -x6615 -x6612 -x6609 -x6607 -x6605 -x198 -x6603 -x6601 -x6599 -x6597 -x6594 -x6592 -x6590
1800.01/1800.53 v -x6588 -x6585 -x6583 -x197 -x6580 -x196 -x6576 -x195 -x6574 -x6571 -x194 -x6569 -x6567 -x6565 -x6563 -x6561 -x6559 -x6557
1800.01/1800.53 v -x193 -x6555 -x6553 -x192 -x6550 -x6547 -x6545 -x6542 -x6540 -x191 -x6538 -x6536 -x6532 -x6530 -x190 -x6527 -x6525 -x6523 -x6521
1800.01/1800.53 v -x6519 -x6517 -x6515 -x6511 -x6509 -x6507 -x6505 -x6503 -x6501 -x189 -x6499 -x6497 -x188 -x6494 -x6492 -x6490 -x6488 -x6485
1800.01/1800.53 v -x6483 -x187 -x6481 -x6479 -x6476 -x6473 -x6471 -x186 -x6469 -x6467 -x6465 -x6463 -x6461 -x6459 -x6457 -x6454 -x6452 -x6450
1800.01/1800.53 v -x6448 -x6446 -x6444 -x6442 -x185 -x6440 -x6438 -x6436 -x6434 -x6432 -x6430 -x6428 -x184 -x6426 -x6424 -x6422 -x6420 -x6417
1800.01/1800.53 v -x6415 -x6413 -x6411 -x6409 -x6407 -x6405 -x6403 -x6401 -x6399 -x183 -x6397 -x6395 -x6393 -x6391 -x6389 -x6387 -x6385 -x6382
1800.01/1800.53 v -x6380 -x6378 -x6376 -x6373 -x6371 -x182 -x6369 -x6367 -x6365 -x6363 -x6361 -x6359 -x6357 -x6355 -x6353 -x6351 -x6349 -x6347
1800.01/1800.53 v -x6345 -x6343 -x6341 -x6339 -x6337 -x6334 -x6332 -x6330 -x6328 -x6325 -x6323 -x6321 -x6319 -x6317 -x6315 -x181 -x6311 -x180
1800.01/1800.53 v -x6309 -x6307 -x6305 -x179 -x6302 -x6300 -x6298 -x6296 -x6294 -x6292 -x178 -x6290 -x6288 -x177 -x6286 -x6284 -x6282 -x6280
1800.01/1800.53 v -x6278 -x6276 -x176 -x6273 -x6270 -x6268 -x6266 -x6264 -x6262 -x175 -x6260 -x6258 -x6256 -x6254 -x6252 -x6250 -x6248 -x6246 -x6244
1800.01/1800.53 v -x6242 -x6239 -x6237 -x6235 -x6233 -x174 -x6231 -x6228 -x173 -x6226 -x6224 -x6222 -x6220 -x6217 -x6215 -x172 -x6213 -x6211
1800.01/1800.53 v -x6208 -x6206 -x6204 -x6202 -x6200 -x6198 -x6196 -x6194 -x6192 -x6190 -x6188 -x6186 -x6184 -x6181 -x6179 -x6177 -x6175 -x171
1800.01/1800.53 v -x6173 -x6170 -x6168 -x6166 -x6164 -x6162 -x170 -x6160 -x6158 -x6156 -x6154 -x6152 -x6150 -x6147 -x6145 -x6143 -x6141 -x6139
1800.01/1800.53 v -x6137 -x6134 -x169 -x6132 -x6130 -x6128 -x6125 -x6122 -x6120 -x6117 -x6115 -x6113 -x6111 -x6109 -x168 -x6107 -x6105 -x6103
1800.01/1800.53 v -x6101 -x6099 -x6097 -x6094 -x6092 -x6090 -x6088 -x6086 -x6084 -x6082 -x6080 -x6078 -x6076 -x6074 -x6072 -x6070 -x6068 -x6066
1800.01/1800.53 v -x6064 -x6062 -x6060 -x6058 -x6056 -x6054 -x6051 -x6049 -x167 -x6047 -x6044 -x166 -x6042 -x6039 -x6037 -x6035 -x6033 -x6031
1800.01/1800.53 v -x165 -x6029 -x6027 -x6024 -x6022 -x6020 -x6018 -x164 -x6016 -x6014 -x6012 -x6010 -x6008 -x6006 -x6004 -x6002 -x6000 -x5998
1800.01/1800.53 v -x5996 -x5994 -x5992 -x5990 -x5988 -x163 -x5986 -x5984 -x5982 -x5980 -x5977 -x5975 -x162 -x5973 -x5971 -x5969 -x5967 -x5965
1800.01/1800.53 v -x5963 -x5961 -x5958 -x5956 -x5954 -x5952 -x5949 -x5947 -x161 -x5945 -x5943 -x5941 -x5939 -x5937 -x5935 -x5933 -x5930 -x5928
1800.01/1800.53 v -x5926 -x5923 -x5921 -x5919 -x160 -x5917 -x5915 -x5913 -x5911 -x5909 -x5907 -x5905 -x5903 -x5901 -x5899 -x5897 -x5895 -x5893
1800.01/1800.53 v -x5891 -x5889 -x5887 -x5885 -x5883 -x5881 -x5879 -x5877 -x5875 -x5873 -x5871 -x5869 -x5867 -x5865 -x5863 -x5860 -x5858 -x159
1800.01/1800.53 v -x5856 -x5854 -x5852 -x5850 -x5848 -x5846 -x5844 -x158 -x5842 -x5840 -x5838 -x5836 -x5834 -x5832 -x5830 -x5828 -x5826 -x5824
1800.01/1800.53 v -x5822 -x5820 -x5818 -x5816 -x5814 -x157 -x156 -x5810 -x5808 -x155 -x5805 -x154 -x5802 -x5800 -x5798 -x5796 -x5794 -x5792 -x5790
1800.01/1800.53 v -x153 -x5788 -x5786 -x5784 -x152 -x5782 -x5779 -x5777 -x5775 -x5773 -x5771 -x151 -x5769 -x5767 -x5765 -x5763 -x5760 -x5758
1800.01/1800.53 v -x150 -x5756 -x5754 -x5752 -x5750 -x5748 -x5746 -x5744 -x5741 -x5739 -x5737 -x5735 -x5733 -x5731 -x5729 -x149 -x5727 -x5725
1800.01/1800.53 v -x5723 -x148 -x5721 -x5719 -x5717 -x5715 -x5713 -x5711 -x5709 -x147 -x5707 -x5705 -x5703 -x5701 -x5699 -x5697 -x5695 -x146
1800.01/1800.53 v -x5693 -x5691 -x5689 -x5687 -x5685 -x5683 -x5681 -x5679 -x5677 -x5675 -x5673 -x5671 -x5669 -x5667 -x5665 -x145 -x5663 -x5661
1800.01/1800.53 v -x5659 -x5657 -x5655 -x5653 -x5651 -x144 -x5649 -x5647 -x5645 -x5643 -x5641 -x5639 -x5637 -x5635 -x5633 -x5631 -x5629 -x5627
1800.01/1800.53 v -x5625 -x5623 -x5621 -x143 -x5619 -x5617 -x5615 -x5613 -x5611 -x5609 -x5607 -x5605 -x5603 -x5601 -x5599 -x5597 -x5595 -x5593
1800.01/1800.53 v -x5591 -x142 -x5589 -x5587 -x5585 -x5583 -x5581 -x5579 -x5577 -x5575 -x5573 -x5571 -x5569 -x5567 -x5565 -x5563 -x5561 -x5559
1800.01/1800.53 v -x5557 -x5555 -x5553 -x5551 -x5549 -x5547 -x5545 -x5543 -x5541 -x5539 -x5537 -x5535 -x5533 -x5531 -x5529 -x141 -x5527 -x5525
1800.01/1800.53 v -x140 -x5522 -x5520 -x5518 -x5516 -x5514 -x5511 -x139 -x5509 -x5507 -x5504 -x5502 -x5500 -x5498 -x138 -x5496 -x5494 -x5492 -x5490
1800.01/1800.53 v -x5488 -x5486 -x5484 -x5482 -x5480 -x5478 -x5476 -x5474 -x5472 -x5470 -x5468 -x137 -x5466 -x5464 -x5462 -x5460 -x5458 -x5456
1800.01/1800.53 v -x5454 -x136 -x5452 -x5449 -x5447 -x5445 -x5443 -x5441 -x5439 -x5437 -x5435 -x5432 -x5430 -x5428 -x5426 -x135 -x5424 -x5422
1800.01/1800.53 v -x5420 -x5418 -x5415 -x5413 -x5411 -x5409 -x5407 -x5405 -x5403 -x5401 -x5399 -x5397 -x5395 -x5393 -x5391 -x5389 -x5387 -x5384
1800.01/1800.53 v -x5382 -x5380 -x5378 -x5376 -x5374 -x5372 -x5370 -x5368 -x5366 -x5364 -x5362 -x5359 -x5357 -x5355 -x5353 -x5351 -x5349 -x5347
1800.01/1800.53 v -x5345 -x5343 -x5341 -x5338 -x134 -x5336 -x5334 -x5331 -x5329 -x5327 -x5325 -x133 -x5323 -x5321 -x5319 -x5317 -x5315 -x5313
1800.01/1800.53 v -x5311 -x5308 -x5306 -x5304 -x5302 -x5300 -x5298 -x5296 -x132 -x5294 -x5292 -x5290 -x5288 -x5285 -x5283 -x5281 -x5279 -x5277
1800.01/1800.53 v -x5275 -x5273 -x5271 -x5269 -x5267 -x131 -x5265 -x5263 -x5261 -x5259 -x5257 -x5255 -x5253 -x5251 -x5249 -x5247 -x5245 -x5243
1800.01/1800.53 v -x5241 -x5239 -x5237 -x5235 -x5233 -x5231 -x5229 -x5227 -x5225 -x5223 -x5221 -x5219 -x5217 -x5215 -x5213 -x5211 -x5209 -x5207
1800.01/1800.53 v -x5205 -x130 -x5203 -x5201 -x5199 -x5197 -x5195 -x5193 -x5191 -x5189 -x5187 -x5185 -x5183 -x5181 -x5179 -x5177 -x5175 -x129
1800.01/1800.53 v -x5173 -x5171 -x5169 -x5167 -x5165 -x5163 -x5161 -x5159 -x5157 -x5155 -x5153 -x5151 -x5149 -x5147 -x5145 -x5143 -x5141 -x5139
1800.01/1800.53 v -x5137 -x5135 -x5133 -x5131 -x5129 -x5127 -x5125 -x5123 -x5121 -x5119 -x5117 -x5115 -x5113 -x128 -x5110 -x5108 -x5106 -x5104
1800.01/1800.53 v -x5102 -x5099 -x5097 -x5095 -x5093 -x5091 -x5089 -x5086 -x5084 -x5082 -x5080 -x5078 -x5076 -x5074 -x5072 -x5070 -x5068
1800.01/1800.53 v -x5066 -x5064 -x5062 -x5060 -x5058 -x5056 -x127 -x5054 -x5052 -x5050 -x5048 -x5046 -x5044 -x5042 -x5040 -x5038 -x5036 -x5034
1800.01/1800.53 v -x5032 -x5030 -x5028 -x5026 -x5024 -x5022 -x5020 -x5018 -x5016 -x5014 -x5011 -x5009 -x5007 -x5005 -x5003 -x5001 -x4999 -x4997
1800.01/1800.53 v -x4995 -x4993 -x4990 -x4988 -x4986 -x4984 -x4982 -x4980 -x4978 -x4976 -x4974 -x4972 -x4970 -x4968 -x4966 -x4964 -x4962 -x4960
1800.01/1800.53 v -x4958 -x4956 -x4954 -x4952 -x4950 -x4948 -x4946 -x4944 -x4942 -x4940 -x4938 -x4936 -x4934 -x4932 -x126 -x4930 -x4928 -x125
1800.01/1800.53 v -x4925 -x4923 -x4921 -x4919 -x4916 -x4914 -x124 -x4912 -x4910 -x4907 -x4905 -x4903 -x4901 -x123 -x4899 -x4897 -x4895 -x4893
1800.01/1800.53 v -x4891 -x4889 -x4887 -x4885 -x4883 -x4881 -x4879 -x4877 -x4875 -x4873 -x4871 -x122 -x4869 -x4867 -x4865 -x4863 -x4861 -x4859
1800.01/1800.53 v -x4857 -x121 -x4855 -x4853 -x4851 -x4849 -x4846 -x4844 -x4842 -x4840 -x4838 -x4836 -x4834 -x4832 -x4830 -x4828 -x120 -x4826 -x4824
1800.01/1800.53 v -x4822 -x4820 -x4818 -x4816 -x4814 -x4811 -x4809 -x4807 -x4805 -x4803 -x4801 -x4799 -x119 -x4797 -x4795 -x4793 -x4791 -x4789
1800.01/1800.53 v -x4787 -x4785 -x4783 -x4781 -x4779 -x4777 -x4775 -x4773 -x4771 -x4769 -x4767 -x4765 -x4763 -x4761 -x4759 -x4757 -x4755
1800.01/1800.53 v -x4753 -x4751 -x4749 -x4747 -x4745 -x4743 -x4741 -x4738 -x118 -x4736 -x4734 -x4732 -x4729 -x4727 -x4725 -x117 -x4723 -x4721 -x4719
1800.01/1800.53 v -x4717 -x4715 -x4713 -x4711 -x4709 -x4707 -x4705 -x4703 -x4700 -x4698 -x4696 -x116 -x4694 -x4692 -x4690 -x4687 -x4685 -x4683
1800.01/1800.53 v -x4681 -x4679 -x4677 -x4675 -x4673 -x4671 -x4668 -x115 -x4666 -x4664 -x4662 -x4660 -x4658 -x4656 -x4654 -x4652 -x4650 -x4648
1800.01/1800.53 v -x4646 -x4644 -x4642 -x4640 -x4638 -x4636 -x4634 -x4632 -x4630 -x4628 -x4626 -x4624 -x4622 -x4620 -x4618 -x4616 -x4614
1800.01/1800.53 v -x4612 -x4610 -x4608 -x4606 -x114 -x4604 -x4602 -x4600 -x4598 -x4596 -x4594 -x4592 -x4590 -x4588 -x4586 -x4584 -x4582 -x4580
1800.01/1800.53 v -x4578 -x4576 -x113 -x4574 -x4572 -x4570 -x4568 -x4566 -x4564 -x4562 -x4560 -x4558 -x4556 -x4554 -x4552 -x4550 -x4548 -x4546
1800.01/1800.53 v -x4544 -x4542 -x4540 -x4538 -x4536 -x4534 -x4532 -x4530 -x4528 -x4525 -x4523 -x4521 -x4519 -x4517 -x112 -x4515 -x4513 -x4511
1800.01/1800.53 v -x4508 -x4506 -x4504 -x4502 -x4500 -x4498 -x4496 -x4494 -x4492 -x4490 -x4488 -x4486 -x4484 -x4482 -x4480 -x4478 -x4476 -x4474
1800.01/1800.53 v -x4472 -x4470 -x4468 -x4466 -x4464 -x4462 -x4460 -x4458 -x4456 -x111 -x4454 -x4452 -x4450 -x4448 -x4446 -x4444 -x4441 -x4439
1800.01/1800.53 v -x4437 -x4435 -x4433 -x4431 -x4429 -x4427 -x4425 -x4423 -x4421 -x4419 -x4417 -x4415 -x4413 -x4411 -x4409 -x4407 -x4405 -x4403
1800.01/1800.53 v -x4401 -x4399 -x4397 -x4395 -x4393 -x4391 -x4389 -x4387 -x4385 -x4383 -x4381 -x4379 -x4377 -x4375 -x4373 -x4371 -x4369 -x4367
1800.01/1800.53 v -x4365 -x4363 -x4361 -x4359 -x4357 -x4355 -x4353 -x4351 -x4349 -x4347 -x4345 -x4343 -x4341 -x4339 -x4337 -x4335 -x4333 -x4331
1800.01/1800.53 v -x4329 -x4327 -x4325 -x4323 -x4321 -x4319 -x4317 -x110 -x4315 -x4313 -x4311 -x4309 -x4307 -x4305 -x4303 -x4301 -x4299 -x4297
1800.01/1800.53 v -x4295 -x4293 -x4291 -x4289 -x4287 -x109 -x4285 -x4283 -x4281 -x4279 -x4277 -x4275 -x4273 -x4271 -x4269 -x4267 -x4265 -x4263
1800.01/1800.53 v -x4261 -x4259 -x108 -x4256 -x4254 -x4252 -x4250 -x4248 -x4246 -x4244 -x4242 -x4240 -x4238 -x4236 -x4234 -x4232 -x4230 -x4228
1800.01/1800.53 v -x4226 -x4224 -x4222 -x4220 -x4218 -x4216 -x4214 -x4212 -x4210 -x4208 -x4206 -x4204 -x4202 -x4200 -x4198 -x4196 -x107 -x4194
1800.01/1800.53 v x106 -x4191 -x4189 -x105 -x4186 -x104 -x4183 -x4181 -x4179 -x4177 -x4175 -x4173 -x4171 -x103 -x4169 -x4167 -x4165 -x102 -x4163
1800.01/1800.53 v -x4161 -x4159 -x4157 -x4155 -x4153 -x101 -x4150 -x4148 -x100 -x4146 -x4144 -x4142 -x4140 -x4138 -x4136 -x4134 -x99 -x4132
1800.01/1800.53 v -x4130 -x4128 -x4126 -x4124 -x4122 -x4120 -x98 -x4118 -x4116 -x4114 -x4112 -x4110 -x4108 -x4106 -x4104 -x4102 -x4100 -x4098
1800.01/1800.53 v -x4096 -x4094 -x4092 -x4090 -x97 -x4088 -x4086 -x4084 -x4082 -x4080 -x4078 -x4076 -x96 -x4074 -x4072 -x4070 -x4068 -x4066 -x4064
1800.01/1800.53 v -x4062 -x4060 -x4058 -x4056 -x4054 x4052 -x4050 -x4048 -x4046 -x4044 -x4042 -x4040 -x95 -x4038 -x4036 -x4034 -x4032 -x4030
1800.01/1800.53 v x4028 -x4026 -x4024 -x4022 -x4020 -x4018 -x4016 -x4014 -x4012 -x94 -x4010 -x4008 -x4006 -x4004 -x4002 -x4000 -x3998 -x3996
1800.01/1800.53 v -x3994 -x3992 -x3989 -x3987 -x3985 -x3983 -x93 -x3981 -x3978 -x92 -x3976 -x3974 -x3971 -x3969 -x3967 -x3965 -x3963 -x3961 -x3959
1800.01/1800.53 v -x3957 -x3955 -x3953 -x3951 -x91 -x3949 -x3947 -x3945 -x3943 -x3941 -x3939 -x3937 -x90 -x3935 -x3933 -x3931 -x3929 -x3927
1800.01/1800.53 v -x3925 -x3923 -x3921 -x3919 -x3917 -x3915 -x3913 -x3911 -x3909 -x3907 -x89 -x3905 -x3902 -x3900 -x3898 -x3896 -x3894 -x88
1800.01/1800.53 v -x3892 -x3890 -x3888 -x3886 -x3884 -x3881 -x3879 -x3877 -x3875 -x3873 -x3871 -x3869 -x3867 -x3865 -x87 -x3863 -x3861 -x3859 -x3857
1800.01/1800.53 v -x3855 -x3853 -x3851 -x3849 -x3847 -x3845 -x3843 -x3841 -x3839 -x3837 -x3835 -x86 -x3833 -x3831 -x3829 -x3827 -x3825 -x3823
1800.01/1800.53 v -x3821 -x3819 -x3817 -x3815 -x3813 -x3811 -x3809 -x3807 -x3805 -x3803 -x3801 -x3799 -x3797 -x3795 -x3793 -x3791 -x3789 -x3787
1800.01/1800.53 v -x3785 -x3783 -x3781 -x3779 -x3776 -x3774 -x85 -x3772 -x3769 x84 -x3767 -x3765 -x3763 -x3761 -x3759 -x3756 -x83 -x3754
1800.01/1800.53 v -x3752 -x3750 -x3747 -x3745 -x3743 -x82 -x3741 -x3739 -x3737 -x3735 -x3733 -x3731 -x3729 -x3727 -x3725 -x3723 -x3721 -x3719 -x3717
1800.01/1800.53 v -x3715 -x3713 -x81 -x3711 -x3709 -x3707 -x3705 -x3703 -x3701 -x3699 -x80 -x3697 -x3695 -x3693 -x3691 -x3689 -x3687 -x3685
1800.01/1800.53 v -x79 -x3683 -x3681 -x3679 -x3677 -x3675 -x3673 -x3671 -x3669 -x3667 -x3665 -x3663 -x3661 -x3659 -x3657 -x3655 -x78 -x3653
1800.01/1800.53 v -x3651 -x3649 -x3647 -x3645 -x3643 -x3641 -x3639 -x3637 -x3635 -x3633 -x3631 -x3629 -x3627 -x3625 -x77 -x3623 -x3621 -x3619 -x3617
1800.01/1800.53 v -x3615 -x3613 -x3611 -x3609 -x3607 -x3605 -x3603 -x3601 -x3599 -x3597 -x3595 -x3593 -x3591 -x3589 x3587 -x3585 -x3583 -x3581
1800.01/1800.53 v -x3579 -x3577 -x3575 -x3573 -x3571 -x3569 -x3567 -x3565 -x3563 -x3561 -x3559 -x3557 -x3555 -x3553 -x3551 -x3549 -x3547
1800.01/1800.53 v -x3545 -x3543 -x3541 -x3539 -x3537 -x3535 -x3533 -x76 -x3531 -x3529 -x3527 -x3525 -x3522 -x3520 -x75 -x3518 -x3516 -x3514 -x3512
1800.01/1800.53 v -x3510 -x3507 -x3505 -x3503 -x3501 -x3499 -x3497 -x3495 -x3493 -x3491 -x74 -x3489 -x3487 -x3485 -x3483 -x3481 -x3479 -x3477
1800.01/1800.53 v -x3475 -x3473 -x3471 -x3469 -x3467 -x3465 -x3463 -x3461 -x73 -x3459 -x3457 -x3455 -x3453 -x3451 -x3449 -x3447 -x3445 -x3443
1800.01/1800.53 v -x3441 -x3439 -x3437 -x3435 -x3433 -x3431 -x3429 -x3427 -x3425 -x3423 -x3421 -x3419 -x3417 -x3415 -x3413 -x3411 -x3409 -x3407
1800.01/1800.53 v -x3405 -x3403 -x3401 -x3399 -x72 -x3397 -x3395 -x3393 -x3391 -x3389 -x3387 -x3385 -x71 -x3383 -x3381 -x3379 -x3377 -x3375
1800.01/1800.53 v -x3373 -x3371 -x3369 -x3367 -x3365 -x3363 -x3361 -x3359 -x3357 -x3355 -x70 -x3353 -x3351 -x3349 -x3347 -x3345 -x3343 -x3341 -x3339
1800.01/1800.53 v -x3337 -x3335 -x3333 -x3331 -x3329 -x3327 -x3325 -x69 -x3323 -x3321 -x3319 -x3317 -x3315 -x3313 -x3311 -x3309 -x3307 -x3305
1800.01/1800.53 v -x3303 -x3301 -x3299 -x3297 -x3295 -x3293 -x3291 -x3289 -x3287 -x3285 -x3283 -x3281 -x3279 -x3277 -x3275 -x3273 -x3271 -x3269
1800.01/1800.53 v -x3267 -x3265 -x3263 -x68 -x3261 -x3259 -x3257 -x3255 -x3253 -x3251 -x3249 -x3247 -x3245 -x3243 -x3241 -x3238 -x3236 -x3234
1800.01/1800.53 v -x67 -x3232 -x3230 -x3228 -x3226 -x3224 -x3222 -x3219 -x3217 -x3215 -x3213 -x3211 -x3209 -x3207 -x3205 -x3203 -x3201 -x3199
1800.01/1800.53 v -x3197 -x3195 -x3193 -x3191 -x3189 -x3187 -x3185 -x3183 -x3181 -x3179 -x3177 -x3175 -x3173 -x66 -x3171 -x3169 -x3167 -x3165
1800.01/1800.53 v -x3163 -x3161 -x3159 -x3157 -x3155 -x3153 -x3151 -x3149 -x3147 -x3145 -x3143 -x3141 -x3139 -x3137 -x3135 -x3133 -x3131 -x3129
1800.01/1800.53 v -x3127 -x3125 -x3123 -x3121 -x3119 -x3117 -x3115 -x3113 -x3111 -x65 -x3109 -x3107 -x3105 -x3103 -x3101 -x3099 -x3097 -x3095
1800.01/1800.53 v -x3093 -x3091 -x3089 -x3087 -x3085 -x3083 -x3081 -x3079 -x3077 -x3075 -x3073 -x3071 -x3069 -x3067 -x3065 -x3063 -x3061 -x3059
1800.01/1800.53 v -x3055 -x3053 -x3051 -x3049 -x3047 -x3045 -x3043 -x3041 -x3039 -x3037 -x3035 -x3033 -x3031 -x3029 -x3027 -x3025 -x3023 -x3021
1800.01/1800.53 v -x3019 -x3017 -x3015 -x3013 -x3011 -x3009 -x3007 -x3005 -x3003 -x3001 -x2999 -x2997 -x2995 -x2993 -x2991 -x2989 -x2987 -x64
1800.01/1800.53 v -x2985 x63 -x2982 -x2980 -x62 -x2978 -x2976 -x2974 -x61 -x2972 -x2970 -x2968 -x2966 -x2964 -x2962 -x2960 -x60 -x2958 -x2956
1800.01/1800.53 v -x59 -x2954 -x2952 -x2950 -x2948 -x2946 -x2944 -x2942 -x58 -x2940 -x2938 -x2936 -x2934 -x2932 -x2930 -x2928 -x57 -x2926 -x2924
1800.01/1800.53 v -x2922 -x2920 -x2918 -x2916 -x2914 -x2912 -x2910 -x2908 -x2906 -x2904 -x2902 -x2900 -x2898 -x56 -x2896 -x2894 -x2892 -x55
1800.01/1800.53 v -x2890 -x2888 -x2886 -x2884 -x2882 -x2880 -x2878 -x54 -x2876 -x2874 -x2872 -x2870 -x2868 -x2866 -x2864 -x53 -x2862 -x2860 -x2858
1800.01/1800.53 v -x2856 -x2854 -x2852 -x2850 -x2848 -x2846 -x2844 -x2842 -x2840 -x2838 -x2836 -x2834 -x52 -x2832 -x2830 -x2828 -x2826 -x2824
1800.01/1800.53 v -x2822 -x2820 -x51 -x2818 -x2816 -x2814 -x2812 -x2810 -x2808 -x2806 -x2804 -x2802 -x2800 -x2798 -x2796 -x2794 -x2792 -x2790
1800.01/1800.53 v -x50 -x2788 -x2786 -x2784 -x2782 -x2780 -x2778 -x2776 -x2774 -x2772 -x2770 -x2768 -x2766 -x2764 -x2762 -x2760 -x49 -x2758
1800.01/1800.53 v -x2756 -x2754 -x2752 -x2750 -x2748 -x2746 -x2744 -x2742 -x2740 -x2738 -x2736 -x2734 -x2732 -x2730 -x2728 -x2726 -x2724 -x2722
1800.01/1800.53 v -x2720 -x2718 -x2716 -x2714 -x2712 -x2710 -x2708 -x2706 -x2704 -x2702 -x2700 -x2698 -x48 -x2696 -x2694 -x2692 -x47 -x2690 -x2688
1800.01/1800.53 v -x2686 -x2684 -x2682 -x2680 -x2678 -x46 -x2676 -x2674 -x2672 -x2670 -x2668 -x2666 -x2664 -x45 -x2662 -x2660 -x2658 -x2656
1800.01/1800.53 v -x2654 -x2652 -x2650 -x2648 -x2646 -x2644 -x2642 -x2640 -x2638 -x2636 -x2634 -x44 -x2632 -x2630 -x2628 -x2626 -x2624 -x2622
1800.01/1800.53 v -x2620 -x43 -x2618 -x2616 -x2614 -x2612 -x2610 -x2608 -x2606 -x2604 -x2602 -x2600 -x2598 -x2596 -x2594 -x2592 -x2590 -x42 -x2588
1800.01/1800.53 v -x2586 -x2584 -x2582 -x2580 -x2578 -x2576 -x2574 -x2572 -x2570 -x2568 -x2566 -x2564 -x2562 -x2560 -x41 -x2558 -x2556 -x2554
1800.01/1800.53 v -x2552 -x2550 -x2548 -x2546 -x2544 -x2542 -x2540 -x2538 -x2536 -x2534 -x2532 -x2530 -x2528 -x2526 -x2524 -x2522 -x2520 -x2518
1800.01/1800.53 v -x2516 -x2514 -x2512 -x2510 -x2508 -x2506 -x2504 -x2502 -x2500 -x2498 -x40 -x2496 -x2494 -x2492 -x2490 -x2488 -x2486 -x2484
1800.01/1800.53 v -x39 -x2482 -x2480 -x2478 -x2476 -x2474 -x2472 -x2470 -x2468 -x2466 -x2464 -x2462 -x2460 -x2458 -x2456 -x2454 -x38 -x2452
1800.01/1800.53 v -x2450 -x2448 -x2446 -x2444 -x2442 -x2440 -x2438 -x2436 -x2434 -x2432 -x2430 -x2428 -x2426 -x2424 -x37 -x2422 -x2420 -x2418
1800.01/1800.53 v -x2416 -x2414 -x2412 -x2410 -x2408 -x2406 -x2404 -x2402 -x2400 -x2398 -x2396 -x2394 -x2392 -x2390 -x2388 -x2386 -x2384 -x2382
1800.01/1800.53 v -x2380 -x2378 -x2376 -x2374 -x2372 -x2370 -x2368 -x2366 -x2364 -x36 -x2362 -x2360 -x2358 -x2356 -x2354 -x2352 -x2350 -x2348
1800.01/1800.53 v -x2346 -x2344 -x2342 -x2340 -x2338 -x2336 -x2334 -x35 -x2332 -x2330 -x2328 -x2326 -x2324 -x2322 -x2320 -x2318 -x2316 -x2314
1800.01/1800.53 v -x2312 -x2310 -x2308 -x2306 -x2304 -x2302 -x2300 -x2298 -x2296 -x2294 -x2292 -x2290 -x2288 -x2286 -x2284 -x2282 -x2280 -x2278
1800.01/1800.53 v -x2276 -x2274 -x2272 -x34 -x2270 -x2268 -x2266 -x2264 -x2262 -x2260 -x2258 -x2256 -x2254 -x2252 -x2250 -x2248 -x2246 -x2244
1800.01/1800.53 v -x2242 -x2240 -x2238 -x2236 -x2234 -x2232 -x2230 -x2228 -x2226 -x2224 -x2222 -x2220 -x2218 -x2216 -x2214 -x2212 -x2210 -x33 -x2208
1800.01/1800.53 v -x2206 -x2204 -x2202 -x2200 -x2198 -x2196 -x2194 -x2192 -x2190 -x2188 -x2186 -x2184 -x2182 -x2180 -x2178 -x2176 -x2174
1800.01/1800.53 v -x2172 -x2170 -x2168 -x2166 -x2164 -x2162 -x2160 -x2158 -x2156 -x2154 -x2152 -x2150 -x2148 -x2146 -x2144 -x2142 -x2140 -x2138
1800.01/1800.53 v -x2136 -x2134 -x2132 -x2130 -x2128 -x2126 -x2124 -x2122 -x2120 -x2118 -x2116 -x2114 -x2112 -x2110 -x2108 -x2106 -x2104 -x2102
1800.01/1800.53 v -x2100 -x2098 -x2096 -x2094 -x2092 -x2090 -x2088 -x2086 -x2084 -x32 -x2082 -x2080 -x31 -x2077 -x2075 -x2073 -x2071 -x2069 -x2067
1800.01/1800.53 v -x2065 -x30 -x2063 -x2061 -x2059 -x2057 -x2055 -x2053 -x2051 -x29 -x2049 -x2047 -x2045 -x2043 -x2041 -x2039 -x2037 -x2035
1800.01/1800.53 v -x2033 -x2031 -x2029 -x2027 -x2025 -x2023 -x2021 -x28 -x2019 -x2017 -x2015 -x2013 -x2011 -x2009 -x2007 -x27 -x2005 -x2003
1800.01/1800.53 v -x2000 -x1998 -x1996 -x1994 -x1992 -x1990 -x1988 -x1986 -x1984 -x1982 -x1980 -x1978 -x26 -x1976 -x1974 -x1972 -x1970 -x1968 -x1966
1800.01/1800.53 v -x1964 -x1962 -x1960 -x1958 -x1956 -x1954 -x1952 -x1950 -x1948 -x25 -x1946 -x1944 -x1942 -x1940 -x1938 -x1936 -x1934 -x1932
1800.01/1800.53 v -x1930 -x1928 -x1926 -x1924 -x1922 -x1920 -x1918 -x1916 -x1914 -x1912 -x1910 -x1908 -x1906 -x1904 -x1902 -x1900 -x1898 -x1896
1800.01/1800.53 v -x1894 -x1892 -x1890 -x1888 -x1886 -x24 -x1884 -x1882 -x1880 -x1878 -x1876 -x1874 -x1872 -x23 -x1870 -x1868 -x1866 -x1864
1800.01/1800.53 v -x1862 -x1860 -x1858 -x1856 -x1854 -x1852 -x1850 -x1848 -x1846 -x1844 -x1842 -x22 -x1840 -x1838 -x1836 -x1833 -x1831 -x1829
1800.01/1800.53 v -x1827 -x1825 -x1823 -x1821 -x1819 -x1817 -x1815 -x1813 -x21 -x1811 -x1809 -x1807 -x1805 -x1803 -x1801 -x1799 -x1797 -x1795
1800.01/1800.53 v -x1793 -x1791 -x1789 -x1787 -x1785 -x1783 -x1781 -x1779 -x1777 -x1775 -x1773 -x1771 -x1769 -x1767 -x1765 -x1763 -x1761 -x1759
1800.01/1800.53 v -x1757 -x1755 -x1753 -x1751 -x20 -x1749 -x1747 -x1745 -x1743 -x1741 -x1739 -x1737 -x1735 -x1733 -x1731 -x1729 -x1727 -x1725
1800.01/1800.53 v -x1723 -x1721 -x19 -x1719 -x1717 -x1715 -x1713 -x1711 -x1709 -x1707 -x1705 -x1703 -x1701 -x1699 -x1697 -x1695 -x1693 -x1691
1800.01/1800.53 v -x1689 -x1687 -x1685 -x1683 -x1681 -x1679 -x1677 -x1675 -x1673 -x1671 -x1669 -x1666 -x1664 -x1662 -x1660 -x18 -x1658 -x1656 -x1654
1800.01/1800.53 v -x1652 -x1650 -x1648 -x1646 -x1644 -x1642 -x1640 -x1638 -x1636 -x1634 -x1632 -x1630 -x1628 -x1626 -x1624 -x1622 -x1620
1800.01/1800.53 v -x1618 -x1616 -x1614 -x1612 -x1610 -x1608 -x1606 -x1604 -x1602 -x1600 -x1598 -x17 -x1596 -x1594 -x1592 -x1590 -x1588 -x1586 -x1584
1800.01/1800.53 v -x1582 -x1580 -x1578 -x1576 -x1574 -x1572 -x1570 -x1568 -x1566 -x1564 -x1562 -x1560 -x1558 -x1556 -x1554 -x1552 -x1550
1800.01/1800.53 v -x1548 -x1546 -x1544 -x1542 -x1540 -x1538 -x1536 -x1534 -x1532 -x1530 -x1528 -x1526 -x1524 -x1522 -x1520 -x1518 -x1516 -x1514
1800.01/1800.53 v -x1512 -x1510 -x1508 -x1506 -x1504 -x1502 -x1500 -x1498 -x1496 -x1494 -x1492 -x1490 -x1488 -x1486 -x1484 -x1482 -x1480 -x1478
1800.01/1800.53 v -x1476 -x1474 -x1472 -x16 -x1470 -x1468 -x1465 -x1463 -x1461 -x1459 -x15 -x1457 -x1455 -x1453 -x1451 -x1449 -x1447 -x1445 -x1443
1800.01/1800.53 v -x1441 -x1439 -x1437 -x1435 -x1433 -x1431 -x1429 -x14 -x1427 -x1425 -x1423 -x1421 -x1419 -x1417 -x1415 -x1413 -x1411 -x1409
1800.01/1800.53 v -x1407 -x1405 -x1403 -x1401 -x1399 -x13 -x1397 -x1395 -x1393 -x1391 -x1389 -x1387 -x1385 -x1383 -x1381 -x1379 -x1377 -x1375
1800.01/1800.53 v -x1373 -x1371 -x1369 -x1367 -x1365 -x1363 -x1361 -x1359 -x1357 -x1355 -x1353 -x1351 -x1349 -x1347 -x1345 -x1343 -x1341 -x1339
1800.01/1800.53 v -x1337 -x12 -x1335 -x1333 -x1331 -x1329 -x1327 -x1325 -x1323 -x1321 -x1319 -x1317 -x1315 -x1313 -x1311 -x1309 -x1307 -x11
1800.01/1800.53 v -x1305 -x1303 -x1301 -x1299 -x1297 -x1295 -x1293 -x1291 -x1289 -x1287 -x1285 -x1283 -x1281 -x1279 -x1277 -x1275 -x1273 -x1271
1800.01/1800.53 v -x1269 -x1267 -x1265 -x1263 -x1261 -x1259 -x1257 -x1255 -x1253 -x1251 -x1249 -x1247 -x1245 -x10 -x1243 -x1241 -x1239 -x1237
1800.01/1800.53 v -x1235 -x1233 -x1231 -x1229 -x1227 -x1225 -x1223 -x1221 -x1219 -x1217 -x1215 -x1213 -x1211 -x1209 -x1207 -x1205 -x1203 -x1201
1800.01/1800.53 v -x1199 -x1197 -x1195 -x1193 -x1191 -x1189 -x1187 -x1185 -x1183 -x9 -x1181 -x1179 -x1177 -x1175 -x1173 -x1171 -x1169 -x1167
1800.01/1800.53 v -x1165 -x1163 -x1161 -x1159 -x1157 -x1155 -x1153 -x1151 -x1149 -x1147 -x1145 -x1143 -x1141 -x1139 -x1137 -x1135 -x1133 -x1131
1800.01/1800.53 v -x1129 -x1127 -x1125 -x1123 -x1121 -x1119 -x1117 -x1115 -x1113 -x1111 -x1109 -x1107 -x1105 -x1103 -x1101 -x1099 -x1097 -x1095
1800.01/1800.53 v -x1093 -x1091 -x1089 -x1087 -x1085 -x1083 -x1081 -x1079 -x1077 -x1075 -x1073 -x1071 -x1069 -x1067 -x1065 -x1063 -x1061 -x1059
1800.01/1800.53 v -x1057 -x8 -x1055 -x1053 -x1051 -x1049 -x1047 -x1045 -x1043 -x1041 -x1039 -x1037 -x1035 -x1033 -x1031 -x1029 -x1027 -x7 -x1025
1800.01/1800.53 v -x1023 -x1021 -x1019 -x1017 -x1015 -x1013 -x1011 -x1009 -x1007 -x1005 -x1003 -x1001 -x999 -x997 -x995 -x993 -x991 -x989
1800.01/1800.53 v -x987 -x985 -x983 -x981 -x979 -x977 -x975 -x973 -x971 -x969 -x967 -x965 -x6 -x963 -x961 -x959 -x957 -x955 -x953 -x951 -x949
1800.01/1800.53 v -x947 -x945 -x943 -x941 -x939 -x937 -x935 -x933 -x931 -x929 -x927 -x925 -x923 -x921 -x919 -x917 -x915 -x913 -x911 -x909 -x907
1800.01/1800.53 v -x905 -x903 -x5 -x901 -x899 -x897 -x895 -x893 -x891 -x889 -x887 -x885 -x883 -x881 -x879 -x877 -x875 -x873 -x871 -x869 -x867
1800.01/1800.53 v -x865 -x863 -x861 -x859 -x857 -x855 -x853 -x851 -x849 -x847 -x845 -x843 -x841 -x839 -x837 -x835 -x833 -x831 -x829 -x827 -x825
1800.01/1800.53 v -x823 -x821 -x819 -x817 -x815 -x813 -x811 -x809 -x807 -x805 -x803 -x801 -x799 -x797 -x795 -x793 -x791 -x789 -x787 -x785 -x783
1800.01/1800.53 v -x781 -x779 -x777 -x4 -x775 -x773 -x771 -x769 -x767 -x765 -x763 -x761 -x759 -x757 -x755 -x753 -x751 -x749 -x747 -x745 -x743
1800.01/1800.53 v -x741 -x739 -x737 -x735 -x733 -x731 -x729 -x727 -x725 -x723 -x721 -x719 -x717 -x715 -x3 -x713 -x711 -x709 -x707 -x705 -x703
1800.01/1800.53 v -x701 -x699 -x697 -x695 -x693 -x691 -x689 -x687 -x685 -x683 -x681 -x679 -x677 -x675 -x673 -x671 -x669 -x667 -x665 -x663 -x661
1800.01/1800.53 v -x659 -x657 -x655 -x653 -x651 -x649 -x647 -x645 -x643 -x641 -x639 -x637 -x635 -x633 -x631 -x629 -x627 -x625 -x623 -x621 -x619
1800.01/1800.53 v -x617 -x615 -x613 -x611 -x609 -x607 -x605 -x603 -x601 -x599 -x597 -x595 -x593 -x591 -x589 -x2 -x587 -x585 -x583 -x581 -x579
1800.01/1800.53 v -x577 -x575 -x573 -x571 -x569 -x567 -x565 -x563 -x561 -x559 -x557 -x555 -x553 -x551 -x549 -x547 -x545 -x543 -x541 -x539 -x537
1800.01/1800.53 v -x535 -x533 -x531 -x529 -x527 -x525 -x523 -x521 -x519 -x517 -x515 -x513 -x511 -x509 -x507 -x505 -x503 -x501 -x499 -x497 -x495
1800.01/1800.53 v -x493 -x491 -x489 -x487 -x485 -x483 -x481 -x479 -x477 -x475 -x473 -x471 -x469 -x467 -x465 -x463 -x1 -x461 -x459 -x457 -x455
1800.01/1800.53 v -x453 -x451 -x449 -x447 -x445 -x443 -x441 -x439 -x437 -x435 -x433 -x431 -x429 -x427 -x425 -x423 -x421 -x419 -x417 -x415 -x413
1800.01/1800.53 v -x411 -x409 -x407 -x405 -x403 -x401 -x399 -x397 -x395 -x393 -x391 -x389 -x387 -x385 -x383 -x381 -x379 -x377 -x375 -x373 -x371
1800.01/1800.53 v -x369 -x367 -x365 -x363 -x361 -x359 -x357 -x355 -x353 -x351 -x349 -x347 -x345 -x343 -x341 -x339 -x337 -x335 -x333 -x331 -x329
1800.01/1800.53 v -x327 -x325 -x323 -x321 -x319 x317 -x315 -x313 -x311 -x309 -x307 -x305 -x303 -x301 -x299 -x297 -x295 -x293 -x291 -x289 -x287
1800.01/1800.53 v -x285 -x283 -x281 -x279 -x277 -x275 -x273 -x271 -x269 -x267 -x265 -x263 -x261 -x259 -x257 -x255 -x253 -x251 -x249 -x247
1800.01/1800.53 v -x245 -x243 -x241 -x239 -x237 -x235 -x233 -x231 -x229 -x227 -x225 -x223 -x221 -x219 -x217 -x215 -x213 -x211 -x209 -x207 x6672
1800.01/1800.53 v x6671 -x6670 -x6669 -x6668 -x6667 -x6665 x6664 x6663 -x6662 -x6661 -x6659 -x6658 -x6657 -x6656 -x6654 x6652 -x6651 -x6650 -x6649
1800.01/1800.53 v -x6647 -x6645 -x6644 -x6642 -x6640 -x6639 -x6637 -x6635 -x6634 -x6632 -x6630 -x6629 -x6627 -x6625 -x6623 -x6621 -x6620 -x6619
1800.01/1800.53 v -x6617 -x6616 -x6614 -x6613 -x6611 -x6610 -x6608 -x6606 -x6604 -x6602 -x6600 -x6598 -x6596 -x6595 -x6593 -x6591 -x6589
1800.01/1800.53 v -x6587 -x6586 -x6584 -x6582 -x6581 -x6579 -x6578 -x6577 -x6575 -x6573 -x6572 -x6570 -x6568 -x6566 -x6564 -x6562 -x6560 -x6558
1800.01/1800.53 v -x6556 -x6554 -x6552 -x6551 -x6549 -x6548 -x6546 -x6544 -x6543 -x6541 -x6539 -x6537 -x6535 -x6534 -x6533 -x6531 -x6529 -x6528
1800.01/1800.53 v -x6526 -x6524 -x6522 -x6520 -x6518 -x6516 -x6514 -x6513 -x6512 -x6510 -x6508 -x6506 -x6504 -x6502 -x6500 -x6498 -x6496 -x6495
1800.01/1800.53 v -x6493 -x6491 -x6489 -x6487 -x6486 -x6484 -x6482 -x6480 -x6478 -x6477 -x6475 -x6474 -x6472 -x6470 -x6468 -x6466 -x6464 -x6462
1800.01/1800.53 v -x6460 -x6458 -x6456 -x6455 -x6453 -x6451 -x6449 -x6447 -x6445 -x6443 -x6441 -x6439 -x6437 -x6435 -x6433 -x6431 -x6429 -x6427
1800.01/1800.53 v -x6425 -x6423 -x6421 -x6419 -x6418 -x6416 -x6414 -x6412 -x6410 -x6408 -x6406 -x6404 -x6402 -x6400 -x6398 -x6396 -x6394 -x6392
1800.01/1800.53 v -x6390 -x6388 -x6386 -x6384 -x6383 -x6381 -x6379 -x6377 -x6375 -x6374 -x6372 -x6370 -x6368 -x6366 -x6364 -x6362 -x6360
1800.01/1800.53 v -x6358 -x6356 -x6354 -x6352 -x6350 -x6348 -x6346 -x6344 -x6342 -x6340 -x6338 x6336 -x6335 -x6333 -x6331 -x6329 -x6327 -x6326
1800.01/1800.53 v -x6324 -x6322 -x6320 -x6318 -x6316 -x6314 -x6313 -x6312 -x6310 -x6308 -x6306 -x6304 -x6303 -x6301 -x6299 -x6297 -x6295 -x6293
1800.01/1800.53 v -x6291 -x6289 -x6287 -x6285 -x6283 -x6281 -x6279 -x6277 -x6275 -x6274 -x6272 -x6271 -x6269 -x6267 -x6265 -x6263 -x6261 -x6259
1800.01/1800.53 v -x6257 -x6255 -x6253 -x6251 -x6249 -x6247 -x6245 -x6243 -x6241 -x6240 -x6238 -x6236 -x6234 -x6232 -x6230 -x6229 -x6227 -x6225
1800.01/1800.53 v -x6223 -x6221 -x6219 -x6218 -x6216 -x6214 -x6212 x6210 -x6209 -x6207 -x6205 -x6203 -x6201 -x6199 -x6197 -x6195 -x6193 -x6191
1800.01/1800.53 v -x6189 -x6187 -x6185 -x6183 -x6182 -x6180 -x6178 -x6176 -x6174 -x6172 -x6171 -x6169 -x6167 -x6165 -x6163 -x6161 -x6159 -x6157
1800.01/1800.53 v -x6155 -x6153 -x6151 -x6149 -x6148 -x6146 -x6144 -x6142 -x6140 -x6138 -x6136 -x6135 -x6133 -x6131 -x6129 -x6127 -x6126 -x6124
1800.01/1800.53 v -x6123 -x6121 -x6119 -x6118 -x6116 -x6114 -x6112 -x6110 -x6108 -x6106 -x6104 -x6102 -x6100 -x6098 -x6096 -x6095 -x6093 -x6091
1800.01/1800.53 v -x6089 -x6087 -x6085 -x6083 -x6081 -x6079 -x6077 -x6075 -x6073 -x6071 -x6069 -x6067 -x6065 -x6063 -x6061 -x6059 -x6057
1800.01/1800.53 v -x6055 -x6053 -x6052 -x6050 -x6048 -x6046 -x6045 -x6043 -x6041 -x6040 -x6038 -x6036 -x6034 -x6032 -x6030 -x6028 -x6026 -x6025
1800.01/1800.53 v -x6023 -x6021 -x6019 -x6017 -x6015 -x6013 -x6011 -x6009 -x6007 -x6005 -x6003 -x6001 -x5999 -x5997 -x5995 -x5993 -x5991 -x5989
1800.01/1800.53 v -x5987 -x5985 -x5983 -x5981 -x5979 -x5978 -x5976 -x5974 -x5972 -x5970 -x5968 -x5966 -x5964 -x5962 -x5960 -x5959 -x5957 -x5955
1800.01/1800.53 v -x5953 -x5951 -x5950 -x5948 -x5946 -x5944 -x5942 -x5940 -x5938 -x5936 -x5934 -x5932 -x5931 -x5929 -x5927 -x5925 -x5924 -x5922
1800.01/1800.53 v -x5920 -x5918 -x5916 -x5914 -x5912 -x5910 -x5908 -x5906 -x5904 -x5902 -x5900 -x5898 -x5896 -x5894 -x5892 -x5890 -x5888 -x5886
1800.01/1800.53 v -x5884 -x5882 -x5880 -x5878 -x5876 -x5874 -x5872 -x5870 -x5868 -x5866 -x5864 -x5862 -x5861 -x5859 -x5857 -x5855 -x5853 -x5851
1800.01/1800.53 v -x5849 -x5847 -x5845 -x5843 -x5841 -x5839 -x5837 -x5835 -x5833 -x5831 -x5829 -x5827 -x5825 -x5823 -x5821 -x5819 -x5817
1800.01/1800.53 v -x5815 -x5813 -x5812 -x5811 -x5809 -x5807 -x5806 -x5804 -x5803 -x5801 -x5799 -x5797 -x5795 -x5793 -x5791 -x5789 -x5787 -x5785
1800.01/1800.53 v -x5783 -x5781 -x5780 -x5778 -x5776 -x5774 -x5772 -x5770 -x5768 -x5766 -x5764 -x5762 -x5761 -x5759 -x5757 -x5755 -x5753 -x5751
1800.01/1800.53 v -x5749 -x5747 -x5745 -x5743 -x5742 -x5740 -x5738 -x5736 -x5734 -x5732 -x5730 -x5728 -x5726 -x5724 -x5722 -x5720 -x5718 -x5716
1800.01/1800.53 v -x5714 -x5712 -x5710 -x5708 -x5706 -x5704 -x5702 -x5700 -x5698 -x5696 -x5694 -x5692 -x5690 -x5688 -x5686 -x5684 -x5682 -x5680
1800.01/1800.53 v -x5678 -x5676 -x5674 -x5672 -x5670 -x5668 -x5666 -x5664 -x5662 -x5660 -x5658 -x5656 -x5654 -x5652 -x5650 -x5648 -x5646 -x5644
1800.01/1800.53 v -x5642 -x5640 -x5638 -x5636 -x5634 -x5632 -x5630 -x5628 -x5626 -x5624 -x5622 -x5620 -x5618 -x5616 -x5614 -x5612 -x5610 -x5608
1800.01/1800.53 v -x5606 -x5604 -x5602 -x5600 -x5598 -x5596 -x5594 -x5592 -x5590 -x5588 -x5586 -x5584 -x5582 -x5580 -x5578 -x5576 -x5574
1800.01/1800.53 v -x5572 -x5570 -x5568 -x5566 -x5564 -x5562 -x5560 -x5558 -x5556 -x5554 -x5552 -x5550 -x5548 -x5546 -x5544 -x5542 -x5540 -x5538
1800.01/1800.53 v -x5536 -x5534 -x5532 -x5530 -x5528 -x5526 -x5524 -x5523 -x5521 -x5519 -x5517 -x5515 -x5513 -x5512 -x5510 -x5508 -x5506 -x5505
1800.01/1800.53 v -x5503 -x5501 -x5499 -x5497 -x5495 -x5493 -x5491 -x5489 -x5487 -x5485 -x5483 -x5481 -x5479 -x5477 -x5475 -x5473 -x5471 -x5469
1800.01/1800.53 v -x5467 -x5465 -x5463 -x5461 -x5459 -x5457 -x5455 -x5453 -x5451 -x5450 -x5448 -x5446 -x5444 -x5442 -x5440 -x5438 -x5436 -x5434
1800.01/1800.53 v -x5433 -x5431 -x5429 -x5427 -x5425 -x5423 -x5421 -x5419 x5417 -x5416 -x5414 -x5412 -x5410 -x5408 -x5406 -x5404 -x5402 -x5400
1800.01/1800.53 v -x5398 -x5396 -x5394 -x5392 -x5390 -x5388 -x5386 -x5385 -x5383 -x5381 -x5379 -x5377 -x5375 -x5373 -x5371 -x5369 -x5367 -x5365
1800.01/1800.53 v -x5363 -x5361 -x5360 -x5358 -x5356 -x5354 -x5352 -x5350 -x5348 -x5346 -x5344 -x5342 -x5340 -x5339 -x5337 -x5335 -x5333 -x5332
1800.01/1800.53 v -x5330 -x5328 -x5326 -x5324 -x5322 -x5320 -x5318 -x5316 -x5314 -x5312 -x5310 -x5309 -x5307 -x5305 -x5303 -x5301 -x5299
1800.01/1800.53 v -x5297 -x5295 -x5293 -x5291 -x5289 -x5287 -x5286 -x5284 -x5282 -x5280 -x5278 -x5276 -x5274 -x5272 -x5270 -x5268 -x5266 -x5264
1800.01/1800.53 v -x5262 -x5260 -x5258 -x5256 -x5254 -x5252 -x5250 -x5248 -x5246 -x5244 -x5242 -x5240 -x5238 -x5236 -x5234 -x5232 -x5230 -x5228
1800.01/1800.53 v -x5226 -x5224 -x5222 -x5220 -x5218 -x5216 -x5214 -x5212 -x5210 -x5208 -x5206 -x5204 -x5202 -x5200 -x5198 -x5196 -x5194 -x5192
1800.01/1800.53 v -x5190 -x5188 -x5186 -x5184 -x5182 -x5180 -x5178 -x5176 -x5174 -x5172 -x5170 -x5168 -x5166 -x5164 -x5162 -x5160 -x5158 -x5156
1800.01/1800.53 v -x5154 -x5152 -x5150 -x5148 -x5146 -x5144 -x5142 -x5140 -x5138 -x5136 -x5134 -x5132 -x5130 -x5128 -x5126 -x5124 -x5122 -x5120
1800.01/1800.53 v -x5118 -x5116 -x5114 -x5112 -x5111 -x5109 -x5107 -x5105 -x5103 -x5101 -x5100 -x5098 -x5096 -x5094 -x5092 -x5090 -x5088 -x5087
1800.01/1800.53 v -x5085 -x5083 -x5081 -x5079 -x5077 -x5075 -x5073 -x5071 -x5069 -x5067 -x5065 -x5063 -x5061 -x5059 -x5057 -x5055 -x5053
1800.01/1800.53 v -x5051 -x5049 -x5047 -x5045 -x5043 -x5041 -x5039 -x5037 -x5035 -x5033 -x5031 -x5029 -x5027 -x5025 -x5023 -x5021 -x5019 -x5017
1800.01/1800.53 v -x5015 -x5013 -x5012 -x5010 -x5008 -x5006 -x5004 -x5002 -x5000 -x4998 -x4996 -x4994 -x4992 -x4991 -x4989 -x4987 -x4985 -x4983
1800.01/1800.53 v -x4981 -x4979 -x4977 -x4975 -x4973 -x4971 -x4969 -x4967 -x4965 -x4963 -x4961 -x4959 -x4957 -x4955 -x4953 -x4951 -x4949 -x4947
1800.01/1800.53 v -x4945 -x4943 -x4941 -x4939 -x4937 -x4935 -x4933 -x4931 -x4929 -x4927 -x4926 -x4924 -x4922 -x4920 -x4918 -x4917 -x4915 -x4913
1800.01/1800.53 v -x4911 -x4909 -x4908 -x4906 -x4904 -x4902 -x4900 -x4898 -x4896 -x4894 -x4892 -x4890 -x4888 -x4886 -x4884 -x4882 -x4880 -x4878
1800.01/1800.53 v -x4876 -x4874 -x4872 -x4870 -x4868 -x4866 -x4864 -x4862 -x4860 -x4858 -x4856 -x4854 -x4852 -x4850 -x4848 -x4847 -x4845 -x4843
1800.01/1800.53 v -x4841 -x4839 -x4837 -x4835 -x4833 -x4831 -x4829 -x4827 -x4825 -x4823 -x4821 -x4819 -x4817 -x4815 -x4813 -x4812 -x4810
1800.01/1800.53 v -x4808 -x4806 -x4804 -x4802 -x4800 -x4798 -x4796 -x4794 -x4792 -x4790 -x4788 -x4786 -x4784 -x4782 -x4780 -x4778 -x4776 -x4774
1800.01/1800.53 v -x4772 -x4770 -x4768 -x4766 -x4764 -x4762 -x4760 -x4758 -x4756 -x4754 -x4752 -x4750 -x4748 -x4746 -x4744 -x4742 -x4740 -x4739
1800.01/1800.53 v -x4737 -x4735 -x4733 -x4731 -x4730 -x4728 -x4726 -x4724 -x4722 -x4720 -x4718 -x4716 -x4714 -x4712 -x4710 -x4708 -x4706 -x4704
1800.01/1800.53 v -x4702 -x4701 -x4699 -x4697 -x4695 -x4693 -x4691 -x4689 -x4688 -x4686 -x4684 -x4682 -x4680 -x4678 -x4676 -x4674 -x4672 -x4670
1800.01/1800.53 v -x4669 -x4667 -x4665 -x4663 -x4661 -x4659 -x4657 -x4655 -x4653 -x4651 -x4649 -x4647 -x4645 -x4643 -x4641 -x4639 -x4637 -x4635
1800.01/1800.53 v -x4633 -x4631 -x4629 -x4627 -x4625 -x4623 -x4621 -x4619 -x4617 -x4615 -x4613 -x4611 -x4609 -x4607 -x4605 -x4603 -x4601 -x4599
1800.01/1800.53 v -x4597 -x4595 -x4593 -x4591 -x4589 -x4587 -x4585 -x4583 -x4581 -x4579 -x4577 -x4575 -x4573 -x4571 -x4569 -x4567 -x4565
1800.01/1800.53 v -x4563 -x4561 -x4559 -x4557 -x4555 -x4553 -x4551 -x4549 -x4547 -x4545 -x4543 -x4541 -x4539 -x4537 -x4535 -x4533 -x4531 -x4529
1800.01/1800.53 v -x4527 -x4526 -x4524 -x4522 -x4520 -x4518 -x4516 -x4514 -x4512 -x4510 -x4509 -x4507 -x4505 -x4503 -x4501 -x4499 -x4497 -x4495
1800.01/1800.53 v -x4493 -x4491 -x4489 -x4487 -x4485 -x4483 -x4481 -x4479 -x4477 -x4475 -x4473 -x4471 -x4469 -x4467 -x4465 -x4463 -x4461 -x4459
1800.01/1800.53 v -x4457 -x4455 -x4453 -x4451 -x4449 -x4447 -x4445 x4443 -x4442 -x4440 -x4438 -x4436 -x4434 -x4432 -x4430 -x4428 -x4426 -x4424
1800.01/1800.53 v -x4422 -x4420 -x4418 -x4416 -x4414 -x4412 -x4410 -x4408 -x4406 -x4404 -x4402 -x4400 -x4398 -x4396 -x4394 -x4392 -x4390 -x4388
1800.01/1800.53 v -x4386 -x4384 -x4382 -x4380 -x4378 -x4376 -x4374 -x4372 -x4370 -x4368 -x4366 -x4364 -x4362 -x4360 -x4358 -x4356 -x4354 -x4352
1800.01/1800.53 v -x4350 -x4348 -x4346 -x4344 -x4342 -x4340 -x4338 -x4336 -x4334 -x4332 -x4330 -x4328 -x4326 -x4324 -x4322 -x4320 -x4318 -x4316
1800.01/1800.53 v -x4314 -x4312 -x4310 -x4308 -x4306 -x4304 -x4302 -x4300 -x4298 -x4296 -x4294 -x4292 -x4290 -x4288 -x4286 -x4284 -x4282
1800.01/1800.53 v -x4280 -x4278 -x4276 -x4274 -x4272 -x4270 -x4268 -x4266 -x4264 -x4262 -x4260 -x4258 -x4257 -x4255 -x4253 -x4251 -x4249 -x4247
1800.01/1800.53 v -x4245 -x4243 -x4241 -x4239 -x4237 -x4235 -x4233 -x4231 -x4229 -x4227 -x4225 -x4223 -x4221 -x4219 -x4217 -x4215 -x4213 -x4211
1800.01/1800.53 v -x4209 -x4207 -x4205 -x4203 -x4201 -x4199 -x4197 -x4195 x4193 -x4192 -x4190 -x4188 -x4187 -x4185 -x4184 -x4182 -x4180 -x4178
1800.01/1800.53 v -x4176 -x4174 -x4172 -x4170 -x4168 -x4166 -x4164 -x4162 -x4160 -x4158 -x4156 -x4154 -x4152 -x4151 -x4149 -x4147 -x4145 -x4143
1800.01/1800.53 v -x4141 -x4139 -x4137 -x4135 -x4133 -x4131 -x4129 -x4127 -x4125 -x4123 -x4121 -x4119 -x4117 -x4115 -x4113 -x4111 -x4109 -x4107
1800.01/1800.53 v -x4105 -x4103 -x4101 -x4099 -x4097 -x4095 -x4093 -x4091 -x4089 -x4087 -x4085 -x4083 -x4081 -x4079 -x4077 -x4075 -x4073 -x4071
1800.01/1800.53 v -x4069 -x4067 -x4065 -x4063 -x4061 -x4059 -x4057 -x4055 x4053 -x4051 -x4049 -x4047 -x4045 -x4043 -x4041 -x4039 -x4037 -x4035
1800.01/1800.53 v -x4033 -x4031 x4029 -x4027 -x4025 -x4023 -x4021 -x4019 -x4017 -x4015 -x4013 -x4011 -x4009 -x4007 -x4005 -x4003 -x4001 -x3999
1800.01/1800.53 v -x3997 -x3995 -x3993 -x3991 -x3990 -x3988 -x3986 -x3984 -x3982 -x3980 -x3979 -x3977 -x3975 x3973 -x3972 -x3970 -x3968 -x3966
1800.01/1800.53 v -x3964 -x3962 -x3960 -x3958 -x3956 -x3954 -x3952 -x3950 -x3948 -x3946 -x3944 -x3942 -x3940 -x3938 -x3936 -x3934 -x3932 -x3930
1800.01/1800.53 v -x3928 -x3926 -x3924 -x3922 -x3920 -x3918 -x3916 -x3914 -x3912 -x3910 -x3908 -x3906 -x3904 -x3903 -x3901 -x3899 -x3897
1800.01/1800.53 v -x3895 -x3893 -x3891 -x3889 -x3887 -x3885 -x3883 -x3882 -x3880 -x3878 -x3876 -x3874 -x3872 -x3870 -x3868 -x3866 -x3864 -x3862
1800.01/1800.53 v -x3860 -x3858 -x3856 -x3854 -x3852 -x3850 -x3848 -x3846 -x3844 -x3842 -x3840 -x3838 -x3836 -x3834 -x3832 -x3830 -x3828 -x3826
1800.01/1800.53 v -x3824 -x3822 -x3820 -x3818 -x3816 -x3814 -x3812 -x3810 -x3808 -x3806 -x3804 -x3802 -x3800 -x3798 -x3796 -x3794 -x3792 -x3790
1800.01/1800.53 v -x3788 -x3786 -x3784 -x3782 -x3780 -x3778 -x3777 -x3775 -x3773 x3771 -x3770 -x3768 -x3766 -x3764 -x3762 -x3760 -x3758 -x3757
1800.01/1800.53 v -x3755 -x3753 -x3751 -x3749 -x3748 -x3746 -x3744 -x3742 -x3740 -x3738 -x3736 -x3734 -x3732 -x3730 -x3728 -x3726 -x3724 -x3722
1800.01/1800.53 v -x3720 -x3718 -x3716 -x3714 -x3712 -x3710 -x3708 -x3706 -x3704 -x3702 -x3700 -x3698 -x3696 -x3694 -x3692 -x3690 -x3688 -x3686
1800.01/1800.53 v -x3684 -x3682 -x3680 -x3678 -x3676 -x3674 -x3672 -x3670 -x3668 -x3666 -x3664 -x3662 -x3660 -x3658 -x3656 -x3654 -x3652 -x3650
1800.01/1800.53 v -x3648 -x3646 -x3644 -x3642 -x3640 -x3638 -x3636 -x3634 -x3632 -x3630 -x3628 -x3626 -x3624 -x3622 -x3620 -x3618 -x3616
1800.01/1800.53 v -x3614 -x3612 -x3610 -x3608 -x3606 -x3604 -x3602 -x3600 -x3598 -x3596 -x3594 -x3592 -x3590 x3588 -x3586 -x3584 -x3582 -x3580
1800.01/1800.53 v -x3578 -x3576 -x3574 -x3572 -x3570 -x3568 -x3566 -x3564 -x3562 -x3560 -x3558 -x3556 -x3554 -x3552 -x3550 -x3548 -x3546 -x3544
1800.01/1800.53 v -x3542 -x3540 -x3538 -x3536 -x3534 -x3532 -x3530 -x3528 -x3526 -x3524 -x3523 -x3521 -x3519 -x3517 -x3515 -x3513 -x3511 -x3509
1800.01/1800.53 v -x3508 -x3506 -x3504 -x3502 -x3500 -x3498 -x3496 -x3494 -x3492 -x3490 -x3488 -x3486 -x3484 -x3482 -x3480 -x3478 -x3476 -x3474
1800.01/1800.53 v -x3472 -x3470 -x3468 -x3466 -x3464 -x3462 -x3460 -x3458 -x3456 -x3454 -x3452 -x3450 -x3448 -x3446 -x3444 -x3442 -x3440 -x3438
1800.01/1800.53 v -x3436 -x3434 -x3432 -x3430 -x3428 -x3426 -x3424 -x3422 -x3420 -x3418 -x3416 -x3414 -x3412 -x3410 -x3408 -x3406 -x3404 -x3402
1800.01/1800.53 v -x3400 -x3398 -x3396 -x3394 -x3392 -x3390 -x3388 -x3386 -x3384 -x3382 -x3380 -x3378 -x3376 -x3374 -x3372 -x3370 -x3368 -x3366
1800.01/1800.53 v -x3364 -x3362 -x3360 -x3358 -x3356 -x3354 -x3352 -x3350 -x3348 -x3346 -x3344 -x3342 -x3340 -x3338 -x3336 -x3334 -x3332
1800.01/1800.53 v -x3330 -x3328 -x3326 -x3324 -x3322 -x3320 -x3318 -x3316 -x3314 -x3312 -x3310 -x3308 -x3306 -x3304 -x3302 -x3300 -x3298 -x3296
1800.01/1800.53 v -x3294 -x3292 -x3290 -x3288 -x3286 -x3284 -x3282 -x3280 -x3278 -x3276 -x3274 -x3272 -x3270 -x3268 -x3266 -x3264 -x3262 -x3260
1800.01/1800.53 v -x3258 -x3256 -x3254 -x3252 -x3250 -x3248 -x3246 -x3244 -x3242 -x3240 -x3239 -x3237 -x3235 -x3233 -x3231 -x3229 -x3227 -x3225
1800.01/1800.53 v -x3223 -x3221 -x3220 -x3218 -x3216 -x3214 -x3212 -x3210 -x3208 -x3206 -x3204 -x3202 -x3200 -x3198 -x3196 -x3194 -x3192 -x3190
1800.01/1800.53 v -x3188 -x3186 -x3184 -x3182 -x3180 -x3178 -x3176 -x3174 -x3172 -x3170 -x3168 -x3166 -x3164 -x3162 -x3160 -x3158 -x3156 -x3154
1800.01/1800.53 v -x3152 -x3150 -x3148 -x3146 -x3144 -x3142 -x3140 -x3138 -x3136 -x3134 -x3132 -x3130 -x3128 -x3126 -x3124 -x3122 -x3120 -x3118
1800.01/1800.53 v -x3116 -x3114 -x3112 -x3110 -x3108 -x3106 -x3104 -x3102 -x3100 -x3098 -x3096 -x3094 -x3092 -x3090 -x3088 -x3086 -x3084
1800.01/1800.53 v -x3082 -x3080 -x3078 -x3076 -x3074 -x3072 -x3070 -x3068 -x3066 -x3064 -x3062 -x3060 -x3058 -x3057 -x3056 -x3054 -x3052 -x3050
1800.01/1800.53 v -x3048 -x3046 -x3044 -x3042 -x3040 -x3038 -x3036 -x3034 -x3032 -x3030 -x3028 -x3026 -x3024 -x3022 -x3020 -x3018 -x3016 -x3014
1800.01/1800.53 v -x3012 -x3010 -x3008 -x3006 -x3004 -x3002 -x3000 -x2998 -x2996 -x2994 -x2992 -x2990 -x2988 -x2986 x2984 -x2983 -x2981 -x2979
1800.01/1800.53 v -x2977 -x2975 -x2973 -x2971 -x2969 -x2967 -x2965 -x2963 -x2961 -x2959 -x2957 -x2955 -x2953 -x2951 -x2949 -x2947 -x2945 -x2943
1800.01/1800.53 v -x2941 -x2939 -x2937 -x2935 -x2933 -x2931 -x2929 -x2927 -x2925 -x2923 -x2921 -x2919 -x2917 -x2915 -x2913 -x2911 -x2909 -x2907
1800.01/1800.53 v -x2905 -x2903 -x2901 -x2899 -x2897 -x2895 -x2893 -x2891 -x2889 -x2887 -x2885 -x2883 -x2881 -x2879 -x2877 -x2875 -x2873 -x2871
1800.01/1800.53 v -x2869 -x2867 -x2865 -x2863 -x2861 -x2859 -x2857 -x2855 -x2853 -x2851 -x2849 -x2847 -x2845 -x2843 -x2841 -x2839 -x2837 -x2835
1800.01/1800.53 v -x2833 -x2831 -x2829 -x2827 -x2825 -x2823 -x2821 -x2819 -x2817 -x2815 -x2813 -x2811 -x2809 -x2807 -x2805 -x2803 -x2801
1800.01/1800.53 v -x2799 -x2797 -x2795 -x2793 -x2791 -x2789 -x2787 -x2785 -x2783 -x2781 -x2779 -x2777 -x2775 -x2773 -x2771 -x2769 -x2767 -x2765
1800.01/1800.53 v -x2763 -x2761 -x2759 -x2757 -x2755 -x2753 -x2751 -x2749 -x2747 -x2745 -x2743 -x2741 -x2739 -x2737 -x2735 -x2733 -x2731 -x2729
1800.01/1800.53 v -x2727 -x2725 -x2723 -x2721 -x2719 -x2717 -x2715 -x2713 -x2711 -x2709 -x2707 -x2705 -x2703 -x2701 -x2699 -x2697 -x2695 -x2693
1800.01/1800.53 v -x2691 -x2689 -x2687 -x2685 -x2683 -x2681 -x2679 -x2677 -x2675 -x2673 -x2671 -x2669 -x2667 -x2665 -x2663 -x2661 -x2659 -x2657
1800.01/1800.53 v -x2655 -x2653 -x2651 -x2649 -x2647 -x2645 -x2643 -x2641 -x2639 -x2637 -x2635 -x2633 -x2631 -x2629 -x2627 -x2625 -x2623 -x2621
1800.01/1800.53 v -x2619 -x2617 -x2615 -x2613 -x2611 -x2609 -x2607 -x2605 -x2603 -x2601 -x2599 -x2597 -x2595 -x2593 -x2591 -x2589 -x2587 -x2585
1800.01/1800.53 v -x2583 -x2581 -x2579 -x2577 -x2575 -x2573 -x2571 -x2569 -x2567 -x2565 -x2563 -x2561 -x2559 -x2557 -x2555 -x2553 -x2551
1800.01/1800.53 v -x2549 -x2547 -x2545 -x2543 -x2541 -x2539 -x2537 -x2535 -x2533 -x2531 -x2529 -x2527 -x2525 -x2523 -x2521 -x2519 -x2517 -x2515
1800.01/1800.53 v -x2513 -x2511 -x2509 -x2507 -x2505 -x2503 -x2501 -x2499 -x2497 -x2495 -x2493 -x2491 -x2489 -x2487 -x2485 -x2483 -x2481 -x2479
1800.01/1800.53 v -x2477 -x2475 -x2473 -x2471 -x2469 -x2467 -x2465 -x2463 -x2461 -x2459 -x2457 -x2455 -x2453 -x2451 -x2449 -x2447 -x2445 -x2443
1800.01/1800.53 v -x2441 -x2439 -x2437 -x2435 -x2433 -x2431 -x2429 -x2427 -x2425 -x2423 -x2421 -x2419 -x2417 -x2415 -x2413 -x2411 -x2409 -x2407
1800.01/1800.53 v -x2405 -x2403 -x2401 -x2399 -x2397 -x2395 -x2393 -x2391 -x2389 -x2387 -x2385 -x2383 -x2381 -x2379 -x2377 -x2375 -x2373 -x2371
1800.01/1800.53 v -x2369 -x2367 -x2365 -x2363 -x2361 -x2359 -x2357 -x2355 -x2353 -x2351 -x2349 -x2347 -x2345 -x2343 -x2341 -x2339 -x2337 -x2335
1800.01/1800.53 v -x2333 -x2331 -x2329 -x2327 -x2325 -x2323 -x2321 -x2319 -x2317 -x2315 -x2313 -x2311 -x2309 -x2307 -x2305 -x2303 -x2301
1800.01/1800.53 v -x2299 -x2297 -x2295 -x2293 -x2291 -x2289 -x2287 -x2285 -x2283 -x2281 -x2279 -x2277 -x2275 -x2273 -x2271 -x2269 -x2267 -x2265
1800.01/1800.53 v -x2263 -x2261 -x2259 -x2257 -x2255 -x2253 -x2251 -x2249 -x2247 -x2245 -x2243 -x2241 -x2239 -x2237 -x2235 -x2233 -x2231 -x2229
1800.01/1800.53 v -x2227 -x2225 -x2223 -x2221 -x2219 -x2217 -x2215 -x2213 -x2211 -x2209 -x2207 -x2205 -x2203 -x2201 -x2199 -x2197 -x2195 -x2193
1800.01/1800.53 v -x2191 -x2189 -x2187 -x2185 -x2183 -x2181 -x2179 -x2177 -x2175 -x2173 -x2171 -x2169 -x2167 -x2165 -x2163 -x2161 -x2159 -x2157
1800.01/1800.53 v -x2155 -x2153 -x2151 -x2149 -x2147 -x2145 -x2143 -x2141 -x2139 -x2137 -x2135 -x2133 -x2131 -x2129 -x2127 -x2125 -x2123 -x2121
1800.01/1800.53 v -x2119 -x2117 -x2115 -x2113 -x2111 -x2109 -x2107 -x2105 -x2103 -x2101 -x2099 -x2097 -x2095 -x2093 -x2091 -x2089 -x2087 -x2085
1800.01/1800.53 v -x2083 -x2081 -x2079 -x2078 -x2076 -x2074 -x2072 -x2070 -x2068 -x2066 -x2064 -x2062 -x2060 -x2058 -x2056 -x2054 -x2052
1800.01/1800.53 v -x2050 -x2048 -x2046 -x2044 -x2042 -x2040 -x2038 -x2036 -x2034 -x2032 -x2030 -x2028 -x2026 -x2024 -x2022 -x2020 -x2018 -x2016
1800.01/1800.53 v -x2014 -x2012 -x2010 -x2008 -x2006 -x2004 -x2002 -x2001 -x1999 -x1997 -x1995 -x1993 -x1991 -x1989 -x1987 -x1985 -x1983 -x1981
1800.01/1800.53 v -x1979 -x1977 -x1975 -x1973 -x1971 -x1969 -x1967 -x1965 -x1963 -x1961 -x1959 -x1957 -x1955 -x1953 -x1951 -x1949 -x1947 -x1945
1800.01/1800.53 v -x1943 -x1941 -x1939 -x1937 -x1935 -x1933 -x1931 -x1929 -x1927 -x1925 -x1923 -x1921 -x1919 -x1917 -x1915 -x1913 -x1911 -x1909
1800.01/1800.53 v -x1907 -x1905 -x1903 -x1901 -x1899 -x1897 -x1895 -x1893 -x1891 -x1889 -x1887 -x1885 -x1883 -x1881 -x1879 -x1877 -x1875 -x1873
1800.01/1800.53 v -x1871 -x1869 -x1867 -x1865 -x1863 -x1861 -x1859 -x1857 -x1855 -x1853 -x1851 -x1849 -x1847 -x1845 -x1843 -x1841 -x1839 -x1837
1800.01/1800.53 v -x1835 -x1834 -x1832 -x1830 -x1828 -x1826 -x1824 -x1822 -x1820 -x1818 -x1816 -x1814 -x1812 -x1810 -x1808 -x1806 -x1804
1800.01/1800.53 v -x1802 -x1800 -x1798 -x1796 -x1794 -x1792 -x1790 -x1788 -x1786 -x1784 -x1782 -x1780 -x1778 -x1776 -x1774 -x1772 -x1770 -x1768
1800.01/1800.53 v -x1766 -x1764 -x1762 -x1760 -x1758 -x1756 -x1754 -x1752 -x1750 -x1748 -x1746 -x1744 -x1742 -x1740 -x1738 -x1736 -x1734 -x1732
1800.01/1800.53 v -x1730 -x1728 -x1726 -x1724 -x1722 -x1720 -x1718 -x1716 -x1714 -x1712 -x1710 -x1708 -x1706 -x1704 -x1702 -x1700 -x1698 -x1696
1800.01/1800.53 v -x1694 -x1692 -x1690 -x1688 -x1686 -x1684 -x1682 -x1680 -x1678 -x1676 -x1674 -x1672 -x1670 -x1668 -x1667 -x1665 -x1663 -x1661
1800.01/1800.53 v -x1659 -x1657 -x1655 -x1653 -x1651 -x1649 -x1647 -x1645 -x1643 -x1641 -x1639 -x1637 -x1635 -x1633 -x1631 -x1629 -x1627 -x1625
1800.01/1800.53 v -x1623 -x1621 -x1619 -x1617 -x1615 -x1613 -x1611 -x1609 -x1607 -x1605 -x1603 -x1601 -x1599 -x1597 -x1595 -x1593 -x1591 -x1589
1800.01/1800.53 v -x1587 -x1585 -x1583 -x1581 -x1579 -x1577 -x1575 -x1573 -x1571 -x1569 -x1567 -x1565 -x1563 -x1561 -x1559 -x1557 -x1555
1800.01/1800.53 v -x1553 -x1551 -x1549 -x1547 -x1545 -x1543 -x1541 -x1539 -x1537 -x1535 -x1533 -x1531 -x1529 -x1527 -x1525 -x1523 -x1521 -x1519
1800.01/1800.53 v -x1517 -x1515 -x1513 -x1511 -x1509 -x1507 -x1505 -x1503 -x1501 -x1499 -x1497 -x1495 -x1493 -x1491 -x1489 -x1487 -x1485 -x1483
1800.01/1800.53 v -x1481 -x1479 -x1477 -x1475 -x1473 -x1471 -x1469 -x1467 -x1466 -x1464 -x1462 -x1460 -x1458 -x1456 -x1454 -x1452 -x1450 -x1448
1800.01/1800.53 v -x1446 -x1444 -x1442 -x1440 -x1438 -x1436 -x1434 -x1432 -x1430 -x1428 -x1426 -x1424 -x1422 -x1420 -x1418 -x1416 -x1414 -x1412
1800.01/1800.53 v -x1410 -x1408 -x1406 -x1404 -x1402 -x1400 -x1398 -x1396 -x1394 -x1392 -x1390 -x1388 -x1386 -x1384 -x1382 -x1380 -x1378 -x1376
1800.01/1800.53 v -x1374 -x1372 -x1370 -x1368 -x1366 -x1364 -x1362 -x1360 -x1358 -x1356 -x1354 -x1352 -x1350 -x1348 -x1346 -x1344 -x1342 -x1340
1800.01/1800.53 v -x1338 -x1336 -x1334 -x1332 -x1330 -x1328 -x1326 -x1324 -x1322 -x1320 -x1318 -x1316 -x1314 -x1312 -x1310 -x1308 -x1306
1800.01/1800.53 v -x1304 -x1302 -x1300 -x1298 -x1296 -x1294 -x1292 -x1290 -x1288 -x1286 -x1284 -x1282 -x1280 -x1278 -x1276 -x1274 -x1272 -x1270
1800.01/1800.53 v -x1268 -x1266 -x1264 -x1262 -x1260 -x1258 -x1256 -x1254 -x1252 -x1250 -x1248 -x1246 -x1244 -x1242 -x1240 -x1238 -x1236 -x1234
1800.01/1800.53 v -x1232 -x1230 -x1228 -x1226 -x1224 -x1222 -x1220 -x1218 -x1216 -x1214 -x1212 -x1210 -x1208 -x1206 -x1204 -x1202 -x1200 -x1198
1800.01/1800.53 v -x1196 -x1194 -x1192 -x1190 -x1188 -x1186 -x1184 -x1182 -x1180 -x1178 -x1176 -x1174 -x1172 -x1170 -x1168 -x1166 -x1164 -x1162
1800.01/1800.53 v -x1160 -x1158 -x1156 -x1154 -x1152 -x1150 -x1148 -x1146 -x1144 -x1142 -x1140 -x1138 -x1136 -x1134 -x1132 -x1130 -x1128 -x1126
1800.01/1800.53 v -x1124 -x1122 -x1120 -x1118 -x1116 -x1114 -x1112 -x1110 -x1108 -x1106 -x1104 -x1102 -x1100 -x1098 -x1096 -x1094 -x1092 -x1090
1800.01/1800.53 v -x1088 -x1086 -x1084 -x1082 -x1080 -x1078 -x1076 -x1074 -x1072 -x1070 -x1068 -x1066 -x1064 -x1062 -x1060 -x1058 -x1056
1800.01/1800.53 v -x1054 -x1052 -x1050 -x1048 -x1046 -x1044 -x1042 -x1040 -x1038 -x1036 -x1034 -x1032 -x1030 -x1028 -x1026 -x1024 -x1022 -x1020
1800.01/1800.53 v -x1018 -x1016 -x1014 -x1012 -x1010 -x1008 -x1006 -x1004 -x1002 -x1000 -x998 -x996 -x994 -x992 -x990 -x988 -x986 -x984 -x982
1800.01/1800.53 v -x980 -x978 -x976 -x974 -x972 -x970 -x968 -x966 -x964 -x962 -x960 -x958 -x956 -x954 -x952 -x950 -x948 -x946 -x944 -x942 -x940
1800.01/1800.53 v -x938 -x936 -x934 -x932 -x930 -x928 -x926 -x924 -x922 -x920 -x918 -x916 -x914 -x912 -x910 -x908 -x906 -x904 -x902 -x900 -x898
1800.01/1800.53 v -x896 -x894 -x892 -x890 -x888 -x886 -x884 -x882 -x880 -x878 -x876 -x874 -x872 -x870 -x868 -x866 -x864 -x862 -x860 -x858 -x856
1800.01/1800.53 v -x854 -x852 -x850 -x848 -x846 -x844 -x842 -x840 -x838 -x836 -x834 -x832 -x830 -x828 -x826 -x824 -x822 -x820 -x818 -x816 -x814
1800.01/1800.53 v -x812 -x810 -x808 -x806 -x804 -x802 -x800 -x798 -x796 -x794 -x792 -x790 -x788 -x786 -x784 -x782 -x780 -x778 -x776 -x774 -x772
1800.01/1800.53 v -x770 -x768 -x766 -x764 -x762 -x760 -x758 -x756 -x754 -x752 -x750 -x748 -x746 -x744 -x742 -x740 -x738 -x736 -x734 -x732
1800.01/1800.53 v -x730 -x728 -x726 -x724 -x722 -x720 -x718 -x716 -x714 -x712 -x710 -x708 -x706 -x704 -x702 -x700 -x698 -x696 -x694 -x692 -x690
1800.01/1800.53 v -x688 -x686 -x684 -x682 -x680 -x678 -x676 -x674 -x672 -x670 -x668 -x666 -x664 -x662 -x660 -x658 -x656 -x654 -x652 -x650 -x648
1800.01/1800.53 v -x646 -x644 -x642 -x640 -x638 -x636 -x634 -x632 -x630 -x628 -x626 -x624 -x622 -x620 -x618 -x616 -x614 -x612 -x610 -x608 -x606
1800.01/1800.53 v -x604 -x602 -x600 -x598 -x596 -x594 -x592 -x590 -x588 -x586 -x584 -x582 -x580 -x578 -x576 -x574 -x572 -x570 -x568 -x566 -x564
1800.01/1800.53 v -x562 -x560 -x558 -x556 -x554 -x552 -x550 -x548 -x546 -x544 -x542 -x540 -x538 -x536 -x534 -x532 -x530 -x528 -x526 -x524 -x522
1800.01/1800.53 v -x520 -x518 -x516 -x514 -x512 -x510 -x508 -x506 -x504 -x502 -x500 -x498 -x496 -x494 -x492 -x490 -x488 -x486 -x484 -x482
1800.01/1800.53 v -x480 -x478 -x476 -x474 -x472 -x470 -x468 -x466 -x464 -x462 -x460 -x458 -x456 -x454 -x452 -x450 -x448 -x446 -x444 -x442 -x440
1800.01/1800.53 v -x438 -x436 -x434 -x432 -x430 -x428 -x426 -x424 -x422 -x420 -x418 -x416 -x414 -x412 -x410 -x408 -x406 -x404 -x402 -x400 -x398
1800.01/1800.53 v -x396 -x394 -x392 -x390 -x388 -x386 -x384 -x382 -x380 -x378 -x376 -x374 -x372 -x370 -x368 -x366 -x364 -x362 -x360 -x358 -x356
1800.01/1800.53 v -x354 -x352 -x350 -x348 -x346 -x344 -x342 -x340 -x338 -x336 -x334 -x332 -x330 -x328 -x326 -x324 -x322 -x320 x318 -x316 -x314
1800.01/1800.53 v -x312 -x310 -x308 -x306 -x304 -x302 -x300 -x298 -x296 -x294 -x292 -x290 -x288 -x286 -x284 -x282 -x280 -x278 -x276 -x274 -x272
1800.01/1800.53 v -x270 -x268 -x266 -x264 -x262 -x260 -x258 -x256 -x254 -x252 -x250 -x248 -x246 -x244 -x242 -x240 -x238 -x236 -x234 -x232 -x230
1800.01/1800.53 v -x228 -x226 -x224 -x222 -x220 -x218 -x216 -x214 -x212 -x210 -x208
1800.01/1800.53 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.53 c Solving Time : 1758.77
1800.01/1800.53 c Original Problem :
1800.01/1800.53 c Problem name : HOME/instance-2663980-1276643595.opb
1800.01/1800.53 c Variables : 6672 (6672 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.53 c Constraints : 14168 initial, 14168 maximal
1800.01/1800.53 c Presolved Problem :
1800.01/1800.53 c Problem name : t_HOME/instance-2663980-1276643595.opb
1800.01/1800.53 c Variables : 3499 (3499 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.53 c Constraints : 7824 initial, 7917 maximal
1800.01/1800.53 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.01/1800.53 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.53 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.53 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.53 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.53 c implics : 0.01 0 0 0 0 0 0 0 0
1800.01/1800.53 c probing : 0.07 0 0 0 0 0 0 0 0
1800.01/1800.53 c linear : 0.17 2 3171 0 2 0 6344 0 0
1800.01/1800.53 c logicor : 0.07 0 0 0 0 0 0 0 0
1800.01/1800.53 c root node : - 0 - - 0 - - - -
1800.01/1800.53 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.01/1800.53 c integral : 0 0 0 0 0 0 0 0 0 0
1800.01/1800.53 c logicor : 7824+ 0 4024783 0 1 162310 8943073 0 0 0
1800.01/1800.53 c countsols : 0 0 0 0 2 0 0 0 0 0
1800.01/1800.53 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.01/1800.53 c integral : 0.00 0.00 0.00 0.00 0.00
1800.01/1800.53 c logicor : 209.35 0.00 209.35 0.00 0.00
1800.01/1800.53 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.01/1800.53 c Propagators : Time Calls Cutoffs DomReds
1800.01/1800.53 c vbounds : 3.45 2 0 0
1800.01/1800.53 c rootredcost : 3.82 0 0 0
1800.01/1800.53 c pseudoobj : 1293.85 6015855 601130 8407790
1800.01/1800.53 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.01/1800.53 c propagation : 319.30 763440 763440 763440 86.8 6781 107.2 -
1800.01/1800.53 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.53 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.53 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.53 c pseudo solution : 12.35 12251 12251 12251 79.6 361 89.3 -
1800.01/1800.53 c applied globally : - - - 762376 76.8 - - -
1800.01/1800.53 c applied locally : - - - 20409 461.7 - - -
1800.01/1800.53 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.01/1800.53 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.01/1800.53 c redcost : 0.00 0 0 0 0 0
1800.01/1800.53 c impliedbounds : 0.00 0 0 0 0 0
1800.01/1800.53 c intobj : 0.00 0 0 0 0 0
1800.01/1800.53 c cgmip : 0.00 0 0 0 0 0
1800.01/1800.53 c gomory : 0.00 0 0 0 0 0
1800.01/1800.53 c strongcg : 0.00 0 0 0 0 0
1800.01/1800.53 c cmir : 0.00 0 0 0 0 0
1800.01/1800.53 c flowcover : 0.00 0 0 0 0 0
1800.01/1800.53 c clique : 0.00 0 0 0 0 0
1800.01/1800.53 c zerohalf : 0.00 0 0 0 0 0
1800.01/1800.53 c mcf : 0.00 0 0 0 0 0
1800.01/1800.53 c rapidlearning : 0.00 0 0 0 0 0
1800.01/1800.53 c Pricers : Time Calls Vars
1800.01/1800.53 c problem variables: 0.00 0 0
1800.01/1800.53 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.01/1800.53 c relpscost : 0.00 0 0 0 0 0 0
1800.01/1800.53 c pscost : 0.00 0 0 0 0 0 0
1800.01/1800.53 c inference : 57.92 1104305 0 0 0 0 2208610
1800.01/1800.53 c mostinf : 0.00 0 0 0 0 0 0
1800.01/1800.53 c leastinf : 0.00 0 0 0 0 0 0
1800.01/1800.53 c fullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.53 c allfullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.53 c random : 0.00 0 0 0 0 0 0
1800.01/1800.53 c Primal Heuristics : Time Calls Found
1800.01/1800.53 c LP solutions : 0.00 - 0
1800.01/1800.53 c pseudo solutions : 0.00 - 2
1800.01/1800.53 c oneopt : 1.40 0 0
1800.01/1800.53 c trivial : 0.02 2 2
1800.01/1800.53 c simplerounding : 0.00 0 0
1800.01/1800.53 c zirounding : 0.00 0 0
1800.01/1800.53 c rounding : 0.00 0 0
1800.01/1800.53 c shifting : 0.00 0 0
1800.01/1800.53 c intshifting : 0.00 0 0
1800.01/1800.53 c twoopt : 0.00 0 0
1800.01/1800.53 c fixandinfer : 0.00 0 0
1800.01/1800.53 c feaspump : 0.00 0 0
1800.01/1800.53 c coefdiving : 0.00 0 0
1800.01/1800.53 c pscostdiving : 0.00 0 0
1800.01/1800.53 c fracdiving : 0.00 0 0
1800.01/1800.53 c veclendiving : 0.00 0 0
1800.01/1800.53 c intdiving : 0.00 0 0
1800.01/1800.53 c actconsdiving : 0.00 0 0
1800.01/1800.53 c objpscostdiving : 0.00 0 0
1800.01/1800.53 c rootsoldiving : 0.00 0 0
1800.01/1800.53 c linesearchdiving : 0.00 0 0
1800.01/1800.53 c guideddiving : 0.00 0 0
1800.01/1800.53 c octane : 0.00 0 0
1800.01/1800.53 c rens : 0.00 0 0
1800.01/1800.53 c rins : 0.00 0 0
1800.01/1800.53 c localbranching : 0.00 0 0
1800.01/1800.53 c mutation : 0.00 0 0
1800.01/1800.53 c crossover : 0.00 0 0
1800.01/1800.53 c dins : 0.00 0 0
1800.01/1800.53 c undercover : 0.00 0 0
1800.01/1800.53 c nlp : 0.93 0 0
1800.01/1800.53 c trysol : 0.65 0 0
1800.01/1800.53 c LP : Time Calls Iterations Iter/call Iter/sec
1800.01/1800.53 c primal LP : 0.00 0 0 0.00 -
1800.01/1800.53 c dual LP : 0.00 0 0 0.00 -
1800.01/1800.53 c lex dual LP : 0.00 0 0 0.00 -
1800.01/1800.53 c barrier LP : 0.00 0 0 0.00 -
1800.01/1800.53 c diving/probing LP: 0.00 0 0 0.00 -
1800.01/1800.53 c strong branching : 0.00 0 0 0.00 -
1800.01/1800.53 c (at root node) : - 0 0 0.00 -
1800.01/1800.53 c conflict analysis: 0.00 0 0 0.00 -
1800.01/1800.53 c B&B Tree :
1800.01/1800.53 c number of runs : 1
1800.01/1800.53 c nodes : 1468946
1800.01/1800.53 c nodes (total) : 1468946
1800.01/1800.53 c nodes left : 2997
1800.01/1800.53 c max depth : 3086
1800.01/1800.53 c max depth (total): 3086
1800.01/1800.53 c backtracks : 478550 (32.6%)
1800.01/1800.53 c delayed cutoffs : 573427
1800.01/1800.53 c repropagations : 1153459 (7232453 domain reductions, 411052 cutoffs)
1800.01/1800.53 c avg switch length: 2.71
1800.01/1800.53 c switching time : 70.84
1800.01/1800.53 c Solution :
1800.01/1800.53 c Solutions found : 4 (3 improvements)
1800.01/1800.53 c First Solution : +3.30200000000000e+03 (in run 1, after 0 nodes, 0.07 seconds, depth 0, found by <trivial>)
1800.01/1800.53 c Primal Bound : +1.70000000000000e+01 (in run 1, after 9890 nodes, 9.08 seconds, depth 3059, found by <relaxation>)
1800.01/1800.53 c Dual Bound : +3.00000000000000e+00
1800.01/1800.53 c Gap : 466.67 %
1800.01/1800.53 c Root Dual Bound : +2.00000000000000e+00
1800.01/1800.53 c Root Iterations : 0
1800.01/1800.60 c Time complete: 1800.11.
OK 17
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2663980-1276643595/watcher-2663980-1276643595 -o /tmp/evaluation-result-2663980-1276643595/solver-2663980-1276643595 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663980-1276643595.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/106 5039 /proc/meminfo: memFree=1854884/2059040 swapFree=4140260/4192956 [pid=5039] ppid=5037 vsize=5556 CPUtime=0 /proc/5039/stat : 5039 (pbscip.linux.x8) R 5037 5039 4680 0 -1 4202496 886 0 0 0 0 0 0 0 23 0 1 0 39961234 5689344 809 1992294400 4194304 7136930 140735721314288 18446744073709551615 6349764 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5039/statm: 1389 809 249 719 0 668 0 [startup+0.025854 s] /proc/loadavg: 1.00 1.00 1.00 3/106 5039 /proc/meminfo: memFree=1854884/2059040 swapFree=4140260/4192956 [pid=5039] ppid=5037 vsize=11560 CPUtime=0.01 /proc/5039/stat : 5039 (pbscip.linux.x8) R 5037 5039 4680 0 -1 4202496 2242 0 0 0 1 0 0 0 23 0 1 0 39961234 11837440 2164 1992294400 4194304 7136930 140735721314288 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5039/statm: 2890 2176 271 719 0 2169 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 11560 [startup+0.100861 s] /proc/loadavg: 1.00 1.00 1.00 3/106 5039 /proc/meminfo: memFree=1854884/2059040 swapFree=4140260/4192956 [pid=5039] ppid=5037 vsize=14484 CPUtime=0.09 /proc/5039/stat : 5039 (pbscip.linux.x8) R 5037 5039 4680 0 -1 4202496 3104 0 0 0 8 1 0 0 23 0 1 0 39961234 14831616 3026 1992294400 4194304 7136930 140735721314288 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5039/statm: 3621 3026 271 719 0 2900 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14484 [startup+0.300883 s] /proc/loadavg: 1.00 1.00 1.00 3/106 5039 /proc/meminfo: memFree=1854884/2059040 swapFree=4140260/4192956 [pid=5039] ppid=5037 vsize=27284 CPUtime=0.29 /proc/5039/stat : 5039 (pbscip.linux.x8) R 5037 5039 4680 0 -1 4202496 6676 0 0 0 27 2 0 0 23 0 1 0 39961234 27938816 6244 1992294400 4194304 7136930 140735721314288 18446744073709551615 6166784 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5039/statm: 6821 6244 283 719 0 6100 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 27284 [startup+0.700928 s] /proc/loadavg: 1.00 1.00 1.00 3/106 5039 /proc/meminfo: memFree=1854884/2059040 swapFree=4140260/4192956 [pid=5039] ppid=5037 vsize=42856 CPUtime=0.69 /proc/5039/stat : 5039 (pbscip.linux.x8) R 5037 5039 4680 0 -1 4202496 11903 0 0 0 62 7 0 0 25 0 1 0 39961234 43884544 9929 1992294400 4194304 7136930 140735721314288 18446744073709551615 4209644 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5039/statm: 10714 9929 371 719 0 9993 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 42856 [startup+1.50102 s] /proc/loadavg: 1.16 1.03 1.01 2/107 5040 /proc/meminfo: memFree=1814576/2059040 swapFree=4140260/4192956 [pid=5039] ppid=5037 vsize=44660 CPUtime=1.49 /proc/5039/stat : 5039 (pbscip.linux.x8) R 5037 5039 4680 0 -1 4202496 12384 0 0 0 141 8 0 0 25 0 1 0 39961234 45731840 10407 1992294400 4194304 7136930 140735721314288 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5039/statm: 11165 10407 384 719 0 10444 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 44660 [startup+3.10119 s] /proc/loadavg: 1.16 1.03 1.01 2/107 5040 /proc/meminfo: memFree=1814328/2059040 swapFree=4140260/4192956 [pid=5039] ppid=5037 vsize=45048 CPUtime=3.09 /proc/5039/stat : 5039 (pbscip.linux.x8) R 5037 5039 4680 0 -1 4202496 12486 0 0 0 299 10 0 0 25 0 1 0 39961234 46129152 10509 1992294400 4194304 7136930 140735721314288 18446744073709551615 5892363 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5039/statm: 11262 10509 384 719 0 10541 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 45048 [startup+6.30155 s] /proc/loadavg: 1.15 1.03 1.01 2/107 5040 /proc/meminfo: memFree=1813832/2059040 swapFree=4140260/4192956 [pid=5039] ppid=5037 vsize=45048 CPUtime=6.29 /proc/5039/stat : 5039 (pbscip.linux.x8) R 5037 5039 4680 0 -1 4202496 12501 0 0 0 613 16 0 0 25 0 1 0 39961234 46129152 10524 1992294400 4194304 7136930 140735721314288 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5039/statm: 11262 10524 390 719 0 10541 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 45048 [startup+12.7013 s] /proc/loadavg: 1.13 1.03 1.01 2/107 5040 /proc/meminfo: memFree=1813088/2059040 swapFree=4140260/4192956 [pid=5039] ppid=5037 vsize=45980 CPUtime=12.69 /proc/5039/stat : 5039 (pbscip.linux.x8) R 5037 5039 4680 0 -1 4202496 12745 0 0 0 1235 34 0 0 25 0 1 0 39961234 47083520 10768 1992294400 4194304 7136930 140735721314288 18446744073709551615 5507431 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5039/statm: 11495 10768 390 719 0 10774 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 45980 [startup+25.5017 s] /proc/loadavg: 1.18 1.05 1.01 2/107 5042 /proc/meminfo: memFree=1810484/2059040 swapFree=4140260/4192956 [pid=5039] ppid=5037 vsize=48272 CPUtime=25.49 /proc/5039/stat : 5039 (pbscip.linux.x8) R 5037 5039 4680 0 -1 4202496 13310 0 0 0 2489 60 0 0 25 0 1 0 39961234 49430528 11333 1992294400 4194304 7136930 140735721314288 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5039/statm: 12068 11333 390 719 0 11347 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 48272 [startup+51.1015 s] /proc/loadavg: 1.19 1.06 1.02 2/107 5045 /proc/meminfo: memFree=1809244/2059040 swapFree=4140260/4192956 [pid=5039] ppid=5037 vsize=49224 CPUtime=51.07 /proc/5039/stat : 5039 (pbscip.linux.x8) R 5037 5039 4680 0 -1 4202496 13530 0 0 0 4989 118 0 0 25 0 1 0 39961234 50405376 11553 1992294400 4194304 7136930 140735721314288 18446744073709551615 5507381 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5039/statm: 12306 11553 390 719 0 11585 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 49224 [startup+102.309 s] /proc/loadavg: 1.22 1.08 1.02 2/107 5047 /proc/meminfo: memFree=1807880/2059040 swapFree=4140260/4192956 [pid=5039] ppid=5037 vsize=50568 CPUtime=102.26 /proc/5039/stat : 5039 (pbscip.linux.x8) R 5037 5039 4680 0 -1 4202496 13861 0 0 0 9995 231 0 0 25 0 1 0 39961234 51781632 11884 1992294400 4194304 7136930 140735721314288 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5039/statm: 12642 11884 390 719 0 11921 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 50568 [startup+162.302 s] /proc/loadavg: 1.08 1.06 1.02 2/107 5047 /proc/meminfo: memFree=1806020/2059040 swapFree=4140260/4192956 [pid=5039] ppid=5037 vsize=52180 CPUtime=162.24 /proc/5039/stat : 5039 (pbscip.linux.x8) R 5037 5039 4680 0 -1 4202496 14294 0 0 0 15855 369 0 0 25 0 1 0 39961234 53432320 12317 1992294400 4194304 7136930 140735721314288 18446744073709551615 5507163 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5039/statm: 13045 12317 390 719 0 12324 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 52180 [startup+222.301 s] /proc/loadavg: 1.03 1.05 1.01 2/107 5049 /proc/meminfo: memFree=1805276/2059040 swapFree=4140260/4192956 [pid=5039] ppid=5037 vsize=52996 CPUtime=222.23 /proc/5039/stat : 5039 (pbscip.linux.x8) R 5037 5039 4680 0 -1 4202496 14478 0 0 0 21714 509 0 0 25 0 1 0 39961234 54267904 12501 1992294400 4194304 7136930 140735721314288 18446744073709551615 5507206 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5039/statm: 13249 12501 390 719 0 12528 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 52996 [startup+282.301 s] /proc/loadavg: 1.01 1.04 1.00 2/107 5051 /proc/meminfo: memFree=1804904/2059040 swapFree=4140260/4192956 [pid=5039] ppid=5037 vsize=53396 CPUtime=282.21 /proc/5039/stat : 5039 (pbscip.linux.x8) R 5037 5039 4680 0 -1 4202496 14580 0 0 0 27574 647 0 0 25 0 1 0 39961234 54677504 12603 1992294400 4194304 7136930 140735721314288 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5039/statm: 13349 12603 390 719 0 12628 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 53396 [startup+342.301 s] /proc/loadavg: 1.00 1.03 1.00 2/107 5053 /proc/meminfo: memFree=1804532/2059040 swapFree=4140260/4192956 [pid=5039] ppid=5037 vsize=53796 CPUtime=342.19 /proc/5039/stat : 5039 (pbscip.linux.x8) R 5037 5039 4680 0 -1 4202496 14668 0 0 0 33431 788 0 0 25 0 1 0 39961234 55087104 12691 1992294400 4194304 7136930 140735721314288 18446744073709551615 5507737 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5039/statm: 13449 12691 390 719 0 12728 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 53796 [startup+402.3 s] /proc/loadavg: 1.00 1.02 1.00 2/107 5055 /proc/meminfo: memFree=1804036/2059040 swapFree=4140260/4192956 [pid=5039] ppid=5037 vsize=54080 CPUtime=402.18 /proc/5039/stat : 5039 (pbscip.linux.x8) R 5037 5039 4680 0 -1 4202496 14760 0 0 0 39288 930 0 0 25 0 1 0 39961234 55377920 12783 1992294400 4194304 7136930 140735721314288 18446744073709551615 5506148 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5039/statm: 13520 12783 390 719 0 12799 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 54080 [startup+462.301 s] /proc/loadavg: 1.00 1.02 1.00 2/107 5055 /proc/meminfo: memFree=1803912/2059040 swapFree=4140260/4192956 [pid=5039] ppid=5037 vsize=54212 CPUtime=462.16 /proc/5039/stat : 5039 (pbscip.linux.x8) R 5037 5039 4680 0 -1 4202496 14795 0 0 0 45149 1067 0 0 25 0 1 0 39961234 55513088 12818 1992294400 4194304 7136930 140735721314288 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5039/statm: 13553 12818 390 719 0 12832 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 54212 [startup+522.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 5057 /proc/meminfo: memFree=1803664/2059040 swapFree=4140260/4192956 [pid=5039] ppid=5037 vsize=54484 CPUtime=522.15 /proc/5039/stat : 5039 (pbscip.linux.x8) R 5037 5039 4680 0 -1 4202496 14857 0 0 0 51007 1208 0 0 25 0 1 0 39961234 55791616 12880 1992294400 4194304 7136930 140735721314288 18446744073709551615 5507149 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5039/statm: 13621 12880 390 719 0 12900 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 54484 [startup+582.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5059 /proc/meminfo: memFree=1803292/2059040 swapFree=4140260/4192956 [pid=5039] ppid=5037 vsize=54752 CPUtime=582.13 /proc/5039/stat : 5039 (pbscip.linux.x8) R 5037 5039 4680 0 -1 4202496 14915 0 0 0 56869 1344 0 0 25 0 1 0 39961234 56066048 12938 1992294400 4194304 7136930 140735721314288 18446744073709551615 5955603 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5039/statm: 13688 12938 390 719 0 12967 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 54752 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5061 /proc/meminfo: memFree=1803168/2059040 swapFree=4140260/4192956 [pid=5039] ppid=5037 vsize=54884 CPUtime=642.12 /proc/5039/stat : 5039 (pbscip.linux.x8) R 5037 5039 4680 0 -1 4202496 14960 0 0 0 62731 1481 0 0 25 0 1 0 39961234 56201216 12983 1992294400 4194304 7136930 140735721314288 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5039/statm: 13721 12983 390 719 0 13000 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 54884 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5067 /proc/meminfo: memFree=1801680/2059040 swapFree=4140260/4192956 [pid=5039] ppid=5037 vsize=56272 CPUtime=882.05 /proc/5039/stat : 5039 (pbscip.linux.x8) R 5037 5039 4680 0 -1 4202496 15293 0 0 0 86174 2031 0 0 25 0 1 0 39961234 57622528 13316 1992294400 4194304 7136930 140735721314288 18446744073709551615 4998689 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5039/statm: 14068 13316 390 719 0 13347 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 56272 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5069 /proc/meminfo: memFree=1801308/2059040 swapFree=4140260/4192956 [pid=5039] ppid=5037 vsize=56536 CPUtime=942.04 /proc/5039/stat : 5039 (pbscip.linux.x8) R 5037 5039 4680 0 -1 4202496 15368 0 0 0 92033 2171 0 0 25 0 1 0 39961234 57892864 13391 1992294400 4194304 7136930 140735721314288 18446744073709551615 5507181 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5039/statm: 14134 13391 390 719 0 13413 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 56536 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5071 /proc/meminfo: memFree=1800812/2059040 swapFree=4140260/4192956 [pid=5039] ppid=5037 vsize=57080 CPUtime=1002.02 /proc/5039/stat : 5039 (pbscip.linux.x8) R 5037 5039 4680 0 -1 4202496 15489 0 0 0 97905 2297 0 0 25 0 1 0 39961234 58449920 13512 1992294400 4194304 7136930 140735721314288 18446744073709551615 5507737 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5039/statm: 14270 13512 390 719 0 13549 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 57080 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5071 /proc/meminfo: memFree=1800316/2059040 swapFree=4140260/4192956 [pid=5039] ppid=5037 vsize=57348 CPUtime=1062.01 /proc/5039/stat : 5039 (pbscip.linux.x8) R 5037 5039 4680 0 -1 4202496 15568 0 0 0 103768 2433 0 0 25 0 1 0 39961234 58724352 13591 1992294400 4194304 7136930 140735721314288 18446744073709551615 5909098 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5039/statm: 14337 13591 390 719 0 13616 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 57348 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5073 /proc/meminfo: memFree=1800192/2059040 swapFree=4140260/4192956 [pid=5039] ppid=5037 vsize=57480 CPUtime=1121.99 /proc/5039/stat : 5039 (pbscip.linux.x8) R 5037 5039 4680 0 -1 4202496 15609 0 0 0 109625 2574 0 0 25 0 1 0 39961234 58859520 13632 1992294400 4194304 7136930 140735721314288 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5039/statm: 14370 13632 390 719 0 13649 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 57480 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5075 /proc/meminfo: memFree=1799820/2059040 swapFree=4140260/4192956 [pid=5039] ppid=5037 vsize=57616 CPUtime=1181.97 /proc/5039/stat : 5039 (pbscip.linux.x8) R 5037 5039 4680 0 -1 4202496 15633 0 0 0 115489 2708 0 0 25 0 1 0 39961234 58998784 13656 1992294400 4194304 7136930 140735721314288 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5039/statm: 14404 13656 390 719 0 13683 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 57616 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5077 /proc/meminfo: memFree=1799572/2059040 swapFree=4140260/4192956 [pid=5039] ppid=5037 vsize=57616 CPUtime=1241.95 /proc/5039/stat : 5039 (pbscip.linux.x8) R 5037 5039 4680 0 -1 4202496 15644 0 0 0 121349 2846 0 0 25 0 1 0 39961234 58998784 13667 1992294400 4194304 7136930 140735721314288 18446744073709551615 5507169 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5039/statm: 14404 13667 390 719 0 13683 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 57616 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5079 /proc/meminfo: memFree=1799572/2059040 swapFree=4140260/4192956 [pid=5039] ppid=5037 vsize=57748 CPUtime=1301.95 /proc/5039/stat : 5039 (pbscip.linux.x8) R 5037 5039 4680 0 -1 4202496 15658 0 0 0 127208 2987 0 0 25 0 1 0 39961234 59133952 13681 1992294400 4194304 7136930 140735721314288 18446744073709551615 5506140 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5039/statm: 14437 13681 390 719 0 13716 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 57748 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5079 /proc/meminfo: memFree=1799324/2059040 swapFree=4140260/4192956 [pid=5039] ppid=5037 vsize=57748 CPUtime=1361.93 /proc/5039/stat : 5039 (pbscip.linux.x8) R 5037 5039 4680 0 -1 4202496 15672 0 0 0 133074 3119 0 0 25 0 1 0 39961234 59133952 13695 1992294400 4194304 7136930 140735721314288 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5039/statm: 14437 13695 390 719 0 13716 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 57748 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5081 /proc/meminfo: memFree=1799200/2059040 swapFree=4140260/4192956 [pid=5039] ppid=5037 vsize=58024 CPUtime=1421.92 /proc/5039/stat : 5039 (pbscip.linux.x8) R 5037 5039 4680 0 -1 4202496 15722 0 0 0 138942 3250 0 0 25 0 1 0 39961234 59416576 13745 1992294400 4194304 7136930 140735721314288 18446744073709551615 4210031 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5039/statm: 14506 13745 390 719 0 13785 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 58024 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5083 /proc/meminfo: memFree=1799076/2059040 swapFree=4140260/4192956 [pid=5039] ppid=5037 vsize=58168 CPUtime=1481.89 /proc/5039/stat : 5039 (pbscip.linux.x8) R 5037 5039 4680 0 -1 4202496 15750 0 0 0 144810 3379 0 0 25 0 1 0 39961234 59564032 13773 1992294400 4194304 7136930 140735721314288 18446744073709551615 5909086 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5039/statm: 14542 13773 390 719 0 13821 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 58168 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5085 /proc/meminfo: memFree=1798704/2059040 swapFree=4140260/4192956 [pid=5039] ppid=5037 vsize=58308 CPUtime=1541.88 /proc/5039/stat : 5039 (pbscip.linux.x8) R 5037 5039 4680 0 -1 4202496 15808 0 0 0 150670 3518 0 0 25 0 1 0 39961234 59707392 13831 1992294400 4194304 7136930 140735721314288 18446744073709551615 5507381 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5039/statm: 14577 13831 390 719 0 13856 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 58308 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5087 /proc/meminfo: memFree=1798580/2059040 swapFree=4140260/4192956 [pid=5039] ppid=5037 vsize=58308 CPUtime=1601.86 /proc/5039/stat : 5039 (pbscip.linux.x8) R 5037 5039 4680 0 -1 4202496 15810 0 0 0 156540 3646 0 0 25 0 1 0 39961234 59707392 13833 1992294400 4194304 7136930 140735721314288 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5039/statm: 14577 13833 390 719 0 13856 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 58308 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5087 /proc/meminfo: memFree=1798456/2059040 swapFree=4140260/4192956 [pid=5039] ppid=5037 vsize=58308 CPUtime=1661.84 /proc/5039/stat : 5039 (pbscip.linux.x8) R 5037 5039 4680 0 -1 4202496 15815 0 0 0 162397 3787 0 0 25 0 1 0 39961234 59707392 13838 1992294400 4194304 7136930 140735721314288 18446744073709551615 4652809 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5039/statm: 14577 13838 390 719 0 13856 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 58308 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5089 /proc/meminfo: memFree=1798332/2059040 swapFree=4140260/4192956 [pid=5039] ppid=5037 vsize=58452 CPUtime=1721.83 /proc/5039/stat : 5039 (pbscip.linux.x8) R 5037 5039 4680 0 -1 4202496 15852 0 0 0 168257 3926 0 0 25 0 1 0 39961234 59854848 13875 1992294400 4194304 7136930 140735721314288 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5039/statm: 14613 13875 390 719 0 13892 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 58452 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5091 /proc/meminfo: memFree=1797960/2059040 swapFree=4140260/4192956 [pid=5039] ppid=5037 vsize=58584 CPUtime=1781.81 /proc/5039/stat : 5039 (pbscip.linux.x8) R 5037 5039 4680 0 -1 4202496 15880 0 0 0 174120 4061 0 0 25 0 1 0 39961234 59990016 13903 1992294400 4194304 7136930 140735721314288 18446744073709551615 5507381 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5039/statm: 14646 13903 390 719 0 13925 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 58584 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5091 /proc/meminfo: memFree=1797960/2059040 swapFree=4140260/4192956 [pid=5039] ppid=5037 vsize=58720 CPUtime=1800.01 /proc/5039/stat : 5039 (pbscip.linux.x8) R 5037 5039 4680 0 -1 4202496 15888 0 0 0 175902 4099 0 0 25 0 1 0 39961234 60129280 13911 1992294400 4194304 7136930 140735721314288 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5039/statm: 14680 13911 390 719 0 13959 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 58720 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 5091 /proc/meminfo: memFree=1797960/2059040 swapFree=4140260/4192956 [pid=5039] ppid=5037 vsize=58720 CPUtime=1800.01 /proc/5039/stat : 5039 (pbscip.linux.x8) R 5037 5039 4680 0 -1 4202496 15888 0 0 0 175902 4099 0 0 25 0 1 0 39961234 60129280 13911 1992294400 4194304 7136930 140735721314288 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5039/statm: 14680 13911 390 719 0 13959 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 58720 Child status: 0 Real time (s): 1800.61 CPU time (s): 1800.12 CPU user time (s): 1759.11 CPU system time (s): 41.0098 CPU usage (%): 99.9732 Max. virtual memory (cumulated for all children) (KiB): 58720 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1759.11 system time used= 41.0098 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 15934 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 3333 runsolver used 2.86756 second user time and 8.63269 second system time The end
Begin job on node009 at 2010-06-16 01:13:15 IDJOB=2663980 IDBENCH=25035 IDSOLVER=1167 FILE ID=node009/2663980-1276643595 PBS_JOBID= 11172400 Free space on /tmp= 62556 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_opers/normalized-fir03_area_opers.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-2663980-1276643595/watcher-2663980-1276643595 -o /tmp/evaluation-result-2663980-1276643595/solver-2663980-1276643595 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663980-1276643595.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= b21d0afca1befeb5506928b558ab5220 RANDOM SEED=1318663716 node009.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.199 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.39 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.199 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1855288 kB Buffers: 24188 kB Cached: 97872 kB SwapCached: 6172 kB Active: 33408 kB Inactive: 102248 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1855288 kB SwapTotal: 4192956 kB SwapFree: 4140260 kB Dirty: 3616 kB Writeback: 0 kB AnonPages: 11924 kB Mapped: 13084 kB Slab: 46140 kB PageTables: 4036 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181524 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62552 MiB End job on node009 at 2010-06-16 01:43:17