Trace number 2704435

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 solverOPT-468992 173.149 173.216

General information on the benchmark

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

Verifier Data

OK	-468992

Watcher Data

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2704435-1278557467/watcher-2704435-1278557467 -o /tmp/evaluation-result-2704435-1278557467/solver-2704435-1278557467 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704435-1278557467.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.97 3/106 31320
/proc/meminfo: memFree=1501052/2059040 swapFree=4192956/4192956
[pid=31320] ppid=31318 vsize=7904 CPUtime=0
/proc/31320/stat : 31320 (pbscip.linux.x8) R 31318 31320 28080 0 -1 4202496 1076 0 0 0 0 0 0 0 18 0 1 0 23959887 8093696 987 1992294400 4194304 8395647 140736686712400 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31320/statm: 1976 995 365 1026 0 946 0

[startup+0.097704 s]
/proc/loadavg: 1.00 1.00 0.97 3/106 31320
/proc/meminfo: memFree=1501052/2059040 swapFree=4192956/4192956
[pid=31320] ppid=31318 vsize=18596 CPUtime=0.09
/proc/31320/stat : 31320 (pbscip.linux.x8) R 31318 31320 28080 0 -1 4202496 3959 0 0 0 8 1 0 0 20 0 1 0 23959887 19042304 3870 1992294400 4194304 8395647 140736686712400 18446744073709551615 4327576 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31320/statm: 4649 3870 393 1026 0 3619 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18596

[startup+0.100706 s]
/proc/loadavg: 1.00 1.00 0.97 3/106 31320
/proc/meminfo: memFree=1501052/2059040 swapFree=4192956/4192956
[pid=31320] ppid=31318 vsize=18596 CPUtime=0.09
/proc/31320/stat : 31320 (pbscip.linux.x8) R 31318 31320 28080 0 -1 4202496 3960 0 0 0 8 1 0 0 20 0 1 0 23959887 19042304 3871 1992294400 4194304 8395647 140736686712400 18446744073709551615 7382056 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31320/statm: 4649 3871 393 1026 0 3619 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18596

[startup+0.300747 s]
/proc/loadavg: 1.00 1.00 0.97 3/106 31320
/proc/meminfo: memFree=1501052/2059040 swapFree=4192956/4192956
[pid=31320] ppid=31318 vsize=39240 CPUtime=0.29
/proc/31320/stat : 31320 (pbscip.linux.x8) R 31318 31320 28080 0 -1 4202496 9090 0 0 0 26 3 0 0 20 0 1 0 23959887 40181760 8647 1992294400 4194304 8395647 140736686712400 18446744073709551615 5093819 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31320/statm: 9810 8647 486 1026 0 8780 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 39240

[startup+0.700833 s]
/proc/loadavg: 1.00 1.00 0.97 3/106 31320
/proc/meminfo: memFree=1501052/2059040 swapFree=4192956/4192956
[pid=31320] ppid=31318 vsize=47208 CPUtime=0.69
/proc/31320/stat : 31320 (pbscip.linux.x8) R 31318 31320 28080 0 -1 4202496 11139 0 0 0 65 4 0 0 21 0 1 0 23959887 48340992 10696 1992294400 4194304 8395647 140736686712400 18446744073709551615 4736567 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31320/statm: 11802 10696 510 1026 0 10772 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 47208

[startup+1.501 s]
/proc/loadavg: 1.16 1.03 0.98 2/107 31321
/proc/meminfo: memFree=1449460/2059040 swapFree=4192956/4192956
[pid=31320] ppid=31318 vsize=62340 CPUtime=1.49
/proc/31320/stat : 31320 (pbscip.linux.x8) R 31318 31320 28080 0 -1 4202496 14853 0 0 0 144 5 0 0 23 0 1 0 23959887 63836160 14410 1992294400 4194304 8395647 140736686712400 18446744073709551615 6085533 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31320/statm: 15585 14410 510 1026 0 14555 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 62340

[startup+3.10034 s]
/proc/loadavg: 1.16 1.03 0.98 2/107 31321
/proc/meminfo: memFree=1444624/2059040 swapFree=4192956/4192956
[pid=31320] ppid=31318 vsize=62340 CPUtime=3.09
/proc/31320/stat : 31320 (pbscip.linux.x8) R 31318 31320 28080 0 -1 4202496 14872 0 0 0 304 5 0 0 25 0 1 0 23959887 63836160 14429 1992294400 4194304 8395647 140736686712400 18446744073709551615 5217060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31320/statm: 15585 14429 515 1026 0 14555 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 62340

