Trace number 2702830

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 solverOPT8 214.365 214.426

General information on the benchmark

Name/OPT-SMALLINT-LIN/flexray/
normalized-fx84.opb
MD5SUM13a1c43c96eef592ca49f745f65e3ff1
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark8
Best CPU time to get the best result obtained on this benchmark5.71813
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6088
Total number of constraints6677
Number of constraints which are clauses6080
Number of constraints which are cardinality constraints (but not clauses)85
Number of constraints which are nor clauses,nor cardinality constraints512
Minimum length of a constraint2
Maximum length of a constraint512
Number of terms in the objective function 8
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 8
Number of bits of the sum of numbers in the objective function 4
Biggest number in a constraint 42
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1039
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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

Verifier Data 

OK	8

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2702830-1278578673/watcher-2702830-1278578673 -o /tmp/evaluation-result-2702830-1278578673/solver-2702830-1278578673 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2702830-1278578673.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 0.93 3/106 3499
/proc/meminfo: memFree=1623920/2059040 swapFree=4086148/4192956
[pid=3499] ppid=3497 vsize=7904 CPUtime=0
/proc/3499/stat : 3499 (pbscip.linux.x8) R 3497 3499 2906 0 -1 4202496 1032 0 0 0 0 0 0 0 20 0 1 0 26080240 8093696 943 1992294400 4194304 8395647 140733841184992 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3499/statm: 1976 952 365 1026 0 946 0

[startup+0.033424 s]
/proc/loadavg: 1.00 1.00 0.93 3/106 3499
/proc/meminfo: memFree=1623920/2059040 swapFree=4086148/4192956
[pid=3499] ppid=3497 vsize=12364 CPUtime=0.03
/proc/3499/stat : 3499 (pbscip.linux.x8) R 3497 3499 2906 0 -1 4202496 2346 0 0 0 2 1 0 0 20 0 1 0 26080240 12660736 2258 1992294400 4194304 8395647 140733841184992 18446744073709551615 6347101 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3499/statm: 3091 2271 393 1026 0 2061 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 12364

[startup+0.101433 s]
/proc/loadavg: 1.00 1.00 0.93 3/106 3499
/proc/meminfo: memFree=1623920/2059040 swapFree=4086148/4192956
[pid=3499] ppid=3497 vsize=18308 CPUtime=0.09
/proc/3499/stat : 3499 (pbscip.linux.x8) R 3497 3499 2906 0 -1 4202496 3850 0 0 0 8 1 0 0 20 0 1 0 26080240 18747392 3761 1992294400 4194304 8395647 140733841184992 18446744073709551615 6347101 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3499/statm: 4577 3773 393 1026 0 3547 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18308

[startup+0.301458 s]
/proc/loadavg: 1.00 1.00 0.93 3/106 3499
/proc/meminfo: memFree=1623920/2059040 swapFree=4086148/4192956
[pid=3499] ppid=3497 vsize=38936 CPUtime=0.29
/proc/3499/stat : 3499 (pbscip.linux.x8) R 3497 3499 2906 0 -1 4202496 9090 0 0 0 26 3 0 0 20 0 1 0 26080240 39870464 8647 1992294400 4194304 8395647 140733841184992 18446744073709551615 6349190 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3499/statm: 9734 8647 464 1026 0 8704 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 38936

[startup+0.701511 s]
/proc/loadavg: 1.00 1.00 0.93 3/106 3499
/proc/meminfo: memFree=1623920/2059040 swapFree=4086148/4192956
[pid=3499] ppid=3497 vsize=48076 CPUtime=0.69
/proc/3499/stat : 3499 (pbscip.linux.x8) R 3497 3499 2906 0 -1 4202496 11408 0 0 0 65 4 0 0 20 0 1 0 26080240 49229824 10965 1992294400 4194304 8395647 140733841184992 18446744073709551615 4954427 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3499/statm: 12019 10965 485 1026 0 10989 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 48076

