Trace number 432758

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)609 1800.3 1800.83

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
MIPLIB/miplib/normalized-reduced-mps-v2-20-10-air02.opb
MD5SUMd237957d2db9f550f313e8cfb724f264
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark313
Best CPU time to get the best result obtained on this benchmark1.57276
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 313
Optimality of the best value was proved YES
Number of variables6774
Total number of constraints50
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)50
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint20
Maximum length of a constraint3729
Number of terms in the objective function 6774
Biggest coefficient in the objective function 381
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 527695
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 381
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 527695
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data (download as text)

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

Verifier Data (download as text)

OK	609

Watcher Data (download as text)

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

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

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.94 3/64 22752
/proc/meminfo: memFree=1789688/2055920 swapFree=4184260/4192956
[pid=22752] ppid=22750 vsize=12336 CPUtime=0
/proc/22752/stat : 22752 (bsolo3.0.17) R 22750 22752 21415 0 -1 4194304 362 0 0 0 0 0 0 0 18 0 1 0 270897959 12632064 332 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7640699 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22752/statm: 3084 333 279 324 0 2004 0

[startup+0.00777006 s]
/proc/loadavg: 0.92 0.98 0.94 3/64 22752
/proc/meminfo: memFree=1789688/2055920 swapFree=4184260/4192956
[pid=22752] ppid=22750 vsize=12472 CPUtime=0
/proc/22752/stat : 22752 (bsolo3.0.17) R 22750 22752 21415 0 -1 4194304 391 0 0 0 0 0 0 0 18 0 1 0 270897959 12771328 361 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22752/statm: 3118 362 283 324 0 2038 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12472

[startup+0.101782 s]
/proc/loadavg: 0.92 0.98 0.94 3/64 22752
/proc/meminfo: memFree=1789688/2055920 swapFree=4184260/4192956
[pid=22752] ppid=22750 vsize=14324 CPUtime=0.09
/proc/22752/stat : 22752 (bsolo3.0.17) R 22750 22752 21415 0 -1 4194304 969 0 0 0 9 0 0 0 18 0 1 0 270897959 14667776 939 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586828 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22752/statm: 3581 939 405 324 0 2501 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14324

[startup+0.301809 s]
/proc/loadavg: 0.92 0.98 0.94 3/64 22752
/proc/meminfo: memFree=1789688/2055920 swapFree=4184260/4192956
[pid=22752] ppid=22750 vsize=15948 CPUtime=0.29
/proc/22752/stat : 22752 (bsolo3.0.17) R 22750 22752 21415 0 -1 4194304 1561 0 0 0 29 0 0 0 19 0 1 0 270897959 16330752 1381 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7634975 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22752/statm: 3987 1381 303 324 0 3057 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15948

[startup+0.701864 s]
/proc/loadavg: 0.92 0.98 0.94 3/64 22752
/proc/meminfo: memFree=1789688/2055920 swapFree=4184260/4192956
[pid=22752] ppid=22750 vsize=15948 CPUtime=0.69
/proc/22752/stat : 22752 (bsolo3.0.17) R 22750 22752 21415 0 -1 4194304 1566 0 0 0 69 0 0 0 22 0 1 0 270897959 16330752 1386 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7635096 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22752/statm: 3987 1386 303 324 0 3057 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15948

[startup+1.50197 s]
/proc/loadavg: 0.92 0.98 0.94 2/65 22753
/proc/meminfo: memFree=1785264/2055920 swapFree=4184260/4192956
[pid=22752] ppid=22750 vsize=15948 CPUtime=1.49
/proc/22752/stat : 22752 (bsolo3.0.17) R 22750 22752 21415 0 -1 4194304 1572 0 0 0 149 0 0 0 25 0 1 0 270897959 16330752 1392 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22752/statm: 3987 1392 303 324 0 3057 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15948

[startup+3.10119 s]
/proc/loadavg: 0.92 0.98 0.94 2/65 22753
/proc/meminfo: memFree=1784880/2055920 swapFree=4184260/4192956
[pid=22752] ppid=22750 vsize=15948 CPUtime=3.09
/proc/22752/stat : 22752 (bsolo3.0.17) R 22750 22752 21415 0 -1 4194304 1584 0 0 0 309 0 0 0 25 0 1 0 270897959 16330752 1404 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22752/statm: 3987 1404 303 324 0 3057 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15948

