Trace number 362142

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)8554 1800.26 1800.93

General information on the benchmark

Namenormalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-air02.opb
MD5SUM3f00532e02ccc246cb25b1a4f0a837d4
Bench CategoryOPT-MEDINT (optimisation, medium integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark4200
Best CPU time to get the best result obtained on this benchmark1800.56
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3905
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 4804
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 6613094
Number of bits of the sum of numbers in the objective function 23
Biggest number in a constraint 4804
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 6613094
Number of bits of the biggest sum of numbers23
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/362142-1177007211/instance-362142-1177007211.opb
0.00/0.00	c File size is 621422 bytes.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.09/0.12	c Highest Coefficient sum: 6.61309e+06
0.09/0.12	c Parsing was ok!!
0.09/0.12	c Total parsing time: 0.116 s
0.09/0.13	c Var: 6774 Constr: 100 50/50/0 Lit: 123110 Watch. Lit: 61655
0.09/0.13	c Obj. Vars: 6774 (100 % of total variables)
16.28/16.38	c Pre-processing Time: 16.374 s
17.88/17.93	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
17.88/17.93	c        0   6774      100   123110 1231    61655   48269      0      0 16.37
17.88/17.93	c      100   6774      200   280865 1404    61855   53096    100      5 16.67
17.88/17.93	c      250   6774      350   475377 1358    62155   58406    250     14 17.25
17.88/17.93	o 35132	17.922
19.08/19.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
19.08/19.15	c      375   6774      476   653787 1373    69172   61817    376     20 17.93
19.08/19.15	c      478   6774      579   941234 1625    69371   67999    479     26 18.20
19.08/19.15	o 34971	19.14
24.18/24.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
24.18/24.26	c      726   6774      828  1510896 1824    76639   61817    728     37 19.15
24.18/24.26	c      826   6774      928  1633366 1760    76759   67999    828     42 19.56
24.18/24.26	c     1076   6774     1178  1929009 1637    77236   74799   1078     44 23.93
24.18/24.26	o 28068	24.249
24.28/24.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
24.28/24.34	c     1097   6774     1200  1972475 1643    84134   61817   1100     45 24.26
24.28/24.34	o 27303	24.327
24.68/24.71	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
24.68/24.71	c     1101   6774     1205  1989752 1651    90903   61817   1105     45 24.33
24.68/24.71	o 26700	24.704
24.68/24.77	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
24.68/24.77	c     1181   6774     1286  2157109 1677    97800   61817   1186     47 24.71
24.68/24.77	o 26484	24.758
24.78/24.85	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
24.78/24.85	c     1183   6774     1289  2168891 1682   104581   61817   1189     47 24.76
24.78/24.85	o 25826	24.84
24.88/24.97	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
24.88/24.97	c     1185   6774     1292  2179696 1687   111353   61817   1192     47 24.85
24.88/24.97	o 25686	24.961
24.98/25.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
24.98/25.04	c     1205   6774     1313  2213324 1685   118158   61817   1213     48 24.97
24.98/25.04	o 25637	25.033
24.98/25.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
24.98/25.08	c     1208   6774     1317  2225891 1690   124916   61817   1217     48 25.04
24.98/25.08	o 25224	25.068
25.28/25.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
25.28/25.31	c     1209   6774     1319  2233998 1693   131697   61817   1219     48 25.07
25.28/25.31	o 24686	25.302
31.98/32.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
31.98/32.07	c     1266   6774     1377  2332362 1693   138573   61817   1277     50 25.31
31.98/32.07	c     1366   6774     1477  2521548 1707   138443   67999   1377     52 25.97
31.98/32.07	c     1616   6774     1727  2991548 1732   138793   74799   1627     59 27.32
31.98/32.07	c     2091   6774     2202  3884548 1764   139512   82279   2102     70 29.63
31.98/32.07	o 24669	32.053
47.97/48.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
47.97/48.04	c     2642   6774     2754  4927826 1789   148084   61817   2654     82 32.06
47.97/48.04	c     2742   6774     2854  5004406 1753   148030   67999   2754     84 32.32
47.97/48.04	c     2992   6774     3104  5193965 1673   148361   74799   3004     89 33.33
47.97/48.04	c     3467   6774     3579  5540170 1547   149128   82279   3479     94 36.87
47.97/48.04	c     4280   6774     4392  6215845 1415   151132   90507   4292    102 41.90
47.97/48.04	o 24493	48.026
70.46/70.58	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
70.46/70.58	c     5062   6774     5175  7017007 1355   159672   61817   5075    105 48.03
70.46/70.58	c     5163   6774     5276  7157588 1356   159882   67999   5176    106 48.53
70.46/70.58	c     5413   6774     5526  7718770 1396   159948   74799   5426    108 49.84
70.46/70.58	c     5888   6774     6001  8633214 1438   161300   82279   5901    109 53.98
70.46/70.58	c     6701   6774     6814 10227966 1501   162994   90507   6714    104 64.33
70.46/70.58	c     8021   6774     8134 12626602 1552   165590   99558   8034    113 70.49
70.46/70.58	o 17702	70.551
90.96/91.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
90.96/91.00	c     8027   6774     8141 12653751 1554   172279   61817   8041    113 70.56
90.96/91.00	c     8127   6774     8241 12930464 1569   172494   67999   8141    114 70.98
90.96/91.00	c     8377   6774     8491 13369824 1574   172857   74799   8391    115 72.52
90.96/91.00	c     8852   6774     8966 14151874 1578   173890   82279   8866    116 75.76
90.96/91.00	c     9665   6774     9779 15023317 1536   174783   90507   9679    110 87.55
90.96/91.00	o 17168	90.97
90.96/91.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
90.96/91.05	c     9922   6774    10037 15709367 1565   182601   61817   9937    109 90.98
90.96/91.05	o 16711	91.019
91.45/91.59	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
91.45/91.59	c     9926   6774    10042 15719306 1565   189355   61817   9942    109 91.03
91.45/91.59	o 16467	91.556
146.14/146.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
146.14/146.25	c    10021   6774    10138 15881681 1566   196330   61817  10038    109 91.56
146.14/146.25	c    10121   6774    10238 16060554 1568   196603   67999  10138    109 92.56
146.14/146.25	c    10371   6774    10488 16633915 1585   197151   74799  10388    109 94.52
146.14/146.25	c    10846   6774    10963 17709464 1615   197881   82279  10863    110 98.31
146.14/146.25	c    11659   6774    11776 19092706 1621   199370   90507  11676    106 109.47
146.14/146.25	c    12979   6774    13096 22284831 1701   202169   99558  12996     89 144.93
146.14/146.25	o 16384	146.2
205.91/206.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
205.91/206.09	c    13101   6774    13219 22669118 1714   209124   61817  13119     89 146.21
205.91/206.09	c    13201   6774    13319 23073870 1732   209511   67999  13219     89 147.30
205.91/206.09	c    13452   6774    13570 23698718 1746   209958   74799  13470     89 150.82
205.91/206.09	c    13927   6774    14045 24711463 1759   210914   82279  13945     88 157.39
205.91/206.09	c    14740   6774    14858 26170254 1761   212503   90507  14758     82 179.72
205.91/206.09	c    16060   6774    16178 28536592 1763   214768   99558  16078     78 204.95
205.91/206.09	o 16359	206.008
357.06/357.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
357.06/357.28	c    16192   6774    16311 28956219 1775   222100   61817  16211     78 206.01
357.06/357.28	c    16292   6774    16411 29093097 1772   222129   67999  16311     78 207.14
357.06/357.28	c    16542   6774    16661 29325374 1760   222410   74799  16561     77 212.22
357.06/357.28	c    17018   6774    17137 29739244 1735   223509   82279  17037     76 223.64
357.06/357.28	c    17831   6774    17950 31203865 1738   225146   90507  17850     74 238.78
357.06/357.28	c    19151   6774    19270 33660126 1746   227970   99558  19170     71 267.49
357.06/357.28	c    21232   6774    21351 36456134 1707   231698  109514  21251     67 316.66
357.06/357.28	o 16341	357.143
362.95/363.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
362.95/363.12	c    23396   6774    23516 40721785 1731   243353   61817  23416     65 357.15
362.95/363.12	c    23496   6774    23616 41074432 1739   243540   67999  23516     65 358.50
362.95/363.12	c    23746   6774    23866 41875167 1754   243652   74799  23766     65 359.81
362.95/363.12	o 16332	362.983
423.73/423.97	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
423.73/423.97	c    24108   6774    24229 42921769 1771   251523   61817  24129     66 362.99
423.73/423.97	c    24208   6774    24329 43081770 1770   251631   67999  24229     64 375.52
423.73/423.97	c    24458   6774    24579 43614101 1774   252218   74799  24479     64 378.93
423.73/423.97	c    24933   6774    25054 44292743 1767   253195   82279  24954     64 384.74
423.73/423.97	c    25748   6774    25869 45107581 1743   254898   90507  25769     63 406.76
423.73/423.97	c    27068   6774    27189 47984728 1764   257410   99558  27089     64 418.32
423.73/423.97	o 16252	423.814
503.80/504.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
503.80/504.06	c    27340   6774    27462 48685573 1772   264684   61817  27362     64 423.82
503.80/504.06	c    27440   6774    27562 49016803 1778   264805   67999  27462     64 425.87
503.80/504.06	c    27690   6774    27812 49836589 1791   265392   74799  27712     64 428.33
503.80/504.06	c    28165   6774    28287 50417903 1782   266336   82279  28187     62 449.39
503.80/504.06	c    28978   6774    29100 52626560 1808   267937   90507  29000     63 458.41
503.80/504.06	c    30298   6774    30420 56112422 1844   270540   99558  30320     63 477.77
503.80/504.06	o 16171	503.868
1145.07/1145.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1145.07/1145.54	c    31630   6774    31753 59328227 1868   280010   61817  31653     62 503.88
1145.07/1145.54	c    31730   6774    31853 59734168 1875   279976   67999  31753     62 506.63
1145.07/1145.54	c    31980   6774    32103 60177707 1874   280027   74799  32003     62 513.32
1145.07/1145.54	c    32455   6774    32578 61243091 1879   280662   82279  32478     61 525.01
1145.07/1145.54	c    33268   6774    33391 62533075 1872   282363   90507  33291     60 550.90
1145.07/1145.54	c    34588   6774    34711 65482191 1886   285930   99558  34611     60 574.63
1145.07/1145.54	c    36669   6774    36792 69022653 1876   290021  109514  36692     58 628.89
1145.07/1145.54	c    39896   6774    40019 73917161 1847   296537  120466  39919     35 1133.21
1145.07/1145.54	o 15905	1145.12
1161.66/1162.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1161.66/1162.12	c    40329   6774    40453 75051178 1855   304177   61817  40353     35 1145.13
1161.66/1162.12	c    40429   6774    40553 75183127 1853   304189   67999  40453     35 1146.82
1161.66/1162.12	c    40679   6774    40803 75351982 1846   304104   74799  40703     35 1150.42
1161.66/1162.12	c    41154   6774    41278 75974688 1840   305722   82279  41178     35 1160.54
1161.66/1162.12	o 15854	1161.7
1201.45/1201.92	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1201.45/1201.92	c    41169   6774    41294 76005154 1840   312598   61817  41194     35 1161.70
1201.45/1201.92	c    41269   6774    41394 76091646 1838   312862   67999  41294     35 1163.39
1201.45/1201.92	c    41519   6774    41644 76439191 1835   312595   74799  41544     35 1169.59
1201.45/1201.92	c    42000   6774    42125 77236254 1833   314179   82279  42025     35 1183.36
1201.45/1201.92	o 15723	1201.48
1229.94/1230.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1229.94/1230.46	c    42693   6774    42819 78681963 1837   322407   61817  42719     35 1201.48
1229.94/1230.46	c    42793   6774    42919 78874588 1837   322079   67999  42819     35 1202.74
1229.94/1230.46	c    43043   6774    43169 79396824 1839   322337   74799  43069     35 1206.87
1229.94/1230.46	c    43518   6774    43644 80332184 1840   323083   82279  43544     35 1214.55
1229.94/1230.46	o 15422	1230
1231.83/1232.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1231.83/1232.31	c    44182   6774    44309 81564754 1840   332098   61817  44209     35 1230.01
1231.83/1232.31	o 15387	1231.85
1415.56/1416.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1415.56/1416.12	c    44228   6774    44356 81687639 1841   339003   61817  44256     35 1231.86
1415.56/1416.12	c    44328   6774    44456 81872877 1841   338782   67999  44356     35 1234.31
1415.56/1416.12	c    44578   6774    44706 82315770 1841   339599   74799  44606     35 1240.93
1415.56/1416.12	c    45053   6774    45181 83171203 1840   339618   82279  45081     35 1253.41
1415.56/1416.12	c    45866   6774    45994 84646945 1840   342260   90507  45894     35 1283.36
1415.56/1416.12	c    47186   6774    47314 87525646 1849   344836   99558  47214     36 1302.52
1415.56/1416.12	c    49268   6774    49396 93499358 1892   349047  109514  49296     36 1347.16
1415.56/1416.12	c    52491   6774    52619 98719754 1876   355500  120466  52519     37 1414.29
1415.56/1416.12	o 8554	1415.59
1800.03/1800.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.03/1800.70	c    52529   6774    52658 98810017 1876   362187   61817  52558     37 1415.60
1800.03/1800.70	c    52630   6774    52759 99089249 1878   362245   67999  52659     36 1426.47
1800.03/1800.70	c    52880   6774    53009 99765634 1882   362333   74799  52909     36 1435.79
1800.03/1800.70	c    53355   6774    53484 101014892 1888   362882   82279  53384     36 1453.59
1800.03/1800.70	c    54168   6774    54297 102479356 1887   365137   90507  54197     36 1492.07
1800.03/1800.70	c    55488   6774    55617 104400459 1877   367865   99558  55517     36 1534.07
1800.03/1800.70	c Caught signal: 15
1800.03/1800.70	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
1800.03/1800.70	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
1800.03/1800.70	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
1800.03/1800.70	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
1800.03/1800.70	v -x105 -x106 -x107 -x108 -x109 -x110 x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125
1800.03/1800.70	v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146
1800.03/1800.70	v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167
1800.03/1800.70	v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188
1800.03/1800.70	v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209
1800.03/1800.70	v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230
1800.03/1800.70	v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251
1800.03/1800.70	v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272
1800.03/1800.70	v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293
1800.03/1800.70	v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314
1800.03/1800.70	v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 x335
1800.03/1800.70	v -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356
1800.03/1800.70	v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377
1800.03/1800.70	v -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398
1800.03/1800.70	v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419
1800.03/1800.70	v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440
1800.03/1800.70	v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461
1800.03/1800.70	v -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482
1800.03/1800.70	v -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503
1800.03/1800.70	v -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524
1800.03/1800.70	v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545
1800.03/1800.70	v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566
1800.03/1800.70	v -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587
1800.03/1800.70	v -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608
1800.03/1800.70	v -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629
1800.03/1800.70	v -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650
1800.03/1800.70	v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671
1800.03/1800.70	v -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692
1800.03/1800.70	v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713
1800.03/1800.70	v -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734
1800.03/1800.70	v -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755
1800.03/1800.70	v -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776
1800.03/1800.70	v -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797
1800.03/1800.70	v -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818
1800.03/1800.70	v -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839
1800.03/1800.70	v -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860
1800.03/1800.70	v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881
1800.03/1800.70	v -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902
1800.03/1800.70	v -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923
1800.03/1800.70	v -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944
1800.03/1800.70	v -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965
1800.03/1800.70	v -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986
1800.03/1800.70	v -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005
1800.03/1800.70	v -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022
1800.03/1800.70	v -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039
1800.03/1800.70	v -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056
1800.03/1800.70	v -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073
1800.03/1800.70	v -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090
1800.03/1800.70	v -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107
1800.03/1800.70	v -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124
1800.03/1800.70	v -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141
1800.03/1800.70	v -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158
1800.03/1800.70	v -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175
1800.03/1800.70	v -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192
1800.03/1800.70	v -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209
1800.03/1800.70	v -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226
1800.03/1800.70	v -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243
1800.03/1800.70	v -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260
1800.03/1800.70	v -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277
1800.03/1800.70	v -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294
1800.03/1800.70	v -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311
1800.03/1800.70	v -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328
1800.03/1800.70	v -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345
1800.03/1800.70	v -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362
1800.03/1800.70	v -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379
1800.03/1800.70	v -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396
1800.03/1800.70	v -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413
1800.03/1800.70	v -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430
1800.03/1800.70	v -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447
1800.03/1800.70	v -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464
1800.03/1800.70	v -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481
1800.03/1800.70	v -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498
1800.03/1800.70	v -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515
1800.03/1800.70	v -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532
1800.03/1800.70	v -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549
1800.03/1800.70	v -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566
1800.03/1800.70	v -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583
1800.03/1800.70	v -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600
1800.03/1800.70	v -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617
1800.03/1800.70	v -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634
1800.03/1800.70	v -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651
1800.03/1800.70	v -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668
1800.03/1800.70	v -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685
1800.03/1800.70	v -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702
1800.03/1800.70	v -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719
1800.03/1800.70	v -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736
1800.03/1800.70	v -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753
1800.03/1800.70	v -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770
1800.03/1800.70	v -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787
1800.03/1800.70	v -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804
1800.03/1800.70	v -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821
1800.03/1800.70	v -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838
1800.03/1800.70	v -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855
1800.03/1800.70	v -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872
1800.03/1800.70	v -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889
1800.03/1800.70	v -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906
1800.03/1800.70	v -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923
1800.03/1800.70	v -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940
1800.03/1800.70	v -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957
1800.03/1800.70	v -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974
1800.03/1800.70	v -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991
1800.03/1800.70	v -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008
1800.03/1800.70	v -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025
1800.03/1800.70	v -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042
1800.03/1800.70	v -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059
1800.03/1800.70	v -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076
1800.03/1800.70	v -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093
1800.03/1800.70	v -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110
1800.03/1800.70	v -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127
1800.03/1800.70	v -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144
1800.03/1800.70	v -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161
1800.03/1800.70	v -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178
1800.03/1800.70	v -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195
1800.03/1800.70	v -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212
1800.03/1800.70	v -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229
1800.03/1800.70	v -x2230 -x2231 x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246
1800.03/1800.70	v -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263
1800.03/1800.70	v -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280
1800.03/1800.70	v -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297
1800.03/1800.70	v -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314
1800.03/1800.70	v -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331
1800.03/1800.70	v -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348
1800.03/1800.70	v -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365
1800.03/1800.70	v -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382
1800.03/1800.70	v -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399
1800.03/1800.70	v -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416
1800.03/1800.70	v -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433
1800.03/1800.70	v -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450
1800.03/1800.70	v -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467
1800.03/1800.70	v -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484
1800.03/1800.70	v -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501
1800.03/1800.70	v -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518
1800.03/1800.70	v -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535
1800.03/1800.70	v -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552
1800.03/1800.70	v -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569
1800.03/1800.70	v -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586
1800.03/1800.70	v -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603
1800.03/1800.70	v -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620
1800.03/1800.70	v -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637
1800.03/1800.70	v -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654
1800.03/1800.70	v -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671
1800.03/1800.70	v -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688
1800.03/1800.70	v -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705
1800.03/1800.70	v -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722
1800.03/1800.70	v -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739
1800.03/1800.70	v -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756
1800.03/1800.70	v -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773
1800.03/1800.70	v -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790
1800.03/1800.70	v -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807
1800.03/1800.70	v -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824
1800.03/1800.70	v -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841
1800.03/1800.70	v -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858
1800.03/1800.70	v -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875
1800.03/1800.70	v -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892
1800.03/1800.70	v -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909
1800.03/1800.70	v -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926
1800.03/1800.70	v -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943
1800.03/1800.70	v -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960
1800.03/1800.70	v -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977
1800.03/1800.70	v -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994
1800.03/1800.70	v -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011
1800.03/1800.70	v -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028
1800.03/1800.70	v -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045
1800.03/1800.70	v -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062
1800.03/1800.70	v -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079
1800.03/1800.70	v -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096
1800.03/1800.70	v -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113
1800.03/1800.70	v -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130
1800.03/1800.70	v -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147
1800.03/1800.70	v -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164
1800.03/1800.70	v -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181
1800.03/1800.70	v -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198
1800.03/1800.70	v -x3199 -x3200 -x3201 -x3202 -x3203 x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215
1800.03/1800.70	v -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232
1800.03/1800.70	v -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249
1800.03/1800.70	v -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266
1800.03/1800.70	v -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283
1800.03/1800.70	v -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300
1800.03/1800.70	v -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317
1800.03/1800.70	v -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334
1800.03/1800.70	v -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351
1800.03/1800.70	v -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368
1800.03/1800.70	v -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385
1800.03/1800.70	v -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402
1800.03/1800.70	v -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419
1800.03/1800.70	v -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436
1800.03/1800.70	v -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453
1800.03/1800.70	v -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470
1800.03/1800.70	v -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487
1800.03/1800.70	v -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504
1800.03/1800.70	v -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521
1800.03/1800.70	v -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538
1800.03/1800.70	v -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555
1800.03/1800.70	v -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572
1800.03/1800.70	v -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589
1800.03/1800.70	v -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606
1800.03/1800.70	v -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623
1800.03/1800.70	v -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640
1800.03/1800.70	v -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657
1800.03/1800.70	v -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674
1800.03/1800.70	v -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691
1800.03/1800.70	v -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708
1800.03/1800.70	v -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725
1800.03/1800.70	v -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742
1800.03/1800.70	v -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759
1800.03/1800.70	v -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776
1800.03/1800.70	v -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793
1800.03/1800.70	v -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810
1800.03/1800.70	v -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827
1800.03/1800.70	v -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844
1800.03/1800.70	v -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861
1800.03/1800.70	v -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878
1800.03/1800.70	v -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895
1800.03/1800.70	v -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912
1800.03/1800.70	v -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929
1800.03/1800.70	v -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946
1800.03/1800.70	v -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963
1800.03/1800.70	v -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980
1800.03/1800.70	v -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997
1800.03/1800.70	v -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014
1800.03/1800.70	v -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031
1800.03/1800.70	v -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048
1800.03/1800.70	v -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065
1800.03/1800.70	v -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082
1800.03/1800.70	v -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099
1800.03/1800.70	v -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116
1800.03/1800.70	v -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133
1800.03/1800.70	v -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150
1800.03/1800.70	v -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167
1800.03/1800.70	v -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184
1800.03/1800.70	v -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201
1800.03/1800.70	v -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218
1800.03/1800.70	v -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235
1800.03/1800.70	v -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252
1800.03/1800.70	v -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269
1800.03/1800.70	v -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286
1800.03/1800.70	v -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303
1800.03/1800.70	v -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320
1800.03/1800.70	v -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337
1800.03/1800.70	v -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354
1800.03/1800.70	v -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371
1800.03/1800.70	v -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388
1800.03/1800.70	v -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405
1800.03/1800.70	v -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422
1800.03/1800.70	v -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439
1800.03/1800.70	v -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456
1800.03/1800.70	v -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473
1800.03/1800.70	v -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490
1800.03/1800.70	v -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507
1800.03/1800.70	v -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524
1800.03/1800.70	v -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541
1800.03/1800.70	v -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558
1800.03/1800.70	v -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575
1800.03/1800.70	v -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592
1800.03/1800.70	v -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609
1800.03/1800.70	v -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626
1800.03/1800.70	v -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643
1800.03/1800.70	v -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660
1800.03/1800.70	v -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677
1800.03/1800.70	v -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694
1800.03/1800.70	v -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711
1800.03/1800.70	v -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728
1800.03/1800.70	v -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745
1800.03/1800.70	v -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762
1800.03/1800.70	v -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779
1800.03/1800.70	v -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796
1800.03/1800.70	v -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813
1800.03/1800.70	v -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830
1800.03/1800.70	v -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847
1800.03/1800.70	v -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864
1800.03/1800.70	v -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881
1800.03/1800.70	v -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898
1800.03/1800.70	v -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915
1800.03/1800.70	v -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932
1800.03/1800.70	v -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949
1800.03/1800.70	v -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966
1800.03/1800.70	v -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983
1800.03/1800.70	v -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000
1800.03/1800.70	v -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017
1800.03/1800.70	v -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034
1800.03/1800.70	v -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051
1800.03/1800.70	v -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068
1800.03/1800.70	v -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085
1800.03/1800.70	v -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102
1800.03/1800.70	v -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119
1800.03/1800.70	v -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136
1800.03/1800.70	v -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153
1800.03/1800.70	v -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170
1800.03/1800.70	v -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187
1800.03/1800.70	v -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204
1800.03/1800.70	v -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221
1800.03/1800.70	v -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238
1800.03/1800.70	v -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255
1800.03/1800.70	v -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272
1800.03/1800.70	v -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289
1800.03/1800.70	v -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306
1800.03/1800.70	v -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323
1800.03/1800.70	v -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340
1800.03/1800.70	v -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357
1800.03/1800.70	v -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374
1800.03/1800.70	v -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391
1800.03/1800.70	v -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408
1800.03/1800.70	v -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425
1800.03/1800.70	v -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442
1800.03/1800.70	v -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459
1800.03/1800.70	v -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476
1800.03/1800.70	v -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493
1800.03/1800.70	v -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510
1800.03/1800.70	v -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527
1800.03/1800.70	v -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544
1800.03/1800.70	v -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561
1800.03/1800.70	v -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578
1800.03/1800.70	v -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595
1800.03/1800.70	v -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612
1800.03/1800.70	v -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629
1800.03/1800.70	v -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646
1800.03/1800.70	v -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663
1800.03/1800.70	v -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680
1800.03/1800.70	v -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697
1800.03/1800.70	v -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714
1800.03/1800.70	v -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731
1800.03/1800.70	v -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748
1800.03/1800.70	v -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765
1800.03/1800.70	v -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782
1800.03/1800.70	v -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799
1800.03/1800.70	v -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816
1800.03/1800.70	v -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833
1800.03/1800.70	v -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850
1800.03/1800.70	v -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867
1800.03/1800.70	v -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884
1800.03/1800.70	v -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901
1800.03/1800.70	v -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918
1800.03/1800.70	v -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935
1800.03/1800.70	v -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952
1800.03/1800.70	v -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969
1800.03/1800.70	v -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986
1800.03/1800.70	v -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003
1800.03/1800.70	v -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020
1800.03/1800.70	v -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037
1800.03/1800.70	v -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054
1800.03/1800.70	v -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071
1800.03/1800.70	v -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088
1800.03/1800.70	v -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105
1800.03/1800.70	v -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122
1800.03/1800.70	v -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139
1800.03/1800.70	v -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156
1800.03/1800.70	v -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173
1800.03/1800.70	v -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190
1800.03/1800.70	v -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207
1800.03/1800.70	v -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224
1800.03/1800.70	v -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241
1800.03/1800.70	v -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258
1800.03/1800.70	v -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275
1800.03/1800.70	v -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292
1800.03/1800.70	v -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309
1800.03/1800.70	v -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326
1800.03/1800.70	v -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343
1800.03/1800.70	v -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360
1800.03/1800.70	v -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377
1800.03/1800.70	v -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394
1800.03/1800.70	v -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411
1800.03/1800.70	v -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428
1800.03/1800.70	v -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445
1800.03/1800.70	v -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462
1800.03/1800.70	v -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479
1800.03/1800.70	v -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496
1800.03/1800.70	v -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513
1800.03/1800.70	v -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530
1800.03/1800.70	v -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547
1800.03/1800.70	v -x6548 x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564
1800.03/1800.70	v -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581
1800.03/1800.70	v -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598
1800.03/1800.70	v -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615
1800.03/1800.70	v -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632
1800.03/1800.70	v -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649
1800.03/1800.70	v -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666
1800.03/1800.70	v -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683
1800.03/1800.70	v -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700
1800.03/1800.70	v -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717
1800.03/1800.70	v -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734
1800.03/1800.70	v -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751
1800.03/1800.70	v -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768
1800.03/1800.70	v -x6769 -x6770 -x6771 -x6772 -x6773 -x6774
1800.03/1800.71	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.03/1800.71	c  106    56185  49664 27035550    56314 105475053  56214     31 1800.04
1800.03/1800.71	c Objective: 8554
1800.03/1800.71	s SATISFIABLE
1800.03/1800.71	c Total time: 1800.04 s

Verifier Data (download as text)

OK	8554

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node42/watcher-362142-1177007211 -o ROOT/results/node42/solver-362142-1177007211 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/362142-1177007211/instance-362142-1177007211.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.99 0.98 0.98 2/77 9393
/proc/meminfo: memFree=1562608/2055920 swapFree=4138768/4192956
[pid=9393] ppid=9391 vsize=12344 CPUtime=0
/proc/9393/stat : 9393 (bsolo3.0.16) R 9391 9393 8609 0 -1 4194304 365 0 0 0 0 0 0 0 18 0 1 0 148632989 12640256 333 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9393/statm: 3086 333 281 324 0 2003 0

[startup+0.0474269 s]
/proc/loadavg: 0.99 0.98 0.98 2/77 9393
/proc/meminfo: memFree=1562608/2055920 swapFree=4138768/4192956
[pid=9393] ppid=9391 vsize=13388 CPUtime=0.04
/proc/9393/stat : 9393 (bsolo3.0.16) R 9391 9393 8609 0 -1 4194304 677 0 0 0 4 0 0 0 18 0 1 0 148632989 13709312 645 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 12873343 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9393/statm: 3347 645 339 324 0 2264 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13388

[startup+0.101436 s]
/proc/loadavg: 0.99 0.98 0.98 2/77 9393
/proc/meminfo: memFree=1562608/2055920 swapFree=4138768/4192956
[pid=9393] ppid=9391 vsize=14216 CPUtime=0.09
/proc/9393/stat : 9393 (bsolo3.0.16) R 9391 9393 8609 0 -1 4194304 958 0 0 0 9 0 0 0 18 0 1 0 148632989 14557184 926 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134525286 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9393/statm: 3554 926 409 324 0 2471 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14216

[startup+0.301474 s]
/proc/loadavg: 0.99 0.98 0.98 2/77 9393
/proc/meminfo: memFree=1562608/2055920 swapFree=4138768/4192956
[pid=9393] ppid=9391 vsize=15948 CPUtime=0.29
/proc/9393/stat : 9393 (bsolo3.0.16) R 9391 9393 8609 0 -1 4194304 1567 0 0 0 29 0 0 0 20 0 1 0 148632989 16330752 1383 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9393/statm: 3987 1383 305 324 0 3056 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15948

[startup+0.701549 s]
/proc/loadavg: 0.99 0.98 0.98 2/77 9393
/proc/meminfo: memFree=1562608/2055920 swapFree=4138768/4192956
[pid=9393] ppid=9391 vsize=15948 CPUtime=0.69
/proc/9393/stat : 9393 (bsolo3.0.16) R 9391 9393 8609 0 -1 4194304 1572 0 0 0 69 0 0 0 23 0 1 0 148632989 16330752 1388 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 12524657 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9393/statm: 3987 1388 305 324 0 3056 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15948

[startup+1.5017 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 9394
/proc/meminfo: memFree=1558248/2055920 swapFree=4138768/4192956
[pid=9393] ppid=9391 vsize=15948 CPUtime=1.49
/proc/9393/stat : 9393 (bsolo3.0.16) R 9391 9393 8609 0 -1 4194304 1578 0 0 0 149 0 0 0 25 0 1 0 148632989 16330752 1394 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9393/statm: 3987 1394 305 324 0 3056 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15948

[startup+3.10201 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 9394
/proc/meminfo: memFree=1557928/2055920 swapFree=4138768/4192956
[pid=9393] ppid=9391 vsize=15948 CPUtime=3.08
/proc/9393/stat : 9393 (bsolo3.0.16) R 9391 9393 8609 0 -1 4194304 1590 0 0 0 308 0 0 0 25 0 1 0 148632989 16330752 1406 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9393/statm: 3987 1406 305 324 0 3056 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 15948

[startup+6.30162 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 9394
/proc/meminfo: memFree=1557864/2055920 swapFree=4138768/4192956
[pid=9393] ppid=9391 vsize=15948 CPUtime=6.28
/proc/9393/stat : 9393 (bsolo3.0.16) R 9391 9393 8609 0 -1 4194304 1593 0 0 0 628 0 0 0 25 0 1 0 148632989 16330752 1409 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134520488 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9393/statm: 3987 1409 305 324 0 3056 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 15948

[startup+12.7018 s]
/proc/loadavg: 0.99 0.98 0.98 3/78 9394
/proc/meminfo: memFree=1557928/2055920 swapFree=4138768/4192956
[pid=9393] ppid=9391 vsize=15948 CPUtime=12.69
/proc/9393/stat : 9393 (bsolo3.0.16) R 9391 9393 8609 0 -1 4194304 1593 0 0 0 1268 1 0 0 25 0 1 0 148632989 16330752 1409 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551904 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9393/statm: 3987 1409 305 324 0 3056 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15948

[startup+25.5013 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 9394
/proc/meminfo: memFree=1529064/2055920 swapFree=4138768/4192956
[pid=9393] ppid=9391 vsize=38564 CPUtime=25.47
/proc/9393/stat : 9393 (bsolo3.0.16) R 9391 9393 8609 0 -1 4194304 10007 0 0 0 2486 61 0 0 25 0 1 0 148632989 39489536 9009 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9393/statm: 9641 9009 312 324 0 8710 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 38564

[startup+51.1011 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 9394
/proc/meminfo: memFree=1457640/2055920 swapFree=4138768/4192956
[pid=9393] ppid=9391 vsize=110172 CPUtime=51.07
/proc/9393/stat : 9393 (bsolo3.0.16) R 9391 9393 8609 0 -1 4194304 27914 0 0 0 4833 274 0 0 25 0 1 0 148632989 112816128 26916 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9393/statm: 27543 26916 312 324 0 26612 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 110172

[startup+102.306 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 9394
/proc/meminfo: memFree=1324776/2055920 swapFree=4138768/4192956
[pid=9393] ppid=9391 vsize=241268 CPUtime=102.26
/proc/9393/stat : 9393 (bsolo3.0.16) R 9391 9393 8609 0 -1 4194304 60686 0 0 0 9793 433 0 0 25 0 1 0 148632989 247058432 59688 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9393/statm: 60317 59688 312 324 0 59386 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 241268

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 9394
/proc/meminfo: memFree=1239720/2055920 swapFree=4138828/4192956
[pid=9393] ppid=9391 vsize=326048 CPUtime=162.23
/proc/9393/stat : 9393 (bsolo3.0.16) R 9391 9393 8609 0 -1 4194304 81893 0 0 0 15750 473 0 0 25 0 1 0 148632989 333873152 80895 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551250 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9393/statm: 81512 80895 312 324 0 80581 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 326048

[startup+222.303 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 9394
/proc/meminfo: memFree=1177128/2055920 swapFree=4138828/4192956
[pid=9393] ppid=9391 vsize=388484 CPUtime=222.21
/proc/9393/stat : 9393 (bsolo3.0.16) R 9391 9393 8609 0 -1 4194304 97496 0 0 0 21625 596 0 0 25 0 1 0 148632989 397807616 96498 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 12840787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9393/statm: 97121 96498 312 324 0 96190 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 388484

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 9394
/proc/meminfo: memFree=1116200/2055920 swapFree=4138884/4192956
[pid=9393] ppid=9391 vsize=449704 CPUtime=282.18
/proc/9393/stat : 9393 (bsolo3.0.16) R 9391 9393 8609 0 -1 4194304 112807 0 0 0 27478 740 0 0 25 0 1 0 148632989 460496896 111809 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9393/statm: 112426 111809 312 324 0 111495 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 449704

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 9394
/proc/meminfo: memFree=1062568/2055920 swapFree=4138884/4192956
[pid=9393] ppid=9391 vsize=502892 CPUtime=342.17
/proc/9393/stat : 9393 (bsolo3.0.16) R 9391 9393 8609 0 -1 4194304 126093 0 0 0 33367 850 0 0 25 0 1 0 148632989 514961408 125095 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9393/statm: 125723 125095 312 324 0 124792 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 502892

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 9394
/proc/meminfo: memFree=982568/2055920 swapFree=4138884/4192956
[pid=9393] ppid=9391 vsize=582796 CPUtime=402.14
/proc/9393/stat : 9393 (bsolo3.0.16) R 9391 9393 8609 0 -1 4194304 146087 0 0 0 39261 953 0 0 25 0 1 0 148632989 596783104 145089 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551088 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9393/statm: 145699 145089 312 324 0 144768 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 582796

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 9394
/proc/meminfo: memFree=874280/2055920 swapFree=4138944/4192956
[pid=9393] ppid=9391 vsize=691900 CPUtime=462.11
/proc/9393/stat : 9393 (bsolo3.0.16) R 9391 9393 8609 0 -1 4194304 173352 0 0 0 45237 974 0 0 25 0 1 0 148632989 708505600 172354 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551240 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9393/statm: 172975 172354 312 324 0 172044 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 691900

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 9394
/proc/meminfo: memFree=777896/2055920 swapFree=4138944/4192956
[pid=9393] ppid=9391 vsize=788068 CPUtime=522.1
/proc/9393/stat : 9393 (bsolo3.0.16) R 9391 9393 8609 0 -1 4194304 197385 0 0 0 51169 1041 0 0 25 0 1 0 148632989 806981632 196387 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9393/statm: 197017 196387 312 324 0 196086 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 788068

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 9394
/proc/meminfo: memFree=712296/2055920 swapFree=4139000/4192956
[pid=9393] ppid=9391 vsize=852836 CPUtime=582.08
/proc/9393/stat : 9393 (bsolo3.0.16) R 9391 9393 8609 0 -1 4194304 213590 0 0 0 57098 1110 0 0 25 0 1 0 148632989 873304064 212592 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551563 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9393/statm: 213209 212592 312 324 0 212278 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 852836

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 9394
/proc/meminfo: memFree=671016/2055920 swapFree=4139000/4192956
[pid=9393] ppid=9391 vsize=893540 CPUtime=642.06
/proc/9393/stat : 9393 (bsolo3.0.16) R 9391 9393 8609 0 -1 4194304 223758 0 0 0 63075 1131 0 0 25 0 1 0 148632989 914984960 222760 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9393/statm: 223385 222760 312 324 0 222454 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 893540


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

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 9396
/proc/meminfo: memFree=660776/2055920 swapFree=4139116/4192956
[pid=9393] ppid=9391 vsize=903536 CPUtime=941.95
/proc/9393/stat : 9393 (bsolo3.0.16) R 9391 9393 8609 0 -1 4194304 226248 0 0 0 93043 1152 0 0 25 0 1 0 148632989 925220864 225250 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9393/statm: 225884 225250 312 324 0 224953 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 903536

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 9396
/proc/meminfo: memFree=659816/2055920 swapFree=4139172/4192956
[pid=9393] ppid=9391 vsize=904480 CPUtime=1001.92
/proc/9393/stat : 9393 (bsolo3.0.16) R 9391 9393 8609 0 -1 4194304 226509 0 0 0 99038 1154 0 0 25 0 1 0 148632989 926187520 225511 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9393/statm: 226120 225511 312 324 0 225189 0
Current children cumulated CPU time (s) 1001.92
Current children cumulated vsize (KiB) 904480

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 9396
/proc/meminfo: memFree=655400/2055920 swapFree=4139172/4192956
[pid=9393] ppid=9391 vsize=909148 CPUtime=1061.89
/proc/9393/stat : 9393 (bsolo3.0.16) R 9391 9393 8609 0 -1 4194304 227670 0 0 0 105031 1158 0 0 25 0 1 0 148632989 930967552 226672 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9393/statm: 227287 226672 312 324 0 226356 0
Current children cumulated CPU time (s) 1061.89
Current children cumulated vsize (KiB) 909148

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 9396
/proc/meminfo: memFree=622184/2055920 swapFree=4139172/4192956
[pid=9393] ppid=9391 vsize=942152 CPUtime=1121.88
/proc/9393/stat : 9393 (bsolo3.0.16) R 9391 9393 8609 0 -1 4194304 235915 0 0 0 111019 1169 0 0 25 0 1 0 148632989 964763648 234917 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9393/statm: 235538 234917 312 324 0 234607 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 942152

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 9396
/proc/meminfo: memFree=569448/2055920 swapFree=4139224/4192956
[pid=9393] ppid=9391 vsize=995068 CPUtime=1181.85
/proc/9393/stat : 9393 (bsolo3.0.16) R 9391 9393 8609 0 -1 4194304 249152 0 0 0 116930 1255 0 0 25 0 1 0 148632989 1018949632 248154 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551513 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9393/statm: 248767 248154 312 324 0 247836 0
Current children cumulated CPU time (s) 1181.85
Current children cumulated vsize (KiB) 995068

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 9396
/proc/meminfo: memFree=501992/2055920 swapFree=4139224/4192956
[pid=9393] ppid=9391 vsize=1062248 CPUtime=1241.83
/proc/9393/stat : 9393 (bsolo3.0.16) R 9391 9393 8609 0 -1 4194304 265952 0 0 0 122822 1361 0 0 25 0 1 0 148632989 1087741952 264954 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9393/statm: 265562 264954 312 324 0 264631 0
Current children cumulated CPU time (s) 1241.83
Current children cumulated vsize (KiB) 1062248

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 9396
/proc/meminfo: memFree=438056/2055920 swapFree=4139284/4192956
[pid=9393] ppid=9391 vsize=1125644 CPUtime=1301.81
/proc/9393/stat : 9393 (bsolo3.0.16) R 9391 9393 8609 0 -1 4194304 281787 0 0 0 128699 1482 0 0 25 0 1 0 148632989 1152659456 280789 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9393/statm: 281411 280789 312 324 0 280480 0
Current children cumulated CPU time (s) 1301.81
Current children cumulated vsize (KiB) 1125644

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 9396
/proc/meminfo: memFree=342696/2055920 swapFree=4139284/4192956
[pid=9393] ppid=9391 vsize=1222000 CPUtime=1361.79
/proc/9393/stat : 9393 (bsolo3.0.16) R 9391 9393 8609 0 -1 4194304 305880 0 0 0 134658 1521 0 0 25 0 1 0 148632989 1251328000 304882 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9393/statm: 305500 304882 312 324 0 304569 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 1222000

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 9396
/proc/meminfo: memFree=290088/2055920 swapFree=4139284/4192956
[pid=9393] ppid=9391 vsize=1273112 CPUtime=1421.77
/proc/9393/stat : 9393 (bsolo3.0.16) R 9391 9393 8609 0 -1 4194304 318669 0 0 0 140611 1566 0 0 25 0 1 0 148632989 1303666688 317671 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9393/statm: 318278 317671 312 324 0 317347 0
Current children cumulated CPU time (s) 1421.77
Current children cumulated vsize (KiB) 1273112

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 9396
/proc/meminfo: memFree=252520/2055920 swapFree=4139344/4192956
[pid=9393] ppid=9391 vsize=1310908 CPUtime=1481.74
/proc/9393/stat : 9393 (bsolo3.0.16) R 9391 9393 8609 0 -1 4194304 328098 0 0 0 146544 1630 0 0 25 0 1 0 148632989 1342369792 327100 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551108 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9393/statm: 327727 327100 312 324 0 326796 0
Current children cumulated CPU time (s) 1481.74
Current children cumulated vsize (KiB) 1310908

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 9396
/proc/meminfo: memFree=219176/2055920 swapFree=4139344/4192956
[pid=9393] ppid=9391 vsize=1343844 CPUtime=1541.72
/proc/9393/stat : 9393 (bsolo3.0.16) R 9391 9393 8609 0 -1 4194304 336343 0 0 0 152524 1648 0 0 25 0 1 0 148632989 1376096256 335345 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 12838741 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9393/statm: 335961 335345 312 324 0 335030 0
Current children cumulated CPU time (s) 1541.72
Current children cumulated vsize (KiB) 1343844

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 9396
/proc/meminfo: memFree=207976/2055920 swapFree=4139404/4192956
[pid=9393] ppid=9391 vsize=1355036 CPUtime=1601.7
/proc/9393/stat : 9393 (bsolo3.0.16) R 9391 9393 8609 0 -1 4194304 339139 0 0 0 158514 1656 0 0 25 0 1 0 148632989 1387556864 338141 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551522 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9393/statm: 338759 338141 312 324 0 337828 0
Current children cumulated CPU time (s) 1601.7
Current children cumulated vsize (KiB) 1355036

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 9396
/proc/meminfo: memFree=207656/2055920 swapFree=4139404/4192956
[pid=9393] ppid=9391 vsize=1355440 CPUtime=1661.67
/proc/9393/stat : 9393 (bsolo3.0.16) R 9391 9393 8609 0 -1 4194304 339228 0 0 0 164510 1657 0 0 25 0 1 0 148632989 1387970560 338230 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9393/statm: 338860 338230 312 324 0 337929 0
Current children cumulated CPU time (s) 1661.67
Current children cumulated vsize (KiB) 1355440

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 9396
/proc/meminfo: memFree=207528/2055920 swapFree=4139404/4192956
[pid=9393] ppid=9391 vsize=1355560 CPUtime=1721.66
/proc/9393/stat : 9393 (bsolo3.0.16) R 9391 9393 8609 0 -1 4194304 339257 0 0 0 170508 1658 0 0 25 0 1 0 148632989 1388093440 338259 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9393/statm: 338890 338259 312 324 0 337959 0
Current children cumulated CPU time (s) 1721.66
Current children cumulated vsize (KiB) 1355560

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 9396
/proc/meminfo: memFree=207336/2055920 swapFree=4139456/4192956
[pid=9393] ppid=9391 vsize=1355688 CPUtime=1781.63
/proc/9393/stat : 9393 (bsolo3.0.16) R 9391 9393 8609 0 -1 4194304 339296 0 0 0 176505 1658 0 0 25 0 1 0 148632989 1388224512 338298 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9393/statm: 338922 338298 312 324 0 337991 0
Current children cumulated CPU time (s) 1781.63
Current children cumulated vsize (KiB) 1355688



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 9396
/proc/meminfo: memFree=206248/2055920 swapFree=4139456/4192956
[pid=9393] ppid=9391 vsize=1356752 CPUtime=1800.03
/proc/9393/stat : 9393 (bsolo3.0.16) R 9391 9393 8609 0 -1 4194304 339570 0 0 0 178344 1659 0 0 25 0 1 0 148632989 1389314048 338572 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551105 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9393/statm: 339188 338572 312 324 0 338257 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1356752

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

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

[startup+1800.81 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 9396
/proc/meminfo: memFree=206248/2055920 swapFree=4139456/4192956
[pid=9393] ppid=9391 vsize=0 CPUtime=1800.12
/proc/9393/stat : 9393 (bsolo3.0.16) R 9391 9393 8609 0 -1 4194308 339571 0 0 0 178344 1668 0 0 25 0 1 0 148632989 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/9393/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 0

[startup+1800.9 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 9396
/proc/meminfo: memFree=206248/2055920 swapFree=4139456/4192956
[pid=9393] ppid=9391 vsize=0 CPUtime=1800.22
/proc/9393/stat : 9393 (bsolo3.0.16) R 9391 9393 8609 0 -1 4194308 339571 0 0 0 178344 1678 0 0 25 0 1 0 148632989 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/9393/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.22
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 1800.93
CPU time (s): 1800.26
CPU user time (s): 1783.45
CPU system time (s): 16.8144
CPU usage (%): 99.9629
Max. virtual memory (cumulated for all children) (KiB): 1356752

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

runsolver used 2.21266 second user time and 4.23836 second system time

The end

Launcher Data (download as text)

Begin job on node42 on Thu Apr 19 18:26:51 UTC 2007

IDJOB= 362142
IDBENCH= 1510
IDSOLVER= 163
FILE ID= node42/362142-1177007211

PBS_JOBID= 4630520

Free space on /tmp= 66444 MiB

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

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  3f00532e02ccc246cb25b1a4f0a837d4

RANDOM SEED= 348517897

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node42.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.277
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.277
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:       1563080 kB
Buffers:         25660 kB
Cached:         377868 kB
SwapCached:      18684 kB
Active:          76644 kB
Inactive:       359960 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1563080 kB
SwapTotal:     4192956 kB
SwapFree:      4138768 kB
Dirty:            5084 kB
Writeback:           0 kB
Mapped:          39780 kB
Slab:            41668 kB
Committed_AS:  2996408 kB
PageTables:       1912 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= 66444 MiB

End job on node42 on Thu Apr 19 18:56:54 UTC 2007