Trace number 3733495

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
PB10: SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solverSAT1133706240 1789.85 1790.14

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-nsrand-ipx.opb
MD5SUM6eba7367ef128fb0872fe815e4ef2398
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1205862294
Best CPU time to get the best result obtained on this benchmark1800.56
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1207959552
Optimality of the best value was proved NO
Number of variables6651
Total number of constraints721
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)331
Number of constraints which are nor clauses,nor cardinality constraints390
Minimum length of a constraint20
Maximum length of a constraint6651
Number of terms in the objective function 31
Biggest coefficient in the objective function 1073741824
Number of bits for the biggest coefficient in the objective function 31
Sum of the numbers in the objective function 2147483647
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 1073741824
Number of bits of the biggest number in a constraint 31
Biggest sum of numbers in a constraint 26715880447
Number of bits of the biggest sum of numbers35
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.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
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-3733495-1338697682.opb>
0.09/0.19	c original problem has 6651 variables (6651 bin, 0 int, 0 impl, 0 cont) and 721 constraints
0.09/0.19	c problem read
0.09/0.19	c presolving settings loaded
0.19/0.24	c presolving:
0.28/0.31	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 90897 chg coeffs, 0 upgd conss, 0 impls, 331 clqs
0.28/0.38	c (round 2) 0 del vars, 184 del conss, 0 chg bounds, 55 chg sides, 90897 chg coeffs, 0 upgd conss, 0 impls, 331 clqs
0.28/0.38	c (round 3) 20 del vars, 185 del conss, 0 chg bounds, 55 chg sides, 90897 chg coeffs, 0 upgd conss, 0 impls, 330 clqs
0.39/0.43	c (round 4) 20 del vars, 185 del conss, 0 chg bounds, 55 chg sides, 90897 chg coeffs, 536 upgd conss, 0 impls, 330 clqs
1.29/1.34	c (round 5) 20 del vars, 185 del conss, 0 chg bounds, 75 chg sides, 157162 chg coeffs, 536 upgd conss, 13240 impls, 330 clqs
1.39/1.42	c (round 6) 30 del vars, 185 del conss, 0 chg bounds, 75 chg sides, 157162 chg coeffs, 536 upgd conss, 13240 impls, 330 clqs
1.79/1.81	c    (1.6s) probing: 102/6621 (1.5%) - 1 fixings, 0 aggregations, 0 implications, 0 bound changes
1.79/1.81	c    (1.6s) probing aborted: 100/100 successive totally useless probings
1.79/1.81	c (round 7) 31 del vars, 185 del conss, 0 chg bounds, 75 chg sides, 157162 chg coeffs, 536 upgd conss, 13240 impls, 330 clqs
1.79/1.88	c    (1.7s) probing: 112/6621 (1.7%) - 1 fixings, 0 aggregations, 0 implications, 0 bound changes
1.79/1.88	c    (1.7s) probing aborted: 100/100 successive totally useless probings
1.79/1.88	c presolving (8 rounds):
1.79/1.88	c  31 deleted vars, 185 deleted constraints, 0 tightened bounds, 0 added holes, 75 changed sides, 157162 changed coefficients
1.79/1.88	c  13240 implications, 330 cliques
1.79/1.88	c presolved problem has 6620 variables (6620 bin, 0 int, 0 impl, 0 cont) and 536 constraints
1.79/1.88	c     183 constraints of type <knapsack>
1.79/1.88	c     330 constraints of type <setppc>
1.79/1.88	c      23 constraints of type <logicor>
1.79/1.88	c transformed objective value is always integral (scale: 1024)
1.79/1.88	c Presolving Time: 1.64
1.79/1.88	c - non default parameters ----------------------------------------------------------------------
1.79/1.88	c # SCIP version 1.2.1.3
1.79/1.88	c 
1.79/1.88	c # frequency for displaying node information lines
1.79/1.88	c # [type: int, range: [-1,2147483647], default: 100]
1.79/1.88	c display/freq = 10000
1.79/1.88	c 
1.79/1.88	c # maximal time in seconds to run
1.79/1.88	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.79/1.88	c limits/time = 1789.82
1.79/1.88	c 
1.79/1.88	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.79/1.88	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.79/1.88	c limits/memory = 13950
1.79/1.88	c 
1.79/1.88	c # default clock type (1: CPU user seconds, 2: wall clock time)
1.79/1.88	c # [type: int, range: [1,2], default: 1]
1.79/1.88	c timing/clocktype = 2
1.79/1.88	c 
1.79/1.88	c # should presolving try to simplify inequalities
1.79/1.88	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.79/1.88	c constraints/linear/simplifyinequalities = TRUE
1.79/1.88	c 
1.79/1.88	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1.79/1.88	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.79/1.88	c constraints/indicator/addCouplingCons = TRUE
1.79/1.88	c 
1.79/1.88	c # should presolving try to simplify knapsacks
1.79/1.88	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.79/1.88	c constraints/knapsack/simplifyinequalities = TRUE
1.79/1.88	c 
1.79/1.88	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.79/1.88	c # [type: int, range: [-1,2147483647], default: -1]
1.79/1.88	c separating/rapidlearning/freq = 0
1.79/1.88	c 
1.79/1.88	c -----------------------------------------------------------------------------------------------
1.79/1.88	c start solving
1.79/1.88	c 
1.89/1.98	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1.89/1.98	c   1.8s|     1 |     0 |   305 |     - |  43M|   0 |  70 |6620 | 536 |6620 | 536 |   0 |   0 |   0 | 1.124601e+09 |      --      |    Inf 
1.89/1.99	o 1610612736
1.89/1.99	c s 1.8s|     1 |     0 |   305 |     - |  43M|   0 |  70 |6620 | 536 |6620 | 536 |   0 |   0 |   0 | 1.124601e+09 | 1.610613e+09 |  43.22%
10.29/10.33	c  10.1s|     1 |     0 |   356 |     - |  44M|   0 |  84 |6620 | 536 |6620 | 562 |  26 |   0 |   0 | 1.124651e+09 | 1.610613e+09 |  43.21%
17.99/18.06	c  17.9s|     1 |     0 |   430 |     - |  45M|   0 |  97 |6620 | 536 |6620 | 585 |  49 |   0 |   0 | 1.124824e+09 | 1.610613e+09 |  43.19%
25.89/25.91	c  25.7s|     1 |     0 |   495 |     - |  45M|   0 | 104 |6620 | 536 |6620 | 602 |  66 |   0 |   0 | 1.124882e+09 | 1.610613e+09 |  43.18%
33.78/33.81	c  33.6s|     1 |     0 |   578 |     - |  45M|   0 |  96 |6620 | 536 |6620 | 615 |  79 |   0 |   0 | 1.125008e+09 | 1.610613e+09 |  43.16%
41.98/42.05	c  41.9s|     1 |     0 |   659 |     - |  45M|   0 | 100 |6620 | 536 |6620 | 623 |  87 |   0 |   0 | 1.125067e+09 | 1.610613e+09 |  43.16%
49.98/50.08	c  49.9s|     1 |     0 |   697 |     - |  46M|   0 | 107 |6620 | 536 |6620 | 630 |  94 |   0 |   0 | 1.125078e+09 | 1.610613e+09 |  43.16%
57.88/57.93	c  57.7s|     1 |     0 |   716 |     - |  46M|   0 | 115 |6620 | 536 |6620 | 635 |  99 |   0 |   0 | 1.125080e+09 | 1.610613e+09 |  43.16%
66.27/66.30	c  66.1s|     1 |     0 |   745 |     - |  46M|   0 | 107 |6620 | 536 |6620 | 638 | 102 |   0 |   0 | 1.125100e+09 | 1.610613e+09 |  43.15%
73.97/74.04	c  73.8s|     1 |     0 |   748 |     - |  46M|   0 | 105 |6620 | 536 |6620 | 639 | 103 |   0 |   0 | 1.125100e+09 | 1.610613e+09 |  43.15%
82.06/82.17	c  82.0s|     1 |     0 |   749 |     - |  46M|   0 | 107 |6620 | 536 |6620 | 640 | 104 |   0 |   0 | 1.125100e+09 | 1.610613e+09 |  43.15%
89.56/89.67	c  89.5s|     1 |     0 |   755 |     - |  46M|   0 | 105 |6620 | 536 |6620 | 634 | 105 |   0 |   0 | 1.125100e+09 | 1.610613e+09 |  43.15%
97.06/97.16	c  97.0s|     1 |     0 |   759 |     - |  46M|   0 | 110 |6620 | 536 |6620 | 637 | 108 |   0 |   0 | 1.125100e+09 | 1.610613e+09 |  43.15%
104.56/104.66	c   104s|     1 |     0 |   761 |     - |  46M|   0 | 111 |6620 | 536 |6620 | 639 | 110 |   0 |   0 | 1.125100e+09 | 1.610613e+09 |  43.15%
106.05/106.18	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
106.05/106.18	c   106s|     1 |     2 |  4080 |     - |  46M|   0 | 111 |6620 | 536 |6620 | 639 | 110 |   0 |  30 | 1.125100e+09 | 1.610613e+09 |  43.15%
106.67/106.76	o 1344274432
106.67/106.76	c R 107s|     4 |     3 |  4195 |1144.7 |  46M|   3 |  96 |6620 | 536 |6620 | 606 | 110 |   0 |  77 | 1.125180e+09 | 1.344274e+09 |  19.47%
107.06/107.11	o 1342177280
107.06/107.11	c b 107s|     5 |     4 |  4195 | 858.5 |  46M|   4 |   - |6620 | 536 |6620 | 606 | 110 |   0 |  94 | 1.125180e+09 | 1.342177e+09 |  19.29%
107.26/107.31	o 1210056704
107.26/107.31	c R 107s|     5 |     4 |  4235 | 868.5 |  46M|   4 |  97 |6620 | 536 |6620 | 606 | 110 |   0 | 109 | 1.125180e+09 | 1.210057e+09 |   7.54%
107.55/107.66	o 1207959552
107.55/107.66	c b 107s|     5 |     6 |  4235 | 868.5 |  47M|   4 |  97 |6620 | 536 |6620 | 606 | 110 |   0 | 127 | 1.125180e+09 | 1.207960e+09 |   7.36%
111.55/111.62	o 1174405120
111.55/111.62	c c 111s|    16 |    17 |  5222 | 297.4 |  47M|  15 |   - |6620 | 536 |6620 | 606 | 110 |   0 | 345 | 1.125180e+09 | 1.174405e+09 |   4.37%
111.55/111.64	o 1157627904
111.55/111.64	c c 111s|    16 |    17 |  5223 | 297.5 |  47M|  15 |   - |6620 | 536 |6620 | 606 | 110 |   0 | 345 | 1.125180e+09 | 1.157628e+09 |   2.88%
111.55/111.67	o 1149239296
111.55/111.67	c c 111s|    16 |    17 |  5224 | 297.5 |  47M|  15 |   - |6620 | 536 |6620 | 606 | 110 |   0 | 345 | 1.125180e+09 | 1.149239e+09 |   2.14%
111.65/111.70	o 1145044992
111.65/111.70	c c 112s|    16 |    17 |  5225 | 297.6 |  47M|  15 |   - |6620 | 536 |6620 | 606 | 110 |   0 | 345 | 1.125180e+09 | 1.145045e+09 |   1.77%
111.65/111.75	o 1143996416
111.65/111.75	c c 112s|    16 |    17 |  5227 | 297.7 |  47M|  15 |   - |6620 | 536 |6620 | 606 | 110 |   0 | 345 | 1.125180e+09 | 1.143996e+09 |   1.67%
111.75/111.83	o 1143865344
111.75/111.83	c c 112s|    16 |    17 |  5230 | 297.9 |  47M|  15 |   - |6620 | 536 |6620 | 606 | 110 |   0 | 345 | 1.125180e+09 | 1.143865e+09 |   1.66%
111.85/111.94	o 1143864320
111.85/111.94	c c 112s|    16 |    17 |  5237 | 298.4 |  48M|  15 |   - |6620 | 536 |6620 | 606 | 110 |   0 | 345 | 1.125180e+09 | 1.143864e+09 |   1.66%
115.65/115.71	o 1142423552
115.65/115.71	c p 116s|    29 |    30 |  6548 | 206.7 |  48M|  15 |   - |6620 | 536 |6620 | 606 | 110 |   0 | 541 | 1.125227e+09 | 1.142424e+09 |   1.53%
115.65/115.74	o 1137704960
115.65/115.74	c p 116s|    29 |    30 |  6551 | 206.8 |  48M|  15 |   - |6620 | 536 |6620 | 606 | 110 |   0 | 541 | 1.125227e+09 | 1.137705e+09 |   1.11%
115.75/115.86	o 1137702912
115.75/115.86	c p 116s|    29 |    30 |  6563 | 207.2 |  48M|  15 |   - |6620 | 540 |6620 | 606 | 110 |   4 | 541 | 1.125227e+09 | 1.137703e+09 |   1.11%
115.95/116.04	o 1137639424
115.95/116.04	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
115.95/116.04	c b 116s|    29 |    30 |  6565 | 207.3 |  48M|  15 |  54 |6620 | 545 |6620 | 606 | 110 |   9 | 541 | 1.125227e+09 | 1.137639e+09 |   1.10%
133.05/133.19	o 1136656384
133.05/133.19	c f 133s|   141 |   141 | 15700 | 106.7 |  49M|  25 |   - |6620 | 553 |6620 | 606 | 110 |  17 |1842 | 1.125227e+09 | 1.136656e+09 |   1.02%
133.15/133.23	o 1135607808
133.15/133.23	c f 133s|   141 |   141 | 15702 | 106.7 |  50M|  25 |   - |6620 | 553 |6620 | 606 | 110 |  17 |1842 | 1.125227e+09 | 1.135608e+09 |   0.92%
133.15/133.28	o 1135083520
133.15/133.28	c f 133s|   141 |   141 | 15703 | 106.7 |  50M|  25 |   - |6620 | 553 |6620 | 606 | 110 |  17 |1842 | 1.125227e+09 | 1.135084e+09 |   0.88%
133.24/133.33	o 1135017984
133.24/133.33	c f 133s|   141 |   141 | 15706 | 106.8 |  50M|  25 |   - |6620 | 553 |6620 | 606 | 110 |  17 |1842 | 1.125227e+09 | 1.135018e+09 |   0.87%
133.24/133.38	o 1135016960
133.24/133.38	c f 133s|   141 |   141 | 15712 | 106.8 |  50M|  25 |   - |6620 | 553 |6620 | 606 | 110 |  17 |1842 | 1.125227e+09 | 1.135017e+09 |   0.87%
258.73/258.84	o 1134821376
258.73/258.84	c c 259s|   928 |   922 | 78593 |  84.0 |  56M|  31 |   - |6620 | 721 |6620 | 606 | 110 | 185 |3373 | 1.125298e+09 | 1.134821e+09 |   0.85%
258.73/258.88	o 1134690304
258.73/258.88	c c 259s|   928 |   922 | 78594 |  84.0 |  57M|  31 |   - |6620 | 721 |6620 | 606 | 110 | 185 |3373 | 1.125298e+09 | 1.134690e+09 |   0.83%
258.83/258.92	o 1134689280
258.83/258.92	c c 259s|   928 |   922 | 78601 |  84.0 |  57M|  31 |   - |6620 | 721 |6620 | 606 | 110 | 185 |3373 | 1.125298e+09 | 1.134689e+09 |   0.83%
288.03/288.12	o 1134559232
288.03/288.12	c c 288s|  1114 |  1106 | 97181 |  86.6 |  57M|  31 |   - |6620 | 733 |6620 | 606 | 110 | 197 |3479 | 1.125298e+09 | 1.134559e+09 |   0.82%
288.13/288.20	o 1134526464
288.13/288.20	c c 288s|  1114 |  1106 | 97187 |  86.6 |  58M|  31 |   - |6620 | 733 |6620 | 606 | 110 | 197 |3479 | 1.125298e+09 | 1.134526e+09 |   0.82%
288.13/288.28	o 1134525440
288.13/288.28	c c 288s|  1114 |  1106 | 97192 |  86.6 |  58M|  31 |   - |6620 | 733 |6620 | 606 | 110 | 197 |3479 | 1.125298e+09 | 1.134525e+09 |   0.82%
491.10/491.28	o 1134428160
491.10/491.28	c c 491s|  2032 |  2023 |214233 | 105.1 |  63M|  53 |   - |6620 | 763 |6620 | 606 | 110 | 227 |4026 | 1.125336e+09 | 1.134428e+09 |   0.81%
491.20/491.36	o 1134362624
491.20/491.36	c c 491s|  2032 |  2020 |214234 | 105.1 |  63M|  53 |   - |6620 | 763 |6620 | 606 | 110 | 227 |4026 | 1.125336e+09 | 1.134363e+09 |   0.80%
491.30/491.43	o 1134361600
491.30/491.43	c c 491s|  2032 |  2020 |214240 | 105.1 |  63M|  53 |   - |6620 | 763 |6620 | 606 | 110 | 227 |4026 | 1.125336e+09 | 1.134362e+09 |   0.80%
609.38/609.56	o 1134297088
609.38/609.56	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
609.38/609.56	c c 609s|  2539 |  2521 |267349 | 105.0 |  68M|  74 |   - |6620 | 790 |6620 | 606 | 110 | 256 |4282 | 1.125336e+09 | 1.134297e+09 |   0.80%
609.47/609.64	o 1134231552
609.47/609.64	c c 609s|  2539 |  2519 |267351 | 105.0 |  68M|  74 |   - |6620 | 790 |6620 | 606 | 110 | 256 |4282 | 1.125336e+09 | 1.134232e+09 |   0.79%
609.57/609.72	o 1134198784
609.57/609.72	c c 610s|  2539 |  2518 |267352 | 105.0 |  69M|  74 |   - |6620 | 790 |6620 | 606 | 110 | 256 |4282 | 1.125336e+09 | 1.134199e+09 |   0.79%
609.67/609.80	o 1134197760
609.67/609.80	c c 610s|  2539 |  2518 |267357 | 105.0 |  69M|  74 |   - |6620 | 790 |6620 | 606 | 110 | 256 |4282 | 1.125336e+09 | 1.134198e+09 |   0.79%
738.46/738.61	o 1134034944
738.46/738.61	c c 738s|  3115 |  3082 |325746 | 104.4 |  74M|  74 |   - |6620 | 819 |6620 | 606 | 110 | 291 |4616 | 1.125357e+09 | 1.134035e+09 |   0.77%
738.46/738.69	o 1134033920
738.46/738.69	c c 738s|  3115 |  3082 |325755 | 104.4 |  74M|  74 |   - |6620 | 819 |6620 | 606 | 110 | 291 |4616 | 1.125357e+09 | 1.134034e+09 |   0.77%
872.43/872.64	o 1133903872
872.43/872.64	c c 872s|  3469 |  3419 |365588 | 105.2 |  79M|  74 |   - |6620 | 874 |6620 | 606 | 110 | 378 |4765 | 1.125357e+09 | 1.133904e+09 |   0.76%
872.53/872.74	o 1133871104
872.53/872.74	c c 873s|  3469 |  3415 |365590 | 105.2 |  78M|  74 |   - |6620 | 874 |6620 | 606 | 110 | 378 |4765 | 1.125357e+09 | 1.133871e+09 |   0.76%
872.63/872.84	o 1133870080
872.63/872.84	c c 873s|  3469 |  3415 |365595 | 105.2 |  78M|  74 |   - |6620 | 874 |6620 | 606 | 110 | 378 |4765 | 1.125357e+09 | 1.133870e+09 |   0.76%
1017.01/1017.28	o 1133772800
1017.01/1017.28	c c1017s|  4013 |  3919 |423327 | 105.3 |  86M|  74 |   - |6620 | 862 |6620 | 606 | 110 | 419 |5021 | 1.125361e+09 | 1.133773e+09 |   0.75%
1017.11/1017.35	o 1133707264
1017.11/1017.35	c c1017s|  4013 |  3910 |423329 | 105.3 |  86M|  74 |   - |6620 | 862 |6620 | 606 | 110 | 419 |5021 | 1.125361e+09 | 1.133707e+09 |   0.74%
1017.21/1017.42	o 1133706240
1017.21/1017.42	c c1017s|  4013 |  3910 |423335 | 105.3 |  86M|  74 |   - |6620 | 862 |6620 | 606 | 110 | 419 |5021 | 1.125361e+09 | 1.133706e+09 |   0.74%
1789.70/1790.03	c 
1789.70/1790.03	c SCIP Status        : solving was interrupted [time limit reached]
1789.70/1790.03	c Solving Time (sec) : 1789.84
1789.70/1790.03	c Solving Nodes      : 8813
1789.70/1790.03	c Primal Bound       : +1.13370624000000e+09 (67 solutions)
1789.70/1790.03	c Dual Bound         : +1.12541695212141e+09
1789.70/1790.03	c Gap                : 0.74 %
1789.70/1790.05	s SATISFIABLE
1789.70/1790.05	v -x6278 -x6277 -x6275 -x6274 -x6273 -x6272 -x6271 -x6270 -x6269 -x6268 -x6267 -x6266 x6264 -x6263 -x6262 -x6261 -x6260 -x6259 -x6258 
1789.70/1790.05	v -x6257 -x6256 -x6255 -x6252 -x6251 -x6250 -x6249 -x6248 -x6247 -x6246 -x6245 -x6244 -x6243 -x6241 -x6240 -x6239 -x6238 -x6237 
1789.70/1790.05	v -x6236 -x6235 -x6234 -x6233 -x6232 -x6230 -x6229 -x6228 -x6227 -x6226 -x6225 -x6224 -x6223 -x6222 -x6221 -x6219 -x6218 
1789.70/1790.05	v -x6217 -x6216 -x6215 -x6214 -x6213 -x6212 -x6211 -x6210 -x6208 -x6207 -x6206 -x6205 -x6204 -x6203 -x6202 -x6201 -x6200 -x6199 
1789.70/1790.05	v -x6197 -x6196 -x6195 -x6194 -x6193 -x6192 -x6191 -x6190 -x6189 -x6188 -x6186 -x6185 -x6184 -x6183 -x6182 -x6181 -x6180 -x6179 
1789.70/1790.05	v -x6178 -x6177 -x6175 -x6174 -x6173 -x6172 -x6171 -x6170 -x6169 -x6168 -x6167 -x6166 -x6164 -x6163 -x6162 -x6161 -x6160 -x6159 
1789.70/1790.05	v -x6158 -x6157 -x6156 -x6155 -x6153 -x6152 -x6151 -x6150 -x6149 -x6148 -x6147 -x6146 -x6145 -x6144 -x6141 -x6140 x6139 -x6138 
1789.70/1790.05	v -x6137 -x6136 -x6135 -x6134 -x6133 -x6132 -x6130 -x6129 -x6128 -x6127 -x6126 -x6125 -x6124 -x6123 -x6122 -x6121 -x6119 -x6118 
1789.70/1790.05	v -x6117 -x6116 -x6115 -x6114 -x6113 -x6112 -x6111 -x6110 -x6108 -x6107 -x6106 -x6105 -x6104 -x6103 -x6102 -x6101 -x6100 -x6099 
1789.70/1790.05	v -x6097 -x6096 -x6095 -x6094 -x6093 -x6092 -x6091 -x6090 -x6089 -x6088 -x6086 -x6085 -x6084 -x6083 -x6082 -x6081 -x6080 -x6079 
1789.70/1790.05	v -x6078 -x6077 -x6075 -x6074 -x6073 -x6072 -x6071 -x6070 -x6069 -x6068 -x6067 -x6066 -x6064 -x6063 -x6062 -x6061 -x6060 
1789.70/1790.05	v -x6059 -x6058 -x6057 -x6056 -x6055 -x6053 -x6052 -x6051 -x6050 -x6049 -x6048 -x6047 -x6046 -x6045 -x6044 -x6042 -x6041 -x6040 
1789.70/1790.05	v -x6039 -x6038 -x6037 -x6036 -x6035 -x6034 -x6033 -x6030 -x6029 -x6028 -x6027 -x6026 -x6025 -x6024 -x6023 -x6022 -x6021 -x6019 
1789.70/1790.05	v -x6018 -x6017 -x6016 -x6015 -x6014 -x6013 -x6012 -x6011 -x6010 -x6008 -x6007 -x6006 -x6005 -x6004 -x6003 x6002 -x6001 -x6000 
1789.70/1790.05	v -x5999 -x5997 -x5996 -x5995 -x5994 -x5993 -x5992 -x5991 -x5990 -x5989 -x5988 -x5986 -x5985 -x5984 -x5983 -x5982 -x5981 -x5980 
1789.70/1790.05	v -x5979 -x5978 -x5977 -x5975 -x5974 -x5973 -x5972 -x5971 -x5970 -x5969 -x5968 -x5967 -x5966 -x5964 -x5963 -x5962 -x5961 -x5960 
1789.70/1790.05	v -x5959 -x5958 -x5957 -x5956 -x5955 -x5953 -x5952 -x5951 -x5950 -x5949 -x5948 -x5947 -x5946 -x5945 -x5944 -x5942 -x5941 -x5940 
1789.70/1790.05	v -x5939 -x5938 -x5937 -x5936 -x5935 -x5934 -x5933 -x5931 -x5930 -x5929 -x5928 -x5927 -x5926 -x5925 -x5924 -x5923 -x5922 -x5919 
1789.70/1790.05	v -x5918 -x5917 -x5916 -x5915 -x5914 -x5913 -x5912 -x5911 -x5910 -x5908 -x5907 -x5906 -x5905 -x5904 -x5903 -x5902 -x5901 
1789.70/1790.05	v -x5900 -x5899 -x5897 -x5896 -x5895 -x5894 -x5893 -x5892 -x5891 -x5890 -x5889 -x5888 -x5886 -x5885 -x5884 -x5883 -x5882 -x5881 
1789.70/1790.05	v -x5880 -x5879 -x5878 -x5877 -x5875 -x5874 -x5873 -x5872 -x5871 -x5870 -x5869 -x5868 -x5867 -x5866 -x5864 -x5863 -x5862 -x5861 
1789.70/1790.05	v -x5860 -x5859 -x5858 -x5857 -x5856 -x5855 -x5853 -x5852 -x5851 -x5850 -x5849 -x5848 -x5847 -x5846 -x5845 -x5844 -x5842 -x5841 
1789.70/1790.05	v -x5840 -x5839 -x5838 -x5837 -x5836 -x5835 -x5834 -x5833 -x5831 -x5830 -x5829 -x5828 -x5827 -x5826 -x5825 -x5824 -x5823 -x5822 
1789.70/1790.05	v -x5820 -x5819 -x5818 -x5817 -x5816 -x5815 -x5814 -x5813 -x5812 -x5811 -x5808 -x5807 -x5806 -x5805 -x5804 -x5803 -x5802 -x5801 
1789.70/1790.05	v -x5800 -x5799 -x5797 -x5796 -x5795 -x5794 -x5793 -x5792 -x5791 -x5790 -x5789 -x5788 -x5786 -x5785 -x5784 -x5783 -x5782 -x5781 
1789.70/1790.05	v -x5780 -x5779 -x5778 -x5777 -x5775 -x5774 -x5773 -x5772 -x5771 -x5770 -x5769 -x5768 -x5767 -x5766 -x5764 -x5763 -x5762 
1789.70/1790.05	v -x5761 -x5760 -x5759 -x5758 -x5757 -x5756 -x5755 -x5753 -x5752 -x5751 -x5750 -x5749 -x5748 -x5747 -x5746 -x5745 -x5744 -x5742 
1789.70/1790.05	v -x5741 -x5740 -x5739 -x5738 -x5737 -x5736 -x5735 -x5734 -x5733 -x5731 -x5730 -x5729 -x5728 -x5727 -x5726 -x5725 -x5724 -x5723 
1789.70/1790.05	v -x5722 -x5720 -x5719 -x5718 -x5717 -x5716 -x5715 -x5714 -x5713 -x5712 -x5711 -x5709 -x5708 -x5707 -x5706 -x5705 -x5704 -x5703 
1789.70/1790.05	v -x5702 -x5701 -x5700 -x5697 -x5696 -x5695 -x5694 -x5693 -x5692 -x5691 -x5690 -x5689 -x5688 -x5686 -x5685 -x5684 -x5683 -x5682 
1789.70/1790.05	v -x5681 -x5680 -x5679 -x5678 -x5677 -x5675 -x5674 -x5673 -x5672 -x5671 -x5670 -x5669 -x5668 -x5667 -x5666 -x5664 -x5663 -x5662 
1789.70/1790.05	v -x5661 -x5660 -x5659 -x5658 -x5657 -x5656 -x5655 -x5653 -x5652 -x5651 -x5650 -x5649 -x5648 -x5647 -x5646 -x5645 -x5644 -x5642 
1789.70/1790.05	v -x5641 -x5640 -x5639 -x5638 -x5637 -x5636 -x5635 -x5634 -x5633 -x5631 -x5630 x5629 -x5628 -x5627 -x5626 -x5625 -x5624 -x5623 
1789.70/1790.05	v -x5622 -x5620 -x5619 -x5618 -x5617 -x5616 -x5615 -x5614 -x5613 -x5612 -x5611 -x5609 -x5608 -x5607 -x5606 -x5605 -x5604 
1789.70/1790.05	v -x5603 -x5602 -x5601 -x5600 -x5598 -x5597 -x5596 -x5595 -x5594 -x5593 x5592 -x5591 -x5590 -x5589 -x5585 -x5584 -x5583 -x5582 
1789.70/1790.05	v -x5581 -x5580 -x5579 -x5578 -x5577 -x5576 -x5574 -x5573 -x5572 -x5571 -x5570 -x5569 -x5568 -x5567 -x5566 -x5565 -x5563 -x5562 
1789.70/1790.05	v -x5561 -x5560 -x5559 -x5558 -x5557 -x5556 -x5555 -x5554 -x5552 -x5551 -x5550 -x5549 -x5548 -x5547 -x5546 -x5545 -x5544 -x5543 
1789.70/1790.05	v -x5541 -x5540 -x5539 -x5538 -x5537 -x5536 -x5535 -x5534 -x5533 -x5532 -x5530 -x5529 -x5528 -x5527 -x5526 -x5525 -x5524 -x5523 
1789.70/1790.05	v -x5522 -x5521 -x5519 -x5518 x5517 -x5516 -x5515 -x5514 -x5513 -x5512 -x5511 -x5510 -x5508 -x5507 -x5506 -x5505 -x5504 -x5503 
1789.70/1790.05	v -x5502 -x5501 -x5500 -x5499 -x5497 -x5496 -x5495 -x5494 -x5493 -x5492 -x5491 -x5490 -x5489 -x5488 -x5486 -x5485 -x5484 -x5483 
1789.70/1790.05	v -x5482 -x5481 -x5480 -x5479 -x5478 -x5477 -x5474 -x5473 -x5472 -x5471 -x5470 -x5469 -x5468 -x5467 -x5466 -x5465 -x5463 -x5462 
1789.70/1790.05	v -x5461 -x5460 -x5459 -x5458 -x5457 -x5456 -x5455 -x5454 -x5452 -x5451 -x5450 -x5449 -x5448 -x5447 -x5446 -x5445 -x5444 -x5443 
1789.70/1790.05	v -x5441 -x5440 -x5439 -x5438 -x5437 -x5436 -x5435 -x5434 -x5433 -x5432 -x5430 -x5429 -x5428 -x5427 -x5426 -x5425 -x5424 
1789.70/1790.05	v -x5423 -x5422 -x5421 -x5419 -x5418 -x5417 -x5416 -x5415 -x5414 -x5413 -x5412 -x5411 -x5410 -x5408 -x5407 -x5406 -x5405 -x5404 
1789.70/1790.05	v -x5403 -x5402 -x5401 -x5400 -x5399 -x5397 -x5396 -x5395 -x5394 -x5393 -x5392 -x5391 -x5390 -x5389 -x5388 -x5386 -x5385 -x5384 
1789.70/1790.05	v -x5383 -x5382 -x5381 -x5380 -x5379 -x5378 -x5377 -x5375 -x5374 x5373 -x5372 -x5371 -x5370 -x5369 -x5368 -x5367 -x5366 -x5363 
1789.70/1790.05	v -x5362 -x5361 -x5360 -x5359 -x5358 -x5357 -x5356 -x5355 -x5354 -x5352 -x5351 -x5350 -x5349 -x5348 -x5347 -x5346 -x5345 -x5344 
1789.70/1790.05	v -x5343 -x5341 -x5340 -x5339 -x5338 -x5337 x5336 -x5335 -x5334 -x5333 -x5332 -x5330 -x5329 -x5328 -x5327 -x5326 -x5325 -x5324 
1789.70/1790.05	v -x5323 -x5322 -x5321 -x5319 -x5318 -x5317 -x5316 -x5315 -x5314 -x5313 -x5312 -x5311 -x5310 -x5308 -x5307 -x5306 -x5305 -x5304 
1789.70/1790.05	v -x5303 -x5302 -x5301 -x5300 -x5299 -x5297 -x5296 -x5295 -x5294 -x5293 -x5292 -x5291 -x5290 -x5289 -x5288 -x5286 -x5285 -x5284 
1789.70/1790.05	v -x5283 -x5282 -x5281 -x5280 -x5279 -x5278 -x5277 -x5275 -x5274 -x5273 -x5272 -x5271 -x5270 -x5269 x5268 -x5267 -x5266 -x5264 
1789.70/1790.05	v -x5263 -x5262 -x5261 -x5260 -x5259 -x5258 -x5257 -x5256 -x5255 -x5252 -x5251 -x5250 -x5249 -x5248 -x5247 -x5246 -x5245 -x5244 
1789.70/1790.05	v -x5243 -x5241 -x5240 -x5239 -x5238 -x5237 -x5236 -x5235 -x5234 -x5233 -x5232 -x5230 -x5229 x5228 -x5227 -x5226 -x5225 -x5224 
1789.70/1790.05	v -x5223 -x5222 -x5221 -x5219 -x5218 -x5217 -x5216 -x5215 -x5214 -x5213 -x5212 -x5211 -x5210 -x5208 -x5207 -x5206 -x5205 
1789.70/1790.05	v -x5204 -x5203 -x5202 -x5201 -x5200 -x5199 -x5197 -x5196 -x5195 -x5194 -x5193 -x5192 -x5191 -x5190 -x5189 -x5188 -x5186 -x5185 
1789.70/1790.05	v -x5184 -x5183 -x5182 -x5181 -x5180 -x5179 -x5178 -x5177 -x5175 -x5174 -x5173 -x5172 -x5171 -x5170 -x5169 -x5168 -x5167 -x5166 
1789.70/1790.05	v -x5164 -x5163 -x5162 -x5161 -x5160 -x5159 -x5158 -x5157 -x5156 -x5155 -x5153 -x5152 -x5151 -x5150 -x5149 -x5148 -x5147 -x5146 
1789.70/1790.05	v -x5145 -x5144 -x5141 -x5140 -x5139 -x5138 -x5137 -x5136 -x5135 -x5134 -x5133 -x5132 -x5130 -x5129 -x5128 -x5127 -x5126 -x5125 
1789.70/1790.05	v -x5124 -x5123 -x5122 -x5121 -x5119 -x5118 -x5117 -x5116 -x5115 -x5114 -x5113 -x5112 -x5111 -x5110 -x5108 -x5107 -x5106 -x5105 
1789.70/1790.05	v -x5104 -x5103 -x5102 -x5101 -x5100 -x5099 -x5097 -x5096 -x5095 -x5094 -x5093 -x5092 -x5091 -x5090 -x5089 -x5088 -x5086 -x5085 
1789.70/1790.05	v -x5084 -x5083 -x5082 -x5081 -x5080 -x5079 -x5078 -x5077 -x5075 -x5074 -x5073 -x5072 -x5071 -x5070 -x5069 -x5068 -x5067 
1789.70/1790.05	v -x5066 -x5064 -x5063 -x5062 -x5061 -x5060 -x5059 -x5058 -x5057 -x5056 -x5055 -x5053 -x5052 -x5051 -x5050 -x5049 -x5048 -x5047 
1789.70/1790.05	v -x5046 -x5045 -x5044 -x5042 -x5041 -x5040 -x5039 -x5038 -x5037 -x5036 -x5035 -x5034 -x5033 -x5030 -x5029 -x5028 -x5027 -x5026 
1789.70/1790.05	v -x5025 -x5024 -x5023 -x5022 -x5021 -x5019 -x5018 -x5017 -x5016 -x5015 -x5014 -x5013 -x5012 -x5011 -x5010 -x5008 -x5007 -x5006 
1789.70/1790.05	v -x5005 -x5004 -x5003 -x5002 -x5001 -x5000 -x4999 -x4997 -x4996 -x4995 -x4994 -x4993 -x4992 -x4991 -x4990 -x4989 -x4988 -x4986 
1789.70/1790.05	v -x4985 -x4984 -x4983 -x4982 -x4981 -x4980 -x4979 -x4978 -x4977 -x4975 -x4974 -x4973 -x4972 -x4971 -x4970 -x4969 -x4968 -x4967 
1789.70/1790.05	v -x4966 -x4964 -x4963 -x4962 -x4961 -x4960 -x4959 -x4958 -x4957 -x4956 -x4955 -x4953 -x4952 -x4951 -x4950 -x4949 -x4948 -x4947 
1789.70/1790.05	v -x4946 -x4945 -x4944 -x4942 -x4941 -x4940 -x4939 -x4938 -x4937 -x4936 -x4935 -x4934 -x4933 -x4931 -x4930 -x4929 -x4928 
1789.70/1790.05	v -x4927 -x4926 -x4925 -x4924 -x4923 -x4922 -x4919 -x4918 -x4917 -x4916 -x4915 -x4914 -x4913 -x4912 -x4911 -x4910 -x4908 -x4907 
1789.70/1790.05	v -x4906 -x4905 -x4904 -x4903 -x4902 -x4901 -x4900 -x4899 -x4897 -x4896 -x4895 -x4894 -x4893 -x4892 -x4891 -x4890 -x4889 -x4888 
1789.70/1790.05	v -x4886 -x4885 -x4884 -x4883 -x4882 -x4881 -x4880 -x4879 -x4878 -x4877 -x4875 x4874 -x4873 -x4872 -x4871 -x4870 -x4869 -x4868 
1789.70/1790.05	v -x4867 -x4866 -x4864 -x4863 -x4862 -x4861 -x4860 -x4859 -x4858 -x4857 -x4856 -x4855 -x4853 -x4852 -x4851 -x4850 -x4849 -x4848 
1789.70/1790.05	v -x4847 -x4846 -x4845 -x4844 -x4842 -x4841 -x4840 -x4839 -x4838 -x4837 -x4836 -x4835 -x4834 -x4833 -x4831 -x4830 -x4829 -x4828 
1789.70/1790.05	v -x4827 -x4826 -x4825 -x4824 -x4823 -x4822 -x4820 -x4819 -x4818 -x4817 -x4816 -x4815 -x4814 -x4813 -x4812 -x4811 -x4808 -x4807 
1789.70/1790.05	v -x4806 -x4805 -x4804 -x4803 -x4802 -x4801 -x4800 -x4799 -x4797 -x4796 -x4795 -x4794 -x4793 -x4792 -x4791 -x4790 -x4789 -x4788 
1789.70/1790.05	v -x4786 -x4785 -x4784 -x4783 -x4782 -x4781 -x4780 -x4779 -x4778 -x4777 -x4775 -x4774 -x4773 -x4772 -x4771 -x4770 -x4769 
1789.70/1790.05	v -x4768 -x4767 -x4766 -x4764 -x4763 -x4762 -x4761 -x4760 -x4759 -x4758 x4757 -x4756 -x4755 -x4753 -x4752 -x4751 -x4750 -x4749 
1789.70/1790.05	v -x4748 -x4747 -x4746 -x4745 -x4744 -x4742 -x4741 -x4740 -x4739 -x4738 -x4737 -x4736 -x4735 -x4734 -x4733 -x4731 -x4730 -x4729 
1789.70/1790.05	v -x4728 -x4727 -x4726 -x4725 -x4724 -x4723 -x4722 -x4720 -x4719 -x4718 -x4717 -x4716 -x4715 -x4714 -x4713 -x4712 -x4711 -x4709 
1789.70/1790.05	v -x4708 -x4707 -x4706 -x4705 -x4704 -x4703 -x4702 -x4701 -x4700 -x4697 -x4696 -x4695 -x4694 -x4693 -x4692 -x4691 -x4690 -x4689 
1789.70/1790.05	v -x4688 -x4686 -x4685 -x4684 -x4683 -x4682 -x4681 -x4680 -x4679 -x4678 -x4677 -x4675 -x4674 -x4673 -x4672 -x4671 -x4670 -x4669 
1789.70/1790.05	v -x4668 -x4667 -x4666 -x4664 -x4663 -x4662 -x4661 -x4660 -x4659 -x4658 -x4657 -x4656 -x4655 -x4653 -x4652 -x4651 -x4650 -x4649 
1789.70/1790.05	v -x4648 -x4647 -x4646 -x4645 -x4644 -x4642 -x4641 -x4640 -x4639 -x4638 -x4637 -x4636 -x4635 -x4634 -x4633 -x4631 -x4630 -x4629 
1789.70/1790.05	v -x4628 -x4627 -x4626 -x4625 -x4624 -x4623 -x4622 -x4620 -x4619 -x4618 -x4617 -x4616 -x4615 -x4614 -x4613 -x4612 -x4611 
1789.70/1790.05	v -x4609 -x4608 -x4607 -x4606 -x4605 -x4604 -x4603 -x4602 -x4601 -x4600 -x4598 -x4597 -x4596 -x4595 -x4594 -x4593 -x4592 -x4591 
1789.70/1790.05	v -x4590 -x4589 -x4586 -x4585 -x4584 -x4583 -x4582 -x4581 -x4580 -x4579 -x4578 -x4577 -x4575 -x4574 -x4573 -x4572 -x4571 -x4570 
1789.70/1790.05	v -x4569 -x4568 -x4567 -x4566 -x4564 -x4563 -x4562 -x4561 -x4560 -x4559 -x4558 -x4557 -x4556 -x4555 -x4553 -x4552 -x4551 -x4550 
1789.70/1790.05	v -x4549 -x4548 -x4547 -x4546 -x4545 -x4544 -x4542 -x4541 -x4540 -x4539 -x4538 -x4537 -x4536 -x4535 -x4534 -x4533 -x4531 -x4530 
1789.70/1790.05	v -x4529 -x4528 -x4527 -x4526 -x4525 -x4524 -x4523 -x4522 -x4520 -x4519 -x4518 -x4517 -x4516 -x4515 -x4514 -x4513 -x4512 -x4511 
1789.70/1790.05	v -x4509 -x4508 -x4507 -x4506 -x4505 -x4504 -x4503 -x4502 -x4501 -x4500 -x4498 -x4497 -x4496 -x4495 -x4494 -x4493 -x4492 -x4491 
1789.70/1790.05	v -x4490 -x4489 -x4487 -x4486 -x4485 -x4484 -x4483 -x4482 -x4481 -x4480 -x4479 -x4478 -x4474 -x4473 -x4472 -x4471 -x4470 
1789.70/1790.05	v -x4469 -x4468 -x4467 -x4466 -x4465 -x4463 -x4462 -x4461 -x4460 -x4459 -x4458 -x4457 -x4456 -x4455 -x4454 -x4452 -x4451 x4450 
1789.70/1790.05	v -x4449 -x4448 -x4447 -x4446 -x4445 -x4444 -x4443 -x4441 -x4440 -x4439 -x4438 -x4437 -x4436 -x4435 -x4434 -x4433 -x4432 -x4430 
1789.70/1790.05	v -x4429 -x4428 -x4427 -x4426 -x4425 -x4424 -x4423 -x4422 -x4421 -x4419 -x4418 -x4417 -x4416 -x4415 -x4414 -x4413 -x4412 -x4411 
1789.70/1790.05	v -x4410 -x4408 -x4407 -x4406 -x4405 -x4404 -x4403 -x4402 -x4401 -x4400 -x4399 -x4397 -x4396 -x4395 -x4394 -x4393 -x4392 -x4391 
1789.70/1790.05	v -x4390 -x4389 -x4388 -x4386 -x4385 -x4384 -x4383 -x4382 -x4381 -x4380 -x4379 -x4378 -x4377 -x4375 -x4374 -x4373 -x4372 -x4371 
1789.70/1790.05	v -x4370 -x4369 -x4368 -x4367 -x4366 -x4363 -x4362 -x4361 -x4360 -x4359 -x4358 -x4357 -x4356 -x4355 -x4354 -x4352 -x4351 -x4350 
1789.70/1790.05	v -x4349 -x4348 -x4347 -x4346 -x4345 -x4344 -x4343 -x4341 -x4340 -x4339 -x4338 -x4337 -x4336 -x4335 -x4334 -x4333 -x4332 -x4330 
1789.70/1790.05	v -x4329 -x4328 -x4327 -x4326 -x4325 -x4324 -x4323 -x4322 -x4321 -x4319 -x4318 -x4317 -x4316 -x4315 -x4314 -x4313 -x4312 
1789.70/1790.05	v -x4311 -x4310 -x4308 -x4307 -x4306 -x4305 -x4304 -x4303 -x4302 -x4301 -x4300 -x4299 -x4297 -x4296 -x4295 -x4294 -x4293 -x4292 
1789.70/1790.05	v -x4291 -x4290 -x4289 -x4288 -x4286 -x4285 -x4284 -x4283 -x4282 -x4281 -x4280 -x4279 -x4278 -x4277 -x4275 -x4274 -x4273 -x4272 
1789.70/1790.05	v -x4271 -x4270 -x4269 -x4268 -x4267 -x4266 -x4264 -x4263 -x4262 -x4261 -x4260 -x4259 -x4258 -x4257 -x4256 -x4255 -x4252 -x4251 
1789.70/1790.05	v -x4250 -x4249 -x4248 -x4247 -x4246 -x4245 -x4244 -x4243 -x4241 -x4240 -x4239 -x4238 -x4237 -x4236 -x4235 -x4234 -x4233 -x4232 
1789.70/1790.05	v -x4230 -x4229 -x4228 -x4227 -x4226 -x4225 -x4224 -x4223 -x4222 -x4221 -x4219 -x4218 -x4217 -x4216 -x4215 -x4214 -x4213 -x4212 
1789.70/1790.05	v -x4211 -x4210 -x4208 -x4207 -x4206 -x4205 -x4204 -x4203 -x4202 -x4201 -x4200 -x4199 -x4197 -x4196 -x4195 -x4194 -x4193 -x4192 
1789.70/1790.05	v -x4191 -x4190 -x4189 -x4188 -x4186 x4185 -x4184 -x4183 -x4182 -x4181 -x4180 -x4179 -x4178 -x4177 -x4175 -x4174 -x4173 -x4172 
1789.70/1790.05	v -x4171 -x4170 -x4169 -x4168 -x4167 -x4166 -x4164 -x4163 -x4162 -x4161 -x4160 -x4159 -x4158 -x4157 -x4156 -x4155 -x4153 
1789.70/1790.05	v -x4152 -x4151 -x4150 -x4149 -x4148 -x4147 -x4146 -x4145 -x4144 -x4141 -x4140 -x4139 -x4138 -x4137 -x4136 -x4135 -x4134 -x4133 
1789.70/1790.05	v -x4132 -x4130 -x4129 -x4128 -x4127 -x4126 -x4125 -x4124 -x4123 -x4122 -x4121 -x4119 -x4118 -x4117 -x4116 -x4115 -x4114 -x4113 
1789.70/1790.05	v -x4112 -x4111 -x4110 -x4108 -x4107 -x4106 -x4105 -x4104 -x4103 -x4102 -x4101 -x4100 -x4099 -x4097 -x4096 -x4095 -x4094 -x4093 
1789.70/1790.05	v -x4092 -x4091 -x4090 -x4089 -x4088 -x4086 -x4085 -x4084 -x4083 -x4082 -x4081 -x4080 -x4079 -x4078 -x4077 -x4075 -x4074 -x4073 
1789.70/1790.05	v -x4072 -x4071 -x4070 -x4069 -x4068 -x4067 -x4066 -x4064 -x4063 -x4062 -x4061 -x4060 -x4059 -x4058 -x4057 -x4056 -x4055 -x4053 
1789.70/1790.05	v -x4052 -x4051 -x4050 -x4049 -x4048 -x4047 -x4046 -x4045 -x4044 -x4042 -x4041 -x4040 -x4039 -x4038 -x4037 -x4036 -x4035 -x4034 
1789.70/1790.05	v -x4033 -x4030 -x4029 -x4028 -x4027 -x4026 -x4025 -x4024 -x4023 -x4022 -x4021 -x4019 -x4018 -x4017 -x4016 -x4015 -x4014 
1789.70/1790.05	v -x4013 -x4012 -x4011 -x4010 -x4008 -x4007 -x4006 -x4005 -x4004 -x4003 -x4002 -x4001 -x4000 -x3999 -x3997 -x3996 -x3995 -x3994 
1789.70/1790.05	v -x3993 -x3992 -x3991 -x3990 -x3989 -x3988 -x3986 -x3985 -x3984 -x3983 -x3982 -x3981 -x3980 -x3979 -x3978 -x3977 -x3975 -x3974 
1789.70/1790.05	v -x3973 -x3972 -x3971 -x3970 -x3969 -x3968 -x3967 -x3966 -x3964 -x3963 -x3962 -x3961 -x3960 -x3959 -x3958 -x3957 -x3956 -x3955 
1789.70/1790.05	v -x3953 -x3952 -x3951 -x3950 -x3949 -x3948 -x3947 -x3946 -x3945 -x3944 -x3942 -x3941 -x3940 -x3939 -x3938 -x3937 -x3936 -x3935 
1789.70/1790.05	v -x3934 -x3933 -x3931 -x3930 -x3929 -x3928 -x3927 -x3926 -x3925 -x3924 -x3923 -x3922 -x3919 -x3918 -x3917 -x3916 -x3915 -x3914 
1789.70/1790.05	v -x3913 -x3912 -x3911 -x3910 -x3908 -x3907 -x3906 -x3905 -x3904 -x3903 -x3902 -x3901 -x3900 -x3899 -x3897 -x3896 -x3895 -x3894 
1789.70/1790.05	v -x3893 -x3892 -x3891 -x3890 -x3889 -x3888 -x3886 -x3885 -x3884 -x3883 -x3882 -x3881 -x3880 -x3879 -x3878 -x3877 -x3875 
1789.70/1790.05	v -x3874 -x3873 -x3872 -x3871 -x3870 -x3869 -x3868 -x3867 -x3866 -x3864 -x3863 -x3862 -x3861 -x3860 -x3859 -x3858 -x3857 -x3856 
1789.70/1790.05	v -x3855 -x3853 -x3852 -x3851 -x3850 -x3849 -x3848 -x3847 -x3846 -x3845 -x3844 -x3842 -x3841 -x3840 -x3839 -x3838 -x3837 -x3836 
1789.70/1790.05	v -x3835 -x3834 -x3833 -x3831 -x3830 -x3829 -x3828 -x3827 -x3826 -x3825 -x3824 -x3823 -x3822 -x3820 -x3819 -x3818 -x3817 -x3816 
1789.70/1790.05	v -x3815 -x3814 -x3813 -x3812 -x3811 -x3808 -x3807 -x3806 -x3805 -x3804 -x3803 -x3802 -x3801 -x3800 -x3799 -x3797 -x3796 -x3795 
1789.70/1790.05	v -x3794 -x3793 -x3792 -x3791 -x3790 -x3789 -x3788 -x3786 -x3785 -x3784 -x3783 -x3782 -x3781 -x3780 -x3779 -x3778 -x3777 -x3775 
1789.70/1790.05	v -x3774 -x3773 -x3772 -x3771 -x3770 -x3769 -x3768 -x3767 -x3766 -x3764 -x3763 -x3762 -x3761 -x3760 -x3759 -x3758 -x3757 -x3756 
1789.70/1790.05	v -x3755 -x3753 -x3752 -x3751 -x3750 -x3749 -x3748 -x3747 -x3746 -x3745 -x3744 -x3742 -x3741 -x3740 -x3739 -x3738 -x3737 
1789.70/1790.05	v -x3736 -x3735 -x3734 -x3733 -x3731 -x3730 -x3729 -x3728 -x3727 -x3726 -x3725 -x3724 -x3723 -x3722 -x3720 -x3719 -x3718 -x3717 
1789.70/1790.05	v -x3716 -x3715 -x3714 -x3713 -x3712 -x3711 -x3709 -x3708 -x3707 -x3706 -x3705 -x3704 -x3703 -x3702 -x3701 -x3700 -x3697 -x3696 
1789.70/1790.05	v -x3695 -x3694 -x3693 -x3692 -x3691 -x3690 -x3689 -x3688 -x3686 -x3685 -x3684 -x3683 -x3682 -x3681 -x3680 -x3679 -x3678 -x3677 
1789.70/1790.05	v -x3675 -x3674 -x3673 -x3672 -x3671 -x3670 -x3669 -x3668 -x3667 -x3666 -x3664 -x3663 -x3662 -x3661 -x3660 -x3659 -x3658 -x3657 
1789.70/1790.05	v -x3656 -x3655 -x3653 -x3652 -x3651 -x3650 -x3649 -x3648 -x3647 -x3646 -x3645 -x3644 -x3642 -x3641 -x3640 -x3639 -x3638 -x3637 
1789.70/1790.05	v -x3636 x3635 -x3634 -x3633 -x3631 -x3630 -x3629 -x3628 -x3627 -x3626 -x3625 -x3624 -x3623 -x3622 -x3620 -x3619 -x3618 -x3617 
1789.70/1790.05	v -x3616 -x3615 -x3614 -x3613 -x3612 -x3611 -x3609 -x3608 -x3607 -x3606 -x3605 -x3604 -x3603 -x3602 -x3601 -x3600 -x3598 -x3597 
1789.70/1790.05	v -x3596 -x3595 -x3594 -x3593 -x3592 -x3591 -x3590 -x3589 -x3586 -x3585 -x3584 -x3583 -x3582 -x3581 -x3580 -x3579 -x3578 
1789.70/1790.05	v -x3577 -x3575 -x3574 -x3573 -x3572 -x3571 -x3570 -x3569 -x3568 -x3567 -x3566 -x3564 -x3563 -x3562 -x3561 -x3560 -x3559 -x3558 
1789.70/1790.05	v -x3557 -x3556 -x3555 -x3553 -x3552 -x3551 -x3550 -x3549 -x3548 -x3547 -x3546 -x3545 -x3544 -x3542 -x3541 -x3540 -x3539 -x3538 
1789.70/1790.05	v -x3537 -x3536 -x3535 -x3534 -x3533 -x3531 -x3530 -x3529 -x3528 -x3527 -x3526 -x3525 -x3524 -x3523 -x3522 -x3520 -x3519 x3518 
1789.70/1790.05	v -x3517 -x3516 -x3515 -x3514 -x3513 -x3512 -x3511 -x3509 -x3508 -x3507 -x3506 -x3505 -x3504 -x3503 -x3502 -x3501 -x3500 -x3498 
1789.70/1790.05	v -x3497 -x3496 -x3495 -x3494 -x3493 -x3492 -x3491 -x3490 -x3489 -x3487 -x3486 -x3485 -x3484 -x3483 -x3482 -x3481 -x3480 -x3479 
1789.70/1790.05	v -x3478 -x3475 -x3474 -x3473 -x3472 -x3471 -x3470 -x3469 -x3468 -x3467 -x3466 -x3464 -x3463 -x3462 -x3461 -x3460 -x3459 -x3458 
1789.70/1790.05	v -x3457 -x3456 -x3455 -x3453 -x3452 -x3451 -x3450 -x3449 -x3448 -x3447 -x3446 -x3445 -x3444 -x3442 -x3441 -x3440 -x3439 -x3438 
1789.70/1790.05	v -x3437 -x3436 -x3435 -x3434 -x3433 -x3431 -x3430 -x3429 -x3428 -x3427 -x3426 -x3425 -x3424 -x3423 -x3422 -x3420 -x3419 
1789.70/1790.05	v -x3418 -x3417 -x3416 -x3415 -x3414 -x3413 -x3412 -x3411 -x3409 -x3408 -x3407 -x3406 -x3405 -x3404 -x3403 -x3402 -x3401 -x3400 
1789.70/1790.05	v -x3398 -x3397 -x3396 -x3395 -x3394 -x3393 -x3392 -x3391 -x3390 -x3389 -x3387 -x3386 -x3385 -x3384 -x3383 -x3382 -x3381 -x3380 
1789.70/1790.05	v -x3379 -x3378 -x3376 -x3375 -x3374 -x3373 -x3372 -x3371 -x3370 -x3369 -x3368 -x3367 -x3363 -x3362 -x3361 -x3360 -x3359 -x3358 
1789.70/1790.05	v -x3357 -x3356 -x3355 -x3354 -x3352 -x3351 -x3350 -x3349 -x3348 -x3347 -x3346 -x3345 -x3344 -x3343 -x3341 -x3340 -x3339 -x3338 
1789.70/1790.05	v -x3337 -x3336 -x3335 -x3334 -x3333 -x3332 -x3330 -x3329 -x3328 -x3327 -x3326 -x3325 -x3324 -x3323 -x3322 -x3321 -x3319 -x3318 
1789.70/1790.05	v -x3317 -x3316 -x3315 -x3314 -x3313 -x3312 -x3311 -x3310 -x3308 -x3307 -x3306 -x3305 -x3304 -x3303 -x3302 -x3301 -x3300 -x3299 
1789.70/1790.05	v -x3297 -x3296 x3295 -x3294 -x3293 -x3292 -x3291 -x3290 -x3289 -x3288 -x3286 -x3285 -x3284 -x3283 -x3282 -x3281 -x3280 -x3279 
1789.70/1790.05	v -x3278 -x3277 -x3275 -x3274 -x3273 -x3272 -x3271 -x3270 -x3269 -x3268 -x3267 -x3266 -x3264 -x3263 -x3262 -x3261 -x3260 
1789.70/1790.05	v -x3259 -x3258 -x3257 -x3256 -x3255 -x3252 -x3251 -x3250 -x3249 -x3248 -x3247 -x3246 -x3245 -x3244 -x3243 -x3241 -x3240 -x3239 
1789.70/1790.05	v -x3238 -x3237 -x3236 -x3235 -x3234 -x3233 -x3232 -x3230 -x3229 -x3228 -x3227 -x3226 -x3225 -x3224 -x3223 -x3222 -x3221 -x3219 
1789.70/1790.05	v -x3218 -x3217 -x3216 -x3215 -x3214 -x3213 -x3212 -x3211 -x3210 -x3208 -x3207 -x3206 -x3205 -x3204 -x3203 -x3202 -x3201 -x3200 
1789.70/1790.05	v -x3199 -x3197 -x3196 -x3195 -x3194 -x3193 -x3192 -x3191 -x3190 -x3189 -x3188 -x3186 -x3185 -x3184 -x3183 -x3182 -x3181 -x3180 
1789.70/1790.05	v -x3179 -x3178 -x3177 -x3175 -x3174 -x3173 -x3172 -x3171 -x3170 -x3169 -x3168 -x3167 -x3166 -x3164 -x3163 x3162 -x3161 -x3160 
1789.70/1790.05	v -x3159 -x3158 -x3157 -x3156 -x3155 -x3153 -x3152 -x3151 -x3150 -x3149 -x3148 -x3147 -x3146 -x3145 -x3144 -x3141 -x3140 -x3139 
1789.70/1790.05	v -x3138 -x3137 -x3136 -x3135 -x3134 -x3133 -x3132 -x3130 -x3129 -x3128 -x3127 -x3126 -x3125 -x3124 -x3123 -x3122 -x3121 -x3119 
1789.70/1790.05	v -x3118 -x3117 -x3116 -x3115 -x3114 -x3113 -x3112 -x3111 -x3110 -x3108 -x3107 -x3106 -x3105 -x3104 -x3103 -x3102 -x3101 
1789.70/1790.05	v -x3100 -x3099 -x3097 -x3096 -x3095 -x3094 -x3093 -x3092 -x3091 -x3090 -x3089 -x3088 -x3086 -x3085 -x3084 -x3083 -x3082 -x3081 
1789.70/1790.05	v -x3080 -x3079 -x3078 -x3077 -x3075 -x3074 x3073 -x3072 -x3071 -x3070 -x3069 -x3068 -x3067 -x3066 -x3064 -x3063 -x3062 -x3061 
1789.70/1790.05	v -x3060 -x3059 -x3058 -x3057 -x3056 -x3055 -x3053 -x3052 -x3051 -x3050 -x3049 -x3048 -x3047 -x3046 -x3045 -x3044 -x3042 -x3041 
1789.70/1790.05	v x3040 -x3039 -x3038 -x3037 -x3036 -x3035 -x3034 -x3033 -x3030 -x3029 -x3028 -x3027 -x3026 -x3025 -x3024 -x3023 -x3022 -x3021 
1789.70/1790.05	v -x3019 -x3018 -x3017 -x3016 -x3015 -x3014 -x3013 -x3012 -x3011 -x3010 -x3008 -x3007 -x3006 -x3005 -x3004 -x3003 -x3002 -x3001 
1789.70/1790.05	v -x3000 -x2999 -x2997 -x2996 -x2995 -x2994 -x2993 -x2992 -x2991 -x2990 -x2989 -x2988 -x2986 -x2985 -x2984 -x2983 -x2982 -x2981 
1789.70/1790.05	v -x2980 -x2979 -x2978 -x2977 -x2975 -x2974 -x2973 -x2972 -x2971 -x2970 -x2969 -x2968 -x2967 -x2966 -x2964 -x2963 x2962 -x2961 
1789.70/1790.05	v -x2960 -x2959 -x2958 -x2957 -x2956 -x2955 -x2953 -x2952 -x2951 -x2950 -x2949 -x2948 -x2947 -x2946 -x2945 -x2944 -x2942 -x2941 
1789.70/1790.05	v -x2940 -x2939 -x2938 -x2937 -x2936 -x2935 -x2934 -x2933 -x2931 -x2930 -x2929 -x2928 -x2927 -x2926 -x2925 -x2924 -x2923 -x2922 
1789.70/1790.05	v -x2919 -x2918 -x2917 -x2916 -x2915 -x2914 -x2913 -x2912 -x2911 -x2910 -x2908 x2907 -x2906 -x2905 -x2904 -x2903 -x2902 -x2901 
1789.70/1790.05	v -x2900 -x2899 -x2897 -x2896 -x2895 -x2894 -x2893 -x2892 -x2891 -x2890 -x2889 -x2888 -x2886 -x2885 -x2884 -x2883 -x2882 
1789.70/1790.05	v -x2881 -x2880 -x2879 -x2878 -x2877 -x2875 -x2874 -x2873 -x2872 -x2871 -x2870 -x2869 -x2868 -x2867 -x2866 -x2864 -x2863 -x2862 
1789.70/1790.05	v -x2861 -x2860 -x2859 -x2858 -x2857 -x2856 -x2855 -x2853 -x2852 -x2851 -x2850 -x2849 -x2848 -x2847 -x2846 -x2845 -x2844 -x2842 
1789.70/1790.05	v -x2841 -x2840 -x2839 -x2838 -x2837 -x2836 -x2835 -x2834 -x2833 -x2831 -x2830 -x2829 -x2828 -x2827 -x2826 -x2825 -x2824 -x2823 
1789.70/1790.05	v -x2822 -x2820 -x2819 -x2818 -x2817 -x2816 -x2815 -x2814 -x2813 -x2812 -x2811 -x2808 -x2807 -x2806 -x2805 -x2804 -x2803 -x2802 
1789.70/1790.05	v -x2801 -x2800 -x2799 -x2797 -x2796 -x2795 -x2794 -x2793 -x2792 -x2791 x2790 -x2789 -x2788 -x2786 -x2785 -x2784 -x2783 -x2782 
1789.70/1790.05	v -x2781 -x2780 -x2779 -x2778 -x2777 -x2775 -x2774 -x2773 -x2772 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766 -x2764 -x2763 -x2762 
1789.70/1790.05	v -x2761 -x2760 -x2759 -x2758 -x2757 -x2756 -x2755 -x2753 -x2752 -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2745 -x2744 -x2742 
1789.70/1790.05	v -x2741 -x2740 -x2739 -x2738 -x2737 -x2736 -x2735 -x2734 -x2733 -x2731 -x2730 x2729 -x2728 -x2727 -x2726 -x2725 -x2724 -x2723 
1789.70/1790.05	v -x2722 -x2720 -x2719 -x2718 -x2717 -x2716 -x2715 -x2714 -x2713 -x2712 -x2711 -x2709 -x2708 -x2707 -x2706 -x2705 -x2704 
1789.70/1790.05	v -x2703 -x2702 -x2701 -x2700 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692 -x2691 -x2690 -x2689 -x2688 -x2686 -x2685 x2684 -x2683 
1789.70/1790.05	v -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2675 -x2674 -x2673 -x2672 -x2671 -x2670 -x2669 -x2668 -x2667 -x2666 -x2664 -x2663 
1789.70/1790.05	v -x2662 -x2661 -x2660 -x2659 x2658 -x2657 -x2656 -x2655 -x2653 -x2652 -x2651 -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 
1789.70/1790.05	v -x2642 -x2641 -x2640 -x2639 -x2638 -x2637 -x2636 -x2635 -x2634 -x2633 -x2631 -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 
1789.70/1790.05	v -x2623 -x2622 -x2620 -x2619 -x2618 -x2617 -x2616 -x2615 -x2614 -x2613 -x2612 -x2611 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 
1789.70/1790.05	v -x2603 -x2602 -x2601 -x2600 -x2598 -x2597 -x2596 -x2595 -x2594 -x2593 -x2592 x2591 -x2590 -x2589 -x2586 -x2585 -x2584 -x2583 
1789.70/1790.05	v -x2582 -x2581 -x2580 -x2579 -x2578 -x2577 -x2575 -x2574 -x2573 -x2572 -x2571 -x2570 x2569 -x2568 -x2567 -x2566 -x2564 -x2563 
1789.70/1790.05	v -x2562 -x2561 -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2553 -x2552 -x2551 -x2550 -x2549 -x2548 -x2547 -x2546 -x2545 -x2544 
1789.70/1790.05	v -x2542 -x2541 -x2540 -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2531 -x2530 -x2529 -x2528 -x2527 -x2526 -x2525 -x2524 
1789.70/1790.05	v -x2523 -x2522 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2509 -x2508 -x2507 -x2506 -x2505 -x2504 
1789.70/1790.05	v -x2503 -x2502 -x2501 -x2500 -x2498 -x2497 -x2496 -x2495 -x2494 -x2493 -x2492 -x2491 -x2490 -x2489 -x2487 -x2486 -x2485 
1789.70/1790.05	v -x2484 -x2483 -x2482 -x2481 -x2480 -x2479 -x2478 -x2475 -x2474 -x2473 -x2472 -x2471 -x2470 -x2469 -x2468 -x2467 -x2466 -x2464 
1789.70/1790.05	v -x2463 -x2462 -x2461 -x2460 -x2459 -x2458 -x2457 -x2456 -x2455 -x2453 -x2452 -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 
1789.70/1790.05	v -x2444 -x2442 -x2441 -x2440 -x2439 -x2438 -x2437 -x2436 -x2435 -x2434 -x2433 -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 
1789.70/1790.05	v -x2424 -x2423 -x2422 -x2420 -x2419 -x2418 -x2417 -x2416 -x2415 -x2414 -x2413 -x2412 -x2411 -x2409 -x2408 -x2407 -x2406 -x2405 
1789.70/1790.05	v -x2404 -x2403 -x2402 -x2401 -x2400 -x2398 -x2397 -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2387 -x2386 -x2385 
1789.70/1790.05	v -x2384 -x2383 -x2382 -x2381 -x2380 -x2379 -x2378 -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 -x2368 -x2367 -x2364 
1789.70/1790.05	v -x2363 -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 -x2355 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 -x2347 -x2346 
1789.70/1790.05	v -x2345 -x2344 -x2342 -x2341 -x2340 -x2339 -x2338 -x2337 -x2336 -x2335 -x2334 -x2333 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326 
1789.70/1790.05	v -x2325 -x2324 -x2323 -x2322 -x2320 -x2319 -x2318 -x2317 -x2316 -x2315 -x2314 -x2313 -x2312 -x2311 -x2309 -x2308 -x2307 -x2306 
1789.70/1790.05	v -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 -x2298 -x2297 -x2296 -x2295 -x2294 -x2293 -x2292 -x2291 -x2290 -x2289 -x2287 -x2286 
1789.70/1790.05	v -x2285 -x2284 -x2283 -x2282 -x2281 -x2280 -x2279 -x2278 -x2276 -x2275 -x2274 -x2273 -x2272 -x2271 -x2270 -x2269 -x2268 -x2267 
1789.70/1790.05	v -x2265 -x2264 -x2263 -x2262 -x2261 -x2260 -x2259 -x2258 -x2257 -x2256 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 
1789.70/1790.05	v -x2244 -x2243 -x2241 -x2240 -x2239 -x2238 -x2237 -x2236 -x2235 -x2234 -x2233 -x2232 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 
1789.70/1790.05	v -x2224 -x2223 -x2222 -x2221 -x2219 -x2218 -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2208 -x2207 -x2206 
1789.70/1790.05	v -x2205 -x2204 -x2203 -x2202 -x2201 -x2200 -x2199 -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2186 
1789.70/1790.05	v -x2185 -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 -x2177 -x2175 -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 -x2168 -x2167 
1789.70/1790.05	v -x2166 -x2164 -x2163 -x2162 -x2161 -x2160 -x2159 -x2158 -x2157 -x2156 -x2155 -x2153 -x2152 -x2151 -x2150 -x2149 -x2148 -x2147 
1789.70/1790.05	v -x2146 -x2145 -x2144 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 -x2133 -x2132 -x2130 -x2129 -x2128 -x2127 -x2126 
1789.70/1790.05	v -x2125 -x2124 -x2123 -x2122 -x2121 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 -x2113 -x2112 -x2111 -x2110 -x2108 -x2107 -x2106 
1789.70/1790.05	v -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2097 -x2096 -x2095 -x2094 -x2093 -x2092 -x2091 -x2090 -x2089 -x2088 -x2086 
1789.70/1790.05	v -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 -x2075 -x2074 -x2073 -x2072 -x2071 -x2070 -x2069 -x2068 
1789.70/1790.05	v -x2067 -x2066 -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 
1789.70/1790.05	v -x2047 -x2046 -x2045 -x2044 -x2042 -x2041 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2033 -x2030 -x2029 -x2028 -x2027 
1789.70/1790.05	v -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2019 -x2018 -x2017 -x2016 -x2015 -x2014 -x2013 -x2012 -x2011 -x2010 -x2008 -x2007 
1789.70/1790.05	v -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999 -x1997 -x1996 -x1995 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 
1789.70/1790.05	v -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 
1789.70/1790.05	v -x1967 -x1966 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 
1789.70/1790.05	v -x1947 -x1946 -x1945 -x1944 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1934 -x1933 -x1931 -x1930 -x1929 
1789.70/1790.05	v -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 -x1919 -x1918 -x1917 -x1916 -x1915 -x1914 -x1913 -x1912 -x1911 -x1910 -x1908 
1789.70/1790.05	v -x1907 -x1906 -x1905 -x1904 x1903 -x1902 -x1901 -x1900 -x1899 -x1897 -x1896 -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 
1789.70/1790.05	v -x1888 -x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1880 -x1879 -x1878 -x1877 -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 
1789.70/1790.05	v -x1868 -x1867 -x1866 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 x1857 -x1856 -x1855 -x1853 -x1852 -x1851 -x1850 -x1849 
1789.70/1790.05	v -x1848 -x1847 -x1846 -x1845 -x1844 -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 -x1831 -x1830 -x1829 
1789.70/1790.05	v -x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 -x1820 -x1819 x1818 -x1817 -x1816 -x1815 -x1814 -x1813 -x1812 -x1811 -x1808 
1789.70/1790.05	v -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1797 -x1796 -x1795 -x1794 -x1793 -x1792 -x1791 -x1790 -x1789 
1789.70/1790.05	v -x1788 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 
1789.70/1790.05	v -x1768 -x1767 -x1766 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1758 -x1757 -x1756 -x1755 -x1753 -x1752 -x1751 -x1750 -x1749 
1789.70/1790.05	v -x1748 -x1747 -x1746 -x1745 -x1744 -x1742 -x1741 -x1740 -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1731 -x1730 
1789.70/1790.05	v -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 
1789.70/1790.05	v -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 -x1700 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 
1789.70/1790.05	v -x1689 -x1688 -x1686 -x1685 -x1684 -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 
1789.70/1790.05	v -x1669 -x1668 -x1667 -x1666 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1653 -x1652 -x1651 -x1650 
1789.70/1790.05	v -x1649 -x1648 -x1647 -x1646 -x1645 -x1644 -x1642 -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 -x1631 -x1630 
1789.70/1790.05	v -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1620 -x1619 x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 
1789.70/1790.05	v -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 -x1598 -x1597 -x1596 -x1595 -x1594 -x1593 -x1592 -x1591 
1789.70/1790.05	v -x1590 -x1589 -x1586 -x1585 -x1584 -x1583 -x1582 -x1581 -x1580 -x1579 -x1578 -x1577 -x1575 -x1574 -x1573 -x1572 -x1571 
1789.70/1790.05	v -x1570 -x1569 -x1568 -x1567 -x1566 -x1564 -x1563 -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1553 -x1552 -x1551 
1789.70/1790.05	v -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1531 
1789.70/1790.05	v -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 
1789.70/1790.05	v -x1511 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 
1789.70/1790.05	v -x1491 -x1490 -x1489 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1475 -x1474 -x1473 -x1472 -x1471 
1789.70/1790.05	v -x1470 -x1469 -x1468 -x1467 -x1466 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1453 -x1452 -x1451 
1789.70/1790.05	v -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 
1789.70/1790.05	v -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 
1789.70/1790.05	v -x1412 -x1411 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 
1789.70/1790.05	v -x1392 -x1391 -x1390 -x1389 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1376 -x1375 -x1374 -x1373 
1789.70/1790.05	v -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1353 -x1352 
1789.70/1790.05	v -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 
1789.70/1790.05	v -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 
1789.70/1790.05	v -x1312 -x1311 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1298 -x1297 -x1296 -x1295 -x1294 
1789.70/1790.05	v -x1293 -x1292 -x1291 -x1290 -x1289 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1276 -x1275 -x1274 
1789.70/1790.05	v -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1253 
1789.70/1790.05	v -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 x1235 -x1234 
1789.70/1790.05	v -x1233 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 
1789.70/1790.05	v x1213 -x1212 -x1211 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1198 -x1197 -x1196 -x1195 -x1194 
1789.70/1790.05	v -x1193 -x1192 -x1191 -x1190 -x1189 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1176 -x1175 -x1174 
1789.70/1790.05	v -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1154 
1789.70/1790.05	v -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 
1789.70/1790.05	v -x1132 -x1130 -x1129 -x1128 -x1127 x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 
1789.70/1790.05	v -x1112 -x1111 -x1110 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1097 -x1096 -x1095 -x1094 
1789.70/1790.05	v -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1075 -x1074 
1789.70/1790.05	v -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 
1789.70/1790.05	v -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 
1789.70/1790.05	v -x1034 -x1033 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 
1789.70/1790.05	v -x1013 -x1012 -x1011 -x1010 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x997 -x996 -x995 -x994 
1789.70/1790.05	v -x993 -x992 -x991 -x990 -x989 -x988 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x975 -x974 -x973 -x972 -x971 
1789.70/1790.05	v -x970 -x969 -x968 -x967 -x966 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x953 -x952 -x951 -x950 -x949 -x948 
1789.70/1790.05	v -x947 -x946 -x945 -x944 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x931 -x930 -x929 -x928 -x927 -x926 -x925 
1789.70/1790.05	v -x924 -x923 -x922 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 
1789.70/1790.05	v -x900 -x899 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 
1789.70/1790.05	v -x877 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 
1789.70/1790.05	v -x855 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 
1789.70/1790.05	v -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x808 
1789.70/1790.05	v -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x786 -x785 
1789.70/1790.05	v -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x764 -x763 -x762 
1789.70/1790.05	v -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x742 -x741 -x740 -x739 
1789.70/1790.05	v -x738 -x737 -x736 -x735 -x734 -x733 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x720 -x719 -x718 -x717 
1789.70/1790.05	v -x716 -x715 -x714 -x713 -x712 -x711 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x697 -x696 -x695 -x694 -x693 
1789.70/1790.05	v -x692 -x691 -x690 -x689 -x688 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x675 -x674 -x673 -x672 -x671 -x670 
1789.70/1790.05	v -x669 -x668 -x667 -x666 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x653 -x652 -x651 -x650 -x649 -x648 -x647 
1789.70/1790.05	v -x646 -x645 -x644 -x642 -x641 x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 
1789.70/1790.05	v -x623 -x622 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 
1789.70/1790.05	v -x600 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 
1789.70/1790.05	v -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 
1789.70/1790.05	v -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x531 
1789.70/1790.05	v -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x509 -x508 
1789.70/1790.05	v -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x487 -x486 -x485 
1789.70/1790.05	v -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x464 -x463 -x462 -x461 
1789.70/1790.05	v -x460 -x459 -x458 -x457 -x456 -x455 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x442 -x441 -x440 -x439 -x438 
1789.70/1790.05	v -x437 -x436 -x435 -x434 -x433 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x420 -x419 -x418 -x417 -x416 
1789.70/1790.05	v -x415 -x414 x413 -x412 -x411 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x398 -x397 -x396 -x395 -x394 -x393 
1789.70/1790.05	v -x392 -x391 -x390 -x389 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x376 -x375 -x374 -x373 -x372 -x371 -x370 
1789.70/1790.05	v -x369 -x368 -x367 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 
1789.70/1790.05	v -x345 -x344 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 
1789.70/1790.05	v -x322 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 
1789.70/1790.05	v -x298 -x297 -x296 -x295 -x294 -x293 -x292 x291 -x290 -x289 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x276 
1789.70/1790.05	v -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x253 -x252 
1789.70/1790.05	v -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x231 -x230 
1789.70/1790.05	v -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x209 -x208 -x207 
1789.70/1790.05	v -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x198 -x197 -x196 -x195 -x194 -x193 -x192 x191 -x190 -x189 -x187 -x186 -x185 -x184 
1789.70/1790.05	v -x183 -x182 -x181 -x180 -x179 -x178 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x165 -x164 -x163 -x162 -x161 
1789.70/1790.05	v -x160 -x159 -x158 -x157 -x156 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x142 -x141 x140 -x139 -x138 -x137 
1789.70/1790.05	v -x136 -x135 -x134 -x133 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x120 -x119 -x118 -x117 -x116 -x115 -x114 
1789.70/1790.05	v -x113 -x112 -x111 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 
1789.70/1790.05	v -x89 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x65 -x64 -x63 -x62 
1789.70/1790.05	v -x61 -x60 -x59 -x58 -x57 -x56 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x43 -x42 x41 -x40 -x39 -x38 -x37 -x36 -x35 
1789.70/1790.05	v -x34 -x6651 -x6650 -x6649 -x6648 -x6647 -x6646 x6645 -x6644 -x6643 -x6642 -x6640 -x6639 -x6638 -x6637 -x6636 -x6635 -x6634 -x6633 
1789.70/1790.05	v -x6632 -x6631 -x6629 -x6628 -x6627 -x6626 -x6625 -x6624 -x6623 -x6622 -x6621 -x6620 -x6618 -x6617 -x6616 -x6615 -x6614 -x6613 
1789.70/1790.05	v -x6612 x6611 -x6610 -x6609 -x6607 -x6606 -x6605 -x6604 -x6603 -x6602 -x6601 -x6600 -x6599 -x6598 -x6596 -x6595 -x6594 -x6593 
1789.70/1790.05	v -x6592 -x6591 -x6590 -x6589 -x6588 -x6587 -x6585 -x6584 -x6583 -x6582 -x6581 -x6580 -x6579 -x6578 -x6577 -x6576 -x6574 
1789.70/1790.05	v -x6573 -x6572 -x6571 -x6570 -x6569 -x6568 -x6567 -x6566 -x6565 -x6563 -x6562 -x6561 -x6560 -x6559 -x6558 -x6557 -x6556 -x6555 
1789.70/1790.05	v -x6554 -x6552 -x6551 x6550 -x6549 -x6548 -x6547 -x6546 -x6545 -x6544 -x6543 -x6540 -x6539 -x6538 -x6537 -x6536 -x6535 -x6534 
1789.70/1790.05	v -x6533 -x6532 -x6531 -x6529 -x6528 -x6527 -x6526 -x6525 -x6524 -x6523 -x6522 -x6521 -x6520 -x6518 -x6517 -x6516 -x6515 -x6514 
1789.70/1790.05	v -x6513 -x6512 -x6511 -x6510 -x6509 -x6507 -x6506 -x6505 -x6504 -x6503 -x6502 -x6501 -x6500 -x6499 -x6498 -x6496 -x6495 -x6494 
1789.70/1790.05	v -x6493 -x6492 -x6491 -x6490 -x6489 -x6488 -x6487 -x6485 -x6484 -x6483 -x6482 -x6481 -x6480 -x6479 -x6478 -x6477 -x6476 -x6474 
1789.70/1790.05	v -x6473 -x6472 -x6471 -x6470 -x6469 -x6468 -x6467 -x6466 -x6465 -x6463 -x6462 -x6461 -x6460 -x6459 -x6458 -x6457 -x6456 -x6455 
1789.70/1790.05	v -x6454 -x6452 -x6451 -x6450 -x6449 -x6448 -x6447 -x6446 -x6445 -x6444 -x6443 -x6441 -x6440 -x6439 -x6438 -x6437 -x6436 -x6435 
1789.70/1790.05	v -x6434 -x6433 -x6432 -x6429 -x6428 -x6427 -x6426 -x6425 -x6424 -x6423 -x6422 -x6421 -x6420 -x6418 -x6417 -x6416 -x6415 
1789.70/1790.05	v -x6414 -x6413 -x6412 -x6411 -x6410 -x6409 -x6407 -x6406 -x6405 -x6404 -x6403 -x6402 -x6401 -x6400 -x6399 -x6398 -x6396 -x6395 
1789.70/1790.05	v -x6394 -x6393 -x6392 -x6391 -x6390 -x6389 -x6388 -x6387 -x6385 -x6384 -x6383 -x6382 -x6381 -x6380 -x6379 -x6378 -x6377 -x6376 
1789.70/1790.05	v -x6374 -x6373 -x6372 -x6371 -x6370 -x6369 -x6368 -x6367 -x6366 -x6365 -x6363 -x6362 -x6361 -x6360 -x6359 -x6358 -x6357 -x6356 
1789.70/1790.05	v -x6355 -x6354 -x6352 -x6351 -x6350 -x6349 -x6348 -x6347 -x6346 -x6345 -x6344 -x6343 -x6341 -x6340 -x6339 -x6338 -x6337 -x6336 
1789.70/1790.05	v -x6335 -x6334 -x6333 -x6332 -x6330 -x6329 -x6328 -x6327 -x6326 -x6325 -x6324 -x6323 -x6322 -x6321 -x6318 -x6317 -x6316 -x6315 
1789.70/1790.05	v -x6314 -x6313 -x6312 -x6311 -x6310 -x6309 -x6307 -x6306 -x6305 -x6304 -x6303 -x6302 -x6301 -x6300 -x6299 -x6298 -x6296 -x6295 
1789.70/1790.05	v -x6294 -x6293 -x6292 -x6291 -x6290 -x6289 -x6288 -x6287 -x6285 -x6284 -x6283 -x6282 -x6281 -x6280 -x6279 -x6276 -x6265 
1789.70/1790.05	v -x6254 -x6242 -x6231 -x6220 -x6209 -x6198 -x6187 -x6176 -x6165 -x6154 -x6143 -x6131 -x6120 -x6109 -x6098 -x6087 -x6076 -x6065 
1789.70/1790.05	v -x6054 -x6043 -x6032 -x6020 -x6009 -x5998 -x5987 -x5976 -x5965 -x5954 -x5943 -x5932 -x5921 -x5909 -x5898 -x5887 -x5876 -x5865 
1789.70/1790.05	v -x5854 -x5843 -x5832 -x5821 -x5810 -x5798 -x5787 -x5776 -x5765 -x5754 -x5743 -x5732 -x5721 -x5710 -x5699 -x5687 -x5676 -x5665 
1789.70/1790.05	v -x5654 -x5643 -x5632 -x5621 -x5610 -x5599 -x5588 -x5575 -x5564 -x5553 -x5542 -x5531 -x5520 -x5509 -x5498 -x5487 -x5476 -x5464 
1789.70/1790.05	v -x5453 -x5442 -x5431 -x5420 -x5409 -x5398 -x5387 -x5376 -x5365 -x5353 -x5342 -x5331 -x5320 -x5309 -x5298 -x5287 -x5276 -x5265 
1789.70/1790.05	v -x5254 -x5242 -x5231 -x5220 -x5209 -x5198 -x5187 -x5176 -x5165 -x5154 -x5143 -x5131 -x5120 -x5109 -x5098 -x5087 -x5076 -x5065 
1789.70/1790.05	v -x5054 -x5043 -x5032 -x5020 -x5009 -x4998 -x4987 -x4976 -x4965 -x4954 -x4943 -x4932 -x4921 -x4909 -x4898 -x4887 -x4876 
1789.70/1790.05	v -x4865 -x4854 -x4843 -x4832 -x4821 -x4810 -x4798 -x4787 -x4776 -x4765 -x4754 -x4743 -x4732 -x4721 -x4710 -x4699 -x4687 -x4676 
1789.70/1790.05	v -x4665 -x4654 -x4643 -x4632 -x4621 -x4610 -x4599 -x4588 -x4576 -x4565 -x4554 -x4543 -x4532 -x4521 -x4510 -x4499 -x4488 -x4477 
1789.70/1790.05	v -x4464 -x4453 -x4442 -x4431 -x4420 -x4409 -x4398 -x4387 -x4376 -x4365 -x4353 -x4342 -x4331 -x4320 -x4309 -x4298 -x4287 -x4276 
1789.70/1790.05	v -x4265 -x4254 -x4242 -x4231 -x4220 -x4209 -x4198 -x4187 -x4176 -x4165 -x4154 -x4143 -x4131 -x4120 -x4109 -x4098 -x4087 -x4076 
1789.70/1790.05	v -x4065 -x4054 -x4043 -x4032 -x4020 -x4009 -x3998 -x3987 -x3976 -x3965 -x3954 -x3943 -x3932 -x3921 -x3909 -x3898 -x3887 -x3876 
1789.70/1790.05	v -x3865 -x3854 -x3843 -x3832 -x3821 -x3810 -x3798 -x3787 -x3776 -x3765 -x3754 -x3743 -x3732 -x3721 -x3710 -x3699 -x3687 -x3676 
1789.70/1790.05	v -x3665 x3654 -x3643 -x3632 -x3621 -x3610 -x3599 -x3588 -x3576 -x3565 -x3554 -x3543 -x3532 -x3521 -x3510 -x3499 -x3488 -x3477 
1789.70/1790.05	v -x3465 -x3454 -x3443 -x3432 -x3421 -x3410 -x3399 -x3388 -x3377 -x3366 -x3353 -x3342 -x3331 -x3320 -x3309 -x3298 -x3287 
1789.70/1790.05	v -x3276 -x3265 -x3254 -x3242 -x3231 -x3220 -x3209 -x3198 -x3187 -x3176 -x3165 -x3154 -x3143 -x3131 -x3120 -x3109 -x3098 -x3087 
1789.70/1790.05	v -x3076 -x3065 -x3054 -x3043 -x3032 -x3020 -x3009 -x2998 -x2987 -x2976 -x2965 -x2954 -x2943 -x2932 -x2921 -x2909 -x2898 -x2887 
1789.70/1790.05	v -x2876 -x2865 -x2854 -x2843 -x2832 -x2821 -x2810 -x2798 -x2787 -x2776 -x2765 -x2754 -x2743 -x2732 x2721 -x2710 -x2699 -x2687 
1789.70/1790.05	v -x2676 -x2665 -x2654 -x2643 -x2632 -x2621 -x2610 -x2599 -x2588 -x2576 -x2565 -x2554 -x2543 -x2532 -x2521 -x2510 -x2499 -x2488 
1789.70/1790.05	v -x2477 -x2465 -x2454 -x2443 -x2432 -x2421 -x2410 -x2399 -x2388 -x2377 -x2366 -x2354 -x2343 -x2332 -x2321 -x2310 -x2299 -x2288 
1789.70/1790.05	v -x2277 -x2266 -x2255 -x2242 -x2231 -x2220 -x2209 -x2198 -x2187 -x2176 -x2165 -x2154 -x2143 -x2131 -x2120 -x2109 -x2098 -x2087 
1789.70/1790.05	v -x2076 -x2065 -x2054 -x2043 -x2032 -x2020 -x2009 -x1998 -x1987 -x1976 -x1965 -x1954 -x1943 -x1932 -x1921 -x1909 -x1898 -x1887 
1789.70/1790.05	v -x1876 -x1865 -x1854 -x1843 -x1832 -x1821 -x1810 -x1798 -x1787 -x1776 -x1765 -x1754 -x1743 -x1732 -x1721 -x1710 -x1699 
1789.70/1790.05	v -x1687 -x1676 -x1665 -x1654 -x1643 -x1632 -x1621 -x1610 -x1599 -x1588 -x1576 -x1565 -x1554 -x1543 -x1532 -x1521 -x1510 -x1499 
1789.70/1790.05	v -x1488 -x1477 -x1465 -x1454 -x1443 -x1432 -x1421 -x1410 -x1399 -x1388 -x1377 -x1366 -x1354 -x1343 -x1332 -x1321 -x1310 -x1299 
1789.70/1790.05	v -x1288 -x1277 -x1266 -x1255 -x1243 -x1232 -x1221 -x1210 -x1199 -x1188 -x1177 -x1166 -x1155 -x1144 -x1131 -x1120 -x1109 -x1098 
1789.70/1790.05	v -x1087 -x1076 -x1065 -x1054 -x1043 -x1032 -x1020 -x1009 -x998 -x987 -x976 -x965 -x954 -x943 -x932 -x921 -x909 -x898 -x887 
1789.70/1790.05	v -x876 -x865 -x854 -x843 -x832 -x821 -x810 -x798 -x787 -x776 -x765 -x754 -x743 -x732 -x721 -x710 -x699 -x687 -x676 -x665 -x654 
1789.70/1790.05	v -x643 -x632 -x621 -x610 -x599 -x588 -x576 -x565 -x554 -x543 -x532 -x521 -x510 -x499 -x488 -x477 -x465 -x454 -x443 -x432 -x421 
1789.70/1790.05	v -x410 -x399 -x388 -x377 -x366 -x354 -x343 -x332 -x321 -x310 -x299 -x288 -x277 -x266 -x255 -x243 -x232 -x221 -x210 -x199 -x188 
1789.70/1790.05	v -x177 x166 -x155 -x144 -x132 -x121 -x110 -x99 -x88 -x77 -x66 -x55 -x44 -x33 -x6641 -x6630 -x6619 -x6608 -x6597 -x6586 -x6575 
1789.70/1790.05	v -x6564 -x6553 -x6542 -x6530 -x6519 x6508 -x6497 -x6486 -x6475 -x6464 -x6453 -x6442 -x6431 -x6419 -x6408 -x6397 -x6386 -x6375 
1789.70/1790.05	v -x6364 -x6353 -x6342 -x6331 -x6320 -x6308 -x6297 -x6286 -x6253 -x6142 -x6031 -x5920 -x5809 -x5698 -x5587 -x5475 -x5364 -x5253 
1789.70/1790.05	v -x5142 -x5031 -x4920 -x4809 -x4698 -x4587 -x4476 -x4364 -x4253 -x4142 -x4031 -x3920 -x3809 -x3698 -x3587 -x3476 -x3365 -x3253 
1789.70/1790.05	v -x3142 -x3031 -x2920 -x2809 -x2698 -x2587 -x2476 -x2365 -x2254 -x2142 -x2031 -x1920 -x1809 -x1698 -x1587 -x1476 -x1365 -x1254 
1789.70/1790.05	v -x1143 -x1031 -x920 -x809 -x698 -x587 -x476 -x365 -x254 -x143 -x32 -x6541 -x6430 -x6319 -x5586 -x4475 -x3364 -x2253 -x1142 
1789.70/1790.05	v x31 -x30 -x29 -x28 -x27 x26 x25 x24 -x23 -x22 x21 -x20 -x19 x18 -x17 x16 x15 x14 x13 x12 x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 
1789.70/1790.05	v -x3 -x2 -x1 
1789.70/1790.05	c SCIP Status        : solving was interrupted [time limit reached]
1789.70/1790.05	c Solving Time       :    1789.84
1789.70/1790.05	c Original Problem   :
1789.70/1790.05	c   Problem name     : HOME/instance-3733495-1338697682.opb
1789.70/1790.05	c   Variables        : 6651 (6651 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.70/1790.05	c   Constraints      : 721 initial, 721 maximal
1789.70/1790.05	c Presolved Problem  :
1789.70/1790.05	c   Problem name     : t_HOME/instance-3733495-1338697682.opb
1789.70/1790.05	c   Variables        : 6620 (6620 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.70/1790.05	c   Constraints      : 536 initial, 957 maximal
1789.70/1790.05	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1789.70/1790.05	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1789.70/1790.05	c   dualfix          :       0.00         30          0          0          0          0          0          0          0
1789.70/1790.05	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1789.70/1790.05	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1789.70/1790.05	c   implics          :       0.00          0          0          0          0          0          0          0          0
1789.70/1790.05	c   probing          :       0.40          1          0          0          0          0          0          0          0
1789.70/1790.05	c   knapsack         :       1.04          0          0          0          0          0          0         20      66265
1789.70/1790.05	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1789.70/1790.05	c   linear           :       0.17          0          0          0          0          0        185         55      90897
1789.70/1790.05	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1789.70/1790.05	c   root node        :          -         58          -          -         58          -          -          -          -
1789.70/1790.05	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1789.70/1790.05	c   integral         :          0          0          0       8470          0          0        102          0          0      16742
1789.70/1790.05	c   knapsack         :        183         13     141488          0          0        167        272        283          0          0
1789.70/1790.05	c   setppc           :        330         13     141321          0          0          1     121187          0          0          0
1789.70/1790.05	c   logicor          :         23+        13       7593          0          0          0          1          0          0          0
1789.70/1790.05	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1789.70/1790.05	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1789.70/1790.05	c   integral         :      33.67       0.00       0.00      33.67       0.00
1789.70/1790.05	c   knapsack         :    1319.62      98.52    1221.10       0.00       0.00
1789.70/1790.05	c   setppc           :       2.89       0.00       2.89       0.00       0.00
1789.70/1790.05	c   logicor          :       0.11       0.00       0.11       0.00       0.00
1789.70/1790.05	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1789.70/1790.05	c Propagators        :       Time      Calls    Cutoffs    DomReds
1789.70/1790.05	c   vbounds          :       0.08          2          0          0
1789.70/1790.05	c   rootredcost      :       0.10         39          0          0
1789.70/1790.05	c   pseudoobj        :       0.32     141387         66          9
1789.70/1790.05	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1789.70/1790.05	c   propagation      :       1.12        233        233        425       70.6          0        0.0          -
1789.70/1790.05	c   infeasible LP    :       0.38        470        470        509       45.9          0        0.0          0
1789.70/1790.05	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1789.70/1790.05	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1789.70/1790.05	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1789.70/1790.05	c   applied globally :          -          -          -        732       47.5          -          -          -
1789.70/1790.05	c   applied locally  :          -          -          -          0        0.0          -          -          -
1789.70/1790.05	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1789.70/1790.05	c   cut pool         :       0.00         12          -          -         28          -    (maximal pool size: 189)
1789.70/1790.05	c   redcost          :       8.54      15602          0    2009716          0          0
1789.70/1790.05	c   impliedbounds    :       0.00         13          0          0          0          0
1789.70/1790.05	c   intobj           :       0.00          0          0          0          0          0
1789.70/1790.05	c   cgmip            :       0.00          0          0          0          0          0
1789.70/1790.05	c   gomory           :       0.09         13          0          0        115          0
1789.70/1790.05	c   strongcg         :       0.13         13          0          0        120          0
1789.70/1790.05	c   cmir             :       0.38         10          0          0         67          0
1789.70/1790.05	c   flowcover        :       2.46         10          0          0        183          0
1789.70/1790.05	c   clique           :       0.01         13          0          0          0          0
1789.70/1790.05	c   zerohalf         :       0.00          0          0          0          0          0
1789.70/1790.05	c   mcf              :       0.02          1          0          0          0          0
1789.70/1790.05	c   rapidlearning    :       0.87          1          0          0          0          0
1789.70/1790.05	c Pricers            :       Time      Calls       Vars
1789.70/1790.05	c   problem variables:       0.00          0          0
1789.70/1790.05	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1789.70/1790.05	c   relpscost        :      33.65       8470          0        102          0          0      16742
1789.70/1790.05	c   pscost           :       0.00          0          0          0          0          0          0
1789.70/1790.05	c   inference        :       0.00          0          0          0          0          0          0
1789.70/1790.05	c   mostinf          :       0.00          0          0          0          0          0          0
1789.70/1790.05	c   leastinf         :       0.00          0          0          0          0          0          0
1789.70/1790.05	c   fullstrong       :       0.00          0          0          0          0          0          0
1789.70/1790.05	c   allfullstrong    :       0.00          0          0          0          0          0          0
1789.70/1790.05	c   random           :       0.00          0          0          0          0          0          0
1789.70/1790.05	c Primal Heuristics  :       Time      Calls      Found
1789.70/1790.05	c   LP solutions     :       0.00          -          0
1789.70/1790.05	c   pseudo solutions :       0.00          -          0
1789.70/1790.05	c   oneopt           :       0.05         15          3
1789.70/1790.05	c   crossover        :       0.79          7          1
1789.70/1790.05	c   trivial          :       0.01          2          0
1789.70/1790.05	c   simplerounding   :       0.02          8          0
1789.70/1790.05	c   zirounding       :       0.06       1000          0
1789.70/1790.05	c   rounding         :       5.83       5113          2
1789.70/1790.05	c   shifting         :       9.75        854          1
1789.70/1790.05	c   intshifting      :       0.00          0          0
1789.70/1790.05	c   twoopt           :       0.00          0          0
1789.70/1790.05	c   fixandinfer      :       0.00          0          0
1789.70/1790.05	c   feaspump         :       1.02          1          0
1789.70/1790.05	c   coefdiving       :     659.49        217         41
1789.70/1790.05	c   pscostdiving     :      98.98        130          4
1789.70/1790.05	c   fracdiving       :     187.16        140          6
1789.70/1790.05	c   veclendiving     :     141.08         72          0
1789.70/1790.05	c   intdiving        :       0.00          0          0
1789.70/1790.05	c   actconsdiving    :       0.00          0          0
1789.70/1790.05	c   objpscostdiving  :       2.16         18          0
1789.70/1790.05	c   rootsoldiving    :      12.09          7          8
1789.70/1790.05	c   linesearchdiving :     138.84         64          0
1789.70/1790.05	c   guideddiving     :      46.69         47          0
1789.70/1790.05	c   octane           :       0.00          0          0
1789.70/1790.05	c   rens             :       0.09          1          1
1789.70/1790.05	c   rins             :       0.00          0          0
1789.70/1790.05	c   localbranching   :       0.00          0          0
1789.70/1790.05	c   mutation         :       0.00          0          0
1789.70/1790.05	c   dins             :       0.00          0          0
1789.70/1790.05	c   undercover       :       0.00          0          0
1789.70/1790.05	c   nlp              :       0.00          0          0
1789.70/1790.05	c   trysol           :       0.01          0          0
1789.70/1790.05	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1789.70/1790.05	c   primal LP        :       0.00          0          0       0.00          -
1789.70/1790.05	c   dual LP          :      98.41       8936     384586      43.04    3907.97
1789.70/1790.05	c   lex dual LP      :       0.00          0          0       0.00          -
1789.70/1790.05	c   barrier LP       :       0.00          0          0       0.00          -
1789.70/1790.05	c   diving/probing LP:     205.07     102348     367438       3.59    1791.79
1789.70/1790.05	c   strong branching :      33.36       6110     105437      17.26    3160.72
1789.70/1790.05	c     (at root node) :          -         30       1482      49.40          -
1789.70/1790.05	c   conflict analysis:       0.00          0          0       0.00          -
1789.70/1790.05	c B&B Tree           :
1789.70/1790.05	c   number of runs   :          1
1789.70/1790.05	c   nodes            :       8813
1789.70/1790.05	c   nodes (total)    :       8813
1789.70/1790.05	c   nodes left       :       7880
1789.70/1790.05	c   max depth        :        113
1789.70/1790.05	c   max depth (total):        113
1789.70/1790.05	c   backtracks       :        852 (9.7%)
1789.70/1790.05	c   delayed cutoffs  :          0
1789.70/1790.05	c   repropagations   :         50 (6 domain reductions, 0 cutoffs)
1789.70/1790.05	c   avg switch length:       4.27
1789.70/1790.05	c   switching time   :       6.29
1789.70/1790.05	c Solution           :
1789.70/1790.05	c   Solutions found  :         67 (42 improvements)
1789.70/1790.05	c   First Solution   : +1.61061273600000e+09   (in run 1, after 1 nodes, 1.79 seconds, depth 0, found by <shifting>)
1789.70/1790.05	c   Primal Bound     : +1.13370624000000e+09   (in run 1, after 4013 nodes, 1017.23 seconds, depth 124, found by <coefdiving>)
1789.70/1790.05	c   Dual Bound       : +1.12541695212141e+09
1789.70/1790.05	c   Gap              :       0.74 %
1789.70/1790.05	c   Root Dual Bound  : +1.12509957395914e+09
1789.70/1790.05	c   Root Iterations  :        761
1789.80/1790.13	c Time complete: 1789.84.

Verifier Data

OK	1133706240

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3733495-1338697682/watcher-3733495-1338697682 -o /tmp/evaluation-result-3733495-1338697682/solver-3733495-1338697682 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3733495-1338697682.opb -t 1800 -m 15500 

running on 4 cores: 1,3,5,7

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 27708
/proc/meminfo: memFree=31318132/32873844 swapFree=7116/7116
[pid=27708] ppid=27706 vsize=9972 CPUtime=0 cores=1,3,5,7
/proc/27708/stat : 27708 (pbscip.linux.x8) R 27706 27708 25766 0 -1 4202496 1636 0 0 0 0 0 0 0 20 0 1 0 335896759 10211328 1583 33554432000 4194304 8395647 140737366855376 140735294443768 7382157 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27708/statm: 2493 1590 374 1026 0 1463 0

[startup+0.102825 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 27708
/proc/meminfo: memFree=31318132/32873844 swapFree=7116/7116
[pid=27708] ppid=27706 vsize=17776 CPUtime=0.09 cores=1,3,5,7
/proc/27708/stat : 27708 (pbscip.linux.x8) R 27706 27708 25766 0 -1 4202496 3640 0 0 0 9 0 0 0 20 0 1 0 335896759 18202624 3586 33554432000 4194304 8395647 140737366855376 140737366720584 7277008 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27708/statm: 4444 3586 394 1026 0 3414 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17776

[startup+0.200345 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 27708
/proc/meminfo: memFree=31318132/32873844 swapFree=7116/7116
[pid=27708] ppid=27706 vsize=25940 CPUtime=0.19 cores=1,3,5,7
/proc/27708/stat : 27708 (pbscip.linux.x8) R 27706 27708 25766 0 -1 4202496 5715 0 0 0 18 1 0 0 20 0 1 0 335896759 26562560 5308 33554432000 4194304 8395647 140737366855376 140737366720584 6347101 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27708/statm: 6485 5340 410 1026 0 5455 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 25940

[startup+0.300348 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 27708
/proc/meminfo: memFree=31318132/32873844 swapFree=7116/7116
[pid=27708] ppid=27706 vsize=50868 CPUtime=0.28 cores=1,3,5,7
/proc/27708/stat : 27708 (pbscip.linux.x8) R 27706 27708 25766 0 -1 4202496 11800 0 0 0 27 1 0 0 20 0 1 0 335896759 52088832 11392 33554432000 4194304 8395647 140737366855376 140737366720584 4962548 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27708/statm: 12717 11392 460 1026 0 11687 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 50868

[startup+0.700276 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 27708
/proc/meminfo: memFree=31318132/32873844 swapFree=7116/7116
[pid=27708] ppid=27706 vsize=67356 CPUtime=0.69 cores=1,3,5,7
/proc/27708/stat : 27708 (pbscip.linux.x8) R 27706 27708 25766 0 -1 4202496 15919 0 0 0 67 2 0 0 20 0 1 0 335896759 68972544 15510 33554432000 4194304 8395647 140737366855376 140737366720584 4735489 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27708/statm: 16839 15510 492 1026 0 15809 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 67356

[startup+1.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27709
/proc/meminfo: memFree=31258356/32873844 swapFree=7116/7116
[pid=27708] ppid=27706 vsize=70468 CPUtime=1.49 cores=1,3,5,7
/proc/27708/stat : 27708 (pbscip.linux.x8) R 27706 27708 25766 0 -1 4202496 16709 0 0 0 147 2 0 0 20 0 1 0 335896759 72159232 16295 33554432000 4194304 8395647 140737366855376 140737366851176 4911287 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27708/statm: 17617 16295 501 1026 0 16587 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 70468

[startup+3.10022 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27709
/proc/meminfo: memFree=31238260/32873844 swapFree=7116/7116
[pid=27708] ppid=27706 vsize=88560 CPUtime=3.09 cores=1,3,5,7
/proc/27708/stat : 27708 (pbscip.linux.x8) R 27706 27708 25766 0 -1 4202496 21550 0 0 0 306 3 0 0 20 0 1 0 335896759 90685440 20431 33554432000 4194304 8395647 140737366855376 140737366848872 6013893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27708/statm: 22140 20431 593 1026 0 21110 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 88560

[startup+6.30022 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27709
/proc/meminfo: memFree=31237772/32873844 swapFree=7116/7116
[pid=27708] ppid=27706 vsize=88560 CPUtime=6.29 cores=1,3,5,7
/proc/27708/stat : 27708 (pbscip.linux.x8) R 27706 27708 25766 0 -1 4202496 21552 0 0 0 626 3 0 0 20 0 1 0 335896759 90685440 20433 33554432000 4194304 8395647 140737366855376 140737366848872 4934361 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27708/statm: 22140 20433 593 1026 0 21110 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 88560

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27709
/proc/meminfo: memFree=31201324/32873844 swapFree=7116/7116
[pid=27708] ppid=27706 vsize=127068 CPUtime=12.69 cores=1,3,5,7
/proc/27708/stat : 27708 (pbscip.linux.x8) R 27706 27708 25766 0 -1 4202496 35468 0 0 0 1263 6 0 0 20 0 1 0 335896759 130117632 29584 33554432000 4194304 8395647 140737366855376 140737366849992 6013877 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27708/statm: 31767 29584 632 1026 0 30737 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 127068

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27709
/proc/meminfo: memFree=31199960/32873844 swapFree=7116/7116
[pid=27708] ppid=27706 vsize=128900 CPUtime=25.49 cores=1,3,5,7
/proc/27708/stat : 27708 (pbscip.linux.x8) R 27706 27708 25766 0 -1 4202496 35935 0 0 0 2543 6 0 0 20 0 1 0 335896759 131993600 30051 33554432000 4194304 8395647 140737366855376 140737366849992 6013880 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27708/statm: 32225 30051 632 1026 0 31195 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 128900

[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27747
/proc/meminfo: memFree=31497204/32873844 swapFree=7116/7116
[pid=27708] ppid=27706 vsize=134180 CPUtime=51.08 cores=1,3,5,7
/proc/27708/stat : 27708 (pbscip.linux.x8) R 27706 27708 25766 0 -1 4202496 37134 0 0 0 5102 6 0 0 20 0 1 0 335896759 137400320 31250 33554432000 4194304 8395647 140737366855376 140737366849992 6013893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27708/statm: 33545 31250 632 1026 0 32515 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 134180

[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27747
/proc/meminfo: memFree=31431536/32873844 swapFree=7116/7116
[pid=27708] ppid=27706 vsize=136252 CPUtime=102.26 cores=1,3,5,7
/proc/27708/stat : 27708 (pbscip.linux.x8) R 27706 27708 25766 0 -1 4202496 37481 0 0 0 10220 6 0 0 20 0 1 0 335896759 139522048 32287 33554432000 4194304 8395647 140737366855376 140737366849992 6013893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27708/statm: 34063 32287 633 1026 0 33033 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 136252

[startup+162.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/178 27751
/proc/meminfo: memFree=31388236/32873844 swapFree=7116/7116
[pid=27708] ppid=27706 vsize=136252 CPUtime=162.24 cores=1,3,5,7
/proc/27708/stat : 27708 (pbscip.linux.x8) R 27706 27708 25766 0 -1 4202496 39692 0 0 0 16203 21 0 0 20 0 1 0 335896759 139522048 32722 33554432000 4194304 8395647 140737366855376 140737366851096 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27708/statm: 34063 32722 645 1026 0 33033 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 136252

[startup+222.307 s]
/proc/loadavg: 2.08 2.04 2.01 3/177 27751
/proc/meminfo: memFree=31351196/32873844 swapFree=7116/7116
[pid=27708] ppid=27706 vsize=136252 CPUtime=222.25 cores=1,3,5,7
/proc/27708/stat : 27708 (pbscip.linux.x8) R 27706 27708 25766 0 -1 4202496 43106 0 0 0 22196 29 0 0 20 0 1 0 335896759 139522048 32723 33554432000 4194304 8395647 140737366855376 140737366851080 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27708/statm: 34063 32723 646 1026 0 33033 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 136252

[startup+282.3 s]
/proc/loadavg: 2.11 2.06 2.01 3/177 27751
/proc/meminfo: memFree=31308776/32873844 swapFree=7116/7116
[pid=27708] ppid=27706 vsize=145516 CPUtime=282.23 cores=1,3,5,7
/proc/27708/stat : 27708 (pbscip.linux.x8) R 27706 27708 25766 0 -1 4202496 48148 0 0 0 28185 38 0 0 20 0 1 0 335896759 149008384 35033 33554432000 4194304 8395647 140737366855376 140737366851096 4911287 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27708/statm: 36379 35033 646 1026 0 35349 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 145516

[startup+342.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/177 27751
/proc/meminfo: memFree=31265180/32873844 swapFree=7116/7116
[pid=27708] ppid=27706 vsize=145516 CPUtime=342.22 cores=1,3,5,7
/proc/27708/stat : 27708 (pbscip.linux.x8) R 27706 27708 25766 0 -1 4202496 51332 0 0 0 34175 47 0 0 20 0 1 0 335896759 149008384 35039 33554432000 4194304 8395647 140737366855376 140737366851048 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27708/statm: 36379 35039 646 1026 0 35349 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 145516

[startup+402.3 s]
/proc/loadavg: 2.07 2.06 2.01 3/177 27751
/proc/meminfo: memFree=31225004/32873844 swapFree=7116/7116
[pid=27708] ppid=27706 vsize=145516 CPUtime=402.21 cores=1,3,5,7
/proc/27708/stat : 27708 (pbscip.linux.x8) R 27706 27708 25766 0 -1 4202496 51332 0 0 0 40166 55 0 0 20 0 1 0 335896759 149008384 35039 33554432000 4194304 8395647 140737366855376 140737366850616 4911287 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27708/statm: 36379 35039 646 1026 0 35349 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 145516

[startup+462.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/177 27752
/proc/meminfo: memFree=31181896/32873844 swapFree=7116/7116
[pid=27708] ppid=27706 vsize=145516 CPUtime=462.2 cores=1,3,5,7
/proc/27708/stat : 27708 (pbscip.linux.x8) R 27706 27708 25766 0 -1 4202496 51332 0 0 0 46156 64 0 0 20 0 1 0 335896759 149008384 35039 33554432000 4194304 8395647 140737366855376 140737366851032 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27708/statm: 36379 35039 646 1026 0 35349 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 145516

[startup+522.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/177 27752
/proc/meminfo: memFree=31137904/32873844 swapFree=7116/7116
[pid=27708] ppid=27706 vsize=149032 CPUtime=522.19 cores=1,3,5,7
/proc/27708/stat : 27708 (pbscip.linux.x8) R 27706 27708 25766 0 -1 4202496 55902 0 0 0 52145 74 0 0 20 0 1 0 335896759 152608768 35914 33554432000 4194304 8395647 140737366855376 140737366851016 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27708/statm: 37258 35914 646 1026 0 36228 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 149032

[startup+582.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 27752
/proc/meminfo: memFree=31093992/32873844 swapFree=7116/7116
[pid=27708] ppid=27706 vsize=149032 CPUtime=582.18 cores=1,3,5,7
/proc/27708/stat : 27708 (pbscip.linux.x8) R 27706 27708 25766 0 -1 4202496 55902 0 0 0 58139 79 0 0 20 0 1 0 335896759 152608768 35914 33554432000 4194304 8395647 140737366855376 140737366851048 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27708/statm: 37258 35914 646 1026 0 36228 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 149032

[startup+642.3 s]

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

/proc/meminfo: memFree=30709220/32873844 swapFree=7116/7116
[pid=27708] ppid=27706 vsize=160844 CPUtime=1062.1 cores=1,3,5,7
/proc/27708/stat : 27708 (pbscip.linux.x8) R 27706 27708 25766 0 -1 4202496 64824 0 0 0 106094 116 0 0 20 0 1 0 335896759 164704256 38850 33554432000 4194304 8395647 140737366855376 140737366851080 4911307 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27708/statm: 40211 38850 646 1026 0 39181 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 160844

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 27758
/proc/meminfo: memFree=30657136/32873844 swapFree=7116/7116
[pid=27708] ppid=27706 vsize=167304 CPUtime=1122.1 cores=1,3,5,7
/proc/27708/stat : 27708 (pbscip.linux.x8) R 27706 27708 25766 0 -1 4202496 66421 0 0 0 112087 123 0 0 20 0 1 0 335896759 171319296 40430 33554432000 4194304 8395647 140737366855376 140737366851080 4911327 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27708/statm: 41826 40430 646 1026 0 40796 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 167304

[startup+1182.3 s]
/proc/loadavg: 2.14 2.04 2.01 3/177 27758
/proc/meminfo: memFree=30604248/32873844 swapFree=7116/7116
[pid=27708] ppid=27706 vsize=177876 CPUtime=1182.08 cores=1,3,5,7
/proc/27708/stat : 27708 (pbscip.linux.x8) R 27706 27708 25766 0 -1 4202496 69000 0 0 0 118080 128 0 0 20 0 1 0 335896759 182145024 42972 33554432000 4194304 8395647 140737366855376 140737366850840 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27708/statm: 44469 42972 646 1026 0 43439 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 177876

[startup+1242.3 s]
/proc/loadavg: 2.05 2.03 2.01 3/177 27758
/proc/meminfo: memFree=30553264/32873844 swapFree=7116/7116
[pid=27708] ppid=27706 vsize=186652 CPUtime=1242.08 cores=1,3,5,7
/proc/27708/stat : 27708 (pbscip.linux.x8) R 27706 27708 25766 0 -1 4202496 71217 0 0 0 124072 136 0 0 20 0 1 0 335896759 191131648 45263 33554432000 4194304 8395647 140737366855376 140737366850776 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27708/statm: 46663 45263 646 1026 0 45633 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 186652

[startup+1302.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 27758
/proc/meminfo: memFree=30503600/32873844 swapFree=7116/7116
[pid=27708] ppid=27706 vsize=193068 CPUtime=1302.08 cores=1,3,5,7
/proc/27708/stat : 27708 (pbscip.linux.x8) R 27706 27708 25766 0 -1 4202496 72789 0 0 0 130066 142 0 0 20 0 1 0 335896759 197701632 46814 33554432000 4194304 8395647 140737366855376 140737366850776 6068872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27708/statm: 48267 46814 646 1026 0 47237 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 193068

[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 27762
/proc/meminfo: memFree=30452752/32873844 swapFree=7116/7116
[pid=27708] ppid=27706 vsize=202048 CPUtime=1362.06 cores=1,3,5,7
/proc/27708/stat : 27708 (pbscip.linux.x8) R 27706 27708 25766 0 -1 4202496 74926 0 0 0 136060 146 0 0 20 0 1 0 335896759 206897152 48949 33554432000 4194304 8395647 140737366855376 140737366851096 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27708/statm: 50512 48949 646 1026 0 49482 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 202048

[startup+1422.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 27762
/proc/meminfo: memFree=30402476/32873844 swapFree=7116/7116
[pid=27708] ppid=27706 vsize=210956 CPUtime=1422.06 cores=1,3,5,7
/proc/27708/stat : 27708 (pbscip.linux.x8) R 27706 27708 25766 0 -1 4202496 77056 0 0 0 142053 153 0 0 20 0 1 0 335896759 216018944 51063 33554432000 4194304 8395647 140737366855376 140737366850984 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27708/statm: 52739 51063 646 1026 0 51709 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 210956

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 27762
/proc/meminfo: memFree=30354364/32873844 swapFree=7116/7116
[pid=27708] ppid=27706 vsize=217656 CPUtime=1482.04 cores=1,3,5,7
/proc/27708/stat : 27708 (pbscip.linux.x8) R 27706 27708 25766 0 -1 4202496 78654 0 0 0 148046 158 0 0 20 0 1 0 335896759 222879744 52612 33554432000 4194304 8395647 140737366855376 140737366851240 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27708/statm: 54414 52612 646 1026 0 53384 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 217656

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27762
/proc/meminfo: memFree=30300112/32873844 swapFree=7116/7116
[pid=27708] ppid=27706 vsize=227536 CPUtime=1542.04 cores=1,3,5,7
/proc/27708/stat : 27708 (pbscip.linux.x8) R 27706 27708 25766 0 -1 4202496 80965 0 0 0 154040 164 0 0 20 0 1 0 335896759 232996864 54874 33554432000 4194304 8395647 140737366855376 140737366851064 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27708/statm: 56884 54874 646 1026 0 55854 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 227536

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27762
/proc/meminfo: memFree=30255968/32873844 swapFree=7116/7116
[pid=27708] ppid=27706 vsize=232400 CPUtime=1602.03 cores=1,3,5,7
/proc/27708/stat : 27708 (pbscip.linux.x8) R 27706 27708 25766 0 -1 4202496 90136 0 0 0 160033 170 0 0 20 0 1 0 335896759 237977600 56077 33554432000 4194304 8395647 140737366855376 140737366850776 4911327 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27708/statm: 58100 56077 646 1026 0 57070 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 232400

[startup+1662.3 s]
/proc/loadavg: 2.12 2.03 2.01 3/176 27762
/proc/meminfo: memFree=30205012/32873844 swapFree=7116/7116
[pid=27708] ppid=27706 vsize=242120 CPUtime=1662.02 cores=1,3,5,7
/proc/27708/stat : 27708 (pbscip.linux.x8) R 27706 27708 25766 0 -1 4202496 92333 0 0 0 166027 175 0 0 20 0 1 0 335896759 247930880 58244 33554432000 4194304 8395647 140737366855376 140737366850728 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27708/statm: 60530 58244 646 1026 0 59500 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 242120

[startup+1722.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 27763
/proc/meminfo: memFree=30162468/32873844 swapFree=7116/7116
[pid=27708] ppid=27706 vsize=247644 CPUtime=1722.01 cores=1,3,5,7
/proc/27708/stat : 27708 (pbscip.linux.x8) R 27706 27708 25766 0 -1 4202496 93561 0 0 0 172022 179 0 0 20 0 1 0 335896759 253587456 59453 33554432000 4194304 8395647 140737366855376 140737366851080 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27708/statm: 61911 59453 646 1026 0 60881 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 247644

[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 27763
/proc/meminfo: memFree=30112152/32873844 swapFree=7116/7116
[pid=27708] ppid=27706 vsize=255508 CPUtime=1782 cores=1,3,5,7
/proc/27708/stat : 27708 (pbscip.linux.x8) R 27706 27708 25766 0 -1 4202496 103309 0 0 0 178014 186 0 0 20 0 1 0 335896759 261640192 61267 33554432000 4194304 8395647 140737366855376 140737366850776 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27708/statm: 63877 61267 646 1026 0 62847 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 255508

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

[startup+1785.6 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 27763
/proc/meminfo: memFree=30108804/32873844 swapFree=7116/7116
[pid=27708] ppid=27706 vsize=255508 CPUtime=1785.3 cores=1,3,5,7
/proc/27708/stat : 27708 (pbscip.linux.x8) R 27706 27708 25766 0 -1 4202496 103309 0 0 0 178344 186 0 0 20 0 1 0 335896759 261640192 61267 33554432000 4194304 8395647 140737366855376 140737366851096 4911327 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27708/statm: 63877 61267 646 1026 0 62847 0
Current children cumulated CPU time (s) 1785.3
Current children cumulated vsize (KiB) 255508

[startup+1787.2 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 27763
/proc/meminfo: memFree=30108540/32873844 swapFree=7116/7116
[pid=27708] ppid=27706 vsize=255508 CPUtime=1786.9 cores=1,3,5,7
/proc/27708/stat : 27708 (pbscip.linux.x8) R 27706 27708 25766 0 -1 4202496 103309 0 0 0 178504 186 0 0 20 0 1 0 335896759 261640192 61267 33554432000 4194304 8395647 140737366855376 140737366850776 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27708/statm: 63877 61267 646 1026 0 62847 0
Current children cumulated CPU time (s) 1786.9
Current children cumulated vsize (KiB) 255508

[startup+1788.8 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 27763
/proc/meminfo: memFree=30107176/32873844 swapFree=7116/7116
[pid=27708] ppid=27706 vsize=255508 CPUtime=1788.5 cores=1,3,5,7
/proc/27708/stat : 27708 (pbscip.linux.x8) R 27706 27708 25766 0 -1 4202496 103309 0 0 0 178664 186 0 0 20 0 1 0 335896759 261640192 61267 33554432000 4194304 8395647 140737366855376 140737366851080 4911307 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27708/statm: 63877 61267 646 1026 0 62847 0
Current children cumulated CPU time (s) 1788.5
Current children cumulated vsize (KiB) 255508

[startup+1789.6 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 27763
/proc/meminfo: memFree=30107176/32873844 swapFree=7116/7116
[pid=27708] ppid=27706 vsize=255508 CPUtime=1789.3 cores=1,3,5,7
/proc/27708/stat : 27708 (pbscip.linux.x8) R 27706 27708 25766 0 -1 4202496 103309 0 0 0 178744 186 0 0 20 0 1 0 335896759 261640192 61267 33554432000 4194304 8395647 140737366855376 140737366851080 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27708/statm: 63877 61267 646 1026 0 62847 0
Current children cumulated CPU time (s) 1789.3
Current children cumulated vsize (KiB) 255508

[startup+1790 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 27763
/proc/meminfo: memFree=30106184/32873844 swapFree=7116/7116
[pid=27708] ppid=27706 vsize=255508 CPUtime=1789.7 cores=1,3,5,7
/proc/27708/stat : 27708 (pbscip.linux.x8) R 27706 27708 25766 0 -1 4202496 103309 0 0 0 178784 186 0 0 20 0 1 0 335896759 261640192 61267 33554432000 4194304 8395647 140737366855376 140737366851080 4918201 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27708/statm: 63877 61267 646 1026 0 62847 0
Current children cumulated CPU time (s) 1789.7
Current children cumulated vsize (KiB) 255508

[startup+1790.1 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 27763
/proc/meminfo: memFree=30106184/32873844 swapFree=7116/7116
[pid=27708] ppid=27706 vsize=255508 CPUtime=1789.8 cores=1,3,5,7
/proc/27708/stat : 27708 (pbscip.linux.x8) R 27706 27708 25766 0 -1 4202496 103311 0 0 0 178794 186 0 0 20 0 1 0 335896759 261640192 61269 33554432000 4194304 8395647 140737366855376 140737366851208 4448853 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27708/statm: 63877 61269 648 1026 0 62847 0
Current children cumulated CPU time (s) 1789.8
Current children cumulated vsize (KiB) 255508

Child status: 0
Real time (s): 1790.14
CPU time (s): 1789.85
CPU user time (s): 1787.97
CPU system time (s): 1.87171
CPU usage (%): 99.9836
Max. virtual memory (cumulated for all children) (KiB): 289188

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1787.97
system time used= 1.87172
maximum resident set size= 276748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 103314
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= 33
involuntary context switches= 1843

runsolver used 2.95755 second user time and 8.5647 second system time

The end

Launcher Data

Begin job on node103 at 2012-06-03 06:28:02
IDJOB=3733495
IDBENCH=2527
IDSOLVER=2326
FILE ID=node103/3733495-1338697682
RUNJOBID= node103-1338678622-25787
PBS_JOBID= 14636710
Free space on /tmp= 71112 MiB

SOLVER NAME= PB10: SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-nsrand-ipx.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3733495-1338697682/watcher-3733495-1338697682 -o /tmp/evaluation-result-3733495-1338697682/solver-3733495-1338697682 -C 1800 -W 1900 -M 15500  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3733495-1338697682.opb -t 1800 -m 15500

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 6eba7367ef128fb0872fe815e4ef2398
RANDOM SEED=1859861039

node103.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.189
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.189
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.189
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.189
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.189
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.189
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5411.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.189
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.189
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        31318776 kB
Buffers:          147436 kB
Cached:           325296 kB
SwapCached:         5652 kB
Active:           466708 kB
Inactive:         329840 kB
Active(anon):     321608 kB
Inactive(anon):     4740 kB
Active(file):     145100 kB
Inactive(file):   325100 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67096348 kB
Dirty:             12104 kB
Writeback:             0 kB
AnonPages:        326348 kB
Mapped:            11436 kB
Shmem:                 0 kB
Slab:             621408 kB
SReclaimable:      62112 kB
SUnreclaim:       559296 kB
KernelStack:        1448 kB
PageTables:         4572 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     442092 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    301056 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71104 MiB
End job on node103 at 2012-06-03 06:57:52