Trace number 432807

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
bsolo 3.0.17SAT (TO)331 1800.09 1800.55

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib3/normalized-reduced-mps-v2-20-10-qnet1_o.opb
MD5SUM8b204aeb505cc1c787aa4db3220d0b5a
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark319
Best CPU time to get the best result obtained on this benchmark1782.74
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 272
Optimality of the best value was proved NO
Number of variables5380
Total number of constraints584
Number of constraints which are clauses32
Number of constraints which are cardinality constraints (but not clauses)48
Number of constraints which are nor clauses,nor cardinality constraints504
Minimum length of a constraint2
Maximum length of a constraint54
Number of terms in the objective function 3720
Biggest coefficient in the objective function 2115
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 527620
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262086
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 527620
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data (download as text)

0.00/0.00	c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/432807-1177950061/instance-432807-1177950061.opb
0.00/0.00	c File size is 121531 bytes.
0.00/0.03	c Highest Coefficient sum: 527620
0.00/0.03	c Parsing was ok!!
0.00/0.03	c Total parsing time: 0.026 s
0.00/0.03	c Var: 5380 Constr: 916 129/368/419 Lit: 15302 Watch. Lit: 8096
0.00/0.03	c Obj. Vars: 3720 (69.145 % of total variables)
0.03/0.06	c Pre-processing Time: 0.061 s
0.03/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.03/0.06	c        0   4083      916    13322   14     7885   26755      0      0 0.06
0.03/0.06	c Switching off LPR mode.
0.03/0.06	o 434	0.064
0.03/0.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.03/0.07	c        1   4083      918    15828   17    12177   31759      2     15 0.07
0.03/0.07	o 411	0.07
0.03/0.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.03/0.08	c        2   4083      920    18334   19    14392   31759      4     27 0.07
0.03/0.08	o 371	0.076
0.08/0.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.18	c        3   4083      922    20840   22    16648   31759      6     38 0.08
0.08/0.18	c      104   4083     1023    52344   51    16894   34935    107    697 0.15
0.08/0.18	o 369	0.179
2.29/2.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.29/2.34	c      142   4083     1062    55354   52    19800   31759    146    788 0.18
2.29/2.34	c      243   4083     1163    68438   58    20100   34935    247    906 0.27
2.29/2.34	c      493   4083     1413    74181   52    20623   38429    497   1611 0.31
2.29/2.34	c      968   4083     1888   101841   53    21656   42272    972   2025 0.48
2.29/2.34	c     1782   4083     2702   180979   66    23449   46500   1786   1631 1.09
2.29/2.34	c     3102   4083     4022   301736   75    26202   51151   3106   1349 2.30
2.29/2.34	o 331	2.34
1800.04/1800.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.04/1800.50	c     3464   4083     4385   310959   70    28802   31759   3469   1479 2.34
1800.04/1800.50	c     3565   4083     4486   314895   70    29098   34935   3570   1495 2.38
1800.04/1800.50	c     3815   4083     4736   343403   72    29720   38429   3820   1479 2.58
1800.04/1800.50	c     4290   4083     5211   379637   72    31076   42272   4295   1474 2.91
1800.04/1800.50	c     5104   4083     6025   444824   73    32476   46500   5109   1559 3.27
1800.04/1800.50	c     6424   4083     7345   608752   82    35060   51151   6429   1438 4.46
1800.04/1800.50	c     8505   4083     9426   795320   84    39442   56267   8510   1444 5.89
1800.04/1800.50	c    11728   4083    12649  1176814   93    45794   61894  11733   1363 8.60
1800.04/1800.50	c    16665   4083    17586  1569314   89    55776   68084  16670   1348 12.36
1800.04/1800.50	c    24172   4083    25093  2370194   94    70720   74893  24177   1170 20.64
1800.04/1800.50	c    35533   4083    36454  3616753   99    93367   82383  35538    973 36.50
1800.04/1800.50	c    52678   4083    53599  5608249  104   127598   90622  52683    978 53.85
1800.04/1800.50	c    78498   4083    79419  8458982  106   179322   99685  78503    797 98.40
1800.04/1800.50	c   117331   4083    26999  3897503  144    64821  109654  26083    477 245.63
1800.04/1800.50	c   175684   4083    85352 10843139  127   181466  120620  84436    455 385.45
1800.04/1800.50	c   263317   4083    61305  9135850  149   133382  132683  60389    329 798.49
1800.04/1800.50	c   394869   4083    69306  7668638  110   149491  145952  68390    249 1584.37
1800.04/1800.50	c Caught signal: 15
1800.04/1800.50	v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314
1800.04/1800.50	v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335
1800.04/1800.50	v -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356
1800.04/1800.50	v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377
1800.04/1800.50	v -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398
1800.04/1800.50	v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 x414 -x415 x416 x417 x418 x419 x420
1800.04/1800.50	v x421 x422 x423 -x424 -x425 -x426 -x427 x428 -x429 x430 x431 x432 -x433 -x434 -x435 -x436 x437 -x438 -x439 -x440 -x441 -x442
1800.04/1800.50	v -x443 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 x876 x877 -x878 x879 -x880 -x881 x882 -x883
1800.04/1800.50	v -x884 -x885 x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082
1800.04/1800.50	v -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099
1800.04/1800.50	v -x1100 -x1101 -x1102 -x1103 -x1284 x1285 -x1286 x1287 x1288 x1289 x1290 -x1291 -x1292 x1293 -x1294 -x1295 x1296 x1297 x1298
1800.04/1800.50	v x1299 x1300 x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 x1494 -x1495 -x1496
1800.04/1800.50	v x1497 -x1498 -x1499 -x1500 x1501 x1502 -x1503 -x1504 x1505 x1506 -x1507 -x1508 x1509 x1510 -x1511 x1512 -x1513 -x1514 -x1515
1800.04/1800.50	v -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454
1800.04/1800.50	v -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x1704
1800.04/1800.50	v x1705 -x1706 -x1707 -x1708 -x1709 -x1710 x1711 x1712 -x1713 -x1714 -x1715 -x1716 x1717 -x1718 -x1719 -x1720 -x1721 x1722
1800.04/1800.50	v -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481
1800.04/1800.50	v -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 x490 -x491 -x492 -x493 x494 x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502
1800.04/1800.50	v -x503 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913
1800.04/1800.50	v -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112
1800.04/1800.50	v -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129
1800.04/1800.50	v -x1130 -x1131 -x1132 -x1133 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326
1800.04/1800.50	v -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343
1800.04/1800.50	v -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540
1800.04/1800.50	v -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1734 x1735 x1736 x1737 -x1738
1800.04/1800.50	v -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 x1752 x1753 -x1754 -x1755 -x1756
1800.04/1800.50	v -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133
1800.04/1800.50	v -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150
1800.04/1800.50	v -x2151 -x2152 -x2153 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520
1800.04/1800.50	v -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931
1800.04/1800.50	v -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952
1800.04/1800.50	v -x953 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 x1145 -x1146 x1147 -x1148 x1149 -x1150
1800.04/1800.50	v -x1151 x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1344 -x1345 -x1346 -x1347
1800.04/1800.50	v -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364
1800.04/1800.50	v -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561
1800.04/1800.50	v -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578
1800.04/1800.50	v -x1579 -x1580 -x1581 -x1582 -x1583 x1764 -x1765 -x1766 -x1767 -x1768 -x1769 x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776
1800.04/1800.50	v x1777 x1778 -x1779 -x1780 -x1781 x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x2154
1800.04/1800.50	v -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171
1800.04/1800.50	v -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2304 -x2305 -x2306 -x2307 -x2308
1800.04/1800.50	v -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325
1800.04/1800.50	v -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544
1800.04/1800.50	v -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x1794
1800.04/1800.50	v -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811
1800.04/1800.50	v -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x2334 -x2335 -x2336 -x2337 -x2338
1800.04/1800.50	v -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355
1800.04/1800.50	v -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672
1800.04/1800.50	v -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689
1800.04/1800.50	v -x2690 -x2691 -x2692 -x2693 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579
1800.04/1800.50	v -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 x1824 x1825 -x1826 -x1827 -x1828 -x1829
1800.04/1800.50	v -x1830 -x1831 x1832 x1833 -x1834 -x1835 x1836 -x1837 -x1838 -x1839 x1840 -x1841 x1842 -x1843 -x1844 -x1845 -x1846 -x1847
1800.04/1800.50	v -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374
1800.04/1800.50	v -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391
1800.04/1800.50	v -x2392 -x2393 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708
1800.04/1800.50	v -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x594 x595 -x596
1800.04/1800.50	v x597 x598 -x599 x600 -x601 -x602 x603 x604 -x605 -x606 x607 x608 x609 x610 -x611 x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619
1800.04/1800.50	v -x620 -x621 -x622 -x623 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867
1800.04/1800.50	v -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x2394
1800.04/1800.50	v -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411
1800.04/1800.50	v -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2724 -x2725 -x2726 -x2727 -x2728
1800.04/1800.50	v -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745
1800.04/1800.50	v -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x624 -x625 -x626 -x627 -x628 -x629 -x630 x631 x632 -x633 -x634
1800.04/1800.50	v -x635 -x636 -x637 -x638 -x639 x640 x641 -x642 -x643 -x644 -x645 -x646 x647 -x648 -x649 -x650 -x651 -x652 -x653 -x954 -x955
1800.04/1800.50	v -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976
1800.04/1800.50	v -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174
1800.04/1800.50	v -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191
1800.04/1800.50	v -x1192 -x1193 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388
1800.04/1800.50	v -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1584 -x1585
1800.04/1800.50	v -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602
1800.04/1800.50	v -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889
1800.04/1800.50	v -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906
1800.04/1800.50	v -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193
1800.04/1800.50	v -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210
1800.04/1800.50	v -x2211 -x2212 -x2213 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437
1800.04/1800.50	v -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2754
1800.04/1800.50	v -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771
1800.04/1800.50	v -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2994 -x2995 -x2996 -x2997 -x2998
1800.04/1800.50	v -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015
1800.04/1800.50	v -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122
1800.04/1800.50	v -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139
1800.04/1800.50	v -x3140 -x3141 -x3142 -x3143 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246
1800.04/1800.50	v -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263
1800.04/1800.50	v -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674
1800.04/1800.50	v -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 x1914 x1915 x1916 x1917 -x1918 x1919 x1920 -x1921 x1922 x1923 x1924
1800.04/1800.50	v x1925 x1926 -x1927 -x1928 -x1929 x1930 -x1931 x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942
1800.04/1800.50	v -x1943 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469
1800.04/1800.50	v -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2784 -x2785 -x2786
1800.04/1800.50	v -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803
1800.04/1800.50	v -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360
1800.04/1800.50	v -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377
1800.04/1800.50	v -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696
1800.04/1800.50	v -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 x1944 x1945 x1946 -x1947
1800.04/1800.50	v -x1948 x1949 -x1950 -x1951 x1952 -x1953 -x1954 -x1955 x1956 -x1957 -x1958 -x1959 x1960 x1961 x1962 -x1963 -x1964 -x1965
1800.04/1800.50	v -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492
1800.04/1800.50	v -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509
1800.04/1800.50	v -x2510 -x2511 -x2512 -x2513 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826
1800.04/1800.50	v -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843
1800.04/1800.50	v -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400
1800.04/1800.50	v -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x714 -x715 -x716 -x717 -x718
1800.04/1800.50	v -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739
1800.04/1800.50	v -x740 -x741 -x742 -x743 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000
1800.04/1800.50	v -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1194 -x1195 -x1196 -x1197
1800.04/1800.50	v -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214
1800.04/1800.50	v -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411
1800.04/1800.50	v -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428
1800.04/1800.50	v -x1429 -x1430 -x1431 -x1432 -x1433 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625
1800.04/1800.50	v -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642
1800.04/1800.50	v -x1643 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989
1800.04/1800.50	v -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2214 -x2215 -x2216
1800.04/1800.50	v -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233
1800.04/1800.50	v -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520
1800.04/1800.50	v -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537
1800.04/1800.50	v -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854
1800.04/1800.50	v -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871
1800.04/1800.50	v -x2872 -x2873 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038
1800.04/1800.50	v -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3144 -x3145
1800.04/1800.50	v -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162
1800.04/1800.50	v -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269
1800.04/1800.50	v -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286
1800.04/1800.50	v -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 x3414 x3415 x3416 x3417 x3418 x3419 x3420 x3421 x3422 x3423 x3424 x3425
1800.04/1800.50	v x3426 -x3427 -x3428 x3429 x3430 x3431 -x3432 x3433 x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443
1800.04/1800.50	v -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580
1800.04/1800.50	v -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3654 -x3655 -x3656 -x3657
1800.04/1800.50	v -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674
1800.04/1800.50	v -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753
1800.04/1800.50	v -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x1014
1800.04/1800.50	v -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031
1800.04/1800.50	v -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1224 -x1225 -x1226 -x1227 -x1228
1800.04/1800.50	v -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245
1800.04/1800.50	v -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442
1800.04/1800.50	v -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459
1800.04/1800.50	v -x1460 -x1461 -x1462 -x1463 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656
1800.04/1800.50	v -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673
1800.04/1800.50	v -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020
1800.04/1800.50	v -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2244 -x2245 -x2246 -x2247
1800.04/1800.50	v -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264
1800.04/1800.50	v -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551
1800.04/1800.50	v -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568
1800.04/1800.50	v -x2569 -x2570 -x2571 -x2572 -x2573 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885
1800.04/1800.50	v -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902
1800.04/1800.50	v -x2903 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069
1800.04/1800.50	v -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3174 -x3175 -x3176
1800.04/1800.50	v -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193
1800.04/1800.50	v -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300
1800.04/1800.50	v -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317
1800.04/1800.50	v -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454
1800.04/1800.50	v -x3455 -x3456 x3457 -x3458 x3459 -x3460 x3461 x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472
1800.04/1800.50	v -x3473 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609
1800.04/1800.50	v -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3684 -x3685 -x3686
1800.04/1800.50	v -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703
1800.04/1800.50	v -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750
1800.04/1800.50	v -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767
1800.04/1800.50	v -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786
1800.04/1800.50	v -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x2034 -x2035 -x2036
1800.04/1800.50	v -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053
1800.04/1800.50	v -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580
1800.04/1800.50	v -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597
1800.04/1800.50	v -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2904 -x2905 x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 x2914 -x2915
1800.04/1800.50	v -x2916 -x2917 x2918 -x2919 x2920 -x2921 -x2922 x2923 x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933
1800.04/1800.50	v x3474 -x3475 -x3476 -x3477 x3478 x3479 x3480 x3481 -x3482 -x3483 -x3484 -x3485 x3486 x3487 x3488 -x3489 -x3490 -x3491 -x3492
1800.04/1800.50	v x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779
1800.04/1800.50	v -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796
1800.04/1800.50	v -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873
1800.04/1800.50	v -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890
1800.04/1800.50	v -x3891 -x3892 -x3893 -x804 x805 -x806 -x807 x808 -x809 x810 -x811 x812 -x813 -x814 x815 x816 -x817 x818 -x819 -x820 x821 -x822
1800.04/1800.50	v x823 -x824 x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051
1800.04/1800.50	v -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068
1800.04/1800.50	v -x1069 -x1070 -x1071 -x1072 -x1073 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265
1800.04/1800.50	v -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282
1800.04/1800.50	v -x1283 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479
1800.04/1800.50	v -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1674 -x1675 -x1676
1800.04/1800.50	v -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693
1800.04/1800.50	v -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070
1800.04/1800.50	v -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087
1800.04/1800.50	v -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284
1800.04/1800.50	v -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301
1800.04/1800.50	v -x2302 -x2303 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618
1800.04/1800.50	v -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 x2934 x2935 x2936
1800.04/1800.50	v -x2937 x2938 -x2939 x2940 -x2941 x2942 x2943 x2944 -x2945 -x2946 -x2947 -x2948 -x2949 x2950 x2951 -x2952 x2953 -x2954 -x2955
1800.04/1800.50	v -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x3084 x3085 x3086 x3087 x3088 x3089 -x3090 -x3091 x3092 -x3093
1800.04/1800.50	v -x3094 -x3095 x3096 -x3097 -x3098 x3099 -x3100 x3101 x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111
1800.04/1800.50	v -x3112 -x3113 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218
1800.04/1800.50	v -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3324 -x3325
1800.04/1800.50	v -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342
1800.04/1800.50	v -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3504 -x3505 -x3506 -x3507 x3508 x3509 -x3510
1800.04/1800.50	v x3511 x3512 -x3513 -x3514 x3515 x3516 x3517 -x3518 -x3519 x3520 x3521 -x3522 -x3523 x3524 -x3525 -x3526 -x3527 -x3528 -x3529
1800.04/1800.50	v -x3530 -x3531 -x3532 -x3533 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636
1800.04/1800.50	v -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653
1800.04/1800.50	v -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730
1800.04/1800.50	v -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3804 -x3805 -x3806 -x3807
1800.04/1800.50	v -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824
1800.04/1800.50	v -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901
1800.04/1800.50	v -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918
1800.04/1800.50	v -x3919 -x3920 -x3921 -x3922 -x3923 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965
1800.04/1800.50	v -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982
1800.04/1800.50	v -x3983 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852
1800.04/1800.50	v -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101
1800.04/1800.50	v -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118
1800.04/1800.50	v -x2119 -x2120 -x2121 -x2122 -x2123 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645
1800.04/1800.50	v -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662
1800.04/1800.50	v -x2663 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979
1800.04/1800.50	v -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x3534 -x3535 -x3536
1800.04/1800.50	v -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553
1800.04/1800.50	v -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840
1800.04/1800.50	v -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857
1800.04/1800.50	v -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 x3930 -x3931 -x3932 -x3933 -x3934
1800.04/1800.50	v -x3935 -x3936 -x3937 -x3938 x3939 x3940 x3941 x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952
1800.04/1800.50	v -x3953 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999
1800.04/1800.50	v -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x1 -x2 -x3 -x6 -x7 -x8
1800.04/1800.50	v -x9 -x10 -x11 -x51 -x52 -x53 -x54 -x93 x94 -x12 -x13 -x107 x108 x14 -x15 x16 -x17 -x55 -x56 -x57 -x58 -x95 -x96 -x109 -x110 -x111
1800.04/1800.50	v -x145 -x146 -x18 -x19 -x20 -x21 -x59 -x60 -x61 -x62 -x97 -x98 x112 -x113 -x114 -x115 -x147 -x148 -x157 -x158 -x159 -x160 -x23
1800.04/1800.50	v -x24 -x117 x118 -x162 -x163 -x191 -x192 -x26 -x27 x28 -x29 -x63 -x64 -x65 -x66 -x99 -x100 -x120 -x121 -x122 -x123 -x149 -x150
1800.04/1800.50	v -x165 -x166 -x167 -x168 -x194 -x195 -x196 -x197 -x222 -x223 -x30 -x31 -x124 x125 -x169 -x170 -x198 -x199 -x234 -x235 -x32
1800.04/1800.50	v -x33 -x126 x127 -x171 -x172 -x200 -x201 -x236 -x237 -x34 -x35 -x36 -x37 -x67 -x68 -x69 -x70 -x101 -x102 -x128 -x129 -x130 -x131
1800.04/1800.50	v -x151 -x152 -x173 -x174 -x175 -x176 -x202 -x203 -x204 -x205 -x224 -x225 -x238 -x239 -x240 x241 -x255 -x256 -x261 -x262 -x38
1800.04/1800.50	v -x39 -x40 -x41 -x71 -x72 -x73 -x74 -x103 -x104 -x132 -x133 -x134 -x135 -x153 -x154 -x177 -x178 -x179 -x180 -x206 -x207 -x208
1800.04/1800.50	v -x209 -x226 -x227 -x242 x243 -x244 -x245 -x257 -x258 -x263 -x264 -x267 -x268 -x269 -x270 -x42 -x43 -x44 -x136 -x137 -x138
1800.04/1800.50	v -x181 -x182 -x183 x246 x247 -x248 -x271 -x272 -x273 -x280 -x281 -x282 x45 -x46 -x47 -x48 -x75 -x76 -x77 -x78 -x105 -x106 -x139
1800.04/1800.50	v -x140 -x141 -x142 -x155 -x156 -x184 -x185 -x186 -x187 x212 x213 -x214 -x215 -x228 -x229 -x249 x250 x251 -x252 -x259 -x260
1800.04/1800.50	v -x265 -x266 -x274 -x275 -x276 -x277 -x283 -x284 -x285 -x286 -x289 -x290 -x291 -x49 -x50 -x143 -x144 -x188 -x189 -x216 -x217
1800.04/1800.50	v -x253 -x254 -x278 -x279 -x287 x288 -x292 -x293 -x4014 -x4015 -x4016 -x4017 -x4018 x4019 -x4038 x4039 -x4040 x4020 -x4021
1800.04/1800.50	v -x4022 -x4041 -x4042 -x4043 x4059 -x4060 -x4061 -x4023 -x4024 -x4025 -x4044 -x4045 -x4046 -x4062 -x4063 -x4064 -x4077
1800.04/1800.50	v -x4078 -x4079 -x4026 x4027 -x4028 -x4047 -x4048 -x4049 -x4065 -x4066 -x4067 -x4080 -x4081 -x4082 -x4092 -x4093 -x4094
1800.04/1800.50	v -x4029 -x4030 -x4031 -x4050 -x4051 -x4052 -x4068 -x4069 -x4070 -x4083 -x4084 -x4085 -x4095 -x4096 -x4097 -x4107 -x4108
1800.04/1800.50	v -x4109 -x4032 -x4033 -x4034 -x4053 -x4054 -x4055 -x4071 -x4072 -x4073 -x4086 -x4087 -x4088 -x4098 -x4099 -x4100 -x4110
1800.04/1800.50	v -x4111 -x4112 -x4116 -x4117 -x4118 -x4101 x4102 -x4103 x4035 -x4036 -x4037 -x4056 -x4057 -x4058 -x4074 -x4075 -x4076 -x4089
1800.04/1800.50	v -x4090 -x4091 -x4104 -x4105 -x4106 -x4113 -x4114 -x4115 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 x4126 -x4127
1800.04/1800.50	v -x4128 -x4129 -x4130 -x4131 -x4132 -x4182 x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 x4239 -x4240 -x4241 -x4242 -x4243
1800.04/1800.50	v -x4244 -x4245 -x4282 -x4283 x4284 -x4285 -x4286 -x4287 -x4288 -x4289 x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4382
1800.04/1800.50	v -x4383 -x4384 -x4385 -x4386 -x4387 x4388 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 x4432 x4482 -x4483 -x4484 -x4485
1800.04/1800.50	v -x4486 -x4487 -x4488 -x4489 -x4539 -x4540 -x4541 x4542 -x4543 -x4544 -x4545 x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588
1800.04/1800.50	v -x4589 -x4639 x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 x4702 -x4739 -x4740
1800.04/1800.50	v -x4741 x4742 -x4743 -x4744 -x4745 -x4746 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 x4802 -x4839 -x4840 -x4841 x4842 -x4843
1800.04/1800.50	v -x4844 -x4845 -x4846 -x4903 -x4904 -x4905 x4906 -x4907 -x4908 -x4909 -x4910 -x4960 x4961 -x4962 -x4963 -x4964 -x4965 -x4966
1800.04/1800.50	v -x4967 x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5067 x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5124 x5125
1800.04/1800.50	v -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5181 x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5242 x5243 -x5244 -x5245
1800.04/1800.50	v -x5246 -x5247 -x5248 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 x5294 -x5295 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357
1800.04/1800.50	v x5358 -x5359 x4133 -x4140 -x4147 -x4154 -x4161 -x4168 -x4175 x4190 -x4197 -x4204 -x4211 -x4218 -x4225 -x4232 -x4246 -x4252
1800.04/1800.50	v -x4258 -x4264 -x4270 -x4276 x4290 -x4298 -x4305 -x4312 -x4319 -x4326 -x4333 x4346 -x4353 -x4359 -x4365 -x4371 -x4377 -x4390
1800.04/1800.50	v -x4396 -x4403 -x4409 -x4415 x4421 -x4435 -x4442 -x4449 -x4457 -x4464 -x4471 x4478 x4492 -x4499 -x4506 -x4514 -x4521 -x4528
1800.04/1800.50	v -x4535 -x4548 -x4554 -x4560 -x4567 -x4573 -x4579 x4593 -x4600 -x4607 -x4614 -x4622 -x4629 -x4636 x4650 -x4657 -x4664 -x4671
1800.04/1800.50	v -x4679 -x4686 -x4693 -x4706 -x4712 -x4718 x4724 -x4731 -x4737 -x4752 -x4759 -x4766 x4773 -x4780 -x4787 -x4795 -x4808 -x4814
1800.04/1800.50	v -x4820 -x4826 -x4832 -x4838 -x4853 -x4860 -x4867 -x4874 -x4881 x4888 -x4895 -x4898 -x4913 -x4920 -x4928 -x4935 -x4942
1800.04/1800.50	v -x4949 -x4954 x4969 -x4977 -x4984 -x4991 -x4998 -x5005 x5010 -x5024 -x5030 -x5036 -x5042 -x5048 -x5054 x5061 -x5077 -x5084
1800.04/1800.50	v -x5091 -x5098 -x5105 x5112 -x5119 -x5134 -x5142 -x5149 -x5156 -x5163 -x5170 x5177 -x5192 -x5199 -x5207 -x5214 -x5221 x5226
1800.04/1800.50	v -x5232 -x5238 -x5252 -x5258 -x5264 -x5272 -x5279 -x5286 -x5301 -x5308 -x5315 -x5323 -x5329 -x5336 -x5343 -x5350 -x5365
1800.04/1800.50	v -x5372 -x5380 -x4141 -x4148 -x4155 -x4162 -x4169 -x4176 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4149 -x4156 -x4163
1800.04/1800.50	v -x4170 -x4177 -x4142 -x4143 -x4144 -x4145 -x4146 -x4157 -x4164 -x4171 -x4178 -x4150 -x4151 -x4152 -x4153 -x4165 -x4172
1800.04/1800.50	v -x4179 -x4158 -x4159 -x4160 -x4173 -x4180 -x4166 -x4167 -x4181 -x4174 -x4198 -x4205 -x4212 -x4219 -x4226 -x4233 -x4191
1800.04/1800.50	v -x4192 -x4193 -x4194 -x4195 -x4196 -x4206 -x4213 -x4220 -x4227 -x4234 -x4199 -x4200 -x4201 -x4202 -x4203 -x4214 -x4221
1800.04/1800.50	v -x4228 -x4235 -x4207 -x4208 -x4209 -x4210 -x4222 -x4229 -x4236 -x4215 -x4216 -x4217 -x4230 -x4237 -x4223 -x4224 -x4238
1800.04/1800.50	v -x4231 -x4253 -x4259 -x4265 -x4271 -x4277 -x4247 -x4248 -x4249 -x4250 -x4251 -x4260 -x4266 -x4272 -x4278 -x4254 -x4255
1800.04/1800.50	v -x4256 -x4257 -x4267 -x4273 -x4279 -x4261 -x4262 -x4263 -x4274 -x4280 -x4268 -x4269 -x4281 -x4275 x4297 -x4304 -x4311
1800.04/1800.50	v -x4318 -x4325 -x4332 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4306 -x4313 -x4320 -x4327 -x4334 -x4299 -x4300 -x4301
1800.04/1800.50	v -x4302 -x4303 -x4314 -x4321 -x4328 -x4335 -x4307 -x4308 -x4309 -x4310 -x4322 -x4329 -x4336 -x4315 -x4316 -x4317 -x4330
1800.04/1800.50	v -x4337 -x4323 -x4324 -x4338 -x4331 -x4352 -x4358 -x4364 -x4370 -x4376 -x4347 -x4348 -x4349 -x4350 -x4351 -x4360 -x4366
1800.04/1800.50	v -x4372 -x4378 -x4354 -x4355 -x4356 -x4357 -x4367 -x4373 -x4379 -x4361 -x4362 -x4363 -x4374 -x4380 -x4368 -x4369 -x4381
1800.04/1800.50	v -x4375 -x4395 -x4401 -x4407 -x4413 -x4419 -x4389 -x4391 -x4392 -x4393 -x4394 -x4402 -x4408 -x4414 -x4420 -x4397 -x4398
1800.04/1800.50	v -x4399 -x4400 -x4410 -x4416 -x4422 -x4404 -x4405 -x4406 -x4417 -x4423 -x4411 -x4412 -x4424 -x4418 -x4440 -x4447 -x4454
1800.04/1800.50	v -x4461 -x4468 -x4475 -x4433 -x4434 -x4436 -x4437 -x4438 -x4439 -x4448 -x4455 -x4462 -x4469 -x4476 -x4441 -x4443 -x4444
1800.04/1800.50	v -x4445 -x4446 -x4456 -x4463 -x4470 -x4477 -x4450 -x4451 -x4452 -x4453 -x4465 -x4472 -x4479 -x4458 -x4459 -x4460 -x4473
1800.04/1800.50	v -x4480 -x4466 -x4467 -x4481 -x4474 -x4497 -x4504 -x4511 -x4518 -x4525 -x4532 -x4490 -x4491 -x4493 -x4494 -x4495 -x4496
1800.04/1800.50	v -x4505 -x4512 -x4519 -x4526 -x4533 -x4498 -x4500 -x4501 -x4502 -x4503 -x4513 -x4520 -x4527 -x4534 -x4507 -x4508 -x4509
1800.04/1800.50	v -x4510 -x4522 -x4529 -x4536 -x4515 -x4516 -x4517 -x4530 -x4537 -x4523 -x4524 -x4538 -x4531 -x4552 -x4558 -x4564 -x4570
1800.04/1800.50	v -x4576 -x4546 -x4547 -x4549 -x4550 -x4551 -x4559 -x4565 -x4571 -x4577 -x4553 -x4555 -x4556 -x4557 -x4566 -x4572 -x4578
1800.04/1800.50	v -x4561 -x4562 -x4563 -x4574 -x4580 -x4568 -x4569 -x4581 -x4575 -x4597 -x4604 -x4611 -x4618 -x4625 -x4632 -x4590 -x4591
1800.04/1800.50	v -x4592 -x4594 -x4595 -x4596 -x4605 -x4612 -x4619 -x4626 -x4633 -x4598 -x4599 -x4601 -x4602 -x4603 -x4613 -x4620 -x4627
1800.04/1800.50	v -x4634 -x4606 -x4608 -x4609 -x4610 -x4621 -x4628 -x4635 -x4615 -x4616 -x4617 -x4630 -x4637 -x4623 -x4624 -x4638 -x4631
1800.04/1800.50	v x4654 -x4661 -x4668 -x4675 -x4682 -x4689 -x4647 -x4648 -x4649 -x4651 -x4652 -x4653 -x4662 -x4669 -x4676 -x4683 -x4690
1800.04/1800.50	v -x4655 -x4656 -x4658 -x4659 -x4660 -x4670 -x4677 -x4684 -x4691 -x4663 -x4665 -x4666 -x4667 -x4678 -x4685 -x4692 -x4672
1800.04/1800.50	v -x4673 -x4674 -x4687 -x4694 -x4680 -x4681 -x4695 -x4688 -x4709 -x4715 -x4721 -x4727 -x4733 -x4703 -x4704 -x4705 -x4707
1800.04/1800.50	v -x4708 -x4716 -x4722 -x4728 -x4734 -x4710 -x4711 -x4713 -x4714 -x4723 -x4729 -x4735 -x4717 -x4719 -x4720 -x4730 x4736
1800.04/1800.50	v -x4725 -x4726 -x4738 -x4732 -x4754 -x4761 -x4768 -x4775 -x4782 -x4789 -x4747 -x4748 -x4749 -x4750 -x4751 -x4753 -x4762
1800.04/1800.50	v -x4769 -x4776 -x4783 -x4790 -x4755 -x4756 -x4757 -x4758 -x4760 -x4770 -x4777 -x4784 -x4791 -x4763 -x4764 -x4765 -x4767
1800.04/1800.50	v -x4778 -x4785 -x4792 -x4771 -x4772 -x4774 -x4786 -x4793 -x4779 -x4781 -x4794 -x4788 -x4809 -x4815 -x4821 -x4827 -x4833
1800.04/1800.50	v -x4803 -x4804 -x4805 -x4806 -x4807 -x4816 -x4822 -x4828 -x4834 -x4810 -x4811 -x4812 -x4813 -x4823 -x4829 -x4835 -x4817
1800.04/1800.50	v -x4818 -x4819 -x4830 -x4836 -x4824 -x4825 -x4837 -x4831 -x4854 -x4861 -x4868 -x4875 -x4882 -x4889 -x4847 -x4848 -x4849
1800.04/1800.50	v -x4850 -x4851 -x4852 -x4862 -x4869 -x4876 -x4883 -x4890 -x4855 -x4856 -x4857 -x4858 -x4859 -x4870 -x4877 -x4884 -x4891
1800.04/1800.50	v -x4863 -x4864 -x4865 -x4866 -x4878 -x4885 -x4892 -x4871 x4872 -x4873 -x4886 -x4893 -x4879 -x4880 -x4894 -x4887 -x4911
1800.04/1800.50	v -x4918 -x4925 -x4932 -x4939 -x4946 -x4896 -x4897 -x4899 -x4900 -x4901 -x4902 -x4919 -x4926 -x4933 -x4940 -x4947 -x4912
1800.04/1800.50	v -x4914 -x4915 -x4916 -x4917 -x4927 -x4934 -x4941 -x4948 -x4921 -x4922 -x4923 -x4924 -x4936 -x4943 -x4950 -x4929 -x4930
1800.04/1800.50	v -x4931 -x4944 -x4951 -x4937 -x4938 -x4952 -x4945 -x4968 -x4975 -x4982 -x4989 -x4996 -x5003 -x4953 -x4955 -x4956 -x4957
1800.04/1800.50	v -x4958 -x4959 -x4976 -x4983 -x4990 -x4997 -x5004 -x4970 -x4971 -x4972 -x4973 -x4974 -x4985 -x4992 -x4999 -x5006 -x4978
1800.04/1800.50	v -x4979 -x4980 -x4981 -x4993 -x5000 -x5007 -x4986 -x4987 -x4988 -x5001 -x5008 -x4994 -x4995 -x5009 -x5002 -x5023 -x5029
1800.04/1800.50	v -x5035 -x5041 -x5047 -x5011 -x5012 -x5013 -x5014 -x5015 -x5031 -x5037 -x5043 -x5049 -x5025 -x5026 -x5027 -x5028 -x5038
1800.04/1800.50	v -x5044 -x5050 -x5032 -x5033 -x5034 -x5045 -x5051 -x5039 -x5040 -x5052 -x5046 -x5060 -x5075 -x5082 -x5089 -x5096 -x5103
1800.04/1800.50	v -x5053 -x5055 -x5056 -x5057 -x5058 -x5059 -x5076 -x5083 -x5090 -x5097 -x5104 -x5062 -x5063 -x5064 -x5065 -x5066 -x5085
1800.04/1800.50	v -x5092 -x5099 -x5106 -x5078 -x5079 -x5080 -x5081 -x5093 -x5100 -x5107 -x5086 -x5087 -x5088 -x5101 -x5108 -x5094 -x5095
1800.04/1800.50	v -x5109 -x5102 x5117 -x5132 -x5139 -x5146 -x5153 -x5160 -x5110 -x5111 -x5113 -x5114 -x5115 -x5116 -x5133 -x5140 -x5147
1800.04/1800.50	v -x5154 -x5161 -x5118 -x5120 -x5121 -x5122 -x5123 -x5141 -x5148 -x5155 -x5162 -x5135 -x5136 -x5137 -x5138 -x5150 -x5157
1800.04/1800.50	v -x5164 -x5143 -x5144 -x5145 -x5158 -x5165 -x5151 -x5152 -x5166 -x5159 -x5174 -x5189 -x5196 -x5203 -x5210 -x5217 -x5167
1800.04/1800.50	v -x5168 -x5169 -x5171 -x5172 -x5173 -x5190 -x5197 -x5204 -x5211 -x5218 -x5175 -x5176 -x5178 -x5179 -x5180 -x5198 -x5205
1800.04/1800.50	v -x5212 -x5219 -x5191 -x5193 -x5194 -x5195 -x5206 -x5213 -x5220 -x5200 -x5201 -x5202 -x5215 -x5222 -x5208 -x5209 -x5223
1800.04/1800.50	v -x5216 -x5230 x5236 -x5249 -x5255 -x5261 -x5224 -x5225 -x5227 -x5228 -x5229 -x5237 -x5250 -x5256 -x5262 x5231 -x5233 -x5234
1800.04/1800.50	v -x5235 -x5251 -x5257 -x5263 -x5239 -x5240 -x5241 -x5259 -x5265 -x5253 -x5254 -x5266 -x5260 -x5274 -x5281 -x5296 -x5303
1800.04/1800.50	v -x5310 -x5317 -x5267 -x5268 -x5269 -x5270 -x5271 -x5273 -x5282 -x5297 -x5304 -x5311 -x5318 -x5275 -x5276 -x5277 -x5278
1800.04/1800.50	v -x5280 -x5298 -x5305 -x5312 -x5319 -x5283 -x5284 -x5285 -x5287 -x5306 -x5313 -x5320 -x5299 -x5300 -x5302 -x5314 -x5321
1800.04/1800.50	v -x5307 -x5309 -x5322 -x5316 -x5331 -x5338 -x5345 -x5360 -x5367 -x5374 -x5324 -x5325 -x5326 -x5327 -x5328 -x5330 -x5339
1800.04/1800.50	v -x5346 -x5361 -x5368 -x5375 -x5332 -x5333 -x5334 -x5335 -x5337 -x5347 -x5362 -x5369 -x5376 -x5340 -x5341 -x5342 -x5344
1800.04/1800.50	v -x5363 -x5370 -x5377 -x5348 -x5349 -x5351 -x5371 -x5378 -x5364 -x5366 -x5379 -x5373 -x4 -x5 -x22 x25 -x79 -x80 x81 -x82 -x83
1800.04/1800.50	v -x84 -x85 x86 -x87 -x88 -x89 -x90 -x91 -x92 -x116 -x119 -x161 -x164 -x190 -x193 x210 x211 -x218 -x219 -x220 x221 -x230 -x231
1800.04/1800.50	v -x232 -x233
1800.04/1800.50	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.04/1800.50	c   27   475764 145106   962661   144330 14775577 143414    264 1800.04
1800.04/1800.50	c Objective: 331
1800.04/1800.50	s SATISFIABLE
1800.04/1800.50	c Total time: 1800.04 s

