Trace number 372582

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.16SAT (TO)28 1800.01 1800.51

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data (download as text)

0.00/0.00	c bsolo beta version 3.0.16 - 04/04/2007 : 1458 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 Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/372582-1177108222/instance-372582-1177108222.opb
0.00/0.00	c File size is 374479 bytes.
0.04/0.07	c Highest Coefficient sum: 2273
0.04/0.07	c Parsing was ok!!
0.04/0.07	c Total parsing time: 0.069 s
0.04/0.07	c Var: 4666 Constr: 12693 12693/0/0 Lit: 30714 Watch. Lit: 25222
0.04/0.07	c Obj. Vars: 2273 (48.7141 % of total variables)
0.09/0.16	c Pre-processing Time: 0.156 s
0.09/0.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.16	c        0   4336    11917    29130    2    23834    3972      0      0 0.16
0.09/0.16	c Switching off LPR mode.
0.09/0.16	o 30	0.162
0.09/0.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.19	c        0   4336    11918    31239    2    25915    4972      1      0 0.17
0.09/0.19	o 29	0.195
877.85/878.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
877.85/878.19	c       59   4336    11978    36017    3    28115    4972     61    299 0.20
877.85/878.19	c      160   4336    12079    38511    3    28317    5470    162    634 0.25
877.85/878.19	c      411   4336    12330    49437    4    28819    6018    413    889 0.46
877.85/878.19	c      886   4336    12805    72656    5    29769    6620    888   1026 0.86
877.85/878.19	c     1699   4336    13618   112690    8    31395    7283   1701   1122 1.51
877.85/878.19	c     3019   4336    14938   188187   12    34035    8012   3021   1180 2.56
877.85/878.19	c     5100   4336    17019   295668   17    38197    8814   5102   1117 4.57
877.85/878.19	c     8323   4336    20242   468636   23    44643    9696   8325    989 8.41
877.85/878.19	c    13260   4336    18484   501008   27    39048   10666   6567   1017 13.03
877.85/878.19	c    20766   4336    18757   438492   23    39594   11733   6840   1178 17.62
877.85/878.19	c    32127   4336    23309   763962   32    48698   12907  11392    996 32.23
877.85/878.19	c    49272   4336    24571  1009633   41    51222   14198  12654   1104 44.59
877.85/878.19	c    75091   4336    24180   912489   37    50440   15618  12263    942 79.67
877.85/878.19	c   113923   4336    25899   876870   33    53878   17180  13982    856 132.96
877.85/878.19	c   172275   4336    21661   828916   38    45402   18899   9744    767 224.34
877.85/878.19	c   259907   4336    21368   834518   39    44816   20789   9451    707 367.53
877.85/878.19	c   391462   4336    32276  1679095   52    66632   22868  20359    627 623.96
877.85/878.19	o 28	877.945
1799.89/1800.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1799.89/1800.49	c   512087   4336    32607  1446144   44    69375    4972  20690    583 877.95
1799.89/1800.49	c   512187   4336    14504   170733   11    31089    5470   2587    583 878.43
1799.89/1800.49	c   512438   4336    14755   182217   12    31591    6018   2838    583 878.57
1799.89/1800.49	c   512913   4336    15230   210720   13    32541    6620   3313    583 878.82
1799.89/1800.49	c   513727   4336    16044   249738   15    34169    7283   4127    583 879.68
1799.89/1800.49	c   515049   4336    17366   315849   18    36813    8012   5449    584 880.69
1799.89/1800.49	c   517130   4336    19447   425652   21    40975    8814   7530    585 882.73
1799.89/1800.49	c   520353   4336    16558   302474   18    35197    9696   4641    587 885.03
1799.89/1800.49	c   525289   4336    21494   544388   25    45069   10666   9577    589 890.61
1799.89/1800.49	c   532796   4336    21732   643887   29    45545   11733   9815    592 898.48
1799.89/1800.49	c   544157   4336    18200   433304   23    38481   12907   6283    601 905.24
1799.89/1800.49	c   561302   4336    18917   562415   29    39915   14198   7000    606 925.32
1799.89/1800.49	c   587121   4336    19017   653886   34    40115   15618   7100    603 972.51
1799.89/1800.49	c   625953   4336    19727   580844   29    41535   17180   7810    615 1016.74
1799.89/1800.49	c   684308   4336    26556  1699224   63    55193   18899  14639    619 1105.47
1799.89/1800.49	c   771942   4336    25734  1421116   55    53549   20789  13817    604 1276.00
1799.89/1800.49	c   903494   4336    24540   841708   34    51161   22868  12623    588 1535.17
1799.89/1800.49	c Resources Exceeded
1799.89/1800.49	v -x189 -x191 -x193 -x195 -x197 -x199 -x201 -x203 -x205 -x207 -x209 -x211 -x213 -x215 -x217 -x219 -x221 -x223 -x225 -x227 -x229
1799.89/1800.49	v -x231 -x233 -x235 -x237 -x239 -x241 x243 -x245 -x247 -x249 -x251 -x253 -x255 -x257 -x259 -x261 -x263 -x265 -x267 -x269 -x271
1799.89/1800.49	v -x273 -x275 -x277 -x279 -x281 -x283 -x285 -x287 -x289 -x291 -x293 -x295 -x297 -x299 -x301 -x303 -x305 -x307 -x309 x311 -x313
1799.89/1800.49	v -x315 -x317 -x319 -x321 -x323 -x325 -x327 -x329 -x331 -x333 -x335 -x337 -x339 -x341 -x343 -x345 -x347 -x349 -x351 -x353 -x355
1799.89/1800.49	v -x357 -x359 -x361 -x363 -x365 -x367 -x369 -x371 -x373 -x375 -x377 -x379 -x381 -x383 -x385 -x387 -x389 -x391 -x393 -x395 -x397
1799.89/1800.49	v -x399 -x401 -x403 -x405 -x407 -x409 -x411 -x413 -x415 -x417 -x419 -x421 -x423 -x425 -x427 -x429 -x431 -x433 -x435 -x437 -x439
1799.89/1800.49	v -x441 -x443 -x445 -x447 -x449 -x451 -x453 -x455 -x457 -x459 -x461 -x463 -x465 -x467 -x469 -x471 -x473 -x475 -x477 -x479 -x481
1799.89/1800.49	v -x483 -x485 -x487 -x489 -x491 -x493 -x495 -x497 -x499 -x501 -x503 -x505 -x507 -x509 -x511 -x513 -x515 -x517 -x519 -x521 -x523
1799.89/1800.49	v -x525 -x527 -x529 -x531 -x533 -x535 -x537 -x539 -x541 -x543 -x545 -x547 -x549 -x551 -x553 -x555 -x557 -x559 -x561 -x563 -x565
1799.89/1800.49	v -x567 -x569 -x571 -x573 -x575 -x577 -x579 -x581 -x583 -x585 -x587 -x589 -x591 -x593 -x595 -x597 -x599 -x601 -x603 -x605 -x607
1799.89/1800.49	v -x609 -x611 -x613 -x615 -x617 -x619 -x621 -x623 -x625 -x627 -x629 -x631 -x633 -x635 -x637 -x639 -x641 -x643 -x645 -x647 -x649
1799.89/1800.49	v -x651 -x653 -x655 -x657 -x659 -x661 -x663 -x665 -x667 -x669 -x671 -x673 -x675 -x677 -x679 -x681 -x683 x685 -x687 -x689 -x691
1799.89/1800.49	v -x693 -x695 -x697 -x699 -x701 -x703 -x705 -x707 -x709 -x711 -x713 -x715 -x717 -x719 -x721 -x723 -x725 -x727 -x729 -x731 x733
1799.89/1800.49	v -x735 -x737 -x739 -x741 -x743 -x745 -x747 -x749 -x751 -x753 -x755 -x757 -x759 -x761 -x763 -x765 -x767 -x769 -x771 -x773 -x775
1799.89/1800.49	v -x777 -x779 -x781 -x783 -x785 -x787 -x789 -x791 -x793 -x795 -x797 -x799 -x801 -x803 -x805 -x807 -x809 -x811 -x813 -x815 -x817
1799.89/1800.49	v -x819 -x821 -x823 -x825 -x827 -x829 -x831 -x833 -x835 -x837 -x839 -x841 -x843 -x845 -x847 -x849 -x851 -x853 -x855 -x857 -x859
1799.89/1800.49	v -x861 -x863 -x865 -x867 -x869 -x871 -x873 -x875 -x877 -x879 -x881 -x883 -x885 -x887 -x889 -x891 -x893 -x895 -x897 -x899 -x901
1799.89/1800.49	v -x903 -x905 -x907 -x909 -x911 -x913 -x915 -x917 -x919 -x921 -x923 -x925 -x927 -x929 -x931 -x933 -x935 -x937 -x939 -x941 -x943
1799.89/1800.49	v -x945 -x947 -x949 -x951 -x953 -x955 -x957 -x959 -x961 -x963 -x965 -x967 -x969 -x971 -x973 -x975 -x977 -x979 -x981 -x983 -x985
1799.89/1800.49	v -x987 -x989 -x991 -x993 -x995 -x997 -x999 -x1001 -x1003 -x1005 -x1007 -x1009 -x1011 -x1013 -x1015 -x1017 -x1019 -x1021
1799.89/1800.49	v -x1023 -x1025 -x1027 -x1029 -x1031 -x1033 -x1035 -x1037 -x1039 -x1041 -x1043 -x1045 -x1047 -x1049 -x1051 -x1053 -x1055
1799.89/1800.49	v -x1057 -x1059 -x1061 -x1063 -x1065 -x1067 -x1069 -x1071 -x1073 -x1075 -x1077 -x1079 -x1081 -x1083 -x1085 -x1087 -x1089
1799.89/1800.49	v -x1091 -x1093 -x1095 -x1097 -x1099 -x1101 -x1103 -x1105 -x1107 -x1109 -x1111 -x1113 -x1115 -x1117 -x1119 -x1121 -x1123
1799.89/1800.49	v -x1125 -x1127 -x1129 -x1131 -x1133 -x1135 -x1137 -x1139 -x1141 -x1143 -x1145 -x1147 -x1149 -x1151 -x1153 -x1155 -x1156
1799.89/1800.49	v -x1158 -x1160 -x1162 -x1164 -x1166 -x1168 -x1170 -x1172 -x1174 -x1176 -x1178 -x1180 -x1182 -x1184 -x1186 -x1188 -x1190
1799.89/1800.49	v -x1192 -x1194 -x1196 -x1198 -x1200 -x1202 -x1204 -x1206 -x1208 -x1210 -x1212 -x1214 -x1216 -x1218 -x1220 -x1222 -x1224
1799.89/1800.49	v -x1226 -x1228 -x1230 -x1232 -x1234 -x1236 -x1238 -x1240 -x1242 -x1244 -x1246 -x1248 -x1250 -x1252 -x1254 -x1256 -x1258
1799.89/1800.49	v -x1260 -x1262 -x1264 -x1266 -x1268 -x1270 -x1272 -x1274 -x1276 -x1278 -x1280 -x1282 -x1284 -x1286 -x1288 -x1290 -x1292
1799.89/1800.49	v -x1294 -x1296 -x1298 -x1300 -x1302 -x1304 -x1306 -x1308 -x1310 -x1312 -x1314 -x1316 -x1318 -x1320 -x1322 -x1324 -x1326
1799.89/1800.49	v -x1327 -x1329 -x1331 -x1333 -x1335 -x1337 -x1339 -x1341 -x1343 -x1345 -x1347 -x1349 -x1351 -x1353 -x1355 -x1357 -x1359
1799.89/1800.49	v -x1361 -x1363 -x1365 -x1367 -x1369 -x1371 -x1373 -x1375 -x1377 -x1379 -x1381 -x1383 -x1385 -x1386 -x1388 -x1390 -x1392
1799.89/1800.49	v -x1394 -x1396 -x1398 -x1400 -x1402 -x1404 -x1406 -x1408 -x1410 -x1412 -x1414 -x1416 -x1418 -x1420 -x1422 -x1424 -x1426
1799.89/1800.49	v -x1428 -x1430 -x1432 -x1434 -x1436 -x1438 -x1440 -x1442 -x1444 -x1446 -x1448 -x1450 -x1452 -x1454 -x1456 -x1458 -x1460
1799.89/1800.49	v -x1462 -x1464 -x1466 -x1468 -x1470 -x1472 -x1474 -x1476 -x1478 -x1480 -x1482 -x1484 -x1486 -x1488 -x1490 -x1492 -x1494
1799.89/1800.49	v -x1496 -x1498 x1500 -x1502 -x1504 -x1506 -x1508 -x1510 -x1512 -x1514 -x1516 -x1518 -x1520 -x1522 -x1524 -x1526 -x1528
1799.89/1800.49	v -x1530 -x1532 -x1534 -x1536 -x1538 -x1540 -x1542 -x1544 -x1546 -x1548 -x1550 -x1552 -x1554 -x1556 -x1558 -x1560 -x1562
1799.89/1800.49	v -x1564 -x1566 -x1568 -x1570 -x1572 -x1574 -x1576 -x1578 -x1580 -x1582 -x1584 -x1586 -x1588 -x1590 -x1592 -x1594 -x1596
1799.89/1800.49	v -x1598 -x1600 -x1602 -x1604 -x1606 -x1608 -x1610 -x1612 -x1614 -x1616 -x1618 -x1620 -x1622 -x1624 -x1626 -x1628 -x1630
1799.89/1800.49	v -x1632 -x1634 -x1636 -x1638 -x1639 -x1641 -x1643 -x1645 -x1647 -x1649 -x1651 -x1653 -x1655 -x1657 -x1659 -x1661 -x1663
1799.89/1800.49	v -x1665 -x1667 -x1669 -x1671 -x1673 -x1675 -x1677 -x1679 -x1681 -x1683 -x1685 -x1687 -x1689 -x1691 -x1693 -x1695 -x1697
1799.89/1800.49	v -x1699 -x1701 -x1703 -x1705 -x1707 -x1709 -x1711 -x1713 -x1715 -x1717 -x1719 -x1721 -x1723 -x1725 -x1727 -x1729 -x1731
1799.89/1800.49	v -x1733 -x1735 -x1737 -x1739 -x1740 -x1742 -x1744 -x1746 -x1748 -x1750 -x1752 -x1754 -x1756 -x1758 -x1760 -x1762 -x1764
1799.89/1800.49	v -x1766 -x1768 -x1770 -x1772 -x1774 -x1776 -x1778 -x1780 -x1782 -x1784 -x1786 -x1788 -x1790 -x1792 -x1794 -x1796 -x1798
1799.89/1800.49	v -x1800 -x1802 -x1804 -x1806 -x1808 -x1810 -x1812 -x1814 -x1816 -x1818 -x1820 -x1822 -x1824 -x1826 -x1828 -x1830 -x1832
1799.89/1800.49	v -x1834 -x1836 -x1838 -x1840 -x1842 -x1844 -x1846 -x1848 -x1850 -x1852 -x1854 -x1856 -x1858 -x1860 -x1862 -x1864 -x1866
1799.89/1800.49	v -x1868 -x1870 -x1872 -x1874 -x1876 -x1878 -x1880 -x1882 -x1884 -x1886 -x1888 -x1890 -x1892 -x1894 -x1896 -x1898 -x1900
1799.89/1800.49	v -x1902 -x1904 -x1906 -x1908 -x1910 -x1912 -x1914 -x1916 -x1918 -x1920 -x1922 -x1924 -x1926 -x1928 -x1930 -x1932 -x1934
1799.89/1800.49	v -x1936 -x1938 -x1940 -x1942 -x1944 -x1946 -x1948 -x1950 -x1952 x1954 -x1956 -x1958 -x1960 -x1962 -x1964 -x1966 -x1968
1799.89/1800.49	v -x1970 -x1972 -x1974 -x1976 -x1978 -x1980 -x1982 -x1984 -x1986 -x1988 -x1990 -x1992 -x1993 -x1995 -x1997 -x1999 -x2001
1799.89/1800.49	v -x2003 -x2005 -x2007 -x2009 -x2011 -x2013 -x2015 -x2017 -x2019 -x2021 -x2023 -x2025 -x2027 -x2029 -x2031 -x2033 -x2035
1799.89/1800.49	v -x2037 -x2039 -x2041 -x2043 -x2045 -x2047 -x2049 -x2051 -x2053 -x2055 -x2057 -x2059 -x2061 -x2063 -x2065 -x2067 -x2069
1799.89/1800.49	v -x2071 -x2073 -x2075 -x2077 -x2078 -x2080 -x2082 -x2084 -x2086 -x2088 -x2090 -x2092 -x2094 -x2096 -x2098 -x2100 -x2102
1799.89/1800.49	v -x2104 -x2106 -x2108 -x2110 -x2112 -x2114 -x2116 -x2118 -x2120 -x2122 -x2124 -x2126 -x2128 -x2130 -x2132 -x2134 -x2136
1799.89/1800.49	v -x2138 -x2140 -x2141 -x2143 -x2145 -x2147 -x2149 -x2151 -x2153 -x2155 -x2157 -x2158 -x2160 -x2162 -x2164 -x2166 -x2168
1799.89/1800.49	v -x2170 -x2172 -x2174 -x2176 -x2178 -x2180 -x2182 -x2184 -x2186 -x2188 -x2190 -x2192 -x2194 -x2196 -x2198 -x2200 -x2202
1799.89/1800.49	v -x2204 -x2206 -x2208 -x2210 -x2212 -x2214 -x2216 -x2218 -x2220 -x2222 -x2224 -x2226 -x2228 -x2230 -x2232 -x2234 -x2236
1799.89/1800.49	v -x2238 -x2240 -x2242 -x2244 -x2246 -x2248 -x2250 -x2252 -x2254 -x2256 -x2258 -x2260 -x2262 -x2264 -x2266 -x2268 -x2270
1799.89/1800.49	v -x2272 -x2274 -x2276 -x2278 -x2280 -x2282 -x2284 -x2286 -x2288 -x2290 -x2292 -x2294 -x2296 -x2298 -x2300 -x2302 -x2304
1799.89/1800.49	v -x2306 -x2308 -x2310 -x2312 -x2314 -x2316 -x2318 -x2319 -x2321 -x2323 -x2325 -x2327 -x2329 -x2331 -x2333 -x2334 -x2336
1799.89/1800.49	v -x2338 -x2340 -x2342 -x2344 -x2346 x2348 -x2350 -x2352 -x2354 -x2356 -x2358 -x2360 -x2362 -x2364 -x2366 -x2368 -x2370
1799.89/1800.49	v -x2372 -x2374 -x2376 -x2378 -x2380 -x2382 -x2384 -x2386 -x2388 -x2389 -x2391 -x2393 -x2395 -x2397 -x2399 -x2401 -x2403
1799.89/1800.49	v -x2405 -x2407 -x2409 -x2411 -x2413 -x2415 -x2417 -x2419 -x2421 -x2423 -x2425 -x2427 -x2429 -x2431 -x2433 -x2435 -x2437
1799.89/1800.49	v -x2439 x2441 -x2443 -x2445 -x2447 -x2449 -x2451 -x2453 -x2455 -x2456 -x2458 -x2460 -x2462 -x2464 -x2466 -x2468 -x2470
1799.89/1800.49	v -x2472 -x2474 -x2476 -x2478 -x2480 -x2482 -x2484 -x2486 -x2488 -x2490 -x2492 -x2494 -x2496 -x2497 -x2499 -x2501 -x2503
1799.89/1800.49	v -x2505 -x2507 -x2509 -x2511 -x2513 -x2515 -x2517 -x2519 -x2521 -x2523 -x2525 -x2527 -x2529 -x2531 -x2533 -x2535 -x2537
1799.89/1800.49	v -x2539 -x2541 -x2543 -x2545 -x2547 -x2549 -x2551 -x2553 -x2555 -x2557 -x2559 -x2561 -x2563 -x2565 -x2567 -x2569 -x2571
1799.89/1800.49	v -x2573 -x2575 -x2577 -x2579 -x2581 -x2583 -x2585 -x2587 -x2589 -x2591 -x2593 -x2595 -x2597 -x2598 -x2600 -x2602 -x2604
1799.89/1800.49	v -x2606 -x2608 -x2610 -x2612 -x2614 -x2616 -x2618 -x2620 -x2622 -x2624 -x2626 -x2628 -x2630 -x2632 -x2634 -x2636 -x2638
1799.89/1800.49	v -x2640 -x2642 -x2644 -x2646 -x2648 -x2650 -x2652 -x2654 -x2656 -x2658 -x2660 -x2662 -x2664 -x2665 -x2667 -x2669 -x2671
1799.89/1800.49	v -x2673 -x2675 -x2677 -x2679 -x2681 -x2683 -x2685 -x2687 -x2689 -x2691 -x2693 -x2695 -x2697 -x2699 -x2701 -x2703 -x2705
1799.89/1800.49	v -x2707 -x2709 -x2711 -x2713 -x2715 -x2717 -x2719 -x2721 -x2723 -x2725 -x2727 -x2729 -x2731 -x2733 -x2735 -x2737 -x2739
1799.89/1800.49	v -x2741 -x2743 -x2745 -x2747 -x2749 -x2751 -x2753 -x2755 -x2757 -x2759 -x2761 -x2763 -x2764 -x2766 -x2768 -x2770 -x2772
1799.89/1800.49	v -x2774 -x2776 -x2778 -x2780 -x2782 -x2784 -x2786 -x2788 -x2790 -x2792 -x2794 -x2796 -x2798 x2800 -x2802 -x2804 -x2806
1799.89/1800.49	v -x2808 -x2810 -x2812 -x2814 -x2815 -x2817 -x2819 -x2821 -x2823 -x2825 -x2827 -x2829 -x2831 -x2833 -x2835 -x2837 -x2839
1799.89/1800.49	v -x2841 -x2843 -x2845 -x2847 -x2849 -x2851 -x2853 -x2855 -x2857 -x2859 -x2860 -x2862 -x2864 -x2866 -x2868 -x2870 -x2872
1799.89/1800.49	v -x2874 -x2876 -x2878 -x2880 x2882 -x2884 -x2886 -x2888 -x2890 -x2892 -x2894 -x2896 -x2898 -x2900 -x2902 -x2904 -x2906
1799.89/1800.49	v -x2908 -x2910 -x2912 -x2914 -x2916 -x2918 -x2920 -x2922 -x2924 -x2926 -x2928 -x2930 -x2932 -x2934 -x2936 -x2938 -x2940
1799.89/1800.49	v -x2942 -x2944 -x2946 -x2948 -x2950 -x2952 -x2954 -x2956 -x2958 -x2960 -x2962 -x2963 -x2965 -x2967 -x2969 -x2971 -x2973
1799.89/1800.49	v -x2975 -x2977 -x2979 -x2981 -x2983 -x2985 -x2987 -x2989 -x2991 -x2993 -x2995 -x2997 -x2999 -x3001 -x3003 -x3005 -x3007
1799.89/1800.49	v -x3009 -x3011 -x3013 -x3015 -x3017 -x3019 -x3021 -x3023 -x3025 -x3027 -x3029 -x3031 -x3033 -x3035 -x3037 -x3039 -x3041
1799.89/1800.49	v -x3043 -x3045 -x3047 -x3048 -x3050 -x3052 -x3054 -x3056 -x3058 -x3060 -x3062 -x3064 -x3066 -x3068 -x3070 -x3072 -x3074
1799.89/1800.49	v -x3076 -x3078 -x3080 -x3082 -x3084 -x3086 -x3088 -x3090 -x3092 -x3094 -x3096 -x3098 -x3100 -x3102 -x3104 -x3106 -x3108
1799.89/1800.49	v -x3110 -x3112 -x3114 -x3116 -x3118 -x3120 -x3122 -x3124 -x3126 -x3128 -x3130 -x3132 -x3134 -x3136 -x3138 -x3140 -x3142
1799.89/1800.49	v -x3144 -x3146 -x3148 -x3150 -x3152 -x3154 -x3156 -x3158 -x3160 -x3162 -x3163 -x3165 -x3167 -x3169 -x3171 -x3173 -x3175
1799.89/1800.49	v -x3177 -x3179 -x3181 -x3183 -x3185 -x3187 -x3189 -x3191 -x3193 -x3195 -x3197 -x3199 -x3201 -x3203 -x3205 -x3207 -x3209
1799.89/1800.49	v -x3211 -x3212 -x3214 -x3216 -x3218 -x3220 -x3222 -x3224 -x3226 -x3228 -x3230 -x3231 -x3233 -x3235 -x3237 -x3239 -x3241
1799.89/1800.49	v -x3243 -x3245 -x3247 -x3249 -x3251 -x3253 -x3255 -x3257 -x3259 -x3261 -x3263 -x3265 -x3266 -x3268 -x3270 -x3272 -x3274
1799.89/1800.49	v -x3276 -x3278 -x3280 -x3282 -x3284 -x3286 -x3288 -x3290 -x3292 -x3294 -x3296 -x3298 -x3300 -x3302 -x3304 -x3306 -x3308
1799.89/1800.49	v -x3310 -x3312 -x3314 -x3316 -x3318 -x3320 -x3322 -x3324 -x3326 -x3328 -x3330 -x3332 -x3334 -x3336 -x3338 -x3340 -x3342
1799.89/1800.49	v -x3344 -x3346 -x3348 -x3350 -x3352 -x3354 -x3356 -x3357 -x3359 -x3361 -x3363 -x3365 -x3367 -x3369 -x3371 -x3373 -x3374
1799.89/1800.49	v -x3376 -x3378 -x3380 -x3382 -x3384 -x3386 -x3388 -x3390 -x3392 -x3393 -x3395 -x3397 -x3399 -x3401 -x3403 -x3405 -x3407
1799.89/1800.49	v -x3409 -x3411 -x3413 -x3415 -x3417 -x3419 -x3421 -x3423 -x3424 -x3426 -x3428 -x3430 -x3432 -x3434 -x3436 -x3438 -x3440
1799.89/1800.49	v -x3442 -x3444 -x3446 -x3448 -x3450 -x3452 -x3454 -x3456 -x3458 -x3460 -x3462 -x3463 -x3465 -x3467 -x3469 -x3471 -x3473
1799.89/1800.49	v -x3475 -x3477 -x3479 -x3481 -x3483 -x3485 x3486 -x3488 -x3490 -x3492 -x3494 -x3496 -x3498 -x3500 -x3502 -x3504 -x3506
1799.89/1800.49	v -x3508 -x3510 -x3512 -x3514 -x3516 -x3518 -x3520 -x3522 -x3524 -x3526 -x3528 -x3530 -x3532 -x3534 -x3536 -x3537 -x3539
1799.89/1800.49	v -x3541 -x3543 -x3545 -x3547 -x3549 -x3551 -x3553 -x3554 -x3556 -x3558 -x3560 -x3562 -x3564 -x3566 -x3568 -x3570 -x3572
1799.89/1800.49	v -x3574 -x3576 -x3578 -x3580 -x3582 -x3584 -x3586 -x3588 -x3590 -x3592 -x3594 -x3596 -x3598 x3600 -x3602 -x3603 -x3605
1799.89/1800.49	v -x3607 -x3609 -x3611 -x3613 -x3615 -x3617 -x3619 -x3621 -x3623 -x3625 -x3627 -x3629 -x3631 -x3633 -x3635 -x3637 -x3639
1799.89/1800.49	v -x3641 -x3643 -x3645 -x3647 -x3649 -x3651 -x3653 -x3655 -x3657 -x3659 -x3661 -x3663 -x3665 -x3667 -x3669 -x3671 -x3673
1799.89/1800.49	v -x3675 -x3677 -x3679 -x3680 -x3682 -x3684 -x3686 -x3688 -x3690 -x3692 -x3694 -x3696 -x3698 -x3700 -x3702 -x3704 -x3706
1799.89/1800.49	v -x3708 -x3710 -x3712 -x3714 -x3716 -x3718 -x3720 -x3722 -x3724 -x3726 -x3728 -x3730 -x3732 -x3734 -x3736 -x3738 -x3740
1799.89/1800.49	v -x3742 -x3744 -x3746 -x3748 -x3750 -x3752 -x3754 -x3756 -x3758 -x3760 -x3762 -x3764 -x3766 -x3768 -x3770 -x3772 -x3774
1799.89/1800.49	v -x3776 -x3778 -x3780 -x3782 -x3784 -x3786 -x3788 -x3790 -x3792 -x3794 -x3796 -x3798 -x3800 -x3802 -x3803 -x3805 -x3807
1799.89/1800.49	v -x3809 -x3811 -x3813 -x3815 -x3817 -x3819 -x3821 -x3823 -x3825 -x3827 -x3829 -x3831 -x3833 -x3835 -x3837 -x3839 -x3841
1799.89/1800.49	v -x3843 -x3845 -x3847 -x3849 -x3851 -x3853 -x3855 -x3857 -x3859 -x3861 -x3863 -x3865 -x3867 -x3869 -x3871 -x3873 -x3875
1799.89/1800.49	v -x3877 -x3879 -x3881 -x3883 -x3885 -x3887 -x3889 -x3891 -x3893 -x3895 -x3897 -x3899 -x3901 -x3903 -x3905 -x3907 -x3909
1799.89/1800.49	v -x3911 -x3913 -x3915 -x3917 -x3919 -x3921 -x3923 -x3925 -x3927 -x3929 -x3931 -x3933 -x3935 -x3937 -x3939 -x3941 -x3943
1799.89/1800.49	v -x3945 -x3947 -x3949 -x3950 -x3952 -x3954 -x3956 -x3958 -x3960 -x3962 -x3964 -x3965 -x3967 -x3969 -x3971 -x3973 -x3975
1799.89/1800.49	v -x3977 -x3979 -x3981 -x3983 -x3985 -x3987 -x3989 -x3991 -x3993 -x3995 -x3997 -x3999 -x4000 -x4002 -x4004 -x4006 -x4008
1799.89/1800.49	v -x4010 -x4012 -x4014 -x4016 -x4018 -x4020 -x4021 -x4023 -x4025 -x4027 -x4029 -x4031 -x4033 -x4034 -x4036 -x4038 -x4040
1799.89/1800.49	v -x4042 -x4044 -x4045 -x4047 -x4049 -x4051 -x4053 -x4055 -x4057 -x4059 -x4061 -x4063 -x4065 -x4067 -x4069 -x4071 -x4073
1799.89/1800.49	v -x4075 -x4077 x4079 -x4081 -x4083 -x4085 -x4087 -x4089 -x4091 -x4093 -x4095 -x4097 -x4099 -x4101 -x4103 -x4105 -x4107
1799.89/1800.49	v -x4109 -x4111 -x4113 -x4115 -x4117 -x4119 -x4121 -x4122 -x4124 -x4125 -x4127 -x4129 -x4131 -x4133 -x4135 -x4137 -x4139
1799.89/1800.49	v -x4141 -x4142 -x4144 -x4146 -x4148 -x4150 x4152 -x4153 -x4155 -x4157 -x4159 -x4161 -x4163 -x4165 -x4167 -x4169 -x4171
1799.89/1800.49	v -x4173 -x4175 -x4177 x4178 -x4180 -x4182 -x4184 -x4186 -x4188 -x4190 -x4192 x4194 -x4196 -x4198 -x4200 -x4202 -x4204 -x4206
1799.89/1800.49	v -x4208 -x4210 -x4212 -x4214 -x4216 -x4218 -x4220 -x4222 -x4224 -x4226 -x4228 -x4230 -x4232 -x4234 -x4236 -x4238 -x4240
1799.89/1800.49	v -x4242 -x4243 -x4245 -x4247 -x4249 -x4251 -x4253 -x4255 -x4257 -x4259 -x4261 -x4263 -x4265 -x4267 -x4269 -x4271 -x4273
1799.89/1800.49	v -x4275 -x4277 -x4279 -x4281 -x4283 -x4285 -x4286 -x4288 -x4290 -x4292 -x4294 -x4296 -x4298 -x4300 -x4302 -x4304 -x4306
1799.89/1800.49	v -x4308 -x4310 -x4312 -x4314 -x4316 -x4317 -x4319 x4321 -x4323 -x4325 -x4327 -x4329 -x4331 -x4333 -x4335 -x4337 -x4339
1799.89/1800.49	v -x4341 -x4343 -x4345 -x4347 -x4349 -x4351 -x4353 -x4355 -x4357 -x4359 -x4361 -x4363 x4365 -x4367 -x4369 -x4371 -x4373
1799.89/1800.49	v -x4375 -x4377 -x4379 -x4381 -x4383 -x4385 -x4387 -x4389 -x4391 -x4393 -x4395 -x4397 -x4399 -x4401 -x4403 -x4405 -x4407
1799.89/1800.49	v -x4409 -x4411 -x4413 -x4415 -x4417 -x4419 -x4421 -x4423 -x4425 -x4427 -x4429 -x4431 x4433 -x4435 -x4437 -x4439 -x4441
1799.89/1800.49	v -x4442 -x4444 -x4446 -x4447 -x4449 -x4451 -x4453 -x4455 -x4457 -x4459 x4460 -x4462 -x4464 -x4466 -x4468 -x4470 -x4472
1799.89/1800.49	v -x4474 -x4476 -x4478 -x4480 -x4481 x4483 -x4485 -x4487 -x4489 -x4491 -x4493 -x4495 -x4497 -x4498 -x4500 -x4502 -x4504
1799.89/1800.49	v -x4506 -x4508 -x4510 -x4512 -x4514 -x4516 -x4518 -x4520 -x4522 x4524 -x4526 -x4528 -x4529 -x4531 -x4533 -x4535 -x4537
1799.89/1800.49	v -x4539 -x4541 -x4543 -x4545 -x4546 -x4548 -x4550 -x4552 -x4554 -x4556 -x4558 x4559 -x4560 -x4562 -x4564 -x4566 -x4568
1799.89/1800.49	v -x4570 -x4572 -x4574 -x4576 x4578 -x4579 -x4581 -x4583 x4584 -x4586 -x4588 -x4590 -x4592 -x4594 -x4596 -x4598 -x4600 -x4602
1799.89/1800.49	v -x4604 -x4606 -x4608 -x4610 -x4612 -x4614 -x4615 -x4617 -x4619 -x4621 -x4623 -x4625 -x4627 -x4629 -x4631 -x4633 -x4635
1799.89/1800.49	v -x4636 -x4638 -x4640 -x4641 -x4643 -x4645 -x4647 -x4649 -x4651 -x4653 x4655 -x4657 -x4659 -x4660 -x4662 x4664 -x4665 x4666
1799.89/1800.49	v -x188 -x190 -x192 -x194 -x196 -x198 -x200 -x202 -x204 -x206 -x208 -x210 -x212 -x214 -x216 -x218 -x220 -x222 -x224 -x226 -x228
1799.89/1800.49	v -x230 -x232 -x234 -x236 -x238 -x240 x242 -x244 -x246 -x248 -x250 -x1 -x252 -x254 -x256 -x258 -x260 -x262 -x264 -x266 -x268
1799.89/1800.49	v -x270 -x272 -x274 -x276 -x278 -x280 -x282 -x284 -x286 -x288 -x290 -x292 -x294 -x296 -x298 -x300 -x302 -x304 -x306 -x308 x310
1799.89/1800.49	v -x312 -x314 -x316 -x318 -x320 -x322 -x324 -x326 -x328 -x330 -x332 -x334 -x336 -x338 -x340 -x342 -x344 -x346 -x348 -x350 -x352
1799.89/1800.49	v -x354 -x356 -x358 -x360 -x362 -x364 -x366 -x368 -x370 -x372 -x374 -x376 -x378 -x380 -x382 -x384 -x386 -x388 -x390 -x392 -x394
1799.89/1800.49	v -x396 -x398 -x400 -x402 -x404 -x406 -x2 -x408 -x410 -x412 -x414 -x416 -x418 -x420 -x422 -x424 -x426 -x428 -x430 -x432 -x434
1799.89/1800.49	v -x436 -x438 -x440 -x442 -x444 -x446 -x448 -x450 -x452 -x454 -x456 -x458 -x460 -x462 -x464 -x466 -x468 -x3 -x470 -x472 -x474
1799.89/1800.49	v -x476 -x478 -x480 -x482 -x484 -x486 -x488 -x490 -x492 -x494 -x496 -x498 -x500 -x502 -x504 -x506 -x508 -x510 -x512 -x514 -x516
1799.89/1800.49	v -x518 -x520 -x522 -x524 -x526 -x528 -x530 -x4 -x532 -x534 -x536 -x538 -x540 -x542 -x544 -x546 -x548 -x550 -x552 -x554 -x556
1799.89/1800.49	v -x558 -x560 -x5 -x562 -x564 -x566 -x568 -x570 -x572 -x574 -x576 -x578 -x580 -x582 -x584 -x586 -x588 -x590 -x592 -x594 -x596
1799.89/1800.49	v -x598 -x600 -x602 -x604 -x606 -x608 -x610 -x612 -x614 -x616 -x618 -x620 -x622 -x6 -x624 -x626 -x628 -x630 -x632 -x634 -x636
1799.89/1800.49	v -x638 -x640 -x642 -x644 -x646 -x648 -x650 -x652 -x7 -x654 -x656 -x658 -x660 -x662 -x664 -x666 -x668 -x670 -x672 -x674 -x676
1799.89/1800.49	v -x678 -x680 -x682 x8 x684 -x686 -x688 -x690 -x692 -x694 -x696 -x698 -x700 -x702 -x704 -x706 -x708 -x710 -x712 -x714 -x716
1799.89/1800.49	v -x718 -x720 -x722 -x724 -x726 -x728 -x730 x732 -x734 -x736 -x738 -x740 -x742 -x744 -x746 -x748 -x750 -x752 -x754 -x756 -x758
1799.89/1800.49	v -x760 -x762 -x764 -x766 -x768 -x770 -x772 -x774 -x776 -x778 -x780 -x782 -x784 -x786 -x788 -x790 -x792 -x794 -x796 -x798 -x800
1799.89/1800.49	v -x802 -x804 -x806 -x808 -x810 -x812 -x814 -x816 -x818 -x820 -x822 -x9 -x824 -x826 -x828 -x830 -x832 -x834 -x836 -x838 -x840
1799.89/1800.49	v -x842 -x844 -x846 -x848 -x850 -x852 -x854 -x856 -x858 -x860 -x862 -x864 -x866 -x868 -x870 -x872 -x874 -x876 -x878 -x880 -x882
1799.89/1800.49	v -x884 -x10 -x886 -x888 -x890 -x892 -x894 -x896 -x898 -x900 -x902 -x904 -x906 -x908 -x910 -x912 -x914 -x916 -x918 -x920 -x922
1799.89/1800.49	v -x924 -x926 -x928 -x930 -x932 -x934 -x936 -x938 -x940 -x942 -x944 -x11 -x946 -x948 -x950 -x952 -x954 -x956 -x958 -x960 -x962
1799.89/1800.49	v -x964 -x966 -x968 -x970 -x972 -x974 -x12 -x976 -x978 -x980 -x982 -x984 -x986 -x988 -x990 -x992 -x994 -x996 -x998 -x1000 -x1002
1799.89/1800.49	v -x1004 -x1006 -x1008 -x1010 -x1012 -x1014 -x1016 -x1018 -x1020 -x1022 -x1024 -x1026 -x1028 -x1030 -x1032 -x1034 -x1036
1799.89/1800.49	v -x13 -x1038 -x1040 -x1042 -x1044 -x1046 -x1048 -x1050 -x1052 -x1054 -x1056 -x1058 -x1060 -x1062 -x1064 -x1066 -x14 -x1068
1799.89/1800.49	v -x1070 -x1072 -x1074 -x1076 -x1078 -x1080 -x1082 -x1084 -x1086 -x1088 -x1090 -x1092 -x1094 -x1096 -x15 -x1098 -x1100 -x1102
1799.89/1800.49	v -x1104 -x1106 -x1108 -x1110 -x1112 -x1114 -x1116 -x1118 -x1120 -x1122 -x1124 -x1126 -x16 -x1128 -x1130 -x1132 -x1134 -x1136
1799.89/1800.49	v -x1138 -x1140 -x17 -x1142 -x1144 -x1146 -x1148 -x1150 -x1152 -x1154 -x1157 -x1159 -x1161 -x1163 -x1165 -x1167 -x1169 -x1171
1799.89/1800.49	v -x1173 -x1175 -x1177 -x1179 -x1181 -x1183 -x1185 -x1187 -x1189 -x1191 -x1193 -x1195 -x1197 -x1199 -x1201 -x18 -x1203 -x1205
1799.89/1800.49	v -x1207 -x1209 -x1211 -x1213 -x1215 -x1217 -x1219 -x1221 -x1223 -x1225 -x1227 -x1229 -x1231 -x19 -x1233 -x1235 -x1237 -x1239
1799.89/1800.49	v -x1241 -x1243 -x1245 -x1247 -x1249 -x1251 -x1253 -x1255 -x1257 -x1259 -x1261 -x1263 -x1265 -x1267 -x1269 -x1271 -x1273
1799.89/1800.49	v -x1275 -x1277 -x1279 -x1281 -x1283 -x1285 -x1287 -x1289 -x1291 -x1293 -x20 -x1295 -x1297 -x1299 -x1301 -x1303 -x1305 -x1307
1799.89/1800.49	v -x1309 -x1311 -x1313 -x1315 -x1317 -x1319 -x1321 -x1323 -x21 -x1325 -x1328 -x1330 -x1332 -x1334 -x1336 -x1338 -x1340 -x1342
1799.89/1800.49	v -x1344 -x1346 -x1348 -x1350 -x1352 -x22 -x1354 -x1356 -x1358 -x1360 -x1362 -x1364 -x1366 -x23 -x1368 -x1370 -x1372 -x1374
1799.89/1800.49	v -x1376 -x1378 -x1380 -x1382 -x1384 -x1387 -x1389 -x1391 -x1393 -x1395 -x24 -x1397 -x1399 -x1401 -x1403 -x1405 -x1407 -x1409
1799.89/1800.49	v -x25 -x1411 -x1413 -x1415 -x1417 -x1419 -x1421 -x1423 -x1425 -x1427 -x1429 -x1431 -x1433 -x1435 -x1437 -x1439 -x26 -x1441
1799.89/1800.49	v -x1443 -x1445 -x1447 -x1449 -x1451 -x1453 -x27 -x1455 -x1457 -x1459 -x1461 -x1463 -x1465 -x1467 -x28 -x1469 -x1471 -x1473
1799.89/1800.49	v -x1475 -x1477 -x1479 -x1481 -x1483 -x1485 -x1487 -x1489 -x1491 -x1493 -x1495 -x1497 x1499 -x1501 -x1503 -x1505 -x1507
1799.89/1800.49	v -x1509 -x1511 -x1513 -x1515 -x1517 -x1519 -x1521 -x1523 -x1525 -x1527 -x1529 -x1531 -x1533 -x1535 -x29 -x1537 -x1539 -x1541
1799.89/1800.49	v -x1543 -x1545 -x1547 -x1549 -x1551 -x1553 -x1555 -x1557 -x1559 -x1561 -x1563 -x1565 -x30 -x1567 -x1569 -x1571 -x1573 -x1575
1799.89/1800.49	v -x1577 -x1579 -x1581 -x1583 -x1585 -x1587 -x1589 -x1591 -x1593 -x1595 -x31 -x1597 -x1599 -x1601 -x1603 -x1605 -x1607 -x1609
1799.89/1800.49	v -x32 -x1611 -x1613 -x1615 -x1617 -x1619 -x1621 -x1623 -x1625 -x1627 -x1629 -x1631 -x1633 -x1635 -x1637 -x33 -x1640 -x1642
1799.89/1800.49	v -x1644 -x1646 -x1648 -x1650 -x1652 -x34 -x1654 -x1656 -x1658 -x1660 -x1662 -x1664 -x1666 -x35 -x1668 -x1670 -x1672 -x36
1799.89/1800.49	v -x1674 -x1676 -x1678 -x1680 -x1682 -x1684 -x1686 -x1688 -x1690 -x1692 -x1694 -x1696 -x1698 -x1700 -x1702 -x37 -x1704 -x1706
1799.89/1800.49	v -x1708 -x1710 -x1712 -x1714 -x1716 -x38 -x1718 -x1720 -x1722 -x1724 -x1726 -x1728 -x1730 -x1732 -x1734 -x1736 -x1738 -x1741
1799.89/1800.49	v -x1743 -x1745 -x1747 -x1749 -x1751 -x1753 -x1755 -x1757 -x1759 -x1761 -x1763 -x1765 -x1767 -x1769 -x1771 -x1773 -x1775
1799.89/1800.49	v -x1777 -x39 -x1779 -x1781 -x1783 -x1785 -x1787 -x1789 -x1791 -x1793 -x1795 -x1797 -x1799 -x1801 -x1803 -x1805 -x1807 -x40
1799.89/1800.49	v -x1809 -x1811 -x1813 -x1815 -x1817 -x1819 -x1821 -x1823 -x1825 -x1827 -x1829 -x1831 -x1833 -x1835 -x1837 -x41 -x1839 -x1841
1799.89/1800.49	v -x1843 -x1845 -x1847 -x1849 -x1851 -x42 -x1853 -x1855 -x1857 -x1859 -x1861 -x1863 -x1865 -x1867 -x1869 -x1871 -x1873 -x1875
1799.89/1800.49	v -x1877 -x1879 -x1881 -x43 -x1883 -x1885 -x1887 -x1889 -x1891 -x1893 -x44 -x1895 -x1897 -x1899 -x1901 -x1903 -x1905 -x1907
1799.89/1800.49	v -x1909 -x1911 -x1913 -x1915 -x1917 -x1919 -x1921 -x1923 -x45 -x1925 -x1927 -x1929 -x1931 -x1933 -x1935 -x1937 -x46 -x1939
1799.89/1800.49	v -x1941 -x1943 -x1945 -x1947 -x1949 -x1951 x47 x1953 -x1955 -x1957 -x48 -x1959 -x1961 -x1963 -x1965 -x1967 -x1969 -x1971
1799.89/1800.49	v -x1973 -x1975 -x1977 -x1979 -x1981 -x1983 -x1985 -x1987 -x1989 -x1991 -x1994 -x1996 -x1998 -x2000 -x2002 -x2004 -x2006
1799.89/1800.49	v -x2008 -x2010 -x2012 -x2014 -x2016 -x2018 -x49 -x2020 -x2022 -x2024 -x2026 -x2028 -x2030 -x2032 -x2034 -x2036 -x2038 -x2040
1799.89/1800.49	v -x2042 -x2044 -x2046 -x2048 -x50 -x2050 -x2052 -x2054 -x2056 -x2058 -x2060 -x2062 -x2064 -x2066 -x2068 -x2070 -x2072 -x2074
1799.89/1800.49	v -x2076 -x51 -x2079 -x2081 -x2083 -x2085 -x2087 -x2089 -x2091 -x52 -x2093 -x2095 -x2097 -x2099 -x2101 -x2103 -x2105 -x2107
1799.89/1800.49	v -x2109 -x2111 -x2113 -x2115 -x2117 -x2119 -x2121 -x53 -x2123 -x2125 -x2127 -x2129 -x2131 -x2133 -x2135 -x54 -x2137 -x2139
1799.89/1800.49	v -x2142 -x2144 -x2146 -x2148 -x55 -x2150 -x2152 -x2154 -x2156 -x2159 -x2161 -x56 -x2163 -x2165 -x2167 -x57 -x2169 -x2171
1799.89/1800.49	v -x2173 -x2175 -x2177 -x2179 -x2181 -x2183 -x2185 -x2187 -x2189 -x2191 -x2193 -x2195 -x2197 -x58 -x2199 -x2201 -x2203 -x2205
1799.89/1800.49	v -x2207 -x2209 -x2211 -x59 -x2213 -x2215 -x2217 -x2219 -x2221 -x2223 -x2225 -x2227 -x2229 -x2231 -x2233 -x2235 -x2237 -x2239
1799.89/1800.49	v -x2241 -x60 -x2243 -x2245 -x2247 -x2249 -x2251 -x2253 -x2255 -x61 -x2257 -x2259 -x2261 -x2263 -x2265 -x2267 -x2269 -x62
1799.89/1800.49	v -x2271 -x2273 -x2275 -x63 -x2277 -x2279 -x2281 -x2283 -x2285 -x2287 -x2289 -x64 -x2291 -x2293 -x2295 -x2297 -x2299 -x2301
1799.89/1800.49	v -x2303 -x65 -x2305 -x2307 -x2309 -x66 -x2311 -x2313 -x2315 -x2317 -x2320 -x2322 -x67 -x2324 -x2326 -x2328 -x68 -x2330 -x2332
1799.89/1800.49	v -x69 -x2335 -x2337 -x2339 -x2341 -x2343 -x2345 x2347 -x2349 -x2351 -x2353 -x2355 -x2357 -x2359 -x2361 -x2363 -x2365 -x2367
1799.89/1800.49	v -x2369 -x2371 -x2373 -x2375 -x2377 -x2379 -x2381 -x2383 -x2385 -x2387 -x2390 -x2392 -x2394 -x2396 -x70 -x2398 -x2400 -x2402
1799.89/1800.49	v -x2404 -x2406 -x2408 -x2410 -x2412 -x2414 -x2416 -x2418 -x2420 -x2422 -x2424 -x2426 -x2428 -x2430 -x2432 -x2434 -x2436
1799.89/1800.49	v -x2438 x2440 -x2442 -x2444 -x2446 -x2448 -x2450 -x2452 -x2454 -x71 -x2457 -x2459 -x2461 -x2463 -x2465 -x2467 -x2469 -x2471
1799.89/1800.49	v -x2473 -x2475 -x2477 -x2479 -x2481 -x2483 -x2485 -x72 -x2487 -x2489 -x2491 -x2493 -x2495 -x2498 -x73 -x2500 -x2502 -x2504
1799.89/1800.49	v -x2506 -x2508 -x2510 -x2512 -x2514 -x2516 -x2518 -x2520 -x2522 -x2524 -x2526 -x2528 -x2530 -x2532 -x2534 -x2536 -x2538
1799.89/1800.49	v -x2540 -x2542 -x2544 -x2546 -x2548 -x2550 -x2552 -x2554 -x2556 -x2558 -x2560 -x74 -x2562 -x2564 -x2566 -x2568 -x2570 -x2572
1799.89/1800.49	v -x2574 -x2576 -x2578 -x2580 -x2582 -x2584 -x2586 -x2588 -x2590 -x75 -x2592 -x2594 -x2596 -x2599 -x2601 -x2603 -x2605 -x2607
1799.89/1800.49	v -x2609 -x2611 -x2613 -x2615 -x2617 -x2619 -x76 -x2621 -x2623 -x2625 -x2627 -x2629 -x2631 -x2633 -x2635 -x2637 -x2639 -x2641
1799.89/1800.49	v -x2643 -x2645 -x2647 -x2649 -x77 -x2651 -x2653 -x2655 -x2657 -x2659 -x2661 -x2663 -x78 -x2666 -x2668 -x2670 -x2672 -x2674
1799.89/1800.49	v -x2676 -x2678 -x2680 -x2682 -x2684 -x2686 -x2688 -x2690 -x2692 -x2694 -x2696 -x2698 -x2700 -x2702 -x2704 -x2706 -x2708
1799.89/1800.49	v -x2710 -x2712 -x2714 -x2716 -x2718 -x2720 -x2722 -x2724 -x79 -x2726 -x2728 -x2730 -x2732 -x2734 -x2736 -x2738 -x2740 -x2742
1799.89/1800.49	v -x2744 -x2746 -x2748 -x2750 -x2752 -x2754 -x80 -x2756 -x2758 -x2760 -x2762 -x2765 -x2767 -x2769 -x2771 -x2773 -x2775 -x2777
1799.89/1800.49	v -x2779 -x2781 -x2783 -x81 -x2785 -x2787 -x2789 -x2791 -x2793 -x2795 -x2797 x2799 -x2801 -x2803 -x2805 -x2807 -x2809 -x2811
1799.89/1800.49	v -x2813 -x2816 -x2818 -x2820 -x2822 -x2824 -x2826 -x82 -x2828 -x2830 -x2832 -x2834 -x2836 -x2838 -x2840 -x2842 -x2844 -x2846
1799.89/1800.49	v -x2848 -x2850 -x2852 -x2854 -x2856 -x83 -x2858 -x2861 -x2863 -x2865 -x2867 -x2869 -x2871 -x2873 -x2875 -x2877 -x2879 x2881
1799.89/1800.49	v -x2883 -x84 -x2885 -x2887 -x2889 -x2891 -x2893 -x2895 -x2897 -x85 -x2899 -x2901 -x2903 -x86 -x2905 -x2907 -x2909 -x2911
1799.89/1800.49	v -x2913 -x2915 -x2917 -x2919 -x2921 -x2923 -x2925 -x2927 -x2929 -x2931 -x2933 -x87 -x2935 -x2937 -x2939 -x2941 -x2943 -x2945
1799.89/1800.49	v -x2947 -x88 -x2949 -x2951 -x2953 -x2955 -x2957 -x2959 -x2961 -x2964 -x2966 -x2968 -x2970 -x2972 -x2974 -x2976 -x2978 -x2980
1799.89/1800.49	v -x2982 -x2984 -x2986 -x2988 -x2990 -x2992 -x2994 -x2996 -x2998 -x3000 -x3002 -x3004 -x3006 -x3008 -x89 -x3010 -x3012 -x3014
1799.89/1800.49	v -x3016 -x3018 -x3020 -x3022 -x3024 -x3026 -x3028 -x3030 -x3032 -x3034 -x90 -x3036 -x3038 -x3040 -x3042 -x3044 -x3046 -x3049
1799.89/1800.49	v -x3051 -x3053 -x3055 -x3057 -x3059 -x3061 -x3063 -x91 -x3065 -x3067 -x3069 -x3071 -x3073 -x3075 -x3077 -x92 -x3079 -x3081
1799.89/1800.49	v -x3083 -x3085 -x3087 -x3089 -x3091 -x93 -x3093 -x3095 -x3097 -x3099 -x3101 -x3103 -x3105 -x3107 -x3109 -x3111 -x3113 -x3115
1799.89/1800.49	v -x3117 -x3119 -x3121 -x94 -x3123 -x3125 -x3127 -x3129 -x3131 -x3133 -x3135 -x95 -x3137 -x3139 -x3141 -x3143 -x3145 -x3147
1799.89/1800.49	v -x3149 -x96 -x3151 -x3153 -x3155 -x97 -x3157 -x3159 -x3161 -x3164 -x3166 -x3168 -x3170 -x3172 -x3174 -x3176 -x3178 -x3180
1799.89/1800.49	v -x3182 -x3184 -x3186 -x3188 -x3190 -x3192 -x3194 -x3196 -x3198 -x3200 -x3202 -x3204 -x3206 -x3208 -x3210 -x3213 -x3215
1799.89/1800.49	v -x98 -x3217 -x3219 -x3221 -x3223 -x3225 -x3227 -x3229 -x3232 -x3234 -x3236 -x3238 -x3240 -x3242 -x3244 -x99 -x3246 -x3248
1799.89/1800.49	v -x3250 -x3252 -x3254 -x3256 -x3258 -x3260 -x3262 -x3264 -x3267 -x3269 -x3271 -x3273 -x100 -x3275 -x3277 -x3279 -x3281
1799.89/1800.49	v -x3283 -x3285 -x3287 -x101 -x3289 -x3291 -x3293 -x3295 -x3297 -x3299 -x3301 -x3303 -x3305 -x3307 -x3309 -x3311 -x3313
1799.89/1800.49	v -x3315 -x3317 -x102 -x3319 -x3321 -x3323 -x3325 -x3327 -x3329 -x3331 -x103 -x3333 -x3335 -x3337 -x3339 -x3341 -x3343 -x3345
1799.89/1800.49	v -x104 -x3347 -x3349 -x3351 -x3353 -x3355 -x3358 -x105 -x3360 -x3362 -x3364 -x106 -x3366 -x3368 -x3370 -x3372 -x3375 -x3377
1799.89/1800.49	v -x3379 -x3381 -x3383 -x3385 -x3387 -x3389 -x3391 -x107 -x3394 -x3396 -x3398 -x3400 -x3402 -x3404 -x3406 -x3408 -x3410
1799.89/1800.49	v -x3412 -x3414 -x3416 -x3418 -x3420 -x3422 -x108 -x3425 -x3427 -x3429 -x3431 -x3433 -x3435 -x109 -x3437 -x3439 -x3441 -x3443
1799.89/1800.49	v -x3445 -x3447 -x3449 -x3451 -x3453 -x3455 -x3457 -x3459 -x3461 -x3464 -x110 -x3466 -x3468 -x3470 -x3472 -x3474 -x3476
1799.89/1800.49	v -x3478 -x3480 -x3482 -x3484 -x3487 -x3489 -x3491 -x111 -x3493 -x3495 -x112 -x3497 -x3499 -x3501 -x3503 -x3505 -x3507 -x3509
1799.89/1800.49	v -x113 -x3511 -x3513 -x3515 -x3517 -x3519 -x3521 -x3523 -x114 -x3525 -x3527 -x3529 -x115 -x3531 -x3533 -x3535 -x3538 -x3540
1799.89/1800.49	v -x3542 -x116 -x3544 -x3546 -x3548 -x117 -x3550 -x3552 -x118 -x3555 -x3557 -x3559 -x3561 -x3563 -x3565 -x3567 -x3569 -x3571
1799.89/1800.49	v -x3573 -x3575 -x3577 -x3579 -x3581 -x3583 -x3585 -x3587 -x3589 -x3591 -x3593 -x3595 -x3597 x3599 -x3601 -x3604 -x3606
1799.89/1800.49	v -x3608 -x3610 -x3612 -x3614 -x119 -x3616 -x3618 -x3620 -x3622 -x3624 -x3626 -x3628 -x3630 -x3632 -x3634 -x3636 -x3638
1799.89/1800.49	v -x3640 -x3642 -x3644 -x120 -x3646 -x3648 -x3650 -x3652 -x3654 -x3656 -x3658 -x3660 -x3662 -x3664 -x3666 -x3668 -x3670
1799.89/1800.49	v -x3672 -x3674 -x121 -x3676 -x3678 -x3681 -x3683 -x3685 -x3687 -x122 -x3689 -x3691 -x3693 -x3695 -x3697 -x3699 -x3701 -x3703
1799.89/1800.49	v -x3705 -x3707 -x3709 -x3711 -x3713 -x3715 -x3717 -x123 -x3719 -x3721 -x3723 -x3725 -x3727 -x3729 -x3731 -x3733 -x3735
1799.89/1800.49	v -x3737 -x3739 -x3741 -x3743 -x3745 -x3747 -x124 -x3749 -x3751 -x3753 -x3755 -x3757 -x3759 -x3761 -x125 -x3763 -x3765 -x3767
1799.89/1800.49	v -x3769 -x3771 -x3773 -x3775 -x3777 -x3779 -x3781 -x3783 -x3785 -x3787 -x3789 -x3791 -x126 -x3793 -x3795 -x3797 -x3799
1799.89/1800.49	v -x3801 -x3804 -x127 -x3806 -x3808 -x3810 -x3812 -x3814 -x3816 -x3818 -x3820 -x3822 -x3824 -x3826 -x3828 -x3830 -x3832
1799.89/1800.49	v -x3834 -x128 -x3836 -x3838 -x3840 -x3842 -x3844 -x3846 -x3848 -x129 -x3850 -x3852 -x3854 -x3856 -x3858 -x3860 -x3862 -x130
1799.89/1800.49	v -x3864 -x3866 -x3868 -x131 -x3870 -x3872 -x3874 -x3876 -x3878 -x3880 -x3882 -x3884 -x3886 -x3888 -x3890 -x3892 -x3894
1799.89/1800.49	v -x3896 -x3898 -x132 -x3900 -x3902 -x3904 -x3906 -x3908 -x3910 -x3912 -x133 -x3914 -x3916 -x3918 -x3920 -x3922 -x3924 -x3926
1799.89/1800.49	v -x3928 -x3930 -x3932 -x3934 -x3936 -x3938 -x3940 -x3942 -x134 -x3944 -x3946 -x3948 -x3951 -x3953 -x3955 -x135 -x3957 -x3959
1799.89/1800.49	v -x3961 -x3963 -x3966 -x3968 -x3970 -x3972 -x3974 -x3976 -x3978 -x3980 -x3982 -x3984 -x136 -x3986 -x3988 -x3990 -x3992
1799.89/1800.49	v -x3994 -x3996 -x3998 -x137 -x4001 -x4003 -x4005 -x4007 -x4009 -x4011 -x138 -x4013 -x4015 -x4017 -x139 -x4019 -x4022 -x4024
1799.89/1800.49	v -x4026 -x4028 -x4030 -x4032 -x4035 -x4037 -x4039 -x4041 -x4043 -x140 -x4046 -x4048 -x4050 -x4052 -x4054 -x4056 -x4058
1799.89/1800.49	v -x4060 -x4062 -x4064 -x4066 -x4068 -x4070 -x4072 -x4074 -x4076 x4078 -x4080 -x4082 -x4084 -x4086 -x4088 -x141 -x4090 -x4092
1799.89/1800.49	v -x4094 -x4096 -x4098 -x4100 -x4102 -x142 -x4104 -x4106 -x4108 -x4110 -x4112 -x4114 -x4116 -x143 -x4118 -x4120 -x144 -x4123
1799.89/1800.49	v -x4126 -x4128 -x4130 -x4132 -x4134 -x145 -x4136 -x4138 -x4140 -x4143 -x4145 -x4147 -x4149 x4151 -x146 -x4154 -x4156 -x4158
1799.89/1800.49	v -x4160 -x4162 -x4164 -x4166 -x147 -x4168 -x4170 -x4172 -x148 -x4174 -x4176 x149 -x4179 -x4181 -x4183 -x4185 -x4187 -x4189
1799.89/1800.49	v -x4191 x4193 -x4195 -x4197 -x4199 -x4201 -x4203 -x4205 -x4207 -x4209 -x150 -x4211 -x4213 -x4215 -x4217 -x4219 -x4221 -x4223
1799.89/1800.49	v -x4225 -x4227 -x4229 -x4231 -x4233 -x4235 -x4237 -x4239 -x151 -x4241 -x4244 -x4246 -x4248 -x4250 -x4252 -x152 -x4254 -x4256
1799.89/1800.49	v -x4258 -x4260 -x4262 -x4264 -x4266 -x153 -x4268 -x4270 -x4272 -x4274 -x4276 -x4278 -x4280 -x4282 -x4284 -x4287 -x4289
1799.89/1800.49	v -x4291 -x4293 -x4295 -x154 -x4297 -x4299 -x4301 -x4303 -x4305 -x4307 -x4309 x155 -x4311 -x4313 -x4315 -x4318 x4320 -x4322
1799.89/1800.49	v -x156 -x4324 -x4326 -x4328 -x157 -x4330 -x4332 -x4334 -x4336 -x4338 -x4340 -x4342 -x4344 -x4346 -x4348 -x4350 -x4352 -x4354
1799.89/1800.49	v -x4356 -x4358 -x4360 -x4362 x4364 -x4366 -x4368 -x4370 -x4372 -x158 -x4374 -x4376 -x4378 -x4380 -x4382 -x4384 -x159 -x4386
1799.89/1800.49	v -x4388 -x4390 -x4392 -x4394 -x4396 -x4398 -x160 -x4400 -x4402 -x4404 -x161 -x4406 -x4408 -x4410 -x4412 -x4414 -x4416 -x4418
1799.89/1800.49	v -x162 -x4420 -x4422 -x4424 -x4426 -x4428 -x4430 x4432 x163 -x4434 -x4436 -x164 -x4438 -x4440 -x4443 -x4445 -x4448 -x165
1799.89/1800.49	v -x4450 -x4452 -x4454 -x166 -x4456 -x4458 x167 -x4461 -x4463 -x4465 -x4467 -x4469 -x4471 -x4473 -x4475 -x4477 -x4479 x4482
1799.89/1800.49	v -x4484 -x4486 -x4488 -x4490 -x168 -x4492 -x4494 -x4496 -x4499 -x4501 -x4503 -x169 -x4505 -x4507 -x4509 -x4511 -x4513 -x4515
1799.89/1800.49	v -x4517 x170 -x4519 -x4521 x4523 -x4525 -x4527 -x4530 -x171 -x4532 -x4534 -x4536 -x172 -x4538 -x4540 -x4542 -x4544 -x4547
1799.89/1800.49	v -x4549 -x173 -x4551 -x4553 -x4555 -x4557 -x4561 -x4563 -x4565 -x4567 -x174 -x4569 -x4571 -x4573 -x4575 x4577 -x175 -x4580
1799.89/1800.49	v -x4582 -x4585 -x4587 -x4589 -x4591 -x4593 -x176 -x4595 -x4597 -x4599 -x4601 -x4603 -x4605 -x4607 -x177 -x4609 -x4611 -x4613
1799.89/1800.49	v -x178 -x4616 -x4618 -x4620 -x4622 -x4624 -x4626 -x179 -x4628 -x4630 -x180 -x4632 -x4634 -x181 -x4637 -x182 -x4639 -x4642
1799.89/1800.49	v -x4644 -x4646 -x4648 -x183 -x4650 -x4652 x4654 x184 -x4656 -x4658 -x185 -x4661 x4663 -x186 x187
1799.89/1800.50	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.89/1800.50	c   35  1041181 607946  3657028    26367   933630  14450    578 1800.00
1799.89/1800.50	c Objective: 28
1799.89/1800.50	s SATISFIABLE
1799.89/1800.50	c Total time: 1800 s