[startup+6.30163 s]
/proc/loadavg: 0.93 0.98 0.94 2/65 22753
/proc/meminfo: memFree=1784816/2055920 swapFree=4184260/4192956
[pid=22752] ppid=22750 vsize=15948 CPUtime=6.29
/proc/22752/stat : 22752 (bsolo3.0.17) R 22750 22752 21415 0 -1 4194304 1587 0 0 0 629 0 0 0 25 0 1 0 270897959 16330752 1407 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134567639 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22752/statm: 3987 1407 303 324 0 3057 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15948

[startup+12.7015 s]
/proc/loadavg: 0.93 0.98 0.94 2/65 22753
/proc/meminfo: memFree=1784952/2055920 swapFree=4184260/4192956
[pid=22752] ppid=22750 vsize=15948 CPUtime=12.69
/proc/22752/stat : 22752 (bsolo3.0.17) R 22750 22752 21415 0 -1 4194304 1587 0 0 0 1268 1 0 0 25 0 1 0 270897959 16330752 1407 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7639127 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22752/statm: 3987 1407 303 324 0 3057 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15948

[startup+25.5012 s]
/proc/loadavg: 0.95 0.98 0.94 2/65 22753
/proc/meminfo: memFree=1765560/2055920 swapFree=4184260/4192956
[pid=22752] ppid=22750 vsize=27516 CPUtime=25.48
/proc/22752/stat : 22752 (bsolo3.0.17) R 22750 22752 21415 0 -1 4194304 7250 0 0 0 2545 3 0 0 25 0 1 0 270897959 28176384 6256 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22752/statm: 6879 6256 310 324 0 5949 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 27516

