Trace number 432523

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.17SAT (TO)8554 1800.25 1800.83

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

Verifier Data (download as text)

OK	8554

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node18/watcher-432523-1177944511 -o ROOT/results/node18/solver-432523-1177944511 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432523-1177944511/instance-432523-1177944511.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.97 0.79 3/77 3191
/proc/meminfo: memFree=1699656/2055920 swapFree=4147184/4192956
[pid=3191] ppid=3189 vsize=12344 CPUtime=0
/proc/3191/stat : 3191 (bsolo3.0.17) R 3189 3191 2742 0 -1 4194304 364 0 0 0 0 0 0 0 18 0 1 0 242368502 12640256 334 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8296059 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3191/statm: 3086 334 279 324 0 2004 0

[startup+0.0285031 s]
/proc/loadavg: 0.92 0.97 0.79 3/77 3191
/proc/meminfo: memFree=1699656/2055920 swapFree=4147184/4192956
[pid=3191] ppid=3189 vsize=13116 CPUtime=0.02
/proc/3191/stat : 3191 (bsolo3.0.17) R 3189 3191 2742 0 -1 4194304 578 0 0 0 2 0 0 0 18 0 1 0 242368502 13430784 548 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134525198 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3191/statm: 3279 548 313 324 0 2197 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 13116

[startup+0.101509 s]
/proc/loadavg: 0.92 0.97 0.79 3/77 3191
/proc/meminfo: memFree=1699656/2055920 swapFree=4147184/4192956
[pid=3191] ppid=3189 vsize=14332 CPUtime=0.09
/proc/3191/stat : 3191 (bsolo3.0.17) R 3189 3191 2742 0 -1 4194304 972 0 0 0 9 0 0 0 18 0 1 0 242368502 14675968 942 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134525046 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3191/statm: 3583 942 408 324 0 2501 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14332

[startup+0.301529 s]
/proc/loadavg: 0.92 0.97 0.79 3/77 3191
/proc/meminfo: memFree=1699656/2055920 swapFree=4147184/4192956
[pid=3191] ppid=3189 vsize=15948 CPUtime=0.29
/proc/3191/stat : 3191 (bsolo3.0.17) R 3189 3191 2742 0 -1 4194304 1563 0 0 0 29 0 0 0 19 0 1 0 242368502 16330752 1381 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8294569 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3191/statm: 3987 1381 303 324 0 3057 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15948

[startup+0.701568 s]
/proc/loadavg: 0.92 0.97 0.79 3/77 3191
/proc/meminfo: memFree=1699656/2055920 swapFree=4147184/4192956
[pid=3191] ppid=3189 vsize=15948 CPUtime=0.69
/proc/3191/stat : 3191 (bsolo3.0.17) R 3189 3191 2742 0 -1 4194304 1568 0 0 0 69 0 0 0 22 0 1 0 242368502 16330752 1386 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160527312 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3191/statm: 3987 1386 303 324 0 3057 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15948

[startup+1.50164 s]
/proc/loadavg: 0.92 0.97 0.79 2/78 3192
/proc/meminfo: memFree=1695232/2055920 swapFree=4147184/4192956
[pid=3191] ppid=3189 vsize=15948 CPUtime=1.49
/proc/3191/stat : 3191 (bsolo3.0.17) R 3189 3191 2742 0 -1 4194304 1574 0 0 0 149 0 0 0 25 0 1 0 242368502 16330752 1392 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160527313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3191/statm: 3987 1392 303 324 0 3057 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15948

[startup+3.1018 s]
/proc/loadavg: 1.01 0.99 0.80 2/78 3192
/proc/meminfo: memFree=1695040/2055920 swapFree=4147184/4192956
[pid=3191] ppid=3189 vsize=15948 CPUtime=3.09
/proc/3191/stat : 3191 (bsolo3.0.17) R 3189 3191 2742 0 -1 4194304 1586 0 0 0 308 1 0 0 25 0 1 0 242368502 16330752 1404 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8290376 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3191/statm: 3987 1404 303 324 0 3057 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15948

