Trace number 2664187

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
SCIPnone SCIP 1.2.1.2 without any LP solverSAT (TO)87 1800.17 1800.77

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-exam.pi.opb
MD5SUMc7b7ba2fb8a9fff5b9677d5bbd1edc0f
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark63
Best CPU time to get the best result obtained on this benchmark6.91795
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 63
Optimality of the best value was proved YES
Number of variables4676
Total number of constraints509
Number of constraints which are clauses509
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 constraint3
Maximum length of a constraint166
Number of terms in the objective function 4676
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 4676
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 4676
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: NONE] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2664187-1276410309.opb>
0.06/0.08	c original problem has 4676 variables (4676 bin, 0 int, 0 impl, 0 cont) and 509 constraints
0.06/0.08	c problem read
0.06/0.08	c presolving settings loaded
0.06/0.08	c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.09/0.14	o 4676
0.09/0.14	c feasible solution found by trivial heuristic, objective value  4.676000e+03
0.09/0.14	c presolving:
0.19/0.20	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 509 upgd conss, 0 impls, 0 clqs
0.19/0.25	c    (0.2s) probing: 101/4676 (2.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.25	c    (0.2s) probing aborted: 100/100 successive totally useless probings
0.19/0.25	c presolving (2 rounds):
0.19/0.25	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.25	c  0 implications, 0 cliques
0.19/0.25	c presolved problem has 4676 variables (4676 bin, 0 int, 0 impl, 0 cont) and 509 constraints
0.19/0.25	c     509 constraints of type <logicor>
0.19/0.25	c transformed objective value is always integral (scale: 1)
0.19/0.25	c Presolving Time: 0.14
0.19/0.25	c - non default parameters ----------------------------------------------------------------------
0.19/0.25	c # SCIP version 1.2.1.2
0.19/0.25	c 
0.19/0.25	c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.19/0.25	c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.25	c conflict/interconss = 0
0.19/0.25	c 
0.19/0.25	c # should binary conflicts be preferred?
0.19/0.25	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.25	c conflict/preferbinary = TRUE
0.19/0.25	c 
0.19/0.25	c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.19/0.25	c # [type: int, range: [-1,2147483647], default: 0]
0.19/0.25	c constraints/agelimit = 1
0.19/0.25	c 
0.19/0.25	c # should enforcement of pseudo solution be disabled?
0.19/0.25	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.25	c constraints/disableenfops = TRUE
0.19/0.25	c 
0.19/0.25	c # frequency for displaying node information lines
0.19/0.25	c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.25	c display/freq = 10000
0.19/0.25	c 
0.19/0.25	c # maximal time in seconds to run
0.19/0.25	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.25	c limits/time = 1799.93
0.19/0.25	c 
0.19/0.25	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.25	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.25	c limits/memory = 1620
0.19/0.25	c 
0.19/0.25	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.19/0.25	c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.25	c lp/solvefreq = -1
0.19/0.25	c 
0.19/0.25	c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
0.19/0.25	c # [type: char, range: {lafpsqd}, default: l]
0.19/0.25	c lp/pricing = a
0.19/0.25	c 
0.19/0.25	c # should presolving try to simplify inequalities
0.19/0.25	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.25	c constraints/linear/simplifyinequalities = TRUE
0.19/0.25	c 
0.19/0.25	c # should presolving try to simplify knapsacks
0.19/0.25	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.25	c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.25	c 
0.19/0.25	c # priority of node selection rule <dfs> in standard mode
0.19/0.25	c # [type: int, range: [-536870912,536870911], default: 0]
0.19/0.25	c nodeselection/dfs/stdpriority = 1000000
0.19/0.25	c 
0.19/0.25	c -----------------------------------------------------------------------------------------------
0.19/0.25	c start solving
0.19/0.25	c 
0.19/0.26	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.19/0.26	c t 0.2s|     1 |     2 |     0 |     - |8908k|   0 |   - |4676 | 509 |   0 |   0 |   0 |   0 |   0 | 0.000000e+00 | 4.676000e+03 |    Inf 
6.09/6.11	o 87
6.09/6.11	c * 6.0s|  4590 |  4573 |     0 |   0.0 |  11M|4589 |   - |4676 | 509 |   0 |   0 |   0 |   0 |   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
15.78/15.85	c  15.6s| 10000 |  4550 |     0 |   0.0 |  11M|4589 |   - |4676 | 511 |   0 |   0 |   0 |2035 |   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
33.68/33.80	c  33.3s| 20000 |  4552 |     0 |   0.0 |  11M|4589 |   - |4676 | 509 |   0 |   0 |   0 |5732 |   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
50.17/50.28	c  49.6s| 30000 |  4547 |     0 |   0.0 |  11M|4589 |   - |4676 | 520 |   0 |   0 |   0 |9199 |   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
65.67/65.76	c  64.9s| 40000 |  4549 |     0 |   0.0 |  11M|4589 |   - |4676 | 511 |   0 |   0 |   0 |  12k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
79.76/79.89	c  78.8s| 50000 |  4541 |     0 |   0.0 |  11M|4589 |   - |4676 | 513 |   0 |   0 |   0 |  14k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
94.46/94.57	c  93.3s| 60000 |  4553 |     0 |   0.0 |  11M|4589 |   - |4676 | 516 |   0 |   0 |   0 |  17k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
108.35/108.46	c   107s| 70000 |  4554 |     0 |   0.0 |  11M|4589 |   - |4676 | 514 |   0 |   0 |   0 |  20k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
123.95/124.07	c   122s| 80000 |  4543 |     0 |   0.0 |  11M|4589 |   - |4676 | 510 |   0 |   0 |   0 |  23k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
139.44/139.51	c   138s| 90000 |  4535 |     0 |   0.0 |  11M|4589 |   - |4676 | 516 |   0 |   0 |   0 |  26k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
154.14/154.23	c   152s|100000 |  4541 |     0 |   0.0 |  11M|4589 |   - |4676 | 512 |   0 |   0 |   0 |  29k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
170.03/170.13	c   168s|110000 |  4538 |     0 |   0.0 |  11M|4589 |   - |4676 | 511 |   0 |   0 |   0 |  32k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
186.12/186.29	c   184s|120000 |  4534 |     0 |   0.0 |  11M|4589 |   - |4676 | 509 |   0 |   0 |   0 |  35k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
203.01/203.12	c   201s|130000 |  4537 |     0 |   0.0 |  11M|4589 |   - |4676 | 513 |   0 |   0 |   0 |  39k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
219.21/219.37	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
219.21/219.37	c   217s|140000 |  4531 |     0 |   0.0 |  11M|4589 |   - |4676 | 517 |   0 |   0 |   0 |  42k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
236.10/236.25	c   233s|150000 |  4538 |     0 |   0.0 |  11M|4589 |   - |4676 | 510 |   0 |   0 |   0 |  45k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
251.00/251.12	c   248s|160000 |  4545 |     0 |   0.0 |  11M|4589 |   - |4676 | 513 |   0 |   0 |   0 |  48k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
266.20/266.39	c   263s|170000 |  4536 |     0 |   0.0 |  11M|4589 |   - |4676 | 509 |   0 |   0 |   0 |  51k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
282.29/282.46	c   279s|180000 |  4539 |     0 |   0.0 |  11M|4589 |   - |4676 | 517 |   0 |   0 |   0 |  54k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
298.99/299.12	c   295s|190000 |  4540 |     0 |   0.0 |  11M|4589 |   - |4676 | 518 |   0 |   0 |   0 |  58k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
315.49/315.61	c   312s|200000 |  4540 |     0 |   0.0 |  11M|4589 |   - |4676 | 522 |   0 |   0 |   0 |  61k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
330.99/331.13	c   327s|210000 |  4531 |     0 |   0.0 |  11M|4589 |   - |4676 | 512 |   0 |   0 |   0 |  64k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
346.77/346.92	c   342s|220000 |  4536 |     0 |   0.0 |  11M|4589 |   - |4676 | 511 |   0 |   0 |   0 |  67k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
360.77/360.92	c   356s|230000 |  4538 |     0 |   0.0 |  11M|4589 |   - |4676 | 514 |   0 |   0 |   0 |  69k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
375.46/375.64	c   371s|240000 |  4537 |     0 |   0.0 |  11M|4589 |   - |4676 | 513 |   0 |   0 |   0 |  72k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
390.46/390.67	c   386s|250000 |  4537 |     0 |   0.0 |  11M|4589 |   - |4676 | 515 |   0 |   0 |   0 |  75k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
404.56/404.72	c   399s|260000 |  4539 |     0 |   0.0 |  11M|4589 |   - |4676 | 513 |   0 |   0 |   0 |  78k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
418.85/419.10	c   414s|270000 |  4531 |     0 |   0.0 |  11M|4589 |   - |4676 | 512 |   0 |   0 |   0 |  80k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
435.64/435.83	c   430s|280000 |  4536 |     0 |   0.0 |  11M|4589 |   - |4676 | 516 |   0 |   0 |   0 |  84k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
452.84/453.03	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
452.84/453.03	c   447s|290000 |  4527 |     0 |   0.0 |  11M|4589 |   - |4676 | 515 |   0 |   0 |   0 |  87k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
469.53/469.74	c   464s|300000 |  4536 |     0 |   0.0 |  11M|4589 |   - |4676 | 512 |   0 |   0 |   0 |  91k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
486.82/487.05	c   481s|310000 |  4533 |     0 |   0.0 |  11M|4589 |   - |4676 | 514 |   0 |   0 |   0 |  94k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
504.12/504.37	c   498s|320000 |  4535 |     0 |   0.0 |  11M|4589 |   - |4676 | 513 |   0 |   0 |   0 |  98k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
521.52/521.70	c   515s|330000 |  4535 |     0 |   0.0 |  11M|4589 |   - |4676 | 512 |   0 |   0 |   0 | 101k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
539.01/539.27	c   532s|340000 |  4534 |     0 |   0.0 |  11M|4589 |   - |4676 | 512 |   0 |   0 |   0 | 105k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
556.01/556.27	c   549s|350000 |  4524 |     0 |   0.0 |  11M|4589 |   - |4676 | 510 |   0 |   0 |   0 | 108k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
571.90/572.14	c   565s|360000 |  4531 |     0 |   0.0 |  11M|4589 |   - |4676 | 515 |   0 |   0 |   0 | 111k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
586.69/586.90	c   579s|370000 |  4529 |     0 |   0.0 |  11M|4589 |   - |4676 | 520 |   0 |   0 |   0 | 114k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
602.89/603.10	c   595s|380000 |  4536 |     0 |   0.0 |  11M|4589 |   - |4676 | 515 |   0 |   0 |   0 | 117k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
618.28/618.56	c   611s|390000 |  4535 |     0 |   0.0 |  11M|4589 |   - |4676 | 516 |   0 |   0 |   0 | 120k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
634.17/634.47	c   626s|400000 |  4526 |     0 |   0.0 |  11M|4589 |   - |4676 | 516 |   0 |   0 |   0 | 123k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
651.77/652.00	c   644s|410000 |  4536 |     0 |   0.0 |  11M|4589 |   - |4676 | 511 |   0 |   0 |   0 | 127k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
667.56/667.84	c   659s|420000 |  4528 |     0 |   0.0 |  11M|4589 |   - |4676 | 520 |   0 |   0 |   0 | 130k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
684.56/684.80	c   676s|430000 |  4530 |     0 |   0.0 |  11M|4589 |   - |4676 | 512 |   0 |   0 |   0 | 133k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
700.85/701.16	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
700.85/701.16	c   692s|440000 |  4538 |     0 |   0.0 |  11M|4589 |   - |4676 | 517 |   0 |   0 |   0 | 136k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
714.66/714.93	c   706s|450000 |  4536 |     0 |   0.0 |  11M|4589 |   - |4676 | 510 |   0 |   0 |   0 | 139k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
728.95/729.20	c   720s|460000 |  4527 |     0 |   0.0 |  11M|4589 |   - |4676 | 511 |   0 |   0 |   0 | 141k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
745.64/745.91	c   736s|470000 |  4527 |     0 |   0.0 |  11M|4589 |   - |4676 | 510 |   0 |   0 |   0 | 145k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
762.63/762.97	c   753s|480000 |  4528 |     0 |   0.0 |  11M|4589 |   - |4676 | 510 |   0 |   0 |   0 | 148k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
779.93/780.29	c   770s|490000 |  4533 |     0 |   0.0 |  11M|4589 |   - |4676 | 513 |   0 |   0 |   0 | 152k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
798.02/798.32	c   788s|500000 |  4529 |     0 |   0.0 |  11M|4589 |   - |4676 | 513 |   0 |   0 |   0 | 156k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
814.51/814.83	c   804s|510000 |  4525 |     0 |   0.0 |  11M|4589 |   - |4676 | 510 |   0 |   0 |   0 | 159k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
829.41/829.74	c   819s|520000 |  4526 |     0 |   0.0 |  11M|4589 |   - |4676 | 511 |   0 |   0 |   0 | 162k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
845.11/845.48	c   835s|530000 |  4530 |     0 |   0.0 |  11M|4589 |   - |4676 | 514 |   0 |   0 |   0 | 165k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
861.20/861.54	c   850s|540000 |  4528 |     0 |   0.0 |  11M|4589 |   - |4676 | 510 |   0 |   0 |   0 | 168k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
878.39/878.74	c   868s|550000 |  4525 |     0 |   0.0 |  11M|4589 |   - |4676 | 513 |   0 |   0 |   0 | 171k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
893.58/893.99	c   883s|560000 |  4524 |     0 |   0.0 |  11M|4589 |   - |4676 | 514 |   0 |   0 |   0 | 174k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
910.59/910.94	c   899s|570000 |  4527 |     0 |   0.0 |  11M|4589 |   - |4676 | 514 |   0 |   0 |   0 | 178k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
928.18/928.50	c   917s|580000 |  4527 |     0 |   0.0 |  11M|4589 |   - |4676 | 519 |   0 |   0 |   0 | 181k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
944.68/945.01	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
944.68/945.01	c   933s|590000 |  4527 |     0 |   0.0 |  11M|4589 |   - |4676 | 512 |   0 |   0 |   0 | 185k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
961.07/961.42	c   949s|600000 |  4523 |     0 |   0.0 |  11M|4589 |   - |4676 | 515 |   0 |   0 |   0 | 188k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
977.86/978.24	c   966s|610000 |  4525 |     0 |   0.0 |  11M|4589 |   - |4676 | 515 |   0 |   0 |   0 | 191k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
993.56/993.97	c   981s|620000 |  4527 |     0 |   0.0 |  11M|4589 |   - |4676 | 511 |   0 |   0 |   0 | 194k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
1009.75/1010.17	c   997s|630000 |  4522 |     0 |   0.0 |  11M|4589 |   - |4676 | 511 |   0 |   0 |   0 | 198k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
1027.06/1027.45	c  1014s|640000 |  4523 |     0 |   0.0 |  11M|4589 |   - |4676 | 514 |   0 |   0 |   0 | 201k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
1044.04/1044.45	c  1031s|650000 |  4523 |     0 |   0.0 |  11M|4589 |   - |4676 | 513 |   0 |   0 |   0 | 205k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
1059.24/1059.64	c  1046s|660000 |  4522 |     0 |   0.0 |  11M|4589 |   - |4676 | 510 |   0 |   0 |   0 | 208k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
1074.63/1075.07	c  1061s|670000 |  4518 |     0 |   0.0 |  11M|4589 |   - |4676 | 510 |   0 |   0 |   0 | 211k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
1091.93/1092.34	c  1078s|680000 |  4521 |     0 |   0.0 |  11M|4589 |   - |4676 | 518 |   0 |   0 |   0 | 214k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
1107.52/1107.94	c  1094s|690000 |  4532 |     0 |   0.0 |  11M|4589 |   - |4676 | 512 |   0 |   0 |   0 | 217k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
1124.41/1124.83	c  1111s|700000 |  4517 |     0 |   0.0 |  11M|4589 |   - |4676 | 514 |   0 |   0 |   0 | 220k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
1140.91/1141.34	c  1127s|710000 |  4522 |     0 |   0.0 |  11M|4589 |   - |4676 | 515 |   0 |   0 |   0 | 224k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
1157.91/1158.35	c  1144s|720000 |  4529 |     0 |   0.0 |  11M|4589 |   - |4676 | 511 |   0 |   0 |   0 | 227k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
1173.50/1173.96	c  1159s|730000 |  4522 |     0 |   0.0 |  11M|4589 |   - |4676 | 512 |   0 |   0 |   0 | 230k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
1190.09/1190.55	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1190.09/1190.55	c  1175s|740000 |  4517 |     0 |   0.0 |  11M|4589 |   - |4676 | 516 |   0 |   0 |   0 | 234k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
1205.68/1206.18	c  1191s|750000 |  4530 |     0 |   0.0 |  11M|4589 |   - |4676 | 510 |   0 |   0 |   0 | 237k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
1222.08/1222.52	c  1207s|760000 |  4520 |     0 |   0.0 |  11M|4589 |   - |4676 | 518 |   0 |   0 |   0 | 240k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
1238.67/1239.15	c  1224s|770000 |  4524 |     0 |   0.0 |  11M|4589 |   - |4676 | 510 |   0 |   0 |   0 | 243k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
1254.77/1255.25	c  1239s|780000 |  4514 |     0 |   0.0 |  11M|4589 |   - |4676 | 511 |   0 |   0 |   0 | 246k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
1271.57/1272.04	c  1256s|790000 |  4512 |     0 |   0.0 |  11M|4589 |   - |4676 | 512 |   0 |   0 |   0 | 250k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
1288.06/1288.59	c  1272s|800000 |  4526 |     0 |   0.0 |  11M|4589 |   - |4676 | 510 |   0 |   0 |   0 | 253k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
1305.56/1306.00	c  1290s|810000 |  4518 |     0 |   0.0 |  11M|4589 |   - |4676 | 513 |   0 |   0 |   0 | 257k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
1322.25/1322.71	c  1306s|820000 |  4518 |     0 |   0.0 |  11M|4589 |   - |4676 | 511 |   0 |   0 |   0 | 260k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
1339.25/1339.76	c  1323s|830000 |  4519 |     0 |   0.0 |  11M|4589 |   - |4676 | 513 |   0 |   0 |   0 | 263k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
1354.94/1355.45	c  1338s|840000 |  4517 |     0 |   0.0 |  11M|4589 |   - |4676 | 513 |   0 |   0 |   0 | 266k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
1371.84/1372.34	c  1355s|850000 |  4519 |     0 |   0.0 |  11M|4589 |   - |4676 | 515 |   0 |   0 |   0 | 270k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
1387.73/1388.25	c  1371s|860000 |  4520 |     0 |   0.0 |  11M|4589 |   - |4676 | 514 |   0 |   0 |   0 | 273k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
1404.82/1405.38	c  1388s|870000 |  4518 |     0 |   0.0 |  11M|4589 |   - |4676 | 512 |   0 |   0 |   0 | 276k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
1421.61/1422.10	c  1404s|880000 |  4514 |     0 |   0.0 |  11M|4589 |   - |4676 | 514 |   0 |   0 |   0 | 280k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
1438.91/1439.48	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1438.91/1439.48	c  1421s|890000 |  4517 |     0 |   0.0 |  11M|4589 |   - |4676 | 510 |   0 |   0 |   0 | 283k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
1456.11/1456.66	c  1438s|900000 |  4513 |     0 |   0.0 |  11M|4589 |   - |4676 | 513 |   0 |   0 |   0 | 287k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
1472.59/1473.19	c  1455s|910000 |  4513 |     0 |   0.0 |  11M|4589 |   - |4676 | 515 |   0 |   0 |   0 | 290k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
1489.39/1489.93	c  1471s|920000 |  4517 |     0 |   0.0 |  11M|4589 |   - |4676 | 514 |   0 |   0 |   0 | 294k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
1506.28/1506.82	c  1488s|930000 |  4518 |     0 |   0.0 |  11M|4589 |   - |4676 | 512 |   0 |   0 |   0 | 297k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
1523.08/1523.68	c  1505s|940000 |  4515 |     0 |   0.0 |  11M|4589 |   - |4676 | 511 |   0 |   0 |   0 | 300k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
1538.98/1539.51	c  1520s|950000 |  4514 |     0 |   0.0 |  11M|4589 |   - |4676 | 514 |   0 |   0 |   0 | 304k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
1556.37/1556.91	c  1537s|960000 |  4515 |     0 |   0.0 |  11M|4589 |   - |4676 | 509 |   0 |   0 |   0 | 307k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
1572.48/1573.06	c  1553s|970000 |  4514 |     0 |   0.0 |  11M|4589 |   - |4676 | 513 |   0 |   0 |   0 | 310k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
1588.46/1589.02	c  1569s|980000 |  4515 |     0 |   0.0 |  11M|4589 |   - |4676 | 512 |   0 |   0 |   0 | 313k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
1605.55/1606.13	c  1586s|990000 |  4514 |     0 |   0.0 |  11M|4589 |   - |4676 | 510 |   0 |   0 |   0 | 317k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
1624.64/1625.28	c  1605s|  1000k|  4516 |     0 |   0.0 |  11M|4589 |   - |4676 | 518 |   0 |   0 |   0 | 321k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
1641.95/1642.52	c  1622s|  1010k|  4511 |     0 |   0.0 |  11M|4589 |   - |4676 | 513 |   0 |   0 |   0 | 324k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
1658.94/1659.53	c  1639s|  1020k|  4510 |     0 |   0.0 |  11M|4589 |   - |4676 | 513 |   0 |   0 |   0 | 328k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
1675.53/1676.17	c  1655s|  1030k|  4512 |     0 |   0.0 |  11M|4589 |   - |4676 | 509 |   0 |   0 |   0 | 331k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
1692.72/1693.35	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1692.72/1693.35	c  1672s|  1040k|  4510 |     0 |   0.0 |  11M|4589 |   - |4676 | 509 |   0 |   0 |   0 | 335k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
1709.12/1709.70	c  1688s|  1050k|  4508 |     0 |   0.0 |  11M|4589 |   - |4676 | 509 |   0 |   0 |   0 | 338k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
1725.41/1726.04	c  1704s|  1060k|  4516 |     0 |   0.0 |  11M|4589 |   - |4676 | 510 |   0 |   0 |   0 | 341k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
1743.00/1743.63	c  1722s|  1070k|  4508 |     0 |   0.0 |  11M|4589 |   - |4676 | 511 |   0 |   0 |   0 | 345k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
1759.11/1759.71	c  1738s|  1080k|  4512 |     0 |   0.0 |  11M|4589 |   - |4676 | 522 |   0 |   0 |   0 | 348k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
1775.70/1776.39	c  1754s|  1090k|  4519 |     0 |   0.0 |  11M|4589 |   - |4676 | 517 |   0 |   0 |   0 | 351k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
1792.30/1792.90	c  1770s|  1100k|  4510 |     0 |   0.0 |  11M|4589 |   - |4676 | 510 |   0 |   0 |   0 | 354k|   0 | 1.000000e+00 | 8.700000e+01 |8600.00%
1800.10/1800.71	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.10/1800.71	c 
1800.10/1800.71	c SCIP Status        : solving was interrupted [user interrupt]
1800.10/1800.71	c Solving Time (sec) : 1778.01
1800.10/1800.71	c Solving Nodes      : 1104764
1800.10/1800.71	c Primal Bound       : +8.70000000000000e+01 (4 solutions)
1800.10/1800.71	c Dual Bound         : +1.00000000000000e+00
1800.10/1800.71	c Gap                : 8600.00 %
1800.10/1800.72	s SATISFIABLE
1800.10/1800.72	v -x4676 -x4675 -x4674 -x4673 -x4672 -x4671 -x4670 -x4669 -x4668 -x4667 -x4666 -x4665 -x4664 -x4663 -x4662 -x4661 -x4660 -x4659 -x4658 
1800.10/1800.72	v -x4657 -x4656 -x4655 -x4654 -x4653 -x4652 -x4651 -x4650 -x4649 -x4648 -x4647 -x4646 -x4645 -x4644 -x4643 -x4642 -x4641 
1800.10/1800.72	v -x4640 -x4639 -x4638 -x4637 -x4636 -x4635 -x4634 -x4633 -x4632 -x4631 -x4630 -x4629 -x4628 -x4627 -x4626 -x4625 -x4624 -x4623 
1800.10/1800.72	v -x4622 -x4621 -x4620 -x4619 -x4618 -x4617 -x4616 -x4615 -x4614 -x4613 -x4612 -x4611 -x4610 -x4609 -x4608 -x4607 -x4606 -x4605 
1800.10/1800.72	v -x4604 -x4603 -x4602 -x4601 -x4600 -x4599 -x4598 -x4597 -x4596 -x4595 -x4594 -x4593 -x4592 -x4591 -x4590 -x4589 -x4588 -x4587 
1800.10/1800.72	v -x4586 -x4585 -x4584 -x4583 -x4582 -x4581 -x4580 -x4579 -x4578 -x4577 -x4576 -x4575 -x4574 -x4573 -x4572 -x4571 -x4570 x4569 
1800.10/1800.72	v -x4568 -x4567 -x4566 -x4565 -x4564 -x4563 -x4562 -x4561 -x4560 -x4559 x4558 -x4557 -x4556 -x4555 -x4554 -x4553 -x4552 -x4551 
1800.10/1800.72	v -x4550 -x4549 -x4548 -x4547 -x4546 -x4545 -x4544 -x4543 -x4542 -x4541 -x4540 -x4539 -x4538 -x4537 -x4536 -x4535 -x4534 -x4533 
1800.10/1800.72	v -x4532 -x4531 -x4530 -x4529 -x4528 -x4527 -x4526 -x4525 -x4524 -x4523 -x4522 -x4521 -x4520 -x4519 -x4518 -x4517 -x4516 -x4515 
1800.10/1800.72	v -x4514 -x4513 -x4512 -x4511 -x4510 -x4509 -x4508 -x4507 -x4506 -x4505 -x4504 -x4503 -x4502 -x4501 -x4500 -x4499 -x4498 -x4497 
1800.10/1800.72	v -x4496 x4495 -x4494 -x4493 -x4492 -x4491 -x4490 -x4489 -x4488 -x4487 x4486 -x4485 -x4484 -x4483 -x4482 -x4481 -x4480 -x4479 
1800.10/1800.72	v -x4478 -x4477 -x4476 -x4475 -x4474 -x4473 -x4472 -x4471 -x4470 -x4469 -x4468 -x4467 -x4466 -x4465 -x4464 -x4463 -x4462 -x4461 
1800.10/1800.72	v -x4460 -x4459 -x4458 -x4457 -x4456 -x4455 -x4454 -x4453 -x4452 -x4451 -x4450 -x4449 -x4448 -x4447 -x4446 -x4445 -x4444 
1800.10/1800.72	v -x4443 -x4442 -x4441 -x4440 -x4439 -x4438 -x4437 -x4436 -x4435 -x4434 -x4433 -x4432 -x4431 -x4430 -x4429 -x4428 -x4427 -x4426 
1800.10/1800.72	v -x4425 -x4424 -x4423 -x4422 -x4421 -x4420 -x4419 -x4418 -x4417 -x4416 -x4415 -x4414 -x4413 -x4412 -x4411 -x4410 -x4409 -x4408 
1800.10/1800.72	v -x4407 x4406 -x4405 -x4404 -x4403 -x4402 -x4401 -x4400 -x4399 -x4398 -x4397 -x4396 -x4395 -x4394 -x4393 -x4392 -x4391 -x4390 
1800.10/1800.72	v -x4389 -x4388 -x4387 -x4386 -x4385 -x4384 -x4383 -x4382 -x4381 -x4380 -x4379 -x4378 -x4377 -x4376 -x4375 -x4374 -x4373 -x4372 
1800.10/1800.72	v -x4371 -x4370 -x4369 -x4368 -x4367 -x4366 -x4365 -x4364 -x4363 -x4362 -x4361 -x4360 -x4359 -x4358 -x4357 -x4356 -x4355 -x4354 
1800.10/1800.72	v -x4353 -x4352 -x4351 -x4350 -x4349 -x4348 -x4347 -x4346 -x4345 -x4344 -x4343 -x4342 -x4341 -x4340 -x4339 -x4338 -x4337 -x4336 
1800.10/1800.72	v -x4335 -x4334 -x4333 -x4332 -x4331 -x4330 -x4329 -x4328 -x4327 -x4326 -x4325 -x4324 -x4323 x4322 -x4321 -x4320 -x4319 -x4318 
1800.10/1800.72	v -x4317 -x4316 -x4315 -x4314 -x4313 -x4312 -x4311 -x4310 -x4309 -x4308 -x4307 -x4306 -x4305 -x4304 -x4303 -x4302 x4301 -x4300 
1800.10/1800.72	v -x4299 -x4298 -x4297 -x4296 -x4295 -x4294 -x4293 -x4292 -x4291 -x4290 -x4289 -x4288 -x4287 x4286 -x4285 -x4284 -x4283 -x4282 
1800.10/1800.72	v -x4281 -x4280 -x4279 -x4278 -x4277 -x4276 -x4275 -x4274 -x4273 -x4272 -x4271 -x4270 -x4269 -x4268 -x4267 -x4266 -x4265 -x4264 
1800.10/1800.72	v -x4263 -x4262 -x4261 -x4260 -x4259 -x4258 -x4257 -x4256 -x4255 -x4254 -x4253 -x4252 -x4251 -x4250 -x4249 -x4248 -x4247 
1800.10/1800.72	v -x4246 -x4245 -x4244 -x4243 -x4242 -x4241 -x4240 -x4239 -x4238 -x4237 -x4236 -x4235 -x4234 -x4233 -x4232 -x4231 -x4230 -x4229 
1800.10/1800.72	v -x4228 -x4227 -x4226 -x4225 -x4224 -x4223 -x4222 -x4221 -x4220 -x4219 -x4218 -x4217 -x4216 -x4215 -x4214 -x4213 -x4212 -x4211 
1800.10/1800.72	v -x4210 -x4209 -x4208 x4207 -x4206 -x4205 x4204 -x4203 -x4202 -x4201 -x4200 -x4199 -x4198 -x4197 -x4196 -x4195 -x4194 -x4193 
1800.10/1800.72	v -x4192 -x4191 -x4190 -x4189 -x4188 -x4187 -x4186 -x4185 -x4184 -x4183 -x4182 -x4181 -x4180 -x4179 -x4178 -x4177 -x4176 -x4175 
1800.10/1800.72	v -x4174 -x4173 -x4172 -x4171 -x4170 -x4169 -x4168 -x4167 -x4166 -x4165 -x4164 -x4163 -x4162 -x4161 -x4160 -x4159 -x4158 -x4157 
1800.10/1800.72	v -x4156 -x4155 -x4154 -x4153 -x4152 -x4151 -x4150 -x4149 -x4148 -x4147 -x4146 -x4145 -x4144 -x4143 -x4142 -x4141 -x4140 -x4139 
1800.10/1800.72	v -x4138 -x4137 -x4136 -x4135 -x4134 -x4133 -x4132 -x4131 -x4130 -x4129 -x4128 -x4127 -x4126 -x4125 -x4124 -x4123 -x4122 -x4121 
1800.10/1800.72	v -x4120 -x4119 -x4118 -x4117 -x4116 -x4115 -x4114 -x4113 -x4112 -x4111 -x4110 -x4109 -x4108 -x4107 -x4106 -x4105 -x4104 -x4103 
1800.10/1800.73	v -x4102 -x4101 -x4100 -x4099 -x4098 -x4097 -x4096 -x4095 -x4094 -x4093 -x4092 -x4091 -x4090 -x4089 -x4088 -x4087 -x4086 
1800.10/1800.73	v -x4085 -x4084 -x4083 -x4082 -x4081 -x4080 -x4079 -x4078 -x4077 -x4076 -x4075 -x4074 -x4073 -x4072 -x4071 -x4070 -x4069 -x4068 
1800.10/1800.73	v -x4067 -x4066 -x4065 -x4064 -x4063 -x4062 -x4061 -x4060 -x4059 -x4058 -x4057 -x4056 -x4055 -x4054 -x4053 -x4052 -x4051 -x4050 
1800.10/1800.73	v -x4049 -x4048 -x4047 -x4046 -x4045 -x4044 -x4043 -x4042 -x4041 -x4040 -x4039 -x4038 -x4037 -x4036 -x4035 -x4034 -x4033 -x4032 
1800.10/1800.73	v -x4031 -x4030 -x4029 -x4028 -x4027 -x4026 -x4025 -x4024 -x4023 -x4022 -x4021 -x4020 -x4019 -x4018 -x4017 -x4016 -x4015 -x4014 
1800.10/1800.73	v -x4013 -x4012 -x4011 -x4010 -x4009 -x4008 -x4007 -x4006 -x4005 -x4004 -x4003 -x4002 -x4001 -x4000 -x3999 -x3998 -x3997 -x3996 
1800.10/1800.73	v -x3995 -x3994 -x3993 -x3992 -x3991 -x3990 -x3989 -x3988 -x3987 -x3986 -x3985 -x3984 -x3983 -x3982 -x3981 -x3980 -x3979 -x3978 
1800.10/1800.73	v -x3977 -x3976 -x3975 -x3974 -x3973 -x3972 -x3971 -x3970 -x3969 -x3968 -x3967 -x3966 -x3965 -x3964 -x3963 -x3962 -x3961 
1800.10/1800.73	v -x3960 -x3959 -x3958 -x3957 -x3956 -x3955 -x3954 -x3953 -x3952 -x3951 -x3950 -x3949 -x3948 -x3947 -x3946 -x3945 -x3944 -x3943 
1800.10/1800.73	v -x3942 -x3941 -x3940 -x3939 -x3938 -x3937 -x3936 -x3935 -x3934 -x3933 -x3932 -x3931 -x3930 -x3929 -x3928 -x3927 -x3926 -x3925 
1800.10/1800.73	v -x3924 -x3923 -x3922 -x3921 -x3920 -x3919 -x3918 -x3917 -x3916 -x3915 -x3914 -x3913 -x3912 -x3911 -x3910 -x3909 -x3908 -x3907 
1800.10/1800.73	v -x3906 -x3905 -x3904 -x3903 -x3902 -x3901 -x3900 -x3899 -x3898 -x3897 -x3896 -x3895 -x3894 -x3893 -x3892 -x3891 -x3890 -x3889 
1800.10/1800.73	v -x3888 -x3887 -x3886 -x3885 -x3884 -x3883 -x3882 -x3881 -x3880 -x3879 -x3878 -x3877 -x3876 -x3875 -x3874 -x3873 -x3872 -x3871 
1800.10/1800.73	v -x3870 -x3869 -x3868 -x3867 -x3866 -x3865 -x3864 -x3863 -x3862 -x3861 -x3860 -x3859 -x3858 -x3857 -x3856 -x3855 -x3854 -x3853 
1800.10/1800.73	v -x3852 -x3851 -x3850 -x3849 -x3848 -x3847 -x3846 -x3845 -x3844 -x3843 -x3842 -x3841 -x3840 -x3839 -x3838 -x3837 -x3836 
1800.10/1800.73	v -x3835 -x3834 -x3833 -x3832 -x3831 -x3830 -x3829 -x3828 -x3827 -x3826 -x3825 -x3824 -x3823 -x3822 -x3821 -x3820 x3819 -x3818 
1800.10/1800.73	v -x3817 -x3816 -x3815 -x3814 -x3813 -x3812 -x3811 -x3810 -x3809 -x3808 -x3807 -x3806 -x3805 -x3804 -x3803 -x3802 -x3801 -x3800 
1800.10/1800.73	v -x3799 -x3798 -x3797 -x3796 -x3795 -x3794 -x3793 -x3792 -x3791 -x3790 -x3789 -x3788 -x3787 -x3786 -x3785 -x3784 -x3783 -x3782 
1800.10/1800.73	v -x3781 -x3780 -x3779 -x3778 -x3777 -x3776 -x3775 -x3774 -x3773 -x3772 -x3771 -x3770 -x3769 -x3768 -x3767 -x3766 -x3765 -x3764 
1800.10/1800.73	v -x3763 -x3762 -x3761 -x3760 -x3759 -x3758 -x3757 -x3756 -x3755 -x3754 -x3753 -x3752 -x3751 -x3750 -x3749 -x3748 -x3747 -x3746 
1800.10/1800.73	v -x3745 -x3744 -x3743 -x3742 -x3741 -x3740 -x3739 -x3738 -x3737 -x3736 -x3735 -x3734 -x3733 -x3732 -x3731 -x3730 -x3729 -x3728 
1800.10/1800.73	v -x3727 -x3726 -x3725 -x3724 -x3723 -x3722 -x3721 -x3720 -x3719 -x3718 -x3717 -x3716 -x3715 -x3714 -x3713 -x3712 -x3711 -x3710 
1800.10/1800.73	v -x3709 -x3708 -x3707 -x3706 -x3705 -x3704 -x3703 -x3702 -x3701 -x3700 -x3699 -x3698 -x3697 -x3696 -x3695 -x3694 -x3693 
1800.10/1800.73	v -x3692 -x3691 -x3690 -x3689 -x3688 -x3687 -x3686 -x3685 -x3684 -x3683 -x3682 -x3681 -x3680 -x3679 -x3678 -x3677 -x3676 -x3675 
1800.10/1800.73	v -x3674 -x3673 -x3672 -x3671 -x3670 -x3669 -x3668 -x3667 -x3666 -x3665 -x3664 -x3663 -x3662 -x3661 -x3660 -x3659 -x3658 -x3657 
1800.10/1800.73	v -x3656 -x3655 -x3654 -x3653 -x3652 -x3651 -x3650 -x3649 -x3648 -x3647 -x3646 -x3645 -x3644 -x3643 -x3642 -x3641 -x3640 -x3639 
1800.10/1800.73	v -x3638 -x3637 -x3636 -x3635 -x3634 -x3633 -x3632 -x3631 -x3630 -x3629 -x3628 -x3627 -x3626 -x3625 -x3624 -x3623 -x3622 -x3621 
1800.10/1800.73	v -x3620 -x3619 -x3618 -x3617 -x3616 -x3615 -x3614 -x3613 -x3612 -x3611 -x3610 -x3609 -x3608 -x3607 -x3606 -x3605 -x3604 -x3603 
1800.10/1800.73	v -x3602 -x3601 -x3600 -x3599 -x3598 -x3597 -x3596 -x3595 -x3594 -x3593 -x3592 -x3591 -x3590 -x3589 -x3588 -x3587 -x3586 -x3585 
1800.10/1800.73	v -x3584 -x3583 -x3582 -x3581 -x3580 -x3579 -x3578 -x3577 -x3576 -x3575 -x3574 -x3573 -x3572 -x3571 -x3570 -x3569 -x3568 
1800.10/1800.73	v -x3567 -x3566 -x3565 -x3564 -x3563 -x3562 -x3561 -x3560 -x3559 -x3558 -x3557 -x3556 -x3555 -x3554 -x3553 -x3552 -x3551 -x3550 
1800.10/1800.73	v -x3549 -x3548 -x3547 -x3546 -x3545 -x3544 -x3543 -x3542 -x3541 -x3540 -x3539 -x3538 -x3537 -x3536 -x3535 -x3534 -x3533 -x3532 
1800.10/1800.73	v -x3531 -x3530 -x3529 -x3528 -x3527 -x3526 -x3525 -x3524 -x3523 -x3522 -x3521 -x3520 -x3519 -x3518 -x3517 -x3516 -x3515 -x3514 
1800.10/1800.73	v -x3513 -x3512 -x3511 -x3510 -x3509 -x3508 -x3507 -x3506 -x3505 -x3504 -x3503 -x3502 -x3501 -x3500 -x3499 -x3498 -x3497 -x3496 
1800.10/1800.73	v -x3495 -x3494 -x3493 -x3492 -x3491 -x3490 -x3489 -x3488 -x3487 -x3486 -x3485 -x3484 -x3483 -x3482 -x3481 -x3480 -x3479 -x3478 
1800.10/1800.73	v -x3477 -x3476 -x3475 -x3474 -x3473 -x3472 -x3471 -x3470 -x3469 -x3468 -x3467 -x3466 -x3465 -x3464 -x3463 -x3462 -x3461 -x3460 
1800.10/1800.73	v -x3459 -x3458 -x3457 -x3456 -x3455 -x3454 -x3453 -x3452 -x3451 -x3450 -x3449 -x3448 -x3447 -x3446 -x3445 -x3444 -x3443 
1800.10/1800.73	v -x3442 -x3441 -x3440 -x3439 -x3438 -x3437 -x3436 -x3435 -x3434 -x3433 -x3432 -x3431 -x3430 -x3429 -x3428 -x3427 -x3426 -x3425 
1800.10/1800.73	v -x3424 -x3423 -x3422 -x3421 -x3420 -x3419 -x3418 -x3417 -x3416 -x3415 -x3414 -x3413 -x3412 -x3411 -x3410 -x3409 -x3408 -x3407 
1800.10/1800.73	v -x3406 -x3405 -x3404 -x3403 -x3402 -x3401 -x3400 -x3399 -x3398 -x3397 -x3396 -x3395 -x3394 -x3393 -x3392 -x3391 -x3390 -x3389 
1800.10/1800.73	v -x3388 -x3387 -x3386 -x3385 -x3384 -x3383 -x3382 -x3381 -x3380 -x3379 -x3378 -x3377 -x3376 -x3375 -x3374 -x3373 -x3372 -x3371 
1800.10/1800.73	v -x3370 -x3369 -x3368 -x3367 -x3366 -x3365 -x3364 -x3363 -x3362 -x3361 -x3360 -x3359 -x3358 -x3357 -x3356 -x3355 -x3354 -x3353 
1800.10/1800.73	v -x3352 -x3351 -x3350 -x3349 -x3348 -x3347 -x3346 -x3345 -x3344 -x3343 -x3342 -x3341 -x3340 -x3339 -x3338 -x3337 -x3336 -x3335 
1800.10/1800.73	v -x3334 -x3333 -x3332 -x3331 -x3330 -x3329 -x3328 -x3327 -x3326 -x3325 -x3324 -x3323 -x3322 -x3321 -x3320 -x3319 -x3318 
1800.10/1800.73	v -x3317 -x3316 -x3315 -x3314 -x3313 -x3312 -x3311 -x3310 -x3309 -x3308 x3307 -x3306 -x3305 -x3304 -x3303 -x3302 -x3301 -x3300 
1800.10/1800.73	v -x3299 -x3298 -x3297 -x3296 -x3295 -x3294 -x3293 -x3292 -x3291 -x3290 -x3289 -x3288 -x3287 -x3286 -x3285 -x3284 -x3283 -x3282 
1800.10/1800.73	v -x3281 -x3280 -x3279 -x3278 -x3277 -x3276 -x3275 -x3274 -x3273 -x3272 -x3271 -x3270 -x3269 -x3268 -x3267 -x3266 -x3265 -x3264 
1800.10/1800.73	v -x3263 -x3262 -x3261 -x3260 -x3259 -x3258 -x3257 -x3256 -x3255 -x3254 -x3253 -x3252 -x3251 -x3250 -x3249 -x3248 -x3247 -x3246 
1800.10/1800.73	v -x3245 -x3244 -x3243 -x3242 -x3241 -x3240 -x3239 -x3238 -x3237 -x3236 -x3235 -x3234 -x3233 -x3232 -x3231 -x3230 -x3229 -x3228 
1800.10/1800.73	v -x3227 -x3226 -x3225 -x3224 -x3223 -x3222 -x3221 -x3220 -x3219 -x3218 -x3217 -x3216 -x3215 -x3214 -x3213 -x3212 -x3211 -x3210 
1800.10/1800.73	v -x3209 -x3208 -x3207 -x3206 -x3205 -x3204 -x3203 -x3202 -x3201 -x3200 -x3199 -x3198 -x3197 -x3196 -x3195 -x3194 -x3193 -x3192 
1800.10/1800.73	v -x3191 -x3190 -x3189 -x3188 -x3187 -x3186 -x3185 -x3184 -x3183 -x3182 -x3181 -x3180 -x3179 -x3178 -x3177 -x3176 -x3175 
1800.10/1800.73	v -x3174 -x3173 -x3172 -x3171 -x3170 -x3169 -x3168 -x3167 -x3166 -x3165 -x3164 -x3163 -x3162 -x3161 -x3160 -x3159 -x3158 -x3157 
1800.10/1800.73	v -x3156 -x3155 -x3154 -x3153 -x3152 -x3151 -x3150 -x3149 -x3148 -x3147 -x3146 -x3145 -x3144 -x3143 -x3142 -x3141 -x3140 -x3139 
1800.10/1800.73	v -x3138 -x3137 -x3136 -x3135 -x3134 -x3133 -x3132 -x3131 -x3130 -x3129 -x3128 -x3127 -x3126 -x3125 -x3124 -x3123 -x3122 -x3121 
1800.10/1800.73	v -x3120 -x3119 -x3118 -x3117 -x3116 -x3115 -x3114 -x3113 -x3112 -x3111 -x3110 -x3109 -x3108 -x3107 -x3106 -x3105 -x3104 -x3103 
1800.10/1800.73	v -x3102 -x3101 -x3100 -x3099 -x3098 -x3097 -x3096 -x3095 -x3094 -x3093 -x3092 -x3091 -x3090 -x3089 -x3088 -x3087 -x3086 -x3085 
1800.10/1800.73	v -x3084 -x3083 -x3082 -x3081 -x3080 -x3079 -x3078 -x3077 -x3076 -x3075 -x3074 -x3073 -x3072 -x3071 -x3070 -x3069 -x3068 -x3067 
1800.10/1800.73	v -x3066 -x3065 -x3064 -x3063 -x3062 -x3061 -x3060 -x3059 -x3058 -x3057 -x3056 -x3055 -x3054 -x3053 -x3052 -x3051 -x3050 
1800.10/1800.73	v -x3049 -x3048 -x3047 -x3046 -x3045 -x3044 -x3043 -x3042 -x3041 -x3040 -x3039 -x3038 -x3037 -x3036 -x3035 -x3034 -x3033 -x3032 
1800.10/1800.73	v -x3031 -x3030 -x3029 -x3028 -x3027 -x3026 -x3025 -x3024 -x3023 -x3022 -x3021 -x3020 -x3019 -x3018 -x3017 -x3016 -x3015 -x3014 
1800.10/1800.73	v -x3013 -x3012 -x3011 -x3010 -x3009 -x3008 -x3007 -x3006 -x3005 -x3004 -x3003 -x3002 -x3001 -x3000 -x2999 -x2998 -x2997 -x2996 
1800.10/1800.73	v -x2995 -x2994 -x2993 -x2992 -x2991 -x2990 -x2989 -x2988 -x2987 -x2986 -x2985 -x2984 -x2983 -x2982 -x2981 -x2980 -x2979 -x2978 
1800.10/1800.73	v -x2977 -x2976 -x2975 -x2974 -x2973 -x2972 -x2971 -x2970 -x2969 -x2968 -x2967 -x2966 -x2965 -x2964 -x2963 -x2962 -x2961 -x2960 
1800.10/1800.73	v -x2959 -x2958 -x2957 -x2956 -x2955 -x2954 -x2953 -x2952 -x2951 -x2950 -x2949 -x2948 -x2947 -x2946 -x2945 -x2944 -x2943 -x2942 
1800.10/1800.73	v -x2941 -x2940 -x2939 -x2938 -x2937 -x2936 -x2935 -x2934 -x2933 -x2932 -x2931 -x2930 -x2929 -x2928 -x2927 -x2926 -x2925 
1800.10/1800.73	v -x2924 -x2923 -x2922 -x2921 -x2920 -x2919 -x2918 -x2917 -x2916 -x2915 -x2914 -x2913 x2912 -x2911 -x2910 -x2909 -x2908 -x2907 
1800.10/1800.73	v -x2906 -x2905 -x2904 -x2903 -x2902 -x2901 -x2900 -x2899 -x2898 -x2897 -x2896 -x2895 -x2894 -x2893 -x2892 -x2891 -x2890 -x2889 
1800.10/1800.73	v -x2888 -x2887 -x2886 -x2885 -x2884 -x2883 -x2882 -x2881 -x2880 -x2879 -x2878 -x2877 -x2876 -x2875 -x2874 -x2873 -x2872 -x2871 
1800.10/1800.73	v -x2870 -x2869 -x2868 -x2867 -x2866 -x2865 -x2864 -x2863 -x2862 -x2861 -x2860 -x2859 -x2858 -x2857 -x2856 -x2855 -x2854 -x2853 
1800.10/1800.73	v -x2852 x2851 -x2850 -x2849 -x2848 -x2847 -x2846 -x2845 -x2844 -x2843 -x2842 -x2841 -x2840 -x2839 -x2838 -x2837 -x2836 -x2835 
1800.10/1800.73	v -x2834 -x2833 -x2832 -x2831 -x2830 -x2829 -x2828 -x2827 -x2826 -x2825 -x2824 -x2823 -x2822 -x2821 -x2820 -x2819 -x2818 -x2817 
1800.10/1800.73	v -x2816 -x2815 -x2814 -x2813 -x2812 -x2811 -x2810 -x2809 -x2808 -x2807 -x2806 -x2805 -x2804 -x2803 -x2802 -x2801 -x2800 -x2799 
1800.10/1800.73	v -x2798 -x2797 -x2796 -x2795 -x2794 -x2793 -x2792 -x2791 -x2790 -x2789 -x2788 -x2787 -x2786 -x2785 -x2784 -x2783 -x2782 -x2781 
1800.10/1800.73	v -x2780 -x2779 -x2778 -x2777 -x2776 -x2775 -x2774 -x2773 -x2772 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 
1800.10/1800.73	v -x2763 -x2762 -x2761 -x2760 -x2759 -x2758 -x2757 -x2756 -x2755 -x2754 -x2753 -x2752 -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 
1800.10/1800.73	v -x2745 -x2744 -x2743 -x2742 -x2741 -x2740 -x2739 -x2738 -x2737 -x2736 -x2735 -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 
1800.10/1800.73	v -x2727 -x2726 -x2725 -x2724 -x2723 -x2722 -x2721 -x2720 -x2719 -x2718 -x2717 -x2716 -x2715 -x2714 -x2713 -x2712 -x2711 -x2710 
1800.10/1800.73	v -x2709 -x2708 -x2707 -x2706 -x2705 -x2704 -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692 
1800.10/1800.73	v -x2691 -x2690 -x2689 -x2688 -x2687 -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674 
1800.10/1800.73	v -x2673 -x2672 -x2671 -x2670 -x2669 -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 
1800.10/1800.73	v -x2655 -x2654 -x2653 -x2652 -x2651 -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 
1800.10/1800.73	v -x2638 -x2637 -x2636 -x2635 -x2634 -x2633 -x2632 -x2631 -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 
1800.10/1800.73	v -x2620 -x2619 -x2618 -x2617 -x2616 -x2615 -x2614 -x2613 -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 
1800.10/1800.73	v -x2602 -x2601 -x2600 -x2599 -x2598 -x2597 -x2596 -x2595 -x2594 -x2593 -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 
1800.10/1800.73	v -x2584 -x2583 -x2582 -x2581 -x2580 -x2579 -x2578 -x2577 -x2576 -x2575 -x2574 -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 
1800.10/1800.73	v -x2566 -x2565 -x2564 -x2563 -x2562 -x2561 -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 -x2553 x2552 -x2551 -x2550 -x2549 
1800.10/1800.73	v -x2548 -x2547 -x2546 -x2545 -x2544 -x2543 -x2542 -x2541 -x2540 -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 
1800.10/1800.73	v -x2530 -x2529 -x2528 -x2527 -x2526 -x2525 -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 
1800.10/1800.73	v -x2512 -x2511 -x2510 -x2509 -x2508 -x2507 -x2506 -x2505 -x2504 -x2503 -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 
1800.10/1800.73	v -x2495 -x2494 -x2493 -x2492 -x2491 -x2490 -x2489 -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 -x2481 -x2480 -x2479 -x2478 
1800.10/1800.73	v -x2477 -x2476 -x2475 -x2474 -x2473 -x2472 -x2471 -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 
1800.10/1800.73	v -x2459 -x2458 x2457 -x2456 -x2455 -x2454 -x2453 -x2452 -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 
1800.10/1800.73	v -x2441 -x2440 -x2439 -x2438 -x2437 -x2436 -x2435 -x2434 -x2433 -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 -x2424 
1800.10/1800.73	v -x2423 -x2422 -x2421 -x2420 -x2419 -x2418 -x2417 -x2416 -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 
1800.10/1800.73	v -x2405 -x2404 -x2403 -x2402 -x2401 -x2400 -x2399 -x2398 -x2397 -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 
1800.10/1800.73	v -x2387 -x2386 x2385 -x2384 -x2383 -x2382 -x2381 -x2380 -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 
1800.10/1800.73	v -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 -x2355 -x2354 x2353 -x2352 
1800.10/1800.73	v -x2351 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 -x2343 -x2342 -x2341 -x2340 -x2339 -x2338 -x2337 -x2336 -x2335 -x2334 
1800.10/1800.73	v -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326 -x2325 -x2324 -x2323 -x2322 -x2321 -x2320 -x2319 -x2318 -x2317 
1800.10/1800.73	v -x2316 -x2315 -x2314 -x2313 -x2312 -x2311 -x2310 -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 
1800.10/1800.73	v -x2298 -x2297 -x2296 -x2295 -x2294 -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 -x2281 
1800.10/1800.73	v -x2280 -x2279 -x2278 -x2277 -x2276 -x2275 -x2274 -x2273 -x2272 -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 
1800.10/1800.73	v -x2262 -x2261 -x2260 -x2259 -x2258 -x2257 -x2256 -x2255 -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 
1800.10/1800.73	v -x2244 -x2243 -x2242 -x2241 -x2240 -x2239 -x2238 -x2237 -x2236 -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 
1800.10/1800.73	v -x2226 -x2225 -x2224 -x2223 -x2222 -x2221 -x2220 -x2219 -x2218 -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 
1800.10/1800.73	v -x2208 x2207 -x2206 -x2205 -x2204 -x2203 -x2202 -x2201 -x2200 -x2199 -x2198 -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 
1800.10/1800.73	v -x2190 -x2189 -x2188 -x2187 -x2186 -x2185 -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 -x2177 -x2176 -x2175 -x2174 
1800.10/1800.73	v -x2173 x2172 -x2171 -x2170 -x2169 -x2168 -x2167 -x2166 -x2165 -x2164 -x2163 -x2162 -x2161 -x2160 -x2159 -x2158 -x2157 -x2156 
1800.10/1800.73	v -x2155 -x2154 -x2153 -x2152 -x2151 -x2150 x2149 x2148 -x2147 -x2146 -x2145 -x2144 -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 
1800.10/1800.73	v -x2136 -x2135 -x2134 -x2133 -x2132 -x2131 -x2130 -x2129 -x2128 -x2127 -x2126 -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 
1800.10/1800.73	v -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 -x2113 -x2112 -x2111 -x2110 -x2109 -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 
1800.10/1800.73	v -x2101 -x2100 -x2099 -x2098 -x2097 -x2096 -x2095 -x2094 -x2093 -x2092 -x2091 -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 
1800.10/1800.73	v -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 -x2076 x2075 -x2074 -x2073 -x2072 -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 
1800.10/1800.73	v -x2065 -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 -x2054 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 
1800.10/1800.73	v -x2047 -x2046 -x2045 -x2044 -x2043 -x2042 -x2041 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 
1800.10/1800.73	v -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 -x2014 -x2013 -x2012 
1800.10/1800.73	v -x2011 -x2010 -x2009 -x2008 -x2007 -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 
1800.10/1800.73	v -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 
1800.10/1800.73	v -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 
1800.10/1800.73	v -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 
1800.10/1800.73	v -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 
1800.10/1800.73	v -x1922 -x1921 -x1920 -x1919 -x1918 -x1917 -x1916 -x1915 -x1914 -x1913 -x1912 -x1911 -x1910 -x1909 -x1908 -x1907 -x1906 -x1905 
1800.10/1800.73	v -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 
1800.10/1800.73	v -x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 
1800.10/1800.73	v -x1868 -x1867 -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 
1800.10/1800.73	v -x1851 -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 -x1838 x1837 -x1836 -x1835 -x1834 
1800.10/1800.73	v -x1833 -x1832 -x1831 -x1830 -x1829 -x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 x1818 -x1817 -x1816 
1800.10/1800.73	v -x1815 -x1814 -x1813 -x1812 -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 
1800.10/1800.73	v -x1797 -x1796 -x1795 -x1794 -x1793 -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 
1800.10/1800.73	v -x1779 -x1778 x1777 -x1776 -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 
1800.10/1800.73	v -x1761 -x1760 -x1759 -x1758 -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 
1800.10/1800.73	v -x1743 -x1742 -x1741 -x1740 -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 
1800.10/1800.73	v -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 
1800.10/1800.73	v -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 
1800.10/1800.73	v -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 -x1681 x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 
1800.10/1800.73	v -x1671 -x1670 -x1669 -x1668 -x1667 -x1666 -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 
1800.10/1800.73	v -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639 -x1638 -x1637 
1800.10/1800.73	v -x1636 -x1635 -x1634 -x1633 -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 
1800.10/1800.73	v -x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 
1800.10/1800.73	v -x1600 -x1599 -x1598 -x1597 -x1596 -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 
1800.10/1800.73	v -x1582 -x1581 -x1580 -x1579 -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 
1800.10/1800.73	v -x1564 -x1563 -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 x1550 -x1549 -x1548 -x1547 
1800.10/1800.73	v -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 
1800.10/1800.73	v -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 
1800.10/1800.73	v -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 
1800.10/1800.73	v -x1493 -x1492 -x1491 -x1490 -x1489 x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 x1479 x1478 x1477 -x1476 -x1475 
1800.10/1800.73	v -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 
1800.10/1800.73	v -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 
1800.10/1800.73	v -x1439 -x1438 -x1437 x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 
1800.10/1800.73	v -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 
1800.10/1800.73	v -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 
1800.10/1800.73	v -x1385 -x1384 -x1383 x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 
1800.10/1800.73	v -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 
1800.10/1800.73	v -x1349 x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 
1800.10/1800.73	v -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 
1800.10/1800.73	v -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 
1800.10/1800.73	v -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 
1800.10/1800.73	v -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 
1800.10/1800.73	v -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 
1800.10/1800.73	v -x1241 x1240 -x1239 -x1238 -x1237 x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 
1800.10/1800.73	v -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 x1206 
1800.10/1800.73	v -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 x1196 -x1195 -x1194 -x1193 x1192 -x1191 -x1190 -x1189 -x1188 
1800.10/1800.73	v -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 
1800.10/1800.73	v -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 
1800.10/1800.73	v -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 
1800.10/1800.73	v -x1133 -x1132 -x1131 -x1130 -x1129 x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 
1800.10/1800.73	v -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 
1800.10/1800.73	v -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 x1089 -x1088 -x1087 -x1086 -x1085 -x1084 x1083 -x1082 -x1081 -x1080 
1800.10/1800.73	v -x1079 -x1078 x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 
1800.10/1800.73	v -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 
1800.10/1800.73	v -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 
1800.10/1800.73	v -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 
1800.10/1800.73	v -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 
1800.10/1800.73	v -x988 -x987 -x986 -x985 x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 
1800.10/1800.73	v -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 
1800.10/1800.73	v -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 
1800.10/1800.73	v -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 x916 x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 
1800.10/1800.73	v -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 
1800.10/1800.73	v -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 
1800.10/1800.73	v -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 
1800.10/1800.73	v -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 
1800.10/1800.73	v -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 
1800.10/1800.73	v -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 
1800.10/1800.73	v -x779 -x778 -x777 -x776 x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 
1800.10/1800.73	v -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 x744 -x743 x742 -x741 -x740 -x739 -x738 
1800.10/1800.73	v -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 
1800.10/1800.73	v -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 
1800.10/1800.73	v -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 x682 -x681 -x680 x679 -x678 -x677 -x676 -x675 
1800.10/1800.73	v -x674 -x673 -x672 -x671 -x670 -x669 -x668 x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 
1800.10/1800.73	v -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 
1800.10/1800.73	v -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 
1800.10/1800.73	v -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 x596 -x595 -x594 x593 -x592 -x591 
1800.10/1800.73	v -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 
1800.10/1800.73	v -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 
1800.10/1800.73	v -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 
1800.10/1800.73	v -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 
1800.10/1800.73	v -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 x489 -x488 -x487 
1800.10/1800.73	v -x486 -x485 -x484 -x483 -x482 x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 
1800.10/1800.73	v -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 
1800.10/1800.73	v -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 x425 -x424 
1800.10/1800.73	v -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 
1800.10/1800.73	v -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 
1800.10/1800.73	v -x381 -x380 -x379 -x378 -x377 x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 
1800.10/1800.73	v -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 
1800.10/1800.73	v x339 x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 
1800.10/1800.73	v -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 
1800.10/1800.73	v -x297 -x296 -x295 -x294 -x293 -x292 x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 
1800.10/1800.73	v -x276 -x275 -x274 x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 
1800.10/1800.73	v -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 x238 -x237 -x236 -x235 
1800.10/1800.73	v -x234 -x233 x232 -x231 -x230 -x229 -x228 -x227 -x226 x225 -x224 -x223 -x222 x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 
1800.10/1800.73	v -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 
1800.10/1800.73	v -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 
1800.10/1800.73	v -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 
1800.10/1800.73	v -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 
1800.10/1800.73	v -x129 -x128 -x127 -x126 -x125 -x124 -x123 x122 -x121 x120 -x119 -x118 x117 -x116 -x115 -x114 x113 -x112 -x111 -x110 -x109 
1800.10/1800.73	v x108 -x107 -x106 -x105 -x104 x103 x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 
1800.10/1800.73	v x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 
1800.10/1800.73	v -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 
1800.10/1800.73	v -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 
1800.10/1800.73	v -x9 -x8 -x7 -x6 x5 -x4 -x3 -x2 -x1 
1800.10/1800.73	c SCIP Status        : solving was interrupted [user interrupt]
1800.10/1800.73	c Solving Time       :    1778.01
1800.10/1800.73	c Original Problem   :
1800.10/1800.73	c   Problem name     : HOME/instance-2664187-1276410309.opb
1800.10/1800.73	c   Variables        : 4676 (4676 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.10/1800.73	c   Constraints      : 509 initial, 509 maximal
1800.10/1800.73	c Presolved Problem  :
1800.10/1800.73	c   Problem name     : t_HOME/instance-2664187-1276410309.opb
1800.10/1800.73	c   Variables        : 4676 (4676 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.10/1800.73	c   Constraints      : 509 initial, 548 maximal
1800.10/1800.73	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.10/1800.73	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.10/1800.73	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.10/1800.73	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.10/1800.73	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.10/1800.73	c   implics          :       0.01          0          0          0          0          0          0          0          0
1800.10/1800.73	c   probing          :       0.04          0          0          0          0          0          0          0          0
1800.10/1800.73	c   logicor          :       0.02          0          0          0          0          0          0          0          0
1800.10/1800.73	c   root node        :          -          0          -          -          0          -          -          -          -
1800.10/1800.73	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.10/1800.73	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.10/1800.73	c   logicor          :        509+         0    1014569          0          1      21986     482072          0          0          0
1800.10/1800.73	c   countsols        :          0          0          0          0          1          0          0          0          0          0
1800.10/1800.73	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.10/1800.73	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.10/1800.73	c   logicor          :      69.90       0.00      69.90       0.00       0.00
1800.10/1800.73	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.10/1800.73	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.10/1800.73	c   vbounds          :       1.87          2          0          0
1800.10/1800.73	c   rootredcost      :       1.61          0          0          0
1800.10/1800.73	c   pseudoobj        :    1556.67    2236118     330384    1971330
1800.10/1800.73	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.10/1800.73	c   propagation      :     582.23     352370     352370     352370      307.0       1263      404.4          -
1800.10/1800.73	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.10/1800.73	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.10/1800.73	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.10/1800.73	c   pseudo solution  :       7.63       2622       2622       2622      283.1        407      372.6          -
1800.10/1800.73	c   applied globally :          -          -          -     343721      299.1          -          -          -
1800.10/1800.73	c   applied locally  :          -          -          -      12684      524.2          -          -          -
1800.10/1800.73	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.10/1800.73	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.10/1800.73	c   redcost          :       0.00          0          0          0          0          0
1800.10/1800.73	c   impliedbounds    :       0.00          0          0          0          0          0
1800.10/1800.73	c   intobj           :       0.00          0          0          0          0          0
1800.10/1800.73	c   cgmip            :       0.00          0          0          0          0          0
1800.10/1800.73	c   gomory           :       0.00          0          0          0          0          0
1800.10/1800.73	c   strongcg         :       0.00          0          0          0          0          0
1800.10/1800.73	c   cmir             :       0.00          0          0          0          0          0
1800.10/1800.73	c   flowcover        :       0.00          0          0          0          0          0
1800.10/1800.73	c   clique           :       0.00          0          0          0          0          0
1800.10/1800.73	c   zerohalf         :       0.00          0          0          0          0          0
1800.10/1800.73	c   mcf              :       0.00          0          0          0          0          0
1800.10/1800.73	c   rapidlearning    :       0.00          0          0          0          0          0
1800.10/1800.73	c Pricers            :       Time      Calls       Vars
1800.10/1800.73	c   problem variables:       0.00          0          0
1800.10/1800.73	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.10/1800.73	c   relpscost        :       0.00          0          0          0          0          0          0
1800.10/1800.73	c   pscost           :       0.00          0          0          0          0          0          0
1800.10/1800.73	c   inference        :      29.39     923277          0          0          0          0    1846554
1800.10/1800.73	c   mostinf          :       0.00          0          0          0          0          0          0
1800.10/1800.73	c   leastinf         :       0.00          0          0          0          0          0          0
1800.10/1800.73	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.10/1800.73	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.10/1800.73	c   random           :       0.00          0          0          0          0          0          0
1800.10/1800.73	c Primal Heuristics  :       Time      Calls      Found
1800.10/1800.73	c   LP solutions     :       0.00          -          0
1800.10/1800.73	c   pseudo solutions :       0.00          -          1
1800.10/1800.73	c   oneopt           :       1.44          0          0
1800.10/1800.73	c   trivial          :       0.02          2          3
1800.10/1800.73	c   simplerounding   :       0.00          0          0
1800.10/1800.73	c   zirounding       :       0.00          0          0
1800.10/1800.73	c   rounding         :       0.00          0          0
1800.10/1800.73	c   shifting         :       0.00          0          0
1800.10/1800.73	c   intshifting      :       0.00          0          0
1800.10/1800.73	c   twoopt           :       0.00          0          0
1800.10/1800.73	c   fixandinfer      :       0.00          0          0
1800.10/1800.73	c   feaspump         :       0.00          0          0
1800.10/1800.73	c   coefdiving       :       0.00          0          0
1800.10/1800.73	c   pscostdiving     :       0.00          0          0
1800.10/1800.73	c   fracdiving       :       0.00          0          0
1800.10/1800.73	c   veclendiving     :       0.00          0          0
1800.10/1800.73	c   intdiving        :       0.00          0          0
1800.10/1800.73	c   actconsdiving    :       0.00          0          0
1800.10/1800.73	c   objpscostdiving  :       0.00          0          0
1800.10/1800.73	c   rootsoldiving    :       0.00          0          0
1800.10/1800.73	c   linesearchdiving :       0.00          0          0
1800.10/1800.73	c   guideddiving     :       0.00          0          0
1800.10/1800.73	c   octane           :       0.00          0          0
1800.10/1800.73	c   rens             :       0.00          0          0
1800.10/1800.73	c   rins             :       0.00          0          0
1800.10/1800.73	c   localbranching   :       0.00          0          0
1800.10/1800.73	c   mutation         :       0.00          0          0
1800.10/1800.73	c   crossover        :       0.00          0          0
1800.10/1800.73	c   dins             :       0.00          0          0
1800.10/1800.73	c   undercover       :       0.00          0          0
1800.10/1800.73	c   nlp              :       0.72          0          0
1800.10/1800.73	c   trysol           :       0.72          0          0
1800.10/1800.73	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.10/1800.73	c   primal LP        :       0.00          0          0       0.00          -
1800.10/1800.73	c   dual LP          :       0.00          0          0       0.00          -
1800.10/1800.73	c   lex dual LP      :       0.00          0          0       0.00          -
1800.10/1800.73	c   barrier LP       :       0.00          0          0       0.00          -
1800.10/1800.73	c   diving/probing LP:       0.00          0          0       0.00          -
1800.10/1800.73	c   strong branching :       0.00          0          0       0.00          -
1800.10/1800.73	c     (at root node) :          -          0          0       0.00          -
1800.10/1800.73	c   conflict analysis:       0.00          0          0       0.00          -
1800.10/1800.73	c B&B Tree           :
1800.10/1800.73	c   number of runs   :          1
1800.10/1800.73	c   nodes            :    1104764
1800.10/1800.73	c   nodes (total)    :    1104764
1800.10/1800.73	c   nodes left       :       4508
1800.10/1800.73	c   max depth        :       4589
1800.10/1800.73	c   max depth (total):       4589
1800.10/1800.73	c   backtracks       :     183236 (16.6%)
1800.10/1800.73	c   delayed cutoffs  :     179516
1800.10/1800.73	c   repropagations   :     286312 (608100 domain reductions, 173506 cutoffs)
1800.10/1800.73	c   avg switch length:       2.11
1800.10/1800.73	c   switching time   :      21.86
1800.10/1800.73	c Solution           :
1800.10/1800.73	c   Solutions found  :          4 (2 improvements)
1800.10/1800.73	c   First Solution   : +4.67600000000000e+03   (in run 1, after 0 nodes, 0.04 seconds, depth 0, found by <trivial>)
1800.10/1800.73	c   Primal Bound     : +8.70000000000000e+01   (in run 1, after 4590 nodes, 5.96 seconds, depth 4589, found by <relaxation>)
1800.10/1800.73	c   Dual Bound       : +1.00000000000000e+00
1800.10/1800.73	c   Gap              :    8600.00 %
1800.10/1800.73	c   Root Dual Bound  : +0.00000000000000e+00
1800.10/1800.73	c   Root Iterations  :          0
1800.10/1800.76	c Time complete: 1800.16.

Verifier Data 

OK	87

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.02 1.00 3/106 22312
/proc/meminfo: memFree=1818444/2059040 swapFree=4136716/4192956
[pid=22312] ppid=22310 vsize=5556 CPUtime=0
/proc/22312/stat : 22312 (pbscip.linux.x8) R 22310 22312 21622 0 -1 4202496 889 0 0 0 0 0 0 0 18 0 1 0 16632460 5689344 811 1992294400 4194304 7136930 140735140791152 18446744073709551615 6349764 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22312/statm: 1389 811 249 719 0 668 0

[startup+0.0727551 s]
/proc/loadavg: 1.00 1.02 1.00 3/106 22312
/proc/meminfo: memFree=1818444/2059040 swapFree=4136716/4192956
[pid=22312] ppid=22310 vsize=13264 CPUtime=0.06
/proc/22312/stat : 22312 (pbscip.linux.x8) R 22310 22312 21622 0 -1 4202496 2835 0 0 0 6 0 0 0 20 0 1 0 16632460 13582336 2756 1992294400 4194304 7136930 140735140791152 18446744073709551615 6285791 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22312/statm: 3316 2756 271 719 0 2595 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 13264

[startup+0.10076 s]
/proc/loadavg: 1.00 1.02 1.00 3/106 22312
/proc/meminfo: memFree=1818444/2059040 swapFree=4136716/4192956
[pid=22312] ppid=22310 vsize=20336 CPUtime=0.09
/proc/22312/stat : 22312 (pbscip.linux.x8) R 22310 22312 21622 0 -1 4202496 4970 0 0 0 8 1 0 0 20 0 1 0 16632460 20824064 4537 1992294400 4194304 7136930 140735140791152 18446744073709551615 6328631 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22312/statm: 5084 4540 283 719 0 4363 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20336

[startup+0.300795 s]
/proc/loadavg: 1.00 1.02 1.00 3/106 22312
/proc/meminfo: memFree=1818444/2059040 swapFree=4136716/4192956
[pid=22312] ppid=22310 vsize=26428 CPUtime=0.29
/proc/22312/stat : 22312 (pbscip.linux.x8) R 22310 22312 21622 0 -1 4202496 6799 0 0 0 27 2 0 0 20 0 1 0 16632460 27062272 5849 1992294400 4194304 7136930 140735140791152 18446744073709551615 4642180 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22312/statm: 6607 5849 374 719 0 5886 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26428

[startup+0.700867 s]
/proc/loadavg: 1.00 1.02 1.00 3/106 22312
/proc/meminfo: memFree=1818444/2059040 swapFree=4136716/4192956
[pid=22312] ppid=22310 vsize=26428 CPUtime=0.69
/proc/22312/stat : 22312 (pbscip.linux.x8) R 22310 22312 21622 0 -1 4202496 6813 0 0 0 67 2 0 0 21 0 1 0 16632460 27062272 5863 1992294400 4194304 7136930 140735140791152 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22312/statm: 6607 5863 375 719 0 5886 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 26428

[startup+1.50101 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 22313
/proc/meminfo: memFree=1796240/2059040 swapFree=4136716/4192956
[pid=22312] ppid=22310 vsize=27256 CPUtime=1.49
/proc/22312/stat : 22312 (pbscip.linux.x8) R 22310 22312 21622 0 -1 4202496 6991 0 0 0 147 2 0 0 23 0 1 0 16632460 27910144 6041 1992294400 4194304 7136930 140735140791152 18446744073709551615 4642180 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22312/statm: 6814 6041 375 719 0 6093 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 27256

[startup+3.10129 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 22313
/proc/meminfo: memFree=1795124/2059040 swapFree=4136716/4192956
[pid=22312] ppid=22310 vsize=27660 CPUtime=3.09
/proc/22312/stat : 22312 (pbscip.linux.x8) R 22310 22312 21622 0 -1 4202496 7095 0 0 0 306 3 0 0 25 0 1 0 16632460 28323840 6145 1992294400 4194304 7136930 140735140791152 18446744073709551615 5507431 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22312/statm: 6915 6145 375 719 0 6194 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27660

[startup+6.30087 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 22313
/proc/meminfo: memFree=1794008/2059040 swapFree=4136716/4192956
[pid=22312] ppid=22310 vsize=29732 CPUtime=6.29
/proc/22312/stat : 22312 (pbscip.linux.x8) R 22310 22312 21622 0 -1 4202496 7624 0 0 0 622 7 0 0 25 0 1 0 16632460 30445568 6674 1992294400 4194304 7136930 140735140791152 18446744073709551615 5507431 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22312/statm: 7433 6674 381 719 0 6712 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 29732

[startup+12.701 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 22313
/proc/meminfo: memFree=1789792/2059040 swapFree=4136716/4192956
[pid=22312] ppid=22310 vsize=32928 CPUtime=12.68
/proc/22312/stat : 22312 (pbscip.linux.x8) R 22310 22312 21622 0 -1 4202496 8412 0 0 0 1254 14 0 0 25 0 1 0 16632460 33718272 7462 1992294400 4194304 7136930 140735140791152 18446744073709551615 4704784 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22312/statm: 8232 7462 382 719 0 7511 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 32928

[startup+25.5003 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 22313
/proc/meminfo: memFree=1786692/2059040 swapFree=4136716/4192956
[pid=22312] ppid=22310 vsize=35776 CPUtime=25.48
/proc/22312/stat : 22312 (pbscip.linux.x8) R 22310 22312 21622 0 -1 4202496 9089 0 0 0 2519 29 0 0 25 0 1 0 16632460 36634624 8139 1992294400 4194304 7136930 140735140791152 18446744073709551615 4648619 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22312/statm: 8944 8139 382 719 0 8223 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 35776

[startup+51.1009 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 22315
/proc/meminfo: memFree=1785452/2059040 swapFree=4136716/4192956
[pid=22312] ppid=22310 vsize=37028 CPUtime=51.07
/proc/22312/stat : 22312 (pbscip.linux.x8) R 22310 22312 21622 0 -1 4202496 9404 0 0 0 5049 58 0 0 25 0 1 0 16632460 37916672 8454 1992294400 4194304 7136930 140735140791152 18446744073709551615 5507387 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22312/statm: 9257 8454 382 719 0 8536 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 37028

[startup+102.308 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 22315
/proc/meminfo: memFree=1784708/2059040 swapFree=4136716/4192956
[pid=22312] ppid=22310 vsize=37700 CPUtime=102.25
/proc/22312/stat : 22312 (pbscip.linux.x8) R 22310 22312 21622 0 -1 4202496 9577 0 0 0 10105 120 0 0 25 0 1 0 16632460 38604800 8627 1992294400 4194304 7136930 140735140791152 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22312/statm: 9425 8627 382 719 0 8704 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 37700

[startup+162.301 s]
/proc/loadavg: 1.10 1.04 1.01 2/107 22317
/proc/meminfo: memFree=1783716/2059040 swapFree=4136716/4192956
[pid=22312] ppid=22310 vsize=38516 CPUtime=162.23
/proc/22312/stat : 22312 (pbscip.linux.x8) R 22310 22312 21622 0 -1 4202496 9765 0 0 0 16028 195 0 0 25 0 1 0 16632460 39440384 8815 1992294400 4194304 7136930 140735140791152 18446744073709551615 5507327 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22312/statm: 9629 8815 382 719 0 8908 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 38516

[startup+222.301 s]
/proc/loadavg: 1.10 1.04 1.01 2/107 22319
/proc/meminfo: memFree=1782972/2059040 swapFree=4136716/4192956
[pid=22312] ppid=22310 vsize=39224 CPUtime=222.21
/proc/22312/stat : 22312 (pbscip.linux.x8) R 22310 22312 21622 0 -1 4202496 9945 0 0 0 21953 268 0 0 25 0 1 0 16632460 40165376 8995 1992294400 4194304 7136930 140735140791152 18446744073709551615 5507163 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22312/statm: 9806 8995 382 719 0 9085 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 39224

[startup+282.301 s]
/proc/loadavg: 1.09 1.05 1.00 2/107 22321
/proc/meminfo: memFree=1782352/2059040 swapFree=4136716/4192956
[pid=22312] ppid=22310 vsize=39928 CPUtime=282.19
/proc/22312/stat : 22312 (pbscip.linux.x8) R 22310 22312 21622 0 -1 4202496 10121 0 0 0 27872 347 0 0 25 0 1 0 16632460 40886272 9171 1992294400 4194304 7136930 140735140791152 18446744073709551615 5917627 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22312/statm: 9982 9171 382 719 0 9261 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 39928

[startup+342.301 s]
/proc/loadavg: 1.08 1.05 1.00 2/107 22323
/proc/meminfo: memFree=1781732/2059040 swapFree=4136716/4192956
[pid=22312] ppid=22310 vsize=40464 CPUtime=342.17
/proc/22312/stat : 22312 (pbscip.linux.x8) R 22310 22312 21622 0 -1 4202496 10251 0 0 0 33793 424 0 0 25 0 1 0 16632460 41435136 9301 1992294400 4194304 7136930 140735140791152 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22312/statm: 10116 9301 382 719 0 9395 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 40464

[startup+402.301 s]
/proc/loadavg: 1.08 1.06 1.00 2/107 22323
/proc/meminfo: memFree=1781360/2059040 swapFree=4136716/4192956
[pid=22312] ppid=22310 vsize=40736 CPUtime=402.15
/proc/22312/stat : 22312 (pbscip.linux.x8) R 22310 22312 21622 0 -1 4202496 10318 0 0 0 39715 500 0 0 25 0 1 0 16632460 41713664 9368 1992294400 4194304 7136930 140735140791152 18446744073709551615 5507431 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22312/statm: 10184 9368 382 719 0 9463 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 40736

[startup+462.3 s]
/proc/loadavg: 1.07 1.06 1.00 2/107 22325
/proc/meminfo: memFree=1781112/2059040 swapFree=4136716/4192956
[pid=22312] ppid=22310 vsize=41016 CPUtime=462.13
/proc/22312/stat : 22312 (pbscip.linux.x8) R 22310 22312 21622 0 -1 4202496 10370 0 0 0 45638 575 0 0 25 0 1 0 16632460 42000384 9420 1992294400 4194304 7136930 140735140791152 18446744073709551615 4240411 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22312/statm: 10254 9420 382 719 0 9533 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 41016

[startup+522.301 s]
/proc/loadavg: 1.22 1.09 1.01 2/107 22327
/proc/meminfo: memFree=1780740/2059040 swapFree=4136716/4192956
[pid=22312] ppid=22310 vsize=41284 CPUtime=522.11
/proc/22312/stat : 22312 (pbscip.linux.x8) R 22310 22312 21622 0 -1 4202496 10461 0 0 0 51564 647 0 0 25 0 1 0 16632460 42274816 9511 1992294400 4194304 7136930 140735140791152 18446744073709551615 5506155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22312/statm: 10321 9511 382 719 0 9600 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 41284

[startup+582.301 s]
/proc/loadavg: 1.15 1.10 1.02 2/107 22329
/proc/meminfo: memFree=1780492/2059040 swapFree=4136716/4192956
[pid=22312] ppid=22310 vsize=41424 CPUtime=582.09
/proc/22312/stat : 22312 (pbscip.linux.x8) R 22310 22312 21622 0 -1 4202496 10469 0 0 0 57484 725 0 0 25 0 1 0 16632460 42418176 9519 1992294400 4194304 7136930 140735140791152 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22312/statm: 10356 9519 382 719 0 9635 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 41424

[startup+642.302 s]
/proc/loadavg: 1.05 1.08 1.01 2/107 22331
/proc/meminfo: memFree=1780244/2059040 swapFree=4136716/4192956
[pid=22312] ppid=22310 vsize=41560 CPUtime=642.08
/proc/22312/stat : 22312 (pbscip.linux.x8) R 22310 22312 21622 0 -1 4202496 10527 0 0 0 63412 796 0 0 25 0 1 0 16632460 42557440 9577 1992294400 4194304 7136930 140735140791152 18446744073709551615 4652809 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22312/statm: 10390 9577 382 719 0 9669 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 41560

[startup+702.301 s]

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

[startup+882.302 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 22337
/proc/meminfo: memFree=1779376/2059040 swapFree=4136716/4192956
[pid=22312] ppid=22310 vsize=42256 CPUtime=881.99
/proc/22312/stat : 22312 (pbscip.linux.x8) R 22310 22312 21622 0 -1 4202496 10674 0 0 0 87108 1091 0 0 25 0 1 0 16632460 43270144 9724 1992294400 4194304 7136930 140735140791152 18446744073709551615 4434065 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22312/statm: 10564 9724 382 719 0 9843 0
Current children cumulated CPU time (s) 881.99
Current children cumulated vsize (KiB) 42256

[startup+942.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 22339
/proc/meminfo: memFree=1779252/2059040 swapFree=4136716/4192956
[pid=22312] ppid=22310 vsize=42256 CPUtime=941.97
/proc/22312/stat : 22312 (pbscip.linux.x8) R 22310 22312 21622 0 -1 4202496 10691 0 0 0 93036 1161 0 0 25 0 1 0 16632460 43270144 9741 1992294400 4194304 7136930 140735140791152 18446744073709551615 5507431 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22312/statm: 10564 9741 382 719 0 9843 0
Current children cumulated CPU time (s) 941.97
Current children cumulated vsize (KiB) 42256

[startup+1002.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 22339
/proc/meminfo: memFree=1779252/2059040 swapFree=4136716/4192956
[pid=22312] ppid=22310 vsize=42392 CPUtime=1001.95
/proc/22312/stat : 22312 (pbscip.linux.x8) R 22310 22312 21622 0 -1 4202496 10704 0 0 0 98965 1230 0 0 25 0 1 0 16632460 43409408 9754 1992294400 4194304 7136930 140735140791152 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22312/statm: 10598 9754 382 719 0 9877 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 42392

[startup+1062.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 22341
/proc/meminfo: memFree=1779004/2059040 swapFree=4136716/4192956
[pid=22312] ppid=22310 vsize=42392 CPUtime=1061.93
/proc/22312/stat : 22312 (pbscip.linux.x8) R 22310 22312 21622 0 -1 4202496 10711 0 0 0 104890 1303 0 0 25 0 1 0 16632460 43409408 9761 1992294400 4194304 7136930 140735140791152 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22312/statm: 10598 9761 382 719 0 9877 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 42392

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22343
/proc/meminfo: memFree=1779004/2059040 swapFree=4136716/4192956
[pid=22312] ppid=22310 vsize=42392 CPUtime=1121.91
/proc/22312/stat : 22312 (pbscip.linux.x8) R 22310 22312 21622 0 -1 4202496 10732 0 0 0 110816 1375 0 0 25 0 1 0 16632460 43409408 9782 1992294400 4194304 7136930 140735140791152 18446744073709551615 5507425 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22312/statm: 10598 9782 382 719 0 9877 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 42392

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22345
/proc/meminfo: memFree=1778756/2059040 swapFree=4136716/4192956
[pid=22312] ppid=22310 vsize=42532 CPUtime=1181.9
/proc/22312/stat : 22312 (pbscip.linux.x8) R 22310 22312 21622 0 -1 4202496 10738 0 0 0 116741 1449 0 0 25 0 1 0 16632460 43552768 9788 1992294400 4194304 7136930 140735140791152 18446744073709551615 4240415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22312/statm: 10633 9788 382 719 0 9912 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 42532

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22347
/proc/meminfo: memFree=1778632/2059040 swapFree=4136716/4192956
[pid=22312] ppid=22310 vsize=42532 CPUtime=1241.88
/proc/22312/stat : 22312 (pbscip.linux.x8) R 22310 22312 21622 0 -1 4202496 10749 0 0 0 122668 1520 0 0 25 0 1 0 16632460 43552768 9799 1992294400 4194304 7136930 140735140791152 18446744073709551615 5906008 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22312/statm: 10633 9799 382 719 0 9912 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 42532

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22347
/proc/meminfo: memFree=1778632/2059040 swapFree=4136716/4192956
[pid=22312] ppid=22310 vsize=42532 CPUtime=1301.87
/proc/22312/stat : 22312 (pbscip.linux.x8) R 22310 22312 21622 0 -1 4202496 10749 0 0 0 128594 1593 0 0 25 0 1 0 16632460 43552768 9799 1992294400 4194304 7136930 140735140791152 18446744073709551615 5506109 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22312/statm: 10633 9799 382 719 0 9912 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 42532

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22349
/proc/meminfo: memFree=1778508/2059040 swapFree=4136716/4192956
[pid=22312] ppid=22310 vsize=42532 CPUtime=1361.83
/proc/22312/stat : 22312 (pbscip.linux.x8) R 22310 22312 21622 0 -1 4202496 10755 0 0 0 134517 1666 0 0 25 0 1 0 16632460 43552768 9805 1992294400 4194304 7136930 140735140791152 18446744073709551615 5507381 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22312/statm: 10633 9805 382 719 0 9912 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 42532

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22351
/proc/meminfo: memFree=1778508/2059040 swapFree=4136716/4192956
[pid=22312] ppid=22310 vsize=42532 CPUtime=1421.82
/proc/22312/stat : 22312 (pbscip.linux.x8) R 22310 22312 21622 0 -1 4202496 10763 0 0 0 140441 1741 0 0 25 0 1 0 16632460 43552768 9813 1992294400 4194304 7136930 140735140791152 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22312/statm: 10633 9813 382 719 0 9912 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 42532

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22353
/proc/meminfo: memFree=1778384/2059040 swapFree=4136716/4192956
[pid=22312] ppid=22310 vsize=42684 CPUtime=1481.79
/proc/22312/stat : 22312 (pbscip.linux.x8) R 22310 22312 21622 0 -1 4202496 10775 0 0 0 146367 1812 0 0 25 0 1 0 16632460 43708416 9825 1992294400 4194304 7136930 140735140791152 18446744073709551615 5507181 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22312/statm: 10671 9825 382 719 0 9950 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 42684

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22355
/proc/meminfo: memFree=1778136/2059040 swapFree=4136716/4192956
[pid=22312] ppid=22310 vsize=42816 CPUtime=1541.77
/proc/22312/stat : 22312 (pbscip.linux.x8) R 22310 22312 21622 0 -1 4202496 10811 0 0 0 152297 1880 0 0 25 0 1 0 16632460 43843584 9861 1992294400 4194304 7136930 140735140791152 18446744073709551615 5917627 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22312/statm: 10704 9861 382 719 0 9983 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 42816

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22355
/proc/meminfo: memFree=1778136/2059040 swapFree=4136716/4192956
[pid=22312] ppid=22310 vsize=42816 CPUtime=1601.75
/proc/22312/stat : 22312 (pbscip.linux.x8) R 22310 22312 21622 0 -1 4202496 10813 0 0 0 158222 1953 0 0 25 0 1 0 16632460 43843584 9863 1992294400 4194304 7136930 140735140791152 18446744073709551615 5507431 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22312/statm: 10704 9863 382 719 0 9983 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 42816

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22357
/proc/meminfo: memFree=1778012/2059040 swapFree=4136716/4192956
[pid=22312] ppid=22310 vsize=42960 CPUtime=1661.74
/proc/22312/stat : 22312 (pbscip.linux.x8) R 22310 22312 21622 0 -1 4202496 10844 0 0 0 164143 2031 0 0 25 0 1 0 16632460 43991040 9894 1992294400 4194304 7136930 140735140791152 18446744073709551615 4653003 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22312/statm: 10740 9894 382 719 0 10019 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 42960

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22359
/proc/meminfo: memFree=1778012/2059040 swapFree=4136716/4192956
[pid=22312] ppid=22310 vsize=42960 CPUtime=1721.72
/proc/22312/stat : 22312 (pbscip.linux.x8) R 22310 22312 21622 0 -1 4202496 10851 0 0 0 170068 2104 0 0 25 0 1 0 16632460 43991040 9901 1992294400 4194304 7136930 140735140791152 18446744073709551615 5507431 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22312/statm: 10740 9901 382 719 0 10019 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 42960

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22361
/proc/meminfo: memFree=1777640/2059040 swapFree=4136716/4192956
[pid=22312] ppid=22310 vsize=43096 CPUtime=1781.7
/proc/22312/stat : 22312 (pbscip.linux.x8) R 22310 22312 21622 0 -1 4202496 10875 0 0 0 175991 2179 0 0 25 0 1 0 16632460 44130304 9925 1992294400 4194304 7136930 140735140791152 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22312/statm: 10774 9925 382 719 0 10053 0
Current children cumulated CPU time (s) 1781.7
Current children cumulated vsize (KiB) 43096



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22361
/proc/meminfo: memFree=1777640/2059040 swapFree=4136716/4192956
[pid=22312] ppid=22310 vsize=43096 CPUtime=1800.1
/proc/22312/stat : 22312 (pbscip.linux.x8) R 22310 22312 21622 0 -1 4202496 10875 0 0 0 177808 2202 0 0 25 0 1 0 16632460 44130304 9925 1992294400 4194304 7136930 140735140791152 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22312/statm: 10774 9925 382 719 0 10053 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 43096

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

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

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22361
/proc/meminfo: memFree=1777640/2059040 swapFree=4136716/4192956
[pid=22312] ppid=22310 vsize=43096 CPUtime=1800.1
/proc/22312/stat : 22312 (pbscip.linux.x8) R 22310 22312 21622 0 -1 4202496 10875 0 0 0 177808 2202 0 0 25 0 1 0 16632460 44130304 9925 1992294400 4194304 7136930 140735140791152 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22312/statm: 10774 9925 382 719 0 10053 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 43096

Child status: 0
Real time (s): 1800.77
CPU time (s): 1800.17
CPU user time (s): 1778.13
CPU system time (s): 22.0347
CPU usage (%): 99.9666
Max. virtual memory (cumulated for all children) (KiB): 43096

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1778.13
system time used= 22.0346
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10999
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= 6346

runsolver used 2.93355 second user time and 8.5577 second system time

The end

Launcher Data 

Begin job on node012 at 2010-06-13 08:25:09
IDJOB=2664187
IDBENCH=2044
IDSOLVER=1167
FILE ID=node012/2664187-1276410309
PBS_JOBID= 11173272
Free space on /tmp= 62412 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-exam.pi.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2664187-1276410309/watcher-2664187-1276410309 -o /tmp/evaluation-result-2664187-1276410309/solver-2664187-1276410309 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664187-1276410309.opb -t 1800 -m 1800

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

MD5SUM BENCH= c7b7ba2fb8a9fff5b9677d5bbd1edc0f
RANDOM SEED=643989655

node012.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.258
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.51
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.258
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:       1818972 kB
Buffers:         24608 kB
Cached:         130860 kB
SwapCached:      16500 kB
Active:         133292 kB
Inactive:        41808 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1818972 kB
SwapTotal:     4192956 kB
SwapFree:      4136716 kB
Dirty:            3472 kB
Writeback:           0 kB
AnonPages:       11108 kB
Mapped:           9324 kB
Slab:            43236 kB
PageTables:       4076 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180708 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= 62408 MiB
End job on node012 at 2010-06-13 08:55:12