Trace number 372561

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
minisat+ 1.14SAT (TO)29 1800.08 1800.53

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data (download as text)

0.00/0.00	c Parsing PB file...
0.68/0.73	c Converting 23708 PB-constraints to clauses...
0.68/0.73	c   -- Unit propagations: ppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppp
0.68/0.75	c   -- Detecting intervals from adjacent constraints: #########
0.68/0.75	c   -- Clauses(.)/Splits(s): ...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
0.79/0.80	c ---[23167]---> BDD-cost:    1
0.79/0.80	c ---[21488]---> BDD-cost:    1
0.79/0.80	c ---[20684]---> BDD-cost:    1
0.79/0.80	c ---[20329]---> BDD-cost:    1
0.79/0.80	c ---[20220]---> BDD-cost:    1
0.79/0.80	c ---[20176]---> BDD-cost:    1
0.79/0.80	c ---[20165]---> BDD-cost:    1
0.79/0.80	c ---[20160]---> BDD-cost:    1
0.79/0.80	c ---[20158]---> BDD-cost:    1
0.79/0.81	c ==================================[MINISAT+]==================================
0.79/0.81	c | Conflicts | Original         | Learnt                           | Progress |
0.79/0.81	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
0.79/0.81	c ==============================================================================
0.79/0.81	c |         0 |   20869    50550 |    6956       0        0     nan |  0.000 % |
0.79/0.81	c ==============================================================================
0.79/0.81	c Found solution: 31
0.79/0.81	o 31
0.79/0.85	c ---[   0]---> Adder-cost: 6348   maxlim: 3149   bits: 12/12
7.59/7.64	c ==================================[MINISAT+]==================================
7.59/7.64	c | Conflicts | Original         | Learnt                           | Progress |
7.59/7.64	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
7.59/7.64	c ==============================================================================
7.59/7.64	c |         7 |   64447   207431 |   21482       6       87    14.5 |  0.000 % |
7.69/7.71	c |       107 |   64129   206297 |   23630      61      288     4.7 |  9.139 % |
7.78/7.81	c |       258 |   63841   205319 |   25993     170      676     4.0 |  9.499 % |
7.78/7.88	c |       483 |   63798   205180 |   28592     389     1459     3.8 |  9.563 % |
7.98/8.02	c |       820 |   63748   205010 |   31451     717     3056     4.3 |  9.626 % |
8.18/8.27	c |      1326 |   63698   204848 |   34596    1213     5394     4.4 |  9.697 % |
8.58/8.70	c |      2085 |   63698   204848 |   38056    1972    11644     5.9 |  9.697 % |
8.98/9.01	c |      3224 |   63689   204819 |   41862    3110    46701    15.0 |  9.711 % |
9.48/9.56	c |      4936 |   63689   204819 |   46048    4822   128291    26.6 |  9.711 % |
10.28/10.32	c |      7498 |   63689   204819 |   50653    7384   323087    43.8 |  9.711 % |
11.88/12.00	c |     11343 |   63689   204819 |   55718   11229   608873    54.2 |  9.711 % |
13.98/14.05	c |     17110 |   63689   204819 |   61290   16996  1140211    67.1 |  9.711 % |
18.88/18.90	c |     25761 |   63689   204819 |   67419   25647  2280701    88.9 |  9.711 % |
27.58/27.62	c |     38736 |   63689   204819 |   74161   38622  3752536    97.2 |  9.711 % |
47.47/47.53	c |     58197 |   63689   204819 |   81577   58083  6112068   105.2 |  9.711 % |
86.06/86.16	c |     87389 |   63689   204819 |   89735   22309  2073517    92.9 |  9.711 % |
127.05/127.13	c |    131181 |   63689   204819 |   98709   66101  7653558   115.8 |  9.711 % |
216.73/216.82	c |    196865 |   63689   204819 |  108580   47368  5297783   111.8 |  9.711 % |
338.81/338.90	c ==============================================================================
338.81/338.90	c Found solution: 30
338.81/338.90	o 30
338.81/338.95	c ---[   0]---> Adder-cost: 0   maxlim: 3150   bits: 12/12
345.81/345.90	c ==================================[MINISAT+]==================================
345.81/345.90	c | Conflicts | Original         | Learnt                           | Progress |
345.81/345.90	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
345.81/345.90	c ==============================================================================
345.81/345.90	c |    273446 |   63694   204838 |   21231   32966  2611003    79.2 |  9.711 % |
346.01/346.10	c |    273546 |   63694   204838 |   23354   16280  1217145    74.8 |  9.717 % |
346.11/346.25	c |    273696 |   63694   204838 |   25689   16430  1217837    74.1 |  9.717 % |
346.51/346.63	c |    273921 |   63694   204838 |   28258   16655  1219039    73.2 |  9.717 % |
346.71/346.88	c |    274259 |   63694   204838 |   31084   16993  1227162    72.2 |  9.717 % |
347.11/347.25	c |    274765 |   63694   204838 |   34192   17499  1239547    70.8 |  9.717 % |
347.51/347.64	c |    275524 |   63694   204838 |   37612   18258  1273721    69.8 |  9.717 % |
348.01/348.12	c |    276663 |   63694   204838 |   41373   19397  1363068    70.3 |  9.717 % |
348.90/349.07	c |    278377 |   63694   204838 |   45510   21111  1500693    71.1 |  9.717 % |
350.51/350.62	c |    280940 |   63694   204838 |   50061   23674  1737849    73.4 |  9.717 % |
353.20/353.31	c |    284785 |   63694   204838 |   55067   27519  2098559    76.3 |  9.717 % |
356.70/356.89	c |    290555 |   63694   204838 |   60574   33289  2669975    80.2 |  9.717 % |
365.00/365.15	c |    299205 |   63694   204838 |   66631   41939  3504178    83.6 |  9.717 % |
380.30/380.42	c |    312181 |   63694   204838 |   73295   54915  4715634    85.9 |  9.717 % |
409.29/409.43	c |    331642 |   63694   204838 |   80624   74376  7468647   100.4 |  9.717 % |
434.78/434.91	c |    360835 |   63694   204838 |   88687   38441  3932894   102.3 |  9.717 % |
496.56/496.75	c |    404627 |   63694   204838 |   97555   82233  8118675    98.7 |  9.717 % |
609.14/609.32	c |    470311 |   63694   204838 |  107311   68925  7479825   108.5 |  9.717 % |
783.89/784.10	c |    568837 |   63694   204838 |  118042   77558  9122957   117.6 |  9.717 % |
929.06/929.39	c ==============================================================================
929.06/929.39	c Found solution: 29
929.06/929.39	o 29
929.17/929.44	c ---[   0]---> Adder-cost: 0   maxlim: 3151   bits: 12/12
936.26/936.53	c ==================================[MINISAT+]==================================
936.26/936.53	c | Conflicts | Original         | Learnt                           | Progress |
936.26/936.53	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
936.26/936.53	c ==============================================================================
936.26/936.53	c |    656189 |   63695   204841 |   21231   62092  8378875   134.9 |  9.717 % |
936.66/936.93	c |    656290 |   63695   204841 |   23354   15959  2057510   128.9 |  9.723 % |
936.76/937.04	c |    656441 |   63467   204051 |   25689   16037  2058398   128.4 | 10.006 % |
936.96/937.27	c |    656666 |   63390   203784 |   28258   16237  2059855   126.9 | 10.097 % |
937.26/937.54	c |    657004 |   63138   202911 |   31084   16527  2065217   125.0 | 10.408 % |
937.46/937.72	c |    657511 |   63138   202911 |   34192   17034  2095377   123.0 | 10.408 % |
937.86/938.14	c |    658270 |   63138   202911 |   37612   17793  2120579   119.2 | 10.408 % |
938.56/938.80	c |    659409 |   63115   202832 |   41373   18916  2182611   115.4 | 10.436 % |
939.36/939.67	c |    661117 |   63106   202801 |   45510   20621  2352958   114.1 | 10.443 % |
940.86/941.17	c |    663679 |   63106   202801 |   50061   23183  2672123   115.3 | 10.443 % |
943.26/943.56	c |    667523 |   63106   202801 |   55067   27027  3074693   113.8 | 10.443 % |
947.86/948.12	c |    673289 |   63106   202801 |   60574   32793  3844509   117.2 | 10.443 % |
956.55/956.88	c |    681946 |   63106   202801 |   66631   41450  5324789   128.5 | 10.443 % |
970.85/971.13	c |    694920 |   62888   202043 |   73295   54395  7427058   136.5 | 10.712 % |
995.04/995.35	c |    714382 |   62888   202043 |   80624   73857  9937767   134.6 | 10.712 % |
1034.04/1034.35	c |    743575 |   62888   202043 |   88687   37882  4359930   115.1 | 10.712 % |
1096.52/1096.85	c |    787364 |   62888   202043 |   97555   81671  8545808   104.6 | 10.712 % |
1189.00/1189.36	c |    853048 |   62882   202023 |  107311   64321  9947001   154.6 | 10.719 % |
1348.46/1348.89	c |    951577 |   62882   202023 |  118042   72261  9892790   136.9 | 10.719 % |
1639.38/1639.87	c |   1099368 |   62882   202023 |  129846  119853 15878339   132.5 | 10.719 % |
1800.05/1800.50	c 
1800.05/1800.50	c *** TERMINATED ***
1800.05/1800.50	s SATISFIABLE
1800.05/1800.50	v -x232 -x234 -x236 x238 -x240 -x242 -x244 -x246 -x248 -x250 -x252 -x254 -x256 -x258 -x260 -x262 -x264 -x266 -x268 -x270 -x272
1800.05/1800.50	v -x274 -x276 -x278 -x280 -x282 -x284 -x286 -x288 -x290 -x292 -x294 -x296 -x298 -x300 -x302 -x304 -x306 -x308 -x310 x312 -x314
1800.05/1800.50	v -x316 -x318 -x320 -x322 -x324 -x326 -x328 -x330 -x332 -x334 -x336 -x338 -x340 x342 -x344 -x346 -x348 -x350 -x352 -x354 -x356
1800.05/1800.50	v -x358 -x360 -x362 x364 -x366 -x368 -x370 -x372 -x374 -x376 -x378 -x380 -x382 -x384 -x386 -x388 -x390 -x392 -x394 -x396 -x398
1800.05/1800.50	v -x400 -x402 -x404 -x406 -x408 -x410 -x412 -x414 -x416 -x418 -x420 -x422 -x424 -x426 -x428 -x430 -x432 -x434 -x436 -x438 -x440
1800.05/1800.50	v -x442 -x444 -x446 -x448 -x450 -x452 -x454 -x456 -x458 -x460 -x462 -x464 -x466 -x468 -x470 -x472 -x474 -x476 -x478 -x480 -x482
1800.05/1800.50	v -x484 -x486 -x488 -x490 -x492 -x494 -x496 -x498 -x500 -x502 -x504 -x506 -x508 -x510 -x512 -x514 -x516 -x518 -x520 -x522 -x524
1800.05/1800.50	v -x526 -x528 x530 -x532 -x534 -x536 -x538 -x540 -x542 -x544 -x546 -x548 -x550 -x552 -x554 -x556 -x558 -x560 -x562 -x564 -x566
1800.05/1800.50	v -x568 -x570 -x572 -x574 -x576 -x578 -x580 -x582 -x584 -x586 -x588 -x590 -x592 -x594 -x596 -x598 -x600 -x602 -x604 -x606 -x608
1800.05/1800.50	v -x610 -x612 -x614 -x616 -x618 -x620 -x622 -x624 -x626 -x628 -x630 -x632 -x634 -x636 -x638 -x640 -x642 -x644 -x646 -x648 -x650
1800.05/1800.50	v -x652 -x654 -x656 -x658 -x660 -x662 -x664 -x666 -x668 -x670 -x672 -x674 -x676 -x678 -x680 -x682 -x684 -x686 -x688 -x690 -x692
1800.05/1800.50	v -x694 -x696 -x698 -x700 -x702 -x704 -x706 -x708 -x710 -x712 -x714 -x716 -x718 -x720 -x722 -x724 -x726 -x728 -x730 -x732 -x734
1800.05/1800.50	v -x736 -x738 -x740 -x742 -x744 -x746 -x748 -x750 -x752 -x754 -x756 -x758 -x760 -x762 -x764 -x766 -x768 -x770 -x772 -x774 -x776
1800.05/1800.50	v -x778 -x780 -x782 -x784 -x786 -x788 -x790 -x792 -x794 -x796 -x798 -x800 -x802 -x804 -x806 -x808 -x810 -x812 -x814 -x816 -x818
1800.05/1800.50	v -x820 -x822 -x824 -x826 -x828 -x830 -x832 -x834 -x836 -x838 -x840 -x842 -x844 -x846 -x848 -x850 -x852 -x854 -x856 -x858 -x860
1800.05/1800.50	v -x862 -x864 -x866 -x868 -x870 -x872 -x874 -x876 -x878 -x880 -x882 -x884 -x886 -x888 -x890 -x892 -x894 -x896 -x898 -x900 -x902
1800.05/1800.50	v -x904 -x906 -x908 -x910 -x912 -x914 -x916 -x918 -x920 -x922 -x924 -x926 -x928 -x930 -x932 -x934 -x936 -x938 -x940 -x942 -x944
1800.05/1800.50	v -x946 -x948 -x950 -x952 -x954 -x956 -x958 -x960 -x962 -x964 -x966 -x968 -x970 -x972 -x974 -x976 -x978 -x980 -x982 -x984 -x986
1800.05/1800.50	v -x988 -x990 -x992 -x994 -x996 -x998 -x1000 -x1002 -x1004 -x1006 -x1008 -x1010 -x1012 -x1014 -x1016 -x1018 -x1020 -x1022
1800.05/1800.50	v -x1024 -x1026 -x1028 -x1030 -x1032 -x1034 -x1036 -x1038 -x1040 -x1042 -x1044 -x1046 -x1048 -x1050 -x1052 -x1054 -x1056
1800.05/1800.50	v -x1058 -x1060 -x1062 -x1064 -x1066 -x1068 -x1070 -x1072 -x1074 -x1076 -x1078 -x1080 -x1082 -x1084 -x1086 -x1088 x1090
1800.05/1800.50	v -x1092 -x1094 -x1096 -x1098 -x1100 -x1102 -x1104 -x1106 -x1108 -x1110 -x1112 -x1114 -x1116 -x1118 -x1120 -x1122 -x1124
1800.05/1800.50	v -x1126 -x1128 -x1130 -x1132 -x1134 -x1136 -x1138 -x1140 -x1142 -x1144 -x1146 -x1148 -x1150 -x1152 -x1154 -x1156 -x1158
1800.05/1800.50	v -x1160 -x1162 -x1164 -x1166 -x1168 -x1170 -x1172 -x1174 -x1176 -x1178 -x1180 -x1182 -x1184 -x1186 -x1188 -x1190 -x1192
1800.05/1800.50	v -x1194 -x1196 -x1198 -x1200 -x1202 -x1204 -x1206 -x1208 -x1210 -x1212 -x1214 -x1216 -x1218 -x1220 -x1222 -x1224 -x1226
1800.05/1800.50	v -x1228 -x1230 -x1232 -x1234 -x1236 -x1238 -x1240 -x1242 -x1244 -x1246 -x1248 -x1250 -x1252 -x1254 -x1256 -x1258 -x1260
1800.05/1800.50	v -x1262 -x1264 -x1266 -x1268 -x1270 -x1272 -x1274 -x1276 -x1278 -x1280 -x1282 -x1284 -x1286 -x1288 -x1290 -x1292 -x1294
1800.05/1800.50	v -x1296 -x1298 -x1300 -x1302 -x1304 -x1306 -x1308 -x1310 -x1312 -x1314 -x1316 -x1318 -x1320 -x1322 -x1324 -x1326 -x1328
1800.05/1800.50	v -x1330 -x1332 -x1334 -x1336 -x1338 -x1340 -x1342 -x1344 -x1346 -x1348 -x1350 -x1352 -x1354 -x1356 -x1358 -x1360 -x1362
1800.05/1800.50	v -x1364 -x1366 -x1368 -x1370 -x1372 -x1374 -x1376 -x1378 -x1380 -x1382 -x1384 -x1386 -x1388 -x1390 -x1392 -x1394 -x1396
1800.05/1800.50	v -x1398 -x1400 -x1402 -x1404 -x1406 -x1408 -x1410 -x1412 -x1414 -x1416 -x1418 -x1420 -x1422 -x1424 -x1426 -x1428 -x1430
1800.05/1800.50	v -x1432 -x1434 -x1436 -x1438 -x1440 -x1442 -x1444 -x1446 -x1448 -x1450 -x1452 -x1454 -x1456 -x1458 -x1460 -x1462 -x1464
1800.05/1800.50	v -x1466 -x1468 -x1470 -x1472 -x1474 -x1476 -x1478 -x1480 -x1482 -x1484 -x1486 -x1488 -x1490 -x1492 -x1494 -x1496 -x1498
1800.05/1800.50	v -x1500 -x1502 -x1504 -x1506 x1508 -x1510 -x1512 -x1514 -x1516 -x1518 -x1520 -x1522 -x1524 -x1526 -x1528 -x1530 -x1532
1800.05/1800.50	v -x1534 -x1536 -x1538 -x1540 -x1542 -x1544 -x1546 -x1548 -x1550 -x1552 -x1554 -x1556 -x1558 -x1560 -x1562 -x1564 -x1566
1800.05/1800.50	v -x1568 -x1570 -x1572 -x1574 -x1576 -x1578 -x1580 -x1582 -x1584 -x1586 -x1588 -x1590 -x1592 -x1594 -x1596 -x1598 -x1600
1800.05/1800.50	v -x1602 -x1604 x1606 -x1608 -x1610 -x1612 -x1614 -x1616 -x1618 -x1620 -x1622 -x1624 -x1626 -x1628 -x1630 -x1632 -x1634
1800.05/1800.50	v -x1636 -x1638 -x1640 -x1642 -x1644 -x1646 -x1648 -x1650 -x1652 -x1654 -x1656 -x1658 -x1660 -x1662 -x1664 -x1666 -x1668
1800.05/1800.50	v -x1670 -x1672 -x1674 -x1676 -x1678 -x1680 -x1682 -x1684 -x1686 -x1688 -x1690 -x1692 -x1694 -x1696 -x1698 -x1700 -x1702
1800.05/1800.50	v -x1704 -x1706 -x1708 -x1710 -x1712 -x1714 -x1716 -x1718 -x1720 -x1722 -x1724 -x1726 -x1728 -x1730 -x1732 -x1734 -x1736
1800.05/1800.50	v -x1738 -x1740 -x1742 -x1744 -x1746 -x1748 -x1750 -x1752 -x1754 -x1756 -x1758 -x1760 -x1762 -x1764 -x1766 -x1768 -x1770
1800.05/1800.50	v -x1772 -x1774 -x1776 -x1778 -x1780 -x1782 -x1784 -x1786 -x1788 -x1790 -x1792 -x1794 -x1796 -x1798 -x1800 -x1802 -x1804
1800.05/1800.50	v -x1806 -x1808 -x1810 -x1812 -x1814 -x1816 -x1818 -x1820 -x1822 -x1824 -x1826 -x1828 -x1830 -x1832 -x1834 -x1836 -x1837
1800.05/1800.50	v -x1839 -x1841 -x1843 -x1845 -x1847 -x1849 -x1851 -x1853 -x1855 -x1857 -x1859 -x1861 -x1863 -x1865 -x1867 -x1869 -x1871
1800.05/1800.50	v -x1873 -x1875 -x1877 -x1879 -x1881 -x1883 -x1885 -x1887 -x1889 -x1891 -x1893 -x1895 -x1897 -x1899 -x1901 -x1903 -x1905
1800.05/1800.50	v -x1907 -x1909 -x1911 -x1913 -x1915 -x1917 -x1919 -x1921 -x1923 -x1925 -x1927 -x1929 -x1931 -x1933 -x1935 -x1937 -x1939
1800.05/1800.50	v -x1941 -x1943 -x1945 -x1947 -x1949 -x1951 -x1953 -x1955 x1957 -x1959 -x1961 -x1963 -x1965 -x1967 -x1969 -x1971 -x1973
1800.05/1800.50	v -x1975 -x1977 -x1979 -x1981 -x1983 -x1985 -x1987 -x1989 -x1991 -x1993 -x1995 -x1997 -x1999 -x2001 -x2003 -x2005 -x2007
1800.05/1800.50	v -x2009 -x2011 -x2013 -x2015 -x2017 -x2019 -x2021 -x2023 -x2025 -x2027 -x2029 -x2031 -x2033 -x2035 -x2037 -x2039 -x2041
1800.05/1800.50	v -x2043 -x2045 -x2047 -x2049 -x2051 -x2053 -x2055 -x2057 -x2059 -x2061 -x2063 -x2065 -x2067 -x2069 -x2071 -x2073 -x2075
1800.05/1800.50	v -x2077 -x2079 -x2081 -x2083 -x2085 -x2087 -x2089 -x2091 -x2093 -x2095 -x2097 -x2099 -x2101 -x2103 -x2105 -x2107 -x2109
1800.05/1800.50	v -x2111 -x2113 -x2115 -x2117 -x2119 -x2121 -x2123 -x2125 -x2127 -x2129 -x2131 -x2133 -x2135 -x2137 -x2139 -x2141 -x2143
1800.05/1800.50	v -x2145 -x2147 -x2149 -x2151 -x2153 -x2155 -x2157 -x2159 -x2161 -x2163 -x2165 -x2167 -x2169 -x2171 -x2173 -x2175 -x2177
1800.05/1800.50	v -x2179 -x2181 -x2183 -x2185 -x2187 -x2189 -x2191 -x2193 -x2195 -x2197 -x2199 -x2201 -x2203 -x2205 -x2207 -x2209 -x2211
1800.05/1800.50	v -x2213 -x2215 -x2217 -x2219 -x2221 -x2223 -x2225 -x2227 -x2229 -x2231 -x2233 -x2235 -x2237 -x2239 -x2241 -x2243 -x2245
1800.05/1800.50	v -x2247 -x2249 -x2251 -x2253 -x2255 -x2257 -x2259 -x2261 -x2263 -x2265 -x2267 -x2269 -x2271 -x2273 -x2275 -x2277 -x2279
1800.05/1800.50	v -x2281 -x2283 -x2285 -x2287 -x2289 -x2291 -x2293 -x2295 -x2297 -x2299 -x2301 -x2303 -x2304 -x2306 -x2308 -x2310 -x2312
1800.05/1800.50	v -x2314 -x2316 -x2318 -x2320 -x2322 -x2324 -x2326 -x2328 -x2330 -x2332 -x2334 -x2336 -x2338 -x2340 -x2342 -x2344 -x2346
1800.05/1800.50	v -x2348 -x2350 -x2352 -x2354 -x2356 -x2358 -x2360 -x2362 -x2364 -x2366 -x2368 -x2370 -x2372 -x2374 -x2376 -x2378 -x2380
1800.05/1800.50	v -x2382 -x2384 -x2386 -x2388 -x2390 -x2392 -x2394 -x2396 -x2398 -x2400 -x2402 -x2404 -x2406 -x2408 -x2410 -x2412 -x2414
1800.05/1800.50	v -x2416 -x2418 -x2420 -x2422 -x2424 -x2426 -x2428 -x2430 -x2432 -x2434 -x2436 -x2438 -x2440 -x2442 -x2444 -x2446 -x2448
1800.05/1800.50	v -x2450 -x2452 -x2454 -x2456 -x2458 -x2460 -x2462 -x2464 -x2466 -x2468 -x2470 -x2472 -x2474 -x2476 -x2478 -x2480 -x2482
1800.05/1800.50	v -x2484 -x2486 -x2488 -x2490 -x2492 -x2494 -x2496 -x2498 -x2500 -x2502 -x2504 -x2506 -x2508 -x2510 -x2512 -x2514 -x2516
1800.05/1800.50	v -x2518 -x2520 -x2522 -x2524 -x2526 -x2528 -x2530 -x2532 -x2534 -x2536 -x2538 -x2540 -x2542 -x2544 -x2546 -x2548 -x2550
1800.05/1800.50	v -x2552 -x2554 -x2556 -x2558 -x2560 -x2562 -x2564 -x2566 -x2568 -x2570 -x2572 -x2574 -x2576 -x2578 -x2580 -x2582 -x2584
1800.05/1800.50	v -x2586 -x2588 -x2590 -x2592 -x2594 -x2596 -x2598 -x2600 -x2602 -x2604 -x2606 -x2608 -x2610 -x2612 -x2614 -x2616 -x2618
1800.05/1800.50	v -x2620 -x2622 -x2624 -x2626 -x2628 -x2630 -x2632 -x2634 -x2636 -x2638 -x2640 -x2642 -x2644 -x2646 -x2648 -x2650 -x2652
1800.05/1800.50	v -x2654 -x2656 -x2658 -x2660 -x2662 -x2664 -x2666 -x2668 -x2670 -x2672 -x2674 -x2676 -x2678 -x2680 -x2682 -x2684 -x2686
1800.05/1800.50	v -x2688 -x2690 -x2692 -x2694 -x2696 -x2698 -x2700 -x2702 -x2704 -x2706 -x2708 -x2710 -x2712 -x2714 -x2716 -x2718 -x2720
1800.05/1800.50	v -x2722 -x2724 -x2726 -x2728 -x2730 -x2732 -x2734 -x2736 -x2738 -x2740 -x2742 -x2743 -x2745 -x2747 -x2749 -x2751 -x2753
1800.05/1800.50	v -x2755 -x2757 -x2759 -x2761 -x2763 -x2765 -x2767 -x2769 -x2771 -x2773 -x2775 -x2776 -x2778 -x2780 -x2782 -x2784 -x2786
1800.05/1800.50	v -x2788 -x2790 -x2792 -x2794 -x2796 -x2798 -x2800 -x2802 -x2804 -x2806 -x2808 -x2810 -x2812 -x2814 -x2816 -x2818 -x2820
1800.05/1800.50	v -x2822 -x2824 -x2826 -x2828 -x2830 -x2832 -x2834 -x2836 -x2838 -x2840 -x2842 -x2844 -x2846 -x2848 -x2850 -x2852 -x2854
1800.05/1800.50	v -x2856 -x2858 -x2860 -x2862 -x2864 -x2866 -x2868 -x2870 -x2872 -x2874 -x2876 -x2878 -x2880 -x2882 -x2884 -x2886 -x2888
1800.05/1800.50	v -x2890 -x2892 -x2894 -x2896 -x2898 -x2900 -x2902 -x2904 -x2906 -x2908 -x2910 -x2912 -x2914 -x2916 -x2918 -x2920 -x2922
1800.05/1800.50	v -x2924 -x2926 -x2928 -x2930 -x2932 -x2934 -x2936 -x2938 -x2940 -x2942 -x2944 -x2946 -x2948 -x2950 -x2952 -x2954 -x2956
1800.05/1800.50	v -x2958 -x2960 -x2962 -x2964 -x2966 -x2968 -x2970 -x2972 -x2974 -x2976 -x2978 -x2980 -x2982 -x2984 -x2986 -x2988 -x2990
1800.05/1800.50	v -x2992 -x2994 -x2996 -x2998 -x3000 -x3002 -x3004 -x3006 -x3008 -x3010 -x3012 -x3014 -x3016 -x3018 -x3020 -x3022 -x3024
1800.05/1800.50	v -x3026 -x3028 -x3030 -x3032 -x3034 -x3036 -x3038 -x3040 -x3042 -x3044 -x3046 -x3048 -x3050 -x3052 -x3054 -x3056 -x3058
1800.05/1800.50	v -x3060 -x3062 -x3064 -x3066 -x3068 -x3070 -x3072 -x3074 -x3076 -x3078 -x3080 -x3082 -x3084 -x3086 -x3088 -x3090 -x3092
1800.05/1800.50	v -x3094 -x3096 -x3098 -x3100 -x3102 -x3104 -x3106 -x3108 -x3110 -x3112 -x3114 -x3116 -x3118 -x3120 -x3122 -x3124 -x3126
1800.05/1800.50	v -x3128 -x3130 -x3132 -x3134 -x3136 -x3138 -x3140 -x3142 -x3144 -x3146 -x3148 -x3150 -x3152 -x3154 -x3156 -x3158 -x3160
1800.05/1800.50	v -x3162 -x3164 -x3166 -x3168 -x3170 -x3172 -x3174 -x3176 -x3178 -x3180 -x3182 -x3184 -x3186 -x3188 -x3190 -x3192 -x3194
1800.05/1800.50	v -x3196 -x3198 -x3200 -x3202 -x3204 -x3206 -x3208 -x3210 -x3212 -x3214 -x3216 -x3218 -x3220 -x3222 -x3224 -x3226 -x3228
1800.05/1800.50	v -x3230 -x3232 -x3234 -x3236 -x3238 -x3240 -x3242 -x3244 -x3246 -x3248 -x3250 -x3252 -x3254 -x3256 -x3258 -x3260 -x3262
1800.05/1800.50	v -x3264 -x3266 -x3268 -x3270 -x3272 -x3274 -x3276 -x3278 -x3280 -x3282 -x3284 -x3286 -x3288 -x3290 -x3292 -x3294 -x3296
1800.05/1800.50	v -x3298 -x3300 -x3302 -x3304 -x3306 -x3308 -x3310 -x3312 -x3314 -x3316 -x3318 -x3320 -x3322 -x3324 -x3326 -x3328 -x3330
1800.05/1800.50	v -x3332 -x3334 -x3336 -x3338 -x3340 -x3342 -x3344 -x3346 -x3348 -x3350 -x3352 -x3354 -x3356 -x3358 -x3360 -x3362 -x3364
1800.05/1800.50	v -x3366 -x3368 -x3370 -x3372 -x3374 -x3376 -x3378 -x3380 -x3382 -x3384 -x3386 -x3388 -x3390 -x3392 -x3394 -x3396 -x3398
1800.05/1800.50	v -x3400 -x3402 -x3404 -x3406 -x3408 -x3410 -x3412 -x3414 -x3416 -x3418 -x3420 -x3422 -x3424 -x3426 -x3428 -x3430 -x3432
1800.05/1800.50	v -x3434 -x3436 -x3438 -x3440 -x3442 -x3444 -x3446 -x3448 -x3450 -x3452 -x3454 -x3456 -x3458 -x3460 -x3462 -x3464 -x3466
1800.05/1800.50	v -x3468 -x3470 -x3472 -x3474 -x3476 -x3478 -x3480 -x3482 -x3484 -x3486 -x3488 -x3490 -x3492 -x3494 -x3496 -x3498 -x3500
1800.05/1800.50	v -x3502 -x3504 -x3506 -x3508 -x3510 -x3512 -x3514 -x3516 -x3518 -x3520 -x3522 -x3524 -x3526 -x3528 -x3530 -x3532 -x3534
1800.05/1800.50	v -x3536 -x3538 -x3540 -x3542 -x3544 -x3546 -x3548 -x3550 -x3552 -x3554 -x3556 -x3558 -x3560 -x3562 -x3564 -x3566 -x3568
1800.05/1800.50	v -x3570 -x3572 -x3574 -x3576 -x3578 -x3580 -x3582 -x3584 -x3586 -x3588 -x3590 -x3592 -x3594 -x3596 -x3598 -x3600 -x3602
1800.05/1800.50	v -x3604 -x3606 -x3608 -x3610 -x3612 -x3614 -x3616 -x3618 -x3620 -x3622 -x3624 -x3626 -x3628 -x3630 -x3632 -x3634 -x3636
1800.05/1800.50	v -x3638 -x3640 -x3642 -x3644 -x3646 -x3648 -x3650 -x3652 -x3654 -x3656 -x3658 -x3660 -x3662 x3663 -x3665 -x3667 -x3669
1800.05/1800.50	v -x3671 -x3673 -x3675 -x3677 -x3679 -x3681 -x3683 -x3685 -x3687 -x3689 -x3691 -x3693 -x3695 -x3697 -x3699 -x3701 -x3703
1800.05/1800.50	v -x3705 -x3707 -x3709 -x3711 -x3713 -x3715 -x3717 -x3719 -x3721 -x3723 -x3725 -x3727 -x3729 -x3731 -x3733 -x3735 -x3737
1800.05/1800.50	v -x3739 -x3741 -x3743 -x3745 -x3747 -x3749 -x3751 -x3753 -x3755 -x3757 -x3759 -x3761 -x3763 -x3765 -x3767 -x3769 -x3771
1800.05/1800.50	v -x3773 -x3775 -x3777 -x3779 -x3781 -x3783 -x3785 -x3787 -x3789 -x3791 -x3793 -x3795 -x3797 -x3799 -x3801 -x3803 -x3805
1800.05/1800.50	v -x3807 -x3809 -x3811 -x3813 -x3815 -x3817 -x3819 -x3821 -x3823 -x3825 -x3827 -x3829 -x3831 -x3833 -x3835 -x3837 -x3839
1800.05/1800.50	v -x3841 -x3843 -x3845 -x3847 -x3849 -x3851 -x3853 -x3855 -x3857 -x3859 -x3861 -x3863 -x3865 -x3867 -x3869 -x3871 -x3873
1800.05/1800.50	v -x3875 -x3877 -x3879 -x3881 -x3883 -x3885 -x3887 -x3889 -x3891 -x3893 -x3895 -x3897 -x3899 -x3901 -x3903 -x3905 -x3906
1800.05/1800.50	v -x3908 -x3910 -x3912 -x3914 -x3916 -x3918 -x3920 -x3922 -x3924 -x3926 -x3928 -x3930 -x3932 -x3934 -x3936 -x3938 -x3940
1800.05/1800.50	v -x3942 -x3944 -x3946 -x3948 -x3950 -x3952 -x3954 -x3956 -x3958 -x3960 -x3962 -x3964 -x3966 -x3968 -x3970 -x3972 -x3974
1800.05/1800.50	v -x3976 -x3978 -x3980 -x3982 -x3984 -x3986 -x3988 -x3990 -x3992 -x3994 -x3996 -x3998 -x4000 -x4002 -x4004 -x4006 -x4008
1800.05/1800.50	v -x4010 -x4012 -x4014 -x4016 -x4018 -x4020 -x4022 -x4024 -x4026 -x4028 -x4030 -x4032 -x4034 -x4036 -x4038 -x4040 -x4042
1800.05/1800.50	v -x4044 -x4046 -x4048 -x4050 -x4052 -x4054 -x4056 -x4058 -x4060 -x4062 -x4064 -x4066 -x4068 -x4070 -x4072 -x4074 -x4076
1800.05/1800.50	v -x4078 -x4080 -x4082 -x4084 -x4086 -x4088 -x4090 -x4092 -x4094 -x4096 -x4098 -x4100 -x4102 -x4104 -x4106 -x4108 -x4110
1800.05/1800.50	v -x4112 -x4114 -x4116 -x4118 -x4120 -x4122 -x4124 -x4126 -x4128 -x4130 -x4132 -x4134 -x4136 -x4138 -x4140 -x4142 -x4144
1800.05/1800.50	v -x4146 -x4148 -x4150 -x4152 -x4154 -x4156 -x4158 -x4160 -x4162 -x4164 -x4166 -x4168 -x4170 -x4172 -x4174 -x4176 -x4178
1800.05/1800.50	v -x4180 -x4182 -x4184 -x4186 -x4188 -x4190 -x4192 -x4194 -x4196 -x4198 -x4200 -x4202 -x4204 -x4206 -x4208 -x4210 -x4212
1800.05/1800.50	v -x4214 -x4216 -x4218 -x4220 -x4222 -x4224 -x4226 -x4228 -x4230 x4232 -x4234 -x4236 -x4238 -x4240 -x4242 -x4244 -x4246
1800.05/1800.50	v -x4248 -x4250 -x4252 -x4254 -x4256 -x4258 -x4260 -x4262 -x4264 -x4266 -x4268 -x4270 -x4272 -x4274 -x4276 -x4278 -x4280
1800.05/1800.50	v -x4282 -x4284 -x4286 -x4288 -x4290 -x4292 -x4294 -x4296 -x4298 -x4300 -x4302 -x4304 -x4306 -x4308 -x4310 -x4312 -x4314
1800.05/1800.50	v -x4316 -x4318 -x4320 -x4322 -x4324 -x4326 -x4328 -x4330 -x4332 -x4334 -x4336 -x4338 -x4340 -x4342 -x4344 -x4346 -x4348
1800.05/1800.50	v -x4349 -x4351 -x4353 -x4355 -x4357 -x4359 -x4361 -x4363 -x4365 -x4367 -x4369 -x4371 -x4373 -x4375 -x4377 -x4379 -x4381
1800.05/1800.50	v -x4383 -x4385 -x4387 -x4389 -x4391 -x4393 -x4395 -x4397 -x4399 -x4401 -x4403 -x4405 -x4407 -x4409 -x4411 -x4413 -x4415
1800.05/1800.50	v -x4417 -x4419 -x4421 -x4423 -x4425 -x4427 -x4429 -x4431 -x4433 -x4435 -x4437 -x4439 -x4441 -x4443 -x4445 -x4447 -x4449
1800.05/1800.50	v -x4451 -x4453 -x4455 -x4457 -x4459 -x4461 -x4463 -x4465 -x4467 -x4469 -x4471 -x4473 -x4475 -x4477 -x4479 -x4481 -x4483
1800.05/1800.50	v -x4485 -x4487 -x4489 -x4491 -x4493 -x4495 -x4497 -x4499 -x4501 -x4503 -x4505 -x4507 -x4509 -x4511 -x4513 -x4515 -x4517
1800.05/1800.50	v -x4519 -x4521 -x4523 -x4525 -x4527 -x4529 -x4531 -x4533 -x4535 -x4537 -x4539 -x4541 -x4543 -x4545 -x4547 -x4549 -x4551
1800.05/1800.50	v -x4553 -x4555 -x4557 -x4559 -x4561 -x4563 -x4565 -x4567 -x4569 -x4571 -x4573 -x4575 -x4577 -x4579 -x4581 -x4583 -x4585
1800.05/1800.50	v -x4587 -x4589 -x4591 -x4593 -x4595 -x4597 -x4599 -x4601 -x4603 -x4605 -x4607 -x4609 -x4611 -x4613 -x4615 -x4617 -x4619
1800.05/1800.50	v -x4621 -x4623 -x4625 -x4627 -x4629 -x4631 -x4633 -x4635 -x4637 -x4639 -x4641 -x4643 -x4645 -x4647 -x4649 -x4651 -x4653
1800.05/1800.50	v -x4655 -x4657 -x4659 -x4661 -x4663 -x4665 -x4667 -x4669 -x4671 -x4673 -x4675 -x4677 -x4679 -x4681 -x4683 -x4685 -x4687
1800.05/1800.50	v -x4689 -x4691 -x4693 -x4695 -x4697 -x4699 -x4701 -x4703 -x4705 -x4707 -x4709 -x4711 -x4713 -x4715 -x4717 -x4719 -x4721
1800.05/1800.50	v -x4723 -x4725 -x4727 -x4729 -x4731 -x4733 -x4735 -x4737 -x4739 -x4741 -x4743 -x4745 -x4747 -x4749 -x4751 -x4753 -x4755
1800.05/1800.50	v -x4757 -x4759 -x4761 -x4763 -x4765 -x4767 -x4769 -x4771 -x4773 -x4775 -x4777 -x4779 -x4781 -x4783 -x4785 -x4787 -x4789
1800.05/1800.50	v -x4791 -x4793 -x4795 -x4797 -x4799 -x4801 -x4803 -x4805 -x4807 -x4809 -x4811 -x4813 -x4815 -x4817 -x4819 -x4821 -x4823
1800.05/1800.50	v -x4825 -x4827 -x4829 -x4831 -x4833 -x4835 -x4837 -x4839 -x4841 -x4843 -x4845 -x4847 -x4849 -x4851 -x4853 -x4855 -x4857
1800.05/1800.50	v -x4859 -x4861 -x4863 -x4865 -x4867 -x4869 -x4871 -x4873 -x4875 -x4877 -x4879 -x4881 -x4883 -x4885 -x4887 -x4889 -x4891
1800.05/1800.50	v -x4893 -x4895 -x4897 -x4899 -x4901 -x4903 -x4905 -x4907 -x4909 -x4911 -x4913 -x4915 -x4917 -x4919 -x4921 -x4923 -x4925
1800.05/1800.50	v -x4927 -x4929 -x4931 -x4933 -x4935 -x4937 -x4939 -x4941 -x4943 -x4945 -x4947 -x4949 -x4951 -x4953 -x4955 -x4957 -x4959
1800.05/1800.50	v -x4961 -x4963 -x4965 -x4967 -x4969 -x4971 -x4973 -x4975 -x4977 -x4979 -x4981 -x4983 -x4985 -x4987 -x4989 -x4991 -x4993
1800.05/1800.50	v -x4995 -x4997 -x4999 -x5001 -x5003 -x5005 -x5007 -x5009 -x5011 -x5013 -x5015 -x5017 -x5019 -x5021 -x5023 -x5025 -x5027
1800.05/1800.50	v -x5029 -x5031 -x5033 -x5035 -x5037 -x5039 -x5041 -x5043 -x5045 -x5047 -x5049 -x5051 -x5053 -x5055 -x5057 -x5059 -x5061
1800.05/1800.50	v -x5063 -x5065 -x5067 -x5069 -x5071 -x5073 -x5075 -x5077 -x5079 -x5081 -x5083 -x5085 -x5087 -x5089 -x5091 -x5093 -x5095
1800.05/1800.50	v -x5097 -x5099 -x5101 -x5103 -x5105 -x5107 -x5109 -x5111 -x5113 -x5115 -x5117 -x5119 -x5121 -x5123 -x5125 -x5127 -x5129
1800.05/1800.50	v -x5131 -x5133 -x5135 -x5137 -x5139 -x5141 -x5143 -x5145 -x5147 -x5149 -x5151 -x5153 -x5155 -x5157 -x5159 -x5161 -x5163
1800.05/1800.50	v -x5165 -x5167 -x5169 -x5171 -x5173 -x5175 -x5177 -x5179 -x5181 -x5183 -x5185 -x5187 -x5189 -x5191 -x5193 -x5195 -x5197
1800.05/1800.50	v -x5199 -x5201 -x5203 -x5205 -x5207 -x5209 -x5211 -x5213 -x5215 -x5217 -x5219 -x5221 -x5223 -x5225 -x5227 -x5229 -x5231
1800.05/1800.50	v -x5233 -x5235 -x5237 -x5239 -x5241 -x5243 -x5245 -x5247 -x5249 -x5251 -x5253 -x5255 -x5257 -x5259 -x5261 -x5263 -x5265
1800.05/1800.50	v -x5267 -x5269 -x5271 -x5273 -x5275 -x5277 -x5279 -x5281 -x5283 -x5285 -x5287 -x5289 -x5291 -x5293 -x5295 -x5297 -x5299
1800.05/1800.50	v -x5301 -x5303 -x5305 -x5307 -x5309 -x5311 -x5313 -x5315 -x5317 -x5319 -x5321 -x5323 -x5325 -x5327 -x5329 -x5331 -x5333
1800.05/1800.50	v -x5335 -x5337 -x5339 -x5341 -x5343 -x5345 -x5347 -x5349 -x5351 -x5353 -x5355 -x5357 -x5359 -x5361 -x5363 -x5365 -x5367
1800.05/1800.50	v -x5369 -x5371 -x5373 -x5375 -x5377 -x5379 -x5381 -x5383 -x5385 -x5387 -x5389 -x5391 -x5393 -x5395 -x5397 -x5399 -x5401
1800.05/1800.50	v -x5403 -x5405 -x5407 -x5408 -x5410 -x5412 -x5414 -x5416 -x5418 -x5420 -x5422 -x5424 -x5425 -x5427 -x5429 -x5431 -x5433
1800.05/1800.50	v -x5435 -x5437 -x5439 -x5441 -x5443 -x5445 -x5447 -x5449 -x5451 -x5453 -x5455 -x5457 -x5459 -x5461 -x5463 -x5465 -x5467
1800.05/1800.50	v -x5469 -x5471 -x5473 -x5475 -x5477 -x5479 -x5481 -x5483 -x5485 -x5487 -x5489 -x5491 -x5493 -x5495 -x5497 x5499 -x5501
1800.05/1800.50	v -x5503 -x5505 -x5507 -x5509 -x5511 -x5513 -x5515 -x5517 -x5519 -x5521 -x5523 -x5525 -x5527 -x5529 -x5531 -x5533 -x5535
1800.05/1800.50	v -x5537 -x5539 -x5541 -x5543 -x5545 -x5547 -x5549 -x5551 -x5553 -x5555 -x5557 -x5559 -x5561 -x5563 -x5565 -x5567 -x5569
1800.05/1800.50	v -x5571 -x5573 -x5575 -x5577 -x5579 -x5581 -x5583 -x5585 -x5587 -x5589 -x5591 -x5593 -x5595 -x5597 -x5599 -x5601 -x5603
1800.05/1800.50	v -x5605 -x5607 -x5609 -x5611 -x5613 -x5615 -x5617 -x5619 -x5621 -x5623 -x5625 -x5627 -x5629 -x5631 -x5633 -x5635 -x5637
1800.05/1800.50	v -x5639 -x5641 -x5643 -x5645 -x5647 -x5649 -x5651 -x5653 -x5655 -x5657 -x5659 -x5661 -x5663 -x5665 -x5667 -x5669 -x5671
1800.05/1800.50	v -x5673 -x5675 -x5677 -x5679 -x5681 -x5683 -x5685 -x5687 -x5689 -x5691 -x5693 -x5695 -x5697 -x5699 -x5701 -x5703 -x5705
1800.05/1800.50	v -x5707 -x5709 -x5711 -x5713 -x5715 -x5717 -x5719 -x5721 -x5723 -x5725 -x5727 -x5729 -x5731 -x5733 x5735 -x5737 -x5739
1800.05/1800.50	v -x5741 -x5743 -x5745 -x5747 -x5749 -x5751 -x5753 -x5755 -x5757 -x5759 -x5761 -x5763 -x5765 -x5767 -x5769 x5771 -x5773
1800.05/1800.50	v -x5775 -x5777 -x5779 -x5781 -x5783 -x5785 -x5787 -x5789 -x5791 -x5793 -x5795 -x5797 -x5799 -x5801 -x5803 -x5805 -x5807
1800.05/1800.50	v -x5809 -x5811 -x5813 -x5815 -x5817 -x5819 -x5821 -x5823 x5825 -x5827 -x5829 -x5831 -x5833 -x5835 -x5837 -x5839 -x5841
1800.05/1800.50	v -x5843 -x5845 -x5847 -x5849 -x5851 -x5853 -x5855 -x5857 -x5859 -x5861 -x5863 -x5865 -x5867 -x5869 -x5871 -x5873 -x5875
1800.05/1800.50	v -x5877 -x5879 -x5881 -x5883 -x5885 -x5887 -x5889 -x5891 -x5893 -x5895 -x5897 -x5899 -x5901 -x5903 -x5905 -x5907 -x5909
1800.05/1800.50	v -x5911 -x5913 -x5915 -x5917 -x5919 -x5921 -x5923 -x5925 -x5927 -x5929 -x5931 -x5933 -x5935 -x5937 -x5939 -x5941 -x5943
1800.05/1800.50	v -x5945 -x5947 -x5949 -x5951 -x5953 -x5955 -x5957 -x5959 -x5961 -x5963 -x5965 -x5967 -x5969 -x5971 -x5973 -x5975 x5977
1800.05/1800.50	v -x5979 -x5981 -x5983 -x5985 -x5987 -x5989 -x5991 -x5993 -x5995 -x5997 -x5998 -x6000 -x6002 -x6004 -x6006 -x6008 -x6010
1800.05/1800.50	v -x6012 -x6014 -x6016 -x6018 -x6020 -x6022 -x6023 -x6025 -x6027 -x6029 -x6031 -x6033 -x6035 -x6037 -x6039 -x6041 -x6043
1800.05/1800.50	v -x6045 -x6047 -x6049 -x6051 -x6053 -x6055 -x6057 -x6059 -x6061 -x6063 -x6065 -x6067 -x6069 -x6071 -x6073 -x6075 -x6077
1800.05/1800.50	v -x6079 -x6081 -x6083 -x6085 -x6087 -x6089 -x6091 -x6093 -x6095 -x6097 -x6099 -x6101 -x6103 -x6105 -x6107 -x6109 -x6111
1800.05/1800.50	v -x6113 -x6115 -x6117 -x6119 -x6121 -x6123 -x6125 -x6127 -x6129 -x6131 -x6133 -x6135 -x6137 -x6139 -x6141 -x6143 -x6145
1800.05/1800.50	v -x6147 -x6149 -x6151 -x6153 -x6155 -x6157 -x6159 -x6161 -x6163 -x6165 -x6167 -x6169 -x6171 -x6173 -x6175 -x6177 -x6179
1800.05/1800.50	v -x6181 -x6183 -x6185 -x6187 -x6189 -x6191 -x6193 -x6195 -x6197 -x6199 -x6201 -x6203 -x6205 -x6207 -x6209 -x6211 -x6213
1800.05/1800.50	v -x6215 -x6217 -x6219 -x6221 -x6223 -x6225 -x6227 -x6229 -x6231 -x6233 -x6235 -x6237 -x6239 -x6241 -x6243 -x6245 -x6247
1800.05/1800.50	v -x6249 -x6251 -x6253 -x6255 -x6257 -x6259 -x6261 -x6263 -x6265 -x6267 -x6269 -x6271 -x6273 -x6275 -x6277 -x6279 -x6281
1800.05/1800.50	v -x6283 -x6285 -x6287 -x6289 -x6291 -x6293 -x6295 -x6297 -x6299 -x6301 -x6303 -x6305 -x6307 -x6309 -x6311 -x6313 -x6315
1800.05/1800.50	v -x6317 -x6319 -x6321 -x6323 -x6325 -x6327 -x6329 -x6331 -x6333 -x6335 -x6337 -x6339 -x6341 -x6343 -x6345 -x6347 -x6349
1800.05/1800.50	v -x6351 -x6353 -x6355 -x6357 -x6359 -x6361 -x6363 -x6365 -x6367 -x6369 -x6371 -x6373 -x6375 -x6377 -x6379 -x6381 -x6383
1800.05/1800.50	v -x6385 -x6387 -x6389 -x6391 -x6393 -x6395 -x6397 -x6399 -x6401 -x6403 -x6405 -x6407 -x6409 -x6411 -x6413 -x6415 -x6417
1800.05/1800.50	v -x6419 -x6421 -x6423 -x6425 -x6427 -x6429 -x6431 -x6433 -x6435 -x6437 -x6439 -x6441 -x6443 -x6445 -x6447 -x6449 -x6451
1800.05/1800.50	v -x6453 -x6455 -x6457 -x6459 -x6461 -x6463 -x6465 -x6467 -x6469 -x6471 -x6473 -x6475 -x6477 -x6479 -x6481 -x6483 -x6485
1800.05/1800.50	v -x6487 -x6489 -x6491 -x6493 -x6495 -x6497 -x6499 -x6501 -x6503 -x6505 -x6507 -x6509 -x6511 -x6513 -x6515 -x6517 -x6519
1800.05/1800.50	v -x6521 -x6523 -x6525 -x6527 -x6529 -x6531 -x6533 -x6535 -x6537 -x6539 -x6541 -x6543 -x6545 -x6547 -x6549 -x6551 -x6553
1800.05/1800.50	v -x6555 -x6557 -x6559 -x6561 -x6563 -x6565 -x6567 -x6569 -x6571 -x6573 -x6575 -x6577 -x6579 -x6581 -x6583 x6585 -x6587
1800.05/1800.50	v -x6589 -x6591 -x6593 -x6595 -x6597 -x6599 -x6601 -x6603 -x6605 -x6607 -x6609 -x6611 -x6613 -x6615 -x6617 -x6619 -x6621
1800.05/1800.50	v -x6623 -x6625 -x6627 -x6629 -x6631 -x6633 -x6635 -x6637 -x6639 -x6641 -x6643 -x6645 -x6647 -x6649 -x6651 -x6653 -x6655
1800.05/1800.50	v -x6657 -x6659 -x6661 -x6663 -x6665 -x6667 -x6669 -x6671 -x6673 -x6675 -x6677 -x6679 -x6681 -x6683 -x6685 -x6687 -x6689
1800.05/1800.50	v -x6691 -x6693 -x6695 -x6697 -x6699 -x6701 -x6703 -x6705 -x6707 -x6709 -x6711 -x6713 -x6715 -x6717 -x6719 -x6721 -x6723
1800.05/1800.50	v -x6725 -x6727 -x6729 -x6731 -x6733 -x6735 -x6737 -x6739 -x6741 -x6743 -x6745 -x6747 -x6749 -x6751 -x6753 -x6755 -x6757
1800.05/1800.50	v -x6759 -x6761 -x6763 -x6765 -x6767 -x6769 -x6771 -x6773 -x6775 -x6777 -x6779 -x6781 -x6783 -x6785 -x6787 -x6789 -x6791
1800.05/1800.50	v -x6793 -x6795 -x6797 -x6799 -x6801 -x6803 -x6805 -x6807 -x6809 -x6811 -x6813 -x6815 -x6817 -x6819 -x6821 -x6823 -x6825
1800.05/1800.50	v -x6827 -x6829 -x6831 -x6833 -x6835 -x6837 -x6839 -x6841 -x6843 -x6845 -x6847 -x6849 -x6851 -x6853 -x6855 -x6857 -x6859
1800.05/1800.50	v -x6861 -x6863 -x6865 -x6867 -x6869 -x6871 -x6873 -x6875 -x6877 -x6879 -x6881 -x6883 -x6885 -x6887 -x6889 -x6891 -x6893
1800.05/1800.50	v -x6895 -x6897 -x6899 -x6901 -x6903 -x6905 -x6907 -x6909 -x6911 -x6913 -x6915 -x6917 -x6919 -x6921 -x6923 -x6925 -x6927
1800.05/1800.50	v -x6929 -x6931 -x6933 -x6935 -x6937 -x6939 -x6941 -x6943 -x6945 -x6947 -x6949 -x6951 -x6953 -x6955 -x6957 -x6959 -x6961
1800.05/1800.50	v -x6963 -x6965 -x6967 -x6969 -x6971 -x6973 -x6975 -x6977 -x6979 -x6981 -x6983 -x6985 -x6987 -x6989 -x6991 -x6993 -x6995
1800.05/1800.50	v -x6997 -x6999 -x7001 -x7003 -x7005 -x7007 -x7009 -x7011 -x7013 -x7015 -x7017 -x7019 -x7021 -x7023 -x7025 -x7027 -x7029
1800.05/1800.50	v -x7031 -x7033 -x7035 -x7037 -x7039 -x7041 -x7043 -x7045 -x7047 -x7049 -x7051 -x7053 -x7055 -x7057 -x7059 -x7061 -x7063
1800.05/1800.50	v -x7065 -x7067 -x7069 -x7071 -x7073 -x7075 -x7077 -x7079 -x7081 -x7083 -x7085 -x7087 -x7089 -x7091 -x7093 -x7095 -x7097
1800.05/1800.50	v -x7099 -x7101 -x7103 -x7105 -x7107 -x7109 -x7111 -x7113 -x7115 -x7117 -x7119 -x7121 -x7123 -x7125 -x7127 -x7129 -x7131
1800.05/1800.50	v -x7133 -x7135 -x7137 -x7139 -x7141 -x7143 -x7145 -x7147 -x7149 -x7151 -x7153 -x7155 -x7157 -x7159 -x7161 -x7163 -x7165
1800.05/1800.50	v -x7167 -x7169 -x7171 -x7173 -x7175 -x7177 -x7179 -x7181 -x7183 -x7185 -x7187 -x7189 -x7191 -x7193 -x7195 -x7197 -x7199
1800.05/1800.50	v -x7201 -x7203 -x7205 -x7207 -x7209 -x7211 -x7213 -x7215 -x7217 -x7219 -x7221 -x7223 -x7225 -x7227 -x7229 -x7231 -x7233
1800.05/1800.50	v -x7235 -x7237 -x7239 -x7241 -x7243 -x7245 -x7247 -x7249 -x7251 -x7253 -x7255 -x7257 -x7259 -x7261 -x7263 -x7265 -x7267
1800.05/1800.50	v -x7269 -x7271 -x7273 -x7275 -x7277 -x7279 -x7281 -x7283 -x7285 -x7287 -x7289 -x7291 -x7293 -x7295 -x7297 -x7299 -x7301
1800.05/1800.50	v -x7303 -x7305 -x7307 -x7309 -x7311 -x7313 -x7315 -x7317 -x7319 -x7321 -x7323 -x7325 -x7327 -x7329 -x7331 -x7333 -x7335
1800.05/1800.50	v -x7337 -x7339 -x7341 -x7343 -x7345 -x7347 -x7349 -x7351 -x7353 -x7355 -x7357 -x7359 -x7361 -x7363 -x7365 -x7367 -x7369
1800.05/1800.50	v -x7371 -x7373 -x7375 -x7377 -x7379 -x7381 -x7383 -x7385 -x7387 -x7389 -x7391 -x7393 -x7395 -x7397 -x7399 x7401 -x7403
1800.05/1800.50	v -x7405 -x7407 -x7409 -x7411 -x7413 -x7415 -x7416 -x7418 -x7420 -x7422 -x7424 -x7426 -x7428 -x7430 -x7432 -x7434 -x7436
1800.05/1800.50	v -x7438 -x7440 -x7442 -x7444 -x7446 -x7448 -x7450 -x7452 -x7454 -x7456 -x7458 -x7460 -x7462 -x7464 -x7466 -x7468 -x7470
1800.05/1800.50	v -x7472 -x7474 -x7476 -x7478 -x7480 -x7482 -x7484 -x7486 -x7488 -x7490 -x7492 -x7494 -x7496 -x7498 -x7500 -x7502 -x7504
1800.05/1800.50	v -x7506 -x7508 -x7510 -x7512 -x7514 -x7516 -x7518 -x7520 -x7522 -x7524 -x7526 -x7528 -x7530 -x7532 -x7534 -x7536 -x7538
1800.05/1800.50	v -x7540 -x7542 -x7544 -x7546 x7548 -x7550 -x7552 -x7554 -x7556 -x7558 -x7560 -x7562 -x7564 -x7566 -x7568 -x7570 -x7572
1800.05/1800.50	v -x7574 -x7576 -x7578 -x7580 -x7582 -x7584 -x7586 -x7588 -x7590 -x7592 -x7594 -x7596 -x7598 -x7600 -x7602 -x7604 -x7606
1800.05/1800.50	v -x7608 -x7610 -x7612 -x7614 -x7616 -x7618 -x7620 -x7622 -x7624 x7626 -x7628 -x7630 -x7632 -x7634 -x7636 -x7638 -x7640
1800.05/1800.50	v -x7642 -x7644 -x7646 -x7648 -x7650 -x7652 -x7654 -x7656 x7658 -x7660 -x7662 -x7664 -x7666 -x7668 -x7670 -x7672 -x7674
1800.05/1800.50	v -x7676 -x7678 -x7680 -x7682 -x7684 -x7686 -x7688 -x7690 -x7692 -x7694 -x7696 -x7698 -x7700 -x7702 -x7704 -x7706 -x7708
1800.05/1800.50	v -x7710 -x7712 -x7714 -x7716 -x7718 -x7720 -x7722 -x7724 -x7726 -x7728 -x7730 x7732 -x7734 -x7736 -x7738 -x7740 -x7742
1800.05/1800.50	v -x7744 x7746 -x7748 -x7750 -x7752 -x7754 -x7756 -x7758 -x7760 -x7762 -x7764 -x7766 -x7768 -x7770 -x7772 -x7774 -x7776
1800.05/1800.50	v -x7778 -x7780 x7782 x7784 -x7786 -x7788 x7790 -x7792 x7794 x7796 x7798 -x231 -x233 -x235 x237 -x239 -x241 -x243 -x245 -x247
1800.05/1800.50	v -x249 -x251 -x253 -x255 -x257 -x259 -x261 -x1 -x263 -x265 -x267 -x269 -x271 -x273 -x275 -x2 -x277 -x279 -x281 -x283 -x285
1800.05/1800.50	v -x287 -x289 -x3 -x291 -x293 -x295 -x297 -x299 -x301 -x303 -x305 -x307 -x309 x311 -x313 -x315 -x317 -x319 -x321 -x323 -x325
1800.05/1800.50	v -x4 -x327 -x329 -x331 -x333 -x335 -x337 -x339 x5 x341 -x343 -x345 -x347 -x349 -x351 -x353 -x6 -x355 -x357 -x359 -x361 x363
1800.05/1800.50	v -x365 -x367 -x369 -x371 -x373 -x375 -x377 -x379 -x381 -x383 -x385 -x387 -x389 -x391 -x393 -x395 -x397 -x399 -x401 -x403 -x405
1800.05/1800.50	v -x407 -x409 -x411 -x413 -x415 -x417 -x419 -x421 -x7 -x423 -x425 -x427 -x429 -x431 -x433 -x435 -x437 -x439 -x441 -x443 -x445
1800.05/1800.50	v -x447 -x449 -x451 -x8 -x453 -x455 -x457 -x459 -x461 -x463 -x465 -x467 -x469 -x471 -x473 -x475 -x477 -x479 -x481 -x9 -x483
1800.05/1800.50	v -x485 -x487 -x489 -x491 -x493 -x495 -x497 -x499 -x501 -x503 -x505 -x507 -x509 -x511 -x513 -x515 -x517 -x519 -x521 -x523 -x525
1800.05/1800.50	v -x527 x529 -x531 -x533 -x535 -x537 -x539 -x541 -x543 -x545 -x547 -x549 -x551 -x553 -x555 -x557 -x559 -x561 -x563 -x565 -x567
1800.05/1800.50	v -x569 -x571 -x573 -x575 -x577 -x579 -x581 -x583 -x585 -x587 -x589 -x591 -x593 -x595 -x597 -x599 -x601 -x603 -x605 -x607 -x609
1800.05/1800.50	v -x611 -x613 -x615 -x617 -x619 -x621 -x10 -x623 -x625 -x627 -x629 -x631 -x633 -x635 -x637 -x639 -x641 -x643 -x645 -x647 -x649
1800.05/1800.50	v -x651 -x653 -x655 -x657 -x659 -x661 -x663 -x665 -x667 -x669 -x671 -x673 -x675 -x677 -x679 -x681 -x683 -x11 -x685 -x687 -x689
1800.05/1800.50	v -x691 -x693 -x695 -x697 -x699 -x701 -x703 -x705 -x707 -x709 -x711 -x713 -x715 -x717 -x719 -x721 -x723 -x725 -x727 -x729 -x731
1800.05/1800.50	v -x733 -x735 -x737 -x739 -x741 -x743 -x745 -x12 -x747 -x749 -x751 -x753 -x755 -x757 -x759 -x761 -x763 -x765 -x767 -x769 -x771
1800.05/1800.50	v -x773 -x775 -x13 -x777 -x779 -x781 -x783 -x785 -x787 -x789 -x791 -x793 -x795 -x797 -x799 -x801 -x803 -x805 -x807 -x809 -x811
1800.05/1800.50	v -x813 -x815 -x817 -x819 -x821 -x823 -x825 -x827 -x829 -x831 -x833 -x835 -x837 -x14 -x839 -x841 -x843 -x845 -x847 -x849 -x851
1800.05/1800.50	v -x853 -x855 -x857 -x859 -x861 -x863 -x865 -x867 -x15 -x869 -x871 -x873 -x875 -x877 -x879 -x881 -x883 -x885 -x887 -x889 -x891
1800.05/1800.50	v -x893 -x895 -x897 -x16 -x899 -x901 -x903 -x905 -x907 -x909 -x911 -x17 -x913 -x915 -x917 -x919 -x921 -x923 -x925 -x927 -x929
1800.05/1800.50	v -x931 -x933 -x935 -x937 -x939 -x941 -x943 -x945 -x947 -x949 -x951 -x953 -x955 -x957 -x959 -x961 -x963 -x965 -x967 -x969 -x971
1800.05/1800.50	v -x973 -x18 -x975 -x977 -x979 -x981 -x983 -x985 -x987 -x989 -x991 -x993 -x995 -x997 -x999 -x1001 -x1003 -x19 -x1005 -x1007
1800.05/1800.50	v -x1009 -x1011 -x1013 -x1015 -x1017 -x1019 -x1021 -x1023 -x1025 -x1027 -x1029 -x1031 -x1033 -x20 -x1035 -x1037 -x1039 -x1041
1800.05/1800.50	v -x1043 -x1045 -x21 -x1047 -x1049 -x1051 -x1053 -x1055 -x1057 -x1059 -x1061 -x1063 -x1065 -x1067 -x1069 -x1071 -x1073 -x1075
1800.05/1800.50	v -x22 -x1077 -x1079 -x1081 -x1083 -x1085 -x1087 x1089 x23 -x1091 -x1093 -x1095 -x1097 -x1099 -x1101 -x1103 -x24 -x1105 -x1107
1800.05/1800.50	v -x1109 -x25 -x1111 -x1113 -x1115 -x1117 -x1119 -x1121 -x1123 -x1125 -x1127 -x1129 -x1131 -x1133 -x1135 -x1137 -x1139 -x26
1800.05/1800.50	v -x1141 -x1143 -x1145 -x1147 -x1149 -x1151 -x1153 -x27 -x1155 -x1157 -x1159 -x1161 -x1163 -x1165 -x1167 -x28 -x1169 -x1171
1800.05/1800.50	v -x1173 -x29 -x1175 -x1177 -x1179 -x1181 -x1183 -x1185 -x1187 -x1189 -x1191 -x1193 -x1195 -x1197 -x1199 -x1201 -x1203 -x1205
1800.05/1800.50	v -x1207 -x1209 -x1211 -x1213 -x1215 -x1217 -x1219 -x1221 -x1223 -x1225 -x1227 -x1229 -x1231 -x1233 -x1235 -x30 -x1237 -x1239
1800.05/1800.50	v -x1241 -x1243 -x1245 -x1247 -x1249 -x1251 -x1253 -x1255 -x1257 -x1259 -x1261 -x1263 -x1265 -x31 -x1267 -x1269 -x1271 -x1273
1800.05/1800.50	v -x1275 -x1277 -x1279 -x1281 -x1283 -x1285 -x1287 -x1289 -x1291 -x1293 -x1295 -x32 -x1297 -x1299 -x1301 -x1303 -x1305 -x1307
1800.05/1800.50	v -x1309 -x33 -x1311 -x1313 -x1315 -x1317 -x1319 -x1321 -x1323 -x1325 -x1327 -x1329 -x1331 -x1333 -x1335 -x1337 -x1339 -x34
1800.05/1800.50	v -x1341 -x1343 -x1345 -x1347 -x1349 -x1351 -x1353 -x35 -x1355 -x1357 -x1359 -x1361 -x1363 -x1365 -x1367 -x36 -x1369 -x1371
1800.05/1800.50	v -x1373 -x37 -x1375 -x1377 -x1379 -x1381 -x1383 -x1385 -x1387 -x1389 -x1391 -x1393 -x1395 -x1397 -x1399 -x1401 -x1403 -x38
1800.05/1800.50	v -x1405 -x1407 -x1409 -x1411 -x1413 -x1415 -x1417 -x39 -x1419 -x1421 -x1423 -x1425 -x1427 -x1429 -x1431 -x40 -x1433 -x1435
1800.05/1800.50	v -x1437 -x41 -x1439 -x1441 -x1443 -x1445 -x1447 -x1449 -x1451 -x42 -x1453 -x1455 -x1457 -x43 -x1459 -x1461 -x1463 -x44 -x1465
1800.05/1800.50	v -x1467 -x1469 -x1471 -x1473 -x1475 -x1477 -x1479 -x1481 -x1483 -x1485 -x1487 -x1489 -x1491 -x1493 -x1495 -x1497 -x1499
1800.05/1800.50	v -x1501 -x1503 -x1505 x1507 -x1509 -x1511 -x1513 -x1515 -x1517 -x1519 -x1521 -x1523 -x1525 -x1527 -x45 -x1529 -x1531 -x1533
1800.05/1800.50	v -x1535 -x1537 -x1539 -x1541 -x1543 -x1545 -x1547 -x1549 -x1551 -x1553 -x1555 -x1557 -x1559 -x1561 -x1563 -x1565 -x1567
1800.05/1800.50	v -x1569 -x1571 -x1573 -x1575 -x1577 -x1579 -x1581 -x1583 -x1585 -x1587 -x1589 -x1591 -x1593 -x1595 -x1597 -x1599 -x1601
1800.05/1800.50	v -x1603 x1605 -x1607 -x1609 -x1611 -x1613 -x1615 -x1617 -x1619 -x46 -x1621 -x1623 -x1625 -x1627 -x1629 -x1631 -x1633 -x1635
1800.05/1800.50	v -x1637 -x1639 -x1641 -x1643 -x1645 -x1647 -x1649 -x47 -x1651 -x1653 -x1655 -x1657 -x1659 -x1661 -x1663 -x1665 -x1667 -x1669
1800.05/1800.50	v -x1671 -x1673 -x1675 -x1677 -x1679 -x48 -x1681 -x1683 -x1685 -x1687 -x1689 -x1691 -x1693 -x1695 -x1697 -x1699 -x1701 -x1703
1800.05/1800.50	v -x1705 -x1707 -x1709 -x49 -x1711 -x1713 -x1715 -x1717 -x1719 -x1721 -x1723 -x1725 -x1727 -x1729 -x1731 -x1733 -x1735 -x1737
1800.05/1800.50	v -x1739 -x1741 -x1743 -x1745 -x1747 -x1749 -x1751 -x1753 -x1755 -x1757 -x1759 -x1761 -x1763 -x1765 -x1767 -x1769 -x1771
1800.05/1800.50	v -x1773 -x1775 -x1777 -x1779 -x1781 -x1783 -x1785 -x1787 -x1789 -x1791 -x1793 -x1795 -x1797 -x1799 -x1801 -x1803 -x1805
1800.05/1800.50	v -x1807 -x1809 -x1811 -x1813 -x1815 -x1817 -x1819 -x1821 -x1823 -x1825 -x1827 -x1829 -x1831 -x1833 -x1835 -x1838 -x1840
1800.05/1800.50	v -x1842 -x1844 -x1846 -x1848 -x1850 -x1852 -x1854 -x1856 -x1858 -x1860 -x1862 -x1864 -x1866 -x1868 -x1870 -x1872 -x1874
1800.05/1800.50	v -x1876 -x1878 -x1880 -x1882 -x1884 -x1886 -x1888 -x1890 -x1892 -x1894 -x1896 -x1898 -x1900 -x1902 -x1904 -x1906 -x1908
1800.05/1800.50	v -x1910 -x1912 -x1914 -x1916 -x1918 -x1920 -x1922 -x1924 -x1926 -x1928 -x1930 -x1932 -x1934 -x1936 -x1938 -x1940 -x1942
1800.05/1800.50	v -x1944 -x1946 -x1948 -x1950 -x1952 -x1954 x1956 -x1958 -x1960 -x1962 -x1964 -x1966 -x1968 -x1970 -x1972 -x1974 -x1976
1800.05/1800.50	v -x50 -x1978 -x1980 -x1982 -x1984 -x1986 -x1988 -x1990 -x1992 -x1994 -x1996 -x1998 -x2000 -x2002 -x2004 -x2006 -x2008 -x2010
1800.05/1800.50	v -x2012 -x2014 -x2016 -x2018 -x2020 -x2022 -x2024 -x2026 -x2028 -x2030 -x2032 -x2034 -x2036 -x2038 -x2040 -x2042 -x2044
1800.05/1800.50	v -x2046 -x2048 -x2050 -x2052 -x2054 -x2056 -x2058 -x2060 -x2062 -x2064 -x2066 -x2068 -x2070 -x2072 -x2074 -x2076 -x2078
1800.05/1800.50	v -x2080 -x2082 -x2084 -x2086 -x2088 -x2090 -x2092 -x2094 -x2096 -x2098 -x2100 -x2102 -x51 -x2104 -x2106 -x2108 -x2110 -x2112
1800.05/1800.50	v -x2114 -x2116 -x2118 -x2120 -x2122 -x2124 -x2126 -x2128 -x2130 -x2132 -x2134 -x2136 -x2138 -x2140 -x2142 -x2144 -x2146
1800.05/1800.50	v -x2148 -x2150 -x2152 -x2154 -x2156 -x2158 -x2160 -x2162 -x2164 -x2166 -x2168 -x2170 -x2172 -x2174 -x2176 -x2178 -x2180
1800.05/1800.50	v -x2182 -x2184 -x2186 -x2188 -x2190 -x2192 -x2194 -x2196 -x2198 -x2200 -x2202 -x2204 -x2206 -x2208 -x2210 -x2212 -x2214
1800.05/1800.50	v -x2216 -x2218 -x2220 -x2222 -x2224 -x2226 -x2228 -x52 -x2230 -x2232 -x2234 -x2236 -x2238 -x2240 -x2242 -x2244 -x2246 -x2248
1800.05/1800.50	v -x2250 -x2252 -x2254 -x2256 -x2258 -x2260 -x2262 -x2264 -x2266 -x2268 -x2270 -x2272 -x2274 -x2276 -x2278 -x2280 -x2282
1800.05/1800.50	v -x2284 -x2286 -x2288 -x2290 -x53 -x2292 -x2294 -x2296 -x2298 -x2300 -x2302 -x2305 -x2307 -x2309 -x2311 -x2313 -x2315 -x2317
1800.05/1800.50	v -x2319 -x2321 -x2323 -x2325 -x2327 -x2329 -x2331 -x2333 -x2335 -x2337 -x2339 -x2341 -x2343 -x2345 -x2347 -x2349 -x2351
1800.05/1800.50	v -x2353 -x2355 -x2357 -x2359 -x2361 -x2363 -x2365 -x2367 -x2369 -x2371 -x2373 -x2375 -x2377 -x2379 -x2381 -x2383 -x2385
1800.05/1800.50	v -x2387 -x2389 -x2391 -x2393 -x2395 -x2397 -x2399 -x2401 -x2403 -x2405 -x2407 -x2409 -x2411 -x2413 -x2415 -x54 -x2417 -x2419
1800.05/1800.50	v -x2421 -x2423 -x2425 -x2427 -x2429 -x2431 -x2433 -x2435 -x2437 -x2439 -x2441 -x2443 -x2445 -x2447 -x2449 -x2451 -x2453
1800.05/1800.50	v -x2455 -x2457 -x2459 -x2461 -x2463 -x2465 -x2467 -x2469 -x2471 -x2473 -x2475 -x2477 -x55 -x2479 -x2481 -x2483 -x2485 -x2487
1800.05/1800.50	v -x2489 -x2491 -x2493 -x2495 -x2497 -x2499 -x2501 -x2503 -x2505 -x2507 -x2509 -x2511 -x2513 -x2515 -x2517 -x2519 -x2521
1800.05/1800.50	v -x2523 -x2525 -x2527 -x2529 -x2531 -x2533 -x2535 -x2537 -x2539 -x56 -x2541 -x2543 -x2545 -x2547 -x2549 -x2551 -x2553 -x2555
1800.05/1800.50	v -x2557 -x2559 -x2561 -x2563 -x2565 -x2567 -x2569 -x57 -x2571 -x2573 -x2575 -x2577 -x2579 -x2581 -x2583 -x2585 -x2587 -x2589
1800.05/1800.50	v -x2591 -x2593 -x2595 -x2597 -x2599 -x2601 -x2603 -x2605 -x2607 -x2609 -x2611 -x2613 -x2615 -x2617 -x2619 -x2621 -x2623
1800.05/1800.50	v -x2625 -x2627 -x2629 -x2631 -x2633 -x2635 -x2637 -x2639 -x2641 -x2643 -x2645 -x2647 -x2649 -x2651 -x2653 -x2655 -x2657
1800.05/1800.50	v -x2659 -x2661 -x2663 -x2665 -x2667 -x2669 -x2671 -x2673 -x2675 -x2677 -x2679 -x2681 -x2683 -x2685 -x2687 -x2689 -x2691
1800.05/1800.50	v -x2693 -x2695 -x58 -x2697 -x2699 -x2701 -x2703 -x2705 -x2707 -x2709 -x2711 -x2713 -x2715 -x2717 -x2719 -x2721 -x2723 -x2725
1800.05/1800.50	v -x2727 -x2729 -x2731 -x2733 -x2735 -x2737 -x2739 -x2741 -x2744 -x2746 -x2748 -x2750 -x2752 -x2754 -x2756 -x59 -x2758 -x2760
1800.05/1800.50	v -x2762 -x2764 -x2766 -x2768 -x2770 -x2772 -x2774 -x2777 -x2779 -x2781 -x2783 -x2785 -x2787 -x2789 -x2791 -x2793 -x2795
1800.05/1800.50	v -x2797 -x2799 -x2801 -x2803 -x2805 -x2807 -x2809 -x2811 -x2813 -x2815 -x2817 -x60 -x2819 -x2821 -x2823 -x2825 -x2827 -x2829
1800.05/1800.50	v -x2831 -x2833 -x2835 -x2837 -x2839 -x2841 -x2843 -x2845 -x2847 -x61 -x2849 -x2851 -x2853 -x2855 -x2857 -x2859 -x2861 -x2863
1800.05/1800.50	v -x2865 -x2867 -x2869 -x2871 -x2873 -x2875 -x2877 -x2879 -x2881 -x2883 -x2885 -x2887 -x2889 -x2891 -x2893 -x2895 -x2897
1800.05/1800.50	v -x2899 -x2901 -x2903 -x2905 -x2907 -x2909 -x62 -x2911 -x2913 -x2915 -x2917 -x2919 -x2921 -x2923 -x2925 -x2927 -x2929 -x2931
1800.05/1800.50	v -x2933 -x2935 -x2937 -x2939 -x63 -x2941 -x2943 -x2945 -x2947 -x2949 -x2951 -x2953 -x2955 -x2957 -x2959 -x2961 -x2963 -x2965
1800.05/1800.50	v -x2967 -x2969 -x64 -x2971 -x2973 -x2975 -x2977 -x2979 -x2981 -x2983 -x65 -x2985 -x2987 -x2989 -x2991 -x2993 -x2995 -x2997
1800.05/1800.50	v -x2999 -x3001 -x3003 -x3005 -x3007 -x3009 -x3011 -x3013 -x3015 -x3017 -x3019 -x3021 -x3023 -x3025 -x3027 -x3029 -x3031
1800.05/1800.50	v -x3033 -x3035 -x3037 -x3039 -x3041 -x3043 -x3045 -x3047 -x3049 -x3051 -x3053 -x3055 -x3057 -x3059 -x3061 -x3063 -x3065
1800.05/1800.50	v -x3067 -x3069 -x3071 -x3073 -x3075 -x3077 -x3079 -x3081 -x3083 -x3085 -x3087 -x3089 -x3091 -x3093 -x3095 -x3097 -x3099
1800.05/1800.50	v -x3101 -x3103 -x3105 -x3107 -x3109 -x66 -x3111 -x3113 -x3115 -x3117 -x3119 -x3121 -x3123 -x3125 -x3127 -x3129 -x3131 -x3133
1800.05/1800.50	v -x3135 -x3137 -x3139 -x3141 -x3143 -x3145 -x3147 -x3149 -x3151 -x3153 -x3155 -x3157 -x3159 -x3161 -x3163 -x3165 -x3167
1800.05/1800.50	v -x3169 -x3171 -x67 -x3173 -x3175 -x3177 -x3179 -x3181 -x3183 -x3185 -x3187 -x3189 -x3191 -x3193 -x3195 -x3197 -x3199 -x3201
1800.05/1800.50	v -x3203 -x3205 -x3207 -x3209 -x3211 -x3213 -x3215 -x3217 -x3219 -x3221 -x3223 -x3225 -x3227 -x3229 -x3231 -x3233 -x68 -x3235
1800.05/1800.50	v -x3237 -x3239 -x3241 -x3243 -x3245 -x3247 -x3249 -x3251 -x3253 -x3255 -x3257 -x3259 -x3261 -x3263 -x69 -x3265 -x3267 -x3269
1800.05/1800.50	v -x3271 -x3273 -x3275 -x3277 -x3279 -x3281 -x3283 -x3285 -x3287 -x3289 -x3291 -x3293 -x3295 -x3297 -x3299 -x3301 -x3303
1800.05/1800.50	v -x3305 -x3307 -x3309 -x3311 -x3313 -x3315 -x3317 -x3319 -x3321 -x3323 -x3325 -x70 -x3327 -x3329 -x3331 -x3333 -x3335 -x3337
1800.05/1800.50	v -x3339 -x3341 -x3343 -x3345 -x3347 -x3349 -x3351 -x3353 -x3355 -x71 -x3357 -x3359 -x3361 -x3363 -x3365 -x3367 -x3369 -x3371
1800.05/1800.50	v -x3373 -x3375 -x3377 -x3379 -x3381 -x3383 -x3385 -x72 -x3387 -x3389 -x3391 -x3393 -x3395 -x3397 -x3399 -x73 -x3401 -x3403
1800.05/1800.50	v -x3405 -x3407 -x3409 -x3411 -x3413 -x3415 -x3417 -x3419 -x3421 -x3423 -x3425 -x3427 -x3429 -x3431 -x3433 -x3435 -x3437
1800.05/1800.50	v -x3439 -x3441 -x3443 -x3445 -x3447 -x3449 -x3451 -x3453 -x3455 -x3457 -x3459 -x3461 -x74 -x3463 -x3465 -x3467 -x3469 -x3471
1800.05/1800.50	v -x3473 -x3475 -x3477 -x3479 -x3481 -x3483 -x3485 -x3487 -x3489 -x3491 -x75 -x3493 -x3495 -x3497 -x3499 -x3501 -x3503 -x3505
1800.05/1800.50	v -x3507 -x3509 -x3511 -x3513 -x3515 -x3517 -x3519 -x3521 -x76 -x3523 -x3525 -x3527 -x3529 -x3531 -x3533 -x3535 -x77 -x3537
1800.05/1800.50	v -x3539 -x3541 -x3543 -x3545 -x3547 -x3549 -x3551 -x3553 -x3555 -x3557 -x3559 -x3561 -x3563 -x3565 -x78 -x3567 -x3569 -x3571
1800.05/1800.50	v -x3573 -x3575 -x3577 -x3579 -x79 -x3581 -x3583 -x3585 -x3587 -x3589 -x3591 -x3593 -x80 -x3595 -x3597 -x3599 -x3601 -x3603
1800.05/1800.50	v -x3605 -x3607 -x3609 -x3611 -x3613 -x3615 -x3617 -x3619 -x3621 -x3623 -x3625 -x3627 -x3629 -x3631 -x3633 -x3635 -x3637
1800.05/1800.50	v -x3639 -x3641 -x3643 -x3645 -x3647 -x3649 -x3651 -x3653 -x3655 -x3657 -x3659 -x3661 -x3664 -x3666 -x3668 -x3670 -x3672
1800.05/1800.50	v -x3674 -x3676 -x3678 -x3680 -x3682 -x3684 -x3686 -x3688 -x3690 -x3692 -x3694 -x3696 -x3698 -x3700 -x3702 -x3704 -x3706
1800.05/1800.50	v -x3708 -x3710 -x3712 -x3714 -x3716 -x3718 -x3720 -x81 -x3722 -x3724 -x3726 -x3728 -x3730 -x3732 -x3734 -x3736 -x3738 -x3740
1800.05/1800.50	v -x3742 -x3744 -x3746 -x3748 -x3750 -x3752 -x3754 -x3756 -x3758 -x3760 -x3762 -x3764 -x3766 -x3768 -x3770 -x3772 -x3774
1800.05/1800.50	v -x3776 -x3778 -x3780 -x3782 -x82 -x3784 -x3786 -x3788 -x3790 -x3792 -x3794 -x3796 -x3798 -x3800 -x3802 -x3804 -x3806 -x3808
1800.05/1800.50	v -x3810 -x3812 -x3814 -x3816 -x3818 -x3820 -x3822 -x3824 -x3826 -x3828 -x3830 -x3832 -x3834 -x3836 -x3838 -x3840 -x3842
1800.05/1800.50	v -x3844 -x83 -x3846 -x3848 -x3850 -x3852 -x3854 -x3856 -x3858 -x3860 -x3862 -x3864 -x3866 -x3868 -x3870 -x3872 -x3874 -x84
1800.05/1800.50	v -x3876 -x3878 -x3880 -x3882 -x3884 -x3886 -x3888 -x3890 -x3892 -x3894 -x3896 -x3898 -x3900 -x3902 -x3904 -x3907 -x3909
1800.05/1800.50	v -x3911 -x3913 -x3915 -x3917 -x3919 -x3921 -x3923 -x3925 -x3927 -x3929 -x3931 -x3933 -x85 -x3935 -x3937 -x3939 -x3941 -x3943
1800.05/1800.50	v -x3945 -x3947 -x3949 -x3951 -x3953 -x3955 -x3957 -x3959 -x3961 -x3963 -x86 -x3965 -x3967 -x3969 -x3971 -x3973 -x3975 -x3977
1800.05/1800.50	v -x3979 -x3981 -x3983 -x3985 -x3987 -x3989 -x3991 -x3993 -x87 -x3995 -x3997 -x3999 -x4001 -x4003 -x4005 -x4007 -x4009 -x4011
1800.05/1800.50	v -x4013 -x4015 -x4017 -x4019 -x4021 -x4023 -x88 -x4025 -x4027 -x4029 -x4031 -x4033 -x4035 -x4037 -x89 -x4039 -x4041 -x4043
1800.05/1800.50	v -x4045 -x4047 -x4049 -x4051 -x4053 -x4055 -x4057 -x4059 -x4061 -x4063 -x4065 -x4067 -x4069 -x4071 -x4073 -x4075 -x4077
1800.05/1800.50	v -x4079 -x4081 -x4083 -x4085 -x4087 -x4089 -x4091 -x4093 -x4095 -x4097 -x4099 -x90 -x4101 -x4103 -x4105 -x4107 -x4109 -x4111
1800.05/1800.50	v -x4113 -x4115 -x4117 -x4119 -x4121 -x4123 -x4125 -x4127 -x4129 -x91 -x4131 -x4133 -x4135 -x4137 -x4139 -x4141 -x4143 -x4145
1800.05/1800.50	v -x4147 -x4149 -x4151 -x4153 -x4155 -x92 -x4157 -x4159 -x4161 -x4163 -x4165 -x4167 -x4169 -x93 -x4171 -x4173 -x4175 -x4177
1800.05/1800.50	v -x4179 -x4181 -x4183 -x4185 -x4187 -x4189 -x4191 -x4193 -x4195 -x4197 -x4199 -x94 -x4201 -x4203 -x4205 -x4207 -x4209 -x4211
1800.05/1800.50	v -x4213 -x95 -x4215 -x4217 -x4219 -x4221 -x4223 -x4225 -x4227 -x4229 x4231 -x4233 -x4235 -x4237 -x4239 -x4241 -x96 -x4243
1800.05/1800.50	v -x4245 -x4247 -x97 -x4249 -x4251 -x4253 -x4255 -x4257 -x4259 -x4261 -x4263 -x4265 -x4267 -x4269 -x4271 -x4273 -x4275 -x4277
1800.05/1800.50	v -x4279 -x4281 -x4283 -x4285 -x4287 -x4289 -x4291 -x4293 -x4295 -x4297 -x4299 -x4301 -x4303 -x4305 -x4307 -x4309 -x4311
1800.05/1800.50	v -x4313 -x4315 -x4317 -x4319 -x4321 -x4323 -x4325 -x4327 -x4329 -x4331 -x4333 -x4335 -x4337 -x4339 -x4341 -x4343 -x4345
1800.05/1800.50	v -x4347 -x4350 -x4352 -x4354 -x4356 -x4358 -x4360 -x4362 -x4364 -x4366 -x4368 -x4370 -x4372 -x98 -x4374 -x4376 -x4378 -x4380
1800.05/1800.50	v -x4382 -x4384 -x4386 -x4388 -x4390 -x4392 -x4394 -x4396 -x4398 -x4400 -x4402 -x4404 -x4406 -x4408 -x4410 -x4412 -x4414
1800.05/1800.50	v -x4416 -x4418 -x4420 -x4422 -x4424 -x4426 -x4428 -x4430 -x4432 -x4434 -x99 -x4436 -x4438 -x4440 -x4442 -x4444 -x4446 -x4448
1800.05/1800.50	v -x4450 -x4452 -x4454 -x4456 -x4458 -x4460 -x4462 -x4464 -x4466 -x4468 -x4470 -x4472 -x4474 -x4476 -x4478 -x4480 -x4482
1800.05/1800.50	v -x4484 -x4486 -x4488 -x4490 -x4492 -x4494 -x4496 -x100 -x4498 -x4500 -x4502 -x4504 -x4506 -x4508 -x4510 -x4512 -x4514
1800.05/1800.50	v -x4516 -x4518 -x4520 -x4522 -x4524 -x4526 -x101 -x4528 -x4530 -x4532 -x4534 -x4536 -x4538 -x4540 -x4542 -x4544 -x4546
1800.05/1800.50	v -x4548 -x4550 -x4552 -x4554 -x4556 -x4558 -x4560 -x4562 -x4564 -x4566 -x4568 -x4570 -x4572 -x4574 -x4576 -x4578 -x4580
1800.05/1800.50	v -x4582 -x4584 -x4586 -x4588 -x102 -x4590 -x4592 -x4594 -x4596 -x4598 -x4600 -x4602 -x4604 -x4606 -x4608 -x4610 -x4612
1800.05/1800.50	v -x4614 -x4616 -x4618 -x103 -x4620 -x4622 -x4624 -x4626 -x4628 -x4630 -x4632 -x4634 -x4636 -x4638 -x4640 -x4642 -x4644
1800.05/1800.50	v -x4646 -x4648 -x104 -x4650 -x4652 -x4654 -x4656 -x4658 -x4660 -x4662 -x105 -x4664 -x4666 -x4668 -x4670 -x4672 -x4674 -x4676
1800.05/1800.50	v -x4678 -x4680 -x4682 -x4684 -x4686 -x4688 -x4690 -x4692 -x4694 -x4696 -x4698 -x4700 -x4702 -x4704 -x4706 -x4708 -x4710
1800.05/1800.50	v -x4712 -x4714 -x4716 -x4718 -x4720 -x4722 -x4724 -x106 -x4726 -x4728 -x4730 -x4732 -x4734 -x4736 -x4738 -x4740 -x4742
1800.05/1800.50	v -x4744 -x4746 -x4748 -x4750 -x4752 -x4754 -x107 -x4756 -x4758 -x4760 -x4762 -x4764 -x4766 -x4768 -x4770 -x4772 -x4774
1800.05/1800.50	v -x4776 -x4778 -x4780 -x4782 -x4784 -x108 -x4786 -x4788 -x4790 -x4792 -x4794 -x4796 -x4798 -x109 -x4800 -x4802 -x4804 -x4806
1800.05/1800.50	v -x4808 -x4810 -x4812 -x4814 -x4816 -x4818 -x4820 -x4822 -x4824 -x4826 -x4828 -x110 -x4830 -x4832 -x4834 -x4836 -x4838
1800.05/1800.50	v -x4840 -x4842 -x111 -x4844 -x4846 -x4848 -x4850 -x4852 -x4854 -x4856 -x112 -x4858 -x4860 -x4862 -x113 -x4864 -x4866 -x4868
1800.05/1800.50	v -x4870 -x4872 -x4874 -x4876 -x4878 -x4880 -x4882 -x4884 -x4886 -x4888 -x4890 -x4892 -x4894 -x4896 -x4898 -x4900 -x4902
1800.05/1800.50	v -x4904 -x4906 -x4908 -x4910 -x4912 -x4914 -x4916 -x4918 -x4920 -x4922 -x4924 -x114 -x4926 -x4928 -x4930 -x4932 -x4934
1800.05/1800.50	v -x4936 -x4938 -x4940 -x4942 -x4944 -x4946 -x4948 -x4950 -x4952 -x4954 -x115 -x4956 -x4958 -x4960 -x4962 -x4964 -x4966
1800.05/1800.50	v -x4968 -x4970 -x4972 -x4974 -x4976 -x4978 -x4980 -x4982 -x4984 -x116 -x4986 -x4988 -x4990 -x4992 -x4994 -x4996 -x4998
1800.05/1800.50	v -x117 -x5000 -x5002 -x5004 -x5006 -x5008 -x5010 -x5012 -x5014 -x5016 -x5018 -x5020 -x5022 -x5024 -x5026 -x5028 -x118 -x5030
1800.05/1800.50	v -x5032 -x5034 -x5036 -x5038 -x5040 -x5042 -x119 -x5044 -x5046 -x5048 -x5050 -x5052 -x5054 -x5056 -x120 -x5058 -x5060 -x121
1800.05/1800.50	v -x5062 -x5064 -x5066 -x5068 -x5070 -x5072 -x5074 -x5076 -x5078 -x5080 -x5082 -x5084 -x5086 -x5088 -x5090 -x122 -x5092
1800.05/1800.50	v -x5094 -x5096 -x5098 -x5100 -x5102 -x5104 -x123 -x5106 -x5108 -x5110 -x5112 -x5114 -x5116 -x5118 -x124 -x5120 -x5122 -x5124
1800.05/1800.50	v -x125 -x5126 -x5128 -x5130 -x5132 -x5134 -x5136 -x5138 -x126 -x5140 -x5142 -x5144 -x127 -x5146 -x5148 -x5150 -x128 -x5152
1800.05/1800.50	v -x129 -x5154 -x5156 -x5158 -x5160 -x5162 -x5164 -x5166 -x5168 -x5170 -x5172 -x5174 -x5176 -x5178 -x5180 -x5182 -x130 -x5184
1800.05/1800.50	v -x5186 -x5188 -x5190 -x5192 -x5194 -x5196 -x5198 -x5200 -x5202 -x5204 -x5206 -x5208 -x5210 -x5212 -x131 -x5214 -x5216
1800.05/1800.50	v -x5218 -x5220 -x5222 -x5224 -x5226 -x132 -x5228 -x5230 -x5232 -x5234 -x5236 -x5238 -x5240 -x5242 -x5244 -x5246 -x5248
1800.05/1800.50	v -x5250 -x5252 -x5254 -x5256 -x5258 -x5260 -x5262 -x5264 -x5266 -x5268 -x5270 -x5272 -x5274 -x5276 -x5278 -x5280 -x5282
1800.05/1800.50	v -x5284 -x5286 -x5288 -x5290 -x5292 -x5294 -x5296 -x5298 -x5300 -x5302 -x5304 -x5306 -x5308 -x5310 -x5312 -x5314 -x5316
1800.05/1800.50	v -x5318 -x5320 -x5322 -x5324 -x5326 -x5328 -x5330 -x5332 -x5334 -x5336 -x5338 -x5340 -x5342 -x5344 -x5346 -x5348 -x5350
1800.05/1800.50	v -x5352 -x133 -x5354 -x5356 -x5358 -x5360 -x5362 -x5364 -x5366 -x5368 -x5370 -x5372 -x5374 -x5376 -x5378 -x5380 -x5382
1800.05/1800.50	v -x5384 -x5386 -x5388 -x5390 -x5392 -x5394 -x5396 -x5398 -x5400 -x5402 -x5404 -x5406 -x5409 -x5411 -x5413 -x134 -x5415
1800.05/1800.50	v -x5417 -x5419 -x5421 -x5423 -x5426 -x5428 -x5430 -x5432 -x5434 -x5436 -x5438 -x5440 -x5442 -x5444 -x5446 -x5448 -x5450
1800.05/1800.50	v -x5452 -x5454 -x5456 -x5458 -x5460 -x5462 -x5464 -x5466 -x5468 -x5470 -x5472 -x5474 -x5476 -x5478 -x5480 -x5482 -x5484
1800.05/1800.50	v -x5486 -x5488 -x5490 -x5492 -x5494 -x5496 x5498 -x5500 -x5502 -x135 -x5504 -x5506 -x5508 -x5510 -x5512 -x5514 -x5516 -x5518
1800.05/1800.50	v -x5520 -x5522 -x5524 -x5526 -x5528 -x5530 -x5532 -x5534 -x5536 -x5538 -x5540 -x5542 -x5544 -x5546 -x5548 -x5550 -x5552
1800.05/1800.50	v -x5554 -x5556 -x5558 -x5560 -x5562 -x5564 -x136 -x5566 -x5568 -x5570 -x5572 -x5574 -x5576 -x5578 -x5580 -x5582 -x5584
1800.05/1800.50	v -x5586 -x5588 -x5590 -x5592 -x5594 -x137 -x5596 -x5598 -x5600 -x5602 -x5604 -x5606 -x5608 -x5610 -x5612 -x5614 -x5616
1800.05/1800.50	v -x5618 -x5620 -x5622 -x5624 -x138 -x5626 -x5628 -x5630 -x5632 -x5634 -x5636 -x5638 -x139 -x5640 -x5642 -x5644 -x5646 -x5648
1800.05/1800.50	v -x5650 -x5652 -x5654 -x5656 -x5658 -x5660 -x5662 -x5664 -x5666 -x5668 -x5670 -x5672 -x5674 -x5676 -x5678 -x5680 -x5682
1800.05/1800.50	v -x5684 -x5686 -x5688 -x5690 -x5692 -x5694 -x5696 -x5698 -x5700 -x140 -x5702 -x5704 -x5706 -x5708 -x5710 -x5712 -x5714
1800.05/1800.50	v -x5716 -x5718 -x5720 -x5722 -x5724 -x5726 -x5728 -x5730 -x5732 x5734 -x5736 -x5738 -x5740 -x5742 -x5744 -x5746 -x5748
1800.05/1800.50	v -x5750 -x5752 -x5754 -x5756 -x5758 -x5760 x141 -x5762 -x5764 -x5766 -x5768 x5770 -x5772 -x5774 -x142 -x5776 -x5778 -x5780
1800.05/1800.50	v -x5782 -x5784 -x5786 -x5788 -x5790 -x5792 -x5794 -x5796 -x5798 -x5800 -x5802 -x5804 -x143 -x5806 -x5808 -x5810 -x5812
1800.05/1800.50	v -x5814 -x5816 -x5818 -x5820 -x5822 x5824 -x5826 -x5828 -x5830 -x5832 -x144 -x5834 -x5836 -x5838 -x145 -x5840 -x5842 -x5844
1800.05/1800.50	v -x5846 -x5848 -x5850 -x5852 -x5854 -x5856 -x5858 -x5860 -x5862 -x5864 -x5866 -x5868 -x5870 -x5872 -x5874 -x5876 -x5878
1800.05/1800.50	v -x5880 -x5882 -x5884 -x5886 -x5888 -x5890 -x5892 -x5894 -x5896 -x5898 -x5900 -x5902 -x5904 -x5906 -x5908 -x5910 -x5912
1800.05/1800.50	v -x5914 -x5916 -x5918 -x5920 -x5922 -x5924 -x5926 -x5928 -x5930 -x5932 -x5934 -x5936 -x5938 -x5940 -x5942 -x5944 -x5946
1800.05/1800.50	v -x5948 -x5950 -x5952 -x5954 -x5956 -x5958 -x5960 -x5962 -x5964 -x146 -x5966 -x5968 -x5970 -x5972 -x5974 -x5976 -x5978
1800.05/1800.50	v -x5980 -x5982 -x5984 -x5986 -x5988 -x5990 -x5992 -x5994 -x5996 -x5999 -x6001 -x6003 -x6005 -x6007 -x6009 -x6011 -x6013
1800.05/1800.50	v -x6015 -x6017 -x6019 -x6021 -x147 -x6024 -x6026 -x6028 -x6030 -x6032 -x6034 -x6036 -x6038 -x6040 -x6042 -x6044 -x6046
1800.05/1800.50	v -x6048 -x6050 -x6052 -x6054 -x6056 -x6058 -x6060 -x6062 -x6064 -x6066 -x6068 -x6070 -x6072 -x6074 -x6076 -x6078 -x6080
1800.05/1800.50	v -x6082 -x6084 -x148 -x6086 -x6088 -x6090 -x6092 -x6094 -x6096 -x6098 -x6100 -x6102 -x6104 -x6106 -x6108 -x6110 -x6112
1800.05/1800.50	v -x6114 -x149 -x6116 -x6118 -x6120 -x6122 -x6124 -x6126 -x6128 -x6130 -x6132 -x6134 -x6136 -x6138 -x6140 -x6142 -x6144
1800.05/1800.50	v -x6146 -x6148 -x6150 -x6152 -x6154 -x6156 -x6158 -x6160 -x6162 -x6164 -x6166 -x6168 -x6170 -x6172 -x6174 -x6176 -x150
1800.05/1800.50	v -x6178 -x6180 -x6182 -x6184 -x6186 -x6188 -x6190 -x6192 -x6194 -x6196 -x6198 -x6200 -x6202 -x6204 -x6206 -x151 -x6208
1800.05/1800.50	v -x6210 -x6212 -x6214 -x6216 -x6218 -x6220 -x6222 -x6224 -x6226 -x6228 -x6230 -x6232 -x6234 -x6236 -x152 -x6238 -x6240
1800.05/1800.50	v -x6242 -x6244 -x6246 -x6248 -x6250 -x153 -x6252 -x6254 -x6256 -x6258 -x6260 -x6262 -x6264 -x6266 -x6268 -x6270 -x6272
1800.05/1800.50	v -x6274 -x6276 -x6278 -x6280 -x6282 -x6284 -x6286 -x6288 -x6290 -x6292 -x6294 -x6296 -x6298 -x6300 -x6302 -x6304 -x6306
1800.05/1800.50	v -x6308 -x6310 -x6312 -x154 -x6314 -x6316 -x6318 -x6320 -x6322 -x6324 -x6326 -x6328 -x6330 -x6332 -x6334 -x6336 -x6338
1800.05/1800.50	v -x6340 -x6342 -x155 -x6344 -x6346 -x6348 -x6350 -x6352 -x6354 -x6356 -x6358 -x6360 -x6362 -x6364 -x6366 -x6368 -x6370
1800.05/1800.50	v -x6372 -x156 -x6374 -x6376 -x6378 -x6380 -x6382 -x6384 -x6386 -x157 -x6388 -x6390 -x6392 -x6394 -x6396 -x6398 -x6400 -x6402
1800.05/1800.50	v -x6404 -x6406 -x6408 -x6410 -x6412 -x6414 -x6416 -x158 -x6418 -x6420 -x6422 -x6424 -x6426 -x6428 -x6430 -x159 -x6432 -x6434
1800.05/1800.50	v -x6436 -x6438 -x6440 -x6442 -x6444 -x160 -x6446 -x6448 -x6450 -x161 -x6452 -x6454 -x6456 -x6458 -x6460 -x6462 -x6464 -x6466
1800.05/1800.50	v -x6468 -x6470 -x6472 -x6474 -x6476 -x6478 -x6480 -x6482 -x6484 -x6486 -x6488 -x6490 -x6492 -x6494 -x6496 -x6498 -x6500
1800.05/1800.50	v -x6502 -x6504 -x6506 -x6508 -x6510 -x6512 -x162 -x6514 -x6516 -x6518 -x6520 -x6522 -x6524 -x6526 -x6528 -x6530 -x6532
1800.05/1800.50	v -x6534 -x6536 -x6538 -x6540 -x6542 -x163 -x6544 -x6546 -x6548 -x6550 -x6552 -x6554 -x6556 -x6558 -x6560 -x6562 -x6564
1800.05/1800.50	v -x6566 -x6568 -x6570 -x6572 -x6574 -x6576 -x6578 -x6580 -x6582 x6584 -x6586 -x164 -x6588 -x6590 -x6592 -x6594 -x6596 -x6598
1800.05/1800.50	v -x6600 -x6602 -x6604 -x6606 -x6608 -x6610 -x6612 -x6614 -x6616 -x165 -x6618 -x6620 -x6622 -x6624 -x6626 -x6628 -x6630
1800.05/1800.50	v -x166 -x6632 -x6634 -x6636 -x6638 -x6640 -x6642 -x6644 -x167 -x6646 -x6648 -x6650 -x168 -x6652 -x6654 -x6656 -x6658 -x6660
1800.05/1800.50	v -x6662 -x6664 -x6666 -x6668 -x6670 -x6672 -x6674 -x6676 -x6678 -x6680 -x169 -x6682 -x6684 -x6686 -x6688 -x6690 -x6692
1800.05/1800.50	v -x6694 -x170 -x6696 -x6698 -x6700 -x6702 -x6704 -x6706 -x6708 -x171 -x6710 -x6712 -x6714 -x172 -x6716 -x6718 -x6720 -x6722
1800.05/1800.50	v -x6724 -x6726 -x6728 -x173 -x6730 -x6732 -x6734 -x174 -x6736 -x6738 -x6740 -x175 -x6742 -x176 -x6744 -x6746 -x6748 -x6750
1800.05/1800.50	v -x6752 -x6754 -x6756 -x6758 -x6760 -x6762 -x6764 -x6766 -x6768 -x6770 -x6772 -x6774 -x6776 -x6778 -x6780 -x6782 -x6784
1800.05/1800.50	v -x6786 -x6788 -x6790 -x6792 -x6794 -x6796 -x6798 -x6800 -x6802 -x6804 -x177 -x6806 -x6808 -x6810 -x6812 -x6814 -x6816
1800.05/1800.50	v -x6818 -x6820 -x6822 -x6824 -x6826 -x6828 -x6830 -x6832 -x6834 -x178 -x6836 -x6838 -x6840 -x6842 -x6844 -x6846 -x6848
1800.05/1800.50	v -x6850 -x6852 -x6854 -x6856 -x6858 -x6860 -x6862 -x6864 -x179 -x6866 -x6868 -x6870 -x6872 -x6874 -x6876 -x6878 -x6880
1800.05/1800.50	v -x6882 -x6884 -x6886 -x6888 -x6890 -x6892 -x6894 -x180 -x6896 -x6898 -x6900 -x6902 -x6904 -x6906 -x6908 -x181 -x6910 -x6912
1800.05/1800.50	v -x6914 -x6916 -x6918 -x6920 -x6922 -x6924 -x6926 -x6928 -x6930 -x6932 -x6934 -x6936 -x6938 -x6940 -x6942 -x6944 -x6946
1800.05/1800.50	v -x6948 -x6950 -x6952 -x6954 -x6956 -x6958 -x6960 -x6962 -x6964 -x6966 -x6968 -x6970 -x182 -x6972 -x6974 -x6976 -x6978
1800.05/1800.50	v -x6980 -x6982 -x6984 -x6986 -x6988 -x6990 -x6992 -x6994 -x6996 -x6998 -x7000 -x183 -x7002 -x7004 -x7006 -x7008 -x7010
1800.05/1800.50	v -x7012 -x7014 -x7016 -x7018 -x7020 -x7022 -x7024 -x7026 -x7028 -x7030 -x184 -x7032 -x7034 -x7036 -x7038 -x7040 -x7042
1800.05/1800.50	v -x7044 -x185 -x7046 -x7048 -x7050 -x7052 -x7054 -x7056 -x7058 -x7060 -x7062 -x7064 -x7066 -x7068 -x7070 -x7072 -x7074
1800.05/1800.50	v -x186 -x7076 -x7078 -x7080 -x7082 -x7084 -x7086 -x7088 -x187 -x7090 -x7092 -x7094 -x7096 -x7098 -x7100 -x7102 -x188 -x7104
1800.05/1800.50	v -x7106 -x7108 -x189 -x7110 -x7112 -x7114 -x7116 -x7118 -x7120 -x7122 -x7124 -x7126 -x7128 -x7130 -x7132 -x7134 -x7136
1800.05/1800.50	v -x7138 -x7140 -x7142 -x7144 -x7146 -x7148 -x7150 -x7152 -x7154 -x7156 -x7158 -x7160 -x7162 -x7164 -x7166 -x7168 -x7170
1800.05/1800.50	v -x190 -x7172 -x7174 -x7176 -x7178 -x7180 -x7182 -x7184 -x7186 -x7188 -x7190 -x7192 -x7194 -x7196 -x7198 -x191 -x7200 -x7202
1800.05/1800.50	v -x7204 -x7206 -x7208 -x7210 -x7212 -x7214 -x7216 -x7218 -x7220 -x7222 -x7224 -x7226 -x7228 -x192 -x7230 -x7232 -x7234
1800.05/1800.50	v -x7236 -x7238 -x7240 -x7242 -x193 -x7244 -x7246 -x7248 -x7250 -x7252 -x7254 -x7256 -x7258 -x7260 -x7262 -x7264 -x7266
1800.05/1800.50	v -x7268 -x7270 -x7272 -x194 -x7274 -x7276 -x7278 -x7280 -x7282 -x7284 -x195 -x7286 -x7288 -x7290 -x7292 -x7294 -x7296 -x7298
1800.05/1800.50	v -x196 -x7300 -x7302 -x7304 -x197 -x7306 -x7308 -x7310 -x7312 -x7314 -x7316 -x7318 -x7320 -x7322 -x7324 -x7326 -x7328 -x7330
1800.05/1800.50	v -x7332 -x7334 -x198 -x7336 -x7338 -x7340 -x7342 -x7344 -x7346 -x7348 -x199 -x7350 -x7352 -x7354 -x7356 -x7358 -x7360 -x7362
1800.05/1800.50	v -x200 -x7364 -x7366 -x201 -x7368 -x7370 -x7372 -x7374 -x7376 -x7378 -x7380 -x202 -x7382 -x7384 -x7386 -x203 -x7388 -x7390
1800.05/1800.50	v -x7392 -x204 -x7394 -x7396 -x7398 x7400 -x7402 -x7404 -x7406 -x7408 -x7410 -x7412 -x7414 -x7417 -x7419 -x7421 -x7423 -x7425
1800.05/1800.50	v -x7427 -x7429 -x7431 -x7433 -x7435 -x7437 -x7439 -x7441 -x7443 -x7445 -x7447 -x7449 -x205 -x7451 -x7453 -x7455 -x7457
1800.05/1800.50	v -x7459 -x7461 -x7463 -x7465 -x7467 -x7469 -x7471 -x7473 -x7475 -x7477 -x7479 -x206 -x7481 -x7483 -x7485 -x7487 -x7489
1800.05/1800.50	v -x7491 -x7493 -x7495 -x7497 -x7499 -x7501 -x7503 -x7505 -x7507 -x7509 -x207 -x7511 -x7513 -x7515 -x7517 -x7519 -x7521
1800.05/1800.50	v -x7523 -x7525 -x7527 -x7529 -x7531 -x7533 -x7535 -x7537 -x7539 -x7541 -x7543 -x7545 x7547 -x7549 -x7551 -x7553 -x208 -x7555
1800.05/1800.50	v -x7557 -x7559 -x7561 -x7563 -x7565 -x7567 -x209 -x7569 -x7571 -x7573 -x7575 -x7577 -x7579 -x7581 -x210 -x7583 -x7585 -x7587
1800.05/1800.50	v -x211 -x7589 -x7591 -x7593 -x7595 -x7597 -x7599 -x7601 -x7603 -x7605 -x7607 -x7609 -x7611 -x7613 -x7615 -x7617 x212 -x7619
1800.05/1800.50	v -x7621 -x7623 x7625 -x7627 -x7629 -x7631 -x213 -x7633 -x7635 -x7637 -x7639 -x7641 -x7643 -x7645 -x214 -x7647 -x7649 -x7651
1800.05/1800.50	v -x7653 -x7655 x7657 -x7659 -x7661 -x7663 -x7665 -x215 -x7667 -x7669 -x7671 -x216 -x7673 -x7675 -x7677 -x217 -x7679 -x218
1800.05/1800.50	v -x7681 -x7683 -x7685 -x7687 -x7689 -x7691 -x7693 -x7695 -x7697 -x7699 -x7701 -x7703 -x7705 -x219 -x7707 -x7709 -x7711
1800.05/1800.50	v -x7713 -x7715 -x7717 -x7719 x220 -x7721 -x7723 -x7725 -x7727 -x7729 x7731 -x7733 -x221 -x7735 -x7737 -x7739 -x7741 -x7743
1800.05/1800.50	v x7745 -x7747 -x7749 -x7751 -x7753 -x222 -x7755 -x7757 -x223 -x7759 -x7761 -x7763 -x224 -x7765 -x225 -x7767 -x7769 -x7771
1800.05/1800.50	v -x7773 -x7775 -x7777 -x7779 x7781 x7783 -x7785 -x7787 x7789 x226 -x7791 x227 x7793 x7795 x228 x7797 x229 x230