[startup+51.1017 s]
/proc/loadavg: 0.96 0.98 0.94 2/65 22753
/proc/meminfo: memFree=1722552/2055920 swapFree=4184260/4192956
[pid=22752] ppid=22750 vsize=71536 CPUtime=51.07
/proc/22752/stat : 22752 (bsolo3.0.17) R 22750 22752 21415 0 -1 4194304 18270 0 0 0 5100 7 0 0 25 0 1 0 270897959 73252864 17276 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091726 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22752/statm: 17884 17276 310 324 0 16954 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 71536

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.94 2/65 22753
/proc/meminfo: memFree=1637048/2055920 swapFree=4184260/4192956
[pid=22752] ppid=22750 vsize=156440 CPUtime=102.26
/proc/22752/stat : 22752 (bsolo3.0.17) R 22750 22752 21415 0 -1 4194304 39495 0 0 0 10208 18 0 0 25 0 1 0 270897959 160194560 38501 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550919 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22752/statm: 39110 38501 310 324 0 38180 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 156440

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 22753
/proc/meminfo: memFree=1559160/2055920 swapFree=4184260/4192956
[pid=22752] ppid=22750 vsize=234440 CPUtime=162.24
/proc/22752/stat : 22752 (bsolo3.0.17) R 22750 22752 21415 0 -1 4194304 58989 0 0 0 16195 29 0 0 25 0 1 0 270897959 240066560 57995 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22752/statm: 58610 57995 310 324 0 57680 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 234440

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 22753
/proc/meminfo: memFree=1488376/2055920 swapFree=4184260/4192956
[pid=22752] ppid=22750 vsize=304364 CPUtime=222.22
/proc/22752/stat : 22752 (bsolo3.0.17) R 22750 22752 21415 0 -1 4194304 76451 0 0 0 22186 36 0 0 25 0 1 0 270897959 311668736 75457 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7638867 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22752/statm: 76091 75457 310 324 0 75161 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 304364

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 22753
/proc/meminfo: memFree=1434232/2055920 swapFree=4184260/4192956
[pid=22752] ppid=22750 vsize=359192 CPUtime=282.2
/proc/22752/stat : 22752 (bsolo3.0.17) R 22750 22752 21415 0 -1 4194304 90169 0 0 0 28180 40 0 0 25 0 1 0 270897959 367812608 89175 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550899 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22752/statm: 89798 89175 310 324 0 88868 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 359192

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 22753
/proc/meminfo: memFree=1382456/2055920 swapFree=4184260/4192956
[pid=22752] ppid=22750 vsize=409960 CPUtime=342.18
/proc/22752/stat : 22752 (bsolo3.0.17) R 22750 22752 21415 0 -1 4194304 102853 0 0 0 34173 45 0 0 25 0 1 0 270897959 419799040 101859 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551081 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22752/statm: 102490 101859 310 324 0 101560 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 409960

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 22753
/proc/meminfo: memFree=1324856/2055920 swapFree=4184260/4192956
[pid=22752] ppid=22750 vsize=468772 CPUtime=402.17
/proc/22752/stat : 22752 (bsolo3.0.17) R 22750 22752 21415 0 -1 4194304 117568 0 0 0 40165 52 0 0 25 0 1 0 270897959 480022528 116574 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550899 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22752/statm: 117193 116574 310 324 0 116263 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 468772

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 22753
/proc/meminfo: memFree=1292280/2055920 swapFree=4184260/4192956
[pid=22752] ppid=22750 vsize=500004 CPUtime=462.15
/proc/22752/stat : 22752 (bsolo3.0.17) R 22750 22752 21415 0 -1 4194304 125375 0 0 0 46160 55 0 0 25 0 1 0 270897959 512004096 124381 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22752/statm: 125001 124381 310 324 0 124071 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 500004

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 22753
/proc/meminfo: memFree=1231864/2055920 swapFree=4184260/4192956
[pid=22752] ppid=22750 vsize=561176 CPUtime=522.13
/proc/22752/stat : 22752 (bsolo3.0.17) R 22750 22752 21415 0 -1 4194304 140661 0 0 0 52151 62 0 0 25 0 1 0 270897959 574644224 139667 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550899 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22752/statm: 140294 139667 310 324 0 139364 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 561176

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 22753
/proc/meminfo: memFree=1142968/2055920 swapFree=4184260/4192956
[pid=22752] ppid=22750 vsize=651152 CPUtime=582.11
/proc/22752/stat : 22752 (bsolo3.0.17) R 22750 22752 21415 0 -1 4194304 163174 0 0 0 58140 71 0 0 25 0 1 0 270897959 666779648 162180 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22752/statm: 162788 162180 310 324 0 161858 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 651152

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 22753
/proc/meminfo: memFree=1104760/2055920 swapFree=4184260/4192956
[pid=22752] ppid=22750 vsize=687056 CPUtime=642.1
/proc/22752/stat : 22752 (bsolo3.0.17) R 22750 22752 21415 0 -1 4194304 172138 0 0 0 64135 75 0 0 25 0 1 0 270897959 703545344 171144 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551273 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22752/statm: 171764 171144 310 324 0 170834 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 687056


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 22753
/proc/meminfo: memFree=923576/2055920 swapFree=4184260/4192956
[pid=22752] ppid=22750 vsize=868112 CPUtime=882.03
/proc/22752/stat : 22752 (bsolo3.0.17) R 22750 22752 21415 0 -1 4194304 217393 0 0 0 88109 94 0 0 25 0 1 0 270897959 888946688 216399 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550919 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22752/statm: 217028 216399 310 324 0 216098 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 868112