[startup+6.30103 s]
/proc/loadavg: 1.15 1.03 0.98 2/107 31321
/proc/meminfo: memFree=1417964/2059040 swapFree=4192956/4192956
[pid=31320] ppid=31318 vsize=91336 CPUtime=6.28
/proc/31320/stat : 31320 (pbscip.linux.x8) R 31318 31320 28080 0 -1 4202496 21890 0 0 0 613 15 0 0 25 0 1 0 23959887 93528064 21427 1992294400 4194304 8395647 140736686712400 18446744073709551615 4911136 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31320/statm: 22834 21427 632 1026 0 21804 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 91336

[startup+12.7014 s]
/proc/loadavg: 1.13 1.03 0.98 2/107 31321
/proc/meminfo: memFree=1415484/2059040 swapFree=4192956/4192956
[pid=31320] ppid=31318 vsize=93588 CPUtime=12.69
/proc/31320/stat : 31320 (pbscip.linux.x8) R 31318 31320 28080 0 -1 4202496 22341 0 0 0 1248 21 0 0 25 0 1 0 23959887 95834112 21835 1992294400 4194304 8395647 140736686712400 18446744073709551615 6697266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31320/statm: 23397 21835 639 1026 0 22367 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 93588

[startup+25.5011 s]
/proc/loadavg: 1.10 1.03 0.98 2/107 31321
/proc/meminfo: memFree=1413128/2059040 swapFree=4192956/4192956
[pid=31320] ppid=31318 vsize=95956 CPUtime=25.48
/proc/31320/stat : 31320 (pbscip.linux.x8) R 31318 31320 28080 0 -1 4202496 22930 0 0 0 2517 31 0 0 25 0 1 0 23959887 98258944 22424 1992294400 4194304 8395647 140736686712400 18446744073709551615 6723085 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31320/statm: 23989 22424 642 1026 0 22959 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 95956

[startup+51.1016 s]
/proc/loadavg: 1.14 1.04 0.99 2/107 31323
/proc/meminfo: memFree=1413128/2059040 swapFree=4192956/4192956
[pid=31320] ppid=31318 vsize=95956 CPUtime=51.07
/proc/31320/stat : 31320 (pbscip.linux.x8) R 31318 31320 28080 0 -1 4202496 22931 0 0 0 5045 62 0 0 25 0 1 0 23959887 98258944 22425 1992294400 4194304 8395647 140736686712400 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31320/statm: 23989 22425 643 1026 0 22959 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 95956

[startup+102.308 s]
/proc/loadavg: 1.14 1.05 1.00 2/107 31323
/proc/meminfo: memFree=1413004/2059040 swapFree=4192956/4192956
[pid=31320] ppid=31318 vsize=95956 CPUtime=102.25
/proc/31320/stat : 31320 (pbscip.linux.x8) R 31318 31320 28080 0 -1 4202496 22947 0 0 0 10109 116 0 0 25 0 1 0 23959887 98258944 22441 1992294400 4194304 8395647 140736686712400 18446744073709551615 6728556 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31320/statm: 23989 22441 643 1026 0 22959 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 95956

[startup+162.301 s]
/proc/loadavg: 1.12 1.05 1.00 2/107 31325
/proc/meminfo: memFree=1413500/2059040 swapFree=4192956/4192956
[pid=31320] ppid=31318 vsize=93632 CPUtime=162.23
/proc/31320/stat : 31320 (pbscip.linux.x8) R 31318 31320 28080 0 -1 4202496 23567 0 0 0 16047 176 0 0 25 0 1 0 23959887 95879168 22169 1992294400 4194304 8395647 140736686712400 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31320/statm: 23408 22169 644 1026 0 22378 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 93632

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

[startup+166.301 s]
/proc/loadavg: 1.11 1.05 1.00 2/107 31325
/proc/meminfo: memFree=1413500/2059040 swapFree=4192956/4192956
[pid=31320] ppid=31318 vsize=93632 CPUtime=166.23
/proc/31320/stat : 31320 (pbscip.linux.x8) R 31318 31320 28080 0 -1 4202496 23567 0 0 0 16442 181 0 0 25 0 1 0 23959887 95879168 22169 1992294400 4194304 8395647 140736686712400 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31320/statm: 23408 22169 644 1026 0 22378 0
Current children cumulated CPU time (s) 166.23
Current children cumulated vsize (KiB) 93632

[startup+169.502 s]
/proc/loadavg: 1.11 1.05 1.00 2/107 31325
/proc/meminfo: memFree=1413500/2059040 swapFree=4192956/4192956
[pid=31320] ppid=31318 vsize=93632 CPUtime=169.42
/proc/31320/stat : 31320 (pbscip.linux.x8) R 31318 31320 28080 0 -1 4202496 23567 0 0 0 16757 185 0 0 25 0 1 0 23959887 95879168 22169 1992294400 4194304 8395647 140736686712400 18446744073709551615 4995709 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31320/statm: 23408 22169 644 1026 0 22378 0
Current children cumulated CPU time (s) 169.42
Current children cumulated vsize (KiB) 93632