Verifier Data (download as text)

OK	29

Conversion Script Data (download as text)

/tmp/evaluation/372561-1177106790/instance-372561-1177106790.opb is already a linear file

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node15/watcher-372561-1177106790 -o ROOT/results/node15/solver-372561-1177106790 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/372561-1177106790/minisat+ /tmp/evaluation/372561-1177106790/instance-372561-1177106790.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.93 0.99 0.99 3/77 5939
/proc/meminfo: memFree=1740216/2055920 swapFree=4169120/4192956
[pid=5939] ppid=5937 vsize=1352 CPUtime=0
/proc/5939/stat : 5939 (minisat+) R 5937 5939 4932 0 -1 4194304 187 0 0 0 0 0 0 0 18 0 1 0 158596580 1384448 172 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0
/proc/5939/statm: 338 172 67 215 0 120 0

[startup+0.0279671 s]
/proc/loadavg: 0.93 0.99 0.99 3/77 5939
/proc/meminfo: memFree=1740216/2055920 swapFree=4169120/4192956
[pid=5939] ppid=5937 vsize=1988 CPUtime=0.02
/proc/5939/stat : 5939 (minisat+) R 5937 5939 4932 0 -1 4194304 344 0 0 0 2 0 0 0 18 0 1 0 158596580 2035712 329 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0
/proc/5939/statm: 497 329 74 215 0 279 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 1988