[startup+6.30111 s]
/proc/loadavg: 1.01 0.99 0.80 2/78 3192
/proc/meminfo: memFree=1694784/2055920 swapFree=4147184/4192956
[pid=3191] ppid=3189 vsize=15948 CPUtime=6.29
/proc/3191/stat : 3191 (bsolo3.0.17) R 3189 3191 2742 0 -1 4194304 1589 0 0 0 628 1 0 0 25 0 1 0 242368502 16330752 1407 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3191/statm: 3987 1407 303 324 0 3057 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15948

[startup+12.7017 s]
/proc/loadavg: 1.00 0.99 0.80 2/78 3192
/proc/meminfo: memFree=1694784/2055920 swapFree=4147184/4192956
[pid=3191] ppid=3189 vsize=15948 CPUtime=12.68
/proc/3191/stat : 3191 (bsolo3.0.17) R 3189 3191 2742 0 -1 4194304 1589 0 0 0 1267 1 0 0 25 0 1 0 242368502 16330752 1407 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7978100 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3191/statm: 3987 1407 303 324 0 3057 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 15948

[startup+25.502 s]
/proc/loadavg: 1.08 1.00 0.81 2/78 3192
/proc/meminfo: memFree=1661888/2055920 swapFree=4147184/4192956
[pid=3191] ppid=3189 vsize=42904 CPUtime=25.48
/proc/3191/stat : 3191 (bsolo3.0.17) R 3189 3191 2742 0 -1 4194304 11108 0 0 0 2542 6 0 0 25 0 1 0 242368502 43933696 10112 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551048 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3191/statm: 10726 10112 310 324 0 9796 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 42904

[startup+51.1014 s]
/proc/loadavg: 1.05 1.00 0.81 2/78 3192
/proc/meminfo: memFree=1582720/2055920 swapFree=4147184/4192956
[pid=3191] ppid=3189 vsize=122084 CPUtime=51.08
/proc/3191/stat : 3191 (bsolo3.0.17) R 3189 3191 2742 0 -1 4194304 30884 0 0 0 5092 16 0 0 25 0 1 0 242368502 125014016 29888 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3191/statm: 30521 29888 310 324 0 29591 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 122084

[startup+102.305 s]
/proc/loadavg: 1.02 1.00 0.82 2/78 3192
/proc/meminfo: memFree=1453568/2055920 swapFree=4147184/4192956
[pid=3191] ppid=3189 vsize=249364 CPUtime=102.26
/proc/3191/stat : 3191 (bsolo3.0.17) R 3189 3191 2742 0 -1 4194304 62716 0 0 0 10197 29 0 0 25 0 1 0 242368502 255348736 61720 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551104 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3191/statm: 62341 61720 310 324 0 61411 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 249364