Verifier Data (download as text)

OK	331

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node2/watcher-432807-1177950061 -o ROOT/results/node2/solver-432807-1177950061 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432807-1177950061/instance-432807-1177950061.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: 1.00 1.00 0.96 3/77 26834
/proc/meminfo: memFree=1743096/2055920 swapFree=4149008/4192956
[pid=26834] ppid=26832 vsize=11856 CPUtime=0
/proc/26834/stat : 26834 (bsolo3.0.17) R 26832 26834 26127 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 271043894 12140544 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26834/statm: 2964 334 279 324 0 2004 0

[startup+0.0477721 s]
/proc/loadavg: 1.00 1.00 0.96 3/77 26834
/proc/meminfo: memFree=1743096/2055920 swapFree=4149008/4192956
[pid=26834] ppid=26832 vsize=5272 CPUtime=0.03
/proc/26834/stat : 26834 (bsolo3.0.17) R 26832 26834 26127 0 -1 4194304 743 0 0 0 3 0 0 0 18 0 1 0 271043894 5398528 683 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134549125 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26834/statm: 1318 683 303 324 0 388 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5272

[startup+0.101777 s]
/proc/loadavg: 1.00 1.00 0.96 3/77 26834
/proc/meminfo: memFree=1743096/2055920 swapFree=4149008/4192956
[pid=26834] ppid=26832 vsize=5512 CPUtime=0.08
/proc/26834/stat : 26834 (bsolo3.0.17) R 26832 26834 26127 0 -1 4194304 819 0 0 0 8 0 0 0 18 0 1 0 271043894 5644288 749 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26834/statm: 1378 749 311 324 0 448 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5512