[startup+0.101973 s]
/proc/loadavg: 0.93 0.99 0.99 3/77 5939
/proc/meminfo: memFree=1740216/2055920 swapFree=4169120/4192956
[pid=5939] ppid=5937 vsize=2820 CPUtime=0.09
/proc/5939/stat : 5939 (minisat+) R 5937 5939 4932 0 -1 4194304 539 0 0 0 9 0 0 0 18 0 1 0 158596580 2887680 524 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0
/proc/5939/statm: 705 524 74 215 0 487 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2820

[startup+0.301991 s]
/proc/loadavg: 0.93 0.99 0.99 3/77 5939
/proc/meminfo: memFree=1740216/2055920 swapFree=4169120/4192956
[pid=5939] ppid=5937 vsize=4560 CPUtime=0.29
/proc/5939/stat : 5939 (minisat+) R 5937 5939 4932 0 -1 4194304 980 0 0 0 29 0 0 0 19 0 1 0 158596580 4669440 965 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0
/proc/5939/statm: 1140 965 74 215 0 922 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4560

[startup+0.701027 s]
/proc/loadavg: 0.93 0.99 0.99 3/77 5939
/proc/meminfo: memFree=1740216/2055920 swapFree=4169120/4192956
[pid=5939] ppid=5937 vsize=7728 CPUtime=0.68
/proc/5939/stat : 5939 (minisat+) R 5937 5939 4932 0 -1 4194304 1774 0 0 0 68 0 0 0 23 0 1 0 158596580 7913472 1759 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0
/proc/5939/statm: 1932 1759 75 215 0 1714 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 7728

