Trace number 363233

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
bsolo 3.0.16SAT (TO)609 1800.26 1800.71

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
MIPLIB/miplib/normalized-reduced-mps-v2-20-10-air02.opb
MD5SUMd237957d2db9f550f313e8cfb724f264
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark313
Best CPU time to get the best result obtained on this benchmark1.57276
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 313
Optimality of the best value was proved YES
Number of variables6774
Total number of constraints50
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)50
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint20
Maximum length of a constraint3729
Number of terms in the objective function 6774
Biggest coefficient in the objective function 381
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 527695
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 381
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 527695
Number of bits of the biggest sum of numbers20
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 bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/363233-1177024541/instance-363233-1177024541.opb
0.00/0.00	c File size is 613373 bytes.
0.09/0.11	c Highest Coefficient sum: 527695
0.09/0.11	c Parsing was ok!!
0.09/0.11	c Total parsing time: 0.115 s
0.09/0.12	c Var: 6774 Constr: 100 50/50/0 Lit: 123110 Watch. Lit: 61655
0.09/0.12	c Obj. Vars: 6774 (100 % of total variables)
17.09/17.12	c Pre-processing Time: 17.118 s
17.09/17.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
17.09/17.12	c        0   6774      100   123110 1231    61655   48269      0      0 17.12
17.09/17.12	c Switching off LPR mode.
18.59/18.65	c      100   6774      200   280865 1404    61855   53096    100      5 17.41
18.59/18.65	c      250   6774      350   475377 1358    62155   58406    250     13 17.98
18.59/18.65	o 2791	18.648
18.99/19.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.99/19.06	c      375   6774      476   653787 1373    69172   61817    376     20 18.65
18.99/19.06	c      475   6774      576   884542 1535    69367   67999    476     25 18.87
18.99/19.06	o 2776	19.055
40.78/40.87	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
40.78/40.87	c      497   6774      599   917491 1531    76174   61817    499     26 19.06
40.78/40.87	c      597   6774      699   978285 1399    76280   67999    599     30 19.31
40.78/40.87	c      847   6774      949  1340382 1412    76737   74799    849     38 21.73
40.78/40.87	c     1322   6774     1424  1687299 1184    77681   82279   1324     39 33.12
40.78/40.87	o 2748	40.862
40.98/41.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
40.98/41.01	c     1818   6774     1921  2267970 1180    85589   61817   1821     44 40.87
40.98/41.01	o 2263	40.993
41.28/41.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
41.28/41.37	c     1842   6774     1946  2321225 1192    92377   61817   1846     44 41.00
41.28/41.37	o 2084	41.36
41.38/41.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
41.38/41.42	c     1874   6774     1979  2413736 1219    99190   61817   1879     45 41.37
41.38/41.42	o 2081	41.406
41.38/41.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
41.38/41.44	c     1876   6774     1982  2423368 1222   105957   61817   1882     45 41.41
41.38/41.44	o 2066	41.431
41.47/41.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
41.47/41.54	c     1877   6774     1984  2430724 1225   112727   61817   1884     45 41.44
41.47/41.54	o 1962	41.531
48.07/48.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
48.07/48.18	c     1885   6774     1993  2452371 1230   119497   61817   1893     45 41.54
48.07/48.18	c     1985   6774     2093  2566014 1225   119541   67999   1993     46 42.39
48.07/48.18	c     2235   6774     2343  2895617 1235   119834   74799   2243     49 45.46
48.07/48.18	c     2710   6774     2818  3853596 1367   121114   82279   2718     56 48.11
48.07/48.18	o 1458	48.164
48.58/48.62	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
48.58/48.62	c     2714   6774     2823  3865681 1369   127809   61817   2723     56 48.17
48.58/48.62	o 1363	48.609
79.87/79.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
79.87/79.98	c     2792   6774     2902  4018615 1384   134635   61817   2802     57 48.62
79.87/79.98	c     2892   6774     3002  4214559 1403   134910   67999   2902     58 49.30
79.87/79.98	c     3142   6774     3252  4573338 1406   135285   74799   3152     61 50.95
79.87/79.98	c     3617   6774     3727  4883750 1310   136297   82279   3627     67 53.50
79.87/79.98	c     4430   6774     4540  5504448 1212   137587   90507   4440     72 60.86
79.87/79.98	c     5750   6774     5860  6514784 1111   140287   99558   5760     80 71.28
79.87/79.98	o 1353	79.961
80.47/80.52	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
80.47/80.52	c     6651   6774     6762  8086790 1195   149055   61817   6662     83 79.97
80.47/80.52	o 1349	80.499
84.27/84.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
84.27/84.31	c     6707   6774     6819  8178317 1199   155928   61817   6719     83 80.50
84.27/84.31	c     6808   6774     6920  8330749 1203   156173   67999   6820     83 81.15
84.27/84.31	c     7058   6774     7170  8568605 1195   156409   74799   7070     85 82.20
84.27/84.31	o 1348	84.283
84.37/84.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
84.37/84.44	c     7266   6774     7379  8679362 1176   163812   61817   7279     86 84.29
84.37/84.44	o 1342	84.42
102.06/102.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
102.06/102.15	c     7281   6774     7395  8723835 1179   170605   61817   7295     86 84.43
102.06/102.15	c     7383   6774     7497  8979581 1197   170845   67999   7397     86 84.99
102.06/102.15	c     7633   6774     7747  9192346 1186   171047   74799   7647     88 86.63
102.06/102.15	c     8108   6774     8222  9798840 1191   171979   82279   8122     87 92.69
102.06/102.15	o 1335	102.127
122.36/122.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
122.36/122.48	c     8636   6774     8751 10290989 1175   180125   61817   8651     84 102.13
122.36/122.48	c     8736   6774     8851 10488131 1184   180102   67999   8751     85 102.73
122.36/122.48	c     8986   6774     9101 10989847 1207   180840   74799   9001     84 106.12
122.36/122.48	c     9461   6774     9576 12029989 1256   181389   82279   9476     85 110.66
122.36/122.48	o 1312	122.451
158.25/158.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
158.25/158.39	c    10136   6774    10252 12738129 1242   189838   61817  10152     82 122.46
158.25/158.39	c    10237   6774    10353 13070885 1262   190034   67999  10253     83 123.20
158.25/158.39	c    10487   6774    10603 13315650 1255   190446   74799  10503     83 126.33
158.25/158.39	c    10962   6774    11078 13569133 1224   191136   82279  10978     80 136.60
158.25/158.39	c    11775   6774    11891 14537052 1222   192596   90507  11791     79 147.90
158.25/158.39	o 1309	158.352
163.35/163.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
163.35/163.49	c    12546   6774    12663 15848672 1251   201414   61817  12563     79 158.36
163.35/163.49	c    12647   6774    12764 16051533 1257   201585   67999  12664     79 159.44
163.35/163.49	c    12897   6774    13014 16152363 1241   201566   74799  12914     79 161.55
163.35/163.49	o 818	163.447
257.42/257.59	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
257.42/257.59	c    13111   6774    13229 16430347 1241   209262   61817  13129     80 163.46
257.42/257.59	c    13211   6771    13329 16549067 1241   209329   67999  13229     80 164.69
257.42/257.59	c    13461   6771    13579 16978572 1250   209845   74799  13479     80 167.83
257.42/257.59	c    13936   6771    14054 18363356 1306   210583   82279  13954     80 173.56
257.42/257.59	c    14751   6771    14869 20793768 1398   212395   90507  14769     76 193.07
257.42/257.59	c    16071   6771    16189 22749544 1405   215025   99558  16089     71 224.24
257.42/257.59	o 788	257.524
463.98/464.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
463.98/464.14	c    17617   6771    17736 24260618 1367   224687   61811  17636     68 257.53
463.98/464.14	c    17717   6771    17836 24551230 1376   224749   67993  17736     68 258.61
463.98/464.14	c    17967   6771    18086 24945693 1379   225324   74793  17986     68 263.42
463.98/464.14	c    18442   6771    18561 25946849 1397   226469   82273  18461     67 272.20
463.98/464.14	c    19255   6771    19374 26575209 1371   227955   90501  19274     68 282.85
463.98/464.14	c    20575   6771    20694 28029959 1354   230699   99552  20594     66 309.59
463.98/464.14	c    22656   6771    22775 30998336 1361   234421  109508  22675     64 350.26
463.98/464.14	c    25879   6771    25998 37554981 1444   241047  120459  25898     59 437.22
463.98/464.14	o 736	464.025
465.78/465.92	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
465.78/465.92	c    26579   6771    26699 37911787 1419   249316   61811  26599     57 464.03
465.78/465.92	o 713	465.809
620.84/621.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
620.84/621.09	c    26646   6771    26767 38069166 1422   256214   61811  26667     57 465.82
620.84/621.09	c    26746   6771    26867 38251911 1423   256446   67993  26767     56 471.63
620.84/621.09	c    26996   6771    27117 38808514 1431   256909   74793  27017     54 492.51
620.84/621.09	c    27471   6771    27592 39792088 1442   257959   82273  27492     53 509.24
620.84/621.09	c    28284   6771    28405 42448512 1494   259409   90501  28305     53 533.23
620.84/621.09	c    29604   6771    29725 46888005 1577   262084   99552  29625     52 568.00
620.84/621.09	o 696	620.94
1011.75/1012.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1011.75/1012.00	c    31246   6771    31368 51600318 1644   272165   61811  31268     50 620.95
1011.75/1012.00	c    31346   6771    31468 51995826 1652   272590   67993  31368     50 623.93
1011.75/1012.00	c    31596   6771    31718 52500653 1655   272919   74793  31618     49 633.73
1011.75/1012.00	c    32071   6771    32193 52957320 1644   273459   82273  32093     49 648.71
1011.75/1012.00	c    32884   6771    33006 53510841 1621   275196   90501  32906     47 688.14
1011.75/1012.00	c    34204   6771    34326 56910900 1657   277903   99552  34226     46 731.51
1011.75/1012.00	c    36285   6771    36407 60009506 1648   282345  109508  36307     46 776.97
1011.75/1012.00	c    39508   6771    39630 66905626 1688   288692  120459  39530     44 894.46
1011.75/1012.00	o 695	1011.76
1027.34/1027.62	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1027.34/1027.62	c    43313   6771    43436 72674362 1673   303007   61811  43336     42 1011.77
1027.34/1027.62	c    43413   6771    43536 72905606 1674   303271   67993  43436     42 1015.68
1027.34/1027.62	c    43663   6771    43786 73472151 1677   303660   74793  43686     42 1022.20
1027.34/1027.62	o 659	1027.38
1028.74/1029.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1028.74/1029.07	c    43901   6771    44025 73805492 1676   310910   61811  43925     42 1027.38
1028.74/1029.07	o 658	1028.82
1155.31/1155.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1155.31/1155.60	c    43976   6771    44101 73989734 1677   317817   61811  44001     42 1028.83
1155.31/1155.60	c    44076   6771    44201 74062654 1675   317919   67993  44101     42 1031.95
1155.31/1155.60	c    44328   6771    44453 74322931 1671   318797   74793  44353     42 1042.29
1155.31/1155.60	c    44803   6771    44928 74912268 1667   319558   82273  44828     42 1061.00
1155.31/1155.60	c    45616   6771    45741 75549256 1651   321045   90501  45641     41 1102.16
1155.31/1155.60	o 612	1155.32
1748.66/1749.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1748.66/1749.15	c    46453   6771    46579 76448416 1641   329676   61811  46479     40 1155.33
1748.66/1749.15	c    46553   6771    46679 76702519 1643   329777   67993  46579     40 1162.00
1748.66/1749.15	c    46803   6771    46929 76924557 1639   330103   74793  46829     40 1168.71
1748.66/1749.15	c    47280   6771    47406 77823208 1641   331310   82273  47306     39 1184.10
1748.66/1749.15	c    48093   6771    48219 79561447 1650   332733   90501  48119     39 1217.07
1748.66/1749.15	c    49415   6771    49541 81830801 1651   335587   99552  49441     38 1269.85
1748.66/1749.15	c    51496   6771    51622 86410898 1673   339748  109508  51522     35 1455.00
1748.66/1749.15	c    54719   6771    54845 94907001 1730   346133  120459  54745     34 1588.83
1748.66/1749.15	o 609	1748.72
1799.95/1800.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1799.95/1800.49	c    57191   6771    57318 100879870 1760   357750   61811  57218     32 1748.73
1799.95/1800.49	c    57292   6771    57419 101090194 1760   357935   67993  57319     32 1751.44
1799.95/1800.49	c    57542   6771    57669 101446477 1759   358397   74793  57569     32 1764.02
1799.95/1800.49	c    58017   6771    58144 101866037 1751   359557   82273  58044     32 1789.55
1799.95/1800.49	c Resources Exceeded
1799.95/1800.49	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28
1799.95/1800.49	v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54
1799.95/1800.49	v -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80
1799.95/1800.49	v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104
1799.95/1800.49	v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125
1799.95/1800.49	v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146
1799.95/1800.49	v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167
1799.95/1800.49	v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188
1799.95/1800.49	v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209
1799.95/1800.49	v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230
1799.95/1800.49	v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251
1799.95/1800.49	v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272
1799.95/1800.49	v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293
1799.95/1800.49	v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314
1799.95/1800.49	v -x315 -x316 -x317 -x318 -x319 x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335
1799.95/1800.49	v -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 x354 -x355 -x356
1799.95/1800.49	v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377
1799.95/1800.49	v -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398
1799.95/1800.49	v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419
1799.95/1800.49	v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440
1799.95/1800.49	v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461
1799.95/1800.49	v -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482
1799.95/1800.49	v -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503
1799.95/1800.49	v -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524
1799.95/1800.49	v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545
1799.95/1800.49	v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566
1799.95/1800.49	v -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587
1799.95/1800.49	v -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608
1799.95/1800.49	v -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629
1799.95/1800.49	v -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650
1799.95/1800.49	v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671
1799.95/1800.49	v -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692
1799.95/1800.49	v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713
1799.95/1800.49	v -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734
1799.95/1800.49	v -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755
1799.95/1800.49	v -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776
1799.95/1800.49	v -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797
1799.95/1800.49	v -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818
1799.95/1800.49	v -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839
1799.95/1800.49	v -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860
1799.95/1800.49	v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881
1799.95/1800.49	v -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902
1799.95/1800.49	v -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923
1799.95/1800.49	v -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944
1799.95/1800.49	v -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965
1799.95/1800.49	v -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986
1799.95/1800.49	v -x987 -x988 x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006
1799.95/1800.49	v -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023
1799.95/1800.49	v -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040
1799.95/1800.49	v -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057
1799.95/1800.49	v -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074
1799.95/1800.49	v -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091
1799.95/1800.49	v -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108
1799.95/1800.49	v -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125
1799.95/1800.49	v -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142
1799.95/1800.49	v -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159
1799.95/1800.49	v -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176
1799.95/1800.49	v -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193
1799.95/1800.49	v -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210
1799.95/1800.49	v -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227
1799.95/1800.49	v -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244
1799.95/1800.49	v -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261
1799.95/1800.49	v -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278
1799.95/1800.49	v -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295
1799.95/1800.49	v -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312
1799.95/1800.49	v -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329
1799.95/1800.49	v -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346
1799.95/1800.49	v -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363
1799.95/1800.49	v -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380
1799.95/1800.49	v -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397
1799.95/1800.49	v -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414
1799.95/1800.49	v -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431
1799.95/1800.49	v -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448
1799.95/1800.49	v -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465
1799.95/1800.49	v -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482
1799.95/1800.49	v -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499
1799.95/1800.49	v -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516
1799.95/1800.49	v -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533
1799.95/1800.49	v -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550
1799.95/1800.49	v -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567
1799.95/1800.49	v -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584
1799.95/1800.49	v -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601
1799.95/1800.49	v -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618
1799.95/1800.49	v -x1619 -x1620 -x1621 x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635
1799.95/1800.49	v -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652
1799.95/1800.49	v -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669
1799.95/1800.49	v -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686
1799.95/1800.49	v -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703
1799.95/1800.49	v -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720
1799.95/1800.49	v -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737
1799.95/1800.49	v -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754
1799.95/1800.49	v -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771
1799.95/1800.49	v -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788
1799.95/1800.49	v -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805
1799.95/1800.49	v -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822
1799.95/1800.49	v -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839
1799.95/1800.49	v -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856
1799.95/1800.49	v -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873
1799.95/1800.49	v -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890
1799.95/1800.49	v -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907
1799.95/1800.49	v -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924
1799.95/1800.49	v -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941
1799.95/1800.49	v -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958
1799.95/1800.49	v -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975
1799.95/1800.49	v -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992
1799.95/1800.49	v -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009
1799.95/1800.49	v -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026
1799.95/1800.49	v -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043
1799.95/1800.49	v -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060
1799.95/1800.49	v -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077
1799.95/1800.49	v -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094
1799.95/1800.49	v -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111
1799.95/1800.49	v -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128
1799.95/1800.49	v -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145
1799.95/1800.49	v -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162
1799.95/1800.49	v -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179
1799.95/1800.49	v -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196
1799.95/1800.49	v -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213
1799.95/1800.49	v -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230
1799.95/1800.49	v -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247
1799.95/1800.49	v -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264
1799.95/1800.49	v -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281
1799.95/1800.49	v -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298
1799.95/1800.49	v -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315
1799.95/1800.49	v -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332
1799.95/1800.49	v -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349
1799.95/1800.49	v -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 x2361 -x2362 -x2363 -x2364 -x2365 -x2366
1799.95/1800.49	v -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383
1799.95/1800.49	v -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400
1799.95/1800.49	v -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417
1799.95/1800.49	v -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434
1799.95/1800.49	v -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451
1799.95/1800.49	v -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468
1799.95/1800.49	v -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485
1799.95/1800.49	v -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502
1799.95/1800.49	v -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519
1799.95/1800.49	v -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536
1799.95/1800.49	v -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553
1799.95/1800.49	v -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570
1799.95/1800.49	v -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587
1799.95/1800.49	v -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604
1799.95/1800.49	v -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621
1799.95/1800.49	v -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638
1799.95/1800.49	v -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655
1799.95/1800.49	v -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672
1799.95/1800.49	v -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689
1799.95/1800.49	v -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706
1799.95/1800.49	v -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723
1799.95/1800.49	v -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740
1799.95/1800.49	v -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757
1799.95/1800.49	v -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774
1799.95/1800.49	v -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791
1799.95/1800.49	v -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808
1799.95/1800.49	v -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825
1799.95/1800.49	v -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842
1799.95/1800.49	v -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859
1799.95/1800.49	v -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876
1799.95/1800.49	v -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893
1799.95/1800.49	v -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910
1799.95/1800.49	v -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927
1799.95/1800.49	v -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944
1799.95/1800.49	v -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961
1799.95/1800.49	v -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978
1799.95/1800.49	v -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995
1799.95/1800.49	v -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012
1799.95/1800.49	v -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029
1799.95/1800.49	v -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046
1799.95/1800.49	v -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063
1799.95/1800.49	v -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080
1799.95/1800.49	v -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097
1799.95/1800.49	v -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114
1799.95/1800.49	v -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131
1799.95/1800.49	v -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148
1799.95/1800.49	v -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165
1799.95/1800.49	v -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182
1799.95/1800.49	v -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199
1799.95/1800.49	v -x3200 -x3201 -x3202 -x3203 x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216
1799.95/1800.49	v -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233
1799.95/1800.49	v -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250
1799.95/1800.49	v -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267
1799.95/1800.49	v -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284
1799.95/1800.49	v -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301
1799.95/1800.49	v -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318
1799.95/1800.49	v -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335
1799.95/1800.49	v -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352
1799.95/1800.49	v -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369
1799.95/1800.49	v -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386
1799.95/1800.49	v -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403
1799.95/1800.49	v -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420
1799.95/1800.49	v -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437
1799.95/1800.49	v -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454
1799.95/1800.49	v -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471
1799.95/1800.49	v -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488
1799.95/1800.49	v -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505
1799.95/1800.49	v -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522
1799.95/1800.49	v -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539
1799.95/1800.49	v -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556
1799.95/1800.49	v -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573
1799.95/1800.49	v -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590
1799.95/1800.49	v -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607
1799.95/1800.49	v -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624
1799.95/1800.49	v -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641
1799.95/1800.49	v -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658
1799.95/1800.49	v -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675
1799.95/1800.49	v -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692
1799.95/1800.49	v -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709
1799.95/1800.49	v -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726
1799.95/1800.49	v -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743
1799.95/1800.49	v -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760
1799.95/1800.49	v -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777
1799.95/1800.49	v -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794
1799.95/1800.49	v -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811
1799.95/1800.49	v -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828
1799.95/1800.49	v -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845
1799.95/1800.49	v -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862
1799.95/1800.49	v -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879
1799.95/1800.49	v -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896
1799.95/1800.49	v -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913
1799.95/1800.49	v -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930
1799.95/1800.49	v -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947
1799.95/1800.49	v -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964
1799.95/1800.49	v -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981
1799.95/1800.49	v -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998
1799.95/1800.49	v -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015
1799.95/1800.49	v -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032
1799.95/1800.49	v -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049
1799.95/1800.49	v -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066
1799.95/1800.49	v -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083
1799.95/1800.49	v -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100
1799.95/1800.49	v -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117
1799.95/1800.49	v -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134
1799.95/1800.49	v -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151
1799.95/1800.49	v -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168
1799.95/1800.49	v -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185
1799.95/1800.49	v -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202
1799.95/1800.49	v -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219
1799.95/1800.49	v -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236
1799.95/1800.49	v -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253
1799.95/1800.49	v -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270
1799.95/1800.49	v -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287
1799.95/1800.49	v -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304
1799.95/1800.49	v -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321
1799.95/1800.49	v -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338
1799.95/1800.49	v -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355
1799.95/1800.49	v -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372
1799.95/1800.49	v -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389
1799.95/1800.49	v -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406
1799.95/1800.49	v -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423
1799.95/1800.49	v -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440
1799.95/1800.49	v -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457
1799.95/1800.49	v -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474
1799.95/1800.49	v -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491
1799.95/1800.49	v -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508
1799.95/1800.49	v -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525
1799.95/1800.49	v -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542
1799.95/1800.49	v -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559
1799.95/1800.49	v -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576
1799.95/1800.49	v -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593
1799.95/1800.49	v -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610
1799.95/1800.49	v -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627
1799.95/1800.49	v -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644
1799.95/1800.49	v -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661
1799.95/1800.49	v -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678
1799.95/1800.49	v -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695
1799.95/1800.49	v -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712
1799.95/1800.49	v -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729
1799.95/1800.49	v -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746
1799.95/1800.49	v -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763
1799.95/1800.49	v -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780
1799.95/1800.49	v -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797
1799.95/1800.49	v -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814
1799.95/1800.49	v -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831
1799.95/1800.49	v -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848
1799.95/1800.49	v -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865
1799.95/1800.49	v -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882
1799.95/1800.49	v -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899
1799.95/1800.49	v -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916
1799.95/1800.49	v -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933
1799.95/1800.49	v -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950
1799.95/1800.49	v -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967
1799.95/1800.49	v -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984
1799.95/1800.49	v -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001
1799.95/1800.49	v -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018
1799.95/1800.49	v -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035
1799.95/1800.49	v -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052
1799.95/1800.49	v -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069
1799.95/1800.49	v -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086
1799.95/1800.49	v -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103
1799.95/1800.49	v -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120
1799.95/1800.49	v -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137
1799.95/1800.49	v -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154
1799.95/1800.49	v -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171
1799.95/1800.49	v -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188
1799.95/1800.49	v -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205
1799.95/1800.49	v -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222
1799.95/1800.49	v -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239
1799.95/1800.49	v -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256
1799.95/1800.49	v -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273
1799.95/1800.49	v -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290
1799.95/1800.49	v -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307
1799.95/1800.49	v -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324
1799.95/1800.49	v -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341
1799.95/1800.49	v -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358
1799.95/1800.49	v -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375
1799.95/1800.49	v -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392
1799.95/1800.49	v -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409
1799.95/1800.49	v -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426
1799.95/1800.49	v -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443
1799.95/1800.49	v -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460
1799.95/1800.49	v -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477
1799.95/1800.49	v -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494
1799.95/1800.49	v -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511
1799.95/1800.49	v -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528
1799.95/1800.49	v -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545
1799.95/1800.49	v -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562
1799.95/1800.49	v -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579
1799.95/1800.49	v -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596
1799.95/1800.49	v -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613
1799.95/1800.49	v -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630
1799.95/1800.49	v -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647
1799.95/1800.49	v -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664
1799.95/1800.49	v -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681
1799.95/1800.49	v -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698
1799.95/1800.49	v -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715
1799.95/1800.49	v -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732
1799.95/1800.49	v -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749
1799.95/1800.49	v -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766
1799.95/1800.49	v -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783
1799.95/1800.49	v -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800
1799.95/1800.49	v -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817
1799.95/1800.49	v -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834
1799.95/1800.49	v -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851
1799.95/1800.49	v -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868
1799.95/1800.49	v -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885
1799.95/1800.49	v -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902
1799.95/1800.49	v -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919
1799.95/1800.49	v -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936
1799.95/1800.49	v -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953
1799.95/1800.49	v -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970
1799.95/1800.49	v -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987
1799.95/1800.49	v -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004
1799.95/1800.49	v -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021
1799.95/1800.49	v -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038
1799.95/1800.49	v -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055
1799.95/1800.49	v -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072
1799.95/1800.49	v -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089
1799.95/1800.49	v -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106
1799.95/1800.49	v -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123
1799.95/1800.49	v -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140
1799.95/1800.49	v -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157
1799.95/1800.49	v -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174
1799.95/1800.49	v -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191
1799.95/1800.49	v -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208
1799.95/1800.49	v -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225
1799.95/1800.49	v -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242
1799.95/1800.49	v -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259
1799.95/1800.49	v -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276
1799.95/1800.49	v -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293
1799.95/1800.49	v -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310
1799.95/1800.49	v -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327
1799.95/1800.49	v -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344
1799.95/1800.49	v -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361
1799.95/1800.49	v -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378
1799.95/1800.49	v -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395
1799.95/1800.49	v -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412
1799.95/1800.49	v -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429
1799.95/1800.49	v -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446
1799.95/1800.49	v -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463
1799.95/1800.49	v -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480
1799.95/1800.49	v -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497
1799.95/1800.49	v -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514
1799.95/1800.49	v -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531
1799.95/1800.49	v -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548
1799.95/1800.49	v -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565
1799.95/1800.49	v -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582
1799.95/1800.49	v -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 x6599
1799.95/1800.49	v -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616
1799.95/1800.49	v -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633
1799.95/1800.49	v -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650
1799.95/1800.49	v -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667
1799.95/1800.49	v -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684
1799.95/1800.49	v -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701
1799.95/1800.49	v -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718
1799.95/1800.49	v -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735
1799.95/1800.49	v -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752
1799.95/1800.49	v -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769
1799.95/1800.49	v -x6770 -x6771 -x6772 -x6773 -x6774
1799.95/1800.49	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.95/1800.49	c   95    58159  51551 30333128    58286 101985949  58186     32 1800.05
1799.95/1800.49	c Objective: 609
1799.95/1800.49	s SATISFIABLE
1799.95/1800.49	c Total time: 1800.05 s