[startup+0.301798 s]
/proc/loadavg: 1.00 1.00 0.96 3/77 26834
/proc/meminfo: memFree=1743096/2055920 swapFree=4149008/4192956
[pid=26834] ppid=26832 vsize=6300 CPUtime=0.29
/proc/26834/stat : 26834 (bsolo3.0.17) R 26832 26834 26127 0 -1 4194304 1008 0 0 0 28 1 0 0 19 0 1 0 271043894 6451200 938 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26834/statm: 1575 938 311 324 0 645 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6300

[startup+0.70184 s]
/proc/loadavg: 1.00 1.00 0.96 3/77 26834
/proc/meminfo: memFree=1743096/2055920 swapFree=4149008/4192956
[pid=26834] ppid=26832 vsize=7084 CPUtime=0.69
/proc/26834/stat : 26834 (bsolo3.0.17) R 26832 26834 26127 0 -1 4194304 1213 0 0 0 68 1 0 0 22 0 1 0 271043894 7254016 1143 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10970747 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26834/statm: 1771 1143 311 324 0 841 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7084

[startup+1.50192 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 26835
/proc/meminfo: memFree=1739184/2055920 swapFree=4149008/4192956
[pid=26834] ppid=26832 vsize=8380 CPUtime=1.49
/proc/26834/stat : 26834 (bsolo3.0.17) R 26832 26834 26127 0 -1 4194304 1546 0 0 0 148 1 0 0 25 0 1 0 271043894 8581120 1476 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10970747 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26834/statm: 2095 1476 311 324 0 1165 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8380

[startup+3.10109 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 26835
/proc/meminfo: memFree=1737456/2055920 swapFree=4149008/4192956
[pid=26834] ppid=26832 vsize=11112 CPUtime=3.09
/proc/26834/stat : 26834 (bsolo3.0.17) R 26832 26834 26127 0 -1 4194304 2214 0 0 0 307 2 0 0 25 0 1 0 271043894 11378688 2144 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26834/statm: 2778 2144 311 324 0 1848 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11112

[startup+6.30142 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 26835
/proc/meminfo: memFree=1730864/2055920 swapFree=4149008/4192956
[pid=26834] ppid=26832 vsize=17436 CPUtime=6.29
/proc/26834/stat : 26834 (bsolo3.0.17) R 26832 26834 26127 0 -1 4194304 3786 0 0 0 626 3 0 0 25 0 1 0 271043894 17854464 3716 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26834/statm: 4359 3716 311 324 0 3429 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17436

[startup+12.7011 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 26835
/proc/meminfo: memFree=1719984/2055920 swapFree=4149008/4192956
[pid=26834] ppid=26832 vsize=27704 CPUtime=12.69
/proc/26834/stat : 26834 (bsolo3.0.17) R 26832 26834 26127 0 -1 4194304 6367 0 0 0 1264 5 0 0 25 0 1 0 271043894 28368896 6297 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26834/statm: 6926 6297 311 324 0 5996 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 27704

[startup+25.5014 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 26835
/proc/meminfo: memFree=1701680/2055920 swapFree=4149008/4192956
[pid=26834] ppid=26832 vsize=45156 CPUtime=25.48
/proc/26834/stat : 26834 (bsolo3.0.17) R 26832 26834 26127 0 -1 4194304 10735 0 0 0 2541 7 0 0 25 0 1 0 271043894 46239744 10665 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26834/statm: 11289 10665 311 324 0 10359 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 45156

[startup+51.1011 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 26835
/proc/meminfo: memFree=1669552/2055920 swapFree=4149008/4192956
[pid=26834] ppid=26832 vsize=77988 CPUtime=51.08
/proc/26834/stat : 26834 (bsolo3.0.17) R 26832 26834 26127 0 -1 4194304 18945 0 0 0 5094 14 0 0 25 0 1 0 271043894 79859712 18875 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26834/statm: 19497 18875 311 324 0 18567 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 77988

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 26835
/proc/meminfo: memFree=1615216/2055920 swapFree=4149008/4192956
[pid=26834] ppid=26832 vsize=131216 CPUtime=102.26
/proc/26834/stat : 26834 (bsolo3.0.17) R 26832 26834 26127 0 -1 4194304 32256 0 0 0 10203 23 0 0 25 0 1 0 271043894 134365184 32186 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551061 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26834/statm: 32804 32187 311 324 0 31874 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 131216

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 26835
/proc/meminfo: memFree=1577072/2055920 swapFree=4149008/4192956
[pid=26834] ppid=26832 vsize=169516 CPUtime=162.24
/proc/26834/stat : 26834 (bsolo3.0.17) R 26832 26834 26127 0 -1 4194304 41822 0 0 0 16190 34 0 0 25 0 1 0 271043894 173584384 41752 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10970747 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26834/statm: 42379 41752 311 324 0 41449 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 169516

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 26835
/proc/meminfo: memFree=1574000/2055920 swapFree=4149008/4192956
[pid=26834] ppid=26832 vsize=171960 CPUtime=222.23
/proc/26834/stat : 26834 (bsolo3.0.17) R 26832 26834 26127 0 -1 4194304 42539 0 0 0 22188 35 0 0 25 0 1 0 271043894 176087040 42367 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26834/statm: 42990 42367 311 324 0 42060 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 171960

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 26835
/proc/meminfo: memFree=1574064/2055920 swapFree=4149008/4192956
[pid=26834] ppid=26832 vsize=171960 CPUtime=282.22
/proc/26834/stat : 26834 (bsolo3.0.17) R 26832 26834 26127 0 -1 4194304 42539 0 0 0 28186 36 0 0 25 0 1 0 271043894 176087040 42367 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26834/statm: 42990 42367 311 324 0 42060 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 171960

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 26835
/proc/meminfo: memFree=1574128/2055920 swapFree=4149008/4192956
[pid=26834] ppid=26832 vsize=171960 CPUtime=342.2
/proc/26834/stat : 26834 (bsolo3.0.17) R 26832 26834 26127 0 -1 4194304 42539 0 0 0 34184 36 0 0 25 0 1 0 271043894 176087040 42367 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26834/statm: 42990 42367 311 324 0 42060 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 171960

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 26835
/proc/meminfo: memFree=1563888/2055920 swapFree=4149008/4192956
[pid=26834] ppid=26832 vsize=183056 CPUtime=402.19
/proc/26834/stat : 26834 (bsolo3.0.17) R 26832 26834 26127 0 -1 4194304 45290 0 0 0 40180 39 0 0 25 0 1 0 271043894 187449344 45118 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10970747 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26834/statm: 45764 45118 311 324 0 44834 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 183056

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 26835
/proc/meminfo: memFree=1527920/2055920 swapFree=4149008/4192956
[pid=26834] ppid=26832 vsize=218244 CPUtime=462.17
/proc/26834/stat : 26834 (bsolo3.0.17) R 26832 26834 26127 0 -1 4194304 54112 0 0 0 46170 47 0 0 25 0 1 0 271043894 223481856 53940 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26834/statm: 54561 53940 311 324 0 53631 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 218244

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 26835
/proc/meminfo: memFree=1515248/2055920 swapFree=4149008/4192956
[pid=26834] ppid=26832 vsize=230664 CPUtime=522.15
/proc/26834/stat : 26834 (bsolo3.0.17) R 26832 26834 26127 0 -1 4194304 57325 0 0 0 52166 49 0 0 25 0 1 0 271043894 236199936 57031 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550902 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26834/statm: 57666 57031 311 324 0 56736 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 230664

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 26835
/proc/meminfo: memFree=1515312/2055920 swapFree=4149008/4192956
[pid=26834] ppid=26832 vsize=230664 CPUtime=582.14
/proc/26834/stat : 26834 (bsolo3.0.17) R 26832 26834 26127 0 -1 4194304 57325 0 0 0 58164 50 0 0 25 0 1 0 271043894 236199936 57031 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26834/statm: 57666 57031 311 324 0 56736 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 230664

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 26835
/proc/meminfo: memFree=1515312/2055920 swapFree=4149008/4192956
[pid=26834] ppid=26832 vsize=230664 CPUtime=642.13
/proc/26834/stat : 26834 (bsolo3.0.17) R 26832 26834 26127 0 -1 4194304 57325 0 0 0 64163 50 0 0 25 0 1 0 271043894 236199936 57031 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26834/statm: 57666 57031 311 324 0 56736 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 230664


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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 26837
/proc/meminfo: memFree=1515440/2055920 swapFree=4149008/4192956
[pid=26834] ppid=26832 vsize=230664 CPUtime=882.06
/proc/26834/stat : 26834 (bsolo3.0.17) R 26832 26834 26127 0 -1 4194304 57325 0 0 0 88154 52 0 0 25 0 1 0 271043894 236199936 57031 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26834/statm: 57666 57031 311 324 0 56736 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 230664

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 26837
/proc/meminfo: memFree=1515440/2055920 swapFree=4149008/4192956
[pid=26834] ppid=26832 vsize=230664 CPUtime=942.05
/proc/26834/stat : 26834 (bsolo3.0.17) R 26832 26834 26127 0 -1 4194304 57325 0 0 0 94152 53 0 0 25 0 1 0 271043894 236199936 57031 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550913 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26834/statm: 57666 57031 311 324 0 56736 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 230664

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 26837
/proc/meminfo: memFree=1515440/2055920 swapFree=4149008/4192956
[pid=26834] ppid=26832 vsize=230676 CPUtime=1002.03
/proc/26834/stat : 26834 (bsolo3.0.17) R 26832 26834 26127 0 -1 4194304 57328 0 0 0 100150 53 0 0 25 0 1 0 271043894 236212224 57034 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10977043 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26834/statm: 57669 57034 311 324 0 56739 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 230676

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 26837
/proc/meminfo: memFree=1514672/2055920 swapFree=4149008/4192956
[pid=26834] ppid=26832 vsize=231600 CPUtime=1062.02
/proc/26834/stat : 26834 (bsolo3.0.17) R 26832 26834 26127 0 -1 4194304 57561 0 0 0 106148 54 0 0 25 0 1 0 271043894 237158400 57267 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26834/statm: 57900 57267 311 324 0 56970 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 231600

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 26837
/proc/meminfo: memFree=1510320/2055920 swapFree=4149008/4192956
[pid=26834] ppid=26832 vsize=235620 CPUtime=1122
/proc/26834/stat : 26834 (bsolo3.0.17) R 26832 26834 26127 0 -1 4194304 58685 0 0 0 112144 56 0 0 25 0 1 0 271043894 241274880 58257 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26834/statm: 58905 58257 311 324 0 57975 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 235620

[startup+1182.3 s]
/proc/loadavg: 1.04 1.01 0.96 2/78 26837
/proc/meminfo: memFree=1510384/2055920 swapFree=4149008/4192956
[pid=26834] ppid=26832 vsize=235620 CPUtime=1181.99
/proc/26834/stat : 26834 (bsolo3.0.17) R 26832 26834 26127 0 -1 4194304 58685 0 0 0 118143 56 0 0 25 0 1 0 271043894 241274880 58257 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26834/statm: 58905 58257 311 324 0 57975 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 235620

[startup+1242.3 s]
/proc/loadavg: 1.01 1.01 0.96 2/78 26837
/proc/meminfo: memFree=1510448/2055920 swapFree=4149008/4192956
[pid=26834] ppid=26832 vsize=235620 CPUtime=1241.97
/proc/26834/stat : 26834 (bsolo3.0.17) R 26832 26834 26127 0 -1 4194304 58685 0 0 0 124141 56 0 0 25 0 1 0 271043894 241274880 58257 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26834/statm: 58905 58257 311 324 0 57975 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 235620

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 26837
/proc/meminfo: memFree=1510448/2055920 swapFree=4149008/4192956
[pid=26834] ppid=26832 vsize=235620 CPUtime=1301.96
/proc/26834/stat : 26834 (bsolo3.0.17) R 26832 26834 26127 0 -1 4194304 58685 0 0 0 130139 57 0 0 25 0 1 0 271043894 241274880 58257 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551076 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26834/statm: 58905 58257 311 324 0 57975 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 235620

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 26837
/proc/meminfo: memFree=1510448/2055920 swapFree=4149008/4192956
[pid=26834] ppid=26832 vsize=235620 CPUtime=1361.94
/proc/26834/stat : 26834 (bsolo3.0.17) R 26832 26834 26127 0 -1 4194304 58685 0 0 0 136137 57 0 0 25 0 1 0 271043894 241274880 58257 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160051253 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26834/statm: 58905 58257 311 324 0 57975 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 235620

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 26837
/proc/meminfo: memFree=1510384/2055920 swapFree=4149008/4192956
[pid=26834] ppid=26832 vsize=235620 CPUtime=1421.93
/proc/26834/stat : 26834 (bsolo3.0.17) R 26832 26834 26127 0 -1 4194304 58685 0 0 0 142135 58 0 0 25 0 1 0 271043894 241274880 58257 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26834/statm: 58905 58257 311 324 0 57975 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 235620

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 26837
/proc/meminfo: memFree=1510384/2055920 swapFree=4149008/4192956
[pid=26834] ppid=26832 vsize=235620 CPUtime=1481.91
/proc/26834/stat : 26834 (bsolo3.0.17) R 26832 26834 26127 0 -1 4194304 58685 0 0 0 148133 58 0 0 25 0 1 0 271043894 241274880 58257 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551532 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26834/statm: 58905 58257 311 324 0 57975 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 235620

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 26837
/proc/meminfo: memFree=1510384/2055920 swapFree=4149008/4192956
[pid=26834] ppid=26832 vsize=235620 CPUtime=1541.9
/proc/26834/stat : 26834 (bsolo3.0.17) R 26832 26834 26127 0 -1 4194304 58685 0 0 0 154131 59 0 0 25 0 1 0 271043894 241274880 58257 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26834/statm: 58905 58257 311 324 0 57975 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 235620

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 26837
/proc/meminfo: memFree=1510448/2055920 swapFree=4149008/4192956
[pid=26834] ppid=26832 vsize=235620 CPUtime=1601.88
/proc/26834/stat : 26834 (bsolo3.0.17) R 26832 26834 26127 0 -1 4194304 58685 0 0 0 160129 59 0 0 25 0 1 0 271043894 241274880 58257 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26834/statm: 58905 58257 311 324 0 57975 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 235620

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 26837
/proc/meminfo: memFree=1510448/2055920 swapFree=4149008/4192956
[pid=26834] ppid=26832 vsize=235620 CPUtime=1661.87
/proc/26834/stat : 26834 (bsolo3.0.17) R 26832 26834 26127 0 -1 4194304 58685 0 0 0 166127 60 0 0 25 0 1 0 271043894 241274880 58257 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134573394 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26834/statm: 58905 58257 311 324 0 57975 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 235620

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 26837
/proc/meminfo: memFree=1510448/2055920 swapFree=4149008/4192956
[pid=26834] ppid=26832 vsize=235620 CPUtime=1721.85
/proc/26834/stat : 26834 (bsolo3.0.17) R 26832 26834 26127 0 -1 4194304 58685 0 0 0 172125 60 0 0 25 0 1 0 271043894 241274880 58257 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572704 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26834/statm: 58905 58257 311 324 0 57975 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 235620

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 26837
/proc/meminfo: memFree=1510320/2055920 swapFree=4149008/4192956
[pid=26834] ppid=26832 vsize=235664 CPUtime=1781.84
/proc/26834/stat : 26834 (bsolo3.0.17) R 26832 26834 26127 0 -1 4194304 58696 0 0 0 178123 61 0 0 25 0 1 0 271043894 241319936 58268 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160051253 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26834/statm: 58916 58268 311 324 0 57986 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 235664



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 26837
/proc/meminfo: memFree=1510128/2055920 swapFree=4149008/4192956
[pid=26834] ppid=26832 vsize=235672 CPUtime=1800.04
/proc/26834/stat : 26834 (bsolo3.0.17) R 26832 26834 26127 0 -1 4194304 58844 0 0 0 179943 61 0 0 25 0 1 0 271043894 241328128 58270 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26834/statm: 58918 58270 311 324 0 57988 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 235672

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 0.96 2/78 26837
/proc/meminfo: memFree=1510128/2055920 swapFree=4149008/4192956
[pid=26834] ppid=26832 vsize=235672 CPUtime=1800.04
/proc/26834/stat : 26834 (bsolo3.0.17) R 26832 26834 26127 0 -1 4194304 58844 0 0 0 179943 61 0 0 25 0 1 0 271043894 241328128 58270 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26834/statm: 58918 58270 311 324 0 57988 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 235672

Child status: 15
Real time (s): 1800.55
CPU time (s): 1800.09
CPU user time (s): 1799.44
CPU system time (s): 0.6519
CPU usage (%): 99.9741
Max. virtual memory (cumulated for all children) (KiB): 236256

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.44
system time used= 0.6519
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58848
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13
involuntary context switches= 2779

runsolver used 1.45878 second user time and 3.69344 second system time

The end

Launcher Data (download as text)

Begin job on node2 on Mon Apr 30 16:21:01 UTC 2007

IDJOB= 432807
IDBENCH= 1820
IDSOLVER= 199
FILE ID= node2/432807-1177950061

PBS_JOBID= 4727673

Free space on /tmp= 66558 MiB

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

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  8b204aeb505cc1c787aa4db3220d0b5a

RANDOM SEED= 680268845

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node2.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1743504 kB
Buffers:         39796 kB
Cached:         177148 kB
SwapCached:      12692 kB
Active:         112840 kB
Inactive:       127792 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1743504 kB
SwapTotal:     4192956 kB
SwapFree:      4149008 kB
Dirty:            6724 kB
Writeback:           0 kB
Mapped:          30588 kB
Slab:            57160 kB
Committed_AS:  8414620 kB
PageTables:       1860 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66558 MiB

End job on node2 on Mon Apr 30 16:51:04 UTC 2007