[startup+1.5011 s]
/proc/loadavg: 0.93 0.99 0.99 2/78 5940
/proc/meminfo: memFree=1731184/2055920 swapFree=4169120/4192956
[pid=5939] ppid=5937 vsize=10060 CPUtime=1.49
/proc/5939/stat : 5939 (minisat+) R 5937 5939 4932 0 -1 4194304 2421 0 0 0 145 4 0 0 22 0 1 0 158596580 10301440 2360 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135005317 0 0 4096 16386 0 0 0 17 1 0 0
/proc/5939/statm: 2515 2360 104 215 0 2297 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10060

[startup+3.10125 s]
/proc/loadavg: 0.93 0.99 0.99 2/78 5940
/proc/meminfo: memFree=1730736/2055920 swapFree=4169120/4192956
[pid=5939] ppid=5937 vsize=10220 CPUtime=3.09
/proc/5939/stat : 5939 (minisat+) R 5937 5939 4932 0 -1 4194304 2444 0 0 0 305 4 0 0 25 0 1 0 158596580 10465280 2383 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135012183 0 0 4096 16386 0 0 0 17 1 0 0
/proc/5939/statm: 2555 2383 104 215 0 2337 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10220

[startup+6.30154 s]
/proc/loadavg: 0.94 0.99 0.99 2/78 5940
/proc/meminfo: memFree=1730480/2055920 swapFree=4169120/4192956
[pid=5939] ppid=5937 vsize=10508 CPUtime=6.29
/proc/5939/stat : 5939 (minisat+) R 5937 5939 4932 0 -1 4194304 2533 0 0 0 625 4 0 0 25 0 1 0 158596580 10760192 2472 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135005353 0 0 4096 16386 0 0 0 17 1 0 0
/proc/5939/statm: 2627 2472 104 215 0 2409 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10508

