Trace number 432811

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)316 1800.13 1802.67

General information on the benchmark

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

Verifier Data (download as text)

OK	316

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node74/watcher-432811-1177950127 -o ROOT/results/node74/solver-432811-1177950127 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432811-1177950127/instance-432811-1177950127.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.91 0.97 0.91 3/66 2444
/proc/meminfo: memFree=1858640/2055920 swapFree=4183036/4192956
[pid=2444] ppid=2442 vsize=2380 CPUtime=0
/proc/2444/stat : 2444 (bsolo3.0.17) D 2442 2444 1213 0 -1 4194304 52 0 0 0 0 0 0 0 18 0 1 0 242927452 2437120 36 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9757604 0 0 4096 0 18446744071563608240 0 0 17 1 0 0
/proc/2444/statm: 595 36 28 324 0 9 0

[startup+0.070837 s]
/proc/loadavg: 0.91 0.97 0.91 3/66 2444
/proc/meminfo: memFree=1858640/2055920 swapFree=4183036/4192956
[pid=2444] ppid=2442 vsize=5396 CPUtime=0.06
/proc/2444/stat : 2444 (bsolo3.0.17) R 2442 2444 1213 0 -1 4194304 798 0 0 0 5 1 0 0 18 0 1 0 242927452 5525504 726 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551225 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2444/statm: 1349 726 307 324 0 419 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5396

[startup+0.102836 s]
/proc/loadavg: 0.91 0.97 0.91 3/66 2444
/proc/meminfo: memFree=1858640/2055920 swapFree=4183036/4192956
[pid=2444] ppid=2442 vsize=5532 CPUtime=0.09
/proc/2444/stat : 2444 (bsolo3.0.17) R 2442 2444 1213 0 -1 4194304 833 0 0 0 8 1 0 0 18 0 1 0 242927452 5664768 761 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551353 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2444/statm: 1383 761 310 324 0 453 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5532

[startup+0.30286 s]
/proc/loadavg: 0.91 0.97 0.91 3/66 2444
/proc/meminfo: memFree=1858640/2055920 swapFree=4183036/4192956
[pid=2444] ppid=2442 vsize=6072 CPUtime=0.29
/proc/2444/stat : 2444 (bsolo3.0.17) R 2442 2444 1213 0 -1 4194304 965 0 0 0 28 1 0 0 19 0 1 0 242927452 6217728 893 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2444/statm: 1518 893 311 324 0 588 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6072

[startup+0.701906 s]
/proc/loadavg: 0.91 0.97 0.91 3/66 2444
/proc/meminfo: memFree=1858640/2055920 swapFree=4183036/4192956
[pid=2444] ppid=2442 vsize=7368 CPUtime=0.69
/proc/2444/stat : 2444 (bsolo3.0.17) R 2442 2444 1213 0 -1 4194304 1273 0 0 0 68 1 0 0 23 0 1 0 242927452 7544832 1201 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2444/statm: 1842 1201 311 324 0 912 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7368

[startup+1.50199 s]
/proc/loadavg: 0.91 0.97 0.91 2/67 2445
/proc/meminfo: memFree=1853512/2055920 swapFree=4183036/4192956
[pid=2444] ppid=2442 vsize=10228 CPUtime=1.48
/proc/2444/stat : 2444 (bsolo3.0.17) R 2442 2444 1213 0 -1 4194304 1999 0 0 0 147 1 0 0 25 0 1 0 242927452 10473472 1927 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10192507 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2444/statm: 2557 1927 311 324 0 1627 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 10228

[startup+3.10118 s]
/proc/loadavg: 0.91 0.97 0.91 2/67 2445
/proc/meminfo: memFree=1850248/2055920 swapFree=4183036/4192956
[pid=2444] ppid=2442 vsize=13620 CPUtime=3.08
/proc/2444/stat : 2444 (bsolo3.0.17) R 2442 2444 1213 0 -1 4194304 2853 0 0 0 307 1 0 0 25 0 1 0 242927452 13946880 2781 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550913 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2444/statm: 3405 2781 311 324 0 2475 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 13620

