Trace number 2703895

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
SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solverWrong Cert. 1789.85 1790.32

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-rout.opb
MD5SUM00504f72d4d33ef46136a0269c782c15
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1075022336
Best CPU time to get the best result obtained on this benchmark1800.35
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1074976000
Optimality of the best value was proved NO
Number of variables7561
Total number of constraints306
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)14
Number of constraints which are nor clauses,nor cardinality constraints292
Minimum length of a constraint2
Maximum length of a constraint917
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 26904326400
Number of bits of the biggest number in a constraint 35
Biggest sum of numbers in a constraint 81230087655
Number of bits of the biggest sum of numbers37
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-2703895-1278560101.opb>
0.00/0.06	c original problem has 7561 variables (7561 bin, 0 int, 0 impl, 0 cont) and 306 constraints
0.00/0.06	c problem read
0.00/0.07	c presolving settings loaded
0.10/0.14	c presolving:
0.10/0.17	c (round 1) 4061 del vars, 0 del conss, 4060 chg bounds, 15 chg sides, 15 chg coeffs, 0 upgd conss, 30 impls, 14 clqs
0.10/0.19	c (round 2) 4061 del vars, 0 del conss, 4060 chg bounds, 15 chg sides, 15 chg coeffs, 275 upgd conss, 30 impls, 14 clqs
0.20/0.22	c (round 3) 4071 del vars, 0 del conss, 4060 chg bounds, 25 chg sides, 35 chg coeffs, 275 upgd conss, 6048 impls, 194 clqs
2.20/2.29	c    (2.2s) probing: 436/3490 (12.5%) - 10 fixings, 0 aggregations, 58686 implications, 0 bound changes
2.20/2.29	c    (2.2s) probing aborted: 100/100 successive totally useless probings
2.20/2.29	c (round 4) 4081 del vars, 0 del conss, 4060 chg bounds, 25 chg sides, 35 chg coeffs, 275 upgd conss, 625420 impls, 194 clqs
2.29/2.35	c (round 5) 4081 del vars, 10 del conss, 4060 chg bounds, 30 chg sides, 45 chg coeffs, 275 upgd conss, 625420 impls, 194 clqs
2.29/2.39	c    (2.3s) probing: 446/3490 (12.8%) - 10 fixings, 0 aggregations, 58686 implications, 0 bound changes
2.29/2.39	c    (2.3s) probing aborted: 100/100 successive totally useless probings
2.29/2.39	c presolving (6 rounds):
2.29/2.39	c  4081 deleted vars, 10 deleted constraints, 4060 tightened bounds, 0 added holes, 30 changed sides, 45 changed coefficients
2.29/2.39	c  625420 implications, 194 cliques
2.29/2.39	c presolved problem has 3480 variables (3480 bin, 0 int, 0 impl, 0 cont) and 306 constraints
2.29/2.39	c     246 constraints of type <knapsack>
2.29/2.39	c      29 constraints of type <setppc>
2.29/2.39	c      31 constraints of type <linear>
2.29/2.39	c transformed objective value is always integral (scale: 2)
2.29/2.39	c Presolving Time: 2.29
2.29/2.39	c - non default parameters ----------------------------------------------------------------------
2.29/2.39	c # SCIP version 1.2.1.3
2.29/2.39	c 
2.29/2.39	c # frequency for displaying node information lines
2.29/2.39	c # [type: int, range: [-1,2147483647], default: 100]
2.29/2.39	c display/freq = 10000
2.29/2.39	c 
2.29/2.39	c # maximal time in seconds to run
2.29/2.39	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.29/2.39	c limits/time = 1789.94
2.29/2.39	c 
2.29/2.39	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.29/2.39	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.29/2.39	c limits/memory = 1620
2.29/2.39	c 
2.29/2.39	c # default clock type (1: CPU user seconds, 2: wall clock time)
2.29/2.39	c # [type: int, range: [1,2], default: 1]
2.29/2.39	c timing/clocktype = 2
2.29/2.39	c 
2.29/2.39	c # should presolving try to simplify inequalities
2.29/2.39	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.29/2.39	c constraints/linear/simplifyinequalities = TRUE
2.29/2.39	c 
2.29/2.39	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
2.29/2.39	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.29/2.39	c constraints/indicator/addCouplingCons = TRUE
2.29/2.39	c 
2.29/2.39	c # should presolving try to simplify knapsacks
2.29/2.39	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.29/2.39	c constraints/knapsack/simplifyinequalities = TRUE
2.29/2.39	c 
2.29/2.39	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
2.29/2.39	c # [type: int, range: [-1,2147483647], default: -1]
2.29/2.39	c separating/rapidlearning/freq = 0
2.29/2.39	c 
2.29/2.39	c -----------------------------------------------------------------------------------------------
2.29/2.39	c start solving
2.29/2.39	c 
2.39/2.49	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
2.39/2.49	c   2.4s|     1 |     0 |  1169 |     - |  34M|   0 |  55 |3480 | 306 |3480 | 306 |   0 |   0 |   0 | 1.074746e+09 |      --      |    Inf 
2.69/2.79	c   2.7s|     1 |     0 |  2598 |     - |  34M|   0 |  55 |3480 | 306 |3480 | 306 |   0 |   0 |   0 | 1.074746e+09 |      --      |    Inf 
5.59/5.69	o 1075912704
5.59/5.69	c y 5.6s|     1 |     0 |  2598 |     - |  35M|   0 |  55 |3480 | 306 |3480 | 306 |   0 |   0 |   0 | 1.074746e+09 | 1.075913e+09 |   0.11%
5.69/5.76	c   5.7s|     1 |     0 |  2712 |     - |  35M|   0 |  77 |3480 | 390 |3480 | 374 |  68 |   0 |   0 | 1.074746e+09 | 1.075913e+09 |   0.11%
6.09/6.17	c   6.1s|     1 |     0 |  2945 |     - |  35M|   0 | 104 |3480 | 390 |3480 | 419 | 113 |   0 |   0 | 1.074746e+09 | 1.075913e+09 |   0.11%
6.60/6.61	c   6.5s|     1 |     0 |  3224 |     - |  35M|   0 | 119 |3480 | 390 |3480 | 448 | 142 |   0 |   0 | 1.074746e+09 | 1.075913e+09 |   0.11%
6.99/7.06	c   7.0s|     1 |     0 |  3393 |     - |  36M|   0 | 114 |3480 | 390 |3480 | 472 | 166 |   0 |   0 | 1.074746e+09 | 1.075913e+09 |   0.11%
7.49/7.53	c   7.5s|     1 |     0 |  3554 |     - |  36M|   0 | 130 |3480 | 390 |3480 | 497 | 191 |   0 |   0 | 1.074746e+09 | 1.075913e+09 |   0.11%
7.99/8.01	c   7.9s|     1 |     0 |  3704 |     - |  36M|   0 | 138 |3480 | 390 |3480 | 517 | 211 |   0 |   0 | 1.074746e+09 | 1.075913e+09 |   0.11%
9.69/9.70	c   9.6s|     1 |     2 |  3704 |     - |  36M|   0 | 138 |3480 | 390 |3480 | 517 | 211 |   0 |  10 | 1.074746e+09 | 1.075913e+09 |   0.11%
133.44/133.54	o 1075159808
133.44/133.54	c c 133s|  4495 |  2337 |206219 |  45.1 |  63M|  59 |   - |3480 |2844 |3480 | 425 | 211 |4537 |2689 | 1.074779e+09 | 1.075160e+09 |   0.04%
173.13/173.21	c [src/scip/lpi_spx.cpp:318] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-09)
209.33/209.47	o 1075017472
209.33/209.47	c l 209s|  6070 |  3014 |351370 |  57.3 |  73M|  59 |   - |3480 |1426 |3480 | 425 | 211 |7177 |3395 | 1.074780e+09 | 1.075017e+09 |   0.02%
217.22/217.39	o 1074951424
217.22/217.39	c l 217s|  6222 |  2818 |365965 |  58.2 |  71M|  59 |   - |3480 |1295 |3480 | 425 | 211 |7447 |3435 | 1.074780e+09 | 1.074951e+09 |   0.02%
336.89/337.06	c   337s| 10000 |  5200 |604067 |  60.0 | 105M|  59 |  46 |3480 |1225 |3480 | 425 | 211 |  11k|4878 | 1.074784e+09 | 1.074951e+09 |   0.02%
531.55/531.79	o 1074934272
531.55/531.79	c l 532s| 18160 |  9564 |995945 |  54.6 | 167M|  59 |   - |3480 |1412 |3480 | 425 | 211 |  18k|7405 | 1.074788e+09 | 1.074934e+09 |   0.01%
572.63/572.81	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
572.63/572.81	c   573s| 20000 | 10572 |  1081k|  53.9 | 182M|  59 |  18 |3480 |1424 |3480 | 425 | 211 |  20k|7562 | 1.074788e+09 | 1.074934e+09 |   0.01%
717.70/717.96	c [src/scip/lpi_spx.cpp:318] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-09)
761.19/761.47	c [src/scip/lpi_spx.cpp:318] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-09)
761.79/762.04	o 1074850898
761.79/762.04	c g 762s| 27836 |  4704 |  1413k|  50.7 | 103M|  59 |   - |3480 |1343 |3480 | 425 | 211 |  25k|  11k| 1.074791e+09 | 1.074851e+09 |   0.01%
794.08/794.33	c   794s| 30000 |  4871 |  1471k|  48.9 | 113M|  59 |   - |3480 |1026 |3480 | 425 | 211 |  27k|  11k| 1.074792e+09 | 1.074851e+09 |   0.01%
913.76/914.10	c [src/scip/lpi_spx.cpp:318] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-09)
913.95/914.25	o 1074843776
913.95/914.25	c s 914s| 37280 |  4294 |  1676k|  44.9 | 116M|  59 |   - |3480 |1032 |3480 | 425 | 211 |  30k|  12k| 1.074793e+09 | 1.074844e+09 |   0.00%
917.65/917.93	c [src/scip/lpi_spx.cpp:318] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-09)
950.64/950.99	c   951s| 40000 |  4447 |  1731k|  43.2 | 122M|  59 |  41 |3480 | 905 |3480 | 425 | 211 |  32k|  13k| 1.074793e+09 | 1.074844e+09 |   0.00%
1095.32/1095.70	c  1096s| 50000 |  4809 |  1968k|  39.3 | 147M|  59 |   - |3480 | 966 |3480 | 425 | 211 |  36k|  14k| 1.074796e+09 | 1.074844e+09 |   0.00%
1231.08/1231.45	c  1231s| 60000 |  5148 |  2193k|  36.5 | 168M|  59 |   - |3480 |1037 |3480 | 425 | 211 |  40k|  16k| 1.074798e+09 | 1.074844e+09 |   0.00%
1235.87/1236.22	c [src/scip/lpi_spx.cpp:318] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-09)
1299.26/1299.63	c [src/scip/lpi_spx.cpp:318] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-09)
1350.35/1350.78	c  1351s| 70000 |  5444 |  2379k|  33.9 | 183M|  59 |  69 |3480 | 791 |3480 | 425 | 211 |  44k|  17k| 1.074800e+09 | 1.074844e+09 |   0.00%
1467.42/1467.88	c  1468s| 80000 |  5473 |  2561k|  32.0 | 196M|  59 |   - |3480 | 942 |3480 | 425 | 211 |  48k|  18k| 1.074803e+09 | 1.074844e+09 |   0.00%
1541.60/1542.05	c [src/scip/lpi_spx.cpp:318] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-09)
1586.89/1587.39	c  1587s| 90000 |  5431 |  2753k|  30.6 | 207M|  59 |  51 |3480 | 772 |3480 | 425 | 211 |  52k|  19k| 1.074806e+09 | 1.074844e+09 |   0.00%
1706.14/1706.61	c  1707s|100000 |  5239 |  2948k|  29.4 | 211M|  59 |   - |3480 | 805 |3480 | 425 | 211 |  55k|  20k| 1.074808e+09 | 1.074844e+09 |   0.00%
1789.53/1790.01	c 
1789.53/1790.01	c SCIP Status        : solving was interrupted [time limit reached]
1789.53/1790.01	c Solving Time (sec) : 1789.94
1789.53/1790.01	c Solving Nodes      : 107453
1789.53/1790.01	c Primal Bound       : +1.07484377600000e+09 (8 solutions)
1789.53/1790.01	c Dual Bound         : +1.07480970424071e+09
1789.53/1790.01	c Gap                : 0.00 %
1789.53/1790.03	s SATISFIABLE
1789.53/1790.03	v -x3390 -x3389 -x3388 -x3387 -x3386 -x3385 -x3384 -x3383 -x3382 -x3381 -x3380 -x3379 -x3378 -x3377 -x3376 -x3375 -x3374 -x3373 -x3372 
1789.53/1790.03	v -x3371 -x3370 -x3369 -x3368 -x3367 -x3366 -x3365 -x3364 -x3363 -x3362 -x3361 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 
1789.53/1790.03	v -x1704 -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 
1789.53/1790.03	v -x1686 -x1685 -x1684 -x1683 -x1682 -x1681 -x3030 -x3029 -x3028 -x3027 -x3026 -x3025 -x3024 -x3023 -x3022 -x3021 -x3020 -x3019 
1789.53/1790.03	v -x3018 -x3017 -x3016 -x3015 -x3014 -x3013 -x3012 -x3011 -x3010 -x3009 -x3008 -x3007 -x3006 -x3005 -x3004 -x3003 -x3002 -x3001 
1789.53/1790.03	v -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 
1789.53/1790.03	v -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 
1789.53/1790.03	v -x2694 -x2693 -x2692 -x2691 -x2690 -x2689 -x2688 -x2687 -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 
1789.53/1790.03	v -x2676 -x2675 -x2674 -x2673 -x2672 -x2671 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 
1789.53/1790.03	v -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 
1789.53/1790.03	v -x1021 -x2370 -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 -x2355 -x2354 
1789.53/1790.03	v -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 -x2343 -x2342 -x2341 -x720 -x719 -x718 -x717 -x716 -x715 
1789.53/1790.03	v -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 
1789.53/1790.03	v -x693 -x692 -x691 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 
1789.53/1790.03	v -x2025 -x2024 x2023 x2022 x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 -x2014 -x2013 -x2012 -x2011 -x390 -x389 -x388 -x387 
1789.53/1790.03	v -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 
1789.53/1790.03	v -x365 -x364 -x363 -x362 -x361 -x5684 -x5683 -x5682 -x5681 -x5680 -x5679 -x5678 -x5677 -x5676 -x5675 -x5674 -x5673 -x5672 
1789.53/1790.03	v -x5671 -x5670 -x5669 -x5668 -x5667 -x5666 -x5665 -x5664 -x5663 -x5662 -x5661 -x5660 -x5659 -x5658 -x5657 -x5656 -x5655 -x5254 
1789.53/1790.03	v -x5253 -x5252 -x5251 -x5250 -x5249 -x5248 -x5247 -x5246 -x5245 -x5244 -x5243 -x5242 -x5241 -x5240 -x5239 -x5238 -x5237 -x5236 
1789.53/1790.03	v -x5235 -x5234 -x5233 -x5232 -x5231 -x5230 -x5229 -x5228 -x5227 -x5226 -x5225 -x5039 -x5038 -x5037 -x5036 -x5035 -x5034 -x5033 
1789.53/1790.03	v -x5032 -x5031 -x5030 -x5029 -x5028 -x5027 -x5026 -x5025 -x5024 -x5023 -x5022 -x5021 -x5020 -x5019 -x5018 -x5017 -x5016 -x5015 
1789.53/1790.03	v -x5014 -x5013 -x5012 -x5011 -x5010 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 
1789.53/1790.03	v x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x5644 -x5643 -x5642 -x5641 -x5640 -x5639 -x5638 -x5637 -x5636 
1789.53/1790.03	v -x5635 -x5634 -x5633 -x5632 -x5631 -x5630 -x5629 -x5628 -x5627 -x5626 -x5625 -x5624 -x5623 -x5622 -x5621 -x5620 -x5619 -x5618 
1789.53/1790.03	v -x5617 -x5616 -x5615 -x5214 -x5213 -x5212 -x5211 -x5210 -x5209 -x5208 -x5207 -x5206 -x5205 -x5204 -x5203 -x5202 -x5201 -x5200 
1789.53/1790.03	v -x5199 -x5198 -x5197 -x5196 -x5195 -x5194 -x5193 -x5192 -x5191 -x5190 -x5189 -x5188 -x5187 -x5186 -x5185 -x4969 -x4968 -x4967 
1789.53/1790.03	v -x4966 -x4965 -x4964 -x4963 -x4962 -x4961 -x4960 -x4959 -x4958 -x4957 -x4956 -x4955 -x4954 -x4953 -x4952 -x4951 -x4950 -x4949 
1789.53/1790.03	v -x4948 -x4947 -x4946 -x4945 -x4944 -x4943 -x4942 -x4941 -x4940 -x7261 -x7260 -x7259 -x7258 -x7257 -x7256 -x7255 -x7254 
1789.53/1790.03	v -x7253 -x7252 -x7251 -x7250 -x7249 -x7248 -x7247 -x7246 -x7245 -x7244 -x7243 -x7242 -x7241 -x7240 -x7239 -x7238 -x7237 -x7236 
1789.53/1790.03	v -x7235 -x7234 -x7233 -x7232 -x5604 -x5603 -x5602 -x5601 -x5600 -x5599 -x5598 -x5597 -x5596 -x5595 -x5594 -x5593 -x5592 -x5591 
1789.53/1790.03	v -x5590 -x5589 -x5588 -x5587 -x5586 -x5585 -x5584 -x5583 -x5582 -x5581 -x5580 -x5579 -x5578 -x5577 -x5576 -x5575 -x5174 -x5173 
1789.53/1790.03	v -x5172 -x5171 -x5170 -x5169 -x5168 -x5167 -x5166 -x5165 -x5164 -x5163 -x5162 -x5161 -x5160 -x5159 -x5158 -x5157 -x5156 -x5155 
1789.53/1790.03	v -x5154 -x5153 -x5152 -x5151 -x5150 -x5149 -x5148 -x5147 -x5146 -x5145 -x4929 -x4928 -x4927 -x4926 -x4925 -x4924 -x4923 -x4922 
1789.53/1790.03	v -x4921 -x4920 -x4919 -x4918 -x4917 -x4916 -x4915 -x4914 -x4913 -x4912 -x4911 -x4910 -x4909 -x4908 -x4907 -x4906 -x4905 -x4904 
1789.53/1790.03	v -x4903 -x4902 -x4901 -x4900 -x6931 -x6930 -x6929 -x6928 -x6927 -x6926 -x6925 -x6924 -x6923 -x6922 -x6921 -x6920 -x6919 
1789.53/1790.03	v -x6918 -x6917 -x6916 -x6915 -x6914 -x6913 -x6912 -x6911 -x6910 -x6909 -x6908 -x6907 -x6906 -x6905 -x6904 -x6903 -x6902 -x5564 
1789.53/1790.03	v -x5563 -x5562 -x5561 -x5560 -x5559 -x5558 -x5557 -x5556 -x5555 -x5554 -x5553 -x5552 -x5551 -x5550 -x5549 -x5548 -x5547 -x5546 
1789.53/1790.03	v -x5545 -x5544 -x5543 -x5542 -x5541 -x5540 -x5539 -x5538 -x5537 -x5536 -x5535 -x5134 -x5133 -x5132 -x5131 -x5130 -x5129 -x5128 
1789.53/1790.03	v -x5127 -x5126 -x5125 -x5124 -x5123 -x5122 -x5121 -x5120 -x5119 -x5118 -x5117 -x5116 -x5115 -x5114 -x5113 -x5112 -x5111 -x5110 
1789.53/1790.03	v -x5109 -x5108 -x5107 -x5106 -x5105 -x4889 -x4888 -x4887 -x4886 -x4885 -x4884 -x4883 -x4882 -x4881 -x4880 -x4879 -x4878 -x4877 
1789.53/1790.03	v -x4876 -x4875 -x4874 -x4873 -x4872 -x4871 -x4870 -x4869 -x4868 -x4867 -x4866 -x4865 -x4864 -x4863 -x4862 -x4861 -x4860 -x6601 
1789.53/1790.03	v -x6600 -x6599 -x6598 -x6597 -x6596 -x6595 -x6594 -x6593 -x6592 -x6591 -x6590 -x6589 -x6588 -x6587 -x6586 -x6585 -x6584 
1789.53/1790.03	v -x6583 -x6582 -x6581 -x6580 -x6579 -x6578 -x6577 -x6576 -x6575 -x6574 -x6573 -x6572 -x5524 -x5523 -x5522 -x5521 -x5520 -x5519 
1789.53/1790.03	v -x5518 -x5517 -x5516 -x5515 -x5514 -x5513 -x5512 -x5511 -x5510 -x5509 -x5508 -x5507 -x5506 -x5505 -x5504 -x5503 -x5502 -x5501 
1789.53/1790.03	v -x5500 -x5499 -x5498 -x5497 -x5496 -x5495 -x5087 -x5086 -x5085 -x5084 -x5083 -x5082 -x5081 -x5080 -x5079 -x5078 -x5077 -x5076 
1789.53/1790.03	v -x5075 -x5074 -x5073 -x5072 -x5071 -x5070 -x5069 -x5068 -x5067 -x5066 -x5065 -x5064 -x5063 -x5062 -x5061 -x5060 -x5059 -x5058 
1789.53/1790.03	v -x4849 -x4848 -x4847 -x4846 -x4845 -x4844 -x4843 -x4842 -x4841 -x4840 -x4839 -x4838 -x4837 -x4836 -x4835 -x4834 -x4833 -x4832 
1789.53/1790.03	v -x4831 -x4830 -x4829 -x4828 -x4827 -x4826 -x4825 -x4824 -x4823 -x4822 -x4821 -x4820 -x6271 -x6270 -x6269 -x6268 -x6267 -x6266 
1789.53/1790.03	v -x6265 -x6264 -x6263 -x6262 -x6261 -x6260 -x6259 -x6258 -x6257 -x6256 -x6255 -x6254 -x6253 -x6252 -x6251 -x6250 -x6249 
1789.53/1790.03	v -x6248 -x6247 -x6246 -x6245 -x6244 -x6243 -x6242 -x5484 -x5483 -x5482 -x5481 -x5480 -x5479 -x5478 -x5477 -x5476 -x5475 -x5474 
1789.53/1790.03	v -x5473 -x5472 -x5471 -x5470 -x5469 -x5468 -x5467 -x5466 -x5465 -x5464 -x5463 -x5462 -x5461 -x5460 -x5459 -x5458 -x5457 -x5456 
1789.53/1790.03	v -x5455 -x4809 -x4808 -x4807 -x4806 -x4805 -x4804 -x4803 -x4802 -x4801 -x4800 -x4799 -x4798 -x4797 -x4796 -x4795 -x4794 -x4793 
1789.53/1790.03	v -x4792 -x4791 -x4790 -x4789 -x4788 -x4787 -x4786 -x4785 -x4784 -x4783 -x4782 -x4781 -x4780 -x5884 -x5883 -x5882 -x5881 -x5880 
1789.53/1790.03	v -x5879 -x5878 -x5877 -x5876 -x5875 -x5874 -x5873 -x5872 -x5871 -x5870 -x5869 -x5868 -x5867 -x5866 -x5865 -x5864 -x5863 -x5862 
1789.53/1790.03	v -x5861 -x5860 -x5859 -x5858 -x5857 -x5856 -x5855 -x5414 -x5413 -x5412 -x5411 -x5410 -x5409 -x5408 -x5407 -x5406 -x5405 -x5404 
1789.53/1790.03	v -x5403 -x5402 -x5401 -x5400 -x5399 -x5398 -x5397 -x5396 -x5395 -x5394 -x5393 -x5392 -x5391 -x5390 -x5389 -x5388 -x5387 
1789.53/1790.03	v -x5386 -x5385 -x4710 -x4709 -x4708 -x4707 -x4706 -x4705 -x4704 -x4703 -x4702 -x4701 -x4700 -x4699 -x4698 -x4697 -x4696 -x4695 
1789.53/1790.03	v -x4694 -x4693 -x4692 -x4691 -x4690 -x4689 -x4688 -x4687 -x4686 -x4685 -x4684 -x4683 -x4682 -x4681 -x5454 -x5453 -x5452 -x5451 
1789.53/1790.03	v -x5450 -x5449 -x5448 -x5447 -x5446 -x5445 -x5444 -x5443 -x5442 -x5441 -x5440 -x5439 -x5438 -x5437 x5436 -x5435 -x5434 -x5433 
1789.53/1790.03	v -x5432 -x5431 -x5430 x5429 -x5428 x5427 x5426 -x5425 -x5804 -x5803 -x5802 -x5801 -x5800 -x5799 -x5798 -x5797 -x5796 -x5795 
1789.53/1790.03	v -x5794 -x5793 -x5792 -x5791 -x5790 -x5789 -x5788 -x5787 -x5786 -x5785 -x5784 -x5783 -x5782 -x5781 -x5780 -x5779 -x5778 -x5777 
1789.53/1790.03	v -x5776 -x5775 -x5374 -x5373 -x5372 -x5371 -x5370 -x5369 -x5368 -x5367 -x5366 -x5365 -x5364 -x5363 -x5362 -x5361 -x5360 -x5359 
1789.53/1790.03	v -x5358 -x5357 -x5356 -x5355 -x5354 -x5353 -x5352 -x5351 -x5350 -x5349 -x5348 -x5347 -x5346 -x5345 -x4380 -x4379 -x4378 -x4377 
1789.53/1790.03	v -x4376 -x4375 -x4374 -x4373 -x4372 -x4371 -x4370 -x4369 -x4368 -x4367 -x4366 -x4365 -x4364 -x4363 -x4362 -x4361 -x4360 -x4359 
1789.53/1790.03	v -x4358 -x4357 -x4356 -x4355 -x4354 -x4353 -x4352 -x4351 -x5009 -x5008 -x5007 -x5006 -x5005 -x5004 -x5003 -x5002 -x5001 -x5000 
1789.53/1790.03	v -x4999 -x4998 -x4997 -x4996 -x4995 -x4994 -x4993 x4992 -x4991 -x4990 -x4989 -x4988 -x4987 -x4986 -x4985 -x4984 -x4983 -x4982 
1789.53/1790.03	v -x4981 -x4980 -x5764 -x5763 -x5762 -x5761 -x5760 -x5759 -x5758 -x5757 -x5756 -x5755 -x5754 -x5753 -x5752 -x5751 -x5750 -x5749 
1789.53/1790.03	v -x5748 -x5747 -x5746 -x5745 -x5744 -x5743 -x5742 -x5741 -x5740 -x5739 -x5738 -x5737 -x5736 -x5735 -x5334 -x5333 -x5332 
1789.53/1790.03	v -x5331 -x5330 -x5329 -x5328 -x5327 -x5326 -x5325 -x5324 -x5323 -x5322 -x5321 -x5320 -x5319 -x5318 -x5317 -x5316 -x5315 -x5314 
1789.53/1790.03	v -x5313 -x5312 -x5311 -x5310 -x5309 -x5308 -x5307 -x5306 -x5305 -x4050 -x4049 -x4048 -x4047 -x4046 -x4045 -x4044 -x4043 -x4042 
1789.53/1790.03	v -x4041 -x4040 -x4039 -x4038 -x4037 -x4036 -x4035 -x4034 -x4033 -x4032 -x4031 -x4030 -x4029 -x4028 -x4027 -x4026 -x4025 -x4024 
1789.53/1790.03	v -x4023 -x4022 -x4021 -x3360 -x3359 -x3358 -x3357 -x3356 -x3355 -x3354 -x3353 -x3352 -x3351 -x3350 -x3349 -x3348 -x3347 -x3346 
1789.53/1790.03	v -x3345 -x3344 -x3343 x3342 x3341 -x3340 -x3339 -x3338 -x3337 -x3336 -x3335 -x3334 -x3333 -x3332 -x3331 -x5724 -x5723 -x5722 
1789.53/1790.03	v -x5721 -x5720 -x5719 -x5718 -x5717 -x5716 -x5715 -x5714 -x5713 -x5712 -x5711 -x5710 -x5709 -x5708 -x5707 -x5706 -x5705 -x5704 
1789.53/1790.03	v -x5703 -x5702 -x5701 -x5700 -x5699 -x5698 -x5697 -x5696 -x5695 -x5294 -x5293 -x5292 -x5291 -x5290 -x5289 -x5288 -x5287 -x5286 
1789.53/1790.03	v -x5285 -x5284 -x5283 -x5282 -x5281 -x5280 -x5279 -x5278 -x5277 -x5276 -x5275 -x5274 -x5273 -x5272 -x5271 -x5270 -x5269 -x5268 
1789.53/1790.03	v -x5267 -x5266 -x5265 -x3720 -x3719 -x3718 -x3717 -x3716 -x3715 -x3714 -x3713 -x3712 -x3711 -x3710 -x3709 -x3708 -x3707 
1789.53/1790.03	v -x3706 -x3705 -x3704 -x3703 -x3702 -x3701 -x3700 -x3699 -x3698 -x3697 -x3696 -x3695 -x3694 -x3693 -x3692 -x3691 -x30 -x29 -x28 
1789.53/1790.03	v -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 
1789.53/1790.03	v -x4740 -x4739 -x4738 -x4737 -x4736 -x4735 -x4734 -x4733 -x4732 -x4731 -x4730 -x4729 -x4728 -x4727 -x4726 -x4725 -x4724 -x4723 
1789.53/1790.03	v -x4722 -x4721 -x4720 -x4719 -x4718 -x4717 -x4716 -x4715 -x4714 -x4713 -x4712 -x4711 -x4680 -x4679 -x4678 -x4677 -x4676 -x4675 
1789.53/1790.03	v -x4674 -x4673 -x4672 -x4671 -x4670 -x4669 -x4668 -x4667 -x4666 -x4665 -x4664 -x4663 -x4662 -x4661 -x4660 -x4659 -x4658 -x4657 
1789.53/1790.03	v -x4656 -x4655 -x4654 -x4653 -x4652 -x4651 -x4650 -x4649 -x4648 -x4647 -x4646 -x4645 -x4644 -x4643 -x4642 -x4641 -x4640 -x4639 
1789.53/1790.03	v -x4638 -x4637 -x4636 -x4635 -x4634 -x4633 -x4632 -x4631 -x4630 -x4629 -x4628 -x4627 -x4626 -x4625 -x4624 -x4623 -x4622 
1789.53/1790.03	v -x4621 -x4620 -x4619 -x4618 -x4617 -x4616 -x4615 -x4614 -x4613 -x4612 -x4611 -x4610 -x4609 -x4608 -x4607 -x4606 -x4605 -x4604 
1789.53/1790.03	v -x4603 -x4602 -x4601 -x4600 -x4599 -x4598 -x4597 -x4596 -x4595 -x4594 -x4593 -x4592 -x4591 -x4590 -x4589 -x4588 -x4587 -x4586 
1789.53/1790.03	v -x4585 -x4584 -x4583 -x4582 -x4581 -x4580 -x4579 -x4578 -x4577 -x4576 -x4575 -x4574 -x4573 -x4572 -x4571 -x4570 -x4569 -x4568 
1789.53/1790.03	v -x4567 -x4566 -x4565 -x4564 -x4563 -x4562 -x4561 -x4560 -x4559 -x4558 -x4557 -x4556 -x4555 -x4554 -x4553 -x4552 -x4551 -x4550 
1789.53/1790.03	v -x4549 -x4548 -x4547 -x4546 -x4545 -x4544 -x4543 -x4542 -x4541 -x4540 -x4539 -x4538 -x4537 -x4536 -x4535 -x4534 -x4533 -x4532 
1789.53/1790.03	v -x4531 -x4530 -x4529 -x4528 -x4527 -x4526 -x4525 -x4524 -x4523 -x4522 -x4521 -x4520 -x4519 -x4518 -x4517 -x4516 -x4515 -x4514 
1789.53/1790.03	v -x4513 -x4512 -x4511 -x4510 -x4509 -x4508 -x4507 -x4506 -x4505 -x4504 -x4503 -x4502 -x4501 -x4500 -x4499 -x4498 -x4497 
1789.53/1790.03	v -x4496 -x4495 -x4494 -x4493 -x4492 -x4491 -x4490 -x4489 -x4488 -x4487 -x4486 -x4485 -x4484 -x4483 -x4482 -x4481 -x4480 -x4479 
1789.53/1790.03	v -x4478 -x4477 -x4476 -x4475 -x4474 -x4473 -x4472 -x4471 -x4470 -x4469 -x4468 -x4467 -x4466 -x4465 -x4464 -x4463 -x4462 -x4461 
1789.53/1790.03	v -x4460 -x4459 -x4458 -x4457 -x4456 -x4455 -x4454 -x4453 -x4452 -x4451 -x4450 -x4449 -x4448 -x4447 -x4446 -x4445 -x4444 -x4443 
1789.53/1790.03	v -x4442 -x4441 -x4440 -x4439 -x4438 -x4437 -x4436 -x4435 -x4434 -x4433 -x4432 -x4431 -x4430 -x4429 -x4428 -x4427 -x4426 -x4425 
1789.53/1790.03	v -x4424 -x4423 -x4422 -x4421 -x4420 -x4419 -x4418 -x4417 -x4416 -x4415 -x4414 -x4413 -x4412 -x4411 -x4410 -x4409 -x4408 -x4407 
1789.53/1790.03	v -x4406 -x4405 -x4404 -x4403 -x4402 -x4401 -x4400 -x4399 -x4398 -x4397 -x4396 -x4395 -x4394 -x4393 -x4392 -x4391 -x4390 -x4389 
1789.53/1790.03	v -x4388 -x4387 -x4386 -x4385 -x4384 -x4383 -x4382 -x4381 -x4350 -x4349 -x4348 -x4347 -x4346 -x4345 -x4344 -x4343 -x4342 
1789.53/1790.03	v -x4341 -x4340 -x4339 -x4338 -x4337 -x4336 -x4335 -x4334 -x4333 -x4332 -x4331 -x4330 -x4329 -x4328 -x4327 -x4326 -x4325 -x4324 
1789.53/1790.03	v -x4323 -x4322 -x4321 -x4320 -x4319 -x4318 -x4317 -x4316 -x4315 -x4314 -x4313 -x4312 -x4311 -x4310 -x4309 -x4308 -x4307 -x4306 
1789.53/1790.03	v -x4305 -x4304 -x4303 -x4302 -x4301 -x4300 -x4299 -x4298 -x4297 -x4296 -x4295 -x4294 -x4293 -x4292 -x4291 -x4290 -x4289 -x4288 
1789.53/1790.03	v -x4287 -x4286 -x4285 -x4284 -x4283 -x4282 -x4281 -x4280 -x4279 -x4278 -x4277 -x4276 -x4275 -x4274 -x4273 -x4272 -x4271 -x4270 
1789.53/1790.03	v -x4269 -x4268 -x4267 -x4266 -x4265 -x4264 -x4263 -x4262 -x4261 -x4260 -x4259 -x4258 -x4257 -x4256 -x4255 -x4254 -x4253 -x4252 
1789.53/1790.03	v -x4251 -x4250 -x4249 -x4248 -x4247 -x4246 -x4245 -x4244 -x4243 -x4242 -x4241 -x4240 -x4239 -x4238 -x4237 -x4236 -x4235 -x4234 
1789.53/1790.03	v -x4233 -x4232 -x4231 -x4230 -x4229 -x4228 -x4227 -x4226 -x4225 -x4224 -x4223 -x4222 -x4221 -x4220 -x4219 -x4218 -x4217 
1789.53/1790.03	v -x4216 -x4215 -x4214 -x4213 -x4212 -x4211 -x4210 -x4209 -x4208 -x4207 -x4206 -x4205 -x4204 -x4203 -x4202 -x4201 -x4200 -x4199 
1789.53/1790.03	v -x4198 -x4197 -x4196 -x4195 -x4194 -x4193 -x4192 -x4191 -x4190 -x4189 -x4188 -x4187 -x4186 -x4185 -x4184 -x4183 -x4182 -x4181 
1789.53/1790.03	v -x4180 -x4179 -x4178 -x4177 -x4176 -x4175 -x4174 -x4173 -x4172 -x4171 -x4170 -x4169 -x4168 -x4167 -x4166 -x4165 -x4164 -x4163 
1789.53/1790.03	v -x4162 -x4161 -x4160 -x4159 -x4158 -x4157 -x4156 -x4155 -x4154 -x4153 -x4152 -x4151 -x4150 -x4149 -x4148 -x4147 -x4146 -x4145 
1789.53/1790.03	v -x4144 -x4143 -x4142 -x4141 -x4140 -x4139 -x4138 -x4137 -x4136 -x4135 -x4134 -x4133 -x4132 -x4131 -x4130 -x4129 -x4128 -x4127 
1789.53/1790.03	v -x4126 -x4125 -x4124 -x4123 -x4122 -x4121 -x4120 -x4119 -x4118 -x4117 -x4116 -x4115 -x4114 -x4113 -x4112 -x4111 -x4110 -x4109 
1789.53/1790.03	v -x4108 -x4107 -x4106 -x4105 -x4104 -x4103 -x4102 -x4101 -x4100 -x4099 -x4098 -x4097 -x4096 -x4095 -x4094 -x4093 -x4092 
1789.53/1790.03	v -x4091 -x4090 -x4089 -x4088 -x4087 -x4086 -x4085 -x4084 -x4083 -x4082 -x4081 -x4080 -x4079 -x4078 -x4077 -x4076 -x4075 -x4074 
1789.53/1790.03	v -x4073 -x4072 -x4071 -x4070 -x4069 -x4068 -x4067 -x4066 -x4065 -x4064 -x4063 -x4062 -x4061 -x4060 -x4059 -x4058 -x4057 -x4056 
1789.53/1790.03	v -x4055 -x4054 -x4053 -x4052 -x4051 -x4020 -x4019 -x4018 -x4017 -x4016 -x4015 -x4014 -x4013 -x4012 -x4011 -x4010 -x4009 -x4008 
1789.53/1790.03	v -x4007 -x4006 -x4005 -x4004 -x4003 -x4002 -x4001 -x4000 -x3999 -x3998 -x3997 -x3996 -x3995 -x3994 -x3993 -x3992 -x3991 -x3990 
1789.53/1790.03	v -x3989 -x3988 -x3987 -x3986 -x3985 -x3984 -x3983 -x3982 -x3981 -x3980 -x3979 -x3978 -x3977 -x3976 -x3975 -x3974 -x3973 -x3972 
1789.53/1790.03	v -x3971 -x3970 -x3969 -x3968 -x3967 -x3966 -x3965 -x3964 -x3963 -x3962 -x3961 -x3960 -x3959 -x3958 -x3957 -x3956 -x3955 -x3954 
1789.53/1790.03	v -x3953 -x3952 -x3951 -x3950 -x3949 -x3948 -x3947 -x3946 -x3945 -x3944 -x3943 -x3942 -x3941 -x3940 -x3939 -x3938 -x3937 
1789.53/1790.03	v -x3936 -x3935 -x3934 -x3933 -x3932 -x3931 -x3930 -x3929 -x3928 -x3927 -x3926 -x3925 -x3924 -x3923 -x3922 -x3921 -x3920 -x3919 
1789.53/1790.03	v -x3918 -x3917 -x3916 -x3915 -x3914 -x3913 -x3912 -x3911 -x3910 -x3909 -x3908 -x3907 -x3906 -x3905 -x3904 -x3903 -x3902 -x3901 
1789.53/1790.03	v -x3900 -x3899 -x3898 -x3897 -x3896 -x3895 -x3894 -x3893 -x3892 -x3891 -x3890 -x3889 -x3888 -x3887 -x3886 -x3885 -x3884 -x3883 
1789.53/1790.03	v -x3882 -x3881 -x3880 -x3879 -x3878 -x3877 -x3876 -x3875 -x3874 -x3873 -x3872 -x3871 -x3870 -x3869 -x3868 -x3867 -x3866 -x3865 
1789.53/1790.03	v -x3864 -x3863 -x3862 -x3861 -x3860 -x3859 -x3858 -x3857 -x3856 -x3855 -x3854 -x3853 -x3852 -x3851 -x3850 -x3849 -x3848 -x3847 
1789.53/1790.03	v -x3846 -x3845 -x3844 -x3843 -x3842 -x3841 -x3840 -x3839 -x3838 -x3837 -x3836 -x3835 -x3834 -x3833 -x3832 -x3831 -x3830 -x3829 
1789.53/1790.03	v -x3828 -x3827 -x3826 -x3825 -x3824 -x3823 -x3822 -x3821 -x3820 -x3819 -x3818 -x3817 -x3816 -x3815 -x3814 -x3813 -x3812 
1789.53/1790.03	v -x3811 -x3810 -x3809 -x3808 -x3807 -x3806 -x3805 -x3804 -x3803 -x3802 -x3801 -x3800 -x3799 -x3798 -x3797 -x3796 -x3795 -x3794 
1789.53/1790.03	v x3793 x3792 x3791 -x3790 -x3789 -x3788 -x3787 -x3786 -x3785 -x3784 -x3783 -x3782 -x3781 -x3780 -x3779 -x3778 -x3777 -x3776 -x3775 
1789.53/1790.03	v -x3774 -x3773 -x3772 -x3771 -x3770 -x3769 -x3768 -x3767 -x3766 -x3765 -x3764 -x3763 -x3762 -x3761 -x3760 -x3759 -x3758 
1789.53/1790.03	v -x3757 -x3756 -x3755 -x3754 -x3753 -x3752 -x3751 -x3750 -x3749 -x3748 -x3747 -x3746 -x3745 -x3744 -x3743 -x3742 -x3741 -x3740 
1789.53/1790.03	v -x3739 -x3738 -x3737 -x3736 -x3735 -x3734 -x3733 -x3732 -x3731 -x3730 -x3729 -x3728 -x3727 -x3726 -x3725 -x3724 -x3723 -x3722 
1789.53/1790.03	v -x3721 -x3690 -x3689 -x3688 -x3687 -x3686 -x3685 -x3684 -x3683 -x3682 -x3681 -x3680 -x3679 -x3678 -x3677 -x3676 -x3675 -x3674 
1789.53/1790.03	v -x3673 -x3672 -x3671 -x3670 -x3669 -x3668 -x3667 -x3666 -x3665 -x3664 -x3663 -x3662 -x3661 -x3660 -x3659 -x3658 -x3657 -x3656 
1789.53/1790.03	v -x3655 -x3654 -x3653 -x3652 -x3651 -x3650 -x3649 -x3648 -x3647 -x3646 -x3645 -x3644 -x3643 -x3642 -x3641 -x3640 -x3639 -x3638 
1789.53/1790.03	v -x3637 -x3636 -x3635 -x3634 -x3633 -x3632 -x3631 -x3630 -x3629 -x3628 -x3627 -x3626 -x3625 -x3624 -x3623 -x3622 -x3621 -x3620 
1789.53/1790.03	v -x3619 -x3618 -x3617 -x3616 -x3615 -x3614 -x3613 -x3612 -x3611 -x3610 -x3609 -x3608 -x3607 -x3606 -x3605 -x3604 -x3603 
1789.53/1790.03	v -x3602 -x3601 -x3600 -x3599 -x3598 -x3597 -x3596 -x3595 -x3594 -x3593 -x3592 -x3591 -x3590 -x3589 -x3588 -x3587 -x3586 -x3585 
1789.53/1790.03	v -x3584 -x3583 -x3582 -x3581 -x3580 -x3579 -x3578 -x3577 -x3576 -x3575 -x3574 -x3573 -x3572 -x3571 -x3570 -x3569 -x3568 -x3567 
1789.53/1790.03	v -x3566 -x3565 -x3564 -x3563 -x3562 -x3561 -x3560 -x3559 -x3558 -x3557 -x3556 -x3555 -x3554 -x3553 -x3552 -x3551 -x3550 -x3549 
1789.53/1790.03	v -x3548 -x3547 -x3546 -x3545 -x3544 -x3543 -x3542 -x3541 -x3540 -x3539 -x3538 -x3537 -x3536 -x3535 -x3534 -x3533 -x3532 -x3531 
1789.53/1790.03	v -x3530 -x3529 -x3528 -x3527 -x3526 -x3525 -x3524 -x3523 -x3522 -x3521 -x3520 -x3519 -x3518 -x3517 -x3516 -x3515 -x3514 -x3513 
1789.53/1790.03	v -x3512 -x3511 -x3510 -x3509 -x3508 -x3507 -x3506 -x3505 -x3504 -x3503 -x3502 -x3501 -x3500 -x3499 -x3498 -x3497 -x3496 -x3495 
1789.53/1790.03	v -x3494 -x3493 -x3492 -x3491 -x3490 -x3489 -x3488 -x3487 -x3486 -x3485 -x3484 -x3483 -x3482 -x3481 -x3480 -x3479 -x3478 
1789.53/1790.03	v -x3477 -x3476 -x3475 -x3474 -x3473 -x3472 -x3471 -x3470 -x3469 -x3468 -x3467 -x3466 -x3465 -x3464 -x3463 -x3462 -x3461 -x3460 
1789.53/1790.03	v -x3459 -x3458 -x3457 -x3456 -x3455 -x3454 -x3453 -x3452 -x3451 -x3450 -x3449 -x3448 -x3447 -x3446 -x3445 -x3444 -x3443 -x3442 
1789.53/1790.03	v -x3441 -x3440 -x3439 -x3438 -x3437 -x3436 -x3435 -x3434 -x3433 -x3432 -x3431 -x3430 -x3429 -x3428 -x3427 -x3426 -x3425 -x3424 
1789.53/1790.03	v -x3423 -x3422 -x3421 -x3420 -x3419 -x3418 -x3417 -x3416 -x3415 -x3414 -x3413 -x3412 -x3411 -x3410 -x3409 -x3408 -x3407 -x3406 
1789.53/1790.03	v -x3405 -x3404 -x3403 -x3402 -x3401 -x3400 -x3399 -x3398 -x3397 -x3396 -x3395 -x3394 -x3393 -x3392 -x3391 -x3330 -x3329 -x3328 
1789.53/1790.03	v -x3327 -x3326 -x3325 -x3324 -x3323 -x3322 -x3321 -x3320 -x3319 -x3318 -x3317 -x3316 -x3315 -x3314 -x3313 -x3312 -x3311 -x3310 
1789.53/1790.03	v -x3309 -x3308 -x3307 -x3306 -x3305 -x3304 -x3303 -x3302 -x3301 -x3300 -x3299 -x3298 -x3297 -x3296 -x3295 -x3294 -x3293 
1789.53/1790.03	v -x3292 -x3291 -x3290 -x3289 -x3288 -x3287 -x3286 -x3285 -x3284 -x3283 -x3282 -x3281 -x3280 -x3279 -x3278 -x3277 -x3276 -x3275 
1789.53/1790.03	v -x3274 -x3273 -x3272 -x3271 -x3270 -x3269 -x3268 -x3267 -x3266 -x3265 -x3264 -x3263 -x3262 -x3261 -x3260 -x3259 -x3258 -x3257 
1789.53/1790.03	v -x3256 -x3255 -x3254 -x3253 -x3252 -x3251 -x3250 -x3249 -x3248 -x3247 -x3246 -x3245 -x3244 -x3243 -x3242 -x3241 -x3240 -x3239 
1789.53/1790.03	v -x3238 -x3237 -x3236 -x3235 -x3234 -x3233 -x3232 -x3231 -x3230 -x3229 -x3228 -x3227 -x3226 -x3225 -x3224 -x3223 -x3222 -x3221 
1789.53/1790.03	v -x3220 -x3219 -x3218 -x3217 -x3216 -x3215 -x3214 -x3213 -x3212 -x3211 -x3210 -x3209 -x3208 -x3207 -x3206 -x3205 -x3204 -x3203 
1789.53/1790.03	v -x3202 -x3201 -x3200 -x3199 -x3198 -x3197 -x3196 -x3195 -x3194 -x3193 -x3192 -x3191 -x3190 -x3189 -x3188 -x3187 -x3186 -x3185 
1789.53/1790.03	v -x3184 -x3183 -x3182 -x3181 -x3180 -x3179 -x3178 -x3177 -x3176 -x3175 -x3174 -x3173 -x3172 -x3171 -x3170 -x3169 -x3168 
1789.53/1790.03	v -x3167 -x3166 -x3165 -x3164 -x3163 -x3162 -x3161 -x3160 -x3159 -x3158 -x3157 -x3156 -x3155 -x3154 -x3153 -x3152 -x3151 -x3150 
1789.53/1790.03	v -x3149 -x3148 -x3147 -x3146 -x3145 -x3144 -x3143 -x3142 -x3141 -x3140 -x3139 -x3138 -x3137 -x3136 -x3135 -x3134 -x3133 -x3132 
1789.53/1790.03	v -x3131 -x3130 -x3129 -x3128 -x3127 -x3126 -x3125 -x3124 -x3123 -x3122 -x3121 -x3120 -x3119 -x3118 -x3117 -x3116 -x3115 -x3114 
1789.53/1790.03	v -x3113 -x3112 -x3111 -x3110 -x3109 -x3108 -x3107 -x3106 -x3105 -x3104 -x3103 -x3102 -x3101 -x3100 -x3099 -x3098 -x3097 -x3096 
1789.53/1790.03	v -x3095 -x3094 -x3093 -x3092 -x3091 -x3090 -x3089 -x3088 -x3087 -x3086 -x3085 -x3084 -x3083 -x3082 -x3081 -x3080 -x3079 -x3078 
1789.53/1790.03	v -x3077 -x3076 -x3075 -x3074 -x3073 -x3072 -x3071 -x3070 -x3069 -x3068 -x3067 -x3066 -x3065 -x3064 -x3063 -x3062 -x3061 -x3060 
1789.53/1790.03	v -x3059 -x3058 -x3057 -x3056 -x3055 -x3054 -x3053 -x3052 -x3051 -x3050 -x3049 -x3048 -x3047 -x3046 -x3045 -x3044 -x3043 
1789.53/1790.03	v -x3042 -x3041 -x3040 -x3039 -x3038 -x3037 -x3036 -x3035 -x3034 -x3033 -x3032 -x3031 -x3000 -x2999 -x2998 -x2997 -x2996 -x2995 
1789.53/1790.03	v -x2994 -x2993 -x2992 -x2991 -x2990 -x2989 -x2988 -x2987 -x2986 -x2985 -x2984 -x2983 -x2982 -x2981 -x2980 -x2979 -x2978 -x2977 
1789.53/1790.03	v -x2976 -x2975 -x2974 -x2973 -x2972 -x2971 -x2970 -x2969 -x2968 -x2967 -x2966 -x2965 -x2964 -x2963 -x2962 -x2961 -x2960 -x2959 
1789.53/1790.03	v -x2958 -x2957 -x2956 -x2955 -x2954 -x2953 -x2952 -x2951 -x2950 -x2949 -x2948 -x2947 -x2946 -x2945 -x2944 -x2943 -x2942 -x2941 
1789.53/1790.03	v -x2940 -x2939 -x2938 -x2937 -x2936 -x2935 -x2934 -x2933 -x2932 -x2931 -x2930 -x2929 -x2928 -x2927 -x2926 -x2925 -x2924 -x2923 
1789.53/1790.03	v -x2922 -x2921 -x2920 -x2919 -x2918 -x2917 -x2916 -x2915 -x2914 -x2913 -x2912 -x2911 -x2910 -x2909 -x2908 -x2907 -x2906 -x2905 
1789.53/1790.03	v -x2904 -x2903 -x2902 -x2901 -x2900 -x2899 -x2898 -x2897 -x2896 -x2895 -x2894 -x2893 -x2892 -x2891 -x2890 -x2889 -x2888 
1789.53/1790.03	v -x2887 -x2886 -x2885 -x2884 -x2883 -x2882 -x2881 -x2880 -x2879 -x2878 -x2877 -x2876 -x2875 -x2874 -x2873 -x2872 -x2871 -x2870 
1789.53/1790.03	v -x2869 -x2868 -x2867 -x2866 -x2865 -x2864 -x2863 -x2862 -x2861 -x2860 -x2859 -x2858 -x2857 -x2856 -x2855 -x2854 -x2853 -x2852 
1789.53/1790.03	v -x2851 -x2850 -x2849 -x2848 -x2847 -x2846 -x2845 -x2844 -x2843 -x2842 -x2841 -x2840 -x2839 -x2838 -x2837 -x2836 -x2835 -x2834 
1789.53/1790.03	v -x2833 -x2832 -x2831 -x2830 -x2829 -x2828 -x2827 -x2826 -x2825 -x2824 -x2823 -x2822 -x2821 -x2820 -x2819 -x2818 -x2817 -x2816 
1789.53/1790.03	v -x2815 -x2814 -x2813 -x2812 -x2811 -x2810 -x2809 -x2808 -x2807 -x2806 -x2805 -x2804 -x2803 -x2802 -x2801 -x2800 -x2799 -x2798 
1789.53/1790.03	v -x2797 -x2796 -x2795 -x2794 -x2793 -x2792 -x2791 -x2790 -x2789 -x2788 -x2787 -x2786 -x2785 -x2784 -x2783 -x2782 -x2781 -x2780 
1789.53/1790.03	v -x2779 -x2778 -x2777 -x2776 -x2775 -x2774 -x2773 -x2772 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2763 
1789.53/1790.03	v -x2762 -x2761 -x2760 -x2759 -x2758 -x2757 -x2756 -x2755 -x2754 -x2753 -x2752 -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2745 
1789.53/1790.03	v -x2744 -x2743 -x2742 -x2741 -x2740 -x2739 -x2738 -x2737 -x2736 -x2735 -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 -x2727 
1789.53/1790.03	v -x2726 -x2725 -x2724 -x2723 -x2722 -x2721 -x2720 -x2719 -x2718 -x2717 -x2716 -x2715 -x2714 -x2713 -x2712 -x2711 -x2710 -x2709 
1789.53/1790.03	v -x2708 -x2707 -x2706 -x2705 -x2704 -x2703 -x2702 -x2701 -x2670 -x2669 -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 
1789.53/1790.03	v -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 -x2654 -x2653 -x2652 -x2651 -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 
1789.53/1790.03	v -x2642 -x2641 -x2640 -x2639 -x2638 -x2637 -x2636 -x2635 -x2634 -x2633 -x2632 -x2631 -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 
1789.53/1790.03	v -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617 -x2616 -x2615 -x2614 -x2613 -x2612 -x2611 -x2610 -x2609 -x2608 
1789.53/1790.03	v -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 -x2600 -x2599 -x2598 -x2597 -x2596 -x2595 -x2594 -x2593 -x2592 -x2591 -x2590 
1789.53/1790.03	v -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 -x2581 -x2580 -x2579 -x2578 -x2577 -x2576 -x2575 -x2574 -x2573 -x2572 
1789.53/1790.03	v -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565 -x2564 -x2563 -x2562 -x2561 -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 
1789.53/1790.03	v -x2553 -x2552 -x2551 -x2550 -x2549 -x2548 -x2547 -x2546 -x2545 -x2544 -x2543 -x2542 -x2541 -x2540 -x2539 -x2538 -x2537 -x2536 
1789.53/1790.03	v -x2535 -x2534 -x2533 -x2532 -x2531 -x2530 -x2529 -x2528 -x2527 -x2526 -x2525 -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 
1789.53/1790.03	v -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2510 -x2509 -x2508 -x2507 -x2506 -x2505 -x2504 -x2503 -x2502 -x2501 -x2500 
1789.53/1790.03	v -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 -x2493 -x2492 -x2491 -x2490 -x2489 -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 
1789.53/1790.03	v -x2482 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 -x2472 -x2471 -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 
1789.53/1790.03	v -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 -x2458 -x2457 -x2456 -x2455 -x2454 -x2453 -x2452 -x2451 -x2450 -x2449 -x2448 -x2447 
1789.53/1790.03	v -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 -x2438 -x2437 -x2436 -x2435 -x2434 -x2433 -x2432 -x2431 -x2430 -x2429 
1789.53/1790.03	v -x2428 -x2427 -x2426 -x2425 -x2424 -x2423 -x2422 -x2421 -x2420 -x2419 -x2418 -x2417 -x2416 -x2415 -x2414 -x2413 -x2412 -x2411 
1789.53/1790.03	v -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404 -x2403 -x2402 -x2401 -x2400 -x2399 -x2398 -x2397 -x2396 -x2395 -x2394 -x2393 
1789.53/1790.03	v -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 -x2381 -x2380 -x2379 -x2378 -x2377 -x2376 -x2375 
1789.53/1790.03	v -x2374 -x2373 -x2372 -x2371 -x2340 -x2339 -x2338 -x2337 -x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 
1789.53/1790.03	v -x2327 -x2326 -x2325 -x2324 -x2323 -x2322 -x2321 -x2320 -x2319 -x2318 -x2317 -x2316 -x2315 -x2314 -x2313 -x2312 -x2311 -x2310 
1789.53/1790.03	v -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298 -x2297 -x2296 -x2295 -x2294 -x2293 -x2292 
1789.53/1790.03	v -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 -x2281 -x2280 -x2279 -x2278 -x2277 -x2276 -x2275 -x2274 
1789.53/1790.03	v -x2273 -x2272 -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 -x2260 -x2259 -x2258 -x2257 -x2256 
1789.53/1790.03	v -x2255 -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 -x2242 -x2241 -x2240 -x2239 -x2238 
1789.53/1790.03	v -x2237 -x2236 -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 -x2222 -x2221 -x2220 
1789.53/1790.03	v -x2219 -x2218 -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204 -x2203 
1789.53/1790.03	v -x2202 -x2201 -x2200 -x2199 -x2198 -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2187 -x2186 -x2185 
1789.53/1790.03	v -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 -x2177 -x2176 -x2175 -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 -x2168 -x2167 
1789.53/1790.03	v -x2166 -x2165 -x2164 -x2163 -x2162 -x2161 -x2160 -x2159 -x2158 -x2157 -x2156 -x2155 -x2154 -x2153 -x2152 -x2151 -x2150 -x2149 
1789.53/1790.03	v -x2148 -x2147 -x2146 -x2145 -x2144 -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 -x2133 -x2132 -x2131 
1789.53/1790.03	v -x2130 -x2129 -x2128 -x2127 -x2126 -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 -x2113 
1789.53/1790.03	v -x2112 -x2111 -x2110 -x2109 -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 -x2097 -x2096 -x2095 
1789.53/1790.03	v -x2094 -x2093 -x2092 -x2091 -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 
1789.53/1790.03	v -x2077 -x2076 -x2075 -x2074 -x2073 -x2072 -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 -x2060 
1789.53/1790.03	v -x2059 -x2058 -x2057 -x2056 -x2055 -x2054 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 -x2042 
1789.53/1790.03	v -x2041 -x2010 -x2009 -x2008 -x2007 -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 
1789.53/1790.03	v -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 
1789.53/1790.03	v -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 
1789.53/1790.03	v -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 
1789.53/1790.03	v -x1939 -x1938 -x1937 -x1936 -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 
1789.53/1790.03	v -x1922 -x1921 -x1920 -x1919 -x1918 -x1917 -x1916 -x1915 -x1914 -x1913 -x1912 -x1911 -x1910 -x1909 -x1908 -x1907 -x1906 -x1905 
1789.53/1790.03	v -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 
1789.53/1790.03	v -x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 
1789.53/1790.03	v -x1868 -x1867 -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 
1789.53/1790.03	v -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 
1789.53/1790.03	v -x1832 -x1831 -x1830 -x1829 -x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x1815 
1789.53/1790.03	v -x1814 x1813 x1812 x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 -x1797 
1789.53/1790.03	v -x1796 -x1795 -x1794 -x1793 -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 
1789.53/1790.03	v -x1778 -x1777 -x1776 -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 
1789.53/1790.03	v -x1760 -x1759 -x1758 -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 
1789.53/1790.03	v -x1743 -x1742 -x1741 -x1740 -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 
1789.53/1790.03	v -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1680 -x1679 -x1678 
1789.53/1790.03	v -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667 -x1666 -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 
1789.53/1790.03	v -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 -x1642 
1789.53/1790.03	v -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 
1789.53/1790.03	v -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 
1789.53/1790.03	v -x1605 -x1604 x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 -x1596 -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 
1789.53/1790.03	v -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1581 -x1580 -x1579 -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 
1789.53/1790.03	v -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 
1789.53/1790.03	v -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 
1789.53/1790.03	v -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 
1789.53/1790.03	v -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 
1789.53/1790.03	v -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 
1789.53/1790.03	v -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 
1789.53/1790.03	v -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 
1789.53/1790.03	v -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 
1789.53/1790.03	v -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 
1789.53/1790.03	v -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 
1789.53/1790.03	v -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 
1789.53/1790.03	v -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 
1789.53/1790.03	v -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 
1789.53/1790.03	v -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 
1789.53/1790.03	v -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 
1789.53/1790.03	v -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 
1789.53/1790.03	v -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 
1789.53/1790.03	v -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 
1789.53/1790.03	v -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 
1789.53/1790.03	v -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 
1789.53/1790.03	v -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 
1789.53/1790.03	v -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 
1789.53/1790.03	v -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 
1789.53/1790.03	v -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 
1789.53/1790.03	v -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 
1789.53/1790.03	v -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 
1789.53/1790.03	v -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 
1789.53/1790.03	v -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 
1789.53/1790.03	v -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 
1789.53/1790.03	v -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 
1789.53/1790.03	v -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 
1789.53/1790.03	v -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 
1789.53/1790.03	v -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 
1789.53/1790.03	v -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 
1789.53/1790.03	v -x886 -x885 -x884 x883 x882 x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 
1789.53/1790.03	v -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 
1789.53/1790.03	v -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 
1789.53/1790.03	v -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 
1789.53/1790.03	v -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 
1789.53/1790.03	v -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 
1789.53/1790.03	v -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 
1789.53/1790.03	v -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x690 
1789.53/1790.03	v -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 
1789.53/1790.03	v -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 
1789.53/1790.03	v -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 
1789.53/1790.03	v -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 
1789.53/1790.03	v -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 
1789.53/1790.03	v -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 
1789.53/1790.03	v -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 
1789.53/1790.03	v -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 
1789.53/1790.03	v -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 
1789.53/1790.03	v -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 
1789.53/1790.03	v -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 
1789.53/1790.03	v -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 
1789.53/1790.03	v -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 
1789.53/1790.03	v -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 
1789.53/1790.03	v -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 
1789.53/1790.03	v -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 
1789.53/1790.03	v -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 
1789.53/1790.03	v -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 
1789.53/1790.03	v -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 
1789.53/1790.03	v -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 
1789.53/1790.03	v -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 
1789.53/1790.03	v -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 
1789.53/1790.03	v -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 
1789.53/1790.03	v -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 
1789.53/1790.03	v -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 
1789.53/1790.03	v -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 
1789.53/1790.03	v -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 
1789.53/1790.03	v -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 
1789.53/1790.03	v -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x7561 -x7560 -x7559 -x7558 -x7557 -x7556 -x7555 -x7554 -x7553 -x7552 
1789.53/1790.03	v -x7551 -x7550 -x7549 -x7548 -x7547 -x7546 -x7545 -x7544 -x7543 -x7542 -x7541 -x7540 -x7539 -x7538 -x7537 -x7536 -x7535 -x7534 
1789.53/1790.03	v -x7533 -x7532 -x7531 -x7530 -x7529 -x7528 -x7527 -x7526 -x7525 -x7524 -x7523 -x7522 -x7521 -x7520 -x7519 -x7518 -x7517 -x7516 
1789.53/1790.03	v -x7515 -x7514 -x7513 -x7512 -x7511 -x7510 -x7509 -x7508 -x7507 -x7506 -x7505 -x7504 -x7503 -x7502 -x7501 -x7500 -x7499 
1789.53/1790.03	v -x7498 -x7497 -x7496 -x7495 -x7494 -x7493 -x7492 -x7491 -x7490 -x7489 -x7488 -x7487 -x7486 -x7485 -x7484 -x7483 -x7482 -x7481 
1789.53/1790.03	v -x7480 -x7479 -x7478 -x7477 -x7476 -x7475 -x7474 -x7473 -x7472 -x7471 -x7470 -x7469 -x7468 -x7467 -x7466 -x7465 -x7464 -x7463 
1789.53/1790.03	v -x7462 -x7461 -x7460 -x7459 -x7458 -x7457 -x7456 -x7455 -x7454 -x7453 -x7452 -x7451 -x7450 -x7449 -x7448 -x7447 -x7446 -x7445 
1789.53/1790.03	v -x7444 -x7443 -x7442 -x7441 -x7440 -x7439 -x7438 -x7437 -x7436 -x7435 -x7434 -x7433 -x7432 -x7431 -x7430 -x7429 -x7428 -x7427 
1789.53/1790.03	v -x7426 -x7425 -x7424 -x7423 -x7422 -x7421 -x7420 -x7419 -x7418 -x7417 -x7416 -x7415 -x7414 -x7413 -x7412 -x7411 -x7410 -x7409 
1789.53/1790.03	v -x7408 -x7407 -x7406 -x7405 -x7404 -x7403 -x7402 -x7401 -x7400 -x7399 -x7398 -x7397 -x7396 -x7395 x7394 -x7393 x7392 -x7391 
1789.53/1790.03	v -x7390 -x7389 -x7388 -x7387 x7386 -x7385 x7384 x7383 -x7382 -x7381 -x7380 -x7379 -x7378 -x7377 -x7376 -x7375 -x7374 -x7373 
1789.53/1790.03	v -x7372 -x7371 -x7370 -x7369 -x7368 -x7367 -x7366 -x7365 -x7364 -x7363 -x7362 -x7361 -x7360 -x7359 -x7358 -x7357 -x7356 -x7355 
1789.53/1790.03	v -x7354 -x7353 -x7352 -x7351 -x7350 -x7349 -x7348 -x7347 -x7346 -x7345 -x7344 -x7343 -x7342 -x7341 -x7340 -x7339 -x7338 -x7337 
1789.53/1790.03	v -x7336 -x7335 -x7334 -x7333 -x7332 -x7331 -x7330 -x7329 -x7328 -x7327 -x7326 -x7325 -x7324 -x7323 -x7322 -x7321 -x7320 -x7319 
1789.53/1790.03	v -x7318 -x7317 -x7316 -x7315 -x7314 -x7313 -x7312 -x7311 -x7310 -x7309 -x7308 -x7307 -x7306 -x7305 -x7304 -x7303 -x7302 -x7301 
1789.53/1790.03	v -x7300 -x7299 -x7298 -x7297 -x7296 -x7295 -x7294 -x7293 -x7292 -x7291 -x7290 -x7289 -x7288 -x7287 -x7286 -x7285 -x7284 
1789.53/1790.03	v -x7283 -x7282 -x7281 -x7280 -x7279 -x7278 -x7277 -x7276 -x7275 -x7274 -x7273 -x7272 -x7271 -x7270 -x7269 -x7268 -x7267 -x7266 
1789.53/1790.03	v -x7265 -x7264 -x7263 -x7262 -x7231 -x7230 -x7229 -x7228 -x7227 -x7226 -x7225 -x7224 -x7223 -x7222 -x7221 -x7220 -x7219 -x7218 
1789.53/1790.03	v -x7217 -x7216 -x7215 -x7214 -x7213 -x7212 -x7211 -x7210 -x7209 -x7208 -x7207 -x7206 -x7205 -x7204 -x7203 -x7202 -x7201 -x7200 
1789.53/1790.03	v -x7199 -x7198 -x7197 -x7196 -x7195 -x7194 -x7193 -x7192 -x7191 -x7190 -x7189 -x7188 -x7187 -x7186 -x7185 -x7184 -x7183 -x7182 
1789.53/1790.03	v -x7181 -x7180 -x7179 -x7178 -x7177 -x7176 -x7175 -x7174 -x7173 -x7172 -x7171 -x7170 -x7169 -x7168 -x7167 -x7166 -x7165 -x7164 
1789.53/1790.03	v -x7163 -x7162 -x7161 -x7160 -x7159 -x7158 -x7157 -x7156 -x7155 -x7154 -x7153 -x7152 -x7151 -x7150 -x7149 -x7148 -x7147 -x7146 
1789.53/1790.03	v -x7145 -x7144 -x7143 -x7142 -x7141 -x7140 -x7139 -x7138 -x7137 -x7136 -x7135 -x7134 -x7133 -x7132 -x7131 -x7130 -x7129 
1789.53/1790.03	v -x7128 -x7127 -x7126 -x7125 -x7124 -x7123 -x7122 -x7121 -x7120 -x7119 -x7118 -x7117 -x7116 -x7115 -x7114 -x7113 -x7112 -x7111 
1789.53/1790.03	v -x7110 -x7109 -x7108 -x7107 -x7106 -x7105 -x7104 -x7103 -x7102 -x7101 -x7100 -x7099 -x7098 -x7097 -x7096 -x7095 -x7094 -x7093 
1789.53/1790.03	v -x7092 -x7091 -x7090 -x7089 -x7088 -x7087 -x7086 -x7085 -x7084 -x7083 -x7082 -x7081 -x7080 -x7079 -x7078 -x7077 -x7076 -x7075 
1789.53/1790.03	v -x7074 -x7073 -x7072 -x7071 -x7070 -x7069 -x7068 -x7067 -x7066 -x7065 -x7064 -x7063 -x7062 -x7061 -x7060 -x7059 -x7058 -x7057 
1789.53/1790.03	v -x7056 -x7055 -x7054 -x7053 -x7052 -x7051 -x7050 -x7049 -x7048 -x7047 -x7046 -x7045 -x7044 -x7043 -x7042 -x7041 -x7040 -x7039 
1789.53/1790.03	v -x7038 -x7037 -x7036 -x7035 -x7034 -x7033 -x7032 -x7031 -x7030 -x7029 -x7028 -x7027 -x7026 -x7025 -x7024 -x7023 -x7022 -x7021 
1789.53/1790.03	v -x7020 -x7019 -x7018 -x7017 -x7016 -x7015 -x7014 -x7013 -x7012 -x7011 -x7010 -x7009 -x7008 -x7007 -x7006 -x7005 -x7004 
1789.53/1790.03	v -x7003 -x7002 -x7001 -x7000 -x6999 -x6998 -x6997 -x6996 -x6995 -x6994 -x6993 -x6992 -x6991 -x6990 -x6989 -x6988 -x6987 -x6986 
1789.53/1790.03	v -x6985 -x6984 -x6983 -x6982 -x6981 -x6980 -x6979 -x6978 -x6977 -x6976 -x6975 -x6974 -x6973 -x6972 -x6971 -x6970 -x6969 -x6968 
1789.53/1790.03	v -x6967 -x6966 -x6965 -x6964 -x6963 -x6962 -x6961 -x6960 -x6959 -x6958 -x6957 -x6956 -x6955 -x6954 -x6953 -x6952 -x6951 -x6950 
1789.53/1790.03	v -x6949 -x6948 -x6947 -x6946 -x6945 -x6944 -x6943 -x6942 -x6941 -x6940 -x6939 -x6938 -x6937 -x6936 -x6935 -x6934 -x6933 -x6932 
1789.53/1790.03	v -x6901 -x6900 -x6899 -x6898 -x6897 -x6896 -x6895 -x6894 -x6893 -x6892 -x6891 -x6890 -x6889 -x6888 -x6887 -x6886 -x6885 -x6884 
1789.53/1790.03	v -x6883 -x6882 -x6881 -x6880 -x6879 -x6878 -x6877 -x6876 -x6875 -x6874 -x6873 -x6872 -x6871 -x6870 -x6869 -x6868 -x6867 -x6866 
1789.53/1790.03	v -x6865 -x6864 -x6863 -x6862 -x6861 -x6860 -x6859 -x6858 -x6857 -x6856 -x6855 -x6854 -x6853 -x6852 -x6851 -x6850 -x6849 
1789.53/1790.03	v -x6848 -x6847 -x6846 -x6845 -x6844 -x6843 -x6842 -x6841 -x6840 -x6839 -x6838 -x6837 -x6836 -x6835 -x6834 -x6833 -x6832 -x6831 
1789.53/1790.03	v -x6830 -x6829 -x6828 -x6827 -x6826 -x6825 -x6824 -x6823 -x6822 -x6821 -x6820 -x6819 -x6818 -x6817 -x6816 -x6815 -x6814 -x6813 
1789.53/1790.03	v -x6812 -x6811 -x6810 -x6809 -x6808 -x6807 -x6806 -x6805 -x6804 -x6803 -x6802 -x6801 -x6800 -x6799 -x6798 -x6797 -x6796 -x6795 
1789.53/1790.03	v -x6794 -x6793 -x6792 -x6791 -x6790 -x6789 -x6788 -x6787 -x6786 -x6785 -x6784 -x6783 -x6782 -x6781 -x6780 -x6779 -x6778 -x6777 
1789.53/1790.03	v -x6776 -x6775 -x6774 -x6773 -x6772 -x6771 -x6770 -x6769 -x6768 -x6767 -x6766 -x6765 -x6764 -x6763 -x6762 -x6761 -x6760 -x6759 
1789.53/1790.03	v -x6758 -x6757 -x6756 -x6755 -x6754 -x6753 -x6752 -x6751 -x6750 -x6749 -x6748 -x6747 -x6746 -x6745 -x6744 -x6743 -x6742 -x6741 
1789.53/1790.03	v -x6740 -x6739 -x6738 -x6737 -x6736 -x6735 -x6734 -x6733 -x6732 -x6731 -x6730 -x6729 -x6728 -x6727 -x6726 -x6725 -x6724 
1789.53/1790.03	v -x6723 -x6722 -x6721 -x6720 -x6719 -x6718 -x6717 -x6716 -x6715 -x6714 -x6713 -x6712 -x6711 -x6710 -x6709 -x6708 -x6707 -x6706 
1789.53/1790.03	v -x6705 -x6704 -x6703 -x6702 -x6701 -x6700 -x6699 -x6698 -x6697 -x6696 -x6695 -x6694 -x6693 -x6692 -x6691 -x6690 -x6689 -x6688 
1789.53/1790.03	v -x6687 -x6686 -x6685 -x6684 -x6683 -x6682 -x6681 -x6680 -x6679 -x6678 -x6677 -x6676 -x6675 -x6674 -x6673 -x6672 -x6671 -x6670 
1789.53/1790.03	v -x6669 -x6668 -x6667 -x6666 -x6665 -x6664 -x6663 -x6662 -x6661 -x6660 -x6659 -x6658 -x6657 -x6656 -x6655 -x6654 -x6653 -x6652 
1789.53/1790.03	v -x6651 -x6650 -x6649 -x6648 -x6647 -x6646 -x6645 -x6644 -x6643 -x6642 -x6641 -x6640 -x6639 -x6638 -x6637 -x6636 -x6635 -x6634 
1789.53/1790.03	v -x6633 -x6632 -x6631 -x6630 -x6629 -x6628 -x6627 -x6626 -x6625 -x6624 -x6623 -x6622 -x6621 -x6620 -x6619 -x6618 -x6617 -x6616 
1789.53/1790.03	v -x6615 -x6614 -x6613 -x6612 -x6611 -x6610 -x6609 -x6608 -x6607 -x6606 -x6605 -x6604 -x6603 -x6602 -x6571 -x6570 -x6569 
1789.53/1790.03	v -x6568 -x6567 -x6566 -x6565 -x6564 -x6563 -x6562 -x6561 -x6560 -x6559 -x6558 -x6557 -x6556 -x6555 -x6554 -x6553 -x6552 -x6551 
1789.53/1790.03	v -x6550 -x6549 -x6548 -x6547 -x6546 -x6545 -x6544 -x6543 -x6542 -x6541 -x6540 -x6539 -x6538 -x6537 -x6536 -x6535 -x6534 -x6533 
1789.53/1790.03	v -x6532 -x6531 -x6530 -x6529 -x6528 -x6527 -x6526 -x6525 -x6524 -x6523 -x6522 -x6521 -x6520 -x6519 -x6518 -x6517 -x6516 -x6515 
1789.53/1790.03	v -x6514 -x6513 -x6512 -x6511 -x6510 -x6509 -x6508 -x6507 -x6506 -x6505 -x6504 -x6503 -x6502 -x6501 -x6500 -x6499 -x6498 -x6497 
1789.53/1790.03	v -x6496 -x6495 -x6494 -x6493 -x6492 -x6491 -x6490 -x6489 -x6488 -x6487 -x6486 -x6485 -x6484 -x6483 -x6482 -x6481 -x6480 -x6479 
1789.53/1790.03	v -x6478 -x6477 -x6476 -x6475 -x6474 -x6473 -x6472 -x6471 -x6470 -x6469 -x6468 -x6467 -x6466 -x6465 -x6464 -x6463 -x6462 -x6461 
1789.53/1790.03	v -x6460 -x6459 -x6458 -x6457 -x6456 -x6455 -x6454 -x6453 -x6452 -x6451 -x6450 -x6449 -x6448 -x6447 -x6446 -x6445 -x6444 
1789.53/1790.03	v -x6443 -x6442 -x6441 -x6440 -x6439 -x6438 -x6437 -x6436 -x6435 -x6434 -x6433 -x6432 -x6431 -x6430 -x6429 -x6428 -x6427 -x6426 
1789.53/1790.03	v -x6425 -x6424 -x6423 -x6422 -x6421 -x6420 -x6419 -x6418 -x6417 -x6416 -x6415 -x6414 -x6413 -x6412 -x6411 -x6410 -x6409 -x6408 
1789.53/1790.03	v -x6407 -x6406 -x6405 -x6404 -x6403 -x6402 -x6401 -x6400 -x6399 -x6398 -x6397 -x6396 -x6395 -x6394 -x6393 -x6392 -x6391 -x6390 
1789.53/1790.03	v -x6389 -x6388 -x6387 -x6386 -x6385 -x6384 -x6383 -x6382 -x6381 -x6380 -x6379 -x6378 -x6377 -x6376 -x6375 -x6374 -x6373 -x6372 
1789.53/1790.03	v -x6371 -x6370 -x6369 -x6368 -x6367 -x6366 -x6365 -x6364 -x6363 -x6362 -x6361 -x6360 -x6359 -x6358 -x6357 -x6356 -x6355 -x6354 
1789.53/1790.03	v -x6353 -x6352 -x6351 -x6350 -x6349 -x6348 -x6347 -x6346 -x6345 -x6344 -x6343 -x6342 -x6341 -x6340 -x6339 -x6338 -x6337 -x6336 
1789.53/1790.03	v -x6335 -x6334 -x6333 -x6332 -x6331 -x6330 -x6329 -x6328 -x6327 -x6326 -x6325 -x6324 -x6323 -x6322 -x6321 -x6320 -x6319 
1789.53/1790.03	v -x6318 -x6317 -x6316 -x6315 -x6314 -x6313 -x6312 -x6311 -x6310 -x6309 -x6308 -x6307 -x6306 -x6305 -x6304 -x6303 -x6302 -x6301 
1789.53/1790.03	v -x6300 -x6299 -x6298 -x6297 -x6296 -x6295 -x6294 -x6293 -x6292 -x6291 -x6290 -x6289 -x6288 -x6287 -x6286 -x6285 -x6284 -x6283 
1789.53/1790.03	v -x6282 -x6281 -x6280 -x6279 -x6278 -x6277 -x6276 -x6275 -x6274 -x6273 -x6272 -x6241 -x6240 -x6239 -x6238 -x6237 -x6236 -x6235 
1789.53/1790.03	v -x6234 -x6233 -x6232 -x6231 -x6230 -x6229 -x6228 -x6227 -x6226 -x6225 -x6224 x6223 x6222 -x6221 -x6220 -x6219 -x6218 -x6217 
1789.53/1790.03	v x6216 -x6215 x6214 x6213 -x6212 -x6211 -x6210 -x6209 -x6208 -x6207 -x6206 -x6205 -x6204 -x6203 -x6202 -x6201 -x6200 -x6199 
1789.53/1790.03	v -x6198 -x6197 -x6196 -x6195 -x6194 -x6193 -x6192 -x6191 -x6190 -x6189 -x6188 -x6187 -x6186 -x6185 -x6184 -x6183 -x6182 -x6181 
1789.53/1790.03	v -x6180 -x6179 -x6178 -x6177 -x6176 -x6175 -x6174 -x6173 -x6172 -x6171 -x6170 -x6169 -x6168 -x6167 -x6166 -x6165 -x6164 -x6163 
1789.53/1790.03	v -x6162 -x6161 -x6160 -x6159 -x6158 -x6157 -x6156 -x6155 -x6154 -x6153 -x6152 -x6151 -x6150 -x6149 -x6148 -x6147 -x6146 -x6145 
1789.53/1790.03	v -x6144 -x6143 -x6142 -x6141 -x6140 -x6139 -x6138 -x6137 -x6136 -x6135 x6134 -x6133 x6132 -x6131 -x6130 -x6129 -x6128 -x6127 
1789.53/1790.03	v -x6126 -x6125 -x6124 -x6123 -x6122 -x6114 -x6113 -x6112 -x6111 -x6110 -x6109 -x6108 -x6107 -x6106 -x6105 -x6104 -x6103 -x6102 
1789.53/1790.03	v -x6101 -x6100 -x6099 -x6098 -x6097 -x6096 -x6095 -x6094 -x6093 -x6092 -x6091 -x6090 -x6089 -x6088 -x6087 -x6086 -x6085 -x6074 
1789.53/1790.03	v -x6073 -x6072 -x6071 -x6070 -x6069 -x6068 -x6067 -x6066 -x6065 -x6064 -x6063 -x6062 -x6061 -x6060 -x6059 -x6058 -x6057 -x6056 
1789.53/1790.03	v -x6055 -x6054 -x6053 -x6052 -x6051 -x6050 -x6049 -x6048 -x6047 -x6046 -x6045 -x6034 -x6033 -x6032 -x6031 -x6030 -x6029 -x6028 
1789.53/1790.03	v -x6027 -x6026 -x6025 -x6024 -x6023 -x6022 -x6021 -x6020 -x6019 -x6018 -x6017 -x6016 -x6015 -x6014 -x6013 -x6012 -x6011 
1789.53/1790.03	v -x6010 -x6009 -x6008 -x6007 -x6006 -x6005 -x5994 -x5993 -x5992 -x5991 -x5990 -x5989 -x5988 -x5987 -x5986 -x5985 -x5984 -x5983 
1789.53/1790.03	v -x5982 -x5981 -x5980 -x5979 -x5978 -x5977 -x5976 -x5975 -x5974 -x5973 -x5972 -x5971 -x5970 -x5969 -x5968 -x5967 -x5966 -x5965 
1789.53/1790.03	v -x5954 -x5953 -x5952 -x5951 -x5950 -x5949 -x5948 -x5947 -x5946 -x5945 -x5944 -x5943 -x5942 -x5941 -x5940 -x5939 -x5938 -x5937 
1789.53/1790.03	v -x5936 -x5935 -x5934 -x5933 -x5932 -x5931 -x5930 -x5929 -x5928 -x5927 -x5926 -x5925 -x5914 -x5913 -x5912 -x5911 -x5910 -x5909 
1789.53/1790.03	v -x5908 -x5907 -x5906 -x5905 -x5904 -x5903 -x5902 -x5901 -x5900 -x5899 -x5898 -x5897 -x5896 -x5895 -x5894 -x5893 -x5892 -x5891 
1789.53/1790.03	v -x5890 -x5889 -x5888 -x5887 -x5886 -x5885 -x5844 -x5843 -x5842 -x5841 -x5840 -x5839 -x5838 -x5837 -x5836 -x5835 -x5834 -x5833 
1789.53/1790.03	v -x5832 -x5831 -x5830 -x5829 -x5828 -x5827 -x5826 -x5825 -x5824 -x5823 -x5822 -x5821 -x5820 -x5819 -x5818 -x5817 -x5816 
1789.53/1790.03	v -x5815 -x6121 x6120 -x6119 -x6118 -x6117 -x6116 -x6115 -x6084 -x6083 -x6082 -x6081 -x6080 -x6079 -x6078 -x6077 -x6076 -x6075 
1789.53/1790.03	v -x6044 -x6043 -x6042 -x6041 -x6040 -x6039 -x6038 -x6037 -x6036 -x6035 -x6004 -x6003 -x6002 -x6001 -x6000 -x5999 -x5998 -x5997 
1789.53/1790.03	v -x5996 -x5995 -x5964 x5963 -x5962 -x5961 -x5960 -x5959 -x5958 -x5957 -x5956 -x5955 -x5924 -x5923 -x5922 -x5921 -x5920 x5919 
1789.53/1790.03	v -x5918 -x5917 -x5916 -x5915 -x5854 -x5853 -x5852 -x5851 -x5850 -x5849 x5848 -x5847 -x5846 -x5845 -x5814 -x5813 -x5812 -x5811 
1789.53/1790.03	v -x5810 -x5809 -x5808 -x5807 -x5806 -x5805 -x5774 -x5773 -x5772 -x5771 -x5770 -x5769 -x5768 -x5767 -x5766 -x5765 -x5734 -x5733 
1789.53/1790.03	v -x5732 -x5731 -x5730 x5729 -x5728 -x5727 -x5726 -x5725 -x5694 -x5693 -x5692 -x5691 -x5690 -x5689 -x5688 -x5687 -x5686 -x5685 
1789.53/1790.03	v -x5654 -x5653 -x5652 -x5651 -x5650 -x5649 -x5648 -x5647 -x5646 -x5645 x5614 -x5613 -x5612 -x5611 -x5610 -x5609 x5608 -x5607 
1789.53/1790.03	v -x5606 -x5605 -x5574 -x5573 -x5572 -x5571 -x5570 -x5569 -x5568 -x5567 -x5566 -x5565 -x5534 -x5533 -x5532 -x5531 -x5530 -x5529 
1789.53/1790.03	v -x5528 -x5527 -x5526 -x5525 -x5494 -x5493 -x5492 -x5491 -x5490 -x5489 -x5488 -x5487 x5486 -x5485 -x5424 -x5423 -x5422 -x5421 
1789.53/1790.03	v -x5420 -x5419 -x5418 -x5417 x5416 -x5415 -x5384 -x5383 -x5382 -x5381 -x5380 -x5379 -x5378 -x5377 -x5376 -x5375 -x5344 -x5343 
1789.53/1790.03	v -x5342 -x5341 -x5340 -x5339 -x5338 -x5337 -x5336 -x5335 -x5304 -x5303 -x5302 -x5301 -x5300 -x5299 -x5298 -x5297 -x5296 x5295 
1789.53/1790.03	v -x5264 -x5263 -x5262 -x5261 -x5260 -x5259 x5258 -x5257 -x5256 -x5255 -x5224 -x5223 -x5222 -x5221 -x5220 -x5219 -x5218 -x5217 
1789.53/1790.03	v -x5216 -x5215 -x5184 -x5183 -x5182 -x5181 -x5180 -x5179 -x5178 x5177 -x5176 -x5175 -x5144 -x5143 -x5142 -x5141 -x5140 -x5139 
1789.53/1790.03	v -x5138 -x5137 -x5136 -x5135 -x5104 -x5103 -x5102 -x5041 -x5040 -x4979 -x4978 -x4977 -x4976 -x4975 -x4974 -x4973 -x4972 x4971 
1789.53/1790.03	v -x4970 -x4939 -x4938 -x4937 -x4936 -x4935 -x4934 -x4933 -x4932 -x4931 -x4930 -x4899 -x4898 -x4897 -x4896 -x4895 -x4894 -x4893 
1789.53/1790.03	v -x4892 -x4891 -x4890 -x4859 -x4858 -x4857 -x4856 -x4855 -x4854 -x4853 -x4852 -x4851 -x4850 -x4819 -x4818 x4817 -x4816 -x4815 
1789.53/1790.03	v -x4814 -x4813 -x4812 x4811 -x4810 -x4779 -x4778 -x4777 -x4776 x4775 x4774 x4773 x4772 -x5101 -x5100 -x5099 x5098 -x5097 -x5096 
1789.53/1790.03	v -x5095 -x5094 -x5093 x5092 -x5091 -x5090 -x5089 -x5088 -x5057 -x5056 -x5055 -x5054 -x5053 -x5052 -x5051 -x5050 -x5049 -x5048 
1789.53/1790.03	v -x5047 -x5046 -x5045 -x5044 -x5043 -x5042 x4771 -x4770 -x4769 -x4768 -x4767 -x4766 -x4765 -x4764 -x4763 -x4762 x4761 -x4760 
1789.53/1790.03	v -x4759 -x4758 -x4757 x4756 x4755 -x4754 x4753 -x4752 -x4751 -x4750 -x4749 x4748 -x4747 -x4746 -x4745 -x4744 -x4743 -x4742 
1789.53/1790.03	v -x4741 
1789.53/1790.03	c SCIP Status        : solving was interrupted [time limit reached]
1789.53/1790.03	c Solving Time       :    1789.94
1789.53/1790.03	c Original Problem   :
1789.53/1790.03	c   Problem name     : HOME/instance-2703895-1278560101.opb
1789.53/1790.03	c   Variables        : 7561 (7561 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.53/1790.03	c   Constraints      : 306 initial, 306 maximal
1789.53/1790.03	c Presolved Problem  :
1789.53/1790.03	c   Problem name     : t_HOME/instance-2703895-1278560101.opb
1789.53/1790.03	c   Variables        : 3480 (3480 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.53/1790.03	c   Constraints      : 306 initial, 3027 maximal
1789.53/1790.03	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1789.53/1790.03	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1789.53/1790.03	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1789.53/1790.03	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1789.53/1790.03	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1789.53/1790.03	c   implics          :       0.00          0          0          0          0          0          0          0          0
1789.53/1790.03	c   probing          :       2.09         10          0          0          0          0          0          0          0
1789.53/1790.03	c   knapsack         :       0.09         10          0          0          0          0          0         15         30
1789.53/1790.03	c   setppc           :       0.00          0          0          0          0          0         10          0          0
1789.53/1790.03	c   linear           :       0.05       4061          0          0       4060          0          0         15         15
1789.53/1790.03	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1789.53/1790.03	c   root node        :          -         23          -          -         23          -          -          -          -
1789.53/1790.03	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1789.53/1790.03	c   integral         :          0          0          0      69979          0        196       7858          0          0     125818
1789.53/1790.03	c   knapsack         :        246          6     482477          0          0        810   15135102        172          0          0
1789.53/1790.03	c   setppc           :         29          6     481105          0          0         37     535984          0          0          0
1789.53/1790.03	c   linear           :         31+         7     481629          0          0      11572     495213         81          0          0
1789.53/1790.03	c   logicor          :          0+         0     169952          0          0       1316     131460          0          0          0
1789.53/1790.03	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1789.53/1790.03	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1789.53/1790.03	c   integral         :     153.92       0.00       0.00     153.92       0.00
1789.53/1790.03	c   knapsack         :      51.26       0.01      51.26       0.00       0.00
1789.53/1790.03	c   setppc           :       3.77       0.00       3.77       0.00       0.00
1789.53/1790.03	c   linear           :     166.99       1.27     165.72       0.00       0.00
1789.53/1790.03	c   logicor          :       9.23       0.00       9.23       0.00       0.00
1789.53/1790.03	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1789.53/1790.03	c Propagators        :       Time      Calls    Cutoffs    DomReds
1789.53/1790.03	c   vbounds          :       0.34          2          0          0
1789.53/1790.03	c   rootredcost      :       0.40          7          0          0
1789.53/1790.03	c   pseudoobj        :       2.22     482705         22       1379
1789.53/1790.03	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1789.53/1790.03	c   propagation      :       5.29      13752      13671      75819      107.0        497       27.0          -
1789.53/1790.03	c   infeasible LP    :       6.28       2912       2233      15074      117.5         74       64.9          0
1789.53/1790.03	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1789.53/1790.03	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1789.53/1790.03	c   pseudo solution  :       0.00          1          0          0        0.0          0        0.0          -
1789.53/1790.03	c   applied globally :          -          -          -      58634       70.4          -          -          -
1789.53/1790.03	c   applied locally  :          -          -          -         15      559.1          -          -          -
1789.53/1790.03	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1789.53/1790.03	c   cut pool         :       0.00          5          -          -         21          -    (maximal pool size: 465)
1789.53/1790.03	c   redcost          :      41.53     105564          0     797649          0          0
1789.53/1790.03	c   impliedbounds    :       0.01          6          0          0        227          0
1789.53/1790.03	c   intobj           :       0.00          0          0          0          0          0
1789.53/1790.03	c   cgmip            :       0.00          0          0          0          0          0
1789.53/1790.03	c   gomory           :       0.05          6          0          0          1          0
1789.53/1790.03	c   strongcg         :       0.05          6          0          0          2          0
1789.53/1790.03	c   cmir             :       0.16          6          0          0        101          0
1789.53/1790.03	c   flowcover        :       0.57          6          0          0        240          0
1789.53/1790.03	c   clique           :       0.67          6          0          0         42          0
1789.53/1790.03	c   zerohalf         :       0.00          0          0          0          0          0
1789.53/1790.03	c   mcf              :       0.02          3          0          0          8          0
1789.53/1790.03	c   rapidlearning    :       1.98          1          0          0          0         84
1789.53/1790.03	c Pricers            :       Time      Calls       Vars
1789.53/1790.03	c   problem variables:       0.00          0          0
1789.53/1790.03	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1789.53/1790.03	c   relpscost        :     153.69      69979        196       7858          0          0     125818
1789.53/1790.03	c   pscost           :       0.00          0          0          0          0          0          0
1789.53/1790.03	c   inference        :       0.00          0          0          0          0          0          0
1789.53/1790.03	c   mostinf          :       0.00          0          0          0          0          0          0
1789.53/1790.03	c   leastinf         :       0.00          0          0          0          0          0          0
1789.53/1790.03	c   fullstrong       :       0.00          0          0          0          0          0          0
1789.53/1790.03	c   allfullstrong    :       0.00          0          0          0          0          0          0
1789.53/1790.03	c   random           :       0.00          0          0          0          0          0          0
1789.53/1790.03	c Primal Heuristics  :       Time      Calls      Found
1789.53/1790.03	c   LP solutions     :       0.00          -          0
1789.53/1790.03	c   pseudo solutions :       0.00          -          0
1789.53/1790.03	c   intshifting      :       0.01          0          0
1789.53/1790.03	c   oneopt           :       0.15          7          1
1789.53/1790.03	c   feaspump         :       2.15         12          0
1789.53/1790.03	c   crossover        :       2.09         14          0
1789.53/1790.03	c   rootsoldiving    :      10.36         60          0
1789.53/1790.03	c   objpscostdiving  :      11.20         83          0
1789.53/1790.03	c   coefdiving       :     108.30        208          1
1789.53/1790.03	c   fracdiving       :      36.94        349          0
1789.53/1790.03	c   veclendiving     :      27.20        349          0
1789.53/1790.03	c   guideddiving     :      44.98        349          1
1789.53/1790.03	c   linesearchdiving :      26.99        350          3
1789.53/1790.03	c   pscostdiving     :      65.33        350          0
1789.53/1790.03	c   trivial          :       0.01          2          0
1789.53/1790.03	c   simplerounding   :       0.14          0          0
1789.53/1790.03	c   zirounding       :       0.13       1000          0
1789.53/1790.03	c   rounding         :       2.09       3845          0
1789.53/1790.03	c   shifting         :      13.93       2861          1
1789.53/1790.03	c   twoopt           :       0.00          0          0
1789.53/1790.03	c   fixandinfer      :       0.00          0          0
1789.53/1790.03	c   intdiving        :       0.00          0          0
1789.53/1790.03	c   actconsdiving    :       0.00          0          0
1789.53/1790.03	c   octane           :       0.00          0          0
1789.53/1790.03	c   rens             :       0.15          1          0
1789.53/1790.03	c   rins             :       0.00          0          0
1789.53/1790.03	c   localbranching   :       0.00          0          0
1789.53/1790.03	c   mutation         :       0.00          0          0
1789.53/1790.03	c   dins             :       0.00          0          0
1789.53/1790.03	c   undercover       :       0.00          0          0
1789.53/1790.03	c   nlp              :       0.07          0          0
1789.53/1790.03	c   trysol           :       0.11          0          0
1789.53/1790.03	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1789.53/1790.03	c   primal LP        :       0.00          0          0       0.00          -
1789.53/1790.03	c   dual LP          :     754.42     109413    2494454      22.80    3306.45
1789.53/1790.03	c   lex dual LP      :       0.00          0          0       0.00          -
1789.53/1790.03	c   barrier LP       :       0.00          0          0       0.00          -
1789.53/1790.03	c   diving/probing LP:     235.29      58216     579482       9.95    2462.86
1789.53/1790.03	c   strong branching :     150.20      21447     410191      19.13    2731.02
1789.53/1790.03	c     (at root node) :          -         10       4248     424.80          -
1789.53/1790.03	c   conflict analysis:       0.00          0          0       0.00          -
1789.53/1790.03	c B&B Tree           :
1789.53/1790.03	c   number of runs   :          1
1789.53/1790.03	c   nodes            :     107453
1789.53/1790.03	c   nodes (total)    :     107453
1789.53/1790.03	c   nodes left       :       5191
1789.53/1790.03	c   max depth        :         59
1789.53/1790.03	c   max depth (total):         59
1789.53/1790.03	c   backtracks       :      15603 (14.5%)
1789.53/1790.03	c   delayed cutoffs  :       1319
1789.53/1790.03	c   repropagations   :      37991 (386047 domain reductions, 947 cutoffs)
1789.53/1790.03	c   avg switch length:       5.32
1789.53/1790.03	c   switching time   :      94.91
1789.53/1790.03	c Solution           :
1789.53/1790.03	c   Solutions found  :          8 (7 improvements)
1789.53/1790.03	c   First Solution   : +1.07591270400000e+09   (in run 1, after 1 nodes, 5.62 seconds, depth 0, found by <trysol>)
1789.53/1790.03	c   Primal Bound     : +1.07484377600000e+09   (in run 1, after 37280 nodes, 914.16 seconds, depth 40, found by <shifting>)
1789.53/1790.03	c   Dual Bound       : +1.07480970424071e+09
1789.53/1790.03	c   Gap              :       0.00 %
1789.53/1790.03	c   Root Dual Bound  : +1.07474622902857e+09
1789.53/1790.03	c   Root Iterations  :       3704
1789.83/1790.30	c Time complete: 1789.84.

Verifier Data 

FAILED
ERROR: unsatisfied constraint on line 0
	26904315264=26904326400

Falsified constraint is:
+25*x4741[=0] +50*x4742[=0] +100*x4743[=0] +200*x4744[=0] +400*x4745[=0] +800*x4746[=0] +1600*x4747[=0] +3200*x4748[=1] +6400*x4749[=0] +12800*x4750[=0] +25600*x4751[=0] +51200*x4752[=0] +102400*x4753[=1] +204800*x4754[=0] +409600*x4755[=1] +819200*x4756[=1] +1638400*x4757[=0] +3276800*x4758[=0] +6553600*x4759[=0] +13107200*x4760[=0] +26214400*x4761[=1] +52428800*x4762[=0] +104857600*x4763[=0] +209715200*x4764[=0] +419430400*x4765[=0] +838860800*x4766[=0] +1677721600*x4767[=0] +3355443200*x4768[=0] +6710886400*x4769[=0] +13421772800*x4770[=0] +26843545600*x4771[=1] -139008*x4772[=1] -139008*x4773[=1] -139008*x4774[=1] -139008*x4775[=1] -139008*x4776[=0] -1376768*x4777[=0] -1376768*x4778[=0] -1376768*x4779[=0] -1376768*x4810[=0] -1376768*x4811[=1] -598016*x4812[=0] -598016*x4813[=0] -598016*x4814[=0] -598016*x4815[=0] -598016*x4816[=0] +1907712*x4817[=1] +1907712*x4818[=0] +1907712*x4819[=0] +1907712*x4850[=0] +1907712*x4851[=0] +2019072*x4852[=0] +2019072*x4853[=0] +2019072*x4854[=0] +2019072*x4855[=0] +2019072*x4856[=0] +2032896*x4857[=0] +2032896*x4858[=0] +2032896*x4859[=0] +2032896*x4890[=0] +2032896*x4891[=0] +2158080*x4892[=0] +2158080*x4893[=0] +2158080*x4894[=0] +2158080*x4895[=0] +2158080*x4896[=0] +747008*x4897[=0] +747008*x4898[=0] +747008*x4899[=0] +747008*x4930[=0] +747008*x4931[=0] +997376*x4932[=0] +997376*x4933[=0] +997376*x4934[=0] +997376*x4935[=0] +997376*x4936[=0] +1789952*x4937[=0] +1789952*x4938[=0] +1789952*x4939[=0] +1789952*x4970[=0] +1789952*x4971[=1] +1317120*x4972[=0] +1317120*x4973[=0] +1317120*x4974[=0] +1317120*x4975[=0] +1317120*x4976[=0] +3085824*x4977[=0] +3085824*x4978[=0] +3085824*x4979[=0] +3085824*x5040[=0] +3085824*x5041[=0] +3211008*x5042[=0] +6422016*x5043[=0] +3211008*x5044[=0] +6422016*x5045[=0] +3211008*x5046[=0] +6422016*x5047[=0] +3211008*x5048[=0] +6422016*x5049[=0] +3211008*x5050[=0] +6422016*x5051[=0] +2766080*x5052[=0] +5532160*x5053[=0] +2766080*x5054[=0] +5532160*x5055[=0] +2766080*x5056[=0] +5532160*x5057[=0] +2766080*x5088[=0] +5532160*x5089[=0] +2766080*x5090[=0] +5532160*x5091[=0] +3656192*x5092[=1] +7312384*x5093[=0] +3656192*x5094[=0] +7312384*x5095[=0] +3656192*x5096[=0] +7312384*x5097[=0] +3656192*x5098[=1] +7312384*x5099[=0] +3656192*x5100[=0] +7312384*x5101[=0] +1905408*x5102[=0] +1905408*x5103[=0] +1905408*x5104[=0] +1905408*x5135[=0] +1905408*x5136[=0] +2128128*x5137[=0] +2128128*x5138[=0] +2128128*x5139[=0] +2128128*x5140[=0] +2128128*x5141[=0] +2406144*x5142[=0] +2406144*x5143[=0] +2406144*x5144[=0] +2406144*x5175[=0] +2406144*x5176[=0] +2461696*x5177[=1] +2461696*x5178[=0] +2461696*x5179[=0] +2461696*x5180[=0] +2461696*x5181[=0] +1231104*x5182[=0] +1231104*x5183[=0] +1231104*x5184[=0] +1231104*x5215[=0] +1231104*x5216[=0] +1439744*x5217[=0] +1439744*x5218[=0] +1439744*x5219[=0] +1439744*x5220[=0] +1439744*x5221[=0] +688640*x5222[=0] +688640*x5223[=0] +688640*x5224[=0] +688640*x5255[=0] +688640*x5256[=0] +1690112*x5257[=0] +1690112*x5258[=1] +1690112*x5259[=0] +1690112*x5260[=0] +1690112*x5261[=0] +2419968*x5262[=0] +2419968*x5263[=0] +2419968*x5264[=0] +2419968*x5295[=1] +2419968*x5296[=0] +2475776*x5297[=0] +2475776*x5298[=0] +2475776*x5299[=0] +2475776*x5300[=0] +2475776*x5301[=0] +2392320*x5302[=0] +2392320*x5303[=0] +2392320*x5304[=0] +2392320*x5335[=0] +2392320*x5336[=0] +2406144*x5337[=0] +2406144*x5338[=0] +2406144*x5339[=0] +2406144*x5340[=0] +2406144*x5341[=0] +582656*x5342[=0] +582656*x5343[=0] +582656*x5344[=0] +582656*x5375[=0] +582656*x5376[=0] +972032*x5377[=0] +972032*x5378[=0] +972032*x5379[=0] +972032*x5380[=0] +972032*x5381[=0] +1917696*x5382[=0] +1917696*x5383[=0] +1917696*x5384[=0] +1917696*x5415[=0] +1917696*x5416[=1] +1222400*x5417[=0] +1222400*x5418[=0] +1222400*x5419[=0] +1222400*x5420[=0] +1222400*x5421[=0] +2185728*x5422[=0] +2185728*x5423[=0] +2185728*x5424[=0] +2185728*x5485[=0] +2185728*x5486[=1] +2213632*x5487[=0] +2213632*x5488[=0] +2213632*x5489[=0] +2213632*x5490[=0] +2213632*x5491[=0] +2310912*x5492[=0] +2310912*x5493[=0] +2310912*x5494[=0] +2310912*x5525[=0] +2310912*x5526[=0] +1963264*x5527[=0] +1963264*x5528[=0] +1963264*x5529[=0] +1963264*x5530[=0] +1963264*x5531[=0] +2231552*x5532[=0] +2231552*x5533[=0] +2231552*x5534[=0] +2231552*x5565[=0] +2231552*x5566[=0] +2134272*x5567[=0] +2134272*x5568[=0] +2134272*x5569[=0] +2134272*x5570[=0] +2134272*x5571[=0] +979712*x5572[=0] +979712*x5573[=0] +979712*x5574[=0] +979712*x5605[=0] +979712*x5606[=0] +1939456*x5607[=0] +1939456*x5608[=1] +1939456*x5609[=0] +1939456*x5610[=0] +1939456*x5611[=0] +1779456*x5612[=0] +1779456*x5613[=0] +1779456*x5614[=1] +1779456*x5645[=0] +1779456*x5646[=0] +1682176*x5647[=0] +1682176*x5648[=0] +1682176*x5649[=0] +1682176*x5650[=0] +1682176*x5651[=0] +527872*x5652[=0] +527872*x5653[=0] +527872*x5654[=0] +527872*x5685[=0] +527872*x5686[=0] +1362432*x5687[=0] +1362432*x5688[=0] +1362432*x5689[=0] +1362432*x5690[=0] +1362432*x5691[=0] +2239232*x5692[=0] +2239232*x5693[=0] +2239232*x5694[=0] +2239232*x5725[=0] +2239232*x5726[=0] +2434048*x5727[=0] +2434048*x5728[=0] +2434048*x5729[=1] +2434048*x5730[=0] +2434048*x5731[=0] +1015296*x5732[=0] +1015296*x5733[=0] +1015296*x5734[=0] +1015296*x5765[=0] +1015296*x5766[=0] +1947136*x5767[=0] +1947136*x5768[=0] +1947136*x5769[=0] +1947136*x5770[=0] +1947136*x5771[=0] +1125888*x5772[=0] +1125888*x5773[=0] +1125888*x5774[=0] +1125888*x5805[=0] +1125888*x5806[=0] +1195520*x5807[=0] +1195520*x5808[=0] +1195520*x5809[=0] +1195520*x5810[=0] +1195520*x5811[=0] +750336*x5812[=0] +750336*x5813[=0] +750336*x5814[=0] +750336*x5845[=0] +750336*x5846[=0] +1682176*x5847[=0] +1682176*x5848[=1] +1682176*x5849[=0] +1682176*x5850[=0] +1682176*x5851[=0] +1748224*x5852[=0] +1748224*x5853[=0] +1748224*x5854[=0] +1748224*x5915[=0] +1748224*x5916[=0] +1817856*x5917[=0] +1817856*x5918[=0] +1817856*x5919[=1] +1817856*x5920[=0] +1817856*x5921[=0] +1039104*x5922[=0] +1039104*x5923[=0] +1039104*x5924[=0] +1039104*x5955[=0] +1039104*x5956[=0] +1331200*x5957[=0] +1331200*x5958[=0] +1331200*x5959[=0] +1331200*x5960[=0] +1331200*x5961[=0] +1653504*x5962[=0] +1653504*x5963[=1] +1653504*x5964[=0] +1653504*x5995[=0] +1653504*x5996[=0] +1611776*x5997[=0] +1611776*x5998[=0] +1611776*x5999[=0] +1611776*x6000[=0] +1611776*x6001[=0] +763392*x6002[=0] +763392*x6003[=0] +763392*x6004[=0] +763392*x6035[=0] +763392*x6036[=0] +1917696*x6037[=0] +1917696*x6038[=0] +1917696*x6039[=0] +1917696*x6040[=0] +1917696*x6041[=0] +1591808*x6042[=0] +1591808*x6043[=0] +1591808*x6044[=0] +1591808*x6075[=0] +1591808*x6076[=0] +1716992*x6077[=0] +1716992*x6078[=0] +1716992*x6079[=0] +1716992*x6080[=0] +1716992*x6081[=0] +1271808*x6082[=0] +1271808*x6083[=0] +1271808*x6084[=0] +1271808*x6115[=0] +1271808*x6116[=0] +2161920*x6117[=0] +2161920*x6118[=0] +2161920*x6119[=0] +2161920*x6120[=1] +2161920*x6121[=0] = 26904326400

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 32360
/proc/meminfo: memFree=1693328/2059040 swapFree=4141912/4192956
[pid=32360] ppid=32358 vsize=7904 CPUtime=0
/proc/32360/stat : 32360 (pbscip.linux.x8) R 32358 32360 30446 0 -1 4202496 1068 0 0 0 0 0 0 0 20 0 1 0 24216494 8093696 979 1992294400 4194304 8395647 140733510496528 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32360/statm: 1976 987 365 1026 0 946 0

[startup+0.070394 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 32360
/proc/meminfo: memFree=1693328/2059040 swapFree=4141912/4192956
[pid=32360] ppid=32358 vsize=16228 CPUtime=0.06
/proc/32360/stat : 32360 (pbscip.linux.x8) R 32358 32360 30446 0 -1 4202496 3694 0 0 0 5 1 0 0 20 0 1 0 24216494 16617472 3251 1992294400 4194304 8395647 140733510496528 18446744073709551615 6345173 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32360/statm: 4057 3251 397 1026 0 3027 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16228

[startup+0.101278 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 32360
/proc/meminfo: memFree=1693328/2059040 swapFree=4141912/4192956
[pid=32360] ppid=32358 vsize=27952 CPUtime=0.1
/proc/32360/stat : 32360 (pbscip.linux.x8) R 32358 32360 30446 0 -1 4202496 6555 0 0 0 8 2 0 0 20 0 1 0 24216494 28622848 6112 1992294400 4194304 8395647 140733510496528 18446744073709551615 6348961 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32360/statm: 6988 6112 420 1026 0 5958 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 27952

[startup+0.301295 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 32360
/proc/meminfo: memFree=1693328/2059040 swapFree=4141912/4192956
[pid=32360] ppid=32358 vsize=36220 CPUtime=0.29
/proc/32360/stat : 32360 (pbscip.linux.x8) R 32358 32360 30446 0 -1 4202496 8466 0 0 0 27 2 0 0 20 0 1 0 24216494 37089280 8023 1992294400 4194304 8395647 140733510496528 18446744073709551615 5005929 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32360/statm: 9055 8023 500 1026 0 8025 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36220

[startup+0.701329 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 32360
/proc/meminfo: memFree=1693328/2059040 swapFree=4141912/4192956
[pid=32360] ppid=32358 vsize=45124 CPUtime=0.69
/proc/32360/stat : 32360 (pbscip.linux.x8) R 32358 32360 30446 0 -1 4202496 10690 0 0 0 67 2 0 0 20 0 1 0 24216494 46206976 10247 1992294400 4194304 8395647 140733510496528 18446744073709551615 6080675 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32360/statm: 11281 10247 500 1026 0 10251 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 45124

[startup+1.5004 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32361
/proc/meminfo: memFree=1649548/2059040 swapFree=4141912/4192956
[pid=32360] ppid=32358 vsize=58404 CPUtime=1.49
/proc/32360/stat : 32360 (pbscip.linux.x8) R 32358 32360 30446 0 -1 4202496 14006 0 0 0 145 4 0 0 22 0 1 0 24216494 59805696 13563 1992294400 4194304 8395647 140733510496528 18446744073709551615 5026778 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32360/statm: 14601 13563 500 1026 0 13571 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 58404

[startup+3.10054 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32361
/proc/meminfo: memFree=1637520/2059040 swapFree=4141912/4192956
[pid=32360] ppid=32358 vsize=67096 CPUtime=3.09
/proc/32360/stat : 32360 (pbscip.linux.x8) R 32358 32360 30446 0 -1 4202496 16113 0 0 0 304 5 0 0 25 0 1 0 24216494 68706304 15658 1992294400 4194304 8395647 140733510496528 18446744073709551615 5792967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32360/statm: 16774 15658 611 1026 0 15744 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 67096

[startup+6.30082 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32361
/proc/meminfo: memFree=1607760/2059040 swapFree=4141912/4192956
[pid=32360] ppid=32358 vsize=92912 CPUtime=6.29
/proc/32360/stat : 32360 (pbscip.linux.x8) R 32358 32360 30446 0 -1 4202496 22690 0 0 0 617 12 0 0 25 0 1 0 24216494 95141888 22212 1992294400 4194304 8395647 140733510496528 18446744073709551615 4331318 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32360/statm: 23228 22212 674 1026 0 22198 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 92912

[startup+12.7014 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32361
/proc/meminfo: memFree=1605156/2059040 swapFree=4141912/4192956
[pid=32360] ppid=32358 vsize=93024 CPUtime=12.69
/proc/32360/stat : 32360 (pbscip.linux.x8) R 32358 32360 30446 0 -1 4202496 23519 0 0 0 1250 19 0 0 25 0 1 0 24216494 95256576 22327 1992294400 4194304 8395647 140733510496528 18446744073709551615 6670385 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32360/statm: 23256 22327 647 1026 0 22226 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 93024

[startup+25.5015 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32363
/proc/meminfo: memFree=1605280/2059040 swapFree=4141912/4192956
[pid=32360] ppid=32358 vsize=93024 CPUtime=25.49
/proc/32360/stat : 32360 (pbscip.linux.x8) R 32358 32360 30446 0 -1 4202496 23519 0 0 0 2513 36 0 0 25 0 1 0 24216494 95256576 22327 1992294400 4194304 8395647 140733510496528 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32360/statm: 23256 22327 647 1026 0 22226 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 93024

[startup+51.1017 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32363
/proc/meminfo: memFree=1605280/2059040 swapFree=4141912/4192956
[pid=32360] ppid=32358 vsize=93024 CPUtime=51.06
/proc/32360/stat : 32360 (pbscip.linux.x8) R 32358 32360 30446 0 -1 4202496 23619 0 0 0 5038 68 0 0 25 0 1 0 24216494 95256576 22427 1992294400 4194304 8395647 140733510496528 18446744073709551615 6585844 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32360/statm: 23256 22427 746 1026 0 22226 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 93024

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32365
/proc/meminfo: memFree=1594740/2059040 swapFree=4141912/4192956
[pid=32360] ppid=32358 vsize=105008 CPUtime=102.26
/proc/32360/stat : 32360 (pbscip.linux.x8) R 32358 32360 30446 0 -1 4202496 26429 0 0 0 10106 120 0 0 25 0 1 0 24216494 107528192 25192 1992294400 4194304 8395647 140733510496528 18446744073709551615 6693387 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32360/statm: 26252 25192 746 1026 0 25222 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 105008

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32365
/proc/meminfo: memFree=1576512/2059040 swapFree=4141912/4192956
[pid=32360] ppid=32358 vsize=125948 CPUtime=162.23
/proc/32360/stat : 32360 (pbscip.linux.x8) R 32358 32360 30446 0 -1 4202496 31032 0 0 0 16039 184 0 0 25 0 1 0 24216494 128970752 29732 1992294400 4194304 8395647 140733510496528 18446744073709551615 5026483 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32360/statm: 31487 29732 751 1026 0 30457 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 125948

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32367
/proc/meminfo: memFree=1563244/2059040 swapFree=4141912/4192956
[pid=32360] ppid=32358 vsize=140540 CPUtime=222.23
/proc/32360/stat : 32360 (pbscip.linux.x8) R 32358 32360 30446 0 -1 4202496 34411 0 0 0 21983 240 0 0 25 0 1 0 24216494 143912960 33078 1992294400 4194304 8395647 140733510496528 18446744073709551615 6119675 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32360/statm: 35135 33078 752 1026 0 34105 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 140540

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32369
/proc/meminfo: memFree=1549728/2059040 swapFree=4141912/4192956
[pid=32360] ppid=32358 vsize=155616 CPUtime=282.21
/proc/32360/stat : 32360 (pbscip.linux.x8) R 32358 32360 30446 0 -1 4202496 50074 0 0 0 27911 310 0 0 25 0 1 0 24216494 159350784 36449 1992294400 4194304 8395647 140733510496528 18446744073709551615 4995169 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32360/statm: 38904 36449 753 1026 0 37874 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 155616

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32371
/proc/meminfo: memFree=1526292/2059040 swapFree=4141912/4192956
[pid=32360] ppid=32358 vsize=183348 CPUtime=342.19
/proc/32360/stat : 32360 (pbscip.linux.x8) R 32358 32360 30446 0 -1 4202496 59686 0 0 0 33846 373 0 0 25 0 1 0 24216494 187748352 42271 1992294400 4194304 8395647 140733510496528 18446744073709551615 5926485 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32360/statm: 45837 42271 750 1026 0 44807 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 183348

[startup+402.301 s]
/proc/loadavg: 1.06 1.02 1.00 2/107 32373
/proc/meminfo: memFree=1502732/2059040 swapFree=4141912/4192956
[pid=32360] ppid=32358 vsize=209572 CPUtime=402.18
/proc/32360/stat : 32360 (pbscip.linux.x8) R 32358 32360 30446 0 -1 4202496 66771 0 0 0 39782 436 0 0 25 0 1 0 24216494 214601728 48149 1992294400 4194304 8395647 140733510496528 18446744073709551615 6119850 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32360/statm: 52393 48149 754 1026 0 51363 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 209572

[startup+462.301 s]
/proc/loadavg: 1.08 1.03 1.00 2/107 32373
/proc/meminfo: memFree=1478800/2059040 swapFree=4141912/4192956
[pid=32360] ppid=32358 vsize=238312 CPUtime=462.16
/proc/32360/stat : 32360 (pbscip.linux.x8) R 32358 32360 30446 0 -1 4202496 72863 0 0 0 45720 496 0 0 25 0 1 0 24216494 244031488 54154 1992294400 4194304 8395647 140733510496528 18446744073709551615 4705184 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32360/statm: 59578 54154 767 1026 0 58548 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 238312

[startup+522.302 s]
/proc/loadavg: 1.08 1.03 1.00 2/107 32375
/proc/meminfo: memFree=1453876/2059040 swapFree=4141912/4192956
[pid=32360] ppid=32358 vsize=268376 CPUtime=522.15
/proc/32360/stat : 32360 (pbscip.linux.x8) R 32358 32360 30446 0 -1 4202496 79167 0 0 0 51656 559 0 0 25 0 1 0 24216494 274817024 60370 1992294400 4194304 8395647 140733510496528 18446744073709551615 6586940 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32360/statm: 67094 60370 761 1026 0 66064 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 268376

[startup+582.302 s]
/proc/loadavg: 1.08 1.04 1.00 2/107 32377
/proc/meminfo: memFree=1432176/2059040 swapFree=4141912/4192956
[pid=32360] ppid=32358 vsize=294048 CPUtime=582.13
/proc/32360/stat : 32360 (pbscip.linux.x8) R 32358 32360 30446 0 -1 4202496 90711 0 0 0 57595 618 0 0 25 0 1 0 24216494 301105152 65791 1992294400 4194304 8395647 140733510496528 18446744073709551615 6115597 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32360/statm: 73512 65791 775 1026 0 72482 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 294048

[startup+642.302 s]
/proc/loadavg: 1.10 1.06 1.01 2/107 32379
/proc/meminfo: memFree=1410352/2059040 swapFree=4141912/4192956
[pid=32360] ppid=32358 vsize=320740 CPUtime=642.12
/proc/32360/stat : 32360 (pbscip.linux.x8) R 32358 32360 30446 0 -1 4202496 97459 0 0 0 63537 675 0 0 25 0 1 0 24216494 328437760 71142 1992294400 4194304 8395647 140733510496528 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32360/statm: 80185 71142 769 1026 0 79155 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 320740

[startup+702.301 s]

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

/proc/meminfo: memFree=1341780/2059040 swapFree=4141912/4192956
[pid=32360] ppid=32358 vsize=398884 CPUtime=1002.03
/proc/32360/stat : 32360 (pbscip.linux.x8) R 32358 32360 30446 0 -1 4202496 142890 0 0 0 99182 1021 0 0 25 0 1 0 24216494 408457216 88131 1992294400 4194304 8395647 140733510496528 18446744073709551615 6003080 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32360/statm: 99721 88131 776 1026 0 98691 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 398884

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32389
/proc/meminfo: memFree=1336696/2059040 swapFree=4141912/4192956
[pid=32360] ppid=32358 vsize=404504 CPUtime=1062.01
/proc/32360/stat : 32360 (pbscip.linux.x8) R 32358 32360 30446 0 -1 4202496 144317 0 0 0 105122 1079 0 0 25 0 1 0 24216494 414212096 89508 1992294400 4194304 8395647 140733510496528 18446744073709551615 6585869 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32360/statm: 101126 89508 786 1026 0 100096 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 404504

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32391
/proc/meminfo: memFree=1328016/2059040 swapFree=4141912/4192956
[pid=32360] ppid=32358 vsize=414268 CPUtime=1122
/proc/32360/stat : 32360 (pbscip.linux.x8) R 32358 32360 30446 0 -1 4202496 150018 0 0 0 111068 1132 0 0 25 0 1 0 24216494 424210432 91589 1992294400 4194304 8395647 140733510496528 18446744073709551615 6585987 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32360/statm: 103567 91589 781 1026 0 102537 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 414268

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32393
/proc/meminfo: memFree=1321320/2059040 swapFree=4141912/4192956
[pid=32360] ppid=32358 vsize=422828 CPUtime=1181.99
/proc/32360/stat : 32360 (pbscip.linux.x8) R 32358 32360 30446 0 -1 4202496 151807 0 0 0 117012 1187 0 0 25 0 1 0 24216494 432975872 93291 1992294400 4194304 8395647 140733510496528 18446744073709551615 5926494 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32360/statm: 105707 93291 788 1026 0 104677 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 422828

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32395
/proc/meminfo: memFree=1314128/2059040 swapFree=4141912/4192956
[pid=32360] ppid=32358 vsize=430956 CPUtime=1241.98
/proc/32360/stat : 32360 (pbscip.linux.x8) R 32358 32360 30446 0 -1 4202496 153575 0 0 0 122962 1236 0 0 25 0 1 0 24216494 441298944 95040 1992294400 4194304 8395647 140733510496528 18446744073709551615 4968484 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32360/statm: 107739 95040 789 1026 0 106709 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 430956

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 32397
/proc/meminfo: memFree=1305820/2059040 swapFree=4141912/4192956
[pid=32360] ppid=32358 vsize=440148 CPUtime=1301.97
/proc/32360/stat : 32360 (pbscip.linux.x8) R 32358 32360 30446 0 -1 4202496 156742 0 0 0 128910 1287 0 0 25 0 1 0 24216494 450711552 97078 1992294400 4194304 8395647 140733510496528 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32360/statm: 110037 97078 780 1026 0 109007 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 440148

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32397
/proc/meminfo: memFree=1298256/2059040 swapFree=4141912/4192956
[pid=32360] ppid=32358 vsize=448748 CPUtime=1361.95
/proc/32360/stat : 32360 (pbscip.linux.x8) R 32358 32360 30446 0 -1 4202496 158706 0 0 0 134862 1333 0 0 25 0 1 0 24216494 459517952 98970 1992294400 4194304 8395647 140733510496528 18446744073709551615 6003101 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32360/statm: 112187 98970 783 1026 0 111157 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 448748

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32399
/proc/meminfo: memFree=1291560/2059040 swapFree=4141912/4192956
[pid=32360] ppid=32358 vsize=455888 CPUtime=1421.94
/proc/32360/stat : 32360 (pbscip.linux.x8) R 32358 32360 30446 0 -1 4202496 160445 0 0 0 140806 1388 0 0 25 0 1 0 24216494 466829312 100617 1992294400 4194304 8395647 140733510496528 18446744073709551615 6349190 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32360/statm: 113972 100617 777 1026 0 112942 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 455888

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32401
/proc/meminfo: memFree=1284616/2059040 swapFree=4141912/4192956
[pid=32360] ppid=32358 vsize=464136 CPUtime=1481.92
/proc/32360/stat : 32360 (pbscip.linux.x8) R 32358 32360 30446 0 -1 4202496 162238 0 0 0 146754 1438 0 0 25 0 1 0 24216494 475275264 102347 1992294400 4194304 8395647 140733510496528 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32360/statm: 116034 102347 782 1026 0 115004 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 464136

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32403
/proc/meminfo: memFree=1277920/2059040 swapFree=4141912/4192956
[pid=32360] ppid=32358 vsize=472668 CPUtime=1541.9
/proc/32360/stat : 32360 (pbscip.linux.x8) R 32358 32360 30446 0 -1 4202496 163956 0 0 0 152703 1487 0 0 25 0 1 0 24216494 484012032 104017 1992294400 4194304 8395647 140733510496528 18446744073709551615 6670365 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32360/statm: 118167 104017 788 1026 0 117137 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 472668

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32414
/proc/meminfo: memFree=1271720/2059040 swapFree=4141912/4192956
[pid=32360] ppid=32358 vsize=480428 CPUtime=1601.87
/proc/32360/stat : 32360 (pbscip.linux.x8) R 32358 32360 30446 0 -1 4202496 168884 0 0 0 158648 1539 0 0 25 0 1 0 24216494 491958272 105530 1992294400 4194304 8395647 140733510496528 18446744073709551615 6741749 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32360/statm: 120107 105530 790 1026 0 119077 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 480428

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32414
/proc/meminfo: memFree=1267504/2059040 swapFree=4141912/4192956
[pid=32360] ppid=32358 vsize=485020 CPUtime=1661.86
/proc/32360/stat : 32360 (pbscip.linux.x8) R 32358 32360 30446 0 -1 4202496 169924 0 0 0 164598 1588 0 0 25 0 1 0 24216494 496660480 106523 1992294400 4194304 8395647 140733510496528 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32360/statm: 121255 106523 783 1026 0 120225 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 485020

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32416
/proc/meminfo: memFree=1262792/2059040 swapFree=4141912/4192956
[pid=32360] ppid=32358 vsize=490916 CPUtime=1721.84
/proc/32360/stat : 32360 (pbscip.linux.x8) R 32358 32360 30446 0 -1 4202496 171197 0 0 0 170548 1636 0 0 25 0 1 0 24216494 502697984 107747 1992294400 4194304 8395647 140733510496528 18446744073709551615 6583871 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32360/statm: 122729 107747 786 1026 0 121699 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 490916

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32418
/proc/meminfo: memFree=1258948/2059040 swapFree=4141912/4192956
[pid=32360] ppid=32358 vsize=494560 CPUtime=1781.83
/proc/32360/stat : 32360 (pbscip.linux.x8) R 32358 32360 30446 0 -1 4202496 172119 0 0 0 176501 1682 0 0 25 0 1 0 24216494 506429440 108645 1992294400 4194304 8395647 140733510496528 18446744073709551615 6652339 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32360/statm: 123640 108645 792 1026 0 122610 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 494560

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

[startup+1785.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32418
/proc/meminfo: memFree=1258576/2059040 swapFree=4141912/4192956
[pid=32360] ppid=32358 vsize=494856 CPUtime=1785.03
/proc/32360/stat : 32360 (pbscip.linux.x8) R 32358 32360 30446 0 -1 4202496 172205 0 0 0 176818 1685 0 0 25 0 1 0 24216494 506732544 108731 1992294400 4194304 8395647 140733510496528 18446744073709551615 4617154 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32360/statm: 123714 108731 792 1026 0 122684 0
Current children cumulated CPU time (s) 1785.03
Current children cumulated vsize (KiB) 494856

[startup+1788.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32418
/proc/meminfo: memFree=1258204/2059040 swapFree=4141912/4192956
[pid=32360] ppid=32358 vsize=495292 CPUtime=1788.23
/proc/32360/stat : 32360 (pbscip.linux.x8) R 32358 32360 30446 0 -1 4202496 172329 0 0 0 177135 1688 0 0 25 0 1 0 24216494 507179008 108849 1992294400 4194304 8395647 140733510496528 18446744073709551615 6644180 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32360/statm: 123823 108849 786 1026 0 122793 0
Current children cumulated CPU time (s) 1788.23
Current children cumulated vsize (KiB) 495292

[startup+1789.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32418
/proc/meminfo: memFree=1258204/2059040 swapFree=4141912/4192956
[pid=32360] ppid=32358 vsize=495292 CPUtime=1789.03
/proc/32360/stat : 32360 (pbscip.linux.x8) R 32358 32360 30446 0 -1 4202496 172343 0 0 0 177215 1688 0 0 25 0 1 0 24216494 507179008 108863 1992294400 4194304 8395647 140733510496528 18446744073709551615 6667494 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32360/statm: 123823 108863 786 1026 0 122793 0
Current children cumulated CPU time (s) 1789.03
Current children cumulated vsize (KiB) 495292

[startup+1789.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32418
/proc/meminfo: memFree=1258080/2059040 swapFree=4141912/4192956
[pid=32360] ppid=32358 vsize=495292 CPUtime=1789.42
/proc/32360/stat : 32360 (pbscip.linux.x8) R 32358 32360 30446 0 -1 4202496 172343 0 0 0 177254 1688 0 0 25 0 1 0 24216494 507179008 108863 1992294400 4194304 8395647 140733510496528 18446744073709551615 5028126 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/32360/statm: 123823 108863 786 1026 0 122793 0
Current children cumulated CPU time (s) 1789.42
Current children cumulated vsize (KiB) 495292

[startup+1790.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 32418
/proc/meminfo: memFree=1258080/2059040 swapFree=4141912/4192956
[pid=32360] ppid=32358 vsize=286012 CPUtime=1789.83
/proc/32360/stat : 32360 (pbscip.linux.x8) R 32358 32360 30446 0 -1 4202496 172354 0 0 0 177291 1692 0 0 25 0 1 0 24216494 292876288 32810 1992294400 4194304 8395647 140733510496528 18446744073709551615 7602442 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32360/statm: 71503 32810 753 1026 0 70473 0
Current children cumulated CPU time (s) 1789.83
Current children cumulated vsize (KiB) 286012

Child status: 0
Real time (s): 1790.32
CPU time (s): 1789.85
CPU user time (s): 1772.91
CPU system time (s): 16.9404
CPU usage (%): 99.9742
Max. virtual memory (cumulated for all children) (KiB): 495292

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1772.91
system time used= 16.9404
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 172355
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1930

runsolver used 3.08253 second user time and 8.32773 second system time

The end

Launcher Data 

Begin job on node057 at 2010-07-08 05:35:01
IDJOB=2703895
IDBENCH=2513
IDSOLVER=1213
FILE ID=node057/2703895-1278560101
PBS_JOBID= 11239485
Free space on /tmp= 62540 MiB

SOLVER NAME= 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-rout.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-2703895-1278560101/watcher-2703895-1278560101 -o /tmp/evaluation-result-2703895-1278560101/solver-2703895-1278560101 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703895-1278560101.opb -t 1800 -m 1800

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

MD5SUM BENCH= 00504f72d4d33ef46136a0269c782c15
RANDOM SEED=1150996453

node057.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.245
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.49
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.245
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.46
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1693856 kB
Buffers:         58100 kB
Cached:         207280 kB
SwapCached:       6028 kB
Active:         170732 kB
Inactive:       109708 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1693856 kB
SwapTotal:     4192956 kB
SwapFree:      4141912 kB
Dirty:           10692 kB
Writeback:           0 kB
AnonPages:       11956 kB
Mapped:          12060 kB
Slab:            62856 kB
PageTables:       4236 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183628 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62532 MiB
End job on node057 at 2010-07-08 06:04:52