[startup+12.7011 s]
/proc/loadavg: 0.94 0.99 0.99 2/78 5940
/proc/meminfo: memFree=1719088/2055920 swapFree=4169120/4192956
[pid=5939] ppid=5937 vsize=23972 CPUtime=12.69
/proc/5939/stat : 5939 (minisat+) R 5937 5939 4932 0 -1 4194304 6290 0 0 0 1263 6 0 0 25 0 1 0 158596580 24547328 5508 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0
/proc/5939/statm: 5993 5508 123 215 0 5775 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 23972

[startup+25.5023 s]
/proc/loadavg: 0.95 0.99 0.99 2/78 5940
/proc/meminfo: memFree=1706864/2055920 swapFree=4169120/4192956
[pid=5939] ppid=5937 vsize=35784 CPUtime=25.48
/proc/5939/stat : 5939 (minisat+) R 5937 5939 4932 0 -1 4194304 9214 0 0 0 2540 8 0 0 25 0 1 0 158596580 36642816 8432 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/5939/statm: 8946 8432 123 215 0 8728 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 35784

[startup+51.1026 s]
/proc/loadavg: 0.97 0.99 0.99 2/78 5940
/proc/meminfo: memFree=1694000/2055920 swapFree=4169120/4192956
[pid=5939] ppid=5937 vsize=48580 CPUtime=51.08
/proc/5939/stat : 5939 (minisat+) R 5937 5939 4932 0 -1 4194304 12421 0 0 0 5097 11 0 0 25 0 1 0 158596580 49745920 11639 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134572757 0 0 4096 16386 0 0 0 17 1 0 0
/proc/5939/statm: 12145 11639 123 215 0 11927 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 48580