[startup+6.30154 s]
/proc/loadavg: 0.92 0.97 0.91 2/67 2445
/proc/meminfo: memFree=1843912/2055920 swapFree=4183036/4192956
[pid=2444] ppid=2442 vsize=19716 CPUtime=6.28
/proc/2444/stat : 2444 (bsolo3.0.17) R 2442 2444 1213 0 -1 4194304 4373 0 0 0 626 2 0 0 25 0 1 0 242927452 20189184 4301 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551646 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2444/statm: 4929 4301 311 324 0 3999 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 19716

[startup+12.7013 s]
/proc/loadavg: 0.93 0.97 0.91 2/67 2445
/proc/meminfo: memFree=1831312/2055920 swapFree=4183036/4192956
[pid=2444] ppid=2442 vsize=33340 CPUtime=12.68
/proc/2444/stat : 2444 (bsolo3.0.17) R 2442 2444 1213 0 -1 4194304 7759 0 0 0 1263 5 0 0 25 0 1 0 242927452 34140160 7687 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2444/statm: 8335 7687 311 324 0 7405 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 33340

[startup+25.5028 s]
/proc/loadavg: 0.94 0.97 0.91 2/67 2445
/proc/meminfo: memFree=1804816/2055920 swapFree=4183036/4192956
[pid=2444] ppid=2442 vsize=57920 CPUtime=25.47
/proc/2444/stat : 2444 (bsolo3.0.17) R 2442 2444 1213 0 -1 4194304 13930 0 0 0 2538 9 0 0 25 0 1 0 242927452 59310080 13858 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10192507 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2444/statm: 14480 13858 311 324 0 13550 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 57920

[startup+51.1027 s]
/proc/loadavg: 0.96 0.97 0.91 2/67 2445
/proc/meminfo: memFree=1768016/2055920 swapFree=4183036/4192956
[pid=2444] ppid=2442 vsize=94560 CPUtime=51.06
/proc/2444/stat : 2444 (bsolo3.0.17) R 2442 2444 1213 0 -1 4194304 23087 0 0 0 5090 16 0 0 25 0 1 0 242927452 96829440 23015 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10192507 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2444/statm: 23640 23015 311 324 0 22710 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 94560