[startup+171.101 s]
/proc/loadavg: 1.10 1.05 1.00 2/107 31325
/proc/meminfo: memFree=1413500/2059040 swapFree=4192956/4192956
[pid=31320] ppid=31318 vsize=93632 CPUtime=171.03
/proc/31320/stat : 31320 (pbscip.linux.x8) R 31318 31320 28080 0 -1 4202496 23567 0 0 0 16916 187 0 0 25 0 1 0 23959887 95879168 22169 1992294400 4194304 8395647 140736686712400 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31320/statm: 23408 22169 644 1026 0 22378 0
Current children cumulated CPU time (s) 171.03
Current children cumulated vsize (KiB) 93632

[startup+171.901 s]
/proc/loadavg: 1.10 1.05 1.00 2/107 31325
/proc/meminfo: memFree=1413500/2059040 swapFree=4192956/4192956
[pid=31320] ppid=31318 vsize=93632 CPUtime=171.82
/proc/31320/stat : 31320 (pbscip.linux.x8) R 31318 31320 28080 0 -1 4202496 23567 0 0 0 16995 187 0 0 25 0 1 0 23959887 95879168 22169 1992294400 4194304 8395647 140736686712400 18446744073709551615 6701738 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31320/statm: 23408 22169 644 1026 0 22378 0
Current children cumulated CPU time (s) 171.82
Current children cumulated vsize (KiB) 93632

[startup+172.709 s]
/proc/loadavg: 1.10 1.05 1.00 2/107 31325
/proc/meminfo: memFree=1413500/2059040 swapFree=4192956/4192956
[pid=31320] ppid=31318 vsize=93632 CPUtime=172.63
/proc/31320/stat : 31320 (pbscip.linux.x8) R 31318 31320 28080 0 -1 4202496 23567 0 0 0 17075 188 0 0 25 0 1 0 23959887 95879168 22169 1992294400 4194304 8395647 140736686712400 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31320/statm: 23408 22169 644 1026 0 22378 0
Current children cumulated CPU time (s) 172.63
Current children cumulated vsize (KiB) 93632

[startup+173.102 s]
/proc/loadavg: 1.10 1.05 1.00 2/107 31325
/proc/meminfo: memFree=1413500/2059040 swapFree=4192956/4192956
[pid=31320] ppid=31318 vsize=93632 CPUtime=173.03
/proc/31320/stat : 31320 (pbscip.linux.x8) R 31318 31320 28080 0 -1 4202496 23567 0 0 0 17114 189 0 0 25 0 1 0 23959887 95879168 22169 1992294400 4194304 8395647 140736686712400 18446744073709551615 6723944 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31320/statm: 23408 22169 644 1026 0 22378 0
Current children cumulated CPU time (s) 173.03
Current children cumulated vsize (KiB) 93632

[startup+173.202 s]
/proc/loadavg: 1.10 1.05 1.00 2/107 31325
/proc/meminfo: memFree=1413500/2059040 swapFree=4192956/4192956
[pid=31320] ppid=31318 vsize=92304 CPUtime=173.13
/proc/31320/stat : 31320 (pbscip.linux.x8) R 31318 31320 28080 0 -1 4202496 23571 0 0 0 17124 189 0 0 25 0 1 0 23959887 94519296 21841 1992294400 4194304 8395647 140736686712400 18446744073709551615 6345173 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31320/statm: 23076 21841 648 1026 0 22046 0
Current children cumulated CPU time (s) 173.13
Current children cumulated vsize (KiB) 92304

Child status: 0
Real time (s): 173.216
CPU time (s): 173.149
CPU user time (s): 171.247
CPU system time (s): 1.90171
CPU usage (%): 99.9611
Max. virtual memory (cumulated for all children) (KiB): 95956

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

runsolver used 0.289955 second user time and 0.831873 second system time

The end

Launcher Data

Begin job on node010 at 2010-07-08 04:51:07
IDJOB=2704435
IDBENCH=2321
IDSOLVER=1213
FILE ID=node010/2704435-1278557467
PBS_JOBID= 11239521
Free space on /tmp= 62520 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/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos20.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-2704435-1278557467/watcher-2704435-1278557467 -o /tmp/evaluation-result-2704435-1278557467/solver-2704435-1278557467 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704435-1278557467.opb -t 1800 -m 1800

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

MD5SUM BENCH= d5ea3d9967a24b7bed67317421f8b87e
RANDOM SEED=329449057

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

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

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1501580 kB
Buffers:         84384 kB
Cached:         322736 kB
SwapCached:          0 kB
Active:         191024 kB
Inactive:       276000 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1501580 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:           10820 kB
Writeback:           0 kB
AnonPages:       59836 kB
Mapped:          14484 kB
Slab:            68504 kB
PageTables:       4064 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180664 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= 62512 MiB
End job on node010 at 2010-07-08 04:54:01