[startup+162.301 s]
/proc/loadavg: 1.01 1.00 0.83 2/78 3192
/proc/meminfo: memFree=1371200/2055920 swapFree=4147184/4192956
[pid=3191] ppid=3189 vsize=332348 CPUtime=162.25
/proc/3191/stat : 3191 (bsolo3.0.17) R 3189 3191 2742 0 -1 4194304 83456 0 0 0 16185 40 0 0 25 0 1 0 242368502 340324352 82460 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3191/statm: 83087 82460 310 324 0 82157 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 332348

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 0.83 2/78 3192
/proc/meminfo: memFree=1300480/2055920 swapFree=4147184/4192956
[pid=3191] ppid=3189 vsize=402052 CPUtime=222.22
/proc/3191/stat : 3191 (bsolo3.0.17) R 3189 3191 2742 0 -1 4194304 100889 0 0 0 22175 47 0 0 25 0 1 0 242368502 411701248 99893 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550705 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3191/statm: 100513 99893 310 324 0 99583 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 402052

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 0.84 2/78 3192
/proc/meminfo: memFree=1245120/2055920 swapFree=4147184/4192956
[pid=3191] ppid=3189 vsize=457936 CPUtime=282.21
/proc/3191/stat : 3191 (bsolo3.0.17) R 3189 3191 2742 0 -1 4194304 114854 0 0 0 28166 55 0 0 25 0 1 0 242368502 468926464 113858 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3191/statm: 114484 113858 310 324 0 113554 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 457936

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.85 2/78 3192
/proc/meminfo: memFree=1183808/2055920 swapFree=4147184/4192956
[pid=3191] ppid=3189 vsize=518680 CPUtime=342.2
/proc/3191/stat : 3191 (bsolo3.0.17) R 3189 3191 2742 0 -1 4194304 130054 0 0 0 34159 61 0 0 25 0 1 0 242368502 531128320 129058 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551353 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3191/statm: 129670 129058 310 324 0 128740 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 518680

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.85 2/78 3192
/proc/meminfo: memFree=1099072/2055920 swapFree=4147184/4192956
[pid=3191] ppid=3189 vsize=607252 CPUtime=402.17
/proc/3191/stat : 3191 (bsolo3.0.17) R 3189 3191 2742 0 -1 4194304 152191 0 0 0 40146 71 0 0 25 0 1 0 242368502 621826048 151195 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586540 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3191/statm: 151813 151195 310 324 0 150883 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 607252

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 0.86 2/78 3192
/proc/meminfo: memFree=984832/2055920 swapFree=4147184/4192956
[pid=3191] ppid=3189 vsize=717444 CPUtime=462.16
/proc/3191/stat : 3191 (bsolo3.0.17) R 3189 3191 2742 0 -1 4194304 179741 0 0 0 46132 84 0 0 25 0 1 0 242368502 734662656 178745 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3191/statm: 179361 178745 310 324 0 178431 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 717444

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 0.86 2/78 3192
/proc/meminfo: memFree=903296/2055920 swapFree=4147184/4192956
[pid=3191] ppid=3189 vsize=798948 CPUtime=522.15
/proc/3191/stat : 3191 (bsolo3.0.17) R 3189 3191 2742 0 -1 4194304 200114 0 0 0 52123 92 0 0 25 0 1 0 242368502 818122752 199118 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3191/statm: 199737 199118 310 324 0 198807 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 798948

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 0.87 2/78 3192
/proc/meminfo: memFree=832704/2055920 swapFree=4147184/4192956
[pid=3191] ppid=3189 vsize=869048 CPUtime=582.12
/proc/3191/stat : 3191 (bsolo3.0.17) R 3189 3191 2742 0 -1 4194304 217629 0 0 0 58113 99 0 0 25 0 1 0 242368502 889905152 216633 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3191/statm: 217262 216633 310 324 0 216332 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 869048

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.87 2/78 3192
/proc/meminfo: memFree=807616/2055920 swapFree=4147184/4192956
[pid=3191] ppid=3189 vsize=893944 CPUtime=642.12
/proc/3191/stat : 3191 (bsolo3.0.17) R 3189 3191 2742 0 -1 4194304 223862 0 0 0 64109 103 0 0 25 0 1 0 242368502 915398656 222866 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8293928 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3191/statm: 223486 222866 310 324 0 222556 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 893944


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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 0.90 2/78 3390
/proc/meminfo: memFree=798784/2055920 swapFree=4147184/4192956
[pid=3191] ppid=3189 vsize=902564 CPUtime=881.96
/proc/3191/stat : 3191 (bsolo3.0.17) R 3189 3191 2742 0 -1 4194304 226002 0 0 0 88088 108 0 0 25 0 1 0 242368502 924225536 225006 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3191/statm: 225641 225006 310 324 0 224711 0
Current children cumulated CPU time (s) 881.96
Current children cumulated vsize (KiB) 902564

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 0.90 2/78 3390
/proc/meminfo: memFree=797632/2055920 swapFree=4147184/4192956
[pid=3191] ppid=3189 vsize=903660 CPUtime=941.95
/proc/3191/stat : 3191 (bsolo3.0.17) R 3189 3191 2742 0 -1 4194304 226276 0 0 0 94086 109 0 0 25 0 1 0 242368502 925347840 225280 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551048 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3191/statm: 225915 225280 310 324 0 224985 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 903660

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/78 3390
/proc/meminfo: memFree=796480/2055920 swapFree=4147184/4192956
[pid=3191] ppid=3189 vsize=904724 CPUtime=1001.92
/proc/3191/stat : 3191 (bsolo3.0.17) R 3189 3191 2742 0 -1 4194304 226551 0 0 0 100083 109 0 0 25 0 1 0 242368502 926437376 225555 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3191/statm: 226181 225555 310 324 0 225251 0
Current children cumulated CPU time (s) 1001.92
Current children cumulated vsize (KiB) 904724

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/78 3390
/proc/meminfo: memFree=789568/2055920 swapFree=4147184/4192956
[pid=3191] ppid=3189 vsize=911780 CPUtime=1061.91
/proc/3191/stat : 3191 (bsolo3.0.17) R 3189 3191 2742 0 -1 4194304 228327 0 0 0 106080 111 0 0 25 0 1 0 242368502 933662720 227331 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551104 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3191/statm: 227945 227331 310 324 0 227015 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 911780

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/78 3390
/proc/meminfo: memFree=748928/2055920 swapFree=4147184/4192956
[pid=3191] ppid=3189 vsize=952448 CPUtime=1121.9
/proc/3191/stat : 3191 (bsolo3.0.17) R 3189 3191 2742 0 -1 4194304 238499 0 0 0 112074 116 0 0 25 0 1 0 242368502 975306752 237503 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572691 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3191/statm: 238112 237503 310 324 0 237182 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 952448

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/78 3390
/proc/meminfo: memFree=694656/2055920 swapFree=4147184/4192956
[pid=3191] ppid=3189 vsize=1007420 CPUtime=1181.88
/proc/3191/stat : 3191 (bsolo3.0.17) R 3189 3191 2742 0 -1 4194304 252232 0 0 0 118066 122 0 0 25 0 1 0 242368502 1031598080 251236 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3191/statm: 251855 251236 310 324 0 250925 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 1007420

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/78 3390
/proc/meminfo: memFree=628224/2055920 swapFree=4147184/4192956
[pid=3191] ppid=3189 vsize=1072792 CPUtime=1241.86
/proc/3191/stat : 3191 (bsolo3.0.17) R 3189 3191 2742 0 -1 4194304 268575 0 0 0 124055 131 0 0 25 0 1 0 242368502 1098539008 267579 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550919 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3191/statm: 268198 267579 310 324 0 267268 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 1072792

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/78 3390
/proc/meminfo: memFree=555008/2055920 swapFree=4147184/4192956
[pid=3191] ppid=3189 vsize=1145784 CPUtime=1301.85
/proc/3191/stat : 3191 (bsolo3.0.17) R 3189 3191 2742 0 -1 4194304 286822 0 0 0 130047 138 0 0 25 0 1 0 242368502 1173282816 285826 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3191/statm: 286446 285826 310 324 0 285516 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 1145784

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/78 3390
/proc/meminfo: memFree=461376/2055920 swapFree=4147184/4192956
[pid=3191] ppid=3189 vsize=1240060 CPUtime=1361.83
/proc/3191/stat : 3191 (bsolo3.0.17) R 3189 3191 2742 0 -1 4194304 310389 0 0 0 136035 148 0 0 25 0 1 0 242368502 1269821440 309393 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3191/statm: 310015 309393 310 324 0 309085 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 1240060

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.91 2/78 3390
/proc/meminfo: memFree=413120/2055920 swapFree=4147184/4192956
[pid=3191] ppid=3189 vsize=1287800 CPUtime=1421.82
/proc/3191/stat : 3191 (bsolo3.0.17) R 3189 3191 2742 0 -1 4194304 322314 0 0 0 142028 154 0 0 25 0 1 0 242368502 1318707200 321318 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551281 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3191/statm: 321950 321318 310 324 0 321020 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 1287800

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/78 3390
/proc/meminfo: memFree=377216/2055920 swapFree=4147184/4192956
[pid=3191] ppid=3189 vsize=1324084 CPUtime=1481.8
/proc/3191/stat : 3191 (bsolo3.0.17) R 3189 3191 2742 0 -1 4194304 331386 0 0 0 148021 159 0 0 25 0 1 0 242368502 1355862016 330390 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3191/statm: 331021 330390 310 324 0 330091 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 1324084

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/78 3390
/proc/meminfo: memFree=354240/2055920 swapFree=4147184/4192956
[pid=3191] ppid=3189 vsize=1346376 CPUtime=1541.78
/proc/3191/stat : 3191 (bsolo3.0.17) R 3189 3191 2742 0 -1 4194304 336967 0 0 0 154016 162 0 0 25 0 1 0 242368502 1378689024 335971 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3191/statm: 336594 335971 310 324 0 335664 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 1346376

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/78 3390
/proc/meminfo: memFree=345280/2055920 swapFree=4147184/4192956
[pid=3191] ppid=3189 vsize=1355296 CPUtime=1601.77
/proc/3191/stat : 3191 (bsolo3.0.17) R 3189 3191 2742 0 -1 4194304 339191 0 0 0 160013 164 0 0 25 0 1 0 242368502 1387823104 338195 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550896 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3191/statm: 338824 338195 310 324 0 337894 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 1355296

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/78 3390
/proc/meminfo: memFree=345088/2055920 swapFree=4147184/4192956
[pid=3191] ppid=3189 vsize=1355440 CPUtime=1661.75
/proc/3191/stat : 3191 (bsolo3.0.17) R 3189 3191 2742 0 -1 4194304 339226 0 0 0 166011 164 0 0 25 0 1 0 242368502 1387970560 338230 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3191/statm: 338860 338230 310 324 0 337930 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 1355440

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/78 3390
/proc/meminfo: memFree=344896/2055920 swapFree=4147184/4192956
[pid=3191] ppid=3189 vsize=1355560 CPUtime=1721.73
/proc/3191/stat : 3191 (bsolo3.0.17) R 3189 3191 2742 0 -1 4194304 339262 0 0 0 172008 165 0 0 25 0 1 0 242368502 1388093440 338266 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3191/statm: 338890 338266 310 324 0 337960 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 1355560

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/78 3390
/proc/meminfo: memFree=343936/2055920 swapFree=4147184/4192956
[pid=3191] ppid=3189 vsize=1356516 CPUtime=1781.71
/proc/3191/stat : 3191 (bsolo3.0.17) R 3189 3191 2742 0 -1 4194304 339494 0 0 0 178006 165 0 0 25 0 1 0 242368502 1389072384 338498 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551048 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3191/statm: 339129 338498 310 324 0 338199 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 1356516



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 0.91 2/78 3390
/proc/meminfo: memFree=342592/2055920 swapFree=4147184/4192956
[pid=3191] ppid=3189 vsize=1357824 CPUtime=1800.02
/proc/3191/stat : 3191 (bsolo3.0.17) R 3189 3191 2742 0 -1 4194304 339827 0 0 0 179837 165 0 0 25 0 1 0 242368502 1390411776 338831 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3191/statm: 339456 338831 310 324 0 338526 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1357824

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

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

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 0.91 2/78 3390
/proc/meminfo: memFree=342592/2055920 swapFree=4147184/4192956
[pid=3191] ppid=3189 vsize=0 CPUtime=1800.21
/proc/3191/stat : 3191 (bsolo3.0.17) R 3189 3191 2742 0 -1 4194308 339831 0 0 0 179837 184 0 0 25 0 1 0 242368502 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/3191/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.21
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 1800.83
CPU time (s): 1800.25
CPU user time (s): 1798.37
CPU system time (s): 1.87671
CPU usage (%): 99.9677
Max. virtual memory (cumulated for all children) (KiB): 1357824

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