[startup+102.306 s]
/proc/loadavg: 0.98 0.97 0.91 2/67 2445
/proc/meminfo: memFree=1725136/2055920 swapFree=4183036/4192956
[pid=2444] ppid=2442 vsize=136848 CPUtime=102.25
/proc/2444/stat : 2444 (bsolo3.0.17) R 2442 2444 1213 0 -1 4194304 33662 0 0 0 10200 25 0 0 25 0 1 0 242927452 140132352 33590 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10192507 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2444/statm: 34212 33590 311 324 0 33282 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 136848

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 2445
/proc/meminfo: memFree=1682448/2055920 swapFree=4183036/4192956
[pid=2444] ppid=2442 vsize=179696 CPUtime=162.23
/proc/2444/stat : 2444 (bsolo3.0.17) R 2442 2444 1213 0 -1 4194304 44348 0 0 0 16190 33 0 0 25 0 1 0 242927452 184008704 44276 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2444/statm: 44924 44276 311 324 0 43994 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 179696

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 2445
/proc/meminfo: memFree=1679056/2055920 swapFree=4183036/4192956
[pid=2444] ppid=2442 vsize=182572 CPUtime=222.22
/proc/2444/stat : 2444 (bsolo3.0.17) R 2442 2444 1213 0 -1 4194304 45217 0 0 0 22188 34 0 0 25 0 1 0 242927452 186953728 45012 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2444/statm: 45643 45012 311 324 0 44713 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 182572

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 2445
/proc/meminfo: memFree=1679056/2055920 swapFree=4183036/4192956
[pid=2444] ppid=2442 vsize=182572 CPUtime=282.2
/proc/2444/stat : 2444 (bsolo3.0.17) R 2442 2444 1213 0 -1 4194304 45217 0 0 0 28186 34 0 0 25 0 1 0 242927452 186953728 45012 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2444/statm: 45643 45012 311 324 0 44713 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 182572

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 2445
/proc/meminfo: memFree=1679056/2055920 swapFree=4183036/4192956
[pid=2444] ppid=2442 vsize=182572 CPUtime=342.19
/proc/2444/stat : 2444 (bsolo3.0.17) R 2442 2444 1213 0 -1 4194304 45217 0 0 0 34184 35 0 0 25 0 1 0 242927452 186953728 45012 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551018 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2444/statm: 45643 45012 311 324 0 44713 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 182572

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 2445
/proc/meminfo: memFree=1679056/2055920 swapFree=4183036/4192956
[pid=2444] ppid=2442 vsize=182572 CPUtime=402.17
/proc/2444/stat : 2444 (bsolo3.0.17) R 2442 2444 1213 0 -1 4194304 45217 0 0 0 40182 35 0 0 25 0 1 0 242927452 186953728 45012 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2444/statm: 45643 45012 311 324 0 44713 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 182572

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 2445
/proc/meminfo: memFree=1679056/2055920 swapFree=4183036/4192956
[pid=2444] ppid=2442 vsize=182572 CPUtime=462.15
/proc/2444/stat : 2444 (bsolo3.0.17) R 2442 2444 1213 0 -1 4194304 45217 0 0 0 46180 35 0 0 25 0 1 0 242927452 186953728 45012 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551048 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2444/statm: 45643 45012 311 324 0 44713 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 182572

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 2445
/proc/meminfo: memFree=1679056/2055920 swapFree=4183036/4192956
[pid=2444] ppid=2442 vsize=182572 CPUtime=522.13
/proc/2444/stat : 2444 (bsolo3.0.17) R 2442 2444 1213 0 -1 4194304 45217 0 0 0 52178 35 0 0 25 0 1 0 242927452 186953728 45012 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2444/statm: 45643 45012 311 324 0 44713 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 182572

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 2445
/proc/meminfo: memFree=1679056/2055920 swapFree=4183036/4192956
[pid=2444] ppid=2442 vsize=182572 CPUtime=582.11
/proc/2444/stat : 2444 (bsolo3.0.17) R 2442 2444 1213 0 -1 4194304 45217 0 0 0 58176 35 0 0 25 0 1 0 242927452 186953728 45012 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2444/statm: 45643 45012 311 324 0 44713 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 182572

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 2445
/proc/meminfo: memFree=1679056/2055920 swapFree=4183036/4192956
[pid=2444] ppid=2442 vsize=182572 CPUtime=642.09
/proc/2444/stat : 2444 (bsolo3.0.17) R 2442 2444 1213 0 -1 4194304 45217 0 0 0 64174 35 0 0 25 0 1 0 242927452 186953728 45012 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2444/statm: 45643 45012 311 324 0 44713 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 182572


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