[startup+1.50062 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 3500
/proc/meminfo: memFree=1578776/2059040 swapFree=4086148/4192956
[pid=3499] ppid=3497 vsize=53260 CPUtime=1.49
/proc/3499/stat : 3499 (pbscip.linux.x8) R 3497 3499 2906 0 -1 4202496 12762 0 0 0 145 4 0 0 23 0 1 0 26080240 54538240 12319 1992294400 4194304 8395647 140733841184992 18446744073709551615 4911696 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3499/statm: 13315 12319 497 1026 0 12285 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 53260

[startup+3.10083 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 3500
/proc/meminfo: memFree=1566748/2059040 swapFree=4086148/4192956
[pid=3499] ppid=3497 vsize=64148 CPUtime=3.09
/proc/3499/stat : 3499 (pbscip.linux.x8) R 3497 3499 2906 0 -1 4202496 15348 0 0 0 303 6 0 0 25 0 1 0 26080240 65687552 14866 1992294400 4194304 8395647 140733841184992 18446744073709551615 6198204 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3499/statm: 16037 14866 598 1026 0 15007 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 64148

[startup+6.30125 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 3500
/proc/meminfo: memFree=1527068/2059040 swapFree=4086148/4192956
[pid=3499] ppid=3497 vsize=88688 CPUtime=6.29
/proc/3499/stat : 3499 (pbscip.linux.x8) R 3497 3499 2906 0 -1 4202496 25517 0 0 0 619 10 0 0 25 0 1 0 26080240 90816512 21186 1992294400 4194304 8395647 140733841184992 18446744073709551615 5834328 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3499/statm: 22172 21186 642 1026 0 21142 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 88688

[startup+12.7011 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 3500
/proc/meminfo: memFree=1526572/2059040 swapFree=4086148/4192956
[pid=3499] ppid=3497 vsize=88688 CPUtime=12.69
/proc/3499/stat : 3499 (pbscip.linux.x8) R 3497 3499 2906 0 -1 4202496 29122 0 0 0 1254 15 0 0 25 0 1 0 26080240 90816512 21292 1992294400 4194304 8395647 140733841184992 18446744073709551615 6740354 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3499/statm: 22172 21292 637 1026 0 21142 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 88688

[startup+25.5018 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 3500
/proc/meminfo: memFree=1539964/2059040 swapFree=4086148/4192956
[pid=3499] ppid=3497 vsize=88688 CPUtime=25.49
/proc/3499/stat : 3499 (pbscip.linux.x8) R 3497 3499 2906 0 -1 4202496 29122 0 0 0 2528 21 0 0 25 0 1 0 26080240 90816512 21292 1992294400 4194304 8395647 140733841184992 18446744073709551615 6701837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3499/statm: 22172 21292 637 1026 0 21142 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 88688

[startup+51.1011 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 3502
/proc/meminfo: memFree=1539964/2059040 swapFree=4086148/4192956
[pid=3499] ppid=3497 vsize=88688 CPUtime=51.07
/proc/3499/stat : 3499 (pbscip.linux.x8) R 3497 3499 2906 0 -1 4202496 29122 0 0 0 5075 32 0 0 25 0 1 0 26080240 90816512 21292 1992294400 4194304 8395647 140733841184992 18446744073709551615 6663843 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3499/statm: 22172 21292 637 1026 0 21142 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 88688

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 3502
/proc/meminfo: memFree=1539964/2059040 swapFree=4086148/4192956
[pid=3499] ppid=3497 vsize=88688 CPUtime=102.27
/proc/3499/stat : 3499 (pbscip.linux.x8) R 3497 3499 2906 0 -1 4202496 29122 0 0 0 10166 61 0 0 25 0 1 0 26080240 90816512 21292 1992294400 4194304 8395647 140733841184992 18446744073709551615 6663886 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3499/statm: 22172 21292 637 1026 0 21142 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 88688

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 3504
/proc/meminfo: memFree=1539964/2059040 swapFree=4086148/4192956
[pid=3499] ppid=3497 vsize=88688 CPUtime=162.24
/proc/3499/stat : 3499 (pbscip.linux.x8) R 3497 3499 2906 0 -1 4202496 29127 0 0 0 16132 92 0 0 25 0 1 0 26080240 90816512 21297 1992294400 4194304 8395647 140733841184992 18446744073709551615 6663886 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3499/statm: 22172 21297 640 1026 0 21142 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 88688

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

[startup+179.101 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 3504
/proc/meminfo: memFree=1539964/2059040 swapFree=4086148/4192956
[pid=3499] ppid=3497 vsize=88688 CPUtime=179.04
/proc/3499/stat : 3499 (pbscip.linux.x8) R 3497 3499 2906 0 -1 4202496 29127 0 0 0 17801 103 0 0 25 0 1 0 26080240 90816512 21297 1992294400 4194304 8395647 140733841184992 18446744073709551615 6670389 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3499/statm: 22172 21297 640 1026 0 21142 0
Current children cumulated CPU time (s) 179.04
Current children cumulated vsize (KiB) 88688

[startup+191.901 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 3506
/proc/meminfo: memFree=1539964/2059040 swapFree=4086148/4192956
[pid=3499] ppid=3497 vsize=88688 CPUtime=191.84
/proc/3499/stat : 3499 (pbscip.linux.x8) R 3497 3499 2906 0 -1 4202496 29128 0 0 0 19072 112 0 0 25 0 1 0 26080240 90816512 21298 1992294400 4194304 8395647 140733841184992 18446744073709551615 6574285 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3499/statm: 22172 21298 640 1026 0 21142 0
Current children cumulated CPU time (s) 191.84
Current children cumulated vsize (KiB) 88688

[startup+204.701 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 3506
/proc/meminfo: memFree=1539964/2059040 swapFree=4086148/4192956
[pid=3499] ppid=3497 vsize=88688 CPUtime=204.63
/proc/3499/stat : 3499 (pbscip.linux.x8) R 3497 3499 2906 0 -1 4202496 29130 0 0 0 20344 119 0 0 25 0 1 0 26080240 90816512 21300 1992294400 4194304 8395647 140733841184992 18446744073709551615 6693712 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3499/statm: 22172 21300 640 1026 0 21142 0
Current children cumulated CPU time (s) 204.63
Current children cumulated vsize (KiB) 88688

[startup+211.101 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 3506
/proc/meminfo: memFree=1539964/2059040 swapFree=4086148/4192956
[pid=3499] ppid=3497 vsize=88688 CPUtime=211.04
/proc/3499/stat : 3499 (pbscip.linux.x8) R 3497 3499 2906 0 -1 4202496 29130 0 0 0 20982 122 0 0 25 0 1 0 26080240 90816512 21300 1992294400 4194304 8395647 140733841184992 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3499/statm: 22172 21300 640 1026 0 21142 0
Current children cumulated CPU time (s) 211.04
Current children cumulated vsize (KiB) 88688

[startup+212.701 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 3506
/proc/meminfo: memFree=1539964/2059040 swapFree=4086148/4192956
[pid=3499] ppid=3497 vsize=88688 CPUtime=212.63
/proc/3499/stat : 3499 (pbscip.linux.x8) R 3497 3499 2906 0 -1 4202496 29130 0 0 0 21141 122 0 0 25 0 1 0 26080240 90816512 21300 1992294400 4194304 8395647 140733841184992 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3499/statm: 22172 21300 640 1026 0 21142 0
Current children cumulated CPU time (s) 212.63
Current children cumulated vsize (KiB) 88688

[startup+213.501 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 3506
/proc/meminfo: memFree=1539964/2059040 swapFree=4086148/4192956
[pid=3499] ppid=3497 vsize=88688 CPUtime=213.43
/proc/3499/stat : 3499 (pbscip.linux.x8) R 3497 3499 2906 0 -1 4202496 29130 0 0 0 21221 122 0 0 25 0 1 0 26080240 90816512 21300 1992294400 4194304 8395647 140733841184992 18446744073709551615 4911312 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3499/statm: 22172 21300 640 1026 0 21142 0
Current children cumulated CPU time (s) 213.43
Current children cumulated vsize (KiB) 88688

[startup+213.901 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 3506
/proc/meminfo: memFree=1539964/2059040 swapFree=4086148/4192956
[pid=3499] ppid=3497 vsize=88688 CPUtime=213.84
/proc/3499/stat : 3499 (pbscip.linux.x8) R 3497 3499 2906 0 -1 4202496 29130 0 0 0 21261 123 0 0 25 0 1 0 26080240 90816512 21300 1992294400 4194304 8395647 140733841184992 18446744073709551615 6663845 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3499/statm: 22172 21300 640 1026 0 21142 0
Current children cumulated CPU time (s) 213.84
Current children cumulated vsize (KiB) 88688

[startup+214.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 3506
/proc/meminfo: memFree=1539964/2059040 swapFree=4086148/4192956
[pid=3499] ppid=3497 vsize=88688 CPUtime=214.23
/proc/3499/stat : 3499 (pbscip.linux.x8) R 3497 3499 2906 0 -1 4202496 29135 0 0 0 21300 123 0 0 25 0 1 0 26080240 90816512 21305 1992294400 4194304 8395647 140733841184992 18446744073709551615 6349216 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3499/statm: 22172 21305 641 1026 0 21142 0
Current children cumulated CPU time (s) 214.23
Current children cumulated vsize (KiB) 88688

[startup+214.402 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 3506
/proc/meminfo: memFree=1543684/2059040 swapFree=4086148/4192956
[pid=3499] ppid=3497 vsize=83644 CPUtime=214.34
/proc/3499/stat : 3499 (pbscip.linux.x8) R 3497 3499 2906 0 -1 4202496 29138 0 0 0 21311 123 0 0 25 0 1 0 26080240 85651456 20048 1992294400 4194304 8395647 140733841184992 18446744073709551615 6345887 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3499/statm: 20911 20048 643 1026 0 19881 0
Current children cumulated CPU time (s) 214.34
Current children cumulated vsize (KiB) 83644

Child status: 0
Real time (s): 214.426
CPU time (s): 214.365
CPU user time (s): 213.121
CPU system time (s): 1.24481
CPU usage (%): 99.9719
Max. virtual memory (cumulated for all children) (KiB): 104404

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 213.121
system time used= 1.24481
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29141
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 534

runsolver used 0.342947 second user time and 1.04284 second system time

The end

Launcher Data 

Begin job on node013 at 2010-07-08 10:44:33
IDJOB=2702830
IDBENCH=71845
IDSOLVER=1213
FILE ID=node013/2702830-1278578673
PBS_JOBID= 11240103
Free space on /tmp= 62552 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/flexray/normalized-fx84.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-2702830-1278578673/watcher-2702830-1278578673 -o /tmp/evaluation-result-2702830-1278578673/solver-2702830-1278578673 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2702830-1278578673.opb -t 1800 -m 1800

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

MD5SUM BENCH= 13a1c43c96eef592ca49f745f65e3ff1
RANDOM SEED=2045527744

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1624448 kB
Buffers:         64060 kB
Cached:         224764 kB
SwapCached:      61580 kB
Active:         128580 kB
Inactive:       225368 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1624448 kB
SwapTotal:     4192956 kB
SwapFree:      4086148 kB
Dirty:           10944 kB
Writeback:          12 kB
AnonPages:       12032 kB
Mapped:           8504 kB
Slab:            58804 kB
PageTables:       4096 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180804 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= 62540 MiB
End job on node013 at 2010-07-08 10:48:07