Trace number 372701

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, and are wall clock time (not CPU 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
minisat+ 1.14SAT (TO)26 1800.06 1800.63

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_009_area_delay.opb
MD5SUM2aa6eb5ee09e1484657dfe3626167241
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark24
Best CPU time to get the best result obtained on this benchmark35.0187
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 24
Optimality of the best value was proved YES
Number of variables6148
Total number of constraints19000
Number of constraints which are clauses19000
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint127
Number of terms in the objective function 2987
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 2987
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 2987
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

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

Verifier Data (download as text)

OK	26

Conversion Script Data (download as text)

/tmp/evaluation/372701-1177122765/instance-372701-1177122765.opb is already a linear file

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node34/watcher-372701-1177122765 -o ROOT/results/node34/solver-372701-1177122765 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/372701-1177122765/minisat+ /tmp/evaluation/372701-1177122765/instance-372701-1177122765.opb 

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): 3600 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 11711
/proc/meminfo: memFree=1812144/2055920 swapFree=4159644/4192956
[pid=11711] ppid=11709 vsize=1352 CPUtime=0
/proc/11711/stat : 11711 (minisat+) R 11709 11711 10377 0 -1 4194304 187 0 0 0 0 0 0 0 18 0 1 0 160191970 1384448 172 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11711/statm: 338 172 67 215 0 120 0