Verifier Data (download as text)

OK	609

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node29/watcher-363233-1177024541 -o ROOT/results/node29/solver-363233-1177024541 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/363233-1177024541/instance-363233-1177024541.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: 0.92 0.98 0.99 3/77 5061
/proc/meminfo: memFree=1783824/2055920 swapFree=4146452/4192956
[pid=5061] ppid=5059 vsize=12336 CPUtime=0
/proc/5061/stat : 5061 (bsolo3.0.16) R 5059 5061 3178 0 -1 4194304 368 0 0 0 0 0 0 0 18 0 1 0 150369886 12632064 336 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4564603 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5061/statm: 3084 336 281 324 0 2003 0

[startup+0.076466 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 5061
/proc/meminfo: memFree=1783824/2055920 swapFree=4146452/4192956
[pid=5061] ppid=5059 vsize=13792 CPUtime=0.06
/proc/5061/stat : 5061 (bsolo3.0.16) R 5059 5061 3178 0 -1 4194304 831 0 0 0 6 0 0 0 18 0 1 0 150369886 14123008 799 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134525046 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5061/statm: 3448 799 376 324 0 2367 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 13792

[startup+0.102476 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 5061
/proc/meminfo: memFree=1783824/2055920 swapFree=4146452/4192956
[pid=5061] ppid=5059 vsize=14324 CPUtime=0.09
/proc/5061/stat : 5061 (bsolo3.0.16) R 5059 5061 3178 0 -1 4194304 976 0 0 0 9 0 0 0 18 0 1 0 150369886 14667776 944 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134525286 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5061/statm: 3581 944 410 324 0 2500 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14324

[startup+0.302487 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 5061
/proc/meminfo: memFree=1783824/2055920 swapFree=4146452/4192956
[pid=5061] ppid=5059 vsize=15948 CPUtime=0.29
/proc/5061/stat : 5061 (bsolo3.0.16) R 5059 5061 3178 0 -1 4194304 1565 0 0 0 29 0 0 0 19 0 1 0 150369886 16330752 1383 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5061/statm: 3987 1383 305 324 0 3056 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15948

[startup+0.701513 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 5061
/proc/meminfo: memFree=1783824/2055920 swapFree=4146452/4192956
[pid=5061] ppid=5059 vsize=15948 CPUtime=0.69
/proc/5061/stat : 5061 (bsolo3.0.16) R 5059 5061 3178 0 -1 4194304 1570 0 0 0 69 0 0 0 23 0 1 0 150369886 16330752 1388 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134520488 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5061/statm: 3987 1388 305 324 0 3056 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15948

[startup+1.50156 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 5062
/proc/meminfo: memFree=1779400/2055920 swapFree=4146452/4192956
[pid=5061] ppid=5059 vsize=15948 CPUtime=1.49
/proc/5061/stat : 5061 (bsolo3.0.16) R 5059 5061 3178 0 -1 4194304 1576 0 0 0 148 1 0 0 25 0 1 0 150369886 16330752 1394 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134552264 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5061/statm: 3987 1394 305 324 0 3056 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15948

[startup+3.10166 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 5062
/proc/meminfo: memFree=1779080/2055920 swapFree=4146452/4192956
[pid=5061] ppid=5059 vsize=15948 CPUtime=3.09
/proc/5061/stat : 5061 (bsolo3.0.16) R 5059 5061 3178 0 -1 4194304 1588 0 0 0 308 1 0 0 25 0 1 0 150369886 16330752 1406 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4558917 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5061/statm: 3987 1406 305 324 0 3056 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15948

[startup+6.30186 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 5062
/proc/meminfo: memFree=1779016/2055920 swapFree=4146452/4192956
[pid=5061] ppid=5059 vsize=15948 CPUtime=6.29
/proc/5061/stat : 5061 (bsolo3.0.16) R 5059 5061 3178 0 -1 4194304 1591 0 0 0 628 1 0 0 25 0 1 0 150369886 16330752 1409 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4563094 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5061/statm: 3987 1409 305 324 0 3056 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15948

[startup+12.7012 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 5062
/proc/meminfo: memFree=1779048/2055920 swapFree=4146452/4192956
[pid=5061] ppid=5059 vsize=15948 CPUtime=12.68
/proc/5061/stat : 5061 (bsolo3.0.16) R 5059 5061 3178 0 -1 4194304 1591 0 0 0 1267 1 0 0 25 0 1 0 150369886 16330752 1409 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551904 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5061/statm: 3987 1409 305 324 0 3056 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 15948

[startup+25.501 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 5062
/proc/meminfo: memFree=1759784/2055920 swapFree=4146452/4192956
[pid=5061] ppid=5059 vsize=27516 CPUtime=25.48
/proc/5061/stat : 5061 (bsolo3.0.16) R 5059 5061 3178 0 -1 4194304 7243 0 0 0 2473 75 0 0 25 0 1 0 150369886 28176384 6247 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5061/statm: 6879 6247 312 324 0 5948 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 27516

[startup+51.1016 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 5062
/proc/meminfo: memFree=1721896/2055920 swapFree=4146452/4192956
[pid=5061] ppid=5059 vsize=66992 CPUtime=51.08
/proc/5061/stat : 5061 (bsolo3.0.16) R 5059 5061 3178 0 -1 4194304 17122 0 0 0 4907 201 0 0 25 0 1 0 150369886 68599808 16126 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5061/statm: 16748 16126 312 324 0 15817 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 66992

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 5062
/proc/meminfo: memFree=1646440/2055920 swapFree=4146452/4192956
[pid=5061] ppid=5059 vsize=140684 CPUtime=102.26
/proc/5061/stat : 5061 (bsolo3.0.16) R 5059 5061 3178 0 -1 4194304 35556 0 0 0 9847 379 0 0 25 0 1 0 150369886 144060416 34560 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551257 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5061/statm: 35171 34560 312 324 0 34240 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 140684

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 5062
/proc/meminfo: memFree=1571176/2055920 swapFree=4146452/4192956
[pid=5061] ppid=5059 vsize=216296 CPUtime=162.25
/proc/5061/stat : 5061 (bsolo3.0.16) R 5059 5061 3178 0 -1 4194304 54441 0 0 0 15598 627 0 0 25 0 1 0 150369886 221487104 53445 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551268 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5061/statm: 54074 53445 312 324 0 53143 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 216296

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 5062
/proc/meminfo: memFree=1490920/2055920 swapFree=4146452/4192956
[pid=5061] ppid=5059 vsize=296092 CPUtime=222.23
/proc/5061/stat : 5061 (bsolo3.0.16) R 5059 5061 3178 0 -1 4194304 74392 0 0 0 21537 686 0 0 25 0 1 0 150369886 303198208 73396 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5061/statm: 74023 73396 312 324 0 73092 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 296092

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 5062
/proc/meminfo: memFree=1437992/2055920 swapFree=4146452/4192956
[pid=5061] ppid=5059 vsize=348756 CPUtime=282.22
/proc/5061/stat : 5061 (bsolo3.0.16) R 5059 5061 3178 0 -1 4194304 87573 0 0 0 27420 802 0 0 25 0 1 0 150369886 357126144 86577 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5061/statm: 87189 86577 312 324 0 86258 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 348756

[startup+342.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 5062
/proc/meminfo: memFree=1386152/2055920 swapFree=4146452/4192956
[pid=5061] ppid=5059 vsize=400380 CPUtime=342.21
/proc/5061/stat : 5061 (bsolo3.0.16) R 5059 5061 3178 0 -1 4194304 100471 0 0 0 33268 953 0 0 25 0 1 0 150369886 409989120 99475 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5061/statm: 100095 99475 312 324 0 99164 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 400380

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 5062
/proc/meminfo: memFree=1334440/2055920 swapFree=4146452/4192956
[pid=5061] ppid=5059 vsize=452992 CPUtime=402.19
/proc/5061/stat : 5061 (bsolo3.0.16) R 5059 5061 3178 0 -1 4194304 113618 0 0 0 39232 987 0 0 25 0 1 0 150369886 463863808 112622 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5061/statm: 113248 112622 312 324 0 112317 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 452992

[startup+462.302 s]
/proc/loadavg: 1.06 1.00 1.00 2/78 5062
/proc/meminfo: memFree=1292776/2055920 swapFree=4146452/4192956
[pid=5061] ppid=5059 vsize=493596 CPUtime=462.18
/proc/5061/stat : 5061 (bsolo3.0.16) R 5059 5061 3178 0 -1 4194304 123777 0 0 0 45187 1031 0 0 25 0 1 0 150369886 505442304 122781 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5061/statm: 123399 122781 312 324 0 122468 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 493596

[startup+522.303 s]
/proc/loadavg: 1.06 1.01 1.00 2/78 5062
/proc/meminfo: memFree=1249896/2055920 swapFree=4146452/4192956
[pid=5061] ppid=5059 vsize=537728 CPUtime=522.16
/proc/5061/stat : 5061 (bsolo3.0.16) R 5059 5061 3178 0 -1 4194304 134807 0 0 0 51139 1077 0 0 25 0 1 0 150369886 550633472 133811 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5061/statm: 134432 133811 312 324 0 133501 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 537728

[startup+582.303 s]
/proc/loadavg: 1.02 1.01 1.00 2/78 5062
/proc/meminfo: memFree=1157608/2055920 swapFree=4146452/4192956
[pid=5061] ppid=5059 vsize=628596 CPUtime=582.15
/proc/5061/stat : 5061 (bsolo3.0.16) R 5059 5061 3178 0 -1 4194304 157530 0 0 0 57120 1095 0 0 25 0 1 0 150369886 643682304 156534 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5061/statm: 157149 156534 312 324 0 156218 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 628596

[startup+642.301 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 5062
/proc/meminfo: memFree=1101864/2055920 swapFree=4146452/4192956
[pid=5061] ppid=5059 vsize=683956 CPUtime=642.14
/proc/5061/stat : 5061 (bsolo3.0.16) R 5059 5061 3178 0 -1 4194304 171369 0 0 0 63046 1168 0 0 25 0 1 0 150369886 700370944 170373 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091726 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5061/statm: 170989 170373 312 324 0 170058 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 683956


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

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5062
/proc/meminfo: memFree=886888/2055920 swapFree=4146452/4192956
[pid=5061] ppid=5059 vsize=898532 CPUtime=942.06
/proc/5061/stat : 5061 (bsolo3.0.16) R 5059 5061 3178 0 -1 4194304 225014 0 0 0 92814 1392 0 0 25 0 1 0 150369886 920096768 224018 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551296 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5061/statm: 224633 224018 312 324 0 223702 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 898532

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5062
/proc/meminfo: memFree=856744/2055920 swapFree=4146452/4192956
[pid=5061] ppid=5059 vsize=928964 CPUtime=1002.05
/proc/5061/stat : 5061 (bsolo3.0.16) R 5059 5061 3178 0 -1 4194304 232621 0 0 0 98703 1502 0 0 25 0 1 0 150369886 951259136 231625 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5061/statm: 232241 231625 312 324 0 231310 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 928964

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5062
/proc/meminfo: memFree=818344/2055920 swapFree=4146452/4192956
[pid=5061] ppid=5059 vsize=966960 CPUtime=1062.03
/proc/5061/stat : 5061 (bsolo3.0.16) R 5059 5061 3178 0 -1 4194304 242111 0 0 0 104640 1563 0 0 25 0 1 0 150369886 990167040 241115 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5061/statm: 241740 241115 312 324 0 240809 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 966960

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5062
/proc/meminfo: memFree=805096/2055920 swapFree=4146452/4192956
[pid=5061] ppid=5059 vsize=980136 CPUtime=1122.01
/proc/5061/stat : 5061 (bsolo3.0.16) R 5059 5061 3178 0 -1 4194304 245399 0 0 0 110579 1622 0 0 25 0 1 0 150369886 1003659264 244403 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5061/statm: 245034 244403 312 324 0 244103 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 980136

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5062
/proc/meminfo: memFree=782696/2055920 swapFree=4146452/4192956
[pid=5061] ppid=5059 vsize=1003048 CPUtime=1182
/proc/5061/stat : 5061 (bsolo3.0.16) R 5059 5061 3178 0 -1 4194304 251132 0 0 0 116512 1688 0 0 25 0 1 0 150369886 1027121152 250136 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5061/statm: 250762 250136 312 324 0 249831 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 1003048

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5062
/proc/meminfo: memFree=750760/2055920 swapFree=4146452/4192956
[pid=5061] ppid=5059 vsize=1034212 CPUtime=1241.99
/proc/5061/stat : 5061 (bsolo3.0.16) R 5059 5061 3178 0 -1 4194304 258928 0 0 0 122475 1724 0 0 25 0 1 0 150369886 1059033088 257932 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5061/statm: 258553 257932 312 324 0 257622 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 1034212

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5062
/proc/meminfo: memFree=711272/2055920 swapFree=4146452/4192956
[pid=5061] ppid=5059 vsize=1073568 CPUtime=1301.98
/proc/5061/stat : 5061 (bsolo3.0.16) R 5059 5061 3178 0 -1 4194304 268761 0 0 0 128465 1733 0 0 25 0 1 0 150369886 1099333632 267765 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5061/statm: 268392 267765 312 324 0 267461 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 1073568

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5064
/proc/meminfo: memFree=699048/2055920 swapFree=4146452/4192956
[pid=5061] ppid=5059 vsize=1085600 CPUtime=1361.96
/proc/5061/stat : 5061 (bsolo3.0.16) R 5059 5061 3178 0 -1 4194304 271779 0 0 0 134460 1736 0 0 25 0 1 0 150369886 1111654400 270783 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5061/statm: 271400 270783 312 324 0 270469 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 1085600

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5064
/proc/meminfo: memFree=687528/2055920 swapFree=4146452/4192956
[pid=5061] ppid=5059 vsize=1097036 CPUtime=1421.95
/proc/5061/stat : 5061 (bsolo3.0.16) R 5059 5061 3178 0 -1 4194304 274642 0 0 0 140456 1739 0 0 25 0 1 0 150369886 1123364864 273646 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5061/statm: 274259 273646 312 324 0 273328 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 1097036

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5064
/proc/meminfo: memFree=655592/2055920 swapFree=4146452/4192956
[pid=5061] ppid=5059 vsize=1129608 CPUtime=1481.93
/proc/5061/stat : 5061 (bsolo3.0.16) R 5059 5061 3178 0 -1 4194304 282780 0 0 0 146439 1754 0 0 25 0 1 0 150369886 1156718592 281784 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5061/statm: 282402 281784 312 324 0 281471 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 1129608

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5064
/proc/meminfo: memFree=602152/2055920 swapFree=4146452/4192956
[pid=5061] ppid=5059 vsize=1182448 CPUtime=1541.91
/proc/5061/stat : 5061 (bsolo3.0.16) R 5059 5061 3178 0 -1 4194304 295981 0 0 0 152425 1766 0 0 25 0 1 0 150369886 1210826752 294985 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5061/statm: 295612 294985 312 324 0 294681 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 1182448

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5064
/proc/meminfo: memFree=554600/2055920 swapFree=4146452/4192956
[pid=5061] ppid=5059 vsize=1232280 CPUtime=1601.89
/proc/5061/stat : 5061 (bsolo3.0.16) R 5059 5061 3178 0 -1 4194304 308457 0 0 0 158407 1782 0 0 25 0 1 0 150369886 1261854720 307461 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134587014 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5061/statm: 308070 307461 312 324 0 307139 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 1232280

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5064
/proc/meminfo: memFree=525352/2055920 swapFree=4146452/4192956
[pid=5061] ppid=5059 vsize=1259328 CPUtime=1661.88
/proc/5061/stat : 5061 (bsolo3.0.16) R 5059 5061 3178 0 -1 4194304 315200 0 0 0 164396 1792 0 0 25 0 1 0 150369886 1289551872 314204 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5061/statm: 314832 314204 312 324 0 313901 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 1259328

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5064
/proc/meminfo: memFree=499176/2055920 swapFree=4146452/4192956
[pid=5061] ppid=5059 vsize=1285012 CPUtime=1721.87
/proc/5061/stat : 5061 (bsolo3.0.16) R 5059 5061 3178 0 -1 4194304 321622 0 0 0 170390 1797 0 0 25 0 1 0 150369886 1315852288 320626 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5061/statm: 321253 320626 312 324 0 320322 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 1285012

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5064
/proc/meminfo: memFree=475048/2055920 swapFree=4146452/4192956
[pid=5061] ppid=5059 vsize=1308936 CPUtime=1781.86
/proc/5061/stat : 5061 (bsolo3.0.16) R 5059 5061 3178 0 -1 4194304 327624 0 0 0 176373 1813 0 0 25 0 1 0 150369886 1340350464 326628 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572902 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5061/statm: 327234 326628 312 324 0 326303 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 1308936



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5064
/proc/meminfo: memFree=479592/2055920 swapFree=4146452/4192956
[pid=5061] ppid=5059 vsize=0 CPUtime=1800.06
/proc/5061/stat : 5061 (bsolo3.0.16) R 5059 5061 3178 0 -1 4194308 328493 0 0 0 178188 1818 0 0 25 0 1 0 150369886 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5061/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 0

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

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

[startup+1800.61 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 5065
/proc/meminfo: memFree=1129504/2055920 swapFree=4146452/4192956
[pid=5061] ppid=5059 vsize=0 CPUtime=1800.16
/proc/5061/stat : 5061 (bsolo3.0.16) R 5059 5061 3178 0 -1 4194308 328493 0 0 0 178188 1828 0 0 25 0 1 0 150369886 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5061/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 0

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 5065
/proc/meminfo: memFree=1129504/2055920 swapFree=4146452/4192956
[pid=5061] ppid=5059 vsize=0 CPUtime=1800.26
/proc/5061/stat : 5061 (bsolo3.0.16) R 5059 5061 3178 0 -1 4194308 328493 0 0 0 178188 1838 0 0 25 0 1 0 150369886 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5061/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.26
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.71
CPU time (s): 1800.26
CPU user time (s): 1781.88
CPU system time (s): 18.3832
CPU usage (%): 99.9752
Max. virtual memory (cumulated for all children) (KiB): 1312392

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1781.88
system time used= 18.3832
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 328493
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= 13
involuntary context switches= 2530

runsolver used 2.13667 second user time and 4.38833 second system time

The end

Launcher Data (download as text)

Begin job on node29 on Thu Apr 19 23:15:41 UTC 2007

IDJOB= 363233
IDBENCH= 1765
IDSOLVER= 163
FILE ID= node29/363233-1177024541

PBS_JOBID= 4630594

Free space on /tmp= 66463 MiB

SOLVER NAME= bsolo 3.0.16
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-air02.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/363233-1177024541/instance-363233-1177024541.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node29/watcher-363233-1177024541 -o ROOT/results/node29/solver-363233-1177024541 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/363233-1177024541/instance-363233-1177024541.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  d237957d2db9f550f313e8cfb724f264

RANDOM SEED= 533624786

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node29.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.224
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.224
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:       1784232 kB
Buffers:         47472 kB
Cached:         136464 kB
SwapCached:      11360 kB
Active:          99752 kB
Inactive:       118712 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1784232 kB
SwapTotal:     4192956 kB
SwapFree:      4146452 kB
Dirty:            5004 kB
Writeback:           0 kB
Mapped:          33820 kB
Slab:            38640 kB
Committed_AS:  2532152 kB
PageTables:       1892 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= 66463 MiB

End job on node29 on Thu Apr 19 23:45:44 UTC 2007