[startup+102.305 s]
/proc/loadavg: 0.98 0.99 0.99 2/78 5940
/proc/meminfo: memFree=1680048/2055920 swapFree=4169120/4192956
[pid=5939] ppid=5937 vsize=62364 CPUtime=102.26
/proc/5939/stat : 5939 (minisat+) R 5937 5939 4932 0 -1 4194304 15864 0 0 0 10212 14 0 0 25 0 1 0 158596580 63860736 15082 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580840 0 0 4096 16386 0 0 0 17 1 0 0
/proc/5939/statm: 15591 15082 123 215 0 15373 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 62364

[startup+162.303 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 5940
/proc/meminfo: memFree=1676912/2055920 swapFree=4169120/4192956
[pid=5939] ppid=5937 vsize=65808 CPUtime=162.24
/proc/5939/stat : 5939 (minisat+) R 5937 5939 4932 0 -1 4194304 16705 0 0 0 16209 15 0 0 25 0 1 0 158596580 67387392 15923 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/5939/statm: 16452 15923 123 215 0 16234 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 65808

[startup+222.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 5940
/proc/meminfo: memFree=1668528/2055920 swapFree=4169120/4192956
[pid=5939] ppid=5937 vsize=73996 CPUtime=222.23
/proc/5939/stat : 5939 (minisat+) R 5937 5939 4932 0 -1 4194304 18738 0 0 0 22206 17 0 0 25 0 1 0 158596580 75771904 17956 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581415 0 0 4096 16386 0 0 0 17 1 0 0
/proc/5939/statm: 18499 17956 123 215 0 18281 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 73996

[startup+282.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 5940
/proc/meminfo: memFree=1668528/2055920 swapFree=4169120/4192956
[pid=5939] ppid=5937 vsize=73996 CPUtime=282.22
/proc/5939/stat : 5939 (minisat+) R 5937 5939 4932 0 -1 4194304 18738 0 0 0 28204 18 0 0 25 0 1 0 158596580 75771904 17956 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134576758 0 0 4096 16386 0 0 0 17 1 0 0
/proc/5939/statm: 18499 17956 123 215 0 18281 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 73996

[startup+342.301 s]
/proc/loadavg: 0.99 0.99 0.99 3/78 5940
/proc/meminfo: memFree=1667248/2055920 swapFree=4169120/4192956
[pid=5939] ppid=5937 vsize=75248 CPUtime=342.21
/proc/5939/stat : 5939 (minisat+) R 5937 5939 4932 0 -1 4194304 19039 0 0 0 34202 19 0 0 25 0 1 0 158596580 77053952 18257 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135005772 0 0 4096 16386 0 0 0 17 1 0 0
/proc/5939/statm: 18812 18257 123 215 0 18594 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 75248

[startup+402.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 5940
/proc/meminfo: memFree=1667120/2055920 swapFree=4169120/4192956
[pid=5939] ppid=5937 vsize=75248 CPUtime=402.19
/proc/5939/stat : 5939 (minisat+) R 5937 5939 4932 0 -1 4194304 19059 0 0 0 40200 19 0 0 25 0 1 0 158596580 77053952 18277 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/5939/statm: 18812 18277 123 215 0 18594 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 75248

[startup+462.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 5940
/proc/meminfo: memFree=1667312/2055920 swapFree=4169120/4192956
[pid=5939] ppid=5937 vsize=75248 CPUtime=462.17
/proc/5939/stat : 5939 (minisat+) R 5937 5939 4932 0 -1 4194304 19060 0 0 0 46198 19 0 0 25 0 1 0 158596580 77053952 18278 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0
/proc/5939/statm: 18812 18278 123 215 0 18594 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 75248

[startup+522.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 5940
/proc/meminfo: memFree=1667312/2055920 swapFree=4169120/4192956
[pid=5939] ppid=5937 vsize=75248 CPUtime=522.16
/proc/5939/stat : 5939 (minisat+) R 5937 5939 4932 0 -1 4194304 19063 0 0 0 52196 20 0 0 25 0 1 0 158596580 77053952 18281 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/5939/statm: 18812 18281 123 215 0 18594 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 75248

[startup+582.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 5940
/proc/meminfo: memFree=1667248/2055920 swapFree=4169120/4192956
[pid=5939] ppid=5937 vsize=75248 CPUtime=582.14
/proc/5939/stat : 5939 (minisat+) R 5937 5939 4932 0 -1 4194304 19063 0 0 0 58194 20 0 0 25 0 1 0 158596580 77053952 18281 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/5939/statm: 18812 18281 123 215 0 18594 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 75248

[startup+642.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 5940
/proc/meminfo: memFree=1666736/2055920 swapFree=4169120/4192956
[pid=5939] ppid=5937 vsize=75980 CPUtime=642.13
/proc/5939/stat : 5939 (minisat+) R 5937 5939 4932 0 -1 4194304 19206 0 0 0 64193 20 0 0 25 0 1 0 158596580 77803520 18424 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/5939/statm: 18995 18424 123 215 0 18777 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 75980


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 5940
/proc/meminfo: memFree=1651760/2055920 swapFree=4169120/4192956
[pid=5939] ppid=5937 vsize=90824 CPUtime=882.08
/proc/5939/stat : 5939 (minisat+) R 5937 5939 4932 0 -1 4194304 22902 0 0 0 88182 26 0 0 25 0 1 0 158596580 93003776 22120 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0
/proc/5939/statm: 22706 22120 123 215 0 22488 0
Current children cumulated CPU time (s) 882.08
Current children cumulated vsize (KiB) 90824

[startup+942.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 5940
/proc/meminfo: memFree=1651760/2055920 swapFree=4169120/4192956
[pid=5939] ppid=5937 vsize=90824 CPUtime=942.06
/proc/5939/stat : 5939 (minisat+) R 5937 5939 4932 0 -1 4194304 22902 0 0 0 94180 26 0 0 25 0 1 0 158596580 93003776 22120 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134574410 0 0 4096 16386 0 0 0 17 1 0 0
/proc/5939/statm: 22706 22120 123 215 0 22488 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 90824

[startup+1002.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 5940
/proc/meminfo: memFree=1651760/2055920 swapFree=4169120/4192956
[pid=5939] ppid=5937 vsize=90824 CPUtime=1002.04
/proc/5939/stat : 5939 (minisat+) R 5937 5939 4932 0 -1 4194304 22902 0 0 0 100178 26 0 0 25 0 1 0 158596580 93003776 22120 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/5939/statm: 22706 22120 123 215 0 22488 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 90824

[startup+1062.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 5940
/proc/meminfo: memFree=1651760/2055920 swapFree=4169120/4192956
[pid=5939] ppid=5937 vsize=90824 CPUtime=1062.03
/proc/5939/stat : 5939 (minisat+) R 5937 5939 4932 0 -1 4194304 22902 0 0 0 106176 27 0 0 25 0 1 0 158596580 93003776 22120 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581491 0 0 4096 16386 0 0 0 17 1 0 0
/proc/5939/statm: 22706 22120 123 215 0 22488 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 90824

[startup+1122.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 5940
/proc/meminfo: memFree=1651696/2055920 swapFree=4169120/4192956
[pid=5939] ppid=5937 vsize=90824 CPUtime=1122.01
/proc/5939/stat : 5939 (minisat+) R 5937 5939 4932 0 -1 4194304 22903 0 0 0 112174 27 0 0 25 0 1 0 158596580 93003776 22121 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134573890 0 0 4096 16386 0 0 0 17 1 0 0
/proc/5939/statm: 22706 22121 123 215 0 22488 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 90824

[startup+1182.3 s]
/proc/loadavg: 0.99 0.99 0.99 3/78 5940
/proc/meminfo: memFree=1651760/2055920 swapFree=4169120/4192956
[pid=5939] ppid=5937 vsize=90824 CPUtime=1182
/proc/5939/stat : 5939 (minisat+) R 5937 5939 4932 0 -1 4194304 22904 0 0 0 118172 28 0 0 25 0 1 0 158596580 93003776 22122 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0
/proc/5939/statm: 22706 22122 123 215 0 22488 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 90824

[startup+1242.3 s]
/proc/loadavg: 1.03 1.00 1.00 2/78 5940
/proc/meminfo: memFree=1643632/2055920 swapFree=4169120/4192956
[pid=5939] ppid=5937 vsize=98996 CPUtime=1241.98
/proc/5939/stat : 5939 (minisat+) R 5937 5939 4932 0 -1 4194304 24954 0 0 0 124168 30 0 0 25 0 1 0 158596580 101371904 24172 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580985 0 0 4096 16386 0 0 0 17 1 0 0
/proc/5939/statm: 24749 24172 123 215 0 24531 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 98996

[startup+1302.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 5940
/proc/meminfo: memFree=1636848/2055920 swapFree=4169120/4192956
[pid=5939] ppid=5937 vsize=105700 CPUtime=1301.97
/proc/5939/stat : 5939 (minisat+) R 5937 5939 4932 0 -1 4194304 26626 0 0 0 130165 32 0 0 25 0 1 0 158596580 108236800 25844 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580921 0 0 4096 16386 0 0 0 17 1 0 0
/proc/5939/statm: 26425 25844 123 215 0 26207 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 105700

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5940
/proc/meminfo: memFree=1636784/2055920 swapFree=4169120/4192956
[pid=5939] ppid=5937 vsize=105700 CPUtime=1361.96
/proc/5939/stat : 5939 (minisat+) R 5937 5939 4932 0 -1 4194304 26629 0 0 0 136163 33 0 0 25 0 1 0 158596580 108236800 25847 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580953 0 0 4096 16386 0 0 0 17 1 0 0
/proc/5939/statm: 26425 25847 123 215 0 26207 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 105700

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5940
/proc/meminfo: memFree=1636784/2055920 swapFree=4169120/4192956
[pid=5939] ppid=5937 vsize=105700 CPUtime=1421.94
/proc/5939/stat : 5939 (minisat+) R 5937 5939 4932 0 -1 4194304 26632 0 0 0 142161 33 0 0 25 0 1 0 158596580 108236800 25850 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/5939/statm: 26425 25850 123 215 0 26207 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 105700

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5940
/proc/meminfo: memFree=1636784/2055920 swapFree=4169120/4192956
[pid=5939] ppid=5937 vsize=105864 CPUtime=1481.93
/proc/5939/stat : 5939 (minisat+) R 5937 5939 4932 0 -1 4194304 26665 0 0 0 148159 34 0 0 25 0 1 0 158596580 108404736 25883 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/5939/statm: 26466 25883 123 215 0 26248 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 105864

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5940
/proc/meminfo: memFree=1636784/2055920 swapFree=4169120/4192956
[pid=5939] ppid=5937 vsize=105864 CPUtime=1541.91
/proc/5939/stat : 5939 (minisat+) R 5937 5939 4932 0 -1 4194304 26665 0 0 0 154157 34 0 0 25 0 1 0 158596580 108404736 25883 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0
/proc/5939/statm: 26466 25883 123 215 0 26248 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 105864

[startup+1602.3 s]
/proc/loadavg: 1.05 1.01 1.00 2/78 5940
/proc/meminfo: memFree=1636592/2055920 swapFree=4169120/4192956
[pid=5939] ppid=5937 vsize=106108 CPUtime=1601.89
/proc/5939/stat : 5939 (minisat+) R 5937 5939 4932 0 -1 4194304 26707 0 0 0 160155 34 0 0 25 0 1 0 158596580 108654592 25925 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580433 0 0 4096 16386 0 0 0 17 1 0 0
/proc/5939/statm: 26527 25925 123 215 0 26309 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 106108

[startup+1662.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/78 5940
/proc/meminfo: memFree=1634544/2055920 swapFree=4169120/4192956
[pid=5939] ppid=5937 vsize=108208 CPUtime=1661.89
/proc/5939/stat : 5939 (minisat+) R 5937 5939 4932 0 -1 4194304 27228 0 0 0 166153 36 0 0 25 0 1 0 158596580 110804992 26446 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/5939/statm: 27052 26446 123 215 0 26834 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 108208

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5940
/proc/meminfo: memFree=1631856/2055920 swapFree=4169120/4192956
[pid=5939] ppid=5937 vsize=110840 CPUtime=1721.87
/proc/5939/stat : 5939 (minisat+) R 5937 5939 4932 0 -1 4194304 27890 0 0 0 172150 37 0 0 25 0 1 0 158596580 113500160 27108 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/5939/statm: 27710 27108 123 215 0 27492 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 110840

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5940
/proc/meminfo: memFree=1631792/2055920 swapFree=4169120/4192956
[pid=5939] ppid=5937 vsize=110972 CPUtime=1781.85
/proc/5939/stat : 5939 (minisat+) R 5937 5939 4932 0 -1 4194304 27916 0 0 0 178148 37 0 0 25 0 1 0 158596580 113635328 27134 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134579871 0 0 4096 16386 0 0 0 17 1 0 0
/proc/5939/statm: 27743 27134 123 215 0 27525 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 110972



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5940
/proc/meminfo: memFree=1631792/2055920 swapFree=4169120/4192956
[pid=5939] ppid=5937 vsize=110972 CPUtime=1800.05
/proc/5939/stat : 5939 (minisat+) R 5937 5939 4932 0 -1 4194304 27916 0 0 0 179968 37 0 0 25 0 1 0 158596580 113635328 27134 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/5939/statm: 27743 27134 123 215 0 27525 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 110972

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

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

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5940
/proc/meminfo: memFree=1631792/2055920 swapFree=4169120/4192956
[pid=5939] ppid=5937 vsize=110972 CPUtime=1800.05
/proc/5939/stat : 5939 (minisat+) R 5937 5939 4932 0 -1 4194304 27916 0 0 0 179968 37 0 0 25 0 1 0 158596580 113635328 27134 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/5939/statm: 27743 27134 123 215 0 27525 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 110972

Child status: 10
Real time (s): 1800.53
CPU time (s): 1800.08
CPU user time (s): 1799.69
CPU system time (s): 0.39394
CPU usage (%): 99.9752
Max. virtual memory (cumulated for all children) (KiB): 110972

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.69
system time used= 0.39394
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27918
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= 257
involuntary context switches= 3225

runsolver used 2.24766 second user time and 4.20236 second system time

The end

Launcher Data (download as text)

Begin job on node15 on Fri Apr 20 22:06:30 UTC 2007

IDJOB= 372561
IDBENCH= 24981
IDSOLVER= 156
FILE ID= node15/372561-1177106790

PBS_JOBID= 4640396

Free space on /tmp= 66481 MiB

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

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

META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e
MD5SUM BENCH=  90acfb7d1c18536583ef7e2a90905f54

RANDOM SEED= 260932757

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node15.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.227
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.227
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:       1740688 kB
Buffers:         55436 kB
Cached:         184896 kB
SwapCached:       2292 kB
Active:         151640 kB
Inactive:       113948 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1740688 kB
SwapTotal:     4192956 kB
SwapFree:      4169120 kB
Dirty:            3052 kB
Writeback:           0 kB
Mapped:          31316 kB
Slab:            35060 kB
Committed_AS:  7009896 kB
PageTables:       1872 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= 66481 MiB

End job on node15 on Fri Apr 20 22:36:32 UTC 2007