Trace number 2663955

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)18 1800.11 1800.71

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_delay/normalized-fir06_area_delay.opb
MD5SUM21fb64899a6dc4867ccfcbb30d44d536
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark15
Best CPU time to get the best result obtained on this benchmark2.73858
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 15
Optimality of the best value was proved YES
Number of variables5537
Total number of constraints15855
Number of constraints which are clauses15855
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 constraint1
Maximum length of a constraint127
Number of terms in the objective function 2646
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 2646
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 2646
Number of bits of the biggest sum of numbers12
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-2663955-1276638880.opb>
0.29/0.30	c original problem has 5537 variables (5537 bin, 0 int, 0 impl, 0 cont) and 15855 constraints
0.29/0.30	c problem read
0.29/0.30	c presolving settings loaded
0.29/0.30	c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.29/0.40	c presolving:
0.49/0.55	c (round 1) 2854 del vars, 5917 del conss, 260 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 29604 impls, 0 clqs
0.49/0.57	c (round 2) 2855 del vars, 6829 del conss, 261 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 29604 impls, 0 clqs
0.59/0.68	c (round 3) 2855 del vars, 6875 del conss, 261 chg bounds, 0 chg sides, 0 chg coeffs, 8938 upgd conss, 29604 impls, 0 clqs
0.69/0.72	c (round 4) 2855 del vars, 6875 del conss, 261 chg bounds, 0 chg sides, 0 chg coeffs, 8980 upgd conss, 29604 impls, 0 clqs
0.90/0.93	c    (0.6s) probing: 306/2682 (11.4%) - 1 fixings, 12 aggregations, 1235 implications, 0 bound changes
0.90/0.93	c    (0.6s) probing aborted: 100/100 successive totally useless probings
0.90/0.93	c (round 5) 2868 del vars, 6875 del conss, 261 chg bounds, 0 chg sides, 0 chg coeffs, 8980 upgd conss, 30902 impls, 0 clqs
0.90/0.95	c (round 6) 2868 del vars, 6939 del conss, 261 chg bounds, 0 chg sides, 0 chg coeffs, 8980 upgd conss, 30902 impls, 0 clqs
0.90/0.98	c (round 7) 2868 del vars, 6940 del conss, 261 chg bounds, 0 chg sides, 0 chg coeffs, 8980 upgd conss, 30902 impls, 0 clqs
1.00/1.08	c    (0.7s) probing: 500/2682 (18.6%) - 1 fixings, 14 aggregations, 1278 implications, 0 bound changes
1.00/1.08	c    (0.7s) probing aborted: 100/100 successive totally useless probings
1.00/1.08	c (round 8) 2870 del vars, 6940 del conss, 261 chg bounds, 0 chg sides, 0 chg coeffs, 8980 upgd conss, 30932 impls, 0 clqs
1.10/1.12	c    (0.7s) probing: 510/2682 (19.0%) - 1 fixings, 14 aggregations, 1278 implications, 0 bound changes
1.10/1.12	c    (0.7s) probing aborted: 100/100 successive totally useless probings
1.10/1.12	c presolving (9 rounds):
1.10/1.12	c  2870 deleted vars, 6940 deleted constraints, 261 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.10/1.12	c  30932 implications, 0 cliques
1.10/1.12	c presolved problem has 2667 variables (2667 bin, 0 int, 0 impl, 0 cont) and 8915 constraints
1.10/1.12	c    8915 constraints of type <logicor>
1.10/1.12	c transformed objective value is always integral (scale: 1)
1.10/1.12	c Presolving Time: 0.68
1.10/1.12	c - non default parameters ----------------------------------------------------------------------
1.10/1.12	c # SCIP version 1.2.1.2
1.10/1.12	c 
1.10/1.12	c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
1.10/1.12	c # [type: int, range: [-1,2147483647], default: -1]
1.10/1.12	c conflict/interconss = 0
1.10/1.12	c 
1.10/1.12	c # should binary conflicts be preferred?
1.10/1.12	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.12	c conflict/preferbinary = TRUE
1.10/1.12	c 
1.10/1.12	c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
1.10/1.12	c # [type: int, range: [-1,2147483647], default: 0]
1.10/1.12	c constraints/agelimit = 1
1.10/1.12	c 
1.10/1.12	c # should enforcement of pseudo solution be disabled?
1.10/1.12	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.12	c constraints/disableenfops = TRUE
1.10/1.12	c 
1.10/1.12	c # frequency for displaying node information lines
1.10/1.12	c # [type: int, range: [-1,2147483647], default: 100]
1.10/1.12	c display/freq = 10000
1.10/1.12	c 
1.10/1.12	c # maximal time in seconds to run
1.10/1.12	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.10/1.12	c limits/time = 1799.71
1.10/1.12	c 
1.10/1.12	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.10/1.12	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.10/1.12	c limits/memory = 1620
1.10/1.12	c 
1.10/1.12	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
1.10/1.12	c # [type: int, range: [-1,2147483647], default: 1]
1.10/1.12	c lp/solvefreq = -1
1.10/1.12	c 
1.10/1.12	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)
1.10/1.12	c # [type: char, range: {lafpsqd}, default: l]
1.10/1.12	c lp/pricing = a
1.10/1.12	c 
1.10/1.12	c # should presolving try to simplify inequalities
1.10/1.12	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.12	c constraints/linear/simplifyinequalities = TRUE
1.10/1.12	c 
1.10/1.12	c # should presolving try to simplify knapsacks
1.10/1.12	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.12	c constraints/knapsack/simplifyinequalities = TRUE
1.10/1.12	c 
1.10/1.12	c # priority of node selection rule <dfs> in standard mode
1.10/1.12	c # [type: int, range: [-536870912,536870911], default: 0]
1.10/1.12	c nodeselection/dfs/stdpriority = 1000000
1.10/1.12	c 
1.10/1.12	c -----------------------------------------------------------------------------------------------
1.10/1.12	c start solving
1.10/1.12	c 
1.10/1.13	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1.10/1.13	c   0.7s|     1 |     2 |     0 |     - |  20M|   0 |   - |2667 |8915 |   0 |   0 |   0 |   0 |   0 | 1.000000e+00 |      --      |    Inf 
2.29/2.35	o 22
2.29/2.35	c * 1.9s|  2089 |  2084 |     0 |   0.0 |  21M|2087 |   - |2667 |8916 |   0 |   0 |   0 |   1 |   0 | 2.000000e+00 | 2.200000e+01 |1000.00%
2.39/2.49	o 21
2.39/2.49	c * 2.0s|  2422 |  2080 |     0 |   0.0 |  21M|2087 |   - |2667 |8916 |   0 |   0 |   0 |  97 |   0 | 2.000000e+00 | 2.100000e+01 | 950.00%
8.80/8.86	c   8.2s| 10000 |  2059 |     0 |   0.0 |  21M|2087 |   - |2667 |9019 |   0 |   0 |   0 |3440 |   0 | 2.000000e+00 | 2.100000e+01 | 950.00%
17.98/18.00	c  17.1s| 20000 |  2047 |     0 |   0.0 |  21M|2087 |   - |2667 |8924 |   0 |   0 |   0 |7907 |   0 | 2.000000e+00 | 2.100000e+01 | 950.00%
26.58/26.62	c  25.4s| 30000 |  2052 |     0 |   0.0 |  21M|2087 |   - |2667 |8921 |   0 |   0 |   0 |  11k|   0 | 2.000000e+00 | 2.100000e+01 | 950.00%
34.88/34.91	c  33.5s| 40000 |  2045 |     0 |   0.0 |  21M|2087 |   - |2667 |8925 |   0 |   0 |   0 |  15k|   0 | 2.000000e+00 | 2.100000e+01 | 950.00%
44.77/44.88	c  43.2s| 50000 |  2049 |     0 |   0.0 |  21M|2091 |   - |2667 |8918 |   0 |   0 |   0 |  20k|   0 | 2.000000e+00 | 2.100000e+01 | 950.00%
56.08/56.16	c  54.2s| 60000 |  2038 |     0 |   0.0 |  21M|2091 |   - |2667 |8934 |   0 |   0 |   0 |  26k|   0 | 2.000000e+00 | 2.100000e+01 | 950.00%
67.47/67.54	c  65.2s| 70000 |  2039 |     0 |   0.0 |  21M|2091 |   - |2667 |8917 |   0 |   0 |   0 |  31k|   0 | 2.000000e+00 | 2.100000e+01 | 950.00%
72.36/72.50	o 20
72.36/72.50	c *70.1s| 74584 |  2049 |     0 |   0.0 |  21M|2091 |   - |2667 |8920 |   0 |   0 |   0 |  33k|   0 | 2.000000e+00 | 2.000000e+01 | 900.00%
77.77/77.83	c  75.2s| 80000 |  2041 |     0 |   0.0 |  21M|2091 |   - |2667 |8922 |   0 |   0 |   0 |  35k|   0 | 2.000000e+00 | 2.000000e+01 | 900.00%
87.87/87.94	c  85.1s| 90000 |  2040 |     0 |   0.0 |  21M|2091 |   - |2667 |8932 |   0 |   0 |   0 |  40k|   0 | 2.000000e+00 | 2.000000e+01 | 900.00%
99.16/99.28	c  96.1s|100000 |  2031 |     0 |   0.0 |  21M|2091 |   - |2667 |8919 |   0 |   0 |   0 |  45k|   0 | 2.000000e+00 | 2.000000e+01 | 900.00%
110.56/110.62	c   107s|110000 |  2037 |     0 |   0.0 |  21M|2091 |   - |2667 |8937 |   0 |   0 |   0 |  50k|   0 | 2.000000e+00 | 2.000000e+01 | 900.00%
122.15/122.27	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
122.15/122.27	c   118s|120000 |  2035 |     0 |   0.0 |  21M|2091 |   - |2667 |8934 |   0 |   0 |   0 |  55k|   0 | 2.000000e+00 | 2.000000e+01 | 900.00%
133.65/133.76	c   130s|130000 |  2045 |     0 |   0.0 |  21M|2091 |   - |2667 |8929 |   0 |   0 |   0 |  60k|   0 | 2.000000e+00 | 2.000000e+01 | 900.00%
145.15/145.26	c   141s|140000 |  2032 |     0 |   0.0 |  21M|2091 |   - |2667 |8926 |   0 |   0 |   0 |  65k|   0 | 2.000000e+00 | 2.000000e+01 | 900.00%
156.94/157.07	c   152s|150000 |  2033 |     0 |   0.0 |  21M|2091 |   - |2667 |8934 |   0 |   0 |   0 |  70k|   0 | 2.000000e+00 | 2.000000e+01 | 900.00%
168.53/168.65	c   164s|160000 |  2032 |     0 |   0.0 |  21M|2091 |   - |2667 |8938 |   0 |   0 |   0 |  75k|   0 | 2.000000e+00 | 2.000000e+01 | 900.00%
180.63/180.72	c   175s|170000 |  2035 |     0 |   0.0 |  21M|2091 |   - |2667 |8932 |   0 |   0 |   0 |  80k|   0 | 2.000000e+00 | 2.000000e+01 | 900.00%
192.34/192.45	c   187s|180000 |  2037 |     0 |   0.0 |  21M|2091 |   - |2667 |8928 |   0 |   0 |   0 |  85k|   0 | 2.000000e+00 | 2.000000e+01 | 900.00%
204.13/204.22	c   198s|190000 |  2035 |     0 |   0.0 |  21M|2091 |   - |2667 |8930 |   0 |   0 |   0 |  89k|   0 | 2.000000e+00 | 2.000000e+01 | 900.00%
216.12/216.25	c   210s|200000 |  2024 |     0 |   0.0 |  21M|2091 |   - |2667 |8938 |   0 |   0 |   0 |  94k|   0 | 2.000000e+00 | 2.000000e+01 | 900.00%
227.72/227.83	c   221s|210000 |  2030 |     0 |   0.0 |  21M|2091 |   - |2667 |8935 |   0 |   0 |   0 |  99k|   0 | 2.000000e+00 | 2.000000e+01 | 900.00%
241.01/241.16	c   234s|220000 |  2036 |     0 |   0.0 |  21M|2091 |   - |2667 |8921 |   0 |   0 |   0 | 105k|   0 | 2.000000e+00 | 2.000000e+01 | 900.00%
254.41/254.58	c   247s|230000 |  2033 |     0 |   0.0 |  21M|2091 |   - |2667 |8945 |   0 |   0 |   0 | 110k|   0 | 2.000000e+00 | 2.000000e+01 | 900.00%
267.60/267.77	o 19
267.60/267.77	c * 260s|238851 |  2066 |     0 |   0.0 |  21M|2115 |   - |2667 |8934 |   0 |   0 |   0 | 115k|   0 | 2.000000e+00 | 1.900000e+01 | 850.00%
269.00/269.13	c   261s|240000 |  2043 |     0 |   0.0 |  21M|2115 |   - |2667 |8942 |   0 |   0 |   0 | 115k|   0 | 2.000000e+00 | 1.900000e+01 | 850.00%
281.80/281.97	c   274s|250000 |  2037 |     0 |   0.0 |  21M|2115 |   - |2667 |8949 |   0 |   0 |   0 | 121k|   0 | 2.000000e+00 | 1.900000e+01 | 850.00%
294.70/294.82	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
294.70/294.82	c   287s|260000 |  2032 |     0 |   0.0 |  21M|2115 |   - |2667 |8943 |   0 |   0 |   0 | 126k|   0 | 2.000000e+00 | 1.900000e+01 | 850.00%
307.39/307.59	c   299s|270000 |  2036 |     0 |   0.0 |  21M|2115 |   - |2667 |8946 |   0 |   0 |   0 | 132k|   0 | 2.000000e+00 | 1.900000e+01 | 850.00%
320.00/320.17	c   311s|280000 |  2031 |     0 |   0.0 |  21M|2115 |   - |2667 |8944 |   0 |   0 |   0 | 137k|   0 | 2.000000e+00 | 1.900000e+01 | 850.00%
333.09/333.22	c   324s|290000 |  2046 |     0 |   0.0 |  21M|2115 |   - |2667 |8941 |   0 |   0 |   0 | 142k|   0 | 2.000000e+00 | 1.900000e+01 | 850.00%
346.29/346.45	c   337s|300000 |  2041 |     0 |   0.0 |  21M|2115 |   - |2667 |8949 |   0 |   0 |   0 | 148k|   0 | 2.000000e+00 | 1.900000e+01 | 850.00%
359.67/359.83	c   350s|310000 |  2041 |     0 |   0.0 |  21M|2115 |   - |2667 |8949 |   0 |   0 |   0 | 153k|   0 | 2.000000e+00 | 1.900000e+01 | 850.00%
372.68/372.89	c   363s|320000 |  2034 |     0 |   0.0 |  21M|2115 |   - |2667 |8954 |   0 |   0 |   0 | 158k|   0 | 2.000000e+00 | 1.900000e+01 | 850.00%
385.65/385.83	c   375s|330000 |  2043 |     0 |   0.0 |  21M|2115 |   - |2667 |8963 |   0 |   0 |   0 | 163k|   0 | 2.000000e+00 | 1.900000e+01 | 850.00%
387.06/387.22	o 18
387.06/387.22	c * 377s|331119 |  2044 |     0 |   0.0 |  21M|2115 |   - |2667 |8934 |   0 |   0 |   0 | 164k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
398.75/398.90	c   388s|340000 |  2031 |     0 |   0.0 |  21M|2115 |   - |2667 |8947 |   0 |   0 |   0 | 169k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
411.84/412.00	c   401s|350000 |  2031 |     0 |   0.0 |  21M|2115 |   - |2667 |8939 |   0 |   0 |   0 | 175k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
425.24/425.48	c   414s|360000 |  2029 |     0 |   0.0 |  21M|2115 |   - |2667 |8953 |   0 |   0 |   0 | 180k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
437.83/438.08	c   426s|370000 |  2034 |     0 |   0.0 |  21M|2115 |   - |2667 |8938 |   0 |   0 |   0 | 186k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
451.23/451.42	c   439s|380000 |  2027 |     0 |   0.0 |  21M|2115 |   - |2667 |8947 |   0 |   0 |   0 | 191k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
463.42/463.64	c   451s|390000 |  2039 |     0 |   0.0 |  21M|2115 |   - |2667 |8950 |   0 |   0 |   0 | 196k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
476.72/476.93	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
476.72/476.93	c   464s|400000 |  2036 |     0 |   0.0 |  21M|2115 |   - |2667 |8960 |   0 |   0 |   0 | 201k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
489.82/490.04	c   477s|410000 |  2039 |     0 |   0.0 |  21M|2115 |   - |2667 |8950 |   0 |   0 |   0 | 206k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
502.81/503.00	c   489s|420000 |  2038 |     0 |   0.0 |  21M|2115 |   - |2667 |8944 |   0 |   0 |   0 | 210k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
516.51/516.73	c   503s|430000 |  2049 |     0 |   0.0 |  21M|2115 |   - |2667 |8943 |   0 |   0 |   0 | 215k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
530.10/530.33	c   516s|440000 |  2028 |     0 |   0.0 |  21M|2115 |   - |2667 |8949 |   0 |   0 |   0 | 221k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
543.70/543.97	c   529s|450000 |  2032 |     0 |   0.0 |  21M|2115 |   - |2667 |8941 |   0 |   0 |   0 | 226k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
556.59/556.82	c   542s|460000 |  2024 |     0 |   0.0 |  21M|2115 |   - |2667 |8937 |   0 |   0 |   0 | 232k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
569.19/569.48	c   554s|470000 |  2025 |     0 |   0.0 |  21M|2115 |   - |2667 |8936 |   0 |   0 |   0 | 237k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
581.79/582.08	c   567s|480000 |  2025 |     0 |   0.0 |  21M|2115 |   - |2667 |8932 |   0 |   0 |   0 | 242k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
594.49/594.75	c   579s|490000 |  2031 |     0 |   0.0 |  21M|2115 |   - |2667 |8932 |   0 |   0 |   0 | 248k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
607.48/607.74	c   592s|500000 |  2021 |     0 |   0.0 |  21M|2115 |   - |2667 |8925 |   0 |   0 |   0 | 253k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
619.87/620.17	c   604s|510000 |  2017 |     0 |   0.0 |  21M|2115 |   - |2667 |8943 |   0 |   0 |   0 | 258k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
632.57/632.80	c   616s|520000 |  2030 |     0 |   0.0 |  21M|2115 |   - |2667 |8936 |   0 |   0 |   0 | 264k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
645.57/645.89	c   629s|530000 |  2021 |     0 |   0.0 |  21M|2115 |   - |2667 |8928 |   0 |   0 |   0 | 269k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
657.96/658.27	c   641s|540000 |  2017 |     0 |   0.0 |  21M|2115 |   - |2667 |8941 |   0 |   0 |   0 | 274k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
672.16/672.42	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
672.16/672.42	c   655s|550000 |  2028 |     0 |   0.0 |  21M|2115 |   - |2667 |8939 |   0 |   0 |   0 | 280k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
686.06/686.34	c   668s|560000 |  2018 |     0 |   0.0 |  21M|2115 |   - |2667 |8937 |   0 |   0 |   0 | 285k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
699.75/700.05	c   682s|570000 |  2019 |     0 |   0.0 |  21M|2115 |   - |2667 |8934 |   0 |   0 |   0 | 290k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
713.25/713.53	c   695s|580000 |  2026 |     0 |   0.0 |  21M|2115 |   - |2667 |8939 |   0 |   0 |   0 | 296k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
727.55/727.88	c   709s|590000 |  2020 |     0 |   0.0 |  21M|2115 |   - |2667 |8943 |   0 |   0 |   0 | 301k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
741.94/742.27	c   723s|600000 |  2016 |     0 |   0.0 |  21M|2115 |   - |2667 |8931 |   0 |   0 |   0 | 306k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
756.23/756.56	c   737s|610000 |  2020 |     0 |   0.0 |  21M|2115 |   - |2667 |8922 |   0 |   0 |   0 | 312k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
770.63/770.92	c   751s|620000 |  2014 |     0 |   0.0 |  21M|2115 |   - |2667 |8938 |   0 |   0 |   0 | 317k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
784.72/785.04	c   765s|630000 |  2016 |     0 |   0.0 |  21M|2115 |   - |2667 |8937 |   0 |   0 |   0 | 322k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
798.72/799.05	c   778s|640000 |  2014 |     0 |   0.0 |  21M|2115 |   - |2667 |8930 |   0 |   0 |   0 | 327k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
812.91/813.26	c   792s|650000 |  2014 |     0 |   0.0 |  21M|2115 |   - |2667 |8930 |   0 |   0 |   0 | 333k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
826.10/826.48	c   805s|660000 |  2017 |     0 |   0.0 |  21M|2115 |   - |2667 |8929 |   0 |   0 |   0 | 338k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
840.71/841.03	c   819s|670000 |  2034 |     0 |   0.0 |  21M|2115 |   - |2667 |8939 |   0 |   0 |   0 | 343k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
854.59/854.92	c   833s|680000 |  2011 |     0 |   0.0 |  21M|2115 |   - |2667 |8940 |   0 |   0 |   0 | 349k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
869.29/869.65	c   847s|690000 |  2018 |     0 |   0.0 |  21M|2115 |   - |2667 |8922 |   0 |   0 |   0 | 354k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
883.49/883.84	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
883.49/883.84	c   861s|700000 |  2025 |     0 |   0.0 |  21M|2115 |   - |2667 |8934 |   0 |   0 |   0 | 360k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
897.69/898.00	c   875s|710000 |  2036 |     0 |   0.0 |  21M|2115 |   - |2667 |8927 |   0 |   0 |   0 | 365k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
912.18/912.59	c   889s|720000 |  2017 |     0 |   0.0 |  21M|2115 |   - |2667 |8927 |   0 |   0 |   0 | 371k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
925.67/926.07	c   902s|730000 |  2036 |     0 |   0.0 |  21M|2115 |   - |2667 |8945 |   0 |   0 |   0 | 376k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
939.87/940.28	c   916s|740000 |  2039 |     0 |   0.0 |  21M|2115 |   - |2667 |8934 |   0 |   0 |   0 | 381k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
953.37/953.71	c   929s|750000 |  2018 |     0 |   0.0 |  21M|2115 |   - |2667 |8942 |   0 |   0 |   0 | 386k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
966.57/966.99	c   942s|760000 |  2028 |     0 |   0.0 |  21M|2115 |   - |2667 |8936 |   0 |   0 |   0 | 391k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
979.86/980.29	c   955s|770000 |  2030 |     0 |   0.0 |  21M|2115 |   - |2667 |8933 |   0 |   0 |   0 | 397k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
992.75/993.10	c   968s|780000 |  2020 |     0 |   0.0 |  21M|2115 |   - |2667 |8936 |   0 |   0 |   0 | 402k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
1006.85/1007.26	c   982s|790000 |  2025 |     0 |   0.0 |  21M|2115 |   - |2667 |8941 |   0 |   0 |   0 | 407k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
1020.55/1020.92	c   995s|800000 |  2024 |     0 |   0.0 |  21M|2115 |   - |2667 |8939 |   0 |   0 |   0 | 412k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
1034.65/1035.05	c  1009s|810000 |  2013 |     0 |   0.0 |  21M|2115 |   - |2667 |8937 |   0 |   0 |   0 | 418k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
1048.94/1049.38	c  1023s|820000 |  2017 |     0 |   0.0 |  21M|2115 |   - |2667 |8951 |   0 |   0 |   0 | 423k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
1063.13/1063.54	c  1037s|830000 |  2032 |     0 |   0.0 |  21M|2115 |   - |2667 |8949 |   0 |   0 |   0 | 428k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
1077.42/1077.87	c  1050s|840000 |  2019 |     0 |   0.0 |  21M|2115 |   - |2667 |8943 |   0 |   0 |   0 | 433k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
1091.43/1091.86	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1091.43/1091.86	c  1064s|850000 |  2012 |     0 |   0.0 |  21M|2115 |   - |2667 |8944 |   0 |   0 |   0 | 439k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
1106.82/1107.22	c  1079s|860000 |  2016 |     0 |   0.0 |  21M|2115 |   - |2667 |8968 |   0 |   0 |   0 | 444k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
1121.32/1121.75	c  1093s|870000 |  2043 |     0 |   0.0 |  21M|2115 |   - |2667 |8937 |   0 |   0 |   0 | 450k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
1135.92/1136.32	c  1107s|880000 |  2030 |     0 |   0.0 |  21M|2115 |   - |2667 |8959 |   0 |   0 |   0 | 455k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
1149.81/1150.24	c  1121s|890000 |  2012 |     0 |   0.0 |  21M|2115 |   - |2667 |8925 |   0 |   0 |   0 | 461k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
1164.20/1164.67	c  1135s|900000 |  2015 |     0 |   0.0 |  21M|2115 |   - |2667 |8934 |   0 |   0 |   0 | 466k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
1178.40/1178.81	c  1149s|910000 |  2029 |     0 |   0.0 |  21M|2115 |   - |2667 |8932 |   0 |   0 |   0 | 471k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
1192.99/1193.41	c  1163s|920000 |  2014 |     0 |   0.0 |  21M|2115 |   - |2667 |8928 |   0 |   0 |   0 | 477k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
1206.48/1206.91	c  1176s|930000 |  2016 |     0 |   0.0 |  21M|2115 |   - |2667 |8924 |   0 |   0 |   0 | 482k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
1220.98/1221.44	c  1191s|940000 |  2010 |     0 |   0.0 |  21M|2115 |   - |2667 |8934 |   0 |   0 |   0 | 488k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
1235.89/1236.35	c  1205s|950000 |  2020 |     0 |   0.0 |  21M|2115 |   - |2667 |8934 |   0 |   0 |   0 | 493k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
1250.38/1250.86	c  1219s|960000 |  2011 |     0 |   0.0 |  21M|2115 |   - |2667 |8944 |   0 |   0 |   0 | 499k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
1265.17/1265.60	c  1234s|970000 |  2020 |     0 |   0.0 |  21M|2115 |   - |2667 |8929 |   0 |   0 |   0 | 504k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
1279.66/1280.19	c  1248s|980000 |  2030 |     0 |   0.0 |  21M|2115 |   - |2667 |8928 |   0 |   0 |   0 | 509k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
1293.75/1294.27	c  1262s|990000 |  2013 |     0 |   0.0 |  21M|2115 |   - |2667 |8932 |   0 |   0 |   0 | 515k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
1307.85/1308.40	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1307.85/1308.40	c  1276s|  1000k|  2025 |     0 |   0.0 |  21M|2115 |   - |2667 |8947 |   0 |   0 |   0 | 520k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
1321.95/1322.45	c  1289s|  1010k|  2009 |     0 |   0.0 |  21M|2115 |   - |2667 |8936 |   0 |   0 |   0 | 525k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
1336.34/1336.90	c  1303s|  1020k|  2005 |     0 |   0.0 |  21M|2115 |   - |2667 |8942 |   0 |   0 |   0 | 531k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
1350.64/1351.14	c  1317s|  1030k|  2011 |     0 |   0.0 |  21M|2115 |   - |2667 |8937 |   0 |   0 |   0 | 536k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
1365.93/1366.43	c  1332s|  1040k|  2026 |     0 |   0.0 |  21M|2115 |   - |2667 |8938 |   0 |   0 |   0 | 542k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
1380.13/1380.69	c  1346s|  1050k|  2011 |     0 |   0.0 |  21M|2115 |   - |2667 |8940 |   0 |   0 |   0 | 547k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
1394.93/1395.41	c  1361s|  1060k|  2011 |     0 |   0.0 |  21M|2115 |   - |2667 |8941 |   0 |   0 |   0 | 552k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
1409.82/1410.32	c  1375s|  1070k|  2007 |     0 |   0.0 |  21M|2115 |   - |2667 |8942 |   0 |   0 |   0 | 558k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
1424.21/1424.70	c  1389s|  1080k|  2004 |     0 |   0.0 |  21M|2115 |   - |2667 |8941 |   0 |   0 |   0 | 563k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
1439.21/1439.74	c  1404s|  1090k|  2044 |     0 |   0.0 |  21M|2115 |   - |2667 |8921 |   0 |   0 |   0 | 569k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
1453.80/1454.38	c  1418s|  1100k|  2041 |     0 |   0.0 |  21M|2115 |   - |2667 |8926 |   0 |   0 |   0 | 574k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
1467.91/1468.40	c  1432s|  1110k|  2006 |     0 |   0.0 |  21M|2115 |   - |2667 |8936 |   0 |   0 |   0 | 580k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
1482.39/1482.92	c  1446s|  1120k|  2009 |     0 |   0.0 |  21M|2115 |   - |2667 |8931 |   0 |   0 |   0 | 585k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
1496.99/1497.56	c  1460s|  1130k|  2003 |     0 |   0.0 |  21M|2115 |   - |2667 |8940 |   0 |   0 |   0 | 590k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
1511.58/1512.13	c  1475s|  1140k|  2022 |     0 |   0.0 |  21M|2115 |   - |2667 |8917 |   0 |   0 |   0 | 596k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
1525.89/1526.48	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1525.89/1526.48	c  1489s|  1150k|  2029 |     0 |   0.0 |  21M|2115 |   - |2667 |8933 |   0 |   0 |   0 | 601k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
1540.07/1540.66	c  1502s|  1160k|  2014 |     0 |   0.0 |  21M|2115 |   - |2667 |8934 |   0 |   0 |   0 | 607k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
1554.88/1555.43	c  1517s|  1170k|  2007 |     0 |   0.0 |  21M|2115 |   - |2667 |8939 |   0 |   0 |   0 | 612k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
1569.18/1569.76	c  1531s|  1180k|  2014 |     0 |   0.0 |  21M|2115 |   - |2667 |8934 |   0 |   0 |   0 | 618k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
1584.87/1585.42	c  1546s|  1190k|  2015 |     0 |   0.0 |  21M|2115 |   - |2667 |8937 |   0 |   0 |   0 | 623k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
1599.96/1600.57	c  1561s|  1200k|  2024 |     0 |   0.0 |  21M|2115 |   - |2667 |8938 |   0 |   0 |   0 | 629k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
1614.96/1615.55	c  1576s|  1210k|  2002 |     0 |   0.0 |  21M|2115 |   - |2667 |8937 |   0 |   0 |   0 | 634k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
1629.45/1630.07	c  1590s|  1220k|  2010 |     0 |   0.0 |  21M|2115 |   - |2667 |8921 |   0 |   0 |   0 | 640k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
1643.95/1644.53	c  1604s|  1230k|  2009 |     0 |   0.0 |  21M|2115 |   - |2667 |8932 |   0 |   0 |   0 | 645k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
1659.13/1659.78	c  1619s|  1240k|  2005 |     0 |   0.0 |  21M|2115 |   - |2667 |8934 |   0 |   0 |   0 | 651k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
1674.74/1675.33	c  1634s|  1250k|  2016 |     0 |   0.0 |  21M|2115 |   - |2667 |8940 |   0 |   0 |   0 | 656k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
1688.73/1689.35	c  1648s|  1260k|  2013 |     0 |   0.0 |  21M|2115 |   - |2667 |8941 |   0 |   0 |   0 | 662k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
1703.02/1703.61	c  1662s|  1270k|  2003 |     0 |   0.0 |  21M|2115 |   - |2667 |8946 |   0 |   0 |   0 | 668k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
1718.52/1719.15	c  1677s|  1280k|  2009 |     0 |   0.0 |  21M|2115 |   - |2667 |8924 |   0 |   0 |   0 | 673k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
1733.02/1733.67	c  1691s|  1290k|  2029 |     0 |   0.0 |  21M|2115 |   - |2667 |8923 |   0 |   0 |   0 | 679k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
1748.01/1748.64	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1748.01/1748.64	c  1706s|  1300k|  2015 |     0 |   0.0 |  21M|2115 |   - |2667 |8927 |   0 |   0 |   0 | 685k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
1762.61/1763.26	c  1720s|  1310k|  2006 |     0 |   0.0 |  21M|2115 |   - |2667 |8932 |   0 |   0 |   0 | 690k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
1777.80/1778.47	c  1735s|  1320k|  2025 |     0 |   0.0 |  21M|2115 |   - |2667 |8927 |   0 |   0 |   0 | 696k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
1792.69/1793.32	c  1749s|  1330k|  2023 |     0 |   0.0 |  21M|2115 |   - |2667 |8929 |   0 |   0 |   0 | 701k|   0 | 2.000000e+00 | 1.800000e+01 | 800.00%
1800.00/1800.61	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.00/1800.61	c 
1800.00/1800.61	c SCIP Status        : solving was interrupted [user interrupt]
1800.00/1800.61	c Solving Time (sec) : 1756.41
1800.00/1800.61	c Solving Nodes      : 1334871
1800.00/1800.61	c Primal Bound       : +1.80000000000000e+01 (5 solutions)
1800.00/1800.61	c Dual Bound         : +2.00000000000000e+00
1800.00/1800.61	c Gap                : 800.00 %
1800.00/1800.63	s SATISFIABLE
1800.00/1800.63	v x302 x301 x300 x299 x298 x297 x296 x295 x294 x293 x292 -x291 x290 x289 -x288 x287 x286 x285 x284 -x283 -x282 -x281 x280 -x5536 
1800.00/1800.63	v -x5534 x279 x278 x277 x276 x275 x274 -x273 x272 -x271 x270 -x269 -x268 x267 -x266 -x265 -x5532 -x5530 -x5527 x264 x263 x262 x261 
1800.00/1800.63	v x260 x259 -x258 -x257 -x5525 -x5523 -x5521 -x5519 -x5517 x256 -x255 x254 -x5515 -x5513 -x5511 -x253 x252 -x5509 -x5507 -x5505 
1800.00/1800.63	v -x5503 x251 x250 x249 -x248 -x247 x246 -x245 -x244 -x5501 -x243 x242 -x241 x240 -x239 -x238 -x237 -x236 -x5499 -x5497 -x5495 
1800.00/1800.63	v -x235 -x234 -x233 -x232 x231 x230 -x229 -x228 -x5493 -x5491 -x5489 -x5487 -x5485 -x5483 x227 -x226 -x225 -x224 -x5481 -x5479 
1800.00/1800.63	v -x5477 -x223 -x5475 -x222 -x5473 -x5471 -x5469 -x5467 -x5465 -x5463 -x221 -x5461 -x5459 -x5457 -x5455 -x5453 -x5451 -x5449 
1800.00/1800.63	v -x5447 -x5445 -x5443 -x220 -x5441 -x5439 -x5437 -x5435 -x5433 -x5431 -x5429 -x5427 -x5425 -x5423 -x5421 -x5419 -x5417 -x5415 
1800.00/1800.63	v -x5413 -x5411 -x5409 -x5407 -x5405 -x5403 -x5401 -x5399 -x5397 -x5395 -x5393 -x5391 -x5389 -x5387 -x5385 -x5383 -x5381 -x5379 
1800.00/1800.63	v -x5377 -x5375 -x5373 -x5371 -x219 -x5369 x218 x217 -x216 -x215 -x214 x213 -x212 -x5367 -x5365 -x5363 -x5361 -x5359 x211 -x210 
1800.00/1800.63	v -x209 -x5357 -x208 -x5355 -x5353 -x207 -x5351 -x5349 x206 -x5347 -x5345 -x5343 -x5341 -x5339 -x5337 -x5335 -x5333 -x5331 
1800.00/1800.63	v -x5329 -x205 -x5327 -x5325 -x5323 -x5321 -x5319 -x5317 -x204 -x5315 -x5313 -x5311 -x5309 -x5307 -x5305 -x5303 -x5301 -x5299 
1800.00/1800.63	v -x5297 -x5295 -x5293 -x5291 -x5289 -x5287 -x5285 -x5282 -x5280 -x5278 -x5276 -x5274 -x5272 -x5270 -x5268 -x5266 -x5264 -x5262 
1800.00/1800.63	v -x5260 -x5258 -x5256 -x5254 -x5252 -x5250 -x5248 -x5246 -x5244 -x5242 -x5240 -x5238 -x5236 -x203 -x5234 -x202 -x5231 x201 -x5229 
1800.00/1800.63	v -x5227 -x5225 -x5223 -x5221 -x5219 -x5217 -x200 -x5215 -x5213 -x199 -x5211 -x5209 -x5207 -x5205 -x5203 -x5201 -x5199 -x5197 
1800.00/1800.63	v -x198 -x5195 -x5193 -x5191 -x5189 -x5187 -x5185 -x5183 -x5181 -x5179 -x5177 -x5175 -x197 -x5173 -x5171 -x5169 -x5167 -x5165 
1800.00/1800.63	v -x5163 -x5161 -x5159 -x5157 -x5155 -x5153 -x5151 -x5149 -x5147 -x5145 -x5143 -x5141 -x5139 -x5137 -x5135 -x5133 -x5131 -x5129 
1800.00/1800.63	v -x5127 -x5125 -x5123 -x5121 -x5119 -x5117 -x5115 -x5113 -x5111 -x5109 -x5107 -x5105 -x5103 -x5101 -x5099 -x5097 -x196 -x5095 
1800.00/1800.63	v -x5093 -x5091 -x195 -x5089 -x5087 -x5085 -x5083 -x5081 -x5079 -x5077 -x5075 -x5073 -x5071 -x5069 x194 -x5067 -x5065 -x5063 
1800.00/1800.63	v -x5061 -x5059 -x5057 -x5055 -x5053 -x5051 -x5049 -x5047 -x5044 -x193 -x5042 -x5040 -x5038 -x5036 -x5034 -x5032 -x5030 -x5028 
1800.00/1800.63	v -x5026 -x5024 -x5022 -x5020 -x5018 -x5015 -x5013 -x5011 -x5009 -x5007 -x5005 -x5003 -x5001 -x4999 -x4997 -x4995 -x4993 -x4991 
1800.00/1800.63	v -x4989 -x4987 -x4985 -x4983 -x4981 -x4979 -x4977 -x4975 -x4973 -x4971 -x4969 -x4967 -x4965 -x4963 -x4961 -x4959 -x4957 -x192 
1800.00/1800.63	v x191 x190 -x189 -x188 x187 -x186 x185 -x4955 -x4953 -x4951 -x184 x183 -x182 -x181 -x180 -x179 -x178 -x4949 -x177 -x4947 -x4945 
1800.00/1800.63	v -x4943 -x4941 -x4939 -x4937 -x4935 -x4933 -x4931 -x4929 -x4927 -x4925 -x4923 -x176 -x4921 x175 -x174 -x173 -x4919 -x172 
1800.00/1800.63	v -x4917 -x171 -x170 -x4914 -x4912 -x4910 -x4908 -x4906 -x4903 -x4901 -x169 -x168 -x167 -x166 -x4899 x165 x164 -x163 -x4897 -x162 
1800.00/1800.63	v -x4895 -x4893 -x4891 -x4889 -x4887 -x4885 -x4883 -x4881 -x4879 -x4877 -x4875 -x4873 x4871 -x4869 -x161 -x160 -x4867 -x4865 
1800.00/1800.63	v -x159 -x4863 -x4861 -x4859 -x4857 -x4855 -x4853 -x4851 -x4849 -x158 -x4847 -x4845 -x157 -x4843 -x4841 -x4839 -x4837 -x4835 -x4833 
1800.00/1800.63	v -x4831 -x4829 -x4827 -x4825 -x156 -x4823 -x4821 -x4819 -x4817 -x4815 -x4813 -x4811 -x4809 -x4807 -x4805 -x4803 -x4801 -x4799 
1800.00/1800.63	v -x4797 -x4795 -x4793 -x4791 -x4789 x155 -x4787 -x4785 -x4783 -x4781 -x4779 -x4777 -x4775 -x4773 -x4771 -x4769 -x4767 -x4765 
1800.00/1800.63	v -x4763 -x4761 -x4759 -x4757 -x4755 -x4753 -x4751 -x4749 -x4747 -x4745 -x4743 -x4741 -x4739 -x4737 -x4735 -x4733 -x4731 -x4729 
1800.00/1800.63	v -x4727 -x4725 -x4723 -x4721 -x4719 -x4717 -x4715 -x4713 -x4711 -x4709 -x4707 -x4705 -x4703 -x4701 -x4699 -x4697 -x4695 
1800.00/1800.63	v -x4693 -x4691 -x4689 -x154 -x4687 x153 x152 x151 -x4685 -x4683 x150 -x149 -x4681 -x4679 -x4677 x148 -x4675 -x4673 -x147 -x4671 
1800.00/1800.63	v -x4669 -x4667 -x4665 -x4663 -x4661 -x4659 -x4657 -x4655 -x4653 -x4651 -x4649 -x4647 -x4645 -x4643 -x4641 -x146 -x145 x144 -x4639 
1800.00/1800.63	v -x4637 -x143 -x4634 -x4632 -x4630 -x4628 -x4626 -x4624 -x4622 -x4620 -x4618 -x4616 -x4614 -x142 -x4612 -x4610 -x4608 -x4606 
1800.00/1800.63	v -x4604 -x4602 -x4600 -x4598 -x4596 -x4594 -x4592 -x4590 -x4588 -x4586 -x4584 -x4582 -x4580 x141 -x4578 -x4576 -x4574 -x4572 
1800.00/1800.63	v -x4570 -x4568 -x4566 -x4564 -x4562 -x4560 -x4558 -x4556 -x4554 -x4552 -x4550 -x4548 -x4546 -x4544 -x140 -x4542 -x4540 -x4538 
1800.00/1800.63	v -x4536 -x4534 -x4532 -x4530 -x4528 -x4526 -x4524 -x4522 -x4520 -x4518 -x4516 -x4514 -x4512 -x4510 -x4508 -x4506 -x4504 -x4502 
1800.00/1800.63	v -x4500 -x4498 -x4496 -x4494 -x4492 -x4490 -x4488 -x4486 -x4484 -x4482 -x4480 -x4478 -x4476 -x4474 -x4472 -x4470 -x4468 -x4466 
1800.00/1800.63	v -x4464 -x4462 -x4460 -x4458 -x4456 -x4454 -x4452 -x4450 -x4447 -x4445 -x139 -x4443 -x138 -x4441 -x4439 -x4437 -x4435 -x4433 
1800.00/1800.63	v -x4431 -x137 -x4429 -x4427 -x4425 -x4423 -x4421 x4419 x136 -x4416 x135 -x4414 -x4412 -x4410 -x4408 -x4405 -x4403 -x4401 
1800.00/1800.63	v -x4399 -x4397 -x4395 -x4393 -x4391 -x4389 -x4387 -x4384 -x4382 -x4380 -x4378 -x4376 -x134 -x4374 -x4372 -x4370 -x133 -x4368 -x4366 
1800.00/1800.63	v -x4364 -x4362 -x4360 -x4358 -x4356 -x4354 -x4352 -x4349 -x4347 -x4345 -x4343 -x4341 -x4339 -x4337 -x4335 -x4333 -x4331 
1800.00/1800.63	v -x4329 -x132 -x4327 -x4325 -x4323 -x4321 -x4319 -x4317 -x4315 -x4313 -x4311 -x4308 -x4306 -x4304 -x4302 -x131 -x4300 -x4298 -x4296 
1800.00/1800.63	v -x4293 -x4291 -x4289 -x4287 -x4285 -x4283 -x4281 -x4279 -x4277 -x4275 -x4273 -x4271 -x4269 -x4267 -x4265 -x4263 -x4261 
1800.00/1800.63	v -x4259 -x4257 -x4255 -x4253 -x4251 -x4249 -x4247 -x4245 -x4243 -x4241 -x4239 -x4237 -x4235 -x4233 -x4231 -x4229 -x4227 -x4225 
1800.00/1800.63	v -x4223 -x4221 -x4219 -x4217 -x4215 -x4213 -x4211 -x4209 -x4207 -x4205 -x4203 -x4201 -x4199 -x4197 -x130 -x4195 -x4193 -x4191 
1800.00/1800.63	v -x4189 -x4187 -x4185 -x4183 -x129 -x4181 -x4178 -x4176 -x4174 -x4172 -x4170 -x4168 -x4166 -x4164 -x4162 -x4159 -x4157 -x4155 
1800.00/1800.63	v -x4153 -x4151 -x4149 -x4147 -x4145 -x4143 -x4141 -x4139 -x128 -x4137 -x4135 -x4133 -x4131 -x4129 -x4127 -x4125 -x4123 -x4121 
1800.00/1800.63	v -x4119 -x4117 -x4115 -x4113 -x4111 -x4109 -x4107 -x4105 -x4103 -x127 -x4099 -x4097 -x4095 -x4092 -x4090 -x4088 -x4086 -x4084 
1800.00/1800.63	v -x4082 -x4080 -x4078 -x4076 -x4074 -x4072 -x4070 -x4068 -x4066 -x4064 -x4062 -x4060 -x4058 -x4056 -x4054 -x4052 -x4050 -x4048 
1800.00/1800.63	v -x4046 -x4044 -x4042 -x4040 -x4038 -x4036 -x4034 -x4032 -x4030 -x4028 -x4026 -x4024 -x4022 -x4020 -x4018 -x4016 -x4014 -x4012 
1800.00/1800.63	v -x4010 -x4007 -x4005 -x4003 -x4001 -x3999 -x126 -x3997 -x3995 -x3993 -x3991 -x3989 -x3987 -x3985 -x3983 -x3981 -x3979 -x3977 
1800.00/1800.63	v -x3975 -x3973 -x3971 -x3969 -x3967 -x3965 -x3963 -x3961 -x3959 -x3957 -x3955 -x125 -x3953 -x3951 -x3949 -x3947 -x3945 -x3943 
1800.00/1800.63	v -x3941 -x3939 -x3937 -x3935 -x3933 -x3931 -x3929 -x3927 -x3925 -x3923 -x3921 -x3919 -x3917 -x3915 -x3913 -x3911 -x3909 -x3907 
1800.00/1800.63	v -x3905 -x3903 -x3901 -x3899 -x3897 -x3895 -x3893 -x3891 -x3889 -x3887 -x3885 -x3883 -x3881 -x3879 -x3877 -x3875 -x3873 -x3871 
1800.00/1800.63	v -x3869 -x3867 -x3865 -x3863 -x3861 -x3859 -x3857 -x3855 -x3853 -x3851 -x3849 -x3847 -x3845 -x124 -x3843 -x3841 -x3839 -x3837 
1800.00/1800.63	v -x3835 -x3833 -x3831 -x3829 -x3827 -x3825 -x3823 -x3821 -x3819 -x3817 -x3815 -x3813 -x3811 -x3809 -x3805 -x3803 -x3801 -x3799 
1800.00/1800.63	v -x3797 -x3795 -x3793 -x3791 -x3789 -x3787 -x3785 -x3783 -x3781 -x3779 -x3777 -x3775 -x3773 -x3771 -x3769 -x3767 -x3765 
1800.00/1800.63	v -x3763 -x3761 -x3759 -x3757 -x3755 -x3753 -x3751 -x3749 -x3747 -x3745 -x3743 -x3741 -x3739 -x3737 -x3735 -x3733 -x123 -x3731 
1800.00/1800.63	v -x3729 -x3727 -x3725 -x3723 x3721 -x3719 -x3717 -x3715 -x3713 -x3711 -x3709 -x3707 -x3705 -x3703 -x3701 -x3699 -x3697 -x3695 
1800.00/1800.63	v -x3693 -x3691 -x3689 -x3687 -x3685 -x3683 -x3681 -x3679 -x3677 -x3675 -x3673 -x3671 -x3669 -x3667 -x3665 -x3663 -x3661 -x3659 
1800.00/1800.63	v -x3657 -x3655 -x3653 -x3651 -x3649 -x3647 -x3645 -x3643 -x3641 -x3639 -x3637 -x3635 -x3633 -x3631 -x3629 -x3627 -x3625 -x3623 
1800.00/1800.63	v -x3621 -x3619 -x3617 -x3615 -x3613 -x3611 -x3609 -x3607 -x3605 -x3603 -x3601 -x3599 -x3597 -x3595 -x3593 -x3591 -x3589 -x3587 
1800.00/1800.63	v -x3585 -x3583 -x3581 -x3579 -x3577 -x3575 -x3573 -x3571 -x3569 -x3567 -x3565 -x3563 -x3561 -x3559 -x3557 -x3555 -x3553 -x3551 
1800.00/1800.63	v -x3549 -x3547 -x3545 -x3543 -x3541 -x3538 -x3536 -x3534 -x3532 -x3529 -x3527 -x3525 -x3523 -x3521 -x3519 -x3517 -x3515 -x3513 
1800.00/1800.64	v -x3511 -x3509 -x3507 -x3505 -x3503 -x3501 -x3499 -x3497 -x3495 -x3493 -x3491 -x3489 -x3487 -x3485 -x3483 -x3481 x122 x121 
1800.00/1800.64	v -x120 -x3479 -x3477 -x119 x118 -x3475 -x117 -x3473 -x116 -x3471 -x3469 -x3467 -x3465 -x3463 -x115 -x3461 x114 -x113 x112 -x111 
1800.00/1800.64	v -x3459 -x3457 -x3455 -x3453 -x3451 -x110 -x3449 -x3447 -x3445 -x3443 -x109 x108 -x107 -x106 -x3440 -x3438 -x3436 -x105 -x104 
1800.00/1800.64	v -x3433 -x3431 -x3429 -x103 -x3427 -x3425 -x3423 -x102 -x3421 -x3419 -x3417 -x3415 -x3413 -x3411 -x3409 -x3407 -x3405 -x3403 
1800.00/1800.64	v -x3401 -x3399 -x3397 -x3395 -x3393 -x3391 -x101 -x3389 -x3386 -x100 -x3384 -x3382 -x3380 -x99 -x3378 -x98 -x3376 -x3374 -x3372 
1800.00/1800.64	v -x97 -x3370 -x3367 -x3365 -x3363 -x3361 -x3359 -x3357 -x3355 -x3353 -x3351 -x3349 -x3347 -x3345 -x3343 -x96 -x3341 x95 -x94 
1800.00/1800.64	v -x3337 x93 -x3335 -x3332 -x3330 -x3328 -x3326 -x92 -x3324 -x3321 -x3319 -x91 -x3317 -x3315 -x3313 -x90 -x3311 -x3309 -x89 
1800.00/1800.64	v -x3307 -x3305 -x3303 -x3301 -x3299 -x3297 -x3295 -x3293 -x3291 -x3289 -x3287 -x3285 -x3283 -x3281 -x3279 -x3277 -x88 -x3275 
1800.00/1800.64	v -x87 -x3272 -x3270 -x86 -x3268 -x3266 -x3264 -x85 -x3262 -x3259 -x3257 -x3255 -x3253 -x3251 -x3249 -x3247 -x3245 -x3243 -x3241 
1800.00/1800.64	v -x3239 -x3237 -x84 -x3235 x3233 -x3231 -x3229 x83 -x3227 -x3225 -x3223 -x3221 -x3219 -x3217 -x82 -x3215 -x3212 -x3210 -x3208 
1800.00/1800.64	v -x3206 -x3204 -x81 -x3202 -x3200 -x3198 -x3196 -x3194 -x3192 -x3190 -x3188 -x3186 -x3184 -x3182 -x3180 -x3178 -x3176 -x3174 
1800.00/1800.64	v -x3172 -x3170 -x3168 -x3166 -x3164 -x80 -x3162 -x3160 -x3158 -x3156 -x3154 -x3152 -x79 -x3150 -x3148 -x3146 -x3144 -x3142 -x3140 
1800.00/1800.64	v -x3138 -x3136 -x3134 -x3132 -x3130 -x3128 -x3126 -x3124 -x3122 -x3120 -x3118 -x3116 -x3114 -x3112 -x3110 -x78 -x3108 -x3106 
1800.00/1800.64	v -x3104 -x3102 -x3100 -x3098 -x3096 -x3094 -x3092 -x3090 -x3088 -x3086 -x3084 -x3082 -x3080 -x3078 -x3076 -x3074 -x3072 -x3070 
1800.00/1800.64	v -x3068 -x3066 -x3064 -x3062 -x3060 -x3058 -x3056 -x3054 -x3052 -x3050 -x3048 -x3046 -x3044 -x3042 -x3040 -x3038 -x3036 -x3034 
1800.00/1800.64	v -x3032 -x3030 -x3028 -x3026 -x3024 -x3022 -x3020 -x3018 -x3016 -x3014 -x3012 -x3010 -x3008 -x3006 -x3004 -x3001 -x2999 
1800.00/1800.64	v -x2997 -x2995 -x2993 -x2991 -x2989 -x2987 -x2985 -x2983 -x2981 -x2979 -x2977 -x2975 -x2973 -x2971 -x2969 -x2967 -x2965 -x2962 
1800.00/1800.64	v -x77 -x2960 -x2958 -x2956 -x2954 -x2952 -x2950 -x2948 -x2946 -x2944 -x2941 -x2939 -x2937 -x2935 -x2933 -x2931 -x2929 -x76 -x2927 
1800.00/1800.64	v -x2925 -x2923 -x2921 -x2919 -x2917 -x2915 -x2913 -x2911 -x2909 -x2907 -x2905 -x2903 -x2901 x2899 -x2897 -x2895 -x2893 -x2891 
1800.00/1800.64	v x75 -x2889 -x2887 -x2885 -x2883 -x2881 -x2879 -x2877 -x2875 -x2873 -x2871 -x2869 -x2867 -x2865 -x2863 -x2861 -x2859 -x2857 
1800.00/1800.64	v -x2855 -x2853 -x2851 -x2849 -x2847 -x2845 -x2843 -x2841 -x2839 -x2837 -x2835 -x2833 -x2831 -x2829 -x2827 -x2825 -x2823 -x2821 
1800.00/1800.64	v -x2819 -x2817 -x2815 -x2813 -x2811 -x2809 -x2807 -x2805 -x2803 -x2801 -x2799 -x2797 -x2795 -x74 -x2793 -x2791 -x73 -x2789 
1800.00/1800.64	v -x2787 -x2785 -x72 -x2783 -x2781 -x2779 -x71 -x2777 x2775 x70 -x2773 -x2771 -x2769 -x2767 -x2765 -x2763 -x2761 -x2759 -x69 -x2757 
1800.00/1800.64	v -x2755 -x2753 -x2751 -x2749 -x2747 -x2745 -x2743 -x68 -x2741 -x2739 -x67 -x2737 -x2735 -x2733 -x2731 -x2729 -x2727 -x66 
1800.00/1800.64	v -x2725 -x2723 -x2721 -x2719 -x2717 -x2715 -x2713 -x65 -x2711 -x2709 -x2707 -x2705 -x2703 -x2701 -x2699 -x2697 -x64 -x2695 -x2693 
1800.00/1800.64	v -x2691 -x2689 -x2687 -x2685 -x2683 -x2681 -x2679 -x2677 -x2675 -x2673 -x2671 -x2669 -x2667 -x2665 -x2663 -x2661 -x63 -x2659 
1800.00/1800.64	v -x2657 -x2655 -x2653 -x2651 -x2649 -x2647 -x2645 -x2643 -x2641 -x2639 -x2637 -x2635 -x2633 -x2631 -x2629 -x2627 -x2625 -x2623 
1800.00/1800.64	v -x2621 -x62 -x2619 -x2617 x61 -x2615 -x2613 -x2611 -x2609 -x2607 -x2605 -x2603 -x2601 -x60 -x2599 -x2597 -x2594 -x2592 -x2590 
1800.00/1800.64	v -x59 -x2588 -x2586 -x2584 -x2582 -x2580 -x2578 -x2576 -x2574 -x2572 -x2570 -x2568 -x2566 -x2564 -x2562 -x2560 -x2558 -x2556 
1800.00/1800.64	v -x2554 -x2552 -x58 -x2550 -x2548 -x2546 -x2544 -x2542 -x2540 -x2538 -x57 -x2535 -x2533 -x2531 -x2529 -x2527 -x2525 -x2523 
1800.00/1800.64	v -x2521 -x2519 -x2517 -x2515 -x2513 -x2511 -x2509 -x2507 -x2504 -x2502 -x2500 -x2498 -x56 -x2496 -x2494 -x2492 -x2490 -x2488 
1800.00/1800.64	v -x2486 -x2484 -x2482 -x2480 -x2478 -x2476 -x2474 -x2472 -x2469 -x2467 -x2465 -x2463 -x2461 -x2459 -x2457 -x55 -x2455 -x2453 
1800.00/1800.64	v -x2451 -x2449 -x2447 -x2445 -x2443 -x2441 -x2439 -x2437 -x2435 -x2433 -x2431 -x2429 -x2427 -x2425 -x2423 -x2421 -x2419 -x2417 
1800.00/1800.64	v -x2415 -x2413 -x2411 -x2409 -x2407 -x2405 -x2403 -x2401 -x2399 -x2397 -x2395 -x2393 -x2391 -x2389 -x2387 -x2385 -x2383 -x2381 
1800.00/1800.64	v -x2379 -x2377 -x2375 -x2373 -x2371 -x2369 -x2366 -x2364 -x2362 -x2360 -x2358 -x54 -x2356 -x2354 -x2352 -x2350 -x2348 -x53 -x2346 
1800.00/1800.64	v -x2344 -x2342 -x2340 -x2338 -x2336 -x2334 -x2332 -x2330 -x2328 -x2326 -x2324 -x2322 -x52 -x2320 -x2318 -x2316 -x2314 -x2312 
1800.00/1800.64	v -x2310 -x2308 -x2306 -x2304 -x2302 -x2300 -x2298 -x2296 -x51 -x2294 -x2292 -x2290 -x2288 -x2286 -x2284 -x2282 -x2280 -x2278 
1800.00/1800.64	v -x2276 -x2274 -x2272 -x2270 -x2268 -x2266 -x2264 -x2262 -x2260 -x2258 -x2256 -x2254 -x2252 -x2250 -x2248 -x50 -x2246 -x2244 
1800.00/1800.64	v -x2242 -x2240 -x2238 -x2236 -x2234 -x2232 -x2230 -x2228 -x2226 -x49 -x2224 -x2222 -x2220 -x2218 -x2216 -x2214 -x2212 -x2210 
1800.00/1800.64	v -x2208 -x2206 -x2204 -x2202 -x2200 -x2198 -x2196 -x2194 -x2192 -x2190 -x2188 -x2186 -x2184 -x2182 -x2180 -x2178 -x2176 -x2174 
1800.00/1800.64	v -x48 -x2172 -x2170 -x2168 -x2166 -x2164 -x2162 -x2160 -x2158 -x2156 -x2154 -x2152 -x2150 -x2148 -x2146 -x2144 -x2142 -x2140 
1800.00/1800.64	v -x2138 -x2136 -x2134 -x2132 -x2130 -x2128 -x2126 -x2124 -x47 -x2122 -x2120 -x2118 -x2116 -x2114 -x2112 -x2110 -x2108 -x2106 
1800.00/1800.64	v -x2104 -x2102 -x2100 -x2098 -x2096 -x2094 -x2092 -x2090 -x2088 -x2086 -x2084 -x2082 -x2080 -x2078 -x2076 -x2074 -x2072 -x2070 
1800.00/1800.64	v -x2068 -x2066 -x2064 -x2062 -x2060 -x2058 -x2056 -x2054 -x2052 -x2050 -x2048 -x2046 -x2044 -x2042 -x2040 -x2038 -x2036 -x2034 
1800.00/1800.64	v -x2032 -x2030 -x2028 -x2026 -x2024 -x2022 -x2020 -x46 -x2018 -x2015 -x2013 -x2011 -x2009 -x2007 -x2005 -x2003 -x2001 -x1999 
1800.00/1800.64	v -x1997 -x1995 -x1993 -x45 -x1991 -x1989 -x1987 -x1985 -x1983 -x1981 -x1979 -x1977 -x1975 -x1973 -x1971 -x1969 -x1967 -x1965 
1800.00/1800.64	v -x1963 -x1961 -x1959 -x1957 -x1955 -x1953 -x1951 -x1949 -x1947 -x1945 -x1943 -x1941 -x1939 -x1937 -x1935 -x44 -x1933 -x1931 
1800.00/1800.64	v -x1929 -x1927 -x1925 -x1923 -x1921 -x1919 -x1917 -x1915 -x1913 -x1911 -x1909 -x1907 -x1905 -x1903 -x1901 -x1899 -x1897 -x1895 
1800.00/1800.64	v -x1893 -x1891 -x1889 -x1887 -x1885 -x1883 -x1881 -x1879 -x1877 -x1875 -x43 -x1873 -x1871 -x1869 -x1867 -x1864 -x1862 -x1860 
1800.00/1800.64	v -x1858 -x1856 -x1854 -x1852 -x1850 -x1848 -x1846 -x1844 -x1842 -x1840 -x1838 -x1836 -x1834 -x1832 -x1830 -x1828 -x1826 -x1824 
1800.00/1800.64	v -x1822 -x1820 -x1818 -x1816 -x1814 -x1812 -x1810 -x1808 -x1806 -x1804 -x1802 -x1800 -x1798 -x1796 -x1794 -x1792 -x1790 -x1788 
1800.00/1800.64	v -x1786 -x1784 -x1782 -x1780 -x1778 -x1776 -x1774 -x1772 -x1770 -x1768 -x1766 -x1764 -x1762 -x1760 -x1758 -x42 -x1756 -x1754 
1800.00/1800.64	v -x1752 -x1750 -x1748 -x1746 -x1744 -x1742 -x1740 -x1738 -x1736 -x1734 -x1732 -x1730 -x1728 -x1726 -x1724 -x1722 -x1720 -x1718 
1800.00/1800.64	v -x1716 -x1714 -x1712 -x1710 -x1708 -x1706 -x1704 -x1702 -x1700 -x1698 -x1696 -x41 -x1694 -x1692 -x1690 -x1688 -x1686 -x1684 
1800.00/1800.64	v -x1682 -x1680 -x1678 -x1676 -x1674 -x1672 -x1670 -x1668 -x1666 -x1664 -x1662 -x1660 -x1658 -x1656 -x1654 -x1652 -x1650 -x1648 
1800.00/1800.64	v -x1646 -x1644 -x1642 -x1640 -x1638 -x1636 -x1634 -x1632 -x1630 -x1628 -x1626 -x1624 -x1622 -x1620 -x1618 -x1616 -x1614 -x1612 
1800.00/1800.64	v -x1610 -x1608 -x1606 -x1604 -x1602 -x1600 -x1598 -x1596 -x1594 -x1592 -x1590 -x1588 -x1586 -x1584 -x1582 -x1580 -x1578 -x1576 
1800.00/1800.64	v -x1574 -x1572 -x40 -x1570 -x1568 -x1566 -x1564 -x1562 -x1560 -x1558 -x1556 -x1554 -x1552 -x1550 -x1548 -x1546 -x1544 -x1542 
1800.00/1800.64	v -x1540 -x1538 -x1536 -x1534 -x1532 -x1530 -x1528 -x1526 -x1524 -x1522 -x1520 -x1518 -x1516 -x1514 -x1512 -x1510 -x1508 -x1506 
1800.00/1800.64	v -x1504 -x1502 -x1500 -x1498 -x1496 -x1494 -x1492 -x1490 -x1488 -x1486 -x1484 -x1482 -x1480 -x1478 -x1476 -x1474 -x1472 -x1470 
1800.00/1800.64	v -x1468 -x1466 -x1464 -x1462 -x1460 -x1458 -x1456 -x1454 -x1452 -x1450 -x1448 -x1446 -x39 -x1444 -x1442 -x1440 -x1438 -x1436 
1800.00/1800.64	v -x1434 -x1432 -x1430 -x1428 -x1426 -x1424 -x1422 -x1420 -x1418 -x1416 -x1414 -x1412 -x1410 -x1408 -x1406 -x1404 -x1402 -x1400 
1800.00/1800.64	v -x1398 -x1395 -x1393 -x1391 -x1389 -x1387 -x1385 -x1383 -x1381 -x1379 -x1377 -x1375 -x1373 -x1371 -x1369 -x1367 -x1365 -x1363 
1800.00/1800.64	v -x1361 -x1359 -x1357 -x1355 -x1353 -x1351 -x1349 -x1347 -x1345 -x1343 -x1341 -x1339 -x1337 -x1335 -x1333 -x1331 -x1329 
1800.00/1800.64	v -x1327 -x1325 -x1323 -x1321 -x1319 -x1317 -x1315 -x1313 -x1311 x1309 -x1307 -x1305 -x1303 -x1301 -x1299 -x1297 -x1295 -x1293 
1800.00/1800.64	v -x1291 -x1289 -x1287 -x1285 -x1283 -x1281 -x1279 -x1277 -x1275 -x1273 -x1271 -x1269 -x1267 -x1265 -x1263 -x1261 -x1259 -x1257 
1800.00/1800.64	v -x1255 -x1253 -x1251 -x1249 -x1247 -x1245 -x1243 -x1241 -x1239 -x1237 -x1235 -x1233 -x1231 -x1229 -x1227 -x1225 -x1223 -x1221 
1800.00/1800.64	v -x1219 -x1217 -x1215 -x1213 -x1211 -x1209 -x1207 -x1205 -x1203 -x1201 -x1199 -x1197 -x1195 x38 -x1193 -x1190 x37 -x36 -x1187 
1800.00/1800.64	v -x1185 -x1183 -x1181 -x1179 -x1177 -x35 -x1175 -x1173 -x1171 -x34 -x1169 -x1167 -x1165 -x1163 -x1161 -x1159 -x1157 -x1155 -x1153 
1800.00/1800.64	v x1151 -x1149 x33 -x1147 -x1145 -x1143 -x1141 -x1139 -x1137 -x1135 -x1133 -x1131 -x1129 -x1127 -x1125 -x32 -x1123 -x1121 
1800.00/1800.64	v -x1119 -x1117 -x1115 -x1113 -x1111 -x1109 -x1107 -x1105 -x1103 -x1101 -x1099 -x1097 -x1094 x1092 -x1090 -x1088 -x1086 -x1084 
1800.00/1800.64	v -x1082 -x1080 -x1078 -x1076 -x1074 -x1072 -x1070 -x1068 x31 x30 -x1064 -x29 -x1062 -x1059 -x28 -x1057 -x1055 x27 -x1052 -x1050 
1800.00/1800.64	v -x1048 -x26 -x1046 -x1044 -x1042 -x1039 -x25 -x1037 -x1035 -x1033 -x1031 -x1029 -x1027 -x1025 -x1023 -x1021 -x1019 -x24 -x1017 
1800.00/1800.64	v -x23 -x1015 -x1013 -x1011 -x1009 -x1007 -x22 -x1004 x21 -x1002 -x1000 -x998 -x996 -x994 -x992 -x990 -x988 -x20 -x986 -x984 
1800.00/1800.64	v -x982 -x980 -x978 -x19 -x976 -x974 -x972 -x970 -x968 -x966 -x964 -x962 -x960 -x958 -x956 -x954 -x18 -x952 -x950 -x948 -x946 
1800.00/1800.64	v -x944 -x942 -x940 -x938 -x936 -x934 -x17 -x932 -x930 -x928 -x926 -x924 -x922 -x920 -x918 -x916 -x914 -x912 -x910 -x908 -x906 
1800.00/1800.64	v -x904 -x902 -x900 -x898 -x896 -x894 -x892 -x890 -x888 -x886 -x884 -x882 -x16 -x880 -x878 -x876 -x15 -x874 -x872 -x870 -x868 
1800.00/1800.64	v -x866 -x864 -x14 -x862 -x860 -x858 -x856 -x854 -x852 -x13 -x850 -x848 -x846 -x844 -x842 -x840 -x838 x836 -x834 -x832 -x830 -x828 
1800.00/1800.64	v x12 -x826 -x824 -x822 -x820 -x818 -x816 -x11 -x814 -x812 -x810 -x808 -x806 -x804 -x802 -x800 -x798 -x796 -x794 -x792 -x10 
1800.00/1800.64	v -x790 -x788 -x786 -x784 -x782 -x780 -x778 -x776 -x774 -x772 -x770 -x768 -x766 -x764 -x9 -x762 -x760 -x758 -x756 -x754 -x752 
1800.00/1800.64	v -x750 -x748 -x746 -x744 -x742 -x740 -x738 -x736 -x734 -x732 -x730 -x728 -x726 -x724 -x722 -x720 -x718 -x716 -x714 -x712 -x710 
1800.00/1800.64	v -x8 -x708 -x706 -x704 -x702 -x700 x698 -x696 x7 -x694 -x692 -x690 -x688 -x686 -x684 -x682 -x680 -x678 -x676 -x674 -x672 -x670 
1800.00/1800.64	v -x668 -x6 -x666 -x664 -x662 -x660 -x658 -x656 -x654 -x652 -x650 -x647 -x645 -x643 -x641 -x5 -x639 -x637 -x635 -x633 -x631 
1800.00/1800.64	v -x629 -x627 -x625 -x623 -x621 -x619 -x617 -x615 -x613 -x611 -x609 -x607 -x605 -x603 -x601 -x599 -x597 -x595 -x593 -x591 -x589 
1800.00/1800.64	v -x587 -x585 -x583 -x4 -x581 -x579 -x577 -x575 -x573 -x571 -x569 -x567 -x565 -x563 -x561 -x559 -x557 -x555 -x553 -x3 -x551 -x549 
1800.00/1800.64	v -x547 -x545 -x543 -x541 -x539 -x537 -x535 -x533 -x531 -x529 -x527 -x525 -x523 -x521 -x519 -x517 -x515 -x513 -x511 -x509 -x507 
1800.00/1800.64	v -x505 -x503 -x501 -x499 -x497 -x495 -x493 -x2 -x491 -x489 -x487 -x485 -x483 -x481 -x479 -x477 -x475 -x473 -x471 -x469 -x467 
1800.00/1800.64	v -x465 -x463 -x461 -x459 -x457 -x455 -x453 -x451 -x449 -x447 -x445 -x443 -x441 -x439 -x437 -x435 -x433 -x431 -x1 -x429 -x427 
1800.00/1800.64	v -x425 -x423 -x421 -x419 -x417 -x415 -x413 -x411 -x409 -x407 -x405 -x403 -x401 -x399 -x397 -x395 -x393 -x391 -x389 -x387 -x385 
1800.00/1800.64	v -x383 -x381 -x379 -x377 -x375 -x373 -x371 -x369 -x367 -x365 -x363 -x361 -x359 -x357 -x355 x353 -x351 -x349 -x347 -x345 -x343 
1800.00/1800.64	v -x341 -x339 -x337 -x335 -x333 -x331 -x329 -x327 -x325 -x323 -x321 -x319 -x317 -x315 -x313 -x311 -x309 -x307 -x305 -x303 -x5537 
1800.00/1800.64	v -x5535 -x5533 -x5531 -x5529 -x5528 -x5526 -x5524 -x5522 -x5520 -x5518 -x5516 -x5514 -x5512 -x5510 -x5508 -x5506 -x5504 
1800.00/1800.64	v -x5502 -x5500 -x5498 -x5496 -x5494 -x5492 -x5490 -x5488 -x5486 -x5484 -x5482 -x5480 -x5478 -x5476 -x5474 -x5472 -x5470 -x5468 
1800.00/1800.64	v -x5466 -x5464 -x5462 -x5460 -x5458 -x5456 -x5454 -x5452 -x5450 -x5448 -x5446 -x5444 -x5442 -x5440 -x5438 -x5436 -x5434 -x5432 
1800.00/1800.64	v -x5430 -x5428 -x5426 -x5424 -x5422 -x5420 -x5418 -x5416 -x5414 -x5412 -x5410 -x5408 -x5406 -x5404 -x5402 -x5400 -x5398 -x5396 
1800.00/1800.64	v -x5394 -x5392 -x5390 -x5388 -x5386 -x5384 -x5382 -x5380 -x5378 -x5376 -x5374 -x5372 -x5370 -x5368 -x5366 -x5364 -x5362 -x5360 
1800.00/1800.64	v -x5358 -x5356 -x5354 -x5352 -x5350 -x5348 -x5346 -x5344 -x5342 -x5340 -x5338 -x5336 -x5334 -x5332 -x5330 -x5328 -x5326 -x5324 
1800.00/1800.64	v -x5322 -x5320 -x5318 -x5316 -x5314 -x5312 -x5310 -x5308 -x5306 -x5304 -x5302 -x5300 -x5298 -x5296 -x5294 -x5292 -x5290 -x5288 
1800.00/1800.64	v -x5286 -x5284 -x5283 -x5281 -x5279 -x5277 -x5275 -x5273 -x5271 -x5269 -x5267 -x5265 -x5263 -x5261 -x5259 -x5257 -x5255 
1800.00/1800.64	v -x5253 -x5251 -x5249 -x5247 -x5245 -x5243 -x5241 -x5239 -x5237 -x5235 -x5233 -x5232 -x5230 -x5228 -x5226 -x5224 -x5222 -x5220 
1800.00/1800.64	v -x5218 -x5216 -x5214 -x5212 -x5210 -x5208 -x5206 -x5204 -x5202 -x5200 -x5198 -x5196 -x5194 -x5192 -x5190 -x5188 -x5186 -x5184 
1800.00/1800.64	v -x5182 -x5180 -x5178 -x5176 -x5174 -x5172 -x5170 -x5168 -x5166 -x5164 -x5162 -x5160 -x5158 -x5156 -x5154 -x5152 -x5150 -x5148 
1800.00/1800.64	v -x5146 -x5144 -x5142 -x5140 -x5138 -x5136 -x5134 -x5132 -x5130 -x5128 -x5126 -x5124 -x5122 -x5120 -x5118 -x5116 -x5114 -x5112 
1800.00/1800.64	v -x5110 -x5108 -x5106 -x5104 -x5102 -x5100 -x5098 -x5096 -x5094 -x5092 -x5090 -x5088 -x5086 -x5084 -x5082 -x5080 -x5078 -x5076 
1800.00/1800.64	v -x5074 -x5072 -x5070 -x5068 -x5066 -x5064 -x5062 -x5060 -x5058 -x5056 -x5054 -x5052 -x5050 -x5048 -x5046 -x5045 -x5043 -x5041 
1800.00/1800.64	v -x5039 -x5037 -x5035 -x5033 -x5031 -x5029 -x5027 -x5025 -x5023 -x5021 -x5019 -x5017 -x5016 -x5014 -x5012 -x5010 -x5008 
1800.00/1800.64	v -x5006 -x5004 -x5002 -x5000 -x4998 -x4996 -x4994 -x4992 -x4990 -x4988 -x4986 -x4984 -x4982 -x4980 -x4978 -x4976 -x4974 -x4972 
1800.00/1800.64	v -x4970 -x4968 -x4966 -x4964 -x4962 -x4960 -x4958 -x4956 -x4954 -x4952 -x4950 -x4948 -x4946 -x4944 -x4942 -x4940 -x4938 -x4936 
1800.00/1800.64	v -x4934 -x4932 -x4930 -x4928 -x4926 -x4924 -x4922 -x4920 -x4918 -x4916 -x4915 -x4913 -x4911 -x4909 -x4907 -x4905 -x4904 -x4902 
1800.00/1800.64	v -x4900 -x4898 -x4896 -x4894 -x4892 -x4890 -x4888 -x4886 -x4884 -x4882 -x4880 -x4878 -x4876 -x4874 x4872 -x4870 -x4868 -x4866 
1800.00/1800.64	v -x4864 -x4862 -x4860 -x4858 -x4856 -x4854 -x4852 -x4850 -x4848 -x4846 -x4844 -x4842 -x4840 -x4838 -x4836 -x4834 -x4832 -x4830 
1800.00/1800.64	v -x4828 -x4826 -x4824 -x4822 -x4820 -x4818 -x4816 -x4814 -x4812 -x4810 -x4808 -x4806 -x4804 -x4802 -x4800 -x4798 -x4796 -x4794 
1800.00/1800.64	v -x4792 -x4790 -x4788 -x4786 -x4784 -x4782 -x4780 -x4778 -x4776 -x4774 -x4772 -x4770 -x4768 -x4766 -x4764 -x4762 -x4760 -x4758 
1800.00/1800.64	v -x4756 -x4754 -x4752 -x4750 -x4748 -x4746 -x4744 -x4742 -x4740 -x4738 -x4736 -x4734 -x4732 -x4730 -x4728 -x4726 -x4724 
1800.00/1800.64	v -x4722 -x4720 -x4718 -x4716 -x4714 -x4712 -x4710 -x4708 -x4706 -x4704 -x4702 -x4700 -x4698 -x4696 -x4694 -x4692 -x4690 -x4688 
1800.00/1800.64	v -x4686 -x4684 -x4682 -x4680 -x4678 -x4676 -x4674 -x4672 -x4670 -x4668 -x4666 -x4664 -x4662 -x4660 -x4658 -x4656 -x4654 -x4652 
1800.00/1800.64	v -x4650 -x4648 -x4646 -x4644 -x4642 -x4640 -x4638 -x4636 -x4635 -x4633 -x4631 -x4629 -x4627 -x4625 -x4623 -x4621 -x4619 -x4617 
1800.00/1800.64	v -x4615 -x4613 -x4611 -x4609 -x4607 -x4605 -x4603 -x4601 -x4599 -x4597 -x4595 -x4593 -x4591 -x4589 -x4587 -x4585 -x4583 -x4581 
1800.00/1800.64	v -x4579 -x4577 -x4575 -x4573 -x4571 -x4569 -x4567 -x4565 -x4563 -x4561 -x4559 -x4557 -x4555 -x4553 -x4551 -x4549 -x4547 -x4545 
1800.00/1800.64	v -x4543 -x4541 -x4539 -x4537 -x4535 -x4533 -x4531 -x4529 -x4527 -x4525 -x4523 -x4521 -x4519 -x4517 -x4515 -x4513 -x4511 -x4509 
1800.00/1800.64	v -x4507 -x4505 -x4503 -x4501 -x4499 -x4497 -x4495 -x4493 -x4491 -x4489 -x4487 -x4485 -x4483 -x4481 -x4479 -x4477 -x4475 
1800.00/1800.64	v -x4473 -x4471 -x4469 -x4467 -x4465 -x4463 -x4461 -x4459 -x4457 -x4455 -x4453 -x4451 -x4449 -x4448 -x4446 -x4444 -x4442 -x4440 
1800.00/1800.64	v -x4438 -x4436 -x4434 -x4432 -x4430 -x4428 -x4426 -x4424 -x4422 x4420 -x4418 -x4417 -x4415 -x4413 -x4411 -x4409 -x4407 -x4406 
1800.00/1800.64	v -x4404 -x4402 -x4400 -x4398 -x4396 -x4394 -x4392 -x4390 -x4388 -x4386 -x4385 -x4383 -x4381 -x4379 -x4377 -x4375 -x4373 -x4371 
1800.00/1800.64	v -x4369 -x4367 -x4365 -x4363 -x4361 -x4359 -x4357 -x4355 -x4353 -x4351 -x4350 -x4348 -x4346 -x4344 -x4342 -x4340 -x4338 -x4336 
1800.00/1800.64	v -x4334 -x4332 -x4330 -x4328 -x4326 -x4324 -x4322 -x4320 -x4318 -x4316 -x4314 -x4312 -x4310 -x4309 -x4307 -x4305 -x4303 -x4301 
1800.00/1800.64	v -x4299 -x4297 -x4295 -x4294 -x4292 -x4290 -x4288 -x4286 -x4284 -x4282 -x4280 -x4278 -x4276 -x4274 -x4272 -x4270 -x4268 -x4266 
1800.00/1800.64	v -x4264 -x4262 -x4260 -x4258 -x4256 -x4254 -x4252 -x4250 -x4248 -x4246 -x4244 -x4242 -x4240 -x4238 -x4236 -x4234 -x4232 -x4230 
1800.00/1800.64	v -x4228 -x4226 -x4224 -x4222 -x4220 -x4218 -x4216 -x4214 -x4212 -x4210 -x4208 -x4206 -x4204 -x4202 -x4200 -x4198 -x4196 
1800.00/1800.64	v -x4194 -x4192 -x4190 -x4188 -x4186 -x4184 -x4182 -x4180 -x4179 -x4177 -x4175 -x4173 -x4171 -x4169 -x4167 -x4165 -x4163 -x4161 
1800.00/1800.64	v -x4160 -x4158 -x4156 -x4154 -x4152 -x4150 -x4148 -x4146 -x4144 -x4142 -x4140 -x4138 -x4136 -x4134 -x4132 -x4130 -x4128 -x4126 
1800.00/1800.64	v -x4124 -x4122 -x4120 -x4118 -x4116 -x4114 -x4112 -x4110 -x4108 -x4106 -x4104 -x4102 -x4101 -x4100 -x4098 -x4096 -x4094 -x4093 
1800.00/1800.64	v -x4091 -x4089 -x4087 -x4085 -x4083 -x4081 -x4079 -x4077 -x4075 -x4073 -x4071 -x4069 -x4067 -x4065 -x4063 -x4061 -x4059 -x4057 
1800.00/1800.64	v -x4055 -x4053 -x4051 -x4049 -x4047 -x4045 -x4043 -x4041 -x4039 -x4037 -x4035 -x4033 -x4031 -x4029 -x4027 -x4025 -x4023 -x4021 
1800.00/1800.64	v -x4019 -x4017 -x4015 -x4013 -x4011 -x4009 -x4008 -x4006 -x4004 -x4002 -x4000 -x3998 -x3996 -x3994 -x3992 -x3990 -x3988 -x3986 
1800.00/1800.64	v -x3984 -x3982 -x3980 -x3978 -x3976 -x3974 -x3972 -x3970 -x3968 -x3966 -x3964 -x3962 -x3960 -x3958 -x3956 -x3954 -x3952 
1800.00/1800.64	v -x3950 -x3948 -x3946 -x3944 -x3942 -x3940 -x3938 -x3936 -x3934 -x3932 -x3930 -x3928 -x3926 -x3924 -x3922 -x3920 -x3918 -x3916 
1800.00/1800.64	v -x3914 -x3912 -x3910 -x3908 -x3906 -x3904 -x3902 -x3900 -x3898 -x3896 -x3894 -x3892 -x3890 -x3888 -x3886 -x3884 -x3882 -x3880 
1800.00/1800.64	v -x3878 -x3876 -x3874 -x3872 -x3870 -x3868 -x3866 -x3864 -x3862 -x3860 -x3858 -x3856 -x3854 -x3852 -x3850 -x3848 -x3846 -x3844 
1800.00/1800.64	v -x3842 -x3840 -x3838 -x3836 -x3834 -x3832 -x3830 -x3828 -x3826 -x3824 -x3822 -x3820 -x3818 -x3816 -x3814 -x3812 -x3810 -x3808 
1800.00/1800.64	v -x3807 -x3806 -x3804 -x3802 -x3800 -x3798 -x3796 -x3794 -x3792 -x3790 -x3788 -x3786 -x3784 -x3782 -x3780 -x3778 -x3776 -x3774 
1800.00/1800.64	v -x3772 -x3770 -x3768 -x3766 -x3764 -x3762 -x3760 -x3758 -x3756 -x3754 -x3752 -x3750 -x3748 -x3746 -x3744 -x3742 -x3740 -x3738 
1800.00/1800.64	v -x3736 -x3734 -x3732 -x3730 -x3728 -x3726 -x3724 x3722 -x3720 -x3718 -x3716 -x3714 -x3712 -x3710 -x3708 -x3706 -x3704 -x3702 
1800.00/1800.64	v -x3700 -x3698 -x3696 -x3694 -x3692 -x3690 -x3688 -x3686 -x3684 -x3682 -x3680 -x3678 -x3676 -x3674 -x3672 -x3670 -x3668 
1800.00/1800.64	v -x3666 -x3664 -x3662 -x3660 -x3658 -x3656 -x3654 -x3652 -x3650 -x3648 -x3646 -x3644 -x3642 -x3640 -x3638 -x3636 -x3634 -x3632 
1800.00/1800.64	v -x3630 -x3628 -x3626 -x3624 -x3622 -x3620 -x3618 -x3616 -x3614 -x3612 -x3610 -x3608 -x3606 -x3604 -x3602 -x3600 -x3598 -x3596 
1800.00/1800.64	v -x3594 -x3592 -x3590 -x3588 -x3586 -x3584 -x3582 -x3580 -x3578 -x3576 -x3574 -x3572 -x3570 -x3568 -x3566 -x3564 -x3562 -x3560 
1800.00/1800.64	v -x3558 -x3556 -x3554 -x3552 -x3550 -x3548 -x3546 -x3544 -x3542 -x3540 -x3539 -x3537 -x3535 -x3533 -x3531 -x3530 -x3528 -x3526 
1800.00/1800.64	v -x3524 -x3522 -x3520 -x3518 -x3516 -x3514 -x3512 -x3510 -x3508 -x3506 -x3504 -x3502 -x3500 -x3498 -x3496 -x3494 -x3492 -x3490 
1800.00/1800.64	v -x3488 -x3486 -x3484 -x3482 -x3480 -x3478 -x3476 -x3474 -x3472 -x3470 -x3468 -x3466 -x3464 -x3462 -x3460 -x3458 -x3456 -x3454 
1800.00/1800.64	v -x3452 -x3450 -x3448 -x3446 -x3444 -x3442 -x3441 -x3439 -x3437 -x3435 -x3434 -x3432 -x3430 -x3428 -x3426 -x3424 -x3422 
1800.00/1800.64	v -x3420 -x3418 -x3416 -x3414 -x3412 -x3410 -x3408 -x3406 -x3404 -x3402 -x3400 -x3398 -x3396 -x3394 -x3392 -x3390 -x3388 -x3387 
1800.00/1800.64	v -x3385 -x3383 -x3381 -x3379 -x3377 -x3375 -x3373 -x3371 -x3369 -x3368 -x3366 -x3364 -x3362 -x3360 -x3358 -x3356 -x3354 -x3352 
1800.00/1800.64	v -x3350 -x3348 -x3346 -x3344 -x3342 x3340 -x3339 -x3338 -x3336 -x3334 -x3333 -x3331 -x3329 -x3327 -x3325 -x3323 -x3322 -x3320 
1800.00/1800.64	v -x3318 -x3316 -x3314 -x3312 -x3310 -x3308 -x3306 -x3304 -x3302 -x3300 -x3298 -x3296 -x3294 -x3292 -x3290 -x3288 -x3286 -x3284 
1800.00/1800.64	v -x3282 -x3280 -x3278 -x3276 -x3274 -x3273 -x3271 -x3269 -x3267 -x3265 -x3263 -x3261 -x3260 -x3258 -x3256 -x3254 -x3252 -x3250 
1800.00/1800.64	v -x3248 -x3246 -x3244 -x3242 -x3240 -x3238 -x3236 x3234 -x3232 -x3230 -x3228 -x3226 -x3224 -x3222 -x3220 -x3218 -x3216 -x3214 
1800.00/1800.64	v -x3213 -x3211 -x3209 -x3207 -x3205 -x3203 -x3201 -x3199 -x3197 -x3195 -x3193 -x3191 -x3189 -x3187 -x3185 -x3183 -x3181 -x3179 
1800.00/1800.64	v -x3177 -x3175 -x3173 -x3171 -x3169 -x3167 -x3165 -x3163 -x3161 -x3159 -x3157 -x3155 -x3153 -x3151 -x3149 -x3147 -x3145 -x3143 
1800.00/1800.64	v -x3141 -x3139 -x3137 -x3135 -x3133 -x3131 -x3129 -x3127 -x3125 -x3123 -x3121 -x3119 -x3117 -x3115 -x3113 -x3111 -x3109 
1800.00/1800.64	v -x3107 -x3105 -x3103 -x3101 -x3099 -x3097 -x3095 -x3093 -x3091 -x3089 -x3087 -x3085 -x3083 -x3081 -x3079 -x3077 -x3075 -x3073 
1800.00/1800.64	v -x3071 -x3069 -x3067 -x3065 -x3063 -x3061 -x3059 -x3057 -x3055 -x3053 -x3051 -x3049 -x3047 -x3045 -x3043 -x3041 -x3039 -x3037 
1800.00/1800.64	v -x3035 -x3033 -x3031 -x3029 -x3027 -x3025 -x3023 -x3021 -x3019 -x3017 -x3015 -x3013 -x3011 -x3009 -x3007 -x3005 x3003 -x3002 
1800.00/1800.64	v -x3000 -x2998 -x2996 -x2994 -x2992 -x2990 -x2988 -x2986 -x2984 -x2982 -x2980 -x2978 -x2976 -x2974 -x2972 -x2970 -x2968 -x2966 
1800.00/1800.64	v -x2964 -x2963 -x2961 -x2959 -x2957 -x2955 -x2953 -x2951 -x2949 -x2947 -x2945 -x2943 -x2942 -x2940 -x2938 -x2936 -x2934 -x2932 
1800.00/1800.64	v -x2930 -x2928 -x2926 -x2924 -x2922 -x2920 -x2918 -x2916 -x2914 -x2912 -x2910 -x2908 -x2906 -x2904 -x2902 x2900 -x2898 -x2896 
1800.00/1800.64	v -x2894 -x2892 -x2890 -x2888 -x2886 -x2884 -x2882 -x2880 -x2878 -x2876 -x2874 -x2872 -x2870 -x2868 -x2866 -x2864 -x2862 -x2860 
1800.00/1800.64	v -x2858 -x2856 -x2854 -x2852 -x2850 -x2848 -x2846 -x2844 -x2842 -x2840 -x2838 -x2836 -x2834 -x2832 -x2830 -x2828 -x2826 -x2824 
1800.00/1800.64	v -x2822 -x2820 -x2818 -x2816 -x2814 -x2812 -x2810 -x2808 -x2806 -x2804 -x2802 -x2800 -x2798 -x2796 -x2794 -x2792 -x2790 
1800.00/1800.64	v -x2788 -x2786 -x2784 -x2782 -x2780 -x2778 x2776 -x2774 -x2772 -x2770 -x2768 -x2766 -x2764 -x2762 -x2760 -x2758 -x2756 -x2754 
1800.00/1800.64	v -x2752 -x2750 -x2748 -x2746 -x2744 -x2742 -x2740 -x2738 -x2736 -x2734 -x2732 -x2730 -x2728 -x2726 -x2724 -x2722 -x2720 -x2718 
1800.00/1800.64	v -x2716 -x2714 -x2712 -x2710 -x2708 -x2706 -x2704 -x2702 -x2700 -x2698 -x2696 -x2694 -x2692 -x2690 -x2688 -x2686 -x2684 -x2682 
1800.00/1800.64	v -x2680 -x2678 -x2676 -x2674 -x2672 -x2670 -x2668 -x2666 -x2664 -x2662 -x2660 -x2658 -x2656 -x2654 -x2652 -x2650 -x2648 -x2646 
1800.00/1800.64	v -x2644 -x2642 -x2640 -x2638 -x2636 -x2634 -x2632 -x2630 -x2628 -x2626 -x2624 -x2622 -x2620 -x2618 -x2616 -x2614 -x2612 -x2610 
1800.00/1800.64	v -x2608 -x2606 -x2604 -x2602 -x2600 -x2598 -x2596 -x2595 -x2593 -x2591 -x2589 -x2587 -x2585 -x2583 -x2581 -x2579 -x2577 -x2575 
1800.00/1800.64	v -x2573 -x2571 -x2569 -x2567 -x2565 -x2563 -x2561 -x2559 -x2557 -x2555 -x2553 -x2551 -x2549 -x2547 -x2545 -x2543 -x2541 -x2539 
1800.00/1800.64	v -x2537 -x2536 -x2534 -x2532 -x2530 -x2528 -x2526 -x2524 -x2522 -x2520 -x2518 -x2516 -x2514 -x2512 -x2510 -x2508 -x2506 
1800.00/1800.64	v -x2505 -x2503 -x2501 -x2499 -x2497 -x2495 -x2493 -x2491 -x2489 -x2487 -x2485 -x2483 -x2481 -x2479 -x2477 -x2475 -x2473 -x2471 
1800.00/1800.64	v -x2470 -x2468 -x2466 -x2464 -x2462 -x2460 -x2458 -x2456 -x2454 -x2452 -x2450 -x2448 -x2446 -x2444 -x2442 -x2440 -x2438 -x2436 
1800.00/1800.64	v -x2434 -x2432 -x2430 -x2428 -x2426 -x2424 -x2422 -x2420 -x2418 -x2416 -x2414 -x2412 -x2410 -x2408 -x2406 -x2404 -x2402 -x2400 
1800.00/1800.64	v -x2398 -x2396 -x2394 -x2392 -x2390 -x2388 -x2386 -x2384 -x2382 -x2380 -x2378 -x2376 -x2374 -x2372 -x2370 -x2368 -x2367 -x2365 
1800.00/1800.64	v -x2363 -x2361 -x2359 -x2357 -x2355 -x2353 -x2351 -x2349 -x2347 -x2345 -x2343 -x2341 -x2339 -x2337 -x2335 -x2333 -x2331 -x2329 
1800.00/1800.64	v -x2327 -x2325 -x2323 -x2321 -x2319 -x2317 -x2315 -x2313 -x2311 -x2309 -x2307 -x2305 -x2303 -x2301 -x2299 -x2297 -x2295 -x2293 
1800.00/1800.64	v -x2291 -x2289 -x2287 -x2285 -x2283 -x2281 -x2279 -x2277 -x2275 -x2273 -x2271 -x2269 -x2267 -x2265 -x2263 -x2261 -x2259 
1800.00/1800.64	v -x2257 -x2255 -x2253 -x2251 -x2249 -x2247 -x2245 -x2243 -x2241 -x2239 -x2237 -x2235 -x2233 -x2231 -x2229 -x2227 -x2225 -x2223 
1800.00/1800.64	v -x2221 -x2219 -x2217 -x2215 -x2213 -x2211 -x2209 -x2207 -x2205 -x2203 -x2201 -x2199 -x2197 -x2195 -x2193 -x2191 -x2189 -x2187 
1800.00/1800.64	v -x2185 -x2183 -x2181 -x2179 -x2177 -x2175 -x2173 -x2171 -x2169 -x2167 -x2165 -x2163 -x2161 -x2159 -x2157 -x2155 -x2153 -x2151 
1800.00/1800.64	v -x2149 -x2147 -x2145 -x2143 -x2141 -x2139 -x2137 -x2135 -x2133 -x2131 -x2129 -x2127 -x2125 -x2123 -x2121 -x2119 -x2117 -x2115 
1800.00/1800.64	v -x2113 -x2111 -x2109 -x2107 -x2105 -x2103 -x2101 -x2099 -x2097 -x2095 -x2093 -x2091 -x2089 -x2087 -x2085 -x2083 -x2081 -x2079 
1800.00/1800.64	v -x2077 -x2075 -x2073 -x2071 -x2069 -x2067 -x2065 -x2063 -x2061 -x2059 -x2057 -x2055 -x2053 -x2051 -x2049 -x2047 -x2045 -x2043 
1800.00/1800.64	v -x2041 -x2039 -x2037 -x2035 -x2033 -x2031 -x2029 -x2027 -x2025 -x2023 -x2021 -x2019 -x2017 -x2016 -x2014 -x2012 -x2010 
1800.00/1800.64	v -x2008 -x2006 -x2004 -x2002 -x2000 -x1998 -x1996 -x1994 -x1992 -x1990 -x1988 -x1986 -x1984 -x1982 -x1980 -x1978 -x1976 -x1974 
1800.00/1800.64	v -x1972 -x1970 -x1968 -x1966 -x1964 -x1962 -x1960 -x1958 -x1956 -x1954 -x1952 -x1950 -x1948 -x1946 -x1944 -x1942 -x1940 -x1938 
1800.00/1800.64	v -x1936 -x1934 -x1932 -x1930 -x1928 -x1926 -x1924 -x1922 -x1920 -x1918 -x1916 -x1914 -x1912 -x1910 -x1908 -x1906 -x1904 -x1902 
1800.00/1800.64	v -x1900 -x1898 -x1896 -x1894 -x1892 -x1890 -x1888 -x1886 -x1884 -x1882 -x1880 -x1878 -x1876 -x1874 -x1872 -x1870 -x1868 -x1866 
1800.00/1800.64	v -x1865 -x1863 -x1861 -x1859 -x1857 -x1855 -x1853 -x1851 -x1849 -x1847 -x1845 -x1843 -x1841 -x1839 -x1837 -x1835 -x1833 -x1831 
1800.00/1800.64	v -x1829 -x1827 -x1825 -x1823 -x1821 -x1819 -x1817 -x1815 -x1813 -x1811 -x1809 -x1807 -x1805 -x1803 -x1801 -x1799 -x1797 -x1795 
1800.00/1800.64	v -x1793 -x1791 -x1789 -x1787 -x1785 -x1783 -x1781 -x1779 -x1777 -x1775 -x1773 -x1771 -x1769 -x1767 -x1765 -x1763 -x1761 
1800.00/1800.64	v -x1759 -x1757 -x1755 -x1753 -x1751 -x1749 -x1747 -x1745 -x1743 -x1741 -x1739 -x1737 -x1735 -x1733 -x1731 -x1729 -x1727 -x1725 
1800.00/1800.64	v -x1723 -x1721 -x1719 -x1717 -x1715 -x1713 -x1711 -x1709 -x1707 -x1705 -x1703 -x1701 -x1699 -x1697 -x1695 -x1693 -x1691 -x1689 
1800.00/1800.64	v -x1687 -x1685 -x1683 -x1681 -x1679 -x1677 -x1675 -x1673 -x1671 -x1669 -x1667 -x1665 -x1663 -x1661 -x1659 -x1657 -x1655 -x1653 
1800.00/1800.64	v -x1651 -x1649 -x1647 -x1645 -x1643 -x1641 -x1639 -x1637 -x1635 -x1633 -x1631 -x1629 -x1627 -x1625 -x1623 -x1621 -x1619 -x1617 
1800.00/1800.64	v -x1615 -x1613 -x1611 -x1609 -x1607 -x1605 -x1603 -x1601 -x1599 -x1597 -x1595 -x1593 -x1591 -x1589 -x1587 -x1585 -x1583 -x1581 
1800.00/1800.64	v -x1579 -x1577 -x1575 -x1573 -x1571 -x1569 -x1567 -x1565 -x1563 -x1561 -x1559 -x1557 -x1555 -x1553 -x1551 -x1549 -x1547 -x1545 
1800.00/1800.64	v -x1543 -x1541 -x1539 -x1537 -x1535 -x1533 -x1531 -x1529 -x1527 -x1525 -x1523 -x1521 -x1519 -x1517 -x1515 -x1513 -x1511 
1800.00/1800.64	v -x1509 -x1507 -x1505 -x1503 -x1501 -x1499 -x1497 -x1495 -x1493 -x1491 -x1489 -x1487 -x1485 -x1483 -x1481 -x1479 -x1477 -x1475 
1800.00/1800.64	v -x1473 -x1471 -x1469 -x1467 -x1465 -x1463 -x1461 -x1459 -x1457 -x1455 -x1453 -x1451 -x1449 -x1447 -x1445 -x1443 -x1441 -x1439 
1800.00/1800.64	v -x1437 -x1435 -x1433 -x1431 -x1429 -x1427 -x1425 -x1423 -x1421 -x1419 -x1417 -x1415 -x1413 -x1411 -x1409 -x1407 -x1405 -x1403 
1800.00/1800.64	v -x1401 -x1399 -x1397 -x1396 -x1394 -x1392 -x1390 -x1388 -x1386 -x1384 -x1382 -x1380 -x1378 -x1376 -x1374 -x1372 -x1370 -x1368 
1800.00/1800.64	v -x1366 -x1364 -x1362 -x1360 -x1358 -x1356 -x1354 -x1352 -x1350 -x1348 -x1346 -x1344 -x1342 -x1340 -x1338 -x1336 -x1334 -x1332 
1800.00/1800.64	v -x1330 -x1328 -x1326 -x1324 -x1322 -x1320 -x1318 -x1316 -x1314 -x1312 x1310 -x1308 -x1306 -x1304 -x1302 -x1300 -x1298 -x1296 
1800.00/1800.64	v -x1294 -x1292 -x1290 -x1288 -x1286 -x1284 -x1282 -x1280 -x1278 -x1276 -x1274 -x1272 -x1270 -x1268 -x1266 -x1264 -x1262 -x1260 
1800.00/1800.64	v -x1258 -x1256 -x1254 -x1252 -x1250 -x1248 -x1246 -x1244 -x1242 -x1240 -x1238 -x1236 -x1234 -x1232 -x1230 -x1228 -x1226 
1800.00/1800.64	v -x1224 -x1222 -x1220 -x1218 -x1216 -x1214 -x1212 -x1210 -x1208 -x1206 -x1204 -x1202 -x1200 -x1198 -x1196 -x1194 x1192 -x1191 
1800.00/1800.64	v -x1189 -x1188 -x1186 -x1184 -x1182 -x1180 -x1178 -x1176 -x1174 -x1172 -x1170 -x1168 -x1166 -x1164 -x1162 -x1160 -x1158 -x1156 
1800.00/1800.64	v -x1154 x1152 -x1150 -x1148 -x1146 -x1144 -x1142 -x1140 -x1138 -x1136 -x1134 -x1132 -x1130 -x1128 -x1126 -x1124 -x1122 -x1120 
1800.00/1800.64	v -x1118 -x1116 -x1114 -x1112 -x1110 -x1108 -x1106 -x1104 -x1102 -x1100 -x1098 -x1096 -x1095 x1093 -x1091 -x1089 -x1087 -x1085 
1800.00/1800.64	v -x1083 -x1081 -x1079 -x1077 -x1075 -x1073 -x1071 -x1069 x1067 x1066 -x1065 -x1063 -x1061 -x1060 -x1058 -x1056 x1054 -x1053 -x1051 
1800.00/1800.64	v -x1049 -x1047 -x1045 -x1043 -x1041 -x1040 -x1038 -x1036 -x1034 -x1032 -x1030 -x1028 -x1026 -x1024 -x1022 -x1020 -x1018 
1800.00/1800.64	v -x1016 -x1014 -x1012 -x1010 -x1008 -x1006 -x1005 -x1003 -x1001 -x999 -x997 -x995 -x993 -x991 -x989 -x987 -x985 -x983 -x981 -x979 
1800.00/1800.64	v -x977 -x975 -x973 -x971 -x969 -x967 -x965 -x963 -x961 -x959 -x957 -x955 -x953 -x951 -x949 -x947 -x945 -x943 -x941 -x939 -x937 
1800.00/1800.64	v -x935 -x933 -x931 -x929 -x927 -x925 -x923 -x921 -x919 -x917 -x915 -x913 -x911 -x909 -x907 -x905 -x903 -x901 -x899 -x897 
1800.00/1800.64	v -x895 -x893 -x891 -x889 -x887 -x885 -x883 -x881 -x879 -x877 -x875 -x873 -x871 -x869 -x867 -x865 -x863 -x861 -x859 -x857 -x855 
1800.00/1800.64	v -x853 -x851 -x849 -x847 -x845 -x843 -x841 -x839 x837 -x835 -x833 -x831 -x829 -x827 -x825 -x823 -x821 -x819 -x817 -x815 -x813 
1800.00/1800.64	v -x811 -x809 -x807 -x805 -x803 -x801 -x799 -x797 -x795 -x793 -x791 -x789 -x787 -x785 -x783 -x781 -x779 -x777 -x775 -x773 -x771 
1800.00/1800.64	v -x769 -x767 -x765 -x763 -x761 -x759 -x757 -x755 -x753 -x751 -x749 -x747 -x745 -x743 -x741 -x739 -x737 -x735 -x733 -x731 -x729 
1800.00/1800.64	v -x727 -x725 -x723 -x721 -x719 -x717 -x715 -x713 -x711 -x709 -x707 -x705 -x703 -x701 x699 -x697 -x695 -x693 -x691 -x689 -x687 
1800.00/1800.64	v -x685 -x683 -x681 -x679 -x677 -x675 -x673 -x671 -x669 -x667 -x665 -x663 -x661 -x659 -x657 -x655 -x653 -x651 -x649 -x648 -x646 
1800.00/1800.64	v -x644 -x642 -x640 -x638 -x636 -x634 -x632 -x630 -x628 -x626 -x624 -x622 -x620 -x618 -x616 -x614 -x612 -x610 -x608 -x606 -x604 
1800.00/1800.64	v -x602 -x600 -x598 -x596 -x594 -x592 -x590 -x588 -x586 -x584 -x582 -x580 -x578 -x576 -x574 -x572 -x570 -x568 -x566 -x564 
1800.00/1800.64	v -x562 -x560 -x558 -x556 -x554 -x552 -x550 -x548 -x546 -x544 -x542 -x540 -x538 -x536 -x534 -x532 -x530 -x528 -x526 -x524 -x522 
1800.00/1800.64	v -x520 -x518 -x516 -x514 -x512 -x510 -x508 -x506 -x504 -x502 -x500 -x498 -x496 -x494 -x492 -x490 -x488 -x486 -x484 -x482 -x480 
1800.00/1800.64	v -x478 -x476 -x474 -x472 -x470 -x468 -x466 -x464 -x462 -x460 -x458 -x456 -x454 -x452 -x450 -x448 -x446 -x444 -x442 -x440 -x438 
1800.00/1800.64	v -x436 -x434 -x432 -x430 -x428 -x426 -x424 -x422 -x420 -x418 -x416 -x414 -x412 -x410 -x408 -x406 -x404 -x402 -x400 -x398 -x396 
1800.00/1800.64	v -x394 -x392 -x390 -x388 -x386 -x384 -x382 -x380 -x378 -x376 -x374 -x372 -x370 -x368 -x366 -x364 -x362 -x360 -x358 -x356 x354 
1800.00/1800.64	v -x352 -x350 -x348 -x346 -x344 -x342 -x340 -x338 -x336 -x334 -x332 -x330 -x328 -x326 -x324 -x322 -x320 -x318 -x316 -x314 -x312 
1800.00/1800.64	v -x310 -x308 -x306 -x304 
1800.00/1800.64	c SCIP Status        : solving was interrupted [user interrupt]
1800.00/1800.64	c Solving Time       :    1756.41
1800.00/1800.64	c Original Problem   :
1800.00/1800.64	c   Problem name     : HOME/instance-2663955-1276638880.opb
1800.00/1800.64	c   Variables        : 5537 (5537 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.00/1800.64	c   Constraints      : 15855 initial, 15855 maximal
1800.00/1800.64	c Presolved Problem  :
1800.00/1800.64	c   Problem name     : t_HOME/instance-2663955-1276638880.opb
1800.00/1800.64	c   Variables        : 2667 (2667 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.00/1800.64	c   Constraints      : 8915 initial, 9046 maximal
1800.00/1800.64	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.00/1800.64	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.00/1800.64	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.00/1800.64	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.00/1800.64	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.00/1800.64	c   implics          :       0.01          0          5          0          0          0          0          0          0
1800.00/1800.64	c   probing          :       0.27          1         14          0          0          0          0          0          0
1800.00/1800.64	c   linear           :       0.18        261       2589          0        261          0       6875          0          0
1800.00/1800.64	c   logicor          :       0.15          0          0          0          0          0         65          0          0
1800.00/1800.64	c   root node        :          -          0          -          -          0          -          -          -          -
1800.00/1800.64	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.00/1800.64	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.00/1800.64	c   logicor          :       8915+         0    4429444          0          5     282294   15154496          0          0          0
1800.00/1800.64	c   countsols        :          0          0          0          0          5          0          0          0          0          0
1800.00/1800.64	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.00/1800.64	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.00/1800.64	c   logicor          :     508.74       0.00     508.74       0.00       0.00
1800.00/1800.64	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.00/1800.64	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.00/1800.64	c   vbounds          :       2.99          2          0          0
1800.00/1800.64	c   rootredcost      :       3.15          0          0          0
1800.00/1800.64	c   pseudoobj        :     902.02    6267891     401629   16112585
1800.00/1800.64	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.00/1800.64	c   propagation      :     360.35     683922     683922     683922       47.4      11137       59.7          -
1800.00/1800.64	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.00/1800.64	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.00/1800.64	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.00/1800.64	c   pseudo solution  :       5.69       7853       7853       7853       41.2        721       71.3          -
1800.00/1800.64	c   applied globally :          -          -          -     703633       47.5          -          -          -
1800.00/1800.64	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.00/1800.64	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.00/1800.64	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.00/1800.64	c   redcost          :       0.00          0          0          0          0          0
1800.00/1800.64	c   impliedbounds    :       0.00          0          0          0          0          0
1800.00/1800.64	c   intobj           :       0.00          0          0          0          0          0
1800.00/1800.64	c   cgmip            :       0.00          0          0          0          0          0
1800.00/1800.64	c   gomory           :       0.00          0          0          0          0          0
1800.00/1800.64	c   strongcg         :       0.00          0          0          0          0          0
1800.00/1800.64	c   cmir             :       0.00          0          0          0          0          0
1800.00/1800.64	c   flowcover        :       0.00          0          0          0          0          0
1800.00/1800.64	c   clique           :       0.00          0          0          0          0          0
1800.00/1800.64	c   zerohalf         :       0.00          0          0          0          0          0
1800.00/1800.64	c   mcf              :       0.00          0          0          0          0          0
1800.00/1800.64	c   rapidlearning    :       0.00          0          0          0          0          0
1800.00/1800.64	c Pricers            :       Time      Calls       Vars
1800.00/1800.64	c   problem variables:       0.00          0          0
1800.00/1800.64	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.00/1800.64	c   relpscost        :       0.00          0          0          0          0          0          0
1800.00/1800.64	c   pscost           :       0.00          0          0          0          0          0          0
1800.00/1800.64	c   inference        :      75.64     977800          0          0          0          0    1955600
1800.00/1800.64	c   mostinf          :       0.00          0          0          0          0          0          0
1800.00/1800.64	c   leastinf         :       0.00          0          0          0          0          0          0
1800.00/1800.64	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.00/1800.64	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.00/1800.64	c   random           :       0.00          0          0          0          0          0          0
1800.00/1800.64	c Primal Heuristics  :       Time      Calls      Found
1800.00/1800.64	c   LP solutions     :       0.00          -          0
1800.00/1800.64	c   pseudo solutions :       0.00          -          5
1800.00/1800.64	c   oneopt           :       1.79          0          0
1800.00/1800.64	c   trivial          :       0.03          2          0
1800.00/1800.64	c   simplerounding   :       0.00          0          0
1800.00/1800.64	c   zirounding       :       0.00          0          0
1800.00/1800.64	c   rounding         :       0.00          0          0
1800.00/1800.64	c   shifting         :       0.00          0          0
1800.00/1800.64	c   intshifting      :       0.00          0          0
1800.00/1800.64	c   twoopt           :       0.00          0          0
1800.00/1800.64	c   fixandinfer      :       0.00          0          0
1800.00/1800.64	c   feaspump         :       0.00          0          0
1800.00/1800.64	c   coefdiving       :       0.00          0          0
1800.00/1800.64	c   pscostdiving     :       0.00          0          0
1800.00/1800.64	c   fracdiving       :       0.00          0          0
1800.00/1800.64	c   veclendiving     :       0.00          0          0
1800.00/1800.64	c   intdiving        :       0.00          0          0
1800.00/1800.64	c   actconsdiving    :       0.00          0          0
1800.00/1800.64	c   objpscostdiving  :       0.00          0          0
1800.00/1800.64	c   rootsoldiving    :       0.00          0          0
1800.00/1800.64	c   linesearchdiving :       0.00          0          0
1800.00/1800.64	c   guideddiving     :       0.00          0          0
1800.00/1800.64	c   octane           :       0.00          0          0
1800.00/1800.64	c   rens             :       0.00          0          0
1800.00/1800.64	c   rins             :       0.00          0          0
1800.00/1800.64	c   localbranching   :       0.00          0          0
1800.00/1800.64	c   mutation         :       0.00          0          0
1800.00/1800.64	c   crossover        :       0.00          0          0
1800.00/1800.64	c   dins             :       0.00          0          0
1800.00/1800.64	c   undercover       :       0.00          0          0
1800.00/1800.64	c   nlp              :       0.70          0          0
1800.00/1800.64	c   trysol           :       0.70          0          0
1800.00/1800.64	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.00/1800.64	c   primal LP        :       0.00          0          0       0.00          -
1800.00/1800.64	c   dual LP          :       0.00          0          0       0.00          -
1800.00/1800.64	c   lex dual LP      :       0.00          0          0       0.00          -
1800.00/1800.64	c   barrier LP       :       0.00          0          0       0.00          -
1800.00/1800.64	c   diving/probing LP:       0.00          0          0       0.00          -
1800.00/1800.64	c   strong branching :       0.00          0          0       0.00          -
1800.00/1800.64	c     (at root node) :          -          0          0       0.00          -
1800.00/1800.64	c   conflict analysis:       0.00          0          0       0.00          -
1800.00/1800.64	c B&B Tree           :
1800.00/1800.64	c   number of runs   :          1
1800.00/1800.64	c   nodes            :    1334871
1800.00/1800.64	c   nodes (total)    :    1334871
1800.00/1800.64	c   nodes left       :       2013
1800.00/1800.64	c   max depth        :       2115
1800.00/1800.64	c   max depth (total):       2115
1800.00/1800.64	c   backtracks       :     442431 (33.1%)
1800.00/1800.64	c   delayed cutoffs  :     437650
1800.00/1800.64	c   repropagations   :    1548489 (12162896 domain reductions, 334709 cutoffs)
1800.00/1800.64	c   avg switch length:       3.50
1800.00/1800.64	c   switching time   :     143.09
1800.00/1800.64	c Solution           :
1800.00/1800.64	c   Solutions found  :          5 (5 improvements)
1800.00/1800.64	c   First Solution   : +2.20000000000000e+01   (in run 1, after 2089 nodes, 1.92 seconds, depth 2087, found by <relaxation>)
1800.00/1800.64	c   Primal Bound     : +1.80000000000000e+01   (in run 1, after 331119 nodes, 376.56 seconds, depth 2073, found by <relaxation>)
1800.00/1800.64	c   Dual Bound       : +2.00000000000000e+00
1800.00/1800.64	c   Gap              :     800.00 %
1800.00/1800.64	c   Root Dual Bound  : +1.00000000000000e+00
1800.00/1800.64	c   Root Iterations  :          0
1800.00/1800.70	c Time complete: 1800.1.

Verifier Data 

OK	18

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2663955-1276638880/watcher-2663955-1276638880 -o /tmp/evaluation-result-2663955-1276638880/solver-2663955-1276638880 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663955-1276638880.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.05 1.11 1.04 3/106 5960
/proc/meminfo: memFree=1813904/2059040 swapFree=4136120/4192956
[pid=5960] ppid=5958 vsize=5556 CPUtime=0
/proc/5960/stat : 5960 (pbscip.linux.x8) R 5958 5960 5306 0 -1 4202496 887 0 0 0 0 0 0 0 18 0 1 0 39489419 5689344 809 1992294400 4194304 7136930 140736047210000 18446744073709551615 6349764 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5960/statm: 1389 809 249 719 0 668 0

[startup+0.018634 s]
/proc/loadavg: 1.05 1.11 1.04 3/106 5960
/proc/meminfo: memFree=1813904/2059040 swapFree=4136120/4192956
[pid=5960] ppid=5958 vsize=10408 CPUtime=0
/proc/5960/stat : 5960 (pbscip.linux.x8) R 5958 5960 5306 0 -1 4202496 2060 0 0 0 0 0 0 0 18 0 1 0 39489419 10657792 1982 1992294400 4194304 7136930 140736047210000 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5960/statm: 2602 1994 266 719 0 1881 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10408

[startup+0.101648 s]
/proc/loadavg: 1.05 1.11 1.04 3/106 5960
/proc/meminfo: memFree=1813904/2059040 swapFree=4136120/4192956
[pid=5960] ppid=5958 vsize=14468 CPUtime=0.09
/proc/5960/stat : 5960 (pbscip.linux.x8) R 5958 5960 5306 0 -1 4202496 3107 0 0 0 8 1 0 0 21 0 1 0 39489419 14815232 3028 1992294400 4194304 7136930 140736047210000 18446744073709551615 4907370 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5960/statm: 3617 3028 271 719 0 2896 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14468

[startup+0.301683 s]
/proc/loadavg: 1.05 1.11 1.04 3/106 5960
/proc/meminfo: memFree=1813904/2059040 swapFree=4136120/4192956
[pid=5960] ppid=5958 vsize=19520 CPUtime=0.29
/proc/5960/stat : 5960 (pbscip.linux.x8) R 5958 5960 5306 0 -1 4202496 4366 0 0 0 28 1 0 0 21 0 1 0 39489419 19988480 4286 1992294400 4194304 7136930 140736047210000 18446744073709551615 4333573 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5960/statm: 4880 4286 272 719 0 4159 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19520

[startup+0.701751 s]
/proc/loadavg: 1.05 1.11 1.04 3/106 5960
/proc/meminfo: memFree=1813904/2059040 swapFree=4136120/4192956
[pid=5960] ppid=5958 vsize=44788 CPUtime=0.69
/proc/5960/stat : 5960 (pbscip.linux.x8) R 5958 5960 5306 0 -1 4202496 12267 0 0 0 61 8 0 0 22 0 1 0 39489419 45862912 10335 1992294400 4194304 7136930 140736047210000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5960/statm: 11550 10341 355 719 0 10829 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 44788

[startup+1.50189 s]
/proc/loadavg: 1.04 1.11 1.04 2/107 5961
/proc/meminfo: memFree=1771984/2059040 swapFree=4136120/4192956
[pid=5960] ppid=5958 vsize=46780 CPUtime=1.49
/proc/5960/stat : 5960 (pbscip.linux.x8) R 5958 5960 5306 0 -1 4202496 15126 0 0 0 137 12 0 0 25 0 1 0 39489419 47902720 10912 1992294400 4194304 7136930 140736047210000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5960/statm: 11695 10912 384 719 0 10974 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 46780

[startup+3.10116 s]
/proc/loadavg: 1.04 1.11 1.04 2/107 5961
/proc/meminfo: memFree=1770496/2059040 swapFree=4136120/4192956
[pid=5960] ppid=5958 vsize=47816 CPUtime=3.09
/proc/5960/stat : 5960 (pbscip.linux.x8) R 5958 5960 5306 0 -1 4202496 15368 0 0 0 292 17 0 0 25 0 1 0 39489419 48963584 11154 1992294400 4194304 7136930 140736047210000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5960/statm: 11954 11154 390 719 0 11233 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 47816

[startup+6.30171 s]
/proc/loadavg: 1.04 1.11 1.04 2/107 5961
/proc/meminfo: memFree=1770124/2059040 swapFree=4136120/4192956
[pid=5960] ppid=5958 vsize=48080 CPUtime=6.29
/proc/5960/stat : 5960 (pbscip.linux.x8) R 5958 5960 5306 0 -1 4202496 15440 0 0 0 602 27 0 0 25 0 1 0 39489419 49233920 11226 1992294400 4194304 7136930 140736047210000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5960/statm: 12020 11226 390 719 0 11299 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 48080

[startup+12.7008 s]
/proc/loadavg: 1.04 1.10 1.04 2/107 5961
/proc/meminfo: memFree=1769876/2059040 swapFree=4136120/4192956
[pid=5960] ppid=5958 vsize=48216 CPUtime=12.69
/proc/5960/stat : 5960 (pbscip.linux.x8) R 5958 5960 5306 0 -1 4202496 15476 0 0 0 1221 48 0 0 25 0 1 0 39489419 49373184 11262 1992294400 4194304 7136930 140736047210000 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5960/statm: 12054 11262 390 719 0 11333 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 48216

[startup+25.501 s]
/proc/loadavg: 1.03 1.10 1.04 2/107 5963
/proc/meminfo: memFree=1769752/2059040 swapFree=4136120/4192956
[pid=5960] ppid=5958 vsize=48348 CPUtime=25.48
/proc/5960/stat : 5960 (pbscip.linux.x8) R 5958 5960 5306 0 -1 4202496 15516 0 0 0 2462 86 0 0 25 0 1 0 39489419 49508352 11302 1992294400 4194304 7136930 140736047210000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5960/statm: 12087 11302 390 719 0 11366 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 48348

[startup+51.1014 s]
/proc/loadavg: 1.02 1.09 1.04 2/107 5963
/proc/meminfo: memFree=1769628/2059040 swapFree=4136120/4192956
[pid=5960] ppid=5958 vsize=48480 CPUtime=51.08
/proc/5960/stat : 5960 (pbscip.linux.x8) R 5958 5960 5306 0 -1 4202496 15546 0 0 0 4951 157 0 0 25 0 1 0 39489419 49643520 11332 1992294400 4194304 7136930 140736047210000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5960/statm: 12120 11332 390 719 0 11399 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 48480

[startup+102.308 s]
/proc/loadavg: 1.01 1.07 1.03 2/107 5965
/proc/meminfo: memFree=1768760/2059040 swapFree=4136120/4192956
[pid=5960] ppid=5958 vsize=49144 CPUtime=102.27
/proc/5960/stat : 5960 (pbscip.linux.x8) R 5958 5960 5306 0 -1 4202496 15726 0 0 0 9935 292 0 0 25 0 1 0 39489419 50323456 11512 1992294400 4194304 7136930 140736047210000 18446744073709551615 4661061 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5960/statm: 12286 11512 390 719 0 11565 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 49144

[startup+162.301 s]
/proc/loadavg: 1.00 1.06 1.03 2/107 5965
/proc/meminfo: memFree=1768140/2059040 swapFree=4136120/4192956
[pid=5960] ppid=5958 vsize=49548 CPUtime=162.24
/proc/5960/stat : 5960 (pbscip.linux.x8) R 5958 5960 5306 0 -1 4202496 15839 0 0 0 15770 454 0 0 25 0 1 0 39489419 50737152 11625 1992294400 4194304 7136930 140736047210000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5960/statm: 12387 11625 390 719 0 11666 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 49548

[startup+222.301 s]
/proc/loadavg: 1.00 1.04 1.02 2/107 5967
/proc/meminfo: memFree=1767892/2059040 swapFree=4136120/4192956
[pid=5960] ppid=5958 vsize=49816 CPUtime=222.22
/proc/5960/stat : 5960 (pbscip.linux.x8) R 5958 5960 5306 0 -1 4202496 15884 0 0 0 21607 615 0 0 25 0 1 0 39489419 51011584 11670 1992294400 4194304 7136930 140736047210000 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5960/statm: 12454 11670 390 719 0 11733 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 49816

[startup+282.301 s]
/proc/loadavg: 1.00 1.03 1.02 2/107 5969
/proc/meminfo: memFree=1767644/2059040 swapFree=4136120/4192956
[pid=5960] ppid=5958 vsize=50208 CPUtime=282.2
/proc/5960/stat : 5960 (pbscip.linux.x8) R 5958 5960 5306 0 -1 4202496 15933 0 0 0 27459 761 0 0 25 0 1 0 39489419 51412992 11719 1992294400 4194304 7136930 140736047210000 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5960/statm: 12552 11719 390 719 0 11831 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 50208

[startup+342.301 s]
/proc/loadavg: 1.00 1.02 1.01 2/107 5971
/proc/meminfo: memFree=1767520/2059040 swapFree=4136120/4192956
[pid=5960] ppid=5958 vsize=50208 CPUtime=342.19
/proc/5960/stat : 5960 (pbscip.linux.x8) R 5958 5960 5306 0 -1 4202496 15944 0 0 0 33310 909 0 0 25 0 1 0 39489419 51412992 11730 1992294400 4194304 7136930 140736047210000 18446744073709551615 4704395 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5960/statm: 12552 11730 390 719 0 11831 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 50208

[startup+402.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 5982
/proc/meminfo: memFree=1766280/2059040 swapFree=4136120/4192956
[pid=5960] ppid=5958 vsize=50208 CPUtime=402.14
/proc/5960/stat : 5960 (pbscip.linux.x8) R 5958 5960 5306 0 -1 4202496 15966 0 0 0 39153 1061 0 0 25 0 1 0 39489419 51412992 11752 1992294400 4194304 7136930 140736047210000 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5960/statm: 12552 11752 390 719 0 11831 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 50208

[startup+462.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 5982
/proc/meminfo: memFree=1766280/2059040 swapFree=4136120/4192956
[pid=5960] ppid=5958 vsize=50344 CPUtime=462.13
/proc/5960/stat : 5960 (pbscip.linux.x8) R 5958 5960 5306 0 -1 4202496 15983 0 0 0 45007 1206 0 0 25 0 1 0 39489419 51552256 11769 1992294400 4194304 7136930 140736047210000 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5960/statm: 12586 11769 390 719 0 11865 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 50344

[startup+522.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 5984
/proc/meminfo: memFree=1766280/2059040 swapFree=4136120/4192956
[pid=5960] ppid=5958 vsize=50480 CPUtime=522.1
/proc/5960/stat : 5960 (pbscip.linux.x8) R 5958 5960 5306 0 -1 4202496 16029 0 0 0 50859 1351 0 0 25 0 1 0 39489419 51691520 11815 1992294400 4194304 7136930 140736047210000 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5960/statm: 12620 11815 390 719 0 11899 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 50480

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5986
/proc/meminfo: memFree=1766280/2059040 swapFree=4136120/4192956
[pid=5960] ppid=5958 vsize=50480 CPUtime=582.09
/proc/5960/stat : 5960 (pbscip.linux.x8) R 5958 5960 5306 0 -1 4202496 16035 0 0 0 56706 1503 0 0 25 0 1 0 39489419 51691520 11821 1992294400 4194304 7136930 140736047210000 18446744073709551615 5506140 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5960/statm: 12620 11821 390 719 0 11899 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 50480

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5988
/proc/meminfo: memFree=1766280/2059040 swapFree=4136120/4192956
[pid=5960] ppid=5958 vsize=50480 CPUtime=642.08
/proc/5960/stat : 5960 (pbscip.linux.x8) R 5958 5960 5306 0 -1 4202496 16037 0 0 0 62559 1649 0 0 25 0 1 0 39489419 51691520 11823 1992294400 4194304 7136930 140736047210000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5960/statm: 12620 11823 390 719 0 11899 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 50480

[startup+702.301 s]

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

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5992
/proc/meminfo: memFree=1766280/2059040 swapFree=4136120/4192956
[pid=5960] ppid=5958 vsize=50752 CPUtime=822.01
/proc/5960/stat : 5960 (pbscip.linux.x8) R 5958 5960 5306 0 -1 4202496 16086 0 0 0 80123 2078 0 0 25 0 1 0 39489419 51970048 11872 1992294400 4194304 7136930 140736047210000 18446744073709551615 5506148 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5960/statm: 12688 11872 390 719 0 11967 0
Current children cumulated CPU time (s) 822.01
Current children cumulated vsize (KiB) 50752

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5994
/proc/meminfo: memFree=1766156/2059040 swapFree=4136120/4192956
[pid=5960] ppid=5958 vsize=50752 CPUtime=881.99
/proc/5960/stat : 5960 (pbscip.linux.x8) R 5958 5960 5306 0 -1 4202496 16102 0 0 0 85991 2208 0 0 25 0 1 0 39489419 51970048 11888 1992294400 4194304 7136930 140736047210000 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5960/statm: 12688 11888 390 719 0 11967 0
Current children cumulated CPU time (s) 881.99
Current children cumulated vsize (KiB) 50752

[startup+942.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5996
/proc/meminfo: memFree=1766156/2059040 swapFree=4136120/4192956
[pid=5960] ppid=5958 vsize=50884 CPUtime=941.97
/proc/5960/stat : 5960 (pbscip.linux.x8) R 5958 5960 5306 0 -1 4202496 16116 0 0 0 91849 2348 0 0 25 0 1 0 39489419 52105216 11902 1992294400 4194304 7136930 140736047210000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5960/statm: 12721 11902 390 719 0 12000 0
Current children cumulated CPU time (s) 941.97
Current children cumulated vsize (KiB) 50884

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5998
/proc/meminfo: memFree=1765908/2059040 swapFree=4136120/4192956
[pid=5960] ppid=5958 vsize=50884 CPUtime=1001.95
/proc/5960/stat : 5960 (pbscip.linux.x8) R 5958 5960 5306 0 -1 4202496 16137 0 0 0 97701 2494 0 0 25 0 1 0 39489419 52105216 11923 1992294400 4194304 7136930 140736047210000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5960/statm: 12721 11923 390 719 0 12000 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 50884

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5998
/proc/meminfo: memFree=1765908/2059040 swapFree=4136120/4192956
[pid=5960] ppid=5958 vsize=51016 CPUtime=1061.93
/proc/5960/stat : 5960 (pbscip.linux.x8) R 5958 5960 5306 0 -1 4202496 16159 0 0 0 103559 2634 0 0 25 0 1 0 39489419 52240384 11945 1992294400 4194304 7136930 140736047210000 18446744073709551615 4999867 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5960/statm: 12754 11945 390 719 0 12033 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 51016

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6000
/proc/meminfo: memFree=1765660/2059040 swapFree=4136120/4192956
[pid=5960] ppid=5958 vsize=51152 CPUtime=1121.91
/proc/5960/stat : 5960 (pbscip.linux.x8) R 5958 5960 5306 0 -1 4202496 16181 0 0 0 109408 2783 0 0 25 0 1 0 39489419 52379648 11967 1992294400 4194304 7136930 140736047210000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5960/statm: 12788 11967 390 719 0 12067 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 51152

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6005
/proc/meminfo: memFree=1764792/2059040 swapFree=4136120/4192956
[pid=5960] ppid=5958 vsize=51284 CPUtime=1181.89
/proc/5960/stat : 5960 (pbscip.linux.x8) R 5958 5960 5306 0 -1 4202496 16223 0 0 0 115260 2929 0 0 25 0 1 0 39489419 52514816 12009 1992294400 4194304 7136930 140736047210000 18446744073709551615 4642122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5960/statm: 12821 12009 390 719 0 12100 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 51284

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6007
/proc/meminfo: memFree=1764792/2059040 swapFree=4136120/4192956
[pid=5960] ppid=5958 vsize=51284 CPUtime=1241.87
/proc/5960/stat : 5960 (pbscip.linux.x8) R 5958 5960 5306 0 -1 4202496 16230 0 0 0 121121 3066 0 0 25 0 1 0 39489419 52514816 12016 1992294400 4194304 7136930 140736047210000 18446744073709551615 5507220 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5960/statm: 12821 12016 390 719 0 12100 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 51284

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6009
/proc/meminfo: memFree=1764792/2059040 swapFree=4136120/4192956
[pid=5960] ppid=5958 vsize=51284 CPUtime=1301.86
/proc/5960/stat : 5960 (pbscip.linux.x8) R 5958 5960 5306 0 -1 4202496 16236 0 0 0 126984 3202 0 0 25 0 1 0 39489419 52514816 12022 1992294400 4194304 7136930 140736047210000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5960/statm: 12821 12022 390 719 0 12100 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 51284

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6009
/proc/meminfo: memFree=1764792/2059040 swapFree=4136120/4192956
[pid=5960] ppid=5958 vsize=51424 CPUtime=1361.84
/proc/5960/stat : 5960 (pbscip.linux.x8) R 5958 5960 5306 0 -1 4202496 16247 0 0 0 132844 3340 0 0 25 0 1 0 39489419 52658176 12033 1992294400 4194304 7136930 140736047210000 18446744073709551615 4999902 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5960/statm: 12856 12033 390 719 0 12135 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 51424

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6011
/proc/meminfo: memFree=1764792/2059040 swapFree=4136120/4192956
[pid=5960] ppid=5958 vsize=51424 CPUtime=1421.83
/proc/5960/stat : 5960 (pbscip.linux.x8) R 5958 5960 5306 0 -1 4202496 16255 0 0 0 138711 3472 0 0 25 0 1 0 39489419 52658176 12041 1992294400 4194304 7136930 140736047210000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5960/statm: 12856 12041 390 719 0 12135 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 51424

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6013
/proc/meminfo: memFree=1764792/2059040 swapFree=4136120/4192956
[pid=5960] ppid=5958 vsize=51424 CPUtime=1481.79
/proc/5960/stat : 5960 (pbscip.linux.x8) R 5958 5960 5306 0 -1 4202496 16256 0 0 0 144571 3608 0 0 25 0 1 0 39489419 52658176 12042 1992294400 4194304 7136930 140736047210000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5960/statm: 12856 12042 390 719 0 12135 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 51424

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 6015
/proc/meminfo: memFree=1764792/2059040 swapFree=4136120/4192956
[pid=5960] ppid=5958 vsize=51424 CPUtime=1541.78
/proc/5960/stat : 5960 (pbscip.linux.x8) R 5958 5960 5306 0 -1 4202496 16267 0 0 0 150435 3743 0 0 25 0 1 0 39489419 52658176 12053 1992294400 4194304 7136930 140736047210000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5960/statm: 12856 12053 390 719 0 12135 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 51424

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6017
/proc/meminfo: memFree=1764792/2059040 swapFree=4136120/4192956
[pid=5960] ppid=5958 vsize=51424 CPUtime=1601.76
/proc/5960/stat : 5960 (pbscip.linux.x8) R 5958 5960 5306 0 -1 4202496 16272 0 0 0 156297 3879 0 0 25 0 1 0 39489419 52658176 12058 1992294400 4194304 7136930 140736047210000 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5960/statm: 12856 12058 390 719 0 12135 0
Current children cumulated CPU time (s) 1601.76
Current children cumulated vsize (KiB) 51424

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6017
/proc/meminfo: memFree=1764668/2059040 swapFree=4136120/4192956
[pid=5960] ppid=5958 vsize=51580 CPUtime=1661.73
/proc/5960/stat : 5960 (pbscip.linux.x8) R 5958 5960 5306 0 -1 4202496 16289 0 0 0 162158 4015 0 0 25 0 1 0 39489419 52817920 12075 1992294400 4194304 7136930 140736047210000 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5960/statm: 12895 12075 390 719 0 12174 0
Current children cumulated CPU time (s) 1661.73
Current children cumulated vsize (KiB) 51580

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6019
/proc/meminfo: memFree=1764668/2059040 swapFree=4136120/4192956
[pid=5960] ppid=5958 vsize=51580 CPUtime=1721.72
/proc/5960/stat : 5960 (pbscip.linux.x8) R 5958 5960 5306 0 -1 4202496 16295 0 0 0 168023 4149 0 0 25 0 1 0 39489419 52817920 12081 1992294400 4194304 7136930 140736047210000 18446744073709551615 5000327 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5960/statm: 12895 12081 390 719 0 12174 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 51580

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6021
/proc/meminfo: memFree=1764420/2059040 swapFree=4136120/4192956
[pid=5960] ppid=5958 vsize=51580 CPUtime=1781.69
/proc/5960/stat : 5960 (pbscip.linux.x8) R 5958 5960 5306 0 -1 4202496 16309 0 0 0 173883 4286 0 0 25 0 1 0 39489419 52817920 12095 1992294400 4194304 7136930 140736047210000 18446744073709551615 4660982 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5960/statm: 12895 12095 390 719 0 12174 0
Current children cumulated CPU time (s) 1781.69
Current children cumulated vsize (KiB) 51580



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6021
/proc/meminfo: memFree=1764296/2059040 swapFree=4136120/4192956
[pid=5960] ppid=5958 vsize=51712 CPUtime=1800
/proc/5960/stat : 5960 (pbscip.linux.x8) R 5958 5960 5306 0 -1 4202496 16321 0 0 0 175669 4331 0 0 25 0 1 0 39489419 52953088 12107 1992294400 4194304 7136930 140736047210000 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5960/statm: 12928 12107 390 719 0 12207 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 51712

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

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

Child status: 0
Real time (s): 1800.71
CPU time (s): 1800.11
CPU user time (s): 1756.78
CPU system time (s): 43.3254
CPU usage (%): 99.9667
Max. virtual memory (cumulated for all children) (KiB): 51712

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1756.78
system time used= 43.3254
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16361
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= 4
involuntary context switches= 3320

runsolver used 2.88056 second user time and 8.61669 second system time

The end

Launcher Data 

Begin job on node014 at 2010-06-15 23:54:40
IDJOB=2663955
IDBENCH=25010
IDSOLVER=1167
FILE ID=node014/2663955-1276638880
PBS_JOBID= 11172358
Free space on /tmp= 62572 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_delay/normalized-fir06_area_delay.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2663955-1276638880/watcher-2663955-1276638880 -o /tmp/evaluation-result-2663955-1276638880/solver-2663955-1276638880 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663955-1276638880.opb -t 1800 -m 1800

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

MD5SUM BENCH= 21fb64899a6dc4867ccfcbb30d44d536
RANDOM SEED=2043678917

node014.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.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1814432 kB
Buffers:         62232 kB
Cached:          95260 kB
SwapCached:      10712 kB
Active:          80548 kB
Inactive:        91396 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1814432 kB
SwapTotal:     4192956 kB
SwapFree:      4136120 kB
Dirty:            3620 kB
Writeback:           0 kB
AnonPages:       12776 kB
Mapped:           9432 kB
Slab:            50864 kB
PageTables:       4064 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183832 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62568 MiB
End job on node014 at 2010-06-16 00:24:43