runsolver used 1.40878 second user time and 3.83742 second system time

The end

Launcher Data (download as text)

Begin job on node18 on Mon Apr 30 14:48:31 UTC 2007

IDJOB= 432523
IDBENCH= 1510
IDSOLVER= 199
FILE ID= node18/432523-1177944511

PBS_JOBID= 4727671

Free space on /tmp= 66558 MiB

SOLVER NAME= bsolo 3.0.17
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.17 -m1800 /tmp/evaluation/432523-1177944511/instance-432523-1177944511.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node18/watcher-432523-1177944511 -o ROOT/results/node18/solver-432523-1177944511 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/432523-1177944511/instance-432523-1177944511.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  3f00532e02ccc246cb25b1a4f0a837d4

RANDOM SEED= 64567683

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node18.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.234
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.234
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:       1700064 kB
Buffers:         40044 kB
Cached:         220832 kB
SwapCached:      14456 kB
Active:         110196 kB
Inactive:       173752 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1700064 kB
SwapTotal:     4192956 kB
SwapFree:      4147184 kB
Dirty:            7340 kB
Writeback:           0 kB
Mapped:          30104 kB
Slab:            57488 kB
Committed_AS:  5535368 kB
PageTables:       1776 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= 66558 MiB

End job on node18 on Mon Apr 30 15:18:34 UTC 2007