[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 22753
/proc/meminfo: memFree=886200/2055920 swapFree=4184260/4192956
[pid=22752] ppid=22750 vsize=905924 CPUtime=942.01
/proc/22752/stat : 22752 (bsolo3.0.17) R 22750 22752 21415 0 -1 4194304 226864 0 0 0 94103 98 0 0 25 0 1 0 270897959 927666176 225870 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134574500 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22752/statm: 226481 225870 310 324 0 225551 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 905924

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 22753
/proc/meminfo: memFree=844216/2055920 swapFree=4184260/4192956
[pid=22752] ppid=22750 vsize=947492 CPUtime=1001.99
/proc/22752/stat : 22752 (bsolo3.0.17) R 22750 22752 21415 0 -1 4194304 237255 0 0 0 100097 102 0 0 25 0 1 0 270897959 970231808 236261 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091710 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22752/statm: 236873 236261 310 324 0 235943 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 947492

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 22753
/proc/meminfo: memFree=820408/2055920 swapFree=4184260/4192956
[pid=22752] ppid=22750 vsize=970980 CPUtime=1061.98
/proc/22752/stat : 22752 (bsolo3.0.17) R 22750 22752 21415 0 -1 4194304 243116 0 0 0 106093 105 0 0 25 0 1 0 270897959 994283520 242122 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22752/statm: 242745 242122 310 324 0 241815 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 970980

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 22753
/proc/meminfo: memFree=809016/2055920 swapFree=4184260/4192956
[pid=22752] ppid=22750 vsize=982248 CPUtime=1121.95
/proc/22752/stat : 22752 (bsolo3.0.17) R 22750 22752 21415 0 -1 4194304 245931 0 0 0 112089 106 0 0 25 0 1 0 270897959 1005821952 244937 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22752/statm: 245562 244937 310 324 0 244632 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 982248

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 22753
/proc/meminfo: memFree=772600/2055920 swapFree=4184260/4192956
[pid=22752] ppid=22750 vsize=1019900 CPUtime=1181.95
/proc/22752/stat : 22752 (bsolo3.0.17) R 22750 22752 21415 0 -1 4194304 255342 0 0 0 118084 111 0 0 25 0 1 0 270897959 1044377600 254348 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22752/statm: 254975 254348 310 324 0 254045 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 1019900

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 22753
/proc/meminfo: memFree=740600/2055920 swapFree=4184260/4192956
[pid=22752] ppid=22750 vsize=1051112 CPUtime=1241.93
/proc/22752/stat : 22752 (bsolo3.0.17) R 22750 22752 21415 0 -1 4194304 263146 0 0 0 124079 114 0 0 25 0 1 0 270897959 1076338688 262152 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7638759 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22752/statm: 262778 262152 310 324 0 261848 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 1051112

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 22753
/proc/meminfo: memFree=711736/2055920 swapFree=4184260/4192956
[pid=22752] ppid=22750 vsize=1079324 CPUtime=1301.91
/proc/22752/stat : 22752 (bsolo3.0.17) R 22750 22752 21415 0 -1 4194304 270200 0 0 0 130074 117 0 0 25 0 1 0 270897959 1105227776 269206 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550919 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22752/statm: 269831 269206 310 324 0 268901 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 1079324

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 22753
/proc/meminfo: memFree=705272/2055920 swapFree=4184260/4192956
[pid=22752] ppid=22750 vsize=1085800 CPUtime=1361.89
/proc/22752/stat : 22752 (bsolo3.0.17) R 22750 22752 21415 0 -1 4194304 271830 0 0 0 136071 118 0 0 25 0 1 0 270897959 1111859200 270836 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22752/statm: 271450 270836 310 324 0 270520 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 1085800

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 22753
/proc/meminfo: memFree=680504/2055920 swapFree=4184260/4192956
[pid=22752] ppid=22750 vsize=1110524 CPUtime=1421.88
/proc/22752/stat : 22752 (bsolo3.0.17) R 22750 22752 21415 0 -1 4194304 277995 0 0 0 142068 120 0 0 25 0 1 0 270897959 1137176576 277001 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551076 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22752/statm: 277631 277001 310 324 0 276701 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 1110524

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 22753
/proc/meminfo: memFree=640440/2055920 swapFree=4184260/4192956
[pid=22752] ppid=22750 vsize=1151592 CPUtime=1481.86
/proc/22752/stat : 22752 (bsolo3.0.17) R 22750 22752 21415 0 -1 4194304 288263 0 0 0 148062 124 0 0 25 0 1 0 270897959 1179230208 287269 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22752/statm: 287898 287269 310 324 0 286968 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 1151592

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 22753
/proc/meminfo: memFree=595000/2055920 swapFree=4184260/4192956
[pid=22752] ppid=22750 vsize=1196440 CPUtime=1541.83
/proc/22752/stat : 22752 (bsolo3.0.17) R 22750 22752 21415 0 -1 4194304 299493 0 0 0 154055 128 0 0 25 0 1 0 270897959 1225154560 298499 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22752/statm: 299110 298499 310 324 0 298180 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 1196440

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 22753
/proc/meminfo: memFree=549176/2055920 swapFree=4184260/4192956
[pid=22752] ppid=22750 vsize=1242572 CPUtime=1601.82
/proc/22752/stat : 22752 (bsolo3.0.17) R 22750 22752 21415 0 -1 4194304 311026 0 0 0 160049 133 0 0 25 0 1 0 270897959 1272393728 310032 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22752/statm: 310643 310032 310 324 0 309713 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 1242572

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 22753
/proc/meminfo: memFree=524280/2055920 swapFree=4184260/4192956
[pid=22752] ppid=22750 vsize=1266752 CPUtime=1661.8
/proc/22752/stat : 22752 (bsolo3.0.17) R 22750 22752 21415 0 -1 4194304 317072 0 0 0 166044 136 0 0 25 0 1 0 270897959 1297154048 316078 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551315 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22752/statm: 316688 316078 310 324 0 315758 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 1266752

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 22753
/proc/meminfo: memFree=495928/2055920 swapFree=4184260/4192956
[pid=22752] ppid=22750 vsize=1295072 CPUtime=1721.78
/proc/22752/stat : 22752 (bsolo3.0.17) R 22750 22752 21415 0 -1 4194304 324129 0 0 0 172038 140 0 0 25 0 1 0 270897959 1326153728 323135 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22752/statm: 323768 323135 310 324 0 322838 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 1295072

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 22753
/proc/meminfo: memFree=476664/2055920 swapFree=4184260/4192956
[pid=22752] ppid=22750 vsize=1314120 CPUtime=1781.77
/proc/22752/stat : 22752 (bsolo3.0.17) R 22750 22752 21415 0 -1 4194304 328887 0 0 0 178035 142 0 0 25 0 1 0 270897959 1345658880 327893 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551273 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22752/statm: 328530 327893 310 324 0 327600 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 1314120



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 22753
/proc/meminfo: memFree=469816/2055920 swapFree=4184260/4192956
[pid=22752] ppid=22750 vsize=1320888 CPUtime=1800.07
/proc/22752/stat : 22752 (bsolo3.0.17) R 22750 22752 21415 0 -1 4194304 330583 0 0 0 179864 143 0 0 25 0 1 0 270897959 1352589312 329589 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550902 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22752/statm: 330222 329589 310 324 0 329292 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1320888

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: 0.99 0.98 0.94 2/65 22753
/proc/meminfo: memFree=469816/2055920 swapFree=4184260/4192956
[pid=22752] ppid=22750 vsize=0 CPUtime=1800.26
/proc/22752/stat : 22752 (bsolo3.0.17) R 22750 22752 21415 0 -1 4194308 330587 0 0 0 179864 162 0 0 25 0 1 0 270897959 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/22752/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.26
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 1800.83
CPU time (s): 1800.3
CPU user time (s): 1798.65
CPU system time (s): 1.64875
CPU usage (%): 99.9706
Max. virtual memory (cumulated for all children) (KiB): 1320888

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

runsolver used 1.42378 second user time and 3.50747 second system time

The end

Launcher Data (download as text)

Begin job on node71 on Mon Apr 30 16:04:46 UTC 2007

IDJOB= 432758
IDBENCH= 1765
IDSOLVER= 199
FILE ID= node71/432758-1177949086

PBS_JOBID= 4727528

Free space on /tmp= 66558 MiB

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

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  d237957d2db9f550f313e8cfb724f264

RANDOM SEED= 971047897

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node71.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:       1790096 kB
Buffers:         32688 kB
Cached:         152472 kB
SwapCached:       2792 kB
Active:          96372 kB
Inactive:        98960 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1790096 kB
SwapTotal:     4192956 kB
SwapFree:      4184260 kB
Dirty:            7172 kB
Writeback:           0 kB
Mapped:          16148 kB
Slab:            56488 kB
Committed_AS:  3759360 kB
PageTables:       1452 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 node71 on Mon Apr 30 16:34:49 UTC 2007