[startup+0.00714389 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 11711
/proc/meminfo: memFree=1812144/2055920 swapFree=4159644/4192956
[pid=11711] ppid=11709 vsize=1712 CPUtime=0
/proc/11711/stat : 11711 (minisat+) R 11709 11711 10377 0 -1 4194304 245 0 0 0 0 0 0 0 18 0 1 0 160191970 1753088 230 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11711/statm: 428 230 68 215 0 210 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1712

[startup+0.102151 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 11711
/proc/meminfo: memFree=1812144/2055920 swapFree=4159644/4192956
[pid=11711] ppid=11709 vsize=2896 CPUtime=0.09
/proc/11711/stat : 11711 (minisat+) R 11709 11711 10377 0 -1 4194304 528 0 0 0 9 0 0 0 18 0 1 0 160191970 2965504 513 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134570107 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11711/statm: 724 513 74 215 0 506 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2896

[startup+0.301166 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 11711
/proc/meminfo: memFree=1812144/2055920 swapFree=4159644/4192956
[pid=11711] ppid=11709 vsize=4480 CPUtime=0.29
/proc/11711/stat : 11711 (minisat+) R 11709 11711 10377 0 -1 4194304 951 0 0 0 29 0 0 0 20 0 1 0 160191970 4587520 936 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11711/statm: 1120 936 74 215 0 902 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4480

[startup+0.702199 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 11711
/proc/meminfo: memFree=1812144/2055920 swapFree=4159644/4192956
[pid=11711] ppid=11709 vsize=8348 CPUtime=0.7
/proc/11711/stat : 11711 (minisat+) R 11709 11711 10377 0 -1 4194304 1943 0 0 0 68 2 0 0 18 0 1 0 160191970 8548352 1891 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134809814 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11711/statm: 2087 1891 104 215 0 1869 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 8348

[startup+1.50126 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11712
/proc/meminfo: memFree=1804904/2055920 swapFree=4159644/4192956
[pid=11711] ppid=11709 vsize=8348 CPUtime=1.49
/proc/11711/stat : 11711 (minisat+) R 11709 11711 10377 0 -1 4194304 1943 0 0 0 147 2 0 0 25 0 1 0 160191970 8548352 1891 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134648487 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11711/statm: 2087 1891 104 215 0 1869 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8348

[startup+3.10139 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11712
/proc/meminfo: memFree=1804776/2055920 swapFree=4159644/4192956
[pid=11711] ppid=11709 vsize=8348 CPUtime=3.09
/proc/11711/stat : 11711 (minisat+) R 11709 11711 10377 0 -1 4194304 1954 0 0 0 307 2 0 0 25 0 1 0 160191970 8548352 1902 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135012072 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11711/statm: 2087 1902 104 215 0 1869 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8348

[startup+6.30164 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11712
/proc/meminfo: memFree=1798568/2055920 swapFree=4159644/4192956
[pid=11711] ppid=11709 vsize=15548 CPUtime=6.29
/proc/11711/stat : 11711 (minisat+) R 11709 11711 10377 0 -1 4194304 4006 0 0 0 626 3 0 0 25 0 1 0 160191970 15921152 3621 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11711/statm: 3887 3621 123 215 0 3669 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15548

[startup+12.7011 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11712
/proc/meminfo: memFree=1790888/2055920 swapFree=4159644/4192956
[pid=11711] ppid=11709 vsize=23316 CPUtime=12.69
/proc/11711/stat : 11711 (minisat+) R 11709 11711 10377 0 -1 4194304 5918 0 0 0 1265 4 0 0 25 0 1 0 160191970 23875584 5533 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580801 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11711/statm: 5829 5533 123 215 0 5611 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 23316

[startup+25.5012 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11712
/proc/meminfo: memFree=1779816/2055920 swapFree=4159644/4192956
[pid=11711] ppid=11709 vsize=33720 CPUtime=25.48
/proc/11711/stat : 11711 (minisat+) R 11709 11711 10377 0 -1 4194304 8548 0 0 0 2542 6 0 0 25 0 1 0 160191970 34529280 8163 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11711/statm: 8430 8163 123 215 0 8212 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 33720

[startup+51.1012 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11712
/proc/meminfo: memFree=1766184/2055920 swapFree=4159644/4192956
[pid=11711] ppid=11709 vsize=47572 CPUtime=51.08
/proc/11711/stat : 11711 (minisat+) R 11709 11711 10377 0 -1 4194304 11961 0 0 0 5096 12 0 0 25 0 1 0 160191970 48713728 11576 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11711/statm: 11893 11576 123 215 0 11675 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 47572

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11712
/proc/meminfo: memFree=1762600/2055920 swapFree=4159644/4192956
[pid=11711] ppid=11709 vsize=50756 CPUtime=102.27
/proc/11711/stat : 11711 (minisat+) R 11709 11711 10377 0 -1 4194304 13114 0 0 0 10214 13 0 0 25 0 1 0 160191970 51974144 12391 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11711/statm: 12689 12391 123 215 0 12471 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 50756

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11712
/proc/meminfo: memFree=1762600/2055920 swapFree=4159644/4192956
[pid=11711] ppid=11709 vsize=50756 CPUtime=162.25
/proc/11711/stat : 11711 (minisat+) R 11709 11711 10377 0 -1 4194304 13120 0 0 0 16212 13 0 0 25 0 1 0 160191970 51974144 12397 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134587610 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11711/statm: 12689 12397 123 215 0 12471 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 50756

[startup+222.302 s]
/proc/loadavg: 1.04 1.01 1.00 2/78 11712
/proc/meminfo: memFree=1762344/2055920 swapFree=4159644/4192956
[pid=11711] ppid=11709 vsize=51208 CPUtime=222.24
/proc/11711/stat : 11711 (minisat+) R 11709 11711 10377 0 -1 4194304 13213 0 0 0 22210 14 0 0 25 0 1 0 160191970 52436992 12490 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581491 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11711/statm: 12802 12490 123 215 0 12584 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 51208

[startup+282.302 s]
/proc/loadavg: 1.16 1.05 1.01 2/78 11712
/proc/meminfo: memFree=1762216/2055920 swapFree=4159644/4192956
[pid=11711] ppid=11709 vsize=51208 CPUtime=282.22
/proc/11711/stat : 11711 (minisat+) R 11709 11711 10377 0 -1 4194304 13239 0 0 0 28208 14 0 0 25 0 1 0 160191970 52436992 12508 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11711/statm: 12802 12508 123 215 0 12584 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 51208

[startup+342.301 s]
/proc/loadavg: 1.06 1.04 1.01 2/78 11714
/proc/meminfo: memFree=1761768/2055920 swapFree=4159644/4192956
[pid=11711] ppid=11709 vsize=51784 CPUtime=342.2
/proc/11711/stat : 11711 (minisat+) R 11709 11711 10377 0 -1 4194304 13347 0 0 0 34205 15 0 0 25 0 1 0 160191970 53026816 12616 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11711/statm: 12946 12616 123 215 0 12728 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 51784

[startup+402.301 s]
/proc/loadavg: 1.02 1.03 1.00 2/78 11714
/proc/meminfo: memFree=1761320/2055920 swapFree=4159644/4192956
[pid=11711] ppid=11709 vsize=52212 CPUtime=402.18
/proc/11711/stat : 11711 (minisat+) R 11709 11711 10377 0 -1 4194304 13470 0 0 0 40203 15 0 0 25 0 1 0 160191970 53465088 12739 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580765 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11711/statm: 13053 12739 123 215 0 12835 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 52212

[startup+462.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 11714
/proc/meminfo: memFree=1760488/2055920 swapFree=4159644/4192956
[pid=11711] ppid=11709 vsize=53024 CPUtime=462.17
/proc/11711/stat : 11711 (minisat+) R 11709 11711 10377 0 -1 4194304 13665 0 0 0 46201 16 0 0 25 0 1 0 160191970 54296576 12934 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11711/statm: 13256 12934 123 215 0 13038 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 53024

[startup+522.303 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 11714
/proc/meminfo: memFree=1759976/2055920 swapFree=4159644/4192956
[pid=11711] ppid=11709 vsize=53792 CPUtime=522.16
/proc/11711/stat : 11711 (minisat+) R 11709 11711 10377 0 -1 4194304 13818 0 0 0 52200 16 0 0 25 0 1 0 160191970 55083008 13087 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11711/statm: 13448 13087 123 215 0 13230 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 53792

[startup+582.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 11714
/proc/meminfo: memFree=1759656/2055920 swapFree=4159644/4192956
[pid=11711] ppid=11709 vsize=53956 CPUtime=582.14
/proc/11711/stat : 11711 (minisat+) R 11709 11711 10377 0 -1 4194304 13883 0 0 0 58197 17 0 0 25 0 1 0 160191970 55250944 13152 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11711/statm: 13489 13152 123 215 0 13271 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 53956

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11714
/proc/meminfo: memFree=1756008/2055920 swapFree=4159644/4192956
[pid=11711] ppid=11709 vsize=57952 CPUtime=642.13
/proc/11711/stat : 11711 (minisat+) R 11709 11711 10377 0 -1 4194304 14784 0 0 0 64195 18 0 0 25 0 1 0 160191970 59342848 14053 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134576849 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11711/statm: 14488 14053 123 215 0 14270 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 57952


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

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11714
/proc/meminfo: memFree=1754408/2055920 swapFree=4159644/4192956
[pid=11711] ppid=11709 vsize=59716 CPUtime=822.08
/proc/11711/stat : 11711 (minisat+) R 11709 11711 10377 0 -1 4194304 15195 0 0 0 82188 20 0 0 25 0 1 0 160191970 61149184 14464 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11711/statm: 14929 14464 123 215 0 14711 0
Current children cumulated CPU time (s) 822.08
Current children cumulated vsize (KiB) 59716

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11714
/proc/meminfo: memFree=1754088/2055920 swapFree=4159644/4192956
[pid=11711] ppid=11709 vsize=60076 CPUtime=882.06
/proc/11711/stat : 11711 (minisat+) R 11709 11711 10377 0 -1 4194304 15268 0 0 0 88186 20 0 0 25 0 1 0 160191970 61517824 14537 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11711/statm: 15019 14537 123 215 0 14801 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 60076

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11714
/proc/meminfo: memFree=1753512/2055920 swapFree=4159644/4192956
[pid=11711] ppid=11709 vsize=60756 CPUtime=942.05
/proc/11711/stat : 11711 (minisat+) R 11709 11711 10377 0 -1 4194304 15408 0 0 0 94184 21 0 0 25 0 1 0 160191970 62214144 14677 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11711/statm: 15189 14677 123 215 0 14971 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 60756

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11714
/proc/meminfo: memFree=1753000/2055920 swapFree=4159644/4192956
[pid=11711] ppid=11709 vsize=61544 CPUtime=1002.03
/proc/11711/stat : 11711 (minisat+) R 11709 11711 10377 0 -1 4194304 15550 0 0 0 100182 21 0 0 25 0 1 0 160191970 63021056 14819 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11711/statm: 15386 14819 123 215 0 15168 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 61544

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11714
/proc/meminfo: memFree=1749224/2055920 swapFree=4159644/4192956
[pid=11711] ppid=11709 vsize=65344 CPUtime=1062.02
/proc/11711/stat : 11711 (minisat+) R 11709 11711 10377 0 -1 4194304 16509 0 0 0 106179 23 0 0 25 0 1 0 160191970 66912256 15778 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11711/statm: 16336 15778 123 215 0 16118 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 65344

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11714
/proc/meminfo: memFree=1748200/2055920 swapFree=4159644/4192956
[pid=11711] ppid=11709 vsize=66232 CPUtime=1122
/proc/11711/stat : 11711 (minisat+) R 11709 11711 10377 0 -1 4194304 16734 0 0 0 112176 24 0 0 25 0 1 0 160191970 67821568 16003 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11711/statm: 16558 16003 123 215 0 16340 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 66232

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11714
/proc/meminfo: memFree=1748008/2055920 swapFree=4159644/4192956
[pid=11711] ppid=11709 vsize=66412 CPUtime=1181.99
/proc/11711/stat : 11711 (minisat+) R 11709 11711 10377 0 -1 4194304 16772 0 0 0 118175 24 0 0 25 0 1 0 160191970 68005888 16041 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11711/statm: 16603 16041 123 215 0 16385 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 66412

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11714
/proc/meminfo: memFree=1747112/2055920 swapFree=4159644/4192956
[pid=11711] ppid=11709 vsize=67296 CPUtime=1241.97
/proc/11711/stat : 11711 (minisat+) R 11709 11711 10377 0 -1 4194304 17012 0 0 0 124172 25 0 0 25 0 1 0 160191970 68911104 16281 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580965 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11711/statm: 16824 16281 123 215 0 16606 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 67296

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11714
/proc/meminfo: memFree=1747048/2055920 swapFree=4159644/4192956
[pid=11711] ppid=11709 vsize=67296 CPUtime=1301.96
/proc/11711/stat : 11711 (minisat+) R 11709 11711 10377 0 -1 4194304 17012 0 0 0 130170 26 0 0 25 0 1 0 160191970 68911104 16281 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11711/statm: 16824 16281 123 215 0 16606 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 67296

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11714
/proc/meminfo: memFree=1747048/2055920 swapFree=4159644/4192956
[pid=11711] ppid=11709 vsize=67296 CPUtime=1361.94
/proc/11711/stat : 11711 (minisat+) R 11709 11711 10377 0 -1 4194304 17013 0 0 0 136168 26 0 0 25 0 1 0 160191970 68911104 16282 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580744 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11711/statm: 16824 16282 123 215 0 16606 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 67296

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11714
/proc/meminfo: memFree=1747112/2055920 swapFree=4159644/4192956
[pid=11711] ppid=11709 vsize=67296 CPUtime=1421.92
/proc/11711/stat : 11711 (minisat+) R 11709 11711 10377 0 -1 4194304 17018 0 0 0 142166 26 0 0 25 0 1 0 160191970 68911104 16287 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11711/statm: 16824 16287 123 215 0 16606 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 67296

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11714
/proc/meminfo: memFree=1747048/2055920 swapFree=4159644/4192956
[pid=11711] ppid=11709 vsize=67296 CPUtime=1481.91
/proc/11711/stat : 11711 (minisat+) R 11709 11711 10377 0 -1 4194304 17026 0 0 0 148164 27 0 0 25 0 1 0 160191970 68911104 16295 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11711/statm: 16824 16295 123 215 0 16606 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 67296

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11714
/proc/meminfo: memFree=1746664/2055920 swapFree=4159644/4192956
[pid=11711] ppid=11709 vsize=67788 CPUtime=1541.89
/proc/11711/stat : 11711 (minisat+) R 11709 11711 10377 0 -1 4194304 17121 0 0 0 154162 27 0 0 25 0 1 0 160191970 69414912 16390 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11711/statm: 16947 16390 123 215 0 16729 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 67788

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11714
/proc/meminfo: memFree=1746664/2055920 swapFree=4159644/4192956
[pid=11711] ppid=11709 vsize=67788 CPUtime=1601.88
/proc/11711/stat : 11711 (minisat+) R 11709 11711 10377 0 -1 4194304 17130 0 0 0 160160 28 0 0 25 0 1 0 160191970 69414912 16399 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134576138 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11711/statm: 16947 16399 123 215 0 16729 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 67788

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11714
/proc/meminfo: memFree=1746600/2055920 swapFree=4159644/4192956
[pid=11711] ppid=11709 vsize=67788 CPUtime=1661.86
/proc/11711/stat : 11711 (minisat+) R 11709 11711 10377 0 -1 4194304 17130 0 0 0 166158 28 0 0 25 0 1 0 160191970 69414912 16399 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11711/statm: 16947 16399 123 215 0 16729 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 67788

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/84 11852
/proc/meminfo: memFree=1745272/2055920 swapFree=4159644/4192956
[pid=11711] ppid=11709 vsize=67788 CPUtime=1721.78
/proc/11711/stat : 11711 (minisat+) R 11709 11711 10377 0 -1 4194304 17130 0 0 0 172148 30 0 0 25 0 1 0 160191970 69414912 16399 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11711/statm: 16947 16399 123 215 0 16729 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 67788

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11912
/proc/meminfo: memFree=1746344/2055920 swapFree=4159644/4192956
[pid=11711] ppid=11709 vsize=68032 CPUtime=1781.73
/proc/11711/stat : 11711 (minisat+) R 11709 11711 10377 0 -1 4194304 17173 0 0 0 178143 30 0 0 25 0 1 0 160191970 69664768 16442 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11711/statm: 17008 16442 123 215 0 16790 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 68032



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11912
/proc/meminfo: memFree=1746344/2055920 swapFree=4159644/4192956
[pid=11711] ppid=11709 vsize=68032 CPUtime=1800.03
/proc/11711/stat : 11711 (minisat+) R 11709 11711 10377 0 -1 4194304 17173 0 0 0 179973 30 0 0 25 0 1 0 160191970 69664768 16442 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/11711/statm: 17008 16442 123 215 0 16790 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 68032

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

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

Child status: 10
Real time (s): 1800.63
CPU time (s): 1800.06
CPU user time (s): 1799.74
CPU system time (s): 0.319951
CPU usage (%): 99.9684
Max. virtual memory (cumulated for all children) (KiB): 68032

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.74
system time used= 0.319951
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17175
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= 141
involuntary context switches= 7063

runsolver used 2.06169 second user time and 4.52531 second system time

The end

Launcher Data (download as text)

Begin job on node34 on Sat Apr 21 02:32:45 UTC 2007

IDJOB= 372701
IDBENCH= 24991
IDSOLVER= 156
FILE ID= node34/372701-1177122765

PBS_JOBID= 4640478

Free space on /tmp= 66410 MiB

SOLVER NAME= minisat+ 1.14
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_009_area_delay.opb
COMMAND LINE= /tmp/evaluation/372701-1177122765/minisat+ /tmp/evaluation/372701-1177122765/instance-372701-1177122765.opb            
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node34/convwatcher-372701-1177122765 -o ROOT/results/node34/conversion-372701-1177122765 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/372701-1177122765/instance-372701-1177122765.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node34/watcher-372701-1177122765 -o ROOT/results/node34/solver-372701-1177122765 -C 1800 -W 3600 -M 1800 --output-limit 1,15  /tmp/evaluation/372701-1177122765/minisat+ /tmp/evaluation/372701-1177122765/instance-372701-1177122765.opb            

META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e
MD5SUM BENCH=  2aa6eb5ee09e1484657dfe3626167241

RANDOM SEED= 482598563

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node34.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/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.236
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
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.236
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1812616 kB
Buffers:         45080 kB
Cached:         110912 kB
SwapCached:       2788 kB
Active:         140036 kB
Inactive:        40292 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1812616 kB
SwapTotal:     4192956 kB
SwapFree:      4159644 kB
Dirty:            2884 kB
Writeback:           0 kB
Mapped:          31372 kB
Slab:            48376 kB
Committed_AS:  1534132 kB
PageTables:       1980 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66410 MiB

End job on node34 on Sat Apr 21 03:02:48 UTC 2007