Verifier Data (download as text)

OK	28

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node55/watcher-372582-1177108222 -o ROOT/results/node55/solver-372582-1177108222 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/372582-1177108222/instance-372582-1177108222.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 1.00 3/64 21306
/proc/meminfo: memFree=1649140/2055920 swapFree=4184496/4192956
[pid=21306] ppid=21304 vsize=12104 CPUtime=0
/proc/21306/stat : 21306 (bsolo3.0.16) R 21304 21306 20522 0 -1 4194304 367 0 0 0 0 0 0 0 18 0 1 0 158732240 12394496 335 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 7315038 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21306/statm: 3026 335 281 324 0 2003 0

[startup+0.0497421 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 21306
/proc/meminfo: memFree=1649140/2055920 swapFree=4184496/4192956
[pid=21306] ppid=21304 vsize=5416 CPUtime=0.04
/proc/21306/stat : 21306 (bsolo3.0.16) R 21304 21306 20522 0 -1 4194304 706 0 0 0 4 0 0 0 18 0 1 0 158732240 5545984 674 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134525337 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21306/statm: 1354 675 343 324 0 331 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5416

[startup+0.102747 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 21306
/proc/meminfo: memFree=1649140/2055920 swapFree=4184496/4192956
[pid=21306] ppid=21304 vsize=6556 CPUtime=0.09
/proc/21306/stat : 21306 (bsolo3.0.16) R 21304 21306 20522 0 -1 4194304 1118 0 0 0 9 0 0 0 18 0 1 0 158732240 6713344 994 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21306/statm: 1639 994 305 324 0 708 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6556

[startup+0.302766 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 21306
/proc/meminfo: memFree=1649140/2055920 swapFree=4184496/4192956
[pid=21306] ppid=21304 vsize=6872 CPUtime=0.29
/proc/21306/stat : 21306 (bsolo3.0.16) R 21304 21306 20522 0 -1 4194304 1289 0 0 0 28 1 0 0 19 0 1 0 158732240 7036928 1092 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21306/statm: 1718 1092 313 324 0 787 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6872

[startup+0.701803 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 21306
/proc/meminfo: memFree=1649140/2055920 swapFree=4184496/4192956
[pid=21306] ppid=21304 vsize=7128 CPUtime=0.69
/proc/21306/stat : 21306 (bsolo3.0.16) R 21304 21306 20522 0 -1 4194304 1341 0 0 0 67 2 0 0 22 0 1 0 158732240 7299072 1144 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 7278689 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21306/statm: 1782 1144 313 324 0 851 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7128

[startup+1.50188 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21307
/proc/meminfo: memFree=1645420/2055920 swapFree=4184496/4192956
[pid=21306] ppid=21304 vsize=7772 CPUtime=1.49
/proc/21306/stat : 21306 (bsolo3.0.16) R 21304 21306 20522 0 -1 4194304 1527 0 0 0 146 3 0 0 25 0 1 0 158732240 7958528 1330 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21306/statm: 1943 1330 313 324 0 1012 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7772

[startup+3.10103 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21307
/proc/meminfo: memFree=1644268/2055920 swapFree=4184496/4192956
[pid=21306] ppid=21304 vsize=9308 CPUtime=3.09
/proc/21306/stat : 21306 (bsolo3.0.16) R 21304 21306 20522 0 -1 4194304 1885 0 0 0 305 4 0 0 25 0 1 0 158732240 9531392 1688 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 7282216 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21306/statm: 2327 1688 313 324 0 1396 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9308

[startup+6.30133 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21307
/proc/meminfo: memFree=1641516/2055920 swapFree=4184496/4192956
[pid=21306] ppid=21304 vsize=11308 CPUtime=6.28
/proc/21306/stat : 21306 (bsolo3.0.16) R 21304 21306 20522 0 -1 4194304 2407 0 0 0 623 5 0 0 25 0 1 0 158732240 11579392 2210 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21306/statm: 2827 2210 313 324 0 1896 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 11308

[startup+12.7019 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21307
/proc/meminfo: memFree=1635308/2055920 swapFree=4184496/4192956
[pid=21306] ppid=21304 vsize=17208 CPUtime=12.68
/proc/21306/stat : 21306 (bsolo3.0.16) R 21304 21306 20522 0 -1 4194304 3866 0 0 0 1260 8 0 0 25 0 1 0 158732240 17620992 3669 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551904 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21306/statm: 4302 3669 313 324 0 3371 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 17208

[startup+25.5012 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21307
/proc/meminfo: memFree=1634156/2055920 swapFree=4184496/4192956
[pid=21306] ppid=21304 vsize=18364 CPUtime=25.48
/proc/21306/stat : 21306 (bsolo3.0.16) R 21304 21306 20522 0 -1 4194304 4170 0 0 0 2535 13 0 0 25 0 1 0 158732240 18804736 3973 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550930 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21306/statm: 4591 3973 313 324 0 3660 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 18364

[startup+51.1016 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21307
/proc/meminfo: memFree=1629356/2055920 swapFree=4184496/4192956
[pid=21306] ppid=21304 vsize=23104 CPUtime=51.07
/proc/21306/stat : 21306 (bsolo3.0.16) R 21304 21306 20522 0 -1 4194304 5359 0 0 0 5087 20 0 0 25 0 1 0 158732240 23658496 5162 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 7282515 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21306/statm: 5776 5162 313 324 0 4845 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 23104

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21307
/proc/meminfo: memFree=1629420/2055920 swapFree=4184496/4192956
[pid=21306] ppid=21304 vsize=23108 CPUtime=102.26
/proc/21306/stat : 21306 (bsolo3.0.16) R 21304 21306 20522 0 -1 4194304 5360 0 0 0 10196 30 0 0 25 0 1 0 158732240 23662592 5163 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 7278661 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21306/statm: 5777 5163 313 324 0 4846 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 23108

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21307
/proc/meminfo: memFree=1627500/2055920 swapFree=4184496/4192956
[pid=21306] ppid=21304 vsize=25004 CPUtime=162.24
/proc/21306/stat : 21306 (bsolo3.0.16) R 21304 21306 20522 0 -1 4194304 5823 0 0 0 16180 44 0 0 25 0 1 0 158732240 25604096 5626 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551253 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21306/statm: 6251 5626 313 324 0 5320 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 25004

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21307
/proc/meminfo: memFree=1624364/2055920 swapFree=4184496/4192956
[pid=21306] ppid=21304 vsize=28060 CPUtime=222.22
/proc/21306/stat : 21306 (bsolo3.0.16) R 21304 21306 20522 0 -1 4194304 6600 0 0 0 22166 56 0 0 25 0 1 0 158732240 28733440 6403 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21306/statm: 7015 6403 313 324 0 6084 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 28060

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21307
/proc/meminfo: memFree=1618220/2055920 swapFree=4184496/4192956
[pid=21306] ppid=21304 vsize=34180 CPUtime=282.21
/proc/21306/stat : 21306 (bsolo3.0.16) R 21304 21306 20522 0 -1 4194304 8124 0 0 0 28152 69 0 0 25 0 1 0 158732240 35000320 7925 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21306/statm: 8545 7925 313 324 0 7614 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 34180

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21307
/proc/meminfo: memFree=1618220/2055920 swapFree=4184496/4192956
[pid=21306] ppid=21304 vsize=34184 CPUtime=342.19
/proc/21306/stat : 21306 (bsolo3.0.16) R 21304 21306 20522 0 -1 4194304 8124 0 0 0 34140 79 0 0 25 0 1 0 158732240 35004416 7925 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21306/statm: 8546 7925 313 324 0 7615 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 34184

[startup+402.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21307
/proc/meminfo: memFree=1618156/2055920 swapFree=4184496/4192956
[pid=21306] ppid=21304 vsize=34188 CPUtime=402.18
/proc/21306/stat : 21306 (bsolo3.0.16) R 21304 21306 20522 0 -1 4194304 8126 0 0 0 40128 90 0 0 25 0 1 0 158732240 35008512 7927 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21306/statm: 8547 7927 313 324 0 7616 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 34188

[startup+462.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21307
/proc/meminfo: memFree=1618284/2055920 swapFree=4184496/4192956
[pid=21306] ppid=21304 vsize=34188 CPUtime=462.17
/proc/21306/stat : 21306 (bsolo3.0.16) R 21304 21306 20522 0 -1 4194304 8126 0 0 0 46117 100 0 0 25 0 1 0 158732240 35008512 7927 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21306/statm: 8547 7927 313 324 0 7616 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 34188

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21307
/proc/meminfo: memFree=1612268/2055920 swapFree=4184496/4192956
[pid=21306] ppid=21304 vsize=40196 CPUtime=522.15
/proc/21306/stat : 21306 (bsolo3.0.16) R 21304 21306 20522 0 -1 4194304 9627 0 0 0 52104 111 0 0 25 0 1 0 158732240 41160704 9428 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21306/statm: 10049 9428 313 324 0 9118 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 40196

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21309
/proc/meminfo: memFree=1612204/2055920 swapFree=4184496/4192956
[pid=21306] ppid=21304 vsize=40152 CPUtime=582.12
/proc/21306/stat : 21306 (bsolo3.0.16) R 21304 21306 20522 0 -1 4194304 9627 0 0 0 58092 120 0 0 25 0 1 0 158732240 41115648 9426 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21306/statm: 10038 9426 313 324 0 9107 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 40152

[startup+642.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21309
/proc/meminfo: memFree=1612204/2055920 swapFree=4184496/4192956
[pid=21306] ppid=21304 vsize=40136 CPUtime=642.12
/proc/21306/stat : 21306 (bsolo3.0.16) R 21304 21306 20522 0 -1 4194304 9629 0 0 0 64082 130 0 0 25 0 1 0 158732240 41099264 9422 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 7278744 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21306/statm: 10034 9422 313 324 0 9103 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 40136


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

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21309
/proc/meminfo: memFree=1612204/2055920 swapFree=4184496/4192956
[pid=21306] ppid=21304 vsize=40136 CPUtime=882.05
/proc/21306/stat : 21306 (bsolo3.0.16) R 21304 21306 20522 0 -1 4194304 9629 0 0 0 88045 160 0 0 25 0 1 0 158732240 41099264 9422 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21306/statm: 10034 9422 313 324 0 9103 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 40136

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21309
/proc/meminfo: memFree=1612204/2055920 swapFree=4184496/4192956
[pid=21306] ppid=21304 vsize=40116 CPUtime=942.03
/proc/21306/stat : 21306 (bsolo3.0.16) R 21304 21306 20522 0 -1 4194304 9629 0 0 0 94026 177 0 0 25 0 1 0 158732240 41078784 9417 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21306/statm: 10029 9417 313 324 0 9098 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 40116

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21309
/proc/meminfo: memFree=1612204/2055920 swapFree=4184496/4192956
[pid=21306] ppid=21304 vsize=40116 CPUtime=1002.01
/proc/21306/stat : 21306 (bsolo3.0.16) R 21304 21306 20522 0 -1 4194304 9629 0 0 0 100012 189 0 0 25 0 1 0 158732240 41078784 9417 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134572865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21306/statm: 10029 9417 313 324 0 9098 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 40116

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21309
/proc/meminfo: memFree=1612204/2055920 swapFree=4184496/4192956
[pid=21306] ppid=21304 vsize=39952 CPUtime=1062
/proc/21306/stat : 21306 (bsolo3.0.16) R 21304 21306 20522 0 -1 4194304 9629 0 0 0 105999 201 0 0 25 0 1 0 158732240 40910848 9376 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21306/statm: 9988 9376 313 324 0 9057 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 39952

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21309
/proc/meminfo: memFree=1612268/2055920 swapFree=4184496/4192956
[pid=21306] ppid=21304 vsize=39944 CPUtime=1121.98
/proc/21306/stat : 21306 (bsolo3.0.16) R 21304 21306 20522 0 -1 4194304 9629 0 0 0 111987 211 0 0 25 0 1 0 158732240 40902656 9374 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21306/statm: 9986 9374 313 324 0 9055 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 39944

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21309
/proc/meminfo: memFree=1612268/2055920 swapFree=4184496/4192956
[pid=21306] ppid=21304 vsize=39912 CPUtime=1181.97
/proc/21306/stat : 21306 (bsolo3.0.16) R 21304 21306 20522 0 -1 4194304 9629 0 0 0 117977 220 0 0 25 0 1 0 158732240 40869888 9366 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21306/statm: 9978 9366 313 324 0 9047 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 39912

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21309
/proc/meminfo: memFree=1612332/2055920 swapFree=4184496/4192956
[pid=21306] ppid=21304 vsize=39908 CPUtime=1241.95
/proc/21306/stat : 21306 (bsolo3.0.16) R 21304 21306 20522 0 -1 4194304 9629 0 0 0 123971 224 0 0 25 0 1 0 158732240 40865792 9365 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21306/statm: 9977 9365 313 324 0 9046 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 39908

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21309
/proc/meminfo: memFree=1612332/2055920 swapFree=4184496/4192956
[pid=21306] ppid=21304 vsize=39908 CPUtime=1301.93
/proc/21306/stat : 21306 (bsolo3.0.16) R 21304 21306 20522 0 -1 4194304 9629 0 0 0 129959 234 0 0 25 0 1 0 158732240 40865792 9365 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551522 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21306/statm: 9977 9365 313 324 0 9046 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 39908

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21309
/proc/meminfo: memFree=1612396/2055920 swapFree=4184496/4192956
[pid=21306] ppid=21304 vsize=39908 CPUtime=1361.91
/proc/21306/stat : 21306 (bsolo3.0.16) R 21304 21306 20522 0 -1 4194304 9629 0 0 0 135946 245 0 0 25 0 1 0 158732240 40865792 9365 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551465 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21306/statm: 9977 9365 313 324 0 9046 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 39908

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21309
/proc/meminfo: memFree=1612396/2055920 swapFree=4184496/4192956
[pid=21306] ppid=21304 vsize=39908 CPUtime=1421.9
/proc/21306/stat : 21306 (bsolo3.0.16) R 21304 21306 20522 0 -1 4194304 9629 0 0 0 141933 257 0 0 25 0 1 0 158732240 40865792 9365 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134572871 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21306/statm: 9977 9365 313 324 0 9046 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 39908

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21309
/proc/meminfo: memFree=1612396/2055920 swapFree=4184496/4192956
[pid=21306] ppid=21304 vsize=39908 CPUtime=1481.88
/proc/21306/stat : 21306 (bsolo3.0.16) R 21304 21306 20522 0 -1 4194304 9629 0 0 0 147918 270 0 0 25 0 1 0 158732240 40865792 9365 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21306/statm: 9977 9365 313 324 0 9046 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 39908

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21309
/proc/meminfo: memFree=1612396/2055920 swapFree=4184496/4192956
[pid=21306] ppid=21304 vsize=39908 CPUtime=1541.87
/proc/21306/stat : 21306 (bsolo3.0.16) R 21304 21306 20522 0 -1 4194304 9629 0 0 0 153909 278 0 0 25 0 1 0 158732240 40865792 9365 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21306/statm: 9977 9365 313 324 0 9046 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 39908

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21309
/proc/meminfo: memFree=1612332/2055920 swapFree=4184496/4192956
[pid=21306] ppid=21304 vsize=39908 CPUtime=1601.85
/proc/21306/stat : 21306 (bsolo3.0.16) R 21304 21306 20522 0 -1 4194304 9629 0 0 0 159898 287 0 0 25 0 1 0 158732240 40865792 9365 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21306/statm: 9977 9365 313 324 0 9046 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 39908

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21309
/proc/meminfo: memFree=1612332/2055920 swapFree=4184496/4192956
[pid=21306] ppid=21304 vsize=39908 CPUtime=1661.83
/proc/21306/stat : 21306 (bsolo3.0.16) R 21304 21306 20522 0 -1 4194304 9629 0 0 0 165885 298 0 0 25 0 1 0 158732240 40865792 9365 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551616 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21306/statm: 9977 9365 313 324 0 9046 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 39908

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 21309
/proc/meminfo: memFree=1612332/2055920 swapFree=4184496/4192956
[pid=21306] ppid=21304 vsize=39908 CPUtime=1721.82
/proc/21306/stat : 21306 (bsolo3.0.16) R 21304 21306 20522 0 -1 4194304 9629 0 0 0 171875 307 0 0 25 0 1 0 158732240 40865792 9365 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21306/statm: 9977 9365 313 324 0 9046 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 39908

[startup+1782.3 s]
/proc/loadavg: 1.06 1.01 1.00 2/65 21309
/proc/meminfo: memFree=1612268/2055920 swapFree=4184496/4192956
[pid=21306] ppid=21304 vsize=39908 CPUtime=1781.8
/proc/21306/stat : 21306 (bsolo3.0.16) R 21304 21306 20522 0 -1 4194304 9629 0 0 0 177865 315 0 0 25 0 1 0 158732240 40865792 9365 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21306/statm: 9977 9365 313 324 0 9046 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 39908



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.04 1.01 1.00 2/65 21309
/proc/meminfo: memFree=1626028/2055920 swapFree=4184496/4192956
[pid=21306] ppid=21304 vsize=0 CPUtime=1800
/proc/21306/stat : 21306 (bsolo3.0.16) R 21304 21306 20522 0 -1 4194308 9630 0 0 0 179682 318 0 0 17 0 1 0 158732240 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21306/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 0

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.04 1.01 1.00 2/65 21309
/proc/meminfo: memFree=1626028/2055920 swapFree=4184496/4192956
[pid=21306] ppid=21304 vsize=0 CPUtime=1800
/proc/21306/stat : 21306 (bsolo3.0.16) R 21304 21306 20522 0 -1 4194308 9630 0 0 0 179682 318 0 0 17 0 1 0 158732240 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21306/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.51
CPU time (s): 1800.01
CPU user time (s): 1796.83
CPU system time (s): 3.18451
CPU usage (%): 99.9723
Max. virtual memory (cumulated for all children) (KiB): 40200

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

runsolver used 1.3328 second user time and 3.60045 second system time

The end

Launcher Data (download as text)

Begin job on node55 on Fri Apr 20 22:30:22 UTC 2007

IDJOB= 372582
IDBENCH= 24982
IDSOLVER= 163
FILE ID= node55/372582-1177108222

PBS_JOBID= 4640409

Free space on /tmp= 66351 MiB

SOLVER NAME= bsolo 3.0.16
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_030_area_delay.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/372582-1177108222/instance-372582-1177108222.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node55/watcher-372582-1177108222 -o ROOT/results/node55/solver-372582-1177108222 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/372582-1177108222/instance-372582-1177108222.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  55bd571d186b9003e67d2301a4d2bce5

RANDOM SEED= 900799640

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node55.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.216
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.216
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:       1649548 kB
Buffers:         34660 kB
Cached:         296888 kB
SwapCached:       2196 kB
Active:         118776 kB
Inactive:       223336 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1649548 kB
SwapTotal:     4192956 kB
SwapFree:      4184496 kB
Dirty:            4748 kB
Writeback:           0 kB
Mapped:          17080 kB
Slab:            50348 kB
Committed_AS:  1201232 kB
PageTables:       1384 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= 66351 MiB

End job on node55 on Fri Apr 20 23:00:25 UTC 2007