/proc/meminfo: memFree=1650640/2055920 swapFree=4183036/4192956
[pid=2444] ppid=2442 vsize=210904 CPUtime=1001.98
/proc/2444/stat : 2444 (bsolo3.0.17) R 2442 2444 1213 0 -1 4194304 52308 0 0 0 100156 42 0 0 25 0 1 0 242927452 215965696 52103 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2444/statm: 52726 52103 311 324 0 51796 0
Current children cumulated CPU time (s) 1001.98
Current children cumulated vsize (KiB) 210904

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 2445
/proc/meminfo: memFree=1612176/2055920 swapFree=4183036/4192956
[pid=2444] ppid=2442 vsize=249044 CPUtime=1061.97
/proc/2444/stat : 2444 (bsolo3.0.17) R 2442 2444 1213 0 -1 4194304 61999 0 0 0 106147 50 0 0 25 0 1 0 242927452 255021056 61633 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2444/statm: 62261 61633 311 324 0 61331 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 249044

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 2445
/proc/meminfo: memFree=1612176/2055920 swapFree=4183036/4192956
[pid=2444] ppid=2442 vsize=249044 CPUtime=1121.95
/proc/2444/stat : 2444 (bsolo3.0.17) R 2442 2444 1213 0 -1 4194304 61999 0 0 0 112145 50 0 0 25 0 1 0 242927452 255021056 61633 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2444/statm: 62261 61633 311 324 0 61331 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 249044

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 2447
/proc/meminfo: memFree=1612176/2055920 swapFree=4183036/4192956
[pid=2444] ppid=2442 vsize=249044 CPUtime=1181.93
/proc/2444/stat : 2444 (bsolo3.0.17) R 2442 2444 1213 0 -1 4194304 61999 0 0 0 118143 50 0 0 25 0 1 0 242927452 255021056 61633 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2444/statm: 62261 61633 311 324 0 61331 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 249044

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 2447
/proc/meminfo: memFree=1612176/2055920 swapFree=4183036/4192956
[pid=2444] ppid=2442 vsize=249044 CPUtime=1241.91
/proc/2444/stat : 2444 (bsolo3.0.17) R 2442 2444 1213 0 -1 4194304 61999 0 0 0 124141 50 0 0 25 0 1 0 242927452 255021056 61633 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2444/statm: 62261 61633 311 324 0 61331 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 249044

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 2447
/proc/meminfo: memFree=1612176/2055920 swapFree=4183036/4192956
[pid=2444] ppid=2442 vsize=249044 CPUtime=1301.9
/proc/2444/stat : 2444 (bsolo3.0.17) R 2442 2444 1213 0 -1 4194304 61999 0 0 0 130140 50 0 0 25 0 1 0 242927452 255021056 61633 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572600 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2444/statm: 62261 61633 311 324 0 61331 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 249044

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 2447
/proc/meminfo: memFree=1598480/2055920 swapFree=4183036/4192956
[pid=2444] ppid=2442 vsize=263180 CPUtime=1361.88
/proc/2444/stat : 2444 (bsolo3.0.17) R 2442 2444 1213 0 -1 4194304 65533 0 0 0 136134 54 0 0 25 0 1 0 242927452 269496320 65167 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551353 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2444/statm: 65795 65167 311 324 0 64865 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 263180

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 2447
/proc/meminfo: memFree=1559632/2055920 swapFree=4183036/4192956
[pid=2444] ppid=2442 vsize=301652 CPUtime=1421.87
/proc/2444/stat : 2444 (bsolo3.0.17) R 2442 2444 1213 0 -1 4194304 75144 0 0 0 142125 62 0 0 25 0 1 0 242927452 308891648 74778 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2444/statm: 75413 74778 311 324 0 74483 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 301652

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 2447
/proc/meminfo: memFree=1539408/2055920 swapFree=4183036/4192956
[pid=2444] ppid=2442 vsize=321604 CPUtime=1481.84
/proc/2444/stat : 2444 (bsolo3.0.17) R 2442 2444 1213 0 -1 4194304 80301 0 0 0 148116 68 0 0 25 0 1 0 242927452 329322496 79757 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2444/statm: 80401 79757 311 324 0 79471 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 321604

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 2447
/proc/meminfo: memFree=1539408/2055920 swapFree=4183036/4192956
[pid=2444] ppid=2442 vsize=321604 CPUtime=1541.83
/proc/2444/stat : 2444 (bsolo3.0.17) R 2442 2444 1213 0 -1 4194304 80301 0 0 0 154115 68 0 0 25 0 1 0 242927452 329322496 79757 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551104 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2444/statm: 80401 79757 311 324 0 79471 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 321604

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 2447
/proc/meminfo: memFree=1539408/2055920 swapFree=4183036/4192956
[pid=2444] ppid=2442 vsize=321604 CPUtime=1601.81
/proc/2444/stat : 2444 (bsolo3.0.17) R 2442 2444 1213 0 -1 4194304 80301 0 0 0 160113 68 0 0 25 0 1 0 242927452 329322496 79757 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2444/statm: 80401 79757 311 324 0 79471 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 321604

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 2447
/proc/meminfo: memFree=1539408/2055920 swapFree=4183036/4192956
[pid=2444] ppid=2442 vsize=321604 CPUtime=1661.8
/proc/2444/stat : 2444 (bsolo3.0.17) R 2442 2444 1213 0 -1 4194304 80301 0 0 0 166111 69 0 0 25 0 1 0 242927452 329322496 79757 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2444/statm: 80401 79757 311 324 0 79471 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 321604

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 2447
/proc/meminfo: memFree=1539408/2055920 swapFree=4183036/4192956
[pid=2444] ppid=2442 vsize=321604 CPUtime=1721.78
/proc/2444/stat : 2444 (bsolo3.0.17) R 2442 2444 1213 0 -1 4194304 80301 0 0 0 172109 69 0 0 25 0 1 0 242927452 329322496 79757 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2444/statm: 80401 79757 311 324 0 79471 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 321604

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 2447
/proc/meminfo: memFree=1539408/2055920 swapFree=4183036/4192956
[pid=2444] ppid=2442 vsize=321604 CPUtime=1781.76
/proc/2444/stat : 2444 (bsolo3.0.17) R 2442 2444 1213 0 -1 4194304 80301 0 0 0 178107 69 0 0 25 0 1 0 242927452 329322496 79757 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2444/statm: 80401 79757 311 324 0 79471 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 321604



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.97 0.91 3/67 2447
/proc/meminfo: memFree=1539408/2055920 swapFree=4183036/4192956
[pid=2444] ppid=2442 vsize=321604 CPUtime=1800.06
/proc/2444/stat : 2444 (bsolo3.0.17) R 2442 2444 1213 0 -1 4194304 80301 0 0 0 179937 69 0 0 25 0 1 0 242927452 329322496 79757 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551106 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2444/statm: 80401 79757 311 324 0 79471 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 321604

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

