Trace number 2665680

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solverSAT (TO)54 1800.96 1801.47

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-C499.b.opb
MD5SUM0b80319f4195f1e1329c2c4b63b416b0
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark53
Best CPU time to get the best result obtained on this benchmark1801.27
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 45
Optimality of the best value was proved NO
Number of variables5203
Total number of constraints19637
Number of constraints which are clauses19637
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint11
Maximum length of a constraint360
Number of terms in the objective function 5203
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 5203
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 5203
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [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-2665680-1276597436.opb>
1.99/2.09	c original problem has 5203 variables (5203 bin, 0 int, 0 impl, 0 cont) and 19637 constraints
1.99/2.09	c problem read
1.99/2.09	c presolving settings loaded
2.89/2.93	o 5203
2.89/2.93	o 5115
2.89/2.93	c feasible solution found by trivial heuristic, objective value  5.115000e+03
2.89/2.93	c presolving:
4.49/4.50	c (round 1) 0 del vars, 34 del conss, 0 chg bounds, 2 chg sides, 0 chg coeffs, 19539 upgd conss, 0 impls, 0 clqs
4.59/4.61	c (round 2) 0 del vars, 34 del conss, 0 chg bounds, 2 chg sides, 0 chg coeffs, 19571 upgd conss, 0 impls, 0 clqs
4.69/4.72	c (round 3) 0 del vars, 34 del conss, 0 chg bounds, 2 chg sides, 0 chg coeffs, 19603 upgd conss, 0 impls, 0 clqs
4.89/4.94	c    (2.6s) probing: 101/5203 (1.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
4.89/4.94	c    (2.6s) probing aborted: 100/100 successive totally useless probings
4.89/4.94	c presolving (4 rounds):
4.89/4.94	c  0 deleted vars, 34 deleted constraints, 0 tightened bounds, 0 added holes, 2 changed sides, 0 changed coefficients
4.89/4.94	c  0 implications, 0 cliques
4.89/4.94	c presolved problem has 5203 variables (5203 bin, 0 int, 0 impl, 0 cont) and 19603 constraints
4.89/4.94	c   19603 constraints of type <logicor>
4.89/4.94	c transformed objective value is always integral (scale: 1)
4.89/4.94	c Presolving Time: 2.05
4.89/4.94	c - non default parameters ----------------------------------------------------------------------
4.89/4.94	c # SCIP version 1.2.1.2
4.89/4.94	c 
4.89/4.94	c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
4.89/4.94	c # [type: int, range: [-1,2147483647], default: -1]
4.89/4.94	c conflict/interconss = 0
4.89/4.94	c 
4.89/4.94	c # should binary conflicts be preferred?
4.89/4.94	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.89/4.94	c conflict/preferbinary = TRUE
4.89/4.94	c 
4.89/4.94	c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
4.89/4.94	c # [type: int, range: [-1,2147483647], default: 0]
4.89/4.94	c constraints/agelimit = 1
4.89/4.94	c 
4.89/4.94	c # should enforcement of pseudo solution be disabled?
4.89/4.94	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.89/4.94	c constraints/disableenfops = TRUE
4.89/4.94	c 
4.89/4.94	c # frequency for displaying node information lines
4.89/4.94	c # [type: int, range: [-1,2147483647], default: 100]
4.89/4.94	c display/freq = 10000
4.89/4.94	c 
4.89/4.94	c # maximal time in seconds to run
4.89/4.94	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.89/4.94	c limits/time = 1797.91
4.89/4.94	c 
4.89/4.94	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
4.89/4.94	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.89/4.94	c limits/memory = 1620
4.89/4.94	c 
4.89/4.94	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
4.89/4.94	c # [type: int, range: [-1,2147483647], default: 1]
4.89/4.94	c lp/solvefreq = 0
4.89/4.94	c 
4.89/4.94	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)
4.89/4.94	c # [type: char, range: {lafpsqd}, default: l]
4.89/4.94	c lp/pricing = a
4.89/4.94	c 
4.89/4.94	c # should presolving try to simplify inequalities
4.89/4.94	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.89/4.94	c constraints/linear/simplifyinequalities = TRUE
4.89/4.94	c 
4.89/4.94	c # should presolving try to simplify knapsacks
4.89/4.94	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.89/4.94	c constraints/knapsack/simplifyinequalities = TRUE
4.89/4.94	c 
4.89/4.94	c # priority of node selection rule <dfs> in standard mode
4.89/4.94	c # [type: int, range: [-536870912,536870911], default: 0]
4.89/4.94	c nodeselection/dfs/stdpriority = 1000000
4.89/4.94	c 
4.89/4.94	c -----------------------------------------------------------------------------------------------
4.89/4.94	c start solving
4.89/4.95	c 
4.89/4.96	o 5002
4.89/4.96	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
4.89/4.96	c t 2.7s|     1 |     0 |     0 |     - |  77M|   0 |   - |5203 |  19k|   0 |   0 |   0 |   0 |   0 |      --      | 5.002000e+03 |    Inf 
5.99/6.03	o 97
5.99/6.03	c b 3.6s|     1 |     0 |     0 |     - | 139M|   0 |   - |5203 |  19k|5203 |  19k|   0 |   0 |   0 |      --      | 9.700000e+01 |    Inf 
29.99/30.01	c  27.4s|     1 |     0 |  6813 |     - | 139M|   0 | 242 |5203 |  19k|5203 |  19k|   0 |   0 |   0 | 3.914841e+01 | 9.700000e+01 | 147.78%
30.09/30.12	o 86
30.09/30.12	c b27.5s|     1 |     0 |  6813 |     - | 140M|   0 | 242 |5203 |  19k|5203 |  19k|   0 |   0 |   0 | 3.914841e+01 | 8.600000e+01 | 119.68%
36.18/36.27	c  33.5s|     1 |     0 |  7275 |     - | 141M|   0 | 257 |5203 |  19k|5203 |  19k|   2 |   0 |   0 | 3.925073e+01 | 8.600000e+01 | 119.10%
43.57/43.62	c  40.8s|     1 |     0 |  7541 |     - | 141M|   0 | 242 |5203 |  19k|5203 |  19k|   3 |   0 |   0 | 3.928246e+01 | 8.600000e+01 | 118.93%
50.38/50.40	c  47.5s|     1 |     0 |  8650 |     - | 141M|   0 | 237 |5203 |  19k|5203 |  19k|   6 |   0 |   0 | 3.939466e+01 | 8.600000e+01 | 118.30%
60.37/60.41	c  57.4s|     1 |     0 |  9965 |     - | 142M|   0 | 230 |5203 |  19k|5203 |  19k|   9 |   0 |   0 | 3.944478e+01 | 8.600000e+01 | 118.03%
69.37/69.43	c  66.3s|     1 |     0 | 10753 |     - | 142M|   0 | 275 |5203 |  19k|5203 |  19k|  11 |   0 |   0 | 3.946158e+01 | 8.600000e+01 | 117.93%
80.67/80.73	c  77.6s|     1 |     0 | 11842 |     - | 142M|   0 | 264 |5203 |  19k|5203 |  19k|  12 |   0 |   0 | 3.948781e+01 | 8.600000e+01 | 117.79%
91.36/91.44	o 54
91.36/91.44	c E87.9s|     1 |     0 | 11842 |     - | 142M|   0 | 264 |5203 |  19k|5203 |  19k|  12 |   0 |   0 | 3.948781e+01 | 5.400000e+01 |  36.75%
91.47/91.50	c  87.9s|     1 |     0 | 11842 |     - | 142M|   0 | 264 |5203 |  19k|5203 |  19k|  12 |   0 |   0 | 3.948781e+01 | 5.400000e+01 |  36.75%
163.95/164.09	c   160s|     1 |     2 | 11842 |     - | 142M|   0 | 264 |5203 |  19k|5203 |  19k|  12 |   0 |  17 | 3.948781e+01 | 5.400000e+01 |  36.75%
190.84/190.98	c   186s| 10000 |  4069 | 11842 |   0.0 | 146M|4122 |   - |5203 |  21k|   0 |   0 |  12 |4263 |  17 | 3.949869e+01 | 5.400000e+01 |  36.71%
227.83/227.94	c   223s| 20000 |  4060 | 11842 |   0.0 | 147M|4122 |   - |5203 |  23k|   0 |   0 |  12 |  11k|  17 | 3.949869e+01 | 5.400000e+01 |  36.71%
271.42/271.58	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
271.42/271.58	c   266s| 30000 |  4052 | 11842 |   0.0 | 148M|4122 |   - |5203 |  24k|   0 |   0 |  12 |  18k|  17 | 3.949869e+01 | 5.400000e+01 |  36.71%
306.40/306.52	c   301s| 40000 |  4061 | 11842 |   0.0 | 149M|4122 |   - |5203 |  27k|   0 |   0 |  12 |  26k|  17 | 3.949869e+01 | 5.400000e+01 |  36.71%
343.50/343.63	c   338s| 50000 |  4046 | 11842 |   0.0 | 151M|4122 |   - |5203 |  29k|   0 |   0 |  12 |  33k|  17 | 3.949869e+01 | 5.400000e+01 |  36.71%
374.89/375.01	c   369s| 60000 |  4048 | 11842 |   0.0 | 153M|4122 |   - |5203 |  33k|   0 |   0 |  12 |  42k|  17 | 3.949869e+01 | 5.400000e+01 |  36.71%
415.37/415.59	c   409s| 70000 |  4046 | 11842 |   0.0 | 154M|4122 |   - |5203 |  35k|   0 |   0 |  12 |  50k|  17 | 3.949869e+01 | 5.400000e+01 |  36.71%
449.37/449.55	c   443s| 80000 |  4047 | 11842 |   0.0 | 156M|4122 |   - |5203 |  38k|   0 |   0 |  12 |  58k|  17 | 3.949869e+01 | 5.400000e+01 |  36.71%
487.25/487.47	c   480s| 90000 |  4043 | 11842 |   0.0 | 158M|4122 |   - |5203 |  41k|   0 |   0 |  12 |  66k|  17 | 3.949869e+01 | 5.400000e+01 |  36.71%
529.35/529.59	c   522s|100000 |  4041 | 11842 |   0.0 | 159M|4122 |   - |5203 |  43k|   0 |   0 |  12 |  73k|  17 | 3.949869e+01 | 5.400000e+01 |  36.71%
567.94/568.16	c   560s|110000 |  4042 | 11842 |   0.0 | 160M|4122 |   - |5203 |  45k|   0 |   0 |  12 |  81k|  17 | 3.949869e+01 | 5.400000e+01 |  36.71%
608.92/609.11	c   601s|120000 |  4039 | 11842 |   0.0 | 161M|4122 |   - |5203 |  47k|   0 |   0 |  12 |  88k|  17 | 3.949869e+01 | 5.400000e+01 |  36.71%
651.71/651.92	c   643s|130000 |  4039 | 11842 |   0.0 | 162M|4122 |   - |5203 |  49k|   0 |   0 |  12 |  96k|  17 | 3.949869e+01 | 5.400000e+01 |  36.71%
695.29/695.58	c   687s|140000 |  4037 | 11842 |   0.0 | 163M|4122 |   - |5203 |  50k|   0 |   0 |  12 | 103k|  17 | 3.949869e+01 | 5.400000e+01 |  36.71%
737.89/738.16	c   729s|150000 |  4030 | 11842 |   0.0 | 163M|4122 |   - |5203 |  51k|   0 |   0 |  12 | 110k|  17 | 3.949869e+01 | 5.400000e+01 |  36.71%
778.97/779.29	c   770s|160000 |  4034 | 11842 |   0.0 | 164M|4122 |   - |5203 |  53k|   0 |   0 |  12 | 117k|  17 | 3.949869e+01 | 5.400000e+01 |  36.71%
820.96/821.22	c   811s|170000 |  4031 | 11842 |   0.0 | 166M|4122 |   - |5203 |  55k|   0 |   0 |  12 | 125k|  17 | 3.949869e+01 | 5.400000e+01 |  36.71%
862.34/862.64	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
862.34/862.64	c   852s|180000 |  4032 | 11842 |   0.0 | 167M|4122 |   - |5203 |  57k|   0 |   0 |  12 | 132k|  17 | 3.949869e+01 | 5.400000e+01 |  36.71%
903.84/904.16	c   894s|190000 |  4029 | 11842 |   0.0 | 168M|4122 |   - |5203 |  59k|   0 |   0 |  12 | 140k|  17 | 3.949869e+01 | 5.400000e+01 |  36.71%
945.22/945.59	c   935s|200000 |  4029 | 11842 |   0.0 | 169M|4122 |   - |5203 |  61k|   0 |   0 |  12 | 148k|  17 | 3.949869e+01 | 5.400000e+01 |  36.71%
979.61/979.91	c   969s|210000 |  4024 | 11842 |   0.0 | 171M|4122 |   - |5203 |  64k|   0 |   0 |  12 | 155k|  17 | 3.949869e+01 | 5.400000e+01 |  36.71%
1018.09/1018.40	c  1007s|220000 |  4025 | 11842 |   0.0 | 172M|4122 |   - |5203 |  66k|   0 |   0 |  12 | 163k|  17 | 3.949869e+01 | 5.400000e+01 |  36.71%
1060.09/1060.43	c  1049s|230000 |  4022 | 11842 |   0.0 | 172M|4122 |   - |5203 |  68k|   0 |   0 |  12 | 170k|  17 | 3.949869e+01 | 5.400000e+01 |  36.71%
1098.17/1098.50	c  1086s|240000 |  4021 | 11842 |   0.0 | 174M|4122 |   - |5203 |  70k|   0 |   0 |  12 | 177k|  17 | 3.949869e+01 | 5.400000e+01 |  36.71%
1139.56/1139.93	c  1128s|250000 |  4024 | 11842 |   0.0 | 174M|4122 |   - |5203 |  71k|   0 |   0 |  12 | 184k|  17 | 3.949869e+01 | 5.400000e+01 |  36.71%
1168.76/1169.13	c  1156s|260000 |  4019 | 11842 |   0.0 | 176M|4122 |   - |5203 |  74k|   0 |   0 |  12 | 191k|  17 | 3.949869e+01 | 5.400000e+01 |  36.71%
1199.75/1200.12	c  1187s|270000 |  4024 | 11842 |   0.0 | 177M|4122 |   - |5203 |  75k|   0 |   0 |  12 | 197k|  17 | 3.949869e+01 | 5.400000e+01 |  36.71%
1230.74/1231.17	c  1218s|280000 |  4022 | 11842 |   0.0 | 179M|4122 |   - |5203 |  79k|   0 |   0 |  12 | 205k|  17 | 3.949869e+01 | 5.400000e+01 |  36.71%
1259.33/1259.78	c  1246s|290000 |  4020 | 11842 |   0.0 | 180M|4122 |   - |5203 |  80k|   0 |   0 |  12 | 210k|  17 | 3.949869e+01 | 5.400000e+01 |  36.71%
1288.52/1288.97	c  1275s|300000 |  4016 | 11842 |   0.0 | 180M|4122 |   - |5203 |  82k|   0 |   0 |  12 | 215k|  17 | 3.949869e+01 | 5.400000e+01 |  36.71%
1319.52/1319.94	c  1306s|310000 |  4020 | 11842 |   0.0 | 182M|4122 |   - |5203 |  84k|   0 |   0 |  12 | 222k|  17 | 3.949869e+01 | 5.400000e+01 |  36.71%
1353.61/1354.08	c  1340s|320000 |  4018 | 11842 |   0.0 | 183M|4122 |   - |5203 |  87k|   0 |   0 |  12 | 229k|  17 | 3.949869e+01 | 5.400000e+01 |  36.71%
1391.49/1391.99	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1391.49/1391.99	c  1377s|330000 |  4017 | 11842 |   0.0 | 185M|4122 |   - |5203 |  89k|   0 |   0 |  12 | 237k|  17 | 3.949869e+01 | 5.400000e+01 |  36.71%
1427.49/1427.94	c  1413s|340000 |  4018 | 11842 |   0.0 | 186M|4122 |   - |5203 |  92k|   0 |   0 |  12 | 245k|  17 | 3.949869e+01 | 5.400000e+01 |  36.71%
1463.98/1464.49	c  1449s|350000 |  4013 | 11842 |   0.0 | 188M|4122 |   - |5203 |  95k|   0 |   0 |  12 | 253k|  17 | 3.949869e+01 | 5.400000e+01 |  36.71%
1495.58/1496.01	c  1480s|360000 |  4018 | 11842 |   0.0 | 190M|4122 |   - |5203 |  99k|   0 |   0 |  12 | 261k|  17 | 3.949869e+01 | 5.400000e+01 |  36.71%
1531.06/1531.57	c  1516s|370000 |  4017 | 11842 |   0.0 | 192M|4122 |   - |5203 | 101k|   0 |   0 |  12 | 269k|  17 | 3.949869e+01 | 5.400000e+01 |  36.71%
1559.75/1560.24	c  1544s|380000 |  4012 | 11842 |   0.0 | 193M|4122 |   - |5203 | 105k|   0 |   0 |  12 | 276k|  17 | 3.949869e+01 | 5.400000e+01 |  36.71%
1589.34/1589.88	c  1574s|390000 |  4017 | 11842 |   0.0 | 195M|4122 |   - |5203 | 108k|   0 |   0 |  12 | 284k|  17 | 3.949869e+01 | 5.400000e+01 |  36.71%
1621.23/1621.80	c  1605s|400000 |  4013 | 11842 |   0.0 | 197M|4122 |   - |5203 | 111k|   0 |   0 |  12 | 292k|  17 | 3.949869e+01 | 5.400000e+01 |  36.71%
1656.22/1656.78	c  1640s|410000 |  4014 | 11842 |   0.0 | 199M|4122 |   - |5203 | 115k|   0 |   0 |  12 | 300k|  17 | 3.949869e+01 | 5.400000e+01 |  36.71%
1693.22/1693.79	c  1677s|420000 |  4017 | 11842 |   0.0 | 200M|4122 |   - |5203 | 116k|   0 |   0 |  12 | 306k|  17 | 3.949869e+01 | 5.400000e+01 |  36.71%
1732.71/1733.23	c  1716s|430000 |  4014 | 11842 |   0.0 | 201M|4122 |   - |5203 | 117k|   0 |   0 |  12 | 313k|  17 | 3.949869e+01 | 5.400000e+01 |  36.71%
1766.49/1767.06	c  1749s|440000 |  4017 | 11842 |   0.0 | 201M|4122 |   - |5203 | 119k|   0 |   0 |  12 | 319k|  17 | 3.949869e+01 | 5.400000e+01 |  36.71%
1800.10/1800.61	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.10/1800.61	c 
1800.10/1800.61	c SCIP Status        : solving was interrupted [user interrupt]
1800.10/1800.61	c Solving Time (sec) : 1782.53
1800.10/1800.61	c Solving Nodes      : 447994
1800.10/1800.61	c Primal Bound       : +5.40000000000000e+01 (7 solutions)
1800.10/1800.62	c Dual Bound         : +3.94986855266700e+01
1800.10/1800.62	c Gap                : 36.71 %
1800.29/1800.82	s SATISFIABLE
1800.29/1800.82	v -x5203 -x5202 -x5201 -x5200 -x5199 -x5198 -x5197 -x5196 -x5195 -x5194 -x5193 -x5192 -x5191 -x5190 -x5189 -x5188 -x5187 -x5186 -x5185 
1800.29/1800.82	v -x5184 -x5183 -x5182 -x5181 -x5180 -x5179 -x5178 -x5177 -x5176 -x5175 -x5174 -x5173 -x5172 -x5171 -x5170 -x5169 -x5168 
1800.29/1800.82	v -x5167 -x5166 -x5165 -x5164 -x5163 -x5162 -x5161 -x5160 -x5159 -x5158 -x5157 -x5156 -x5155 -x5154 -x5153 -x5152 -x5151 -x5150 
1800.29/1800.82	v -x5149 -x5148 -x5147 -x5146 -x5145 -x5144 -x5143 -x5142 -x5141 -x5140 -x5139 -x5138 -x5137 -x5136 -x5135 -x5134 -x5133 -x5132 
1800.29/1800.82	v -x5131 -x5130 -x5129 -x5128 -x5127 -x5126 -x5125 -x5124 -x5123 -x5122 -x5121 -x5120 -x5119 -x5118 -x5117 -x5116 -x5115 -x5114 
1800.29/1800.82	v -x5113 -x5112 -x5111 -x5110 -x5109 -x5108 -x5107 -x5106 -x5105 -x5104 -x5103 -x5102 -x5101 -x5100 -x5099 -x5098 -x5097 -x5096 
1800.29/1800.82	v -x5095 -x5094 -x5093 -x5092 -x5091 -x5090 -x5089 -x5088 -x5087 -x5086 -x5085 -x5084 -x5083 -x5082 -x5081 -x5080 -x5079 -x5078 
1800.29/1800.82	v -x5077 -x5076 -x5075 -x5074 -x5073 x5072 -x5071 -x5070 -x5069 -x5068 -x5067 -x5066 -x5065 -x5064 -x5063 -x5062 -x5061 -x5060 
1800.29/1800.82	v -x5059 -x5058 -x5057 -x5056 -x5055 -x5054 -x5053 -x5052 -x5051 -x5050 -x5049 -x5048 -x5047 -x5046 -x5045 -x5044 -x5043 -x5042 
1800.29/1800.82	v -x5041 -x5040 -x5039 -x5038 -x5037 -x5036 -x5035 -x5034 -x5033 -x5032 -x5031 -x5030 -x5029 -x5028 -x5027 -x5026 -x5025 
1800.29/1800.82	v -x5024 -x5023 -x5022 -x5021 -x5020 -x5019 -x5018 -x5017 -x5016 x5015 -x5014 -x5013 -x5012 -x5011 -x5010 -x5009 -x5008 -x5007 
1800.29/1800.82	v -x5006 -x5005 -x5004 -x5003 -x5002 -x5001 -x5000 -x4999 -x4998 -x4997 -x4996 -x4995 -x4994 -x4993 -x4992 -x4991 -x4990 -x4989 
1800.29/1800.82	v -x4988 -x4987 -x4986 -x4985 -x4984 -x4983 -x4982 -x4981 -x4980 -x4979 -x4978 -x4977 -x4976 -x4975 -x4974 -x4973 -x4972 -x4971 
1800.29/1800.82	v -x4970 -x4969 -x4968 -x4967 -x4966 -x4965 -x4964 -x4963 -x4962 -x4961 -x4960 -x4959 -x4958 -x4957 -x4956 -x4955 -x4954 -x4953 
1800.29/1800.82	v x4952 -x4951 -x4950 -x4949 -x4948 -x4947 -x4946 -x4945 -x4944 -x4943 -x4942 -x4941 -x4940 -x4939 -x4938 -x4937 -x4936 -x4935 
1800.29/1800.82	v -x4934 -x4933 -x4932 -x4931 -x4930 -x4929 -x4928 -x4927 -x4926 -x4925 -x4924 -x4923 -x4922 -x4921 -x4920 -x4919 -x4918 -x4917 
1800.29/1800.82	v -x4916 -x4915 -x4914 -x4913 -x4912 -x4911 -x4910 -x4909 -x4908 -x4907 -x4906 -x4905 -x4904 -x4903 -x4902 -x4901 -x4900 -x4899 
1800.29/1800.82	v -x4898 -x4897 -x4896 -x4895 -x4894 -x4893 x4892 -x4891 -x4890 -x4889 -x4888 -x4887 -x4886 -x4885 -x4884 -x4883 -x4882 -x4881 
1800.29/1800.82	v -x4880 -x4879 -x4878 -x4877 -x4876 -x4875 -x4874 -x4873 -x4872 -x4871 -x4870 -x4869 -x4868 -x4867 -x4866 -x4865 -x4864 -x4863 
1800.29/1800.82	v -x4862 -x4861 -x4860 -x4859 -x4858 x4857 -x4856 -x4855 -x4854 -x4853 -x4852 -x4851 -x4850 -x4849 -x4848 -x4847 -x4846 -x4845 
1800.29/1800.82	v -x4844 -x4843 -x4842 -x4841 -x4840 -x4839 -x4838 -x4837 -x4836 -x4835 -x4834 -x4833 -x4832 -x4831 -x4830 -x4829 -x4828 
1800.29/1800.82	v -x4827 -x4826 -x4825 -x4824 -x4823 -x4822 -x4821 -x4820 -x4819 -x4818 -x4817 -x4816 -x4815 -x4814 -x4813 -x4812 -x4811 -x4810 
1800.29/1800.82	v -x4809 -x4808 -x4807 -x4806 -x4805 -x4804 -x4803 -x4802 -x4801 -x4800 -x4799 -x4798 -x4797 -x4796 -x4795 -x4794 -x4793 -x4792 
1800.29/1800.82	v -x4791 -x4790 -x4789 -x4788 -x4787 -x4786 -x4785 -x4784 -x4783 -x4782 -x4781 -x4780 -x4779 -x4778 -x4777 -x4776 -x4775 -x4774 
1800.29/1800.82	v -x4773 -x4772 -x4771 -x4770 -x4769 -x4768 -x4767 -x4766 -x4765 -x4764 -x4763 -x4762 -x4761 -x4760 -x4759 -x4758 -x4757 -x4756 
1800.29/1800.82	v -x4755 -x4754 -x4753 -x4752 -x4751 -x4750 -x4749 -x4748 -x4747 -x4746 -x4745 -x4744 -x4743 -x4742 -x4741 -x4740 -x4739 -x4738 
1800.29/1800.82	v -x4737 -x4736 -x4735 -x4734 -x4733 -x4732 -x4731 -x4730 -x4729 -x4728 -x4727 -x4726 -x4725 -x4724 -x4723 -x4722 -x4721 -x4720 
1800.29/1800.82	v -x4719 -x4718 -x4717 -x4716 -x4715 -x4714 -x4713 -x4712 -x4711 -x4710 -x4709 -x4708 -x4707 -x4706 -x4705 -x4704 -x4703 
1800.29/1800.82	v -x4702 -x4701 -x4700 -x4699 -x4698 -x4697 -x4696 -x4695 -x4694 -x4693 -x4692 -x4691 -x4690 -x4689 -x4688 -x4687 -x4686 -x4685 
1800.29/1800.82	v -x4684 -x4683 -x4682 -x4681 -x4680 -x4679 -x4678 -x4677 -x4676 -x4675 -x4674 -x4673 -x4672 -x4671 -x4670 -x4669 -x4668 -x4667 
1800.29/1800.82	v -x4666 -x4665 x4664 -x4663 -x4662 -x4661 -x4660 -x4659 -x4658 -x4657 -x4656 -x4655 -x4654 -x4653 -x4652 -x4651 -x4650 -x4649 
1800.29/1800.82	v -x4648 -x4647 -x4646 -x4645 -x4644 -x4643 -x4642 -x4641 -x4640 -x4639 -x4638 -x4637 -x4636 -x4635 -x4634 -x4633 x4632 -x4631 
1800.29/1800.82	v -x4630 -x4629 -x4628 -x4627 -x4626 -x4625 -x4624 -x4623 -x4622 -x4621 -x4620 -x4619 -x4618 -x4617 -x4616 -x4615 -x4614 -x4613 
1800.29/1800.82	v -x4612 -x4611 -x4610 -x4609 -x4608 -x4607 -x4606 -x4605 -x4604 -x4603 -x4602 -x4601 -x4600 -x4599 x4598 -x4597 -x4596 -x4595 
1800.29/1800.82	v -x4594 -x4593 -x4592 -x4591 -x4590 -x4589 -x4588 -x4587 -x4586 -x4585 -x4584 -x4583 -x4582 -x4581 -x4580 -x4579 -x4578 -x4577 
1800.29/1800.82	v -x4576 -x4575 -x4574 -x4573 -x4572 -x4571 -x4570 -x4569 -x4568 -x4567 -x4566 -x4565 -x4564 -x4563 -x4562 -x4561 -x4560 -x4559 
1800.29/1800.82	v -x4558 -x4557 -x4556 -x4555 -x4554 -x4553 -x4552 -x4551 -x4550 -x4549 -x4548 -x4547 -x4546 -x4545 -x4544 -x4543 -x4542 -x4541 
1800.29/1800.82	v -x4540 -x4539 -x4538 -x4537 -x4536 -x4535 -x4534 -x4533 -x4532 -x4531 -x4530 -x4529 -x4528 -x4527 -x4526 -x4525 -x4524 
1800.29/1800.82	v -x4523 -x4522 -x4521 -x4520 -x4519 -x4518 -x4517 x4516 -x4515 -x4514 -x4513 -x4512 -x4511 -x4510 -x4509 -x4508 -x4507 -x4506 
1800.29/1800.82	v -x4505 -x4504 -x4503 -x4502 -x4501 -x4500 -x4499 -x4498 -x4497 -x4496 -x4495 -x4494 -x4493 -x4492 -x4491 -x4490 -x4489 -x4488 
1800.29/1800.82	v -x4487 -x4486 -x4485 -x4484 -x4483 -x4482 -x4481 -x4480 -x4479 -x4478 -x4477 -x4476 -x4475 -x4474 -x4473 -x4472 -x4471 -x4470 
1800.29/1800.82	v -x4469 -x4468 -x4467 -x4466 -x4465 -x4464 -x4463 -x4462 -x4461 -x4460 -x4459 -x4458 -x4457 -x4456 -x4455 -x4454 -x4453 -x4452 
1800.29/1800.82	v -x4451 -x4450 -x4449 -x4448 -x4447 -x4446 -x4445 -x4444 -x4443 -x4442 -x4441 -x4440 -x4439 -x4438 -x4437 -x4436 -x4435 -x4434 
1800.29/1800.82	v -x4433 -x4432 -x4431 -x4430 -x4429 -x4428 -x4427 -x4426 -x4425 -x4424 -x4423 -x4422 -x4421 -x4420 -x4419 -x4418 -x4417 -x4416 
1800.29/1800.82	v -x4415 -x4414 -x4413 -x4412 -x4411 -x4410 -x4409 -x4408 -x4407 -x4406 -x4405 -x4404 -x4403 -x4402 -x4401 -x4400 -x4399 -x4398 
1800.29/1800.82	v -x4397 -x4396 -x4395 -x4394 -x4393 -x4392 -x4391 -x4390 -x4389 -x4388 -x4387 -x4386 -x4385 -x4384 -x4383 -x4382 -x4381 
1800.29/1800.82	v -x4380 -x4379 -x4378 -x4377 -x4376 -x4375 -x4374 -x4373 -x4372 -x4371 -x4370 -x4369 -x4368 -x4367 -x4366 -x4365 -x4364 -x4363 
1800.29/1800.82	v -x4362 -x4361 -x4360 -x4359 -x4358 -x4357 -x4356 -x4355 -x4354 -x4353 -x4352 -x4351 -x4350 -x4349 -x4348 -x4347 -x4346 -x4345 
1800.29/1800.82	v -x4344 -x4343 -x4342 -x4341 -x4340 -x4339 -x4338 -x4337 -x4336 -x4335 -x4334 -x4333 -x4332 -x4331 -x4330 -x4329 -x4328 -x4327 
1800.29/1800.82	v -x4326 -x4325 -x4324 -x4323 -x4322 -x4321 -x4320 -x4319 -x4318 -x4317 -x4316 -x4315 -x4314 -x4313 -x4312 -x4311 -x4310 -x4309 
1800.29/1800.82	v -x4308 -x4307 -x4306 -x4305 -x4304 -x4303 -x4302 -x4301 -x4300 -x4299 -x4298 -x4297 -x4296 -x4295 -x4294 -x4293 -x4292 -x4291 
1800.29/1800.82	v -x4290 -x4289 -x4288 -x4287 -x4286 -x4285 -x4284 -x4283 -x4282 -x4281 -x4280 -x4279 -x4278 -x4277 -x4276 -x4275 -x4274 -x4273 
1800.29/1800.82	v -x4272 -x4271 -x4270 -x4269 -x4268 -x4267 -x4266 -x4265 -x4264 -x4263 -x4262 -x4261 -x4260 -x4259 -x4258 -x4257 -x4256 
1800.29/1800.82	v -x4255 -x4254 -x4253 -x4252 -x4251 x4250 -x4249 -x4248 -x4247 -x4246 -x4245 -x4244 -x4243 -x4242 -x4241 -x4240 -x4239 -x4238 
1800.29/1800.82	v -x4237 -x4236 -x4235 -x4234 -x4233 -x4232 -x4231 -x4230 -x4229 -x4228 -x4227 -x4226 -x4225 -x4224 -x4223 -x4222 -x4221 -x4220 
1800.29/1800.82	v -x4219 -x4218 -x4217 -x4216 -x4215 -x4214 x4213 -x4212 -x4211 -x4210 -x4209 -x4208 -x4207 -x4206 -x4205 -x4204 -x4203 -x4202 
1800.29/1800.82	v -x4201 -x4200 -x4199 -x4198 -x4197 -x4196 -x4195 -x4194 -x4193 -x4192 -x4191 -x4190 -x4189 -x4188 -x4187 -x4186 -x4185 -x4184 
1800.29/1800.82	v -x4183 -x4182 -x4181 -x4180 -x4179 -x4178 -x4177 -x4176 -x4175 -x4174 -x4173 -x4172 -x4171 -x4170 -x4169 -x4168 -x4167 -x4166 
1800.29/1800.82	v -x4165 -x4164 -x4163 -x4162 -x4161 -x4160 -x4159 -x4158 -x4157 -x4156 -x4155 -x4154 -x4153 -x4152 -x4151 -x4150 -x4149 -x4148 
1800.29/1800.82	v -x4147 -x4146 -x4145 -x4144 -x4143 -x4142 -x4141 -x4140 -x4139 -x4138 -x4137 -x4136 -x4135 -x4134 -x4133 -x4132 -x4131 -x4130 
1800.29/1800.82	v -x4129 -x4128 -x4127 -x4126 -x4125 -x4124 -x4123 -x4122 -x4121 -x4120 -x4119 -x4118 -x4117 -x4116 -x4115 -x4114 -x4113 -x4112 
1800.29/1800.82	v -x4111 -x4110 -x4109 -x4108 -x4107 -x4106 -x4105 -x4104 -x4103 -x4102 -x4101 -x4100 -x4099 -x4098 -x4097 -x4096 -x4095 
1800.29/1800.82	v -x4094 -x4093 -x4092 -x4091 -x4090 -x4089 -x4088 -x4087 -x4086 -x4085 -x4084 -x4083 -x4082 x4081 -x4080 -x4079 -x4078 -x4077 
1800.29/1800.82	v -x4076 -x4075 -x4074 -x4073 -x4072 -x4071 -x4070 -x4069 x4068 -x4067 -x4066 -x4065 -x4064 -x4063 -x4062 -x4061 -x4060 -x4059 
1800.29/1800.82	v -x4058 -x4057 -x4056 -x4055 -x4054 -x4053 -x4052 -x4051 -x4050 -x4049 -x4048 -x4047 -x4046 -x4045 x4044 -x4043 -x4042 -x4041 
1800.29/1800.82	v -x4040 -x4039 -x4038 -x4037 -x4036 -x4035 -x4034 -x4033 x4032 -x4031 -x4030 -x4029 -x4028 -x4027 -x4026 -x4025 -x4024 -x4023 
1800.29/1800.82	v -x4022 -x4021 -x4020 -x4019 -x4018 -x4017 -x4016 -x4015 -x4014 -x4013 -x4012 -x4011 -x4010 -x4009 -x4008 -x4007 -x4006 -x4005 
1800.29/1800.82	v -x4004 -x4003 -x4002 -x4001 -x4000 -x3999 -x3998 -x3997 -x3996 -x3995 -x3994 -x3993 -x3992 -x3991 -x3990 -x3989 -x3988 -x3987 
1800.29/1800.82	v -x3986 -x3985 -x3984 -x3983 -x3982 -x3981 -x3980 -x3979 -x3978 -x3977 -x3976 x3975 -x3974 -x3973 -x3972 -x3971 -x3970 -x3969 
1800.29/1800.82	v -x3968 -x3967 -x3966 -x3965 -x3964 -x3963 -x3962 -x3961 -x3960 -x3959 -x3958 -x3957 -x3956 -x3955 x3954 -x3953 -x3952 -x3951 
1800.29/1800.82	v -x3950 -x3949 -x3948 -x3947 -x3946 -x3945 -x3944 -x3943 -x3942 -x3941 -x3940 -x3939 -x3938 -x3937 -x3936 -x3935 -x3934 -x3933 
1800.29/1800.82	v -x3932 -x3931 -x3930 -x3929 -x3928 -x3927 -x3926 -x3925 -x3924 -x3923 -x3922 -x3921 -x3920 -x3919 -x3918 -x3917 -x3916 -x3915 
1800.29/1800.82	v -x3914 -x3913 -x3912 -x3911 -x3910 -x3909 -x3908 -x3907 x3906 -x3905 -x3904 -x3903 -x3902 -x3901 -x3900 -x3899 -x3898 -x3897 
1800.29/1800.82	v -x3896 -x3895 -x3894 -x3893 -x3892 -x3891 -x3890 -x3889 -x3888 -x3887 -x3886 -x3885 -x3884 -x3883 -x3882 -x3881 -x3880 -x3879 
1800.29/1800.82	v -x3878 -x3877 -x3876 -x3875 -x3874 -x3873 -x3872 -x3871 -x3870 -x3869 -x3868 -x3867 -x3866 -x3865 -x3864 -x3863 -x3862 -x3861 
1800.29/1800.82	v -x3860 -x3859 -x3858 -x3857 -x3856 -x3855 -x3854 -x3853 -x3852 -x3851 -x3850 -x3849 -x3848 -x3847 -x3846 -x3845 -x3844 
1800.29/1800.82	v -x3843 -x3842 -x3841 -x3840 -x3839 -x3838 -x3837 -x3836 -x3835 -x3834 -x3833 -x3832 -x3831 -x3830 -x3829 -x3828 -x3827 -x3826 
1800.29/1800.82	v -x3825 -x3824 -x3823 -x3822 -x3821 -x3820 -x3819 -x3818 -x3817 -x3816 -x3815 -x3814 -x3813 -x3812 -x3811 -x3810 -x3809 -x3808 
1800.29/1800.82	v -x3807 -x3806 -x3805 -x3804 -x3803 -x3802 -x3801 -x3800 -x3799 -x3798 -x3797 -x3796 -x3795 -x3794 -x3793 -x3792 -x3791 -x3790 
1800.29/1800.82	v -x3789 -x3788 -x3787 -x3786 -x3785 -x3784 -x3783 -x3782 -x3781 -x3780 -x3779 -x3778 -x3777 x3776 -x3775 -x3774 -x3773 -x3772 
1800.29/1800.82	v -x3771 -x3770 -x3769 -x3768 -x3767 -x3766 -x3765 -x3764 -x3763 -x3762 -x3761 -x3760 -x3759 -x3758 -x3757 -x3756 -x3755 -x3754 
1800.29/1800.82	v -x3753 -x3752 -x3751 -x3750 -x3749 -x3748 -x3747 -x3746 -x3745 -x3744 -x3743 -x3742 -x3741 -x3740 -x3739 -x3738 -x3737 -x3736 
1800.29/1800.82	v -x3735 -x3734 -x3733 -x3732 -x3731 -x3730 -x3729 -x3728 -x3727 -x3726 -x3725 -x3724 -x3723 -x3722 -x3721 -x3720 -x3719 -x3718 
1800.29/1800.82	v -x3717 -x3716 -x3715 -x3714 -x3713 -x3712 -x3711 -x3710 -x3709 -x3708 -x3707 -x3706 -x3705 -x3704 -x3703 -x3702 -x3701 
1800.29/1800.82	v -x3700 -x3699 -x3698 -x3697 -x3696 -x3695 -x3694 -x3693 -x3692 -x3691 -x3690 -x3689 -x3688 -x3687 -x3686 -x3685 -x3684 -x3683 
1800.29/1800.82	v -x3682 -x3681 -x3680 -x3679 -x3678 -x3677 -x3676 -x3675 -x3674 -x3673 -x3672 -x3671 -x3670 -x3669 -x3668 -x3667 -x3666 -x3665 
1800.29/1800.82	v -x3664 -x3663 -x3662 -x3661 -x3660 -x3659 -x3658 -x3657 -x3656 -x3655 -x3654 -x3653 -x3652 -x3651 -x3650 -x3649 -x3648 -x3647 
1800.29/1800.82	v -x3646 -x3645 -x3644 -x3643 -x3642 -x3641 -x3640 -x3639 x3638 -x3637 -x3636 -x3635 -x3634 -x3633 -x3632 -x3631 -x3630 -x3629 
1800.29/1800.82	v -x3628 -x3627 -x3626 -x3625 -x3624 -x3623 -x3622 -x3621 -x3620 -x3619 -x3618 -x3617 -x3616 -x3615 -x3614 -x3613 -x3612 -x3611 
1800.29/1800.82	v -x3610 -x3609 -x3608 -x3607 -x3606 -x3605 -x3604 -x3603 -x3602 -x3601 -x3600 -x3599 -x3598 -x3597 -x3596 x3595 -x3594 -x3593 
1800.29/1800.82	v -x3592 -x3591 -x3590 -x3589 -x3588 -x3587 -x3586 -x3585 -x3584 -x3583 -x3582 -x3581 -x3580 -x3579 -x3578 -x3577 -x3576 -x3575 
1800.29/1800.82	v -x3574 -x3573 -x3572 -x3571 -x3570 -x3569 -x3568 -x3567 -x3566 -x3565 -x3564 -x3563 -x3562 -x3561 -x3560 -x3559 -x3558 -x3557 
1800.29/1800.82	v -x3556 -x3555 -x3554 -x3553 -x3552 -x3551 -x3550 -x3549 -x3548 -x3547 -x3546 -x3545 -x3544 -x3543 -x3542 -x3541 -x3540 
1800.29/1800.82	v -x3539 -x3538 -x3537 -x3536 -x3535 -x3534 -x3533 -x3532 -x3531 -x3530 -x3529 -x3528 -x3527 -x3526 -x3525 -x3524 -x3523 -x3522 
1800.29/1800.82	v -x3521 -x3520 -x3519 -x3518 -x3517 -x3516 -x3515 -x3514 -x3513 -x3512 -x3511 -x3510 -x3509 -x3508 -x3507 -x3506 -x3505 -x3504 
1800.29/1800.82	v -x3503 -x3502 -x3501 -x3500 -x3499 -x3498 -x3497 -x3496 -x3495 -x3494 -x3493 -x3492 -x3491 -x3490 -x3489 -x3488 -x3487 -x3486 
1800.29/1800.82	v -x3485 -x3484 -x3483 -x3482 -x3481 -x3480 -x3479 -x3478 -x3477 -x3476 -x3475 -x3474 -x3473 -x3472 -x3471 -x3470 -x3469 -x3468 
1800.29/1800.82	v -x3467 -x3466 -x3465 -x3464 -x3463 -x3462 -x3461 -x3460 -x3459 -x3458 -x3457 -x3456 -x3455 -x3454 -x3453 -x3452 -x3451 -x3450 
1800.29/1800.82	v -x3449 -x3448 -x3447 -x3446 -x3445 -x3444 -x3443 -x3442 -x3441 -x3440 -x3439 -x3438 -x3437 -x3436 -x3435 -x3434 -x3433 -x3432 
1800.29/1800.82	v -x3431 -x3430 -x3429 -x3428 -x3427 -x3426 -x3425 -x3424 -x3423 -x3422 -x3421 -x3420 -x3419 -x3418 -x3417 -x3416 -x3415 
1800.29/1800.82	v -x3414 -x3413 -x3412 -x3411 -x3410 -x3409 -x3408 -x3407 -x3406 -x3405 -x3404 -x3403 -x3402 -x3401 -x3400 -x3399 -x3398 -x3397 
1800.29/1800.82	v -x3396 -x3395 -x3394 -x3393 -x3392 -x3391 -x3390 -x3389 -x3388 -x3387 -x3386 -x3385 -x3384 -x3383 -x3382 -x3381 -x3380 -x3379 
1800.29/1800.82	v -x3378 -x3377 -x3376 -x3375 -x3374 -x3373 -x3372 -x3371 -x3370 -x3369 -x3368 -x3367 -x3366 -x3365 -x3364 -x3363 -x3362 -x3361 
1800.29/1800.82	v -x3360 -x3359 -x3358 -x3357 -x3356 -x3355 -x3354 -x3353 -x3352 -x3351 -x3350 -x3349 -x3348 -x3347 -x3346 -x3345 -x3344 -x3343 
1800.29/1800.82	v -x3342 -x3341 -x3340 -x3339 -x3338 -x3337 -x3336 -x3335 -x3334 x3333 -x3332 -x3331 -x3330 -x3329 -x3328 -x3327 -x3326 -x3325 
1800.29/1800.82	v -x3324 -x3323 -x3322 -x3321 -x3320 -x3319 -x3318 -x3317 -x3316 -x3315 -x3314 -x3313 -x3312 -x3311 -x3310 -x3309 -x3308 -x3307 
1800.29/1800.82	v -x3306 -x3305 -x3304 -x3303 -x3302 -x3301 -x3300 -x3299 -x3298 -x3297 -x3296 -x3295 -x3294 -x3293 -x3292 -x3291 -x3290 -x3289 
1800.29/1800.82	v -x3288 -x3287 -x3286 -x3285 -x3284 -x3283 -x3282 -x3281 -x3280 -x3279 x3278 -x3277 -x3276 x3275 -x3274 -x3273 -x3272 -x3271 
1800.29/1800.82	v -x3270 -x3269 x3268 -x3267 -x3266 -x3265 -x3264 -x3263 -x3262 -x3261 -x3260 -x3259 -x3258 -x3257 -x3256 -x3255 -x3254 -x3253 
1800.29/1800.82	v -x3252 -x3251 -x3250 -x3249 -x3248 -x3247 -x3246 -x3245 -x3244 -x3243 -x3242 -x3241 -x3240 -x3239 -x3238 -x3237 -x3236 -x3235 
1800.29/1800.82	v -x3234 -x3233 -x3232 -x3231 -x3230 -x3229 -x3228 -x3227 -x3226 -x3225 -x3224 -x3223 -x3222 -x3221 -x3220 -x3219 -x3218 
1800.29/1800.82	v -x3217 -x3216 -x3215 -x3214 -x3213 -x3212 -x3211 -x3210 -x3209 -x3208 -x3207 -x3206 -x3205 -x3204 -x3203 -x3202 -x3201 -x3200 
1800.29/1800.82	v -x3199 -x3198 -x3197 -x3196 -x3195 -x3194 -x3193 x3192 -x3191 -x3190 -x3189 -x3188 -x3187 -x3186 -x3185 -x3184 -x3183 -x3182 
1800.29/1800.82	v -x3181 -x3180 -x3179 -x3178 -x3177 -x3176 -x3175 -x3174 -x3173 -x3172 -x3171 -x3170 -x3169 -x3168 -x3167 -x3166 -x3165 -x3164 
1800.29/1800.82	v -x3163 -x3162 -x3161 -x3160 -x3159 -x3158 -x3157 -x3156 -x3155 -x3154 -x3153 -x3152 -x3151 -x3150 -x3149 -x3148 -x3147 -x3146 
1800.29/1800.82	v -x3145 -x3144 -x3143 -x3142 -x3141 -x3140 -x3139 -x3138 -x3137 -x3136 -x3135 -x3134 -x3133 -x3132 -x3131 -x3130 -x3129 -x3128 
1800.29/1800.82	v -x3127 -x3126 -x3125 -x3124 -x3123 -x3122 -x3121 -x3120 -x3119 -x3118 -x3117 -x3116 -x3115 -x3114 -x3113 -x3112 -x3111 -x3110 
1800.29/1800.82	v -x3109 x3108 -x3107 -x3106 -x3105 -x3104 -x3103 -x3102 -x3101 x3100 -x3099 -x3098 -x3097 -x3096 -x3095 -x3094 -x3093 -x3092 
1800.29/1800.82	v -x3091 -x3090 -x3089 -x3088 -x3087 -x3086 -x3085 -x3084 -x3083 -x3082 -x3081 -x3080 x3079 -x3078 -x3077 -x3076 -x3075 -x3074 
1800.29/1800.82	v -x3073 -x3072 -x3071 -x3070 -x3069 -x3068 -x3067 -x3066 -x3065 -x3064 -x3063 -x3062 -x3061 -x3060 -x3059 -x3058 -x3057 -x3056 
1800.29/1800.82	v -x3055 -x3054 -x3053 -x3052 -x3051 -x3050 -x3049 -x3048 -x3047 -x3046 -x3045 -x3044 -x3043 -x3042 -x3041 -x3040 -x3039 -x3038 
1800.29/1800.82	v x3037 -x3036 -x3035 -x3034 -x3033 -x3032 -x3031 -x3030 -x3029 -x3028 -x3027 -x3026 -x3025 -x3024 -x3023 -x3022 -x3021 -x3020 
1800.29/1800.82	v -x3019 -x3018 -x3017 -x3016 -x3015 -x3014 -x3013 -x3012 -x3011 -x3010 -x3009 -x3008 -x3007 -x3006 -x3005 -x3004 -x3003 
1800.29/1800.82	v -x3002 -x3001 -x3000 -x2999 -x2998 -x2997 -x2996 -x2995 -x2994 -x2993 -x2992 -x2991 -x2990 -x2989 -x2988 -x2987 -x2986 -x2985 
1800.29/1800.82	v -x2984 -x2983 -x2982 -x2981 -x2980 -x2979 -x2978 -x2977 -x2976 -x2975 -x2974 -x2973 -x2972 -x2971 -x2970 -x2969 -x2968 -x2967 
1800.29/1800.82	v -x2966 -x2965 -x2964 -x2963 -x2962 -x2961 -x2960 -x2959 -x2958 -x2957 -x2956 -x2955 -x2954 -x2953 -x2952 -x2951 -x2950 -x2949 
1800.29/1800.82	v -x2948 -x2947 -x2946 -x2945 -x2944 -x2943 -x2942 -x2941 -x2940 -x2939 -x2938 -x2937 -x2936 -x2935 -x2934 -x2933 -x2932 -x2931 
1800.29/1800.82	v -x2930 -x2929 -x2928 -x2927 -x2926 -x2925 -x2924 -x2923 -x2922 -x2921 -x2920 -x2919 -x2918 -x2917 -x2916 -x2915 -x2914 -x2913 
1800.29/1800.82	v -x2912 -x2911 -x2910 -x2909 -x2908 -x2907 -x2906 -x2905 -x2904 -x2903 -x2902 -x2901 -x2900 -x2899 -x2898 -x2897 -x2896 -x2895 
1800.29/1800.82	v -x2894 -x2893 -x2892 -x2891 -x2890 -x2889 -x2888 -x2887 -x2886 -x2885 -x2884 -x2883 -x2882 -x2881 -x2880 -x2879 -x2878 
1800.29/1800.82	v -x2877 -x2876 -x2875 -x2874 -x2873 -x2872 -x2871 -x2870 -x2869 -x2868 -x2867 -x2866 -x2865 -x2864 -x2863 -x2862 -x2861 -x2860 
1800.29/1800.82	v -x2859 -x2858 -x2857 -x2856 -x2855 -x2854 -x2853 -x2852 -x2851 -x2850 -x2849 -x2848 -x2847 -x2846 -x2845 -x2844 -x2843 -x2842 
1800.29/1800.82	v -x2841 -x2840 -x2839 -x2838 -x2837 -x2836 -x2835 -x2834 -x2833 -x2832 -x2831 -x2830 -x2829 -x2828 -x2827 -x2826 -x2825 -x2824 
1800.29/1800.82	v -x2823 -x2822 -x2821 -x2820 -x2819 -x2818 -x2817 -x2816 -x2815 -x2814 -x2813 -x2812 -x2811 -x2810 -x2809 -x2808 -x2807 -x2806 
1800.29/1800.82	v -x2805 -x2804 -x2803 -x2802 -x2801 -x2800 -x2799 -x2798 -x2797 -x2796 -x2795 -x2794 -x2793 -x2792 -x2791 -x2790 -x2789 -x2788 
1800.29/1800.82	v -x2787 -x2786 -x2785 -x2784 -x2783 -x2782 -x2781 -x2780 -x2779 -x2778 -x2777 -x2776 -x2775 -x2774 -x2773 -x2772 -x2771 -x2770 
1800.29/1800.82	v -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2763 -x2762 -x2761 -x2760 -x2759 -x2758 -x2757 -x2756 -x2755 -x2754 -x2753 
1800.29/1800.82	v -x2752 -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2745 -x2744 -x2743 -x2742 -x2741 -x2740 -x2739 -x2738 -x2737 -x2736 -x2735 
1800.29/1800.82	v -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 -x2727 -x2726 -x2725 -x2724 -x2723 -x2722 -x2721 -x2720 -x2719 -x2718 -x2717 
1800.29/1800.82	v -x2716 x2715 -x2714 -x2713 -x2712 -x2711 -x2710 -x2709 -x2708 -x2707 -x2706 -x2705 -x2704 -x2703 -x2702 -x2701 -x2700 -x2699 
1800.29/1800.82	v -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692 -x2691 -x2690 -x2689 -x2688 -x2687 -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 
1800.29/1800.82	v -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674 -x2673 -x2672 -x2671 -x2670 -x2669 -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 
1800.29/1800.82	v -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 -x2654 -x2653 -x2652 -x2651 -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 
1800.29/1800.82	v -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 -x2637 -x2636 -x2635 -x2634 -x2633 -x2632 -x2631 -x2630 -x2629 -x2628 -x2627 
1800.29/1800.82	v -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617 -x2616 -x2615 -x2614 -x2613 -x2612 -x2611 -x2610 
1800.29/1800.82	v -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 -x2600 -x2599 -x2598 -x2597 -x2596 -x2595 -x2594 -x2593 -x2592 
1800.29/1800.82	v -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 -x2581 -x2580 -x2579 -x2578 -x2577 -x2576 -x2575 -x2574 
1800.29/1800.82	v -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565 -x2564 -x2563 -x2562 -x2561 -x2560 -x2559 -x2558 -x2557 -x2556 
1800.29/1800.82	v -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549 -x2548 -x2547 -x2546 -x2545 -x2544 -x2543 -x2542 -x2541 -x2540 -x2539 -x2538 
1800.29/1800.82	v -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 -x2530 -x2529 -x2528 -x2527 -x2526 -x2525 -x2524 -x2523 -x2522 -x2521 -x2520 
1800.29/1800.82	v -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2510 -x2509 -x2508 -x2507 -x2506 -x2505 -x2504 -x2503 -x2502 
1800.29/1800.82	v -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 -x2493 -x2492 -x2491 -x2490 -x2489 -x2488 -x2487 -x2486 -x2485 
1800.29/1800.82	v -x2484 -x2483 -x2482 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 -x2472 -x2471 -x2470 -x2469 -x2468 -x2467 
1800.29/1800.82	v -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 -x2458 -x2457 -x2456 -x2455 -x2454 -x2453 -x2452 -x2451 -x2450 -x2449 
1800.29/1800.82	v -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 -x2438 -x2437 -x2436 -x2435 -x2434 -x2433 -x2432 -x2431 
1800.29/1800.82	v -x2430 -x2429 x2428 -x2427 -x2426 -x2425 -x2424 -x2423 -x2422 -x2421 -x2420 -x2419 -x2418 -x2417 -x2416 -x2415 -x2414 -x2413 
1800.29/1800.82	v -x2412 -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404 -x2403 -x2402 -x2401 -x2400 -x2399 -x2398 -x2397 -x2396 -x2395 
1800.29/1800.82	v -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 -x2381 -x2380 -x2379 -x2378 -x2377 
1800.29/1800.82	v -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 -x2361 -x2360 x2359 
1800.29/1800.82	v -x2358 -x2357 -x2356 -x2355 -x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 -x2343 -x2342 -x2341 
1800.29/1800.82	v -x2340 -x2339 -x2338 -x2337 -x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326 -x2325 -x2324 
1800.29/1800.82	v -x2323 -x2322 -x2321 -x2320 -x2319 -x2318 -x2317 -x2316 -x2315 -x2314 -x2313 -x2312 -x2311 -x2310 -x2309 -x2308 -x2307 -x2306 
1800.29/1800.82	v -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298 -x2297 -x2296 -x2295 -x2294 -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 
1800.29/1800.82	v -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 -x2281 -x2280 -x2279 -x2278 -x2277 -x2276 -x2275 -x2274 -x2273 -x2272 -x2271 -x2270 
1800.29/1800.82	v -x2269 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 -x2260 -x2259 -x2258 -x2257 -x2256 -x2255 -x2254 -x2253 -x2252 
1800.29/1800.82	v -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 -x2242 -x2241 -x2240 -x2239 -x2238 -x2237 -x2236 -x2235 -x2234 
1800.29/1800.82	v -x2233 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 -x2222 -x2221 -x2220 -x2219 -x2218 -x2217 -x2216 
1800.29/1800.82	v x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204 -x2203 -x2202 -x2201 -x2200 -x2199 -x2198 
1800.29/1800.82	v -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 x2190 -x2189 -x2188 -x2187 -x2186 -x2185 -x2184 -x2183 -x2182 -x2181 -x2180 
1800.29/1800.82	v -x2179 -x2178 -x2177 -x2176 -x2175 -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 -x2168 -x2167 -x2166 -x2165 -x2164 -x2163 
1800.29/1800.82	v -x2162 -x2161 -x2160 -x2159 -x2158 -x2157 -x2156 -x2155 -x2154 -x2153 -x2152 -x2151 -x2150 -x2149 -x2148 -x2147 -x2146 -x2145 
1800.29/1800.82	v -x2144 -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 -x2133 -x2132 -x2131 -x2130 -x2129 -x2128 -x2127 
1800.29/1800.82	v -x2126 -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 -x2113 -x2112 -x2111 -x2110 -x2109 
1800.29/1800.82	v -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 -x2097 -x2096 -x2095 -x2094 -x2093 -x2092 -x2091 
1800.29/1800.82	v -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 
1800.29/1800.82	v -x2072 -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 
1800.29/1800.82	v -x2054 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 -x2042 -x2041 -x2040 -x2039 -x2038 
1800.29/1800.82	v -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 
1800.29/1800.82	v -x2019 -x2018 -x2017 -x2016 -x2015 -x2014 -x2013 -x2012 -x2011 x2010 -x2009 -x2008 -x2007 -x2006 -x2005 -x2004 -x2003 -x2002 
1800.29/1800.82	v -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 
1800.29/1800.82	v -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 
1800.29/1800.82	v -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 
1800.29/1800.82	v -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 
1800.29/1800.82	v -x1929 -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 x1921 -x1920 -x1919 -x1918 -x1917 -x1916 -x1915 -x1914 -x1913 -x1912 
1800.29/1800.82	v -x1911 -x1910 -x1909 -x1908 -x1907 -x1906 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 -x1895 -x1894 
1800.29/1800.82	v -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1880 -x1879 -x1878 -x1877 
1800.29/1800.82	v -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 
1800.29/1800.82	v -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 -x1842 -x1841 
1800.29/1800.82	v -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 -x1832 -x1831 -x1830 -x1829 -x1828 -x1827 -x1826 -x1825 -x1824 -x1823 
1800.29/1800.82	v -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x1815 -x1814 -x1813 -x1812 -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 
1800.29/1800.82	v -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 -x1797 -x1796 -x1795 -x1794 -x1793 -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 
1800.29/1800.82	v -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 
1800.29/1800.82	v -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1758 -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 
1800.29/1800.82	v -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 
1800.29/1800.82	v -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 
1800.29/1800.82	v -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 
1800.29/1800.82	v -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 -x1681 -x1680 
1800.29/1800.82	v -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667 -x1666 -x1665 -x1664 -x1663 -x1662 
1800.29/1800.82	v -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 -x1644 
1800.29/1800.82	v -x1643 -x1642 -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 
1800.29/1800.82	v -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 
1800.29/1800.82	v -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 x1598 -x1597 -x1596 -x1595 -x1594 -x1593 -x1592 -x1591 
1800.29/1800.82	v -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1581 -x1580 -x1579 -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 
1800.29/1800.82	v -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 x1563 -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 
1800.29/1800.82	v -x1554 -x1553 -x1552 -x1551 x1550 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 
1800.29/1800.82	v -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 
1800.29/1800.82	v -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 
1800.29/1800.82	v -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 
1800.29/1800.82	v -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 
1800.29/1800.82	v -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 
1800.29/1800.82	v -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 
1800.29/1800.82	v -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 
1800.29/1800.82	v -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 x1398 -x1397 -x1396 -x1395 -x1394 -x1393 
1800.29/1800.82	v -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 
1800.29/1800.82	v -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 
1800.29/1800.82	v -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 
1800.29/1800.82	v -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 
1800.29/1800.82	v -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 
1800.29/1800.82	v -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 
1800.29/1800.82	v -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 
1800.29/1800.82	v -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 
1800.29/1800.82	v -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 
1800.29/1800.82	v -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 
1800.29/1800.82	v -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 
1800.29/1800.82	v -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 
1800.29/1800.82	v -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 
1800.29/1800.82	v -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 
1800.29/1800.82	v -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 
1800.29/1800.82	v -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 
1800.29/1800.82	v -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 
1800.29/1800.82	v -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 
1800.29/1800.82	v -x1071 -x1070 -x1069 -x1068 -x1067 x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 
1800.29/1800.82	v -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 
1800.29/1800.82	v -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 
1800.29/1800.82	v -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 
1800.29/1800.82	v -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 
1800.29/1800.82	v -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 
1800.29/1800.82	v -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 
1800.29/1800.82	v -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 
1800.29/1800.82	v -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 
1800.29/1800.82	v -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 
1800.29/1800.82	v -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 
1800.29/1800.82	v -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 x838 -x837 -x836 -x835 -x834 
1800.29/1800.82	v -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 
1800.29/1800.82	v -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 
1800.29/1800.82	v -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 
1800.29/1800.82	v -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 
1800.29/1800.82	v -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 
1800.29/1800.82	v -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 
1800.29/1800.82	v -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 
1800.29/1800.82	v -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 
1800.29/1800.82	v -x666 -x665 -x664 x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 x651 -x650 -x649 -x648 -x647 -x646 
1800.29/1800.82	v -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 
1800.29/1800.82	v -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 
1800.29/1800.82	v -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 
1800.29/1800.82	v -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 
1800.29/1800.82	v -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 
1800.29/1800.82	v -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 
1800.29/1800.82	v -x520 -x519 -x518 -x517 x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 
1800.29/1800.82	v -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 
1800.29/1800.82	v x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 
1800.29/1800.82	v -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 
1800.29/1800.82	v -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 
1800.29/1800.82	v -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 
1800.29/1800.82	v -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 
1800.29/1800.82	v -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 
1800.29/1800.82	v -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 
1800.29/1800.82	v -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 
1800.29/1800.82	v -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 
1800.29/1800.82	v -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 
1800.29/1800.82	v -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 
1800.29/1800.82	v -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 
1800.29/1800.82	v -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 
1800.29/1800.82	v -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 
1800.29/1800.82	v -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 
1800.29/1800.82	v -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 
1800.29/1800.82	v -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 
1800.29/1800.82	v -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 
1800.29/1800.82	v -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 
1800.29/1800.82	v -x78 -x77 x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 
1800.29/1800.82	v -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 
1800.29/1800.82	v -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 
1800.29/1800.82	v -x2 -x1 
1800.29/1800.82	c SCIP Status        : solving was interrupted [user interrupt]
1800.29/1800.82	c Solving Time       :    1782.53
1800.29/1800.82	c Original Problem   :
1800.29/1800.82	c   Problem name     : HOME/instance-2665680-1276597436.opb
1800.29/1800.82	c   Variables        : 5203 (5203 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.29/1800.82	c   Constraints      : 19637 initial, 19637 maximal
1800.29/1800.82	c Presolved Problem  :
1800.29/1800.82	c   Problem name     : t_HOME/instance-2665680-1276597436.opb
1800.29/1800.82	c   Variables        : 5203 (5203 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.29/1800.82	c   Constraints      : 19603 initial, 120832 maximal
1800.29/1800.82	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.29/1800.82	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.29/1800.82	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.29/1800.82	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.29/1800.82	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.29/1800.82	c   implics          :       0.01          0          0          0          0          0          0          0          0
1800.29/1800.82	c   probing          :       0.11          0          0          0          0          0          0          0          0
1800.29/1800.82	c   linear           :       1.13          0          0          0          0          0         34          2          0
1800.29/1800.82	c   logicor          :       0.43          0          0          0          0          0          0          0          0
1800.29/1800.82	c   root node        :          -          0          -          -          0          -          -          -          -
1800.29/1800.82	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.29/1800.82	c   integral         :          0          0          0          1          0          0          0          0          0          2
1800.29/1800.82	c   logicor          :      19603+         7     647335          0          0      30986     800401          0          0          0
1800.29/1800.82	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1800.29/1800.82	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.29/1800.82	c   integral         :      65.57       0.00       0.00      65.57       0.00
1800.29/1800.82	c   logicor          :     163.63       0.00     163.63       0.00       0.00
1800.29/1800.82	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.29/1800.82	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.29/1800.82	c   vbounds          :       1.03          2          0          0
1800.29/1800.82	c   rootredcost      :       1.05          0          0          0
1800.29/1800.82	c   pseudoobj        :    1319.02    1217842     192700    2516494
1800.29/1800.82	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.29/1800.82	c   propagation      :     701.41     223620     223620     223620      717.7     101737       49.1          -
1800.29/1800.82	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.29/1800.82	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.29/1800.82	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.29/1800.82	c   pseudo solution  :       1.54        393        393        393      567.8        317       56.6          -
1800.29/1800.82	c   applied globally :          -          -          -     177900      220.9          -          -          -
1800.29/1800.82	c   applied locally  :          -          -          -     147362      854.2          -          -          -
1800.29/1800.82	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.29/1800.82	c   cut pool         :       0.00          6          -          -         15          -    (maximal pool size: 71)
1800.29/1800.82	c   redcost          :       0.03          8          0          0          0          0
1800.29/1800.82	c   impliedbounds    :       0.00          8          0          0          0          0
1800.29/1800.82	c   intobj           :       0.00          0          0          0          0          0
1800.29/1800.82	c   cgmip            :       0.00          0          0          0          0          0
1800.29/1800.82	c   gomory           :      15.78          8          0          0       1500          0
1800.29/1800.82	c   strongcg         :      14.87          8          0          0       1500          0
1800.29/1800.82	c   cmir             :       4.20          8          0          0          0          0
1800.29/1800.82	c   flowcover        :       4.16          8          0          0          3          0
1800.29/1800.82	c   clique           :       0.00          1          0          0          0          0
1800.29/1800.82	c   zerohalf         :       0.00          0          0          0          0          0
1800.29/1800.82	c   mcf              :       0.13          1          0          0          0          0
1800.29/1800.83	c   rapidlearning    :       0.00          0          0          0          0          0
1800.29/1800.83	c Pricers            :       Time      Calls       Vars
1800.29/1800.83	c   problem variables:       0.00          0          0
1800.29/1800.83	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.29/1800.83	c   relpscost        :      65.57          1          0          0          0          0          2
1800.29/1800.83	c   pscost           :       0.00          0          0          0          0          0          0
1800.29/1800.83	c   inference        :      51.89     336427          0          0          0          0     672854
1800.29/1800.83	c   mostinf          :       0.00          0          0          0          0          0          0
1800.29/1800.83	c   leastinf         :       0.00          0          0          0          0          0          0
1800.29/1800.83	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.29/1800.83	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.29/1800.83	c   random           :       0.00          0          0          0          0          0          0
1800.29/1800.83	c Primal Heuristics  :       Time      Calls      Found
1800.29/1800.83	c   LP solutions     :       0.00          -          0
1800.29/1800.83	c   pseudo solutions :       0.00          -          0
1800.29/1800.83	c   crossover        :       0.00          0          0
1800.29/1800.83	c   oneopt           :       1.72          4          2
1800.29/1800.83	c   trivial          :       0.15          2          4
1800.29/1800.83	c   simplerounding   :       0.00          0          0
1800.29/1800.83	c   zirounding       :       0.00          1          0
1800.29/1800.83	c   rounding         :       0.07          7          0
1800.29/1800.83	c   shifting         :       0.13          7          0
1800.29/1800.83	c   intshifting      :       0.00          0          0
1800.29/1800.83	c   twoopt           :       0.00          0          0
1800.29/1800.83	c   fixandinfer      :       0.00          0          0
1800.29/1800.83	c   feaspump         :       0.00          0          0
1800.29/1800.83	c   coefdiving       :       0.00          0          0
1800.29/1800.83	c   pscostdiving     :       0.00          0          0
1800.29/1800.83	c   fracdiving       :       0.00          0          0
1800.29/1800.83	c   veclendiving     :       0.00          0          0
1800.29/1800.83	c   intdiving        :       0.00          0          0
1800.29/1800.83	c   actconsdiving    :       0.00          0          0
1800.29/1800.83	c   objpscostdiving  :       0.00          0          0
1800.29/1800.83	c   rootsoldiving    :       0.00          0          0
1800.29/1800.83	c   linesearchdiving :       0.00          0          0
1800.29/1800.83	c   guideddiving     :       0.00          0          0
1800.29/1800.83	c   octane           :       0.00          0          0
1800.29/1800.83	c   rens             :       4.25          1          1
1800.29/1800.83	c   rins             :       0.00          0          0
1800.29/1800.83	c   localbranching   :       0.00          0          0
1800.29/1800.83	c   mutation         :       0.00          0          0
1800.29/1800.83	c   dins             :       0.00          0          0
1800.29/1800.83	c   undercover       :       0.00          0          0
1800.29/1800.83	c   nlp              :       0.47          0          0
1800.29/1800.83	c   trysol           :       0.29          0          0
1800.29/1800.83	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.29/1800.83	c   primal LP        :       0.15          0          0       0.00       0.00
1800.29/1800.83	c   dual LP          :      46.37          7      11842    1691.71     255.38
1800.29/1800.83	c   lex dual LP      :       0.00          0          0       0.00          -
1800.29/1800.83	c   barrier LP       :       0.00          0          0       0.00          -
1800.29/1800.83	c   diving/probing LP:       0.00          0          0       0.00          -
1800.29/1800.83	c   strong branching :      65.57         17      13366     786.24     203.84
1800.29/1800.83	c     (at root node) :          -         17      13366     786.24          -
1800.29/1800.83	c   conflict analysis:       0.00          0          0       0.00          -
1800.29/1800.83	c B&B Tree           :
1800.29/1800.83	c   number of runs   :          1
1800.29/1800.83	c   nodes            :     447994
1800.29/1800.83	c   nodes (total)    :     447994
1800.29/1800.83	c   nodes left       :       4014
1800.29/1800.83	c   max depth        :       4122
1800.29/1800.83	c   max depth (total):       4122
1800.29/1800.83	c   backtracks       :     122484 (27.3%)
1800.29/1800.83	c   delayed cutoffs  :     119323
1800.29/1800.83	c   repropagations   :     224790 (1739311 domain reductions, 112513 cutoffs)
1800.29/1800.83	c   avg switch length:       2.20
1800.29/1800.83	c   switching time   :      27.43
1800.29/1800.83	c Solution           :
1800.29/1800.83	c   Solutions found  :          7 (6 improvements)
1800.29/1800.83	c   First Solution   : +5.20300000000000e+03   (in run 1, after 0 nodes, 0.61 seconds, depth 0, found by <trivial>)
1800.29/1800.83	c   Primal Bound     : +5.40000000000000e+01   (in run 1, after 1 nodes, 87.85 seconds, depth 0, found by <rens>)
1800.29/1800.83	c   Dual Bound       : +3.94986855266700e+01
1800.29/1800.83	c   Gap              :      36.71 %
1800.29/1800.83	c   Root Dual Bound  : +3.94878134052543e+01
1800.29/1800.83	c   Root Iterations  :      11842
1800.88/1801.47	c Time complete: 1800.94.

Verifier Data 

OK	54

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665680-1276597436/watcher-2665680-1276597436 -o /tmp/evaluation-result-2665680-1276597436/solver-2665680-1276597436 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665680-1276597436.opb -t 1800 -m 1800 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.94 1.03 1.01 3/106 1466
/proc/meminfo: memFree=1738872/2059040 swapFree=4140244/4192956
[pid=1466] ppid=1464 vsize=6356 CPUtime=0
/proc/1466/stat : 1466 (pbscip.linux.x8) R 1464 1466 1441 0 -1 4202496 571 0 0 0 0 0 0 0 18 0 1 0 35347585 6508544 492 1992294400 4194304 9819077 140735855726976 18446744073709551615 8656455 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1466/statm: 1589 494 338 1374 0 210 0

[startup+0.031731 s]
/proc/loadavg: 0.94 1.03 1.01 3/106 1466
/proc/meminfo: memFree=1738872/2059040 swapFree=4140244/4192956
[pid=1466] ppid=1464 vsize=15420 CPUtime=0.02
/proc/1466/stat : 1466 (pbscip.linux.x8) R 1464 1466 1441 0 -1 4202496 2796 0 0 0 2 0 0 0 20 0 1 0 35347585 15790080 2716 1992294400 4194304 9819077 140735855726976 18446744073709551615 5650593 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1466/statm: 3855 2716 388 1374 0 2476 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 15420

[startup+0.101736 s]
/proc/loadavg: 0.94 1.03 1.01 3/106 1466
/proc/meminfo: memFree=1738872/2059040 swapFree=4140244/4192956
[pid=1466] ppid=1464 vsize=16488 CPUtime=0.09
/proc/1466/stat : 1466 (pbscip.linux.x8) R 1464 1466 1441 0 -1 4202496 3080 0 0 0 8 1 0 0 20 0 1 0 35347585 16883712 3000 1992294400 4194304 9819077 140735855726976 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1466/statm: 4122 3000 388 1374 0 2743 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16488

[startup+0.300752 s]
/proc/loadavg: 0.94 1.03 1.01 3/106 1466
/proc/meminfo: memFree=1738872/2059040 swapFree=4140244/4192956
[pid=1466] ppid=1464 vsize=19852 CPUtime=0.29
/proc/1466/stat : 1466 (pbscip.linux.x8) R 1464 1466 1441 0 -1 4202496 3925 0 0 0 28 1 0 0 20 0 1 0 35347585 20328448 3845 1992294400 4194304 9819077 140735855726976 18446744073709551615 5650605 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1466/statm: 4963 3845 388 1374 0 3584 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19852

[startup+0.700785 s]
/proc/loadavg: 0.94 1.03 1.01 3/106 1466
/proc/meminfo: memFree=1738872/2059040 swapFree=4140244/4192956
[pid=1466] ppid=1464 vsize=26304 CPUtime=0.69
/proc/1466/stat : 1466 (pbscip.linux.x8) R 1464 1466 1441 0 -1 4202496 5535 0 0 0 68 1 0 0 21 0 1 0 35347585 26935296 5455 1992294400 4194304 9819077 140735855726976 18446744073709551615 8654622 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1466/statm: 6576 5455 388 1374 0 5197 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 26304

[startup+1.50085 s]
/proc/loadavg: 0.94 1.03 1.01 2/107 1467
/proc/meminfo: memFree=1712204/2059040 swapFree=4140244/4192956
[pid=1466] ppid=1464 vsize=37312 CPUtime=1.49
/proc/1466/stat : 1466 (pbscip.linux.x8) R 1464 1466 1441 0 -1 4202496 8252 0 0 0 147 2 0 0 23 0 1 0 35347585 38207488 8172 1992294400 4194304 9819077 140735855726976 18446744073709551615 8667862 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1466/statm: 9328 8172 388 1374 0 7949 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 37312

[startup+3.10098 s]
/proc/loadavg: 0.94 1.03 1.01 2/107 1467
/proc/meminfo: memFree=1700300/2059040 swapFree=4140244/4192956
[pid=1466] ppid=1464 vsize=179320 CPUtime=3.09
/proc/1466/stat : 1466 (pbscip.linux.x8) R 1464 1466 1441 0 -1 4202496 43615 0 0 0 296 13 0 0 25 0 1 0 35347585 183623680 43181 1992294400 4194304 9819077 140735855726976 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1466/statm: 44830 43181 484 1374 0 43451 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 179320

[startup+6.30124 s]
/proc/loadavg: 0.94 1.03 1.01 2/107 1467
/proc/meminfo: memFree=1522608/2059040 swapFree=4140244/4192956
[pid=1466] ppid=1464 vsize=295060 CPUtime=6.29
/proc/1466/stat : 1466 (pbscip.linux.x8) R 1464 1466 1441 0 -1 4202496 80101 0 0 0 595 34 0 0 25 0 1 0 35347585 302141440 70104 1992294400 4194304 9819077 140735855726976 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1466/statm: 73765 70104 623 1374 0 72386 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 295060

[startup+12.7008 s]
/proc/loadavg: 0.95 1.03 1.00 2/107 1467
/proc/meminfo: memFree=1456152/2059040 swapFree=4140244/4192956
[pid=1466] ppid=1464 vsize=313800 CPUtime=12.69
/proc/1466/stat : 1466 (pbscip.linux.x8) R 1464 1466 1441 0 -1 4202496 89013 0 0 0 1229 40 0 0 25 0 1 0 35347585 321331200 70683 1992294400 4194304 9819077 140735855726976 18446744073709551615 7304779 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1466/statm: 78450 70683 626 1374 0 77071 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 313800

[startup+25.5018 s]
/proc/loadavg: 0.96 1.03 1.00 2/107 1467
/proc/meminfo: memFree=1455656/2059040 swapFree=4140244/4192956
[pid=1466] ppid=1464 vsize=313068 CPUtime=25.49
/proc/1466/stat : 1466 (pbscip.linux.x8) R 1464 1466 1441 0 -1 4202496 107224 0 0 0 2497 52 0 0 25 0 1 0 35347585 320581632 70708 1992294400 4194304 9819077 140735855726976 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1466/statm: 78267 70708 626 1374 0 76888 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 313068

[startup+51.1019 s]
/proc/loadavg: 0.97 1.03 1.00 2/107 1469
/proc/meminfo: memFree=1429864/2059040 swapFree=4140244/4192956
[pid=1466] ppid=1464 vsize=347708 CPUtime=51.08
/proc/1466/stat : 1466 (pbscip.linux.x8) R 1464 1466 1441 0 -1 4202496 161363 0 0 0 5028 80 0 0 25 0 1 0 35347585 356052992 79028 1992294400 4194304 9819077 140735855726976 18446744073709551615 6555537 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1466/statm: 86927 79028 663 1374 0 85548 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 347708

[startup+102.309 s]
/proc/loadavg: 0.99 1.02 1.00 2/107 1469
/proc/meminfo: memFree=1414116/2059040 swapFree=4140244/4192956
[pid=1466] ppid=1464 vsize=382444 CPUtime=102.27
/proc/1466/stat : 1466 (pbscip.linux.x8) R 1464 1466 1441 0 -1 4202496 277240 0 0 0 10070 157 0 0 25 0 1 0 35347585 391622656 81701 1992294400 4194304 9819077 140735855726976 18446744073709551615 7290971 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1466/statm: 95611 81701 718 1374 0 94232 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 382444

[startup+162.302 s]
/proc/loadavg: 0.99 1.01 1.00 2/107 1471
/proc/meminfo: memFree=1413372/2059040 swapFree=4140244/4192956
[pid=1466] ppid=1464 vsize=382284 CPUtime=162.25
/proc/1466/stat : 1466 (pbscip.linux.x8) R 1464 1466 1441 0 -1 4202496 430341 0 0 0 15990 235 0 0 25 0 1 0 35347585 391458816 81565 1992294400 4194304 9819077 140735855726976 18446744073709551615 6391483 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1466/statm: 95571 81565 718 1374 0 94192 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 382284

[startup+222.302 s]
/proc/loadavg: 0.99 1.01 1.00 2/107 1473
/proc/meminfo: memFree=1393780/2059040 swapFree=4140244/4192956
[pid=1466] ppid=1464 vsize=380956 CPUtime=222.23
/proc/1466/stat : 1466 (pbscip.linux.x8) R 1464 1466 1441 0 -1 4202496 443586 0 0 0 21935 288 0 0 25 0 1 0 35347585 390098944 86704 1992294400 4194304 9819077 140735855726976 18446744073709551615 5506350 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1466/statm: 95239 86704 720 1374 0 93860 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 380956

[startup+282.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 1475
/proc/meminfo: memFree=1380760/2059040 swapFree=4140244/4192956
[pid=1466] ppid=1464 vsize=397512 CPUtime=282.21
/proc/1466/stat : 1466 (pbscip.linux.x8) R 1464 1466 1441 0 -1 4202496 446902 0 0 0 27887 334 0 0 25 0 1 0 35347585 407052288 90020 1992294400 4194304 9819077 140735855726976 18446744073709551615 4703879 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1466/statm: 99378 90020 720 1374 0 97999 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 397512

[startup+342.302 s]
/proc/loadavg: 0.99 1.00 1.00 3/107 1477
/proc/meminfo: memFree=1374932/2059040 swapFree=4140244/4192956
[pid=1466] ppid=1464 vsize=404204 CPUtime=342.2
/proc/1466/stat : 1466 (pbscip.linux.x8) R 1464 1466 1441 0 -1 4202496 448392 0 0 0 33833 387 0 0 25 0 1 0 35347585 413904896 91510 1992294400 4194304 9819077 140735855726976 18446744073709551615 5892292 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1466/statm: 101051 91510 720 1374 0 99672 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 404204

[startup+402.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 1477
/proc/meminfo: memFree=1369476/2059040 swapFree=4140244/4192956
[pid=1466] ppid=1464 vsize=410456 CPUtime=402.18
/proc/1466/stat : 1466 (pbscip.linux.x8) R 1464 1466 1441 0 -1 4202496 449687 0 0 0 39784 434 0 0 25 0 1 0 35347585 420306944 92805 1992294400 4194304 9819077 140735855726976 18446744073709551615 5507387 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1466/statm: 102614 92805 720 1374 0 101235 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 410456

[startup+462.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 1479
/proc/meminfo: memFree=1363648/2059040 swapFree=4140244/4192956
[pid=1466] ppid=1464 vsize=417172 CPUtime=462.16
/proc/1466/stat : 1466 (pbscip.linux.x8) R 1464 1466 1441 0 -1 4202496 451125 0 0 0 45733 483 0 0 25 0 1 0 35347585 427184128 94243 1992294400 4194304 9819077 140735855726976 18446744073709551615 4703869 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1466/statm: 104293 94243 720 1374 0 102914 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 417172

[startup+522.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 1481
/proc/meminfo: memFree=1359184/2059040 swapFree=4140244/4192956
[pid=1466] ppid=1464 vsize=422620 CPUtime=522.14
/proc/1466/stat : 1466 (pbscip.linux.x8) R 1464 1466 1441 0 -1 4202496 452188 0 0 0 51684 530 0 0 25 0 1 0 35347585 432762880 95306 1992294400 4194304 9819077 140735855726976 18446744073709551615 5507387 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1466/statm: 105655 95306 720 1374 0 104276 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 422620

[startup+582.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 1483
/proc/meminfo: memFree=1355092/2059040 swapFree=4140244/4192956
[pid=1466] ppid=1464 vsize=427780 CPUtime=582.13
/proc/1466/stat : 1466 (pbscip.linux.x8) R 1464 1466 1441 0 -1 4202496 453241 0 0 0 57633 580 0 0 25 0 1 0 35347585 438046720 96359 1992294400 4194304 9819077 140735855726976 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1466/statm: 106945 96359 720 1374 0 105566 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 427780

[startup+642.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 1485
/proc/meminfo: memFree=1349760/2059040 swapFree=4140244/4192956
[pid=1466] ppid=1464 vsize=433740 CPUtime=642.11
/proc/1466/stat : 1466 (pbscip.linux.x8) R 1464 1466 1441 0 -1 4202496 454527 0 0 0 63591 620 0 0 25 0 1 0 35347585 444149760 97645 1992294400 4194304 9819077 140735855726976 18446744073709551615 4240388 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1466/statm: 108435 97645 720 1374 0 107056 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 433740

[startup+702.301 s]

################
# More data... #
################

[startup+942.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 1493
/proc/meminfo: memFree=1336244/2059040 swapFree=4140244/4192956
[pid=1466] ppid=1464 vsize=449308 CPUtime=942.03
/proc/1466/stat : 1466 (pbscip.linux.x8) R 1464 1466 1441 0 -1 4202496 457845 0 0 0 93355 848 0 0 25 0 1 0 35347585 460091392 100963 1992294400 4194304 9819077 140735855726976 18446744073709551615 4240388 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1466/statm: 112327 100963 720 1374 0 110948 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 449308

[startup+1002.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 1493
/proc/meminfo: memFree=1331532/2059040 swapFree=4140244/4192956
[pid=1466] ppid=1464 vsize=454868 CPUtime=1002
/proc/1466/stat : 1466 (pbscip.linux.x8) R 1464 1466 1441 0 -1 4202496 458985 0 0 0 99305 895 0 0 25 0 1 0 35347585 465784832 102103 1992294400 4194304 9819077 140735855726976 18446744073709551615 5905985 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1466/statm: 113717 102103 720 1374 0 112338 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 454868

[startup+1062.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 1495
/proc/meminfo: memFree=1331036/2059040 swapFree=4140244/4192956
[pid=1466] ppid=1464 vsize=455276 CPUtime=1061.98
/proc/1466/stat : 1466 (pbscip.linux.x8) R 1464 1466 1441 0 -1 4202496 459121 0 0 0 105256 942 0 0 25 0 1 0 35347585 466202624 102239 1992294400 4194304 9819077 140735855726976 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1466/statm: 113819 102239 720 1374 0 112440 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 455276

[startup+1122.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 1497
/proc/meminfo: memFree=1328928/2059040 swapFree=4140244/4192956
[pid=1466] ppid=1464 vsize=457136 CPUtime=1121.97
/proc/1466/stat : 1466 (pbscip.linux.x8) R 1464 1466 1441 0 -1 4202496 459634 0 0 0 111207 990 0 0 25 0 1 0 35347585 468107264 102752 1992294400 4194304 9819077 140735855726976 18446744073709551615 5507431 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1466/statm: 114284 102752 720 1374 0 112905 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 457136

[startup+1182.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 1499
/proc/meminfo: memFree=1324092/2059040 swapFree=4140244/4192956
[pid=1466] ppid=1464 vsize=462736 CPUtime=1181.95
/proc/1466/stat : 1466 (pbscip.linux.x8) R 1464 1466 1441 0 -1 4202496 460804 0 0 0 117158 1037 0 0 25 0 1 0 35347585 473841664 103922 1992294400 4194304 9819077 140735855726976 18446744073709551615 4704784 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1466/statm: 115684 103922 720 1374 0 114305 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 462736

[startup+1242.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 1501
/proc/meminfo: memFree=1321736/2059040 swapFree=4140244/4192956
[pid=1466] ppid=1464 vsize=464808 CPUtime=1241.93
/proc/1466/stat : 1466 (pbscip.linux.x8) R 1464 1466 1441 0 -1 4202496 461346 0 0 0 123106 1087 0 0 25 0 1 0 35347585 475963392 104464 1992294400 4194304 9819077 140735855726976 18446744073709551615 5905985 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1466/statm: 116202 104464 720 1374 0 114823 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 464808

[startup+1302.3 s]
/proc/loadavg: 1.12 1.03 1.01 2/107 1501
/proc/meminfo: memFree=1318512/2059040 swapFree=4140244/4192956
[pid=1466] ppid=1464 vsize=467832 CPUtime=1301.92
/proc/1466/stat : 1466 (pbscip.linux.x8) R 1464 1466 1441 0 -1 4202496 462122 0 0 0 129048 1144 0 0 25 0 1 0 35347585 479059968 105240 1992294400 4194304 9819077 140735855726976 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1466/statm: 116958 105240 720 1374 0 115579 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 467832

[startup+1362.3 s]
/proc/loadavg: 1.10 1.04 1.01 2/107 1503
/proc/meminfo: memFree=1315040/2059040 swapFree=4140244/4192956
[pid=1466] ppid=1464 vsize=471784 CPUtime=1361.91
/proc/1466/stat : 1466 (pbscip.linux.x8) R 1464 1466 1441 0 -1 4202496 462981 0 0 0 134998 1193 0 0 25 0 1 0 35347585 483106816 106099 1992294400 4194304 9819077 140735855726976 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1466/statm: 117946 106099 720 1374 0 116567 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 471784

[startup+1422.31 s]
/proc/loadavg: 1.08 1.04 1.01 3/107 1505
/proc/meminfo: memFree=1311444/2059040 swapFree=4140244/4192956
[pid=1466] ppid=1464 vsize=475084 CPUtime=1421.9
/proc/1466/stat : 1466 (pbscip.linux.x8) R 1464 1466 1441 0 -1 4202496 463883 0 0 0 140946 1244 0 0 25 0 1 0 35347585 486486016 107001 1992294400 4194304 9819077 140735855726976 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1466/statm: 118771 107001 720 1374 0 117392 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 475084

[startup+1482.3 s]
/proc/loadavg: 1.07 1.05 1.01 2/107 1507
/proc/meminfo: memFree=1306732/2059040 swapFree=4140244/4192956
[pid=1466] ppid=1464 vsize=480460 CPUtime=1481.87
/proc/1466/stat : 1466 (pbscip.linux.x8) R 1464 1466 1441 0 -1 4202496 465010 0 0 0 146893 1294 0 0 25 0 1 0 35347585 491991040 108128 1992294400 4194304 9819077 140735855726976 18446744073709551615 4647753 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1466/statm: 120115 108128 720 1374 0 118736 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 480460

[startup+1542.3 s]
/proc/loadavg: 1.02 1.04 1.00 2/107 1509
/proc/meminfo: memFree=1303756/2059040 swapFree=4140244/4192956
[pid=1466] ppid=1464 vsize=483172 CPUtime=1541.85
/proc/1466/stat : 1466 (pbscip.linux.x8) R 1464 1466 1441 0 -1 4202496 465756 0 0 0 152842 1343 0 0 25 0 1 0 35347585 494768128 108874 1992294400 4194304 9819077 140735855726976 18446744073709551615 5918768 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1466/statm: 120793 108874 720 1374 0 119414 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 483172

[startup+1602.3 s]
/proc/loadavg: 1.01 1.03 1.00 2/107 1509
/proc/meminfo: memFree=1300036/2059040 swapFree=4140244/4192956
[pid=1466] ppid=1464 vsize=486708 CPUtime=1601.84
/proc/1466/stat : 1466 (pbscip.linux.x8) R 1464 1466 1441 0 -1 4202496 466708 0 0 0 158790 1394 0 0 25 0 1 0 35347585 498388992 109826 1992294400 4194304 9819077 140735855726976 18446744073709551615 5507431 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1466/statm: 121677 109826 720 1374 0 120298 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 486708

[startup+1662.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 1511
/proc/meminfo: memFree=1294332/2059040 swapFree=4140244/4192956
[pid=1466] ppid=1464 vsize=493292 CPUtime=1661.82
/proc/1466/stat : 1466 (pbscip.linux.x8) R 1464 1466 1441 0 -1 4202496 468121 0 0 0 164739 1443 0 0 25 0 1 0 35347585 505131008 111239 1992294400 4194304 9819077 140735855726976 18446744073709551615 4240371 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1466/statm: 123323 111239 720 1374 0 121944 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 493292

[startup+1722.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 1513
/proc/meminfo: memFree=1292348/2059040 swapFree=4140244/4192956
[pid=1466] ppid=1464 vsize=494836 CPUtime=1721.81
/proc/1466/stat : 1466 (pbscip.linux.x8) R 1464 1466 1441 0 -1 4202496 468573 0 0 0 170688 1493 0 0 25 0 1 0 35347585 506712064 111691 1992294400 4194304 9819077 140735855726976 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1466/statm: 123709 111691 720 1374 0 122330 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 494836

[startup+1782.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 1515
/proc/meminfo: memFree=1290736/2059040 swapFree=4140244/4192956
[pid=1466] ppid=1464 vsize=496144 CPUtime=1781.79
/proc/1466/stat : 1466 (pbscip.linux.x8) R 1464 1466 1441 0 -1 4202496 468925 0 0 0 176640 1539 0 0 25 0 1 0 35347585 508051456 112043 1992294400 4194304 9819077 140735855726976 18446744073709551615 4703869 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1466/statm: 124036 112043 720 1374 0 122657 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 496144



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.01 1.00 4/107 1515
/proc/meminfo: memFree=1290488/2059040 swapFree=4140244/4192956
[pid=1466] ppid=1464 vsize=496276 CPUtime=1800.1
/proc/1466/stat : 1466 (pbscip.linux.x8) R 1464 1466 1441 0 -1 4202496 468977 0 0 0 178457 1553 0 0 25 0 1 0 35347585 508186624 112095 1992294400 4194304 9819077 140735855726976 18446744073709551615 4652809 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1466/statm: 124069 112095 720 1374 0 122690 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 496276

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1801 s]
/proc/loadavg: 1.00 1.01 1.00 4/107 1515
/proc/meminfo: memFree=1290488/2059040 swapFree=4140244/4192956
[pid=1466] ppid=1464 vsize=484692 CPUtime=1800.48
/proc/1466/stat : 1466 (pbscip.linux.x8) R 1464 1466 1441 0 -1 4202496 469563 0 0 0 178495 1553 0 0 25 0 1 0 35347585 496324608 109145 1992294400 4194304 9819077 140735855726976 18446744073709551615 6027059 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1466/statm: 121173 109145 721 1374 0 119794 0
Current children cumulated CPU time (s) 1800.48
Current children cumulated vsize (KiB) 484692

[startup+1801.4 s]
/proc/loadavg: 1.00 1.01 1.00 4/107 1515
/proc/meminfo: memFree=1290488/2059040 swapFree=4140244/4192956
[pid=1466] ppid=1464 vsize=360924 CPUtime=1800.88
/proc/1466/stat : 1466 (pbscip.linux.x8) R 1464 1466 1441 0 -1 4202496 469563 0 0 0 178534 1554 0 0 25 0 1 0 35347585 369586176 78310 1992294400 4194304 9819077 140735855726976 18446744073709551615 4387823 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1466/statm: 90231 78310 721 1374 0 88852 0
Current children cumulated CPU time (s) 1800.88
Current children cumulated vsize (KiB) 360924

Child status: 0
Real time (s): 1801.47
CPU time (s): 1800.96
CPU user time (s): 1785.38
CPU system time (s): 15.5796
CPU usage (%): 99.9716
Max. virtual memory (cumulated for all children) (KiB): 526488

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1785.38
system time used= 15.5796
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 469567
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 3901

runsolver used 2.95355 second user time and 8.5397 second system time

The end

Launcher Data 

Begin job on node003 at 2010-06-15 12:23:56
IDJOB=2665680
IDBENCH=2889
IDSOLVER=1168
FILE ID=node003/2665680-1276597436
PBS_JOBID= 11172236
Free space on /tmp= 62572 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-C499.b.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2665680-1276597436/watcher-2665680-1276597436 -o /tmp/evaluation-result-2665680-1276597436/solver-2665680-1276597436 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665680-1276597436.opb -t 1800 -m 1800

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 0b80319f4195f1e1329c2c4b63b416b0
RANDOM SEED=38096135

node003.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.251
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.50
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.251
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1739524 kB
Buffers:         89568 kB
Cached:         148620 kB
SwapCached:       6132 kB
Active:         107804 kB
Inactive:       143552 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1739524 kB
SwapTotal:     4192956 kB
SwapFree:      4140244 kB
Dirty:           16296 kB
Writeback:           0 kB
AnonPages:       11428 kB
Mapped:          13096 kB
Slab:            46408 kB
PageTables:       4036 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182264 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= 62564 MiB
End job on node003 at 2010-06-15 12:53:59