Sending SIGKILL to process tree (bottom up)

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

[startup+1801.4 s]
/proc/loadavg: 0.99 0.97 0.91 3/67 2447
/proc/meminfo: memFree=1539408/2055920 swapFree=4183036/4192956
[pid=2444] ppid=2442 vsize=321604 CPUtime=1800.07
/proc/2444/stat : 2444 (bsolo3.0.17) S 2442 2444 1213 0 -1 4194304 80301 0 0 0 179938 69 0 0 25 0 1 0 242927452 329322496 79757 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/2444/statm: 80401 79757 311 324 0 79471 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 321604

[startup+1802.2 s]
/proc/loadavg: 0.99 0.97 0.91 1/68 2448
/proc/meminfo: memFree=1539400/2055920 swapFree=4183036/4192956
[pid=2444] ppid=2442 vsize=321604 CPUtime=1800.07
/proc/2444/stat : 2444 (bsolo3.0.17) S 2442 2444 1213 0 -1 4194304 80301 0 0 0 179938 69 0 0 25 0 1 0 242927452 329322496 79757 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/2444/statm: 80401 79757 311 324 0 79471 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 321604

[startup+1802.6 s]
/proc/loadavg: 0.99 0.97 0.91 1/68 2448
/proc/meminfo: memFree=1539400/2055920 swapFree=4183036/4192956
[pid=2444] ppid=2442 vsize=321604 CPUtime=1800.07
/proc/2444/stat : 2444 (bsolo3.0.17) S 2442 2444 1213 0 -1 4194304 80301 0 0 0 179938 69 0 0 25 0 1 0 242927452 329322496 79757 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/2444/statm: 80401 79757 311 324 0 79471 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 321604

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.67
CPU time (s): 1800.13
CPU user time (s): 1799.38
CPU system time (s): 0.746886
CPU usage (%): 99.8591
Max. virtual memory (cumulated for all children) (KiB): 322316

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.38
system time used= 0.746886
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80301
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= 15
involuntary context switches= 2877

runsolver used 1.58476 second user time and 3.35549 second system time

The end

Launcher Data (download as text)

Begin job on node74 on Mon Apr 30 16:22:07 UTC 2007

IDJOB= 432811
IDBENCH= 1831
IDSOLVER= 199
FILE ID= node74/432811-1177950127

PBS_JOBID= 4727526

Free space on /tmp= 103238 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.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432811-1177950127/instance-432811-1177950127.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node74/watcher-432811-1177950127 -o ROOT/results/node74/solver-432811-1177950127 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/432811-1177950127/instance-432811-1177950127.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  a5b00f1ae7deac89a36da7a8be4b1f6d

RANDOM SEED= 626306528

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node74.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.213
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.213
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:       1859048 kB
Buffers:          6956 kB
Cached:         108092 kB
SwapCached:       2864 kB
Active:          37544 kB
Inactive:        94176 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1859048 kB
SwapTotal:     4192956 kB
SwapFree:      4183036 kB
Dirty:            6700 kB
Writeback:           0 kB
Mapped:          22752 kB
Slab:            50928 kB
Committed_AS:  4138872 kB
PageTables:       1496 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 103238 MiB

End job on node74 on Mon Apr 30 16:52:10 UTC 2007