Trace number 433695

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)28 1800.05 1800.82

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

Verifier Data (download as text)

OK	28

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node13/watcher-433695-1177962090 -o ROOT/results/node13/solver-433695-1177962090 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433695-1177962090/instance-433695-1177962090.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.01 1.00 2/77 12488
/proc/meminfo: memFree=1576592/2055920 swapFree=4159412/4192956
[pid=12488] ppid=12486 vsize=12104 CPUtime=0
/proc/12488/stat : 12488 (bsolo3.0.17) R 12486 12488 11731 0 -1 4194304 361 0 0 0 0 0 0 0 18 0 1 0 244126810 12394496 331 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12488/statm: 3026 332 279 324 0 2004 0

[startup+0.091165 s]
/proc/loadavg: 1.00 1.01 1.00 2/77 12488
/proc/meminfo: memFree=1576592/2055920 swapFree=4159412/4192956
[pid=12488] ppid=12486 vsize=5420 CPUtime=0.08
/proc/12488/stat : 12488 (bsolo3.0.17) R 12486 12488 11731 0 -1 4194304 717 0 0 0 8 0 0 0 18 0 1 0 244126810 5550080 687 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586566 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12488/statm: 1355 687 344 324 0 333 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5420

[startup+0.102208 s]
/proc/loadavg: 1.00 1.01 1.00 2/77 12488
/proc/meminfo: memFree=1576592/2055920 swapFree=4159412/4192956
[pid=12488] ppid=12486 vsize=5556 CPUtime=0.09
/proc/12488/stat : 12488 (bsolo3.0.17) R 12486 12488 11731 0 -1 4194304 755 0 0 0 9 0 0 0 18 0 1 0 244126810 5689344 725 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12314235 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12488/statm: 1389 725 352 324 0 367 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5556

[startup+0.301209 s]
/proc/loadavg: 1.00 1.01 1.00 2/77 12488
/proc/meminfo: memFree=1576592/2055920 swapFree=4159412/4192956
[pid=12488] ppid=12486 vsize=6872 CPUtime=0.29
/proc/12488/stat : 12488 (bsolo3.0.17) R 12486 12488 11731 0 -1 4194304 1285 0 0 0 27 2 0 0 19 0 1 0 244126810 7036928 1090 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572027 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12488/statm: 1718 1090 311 324 0 788 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6872

[startup+0.701294 s]
/proc/loadavg: 1.00 1.01 1.00 2/77 12488
/proc/meminfo: memFree=1576592/2055920 swapFree=4159412/4192956
[pid=12488] ppid=12486 vsize=7004 CPUtime=0.69
/proc/12488/stat : 12488 (bsolo3.0.17) R 12486 12488 11731 0 -1 4194304 1328 0 0 0 67 2 0 0 23 0 1 0 244126810 7172096 1133 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572011 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12488/statm: 1751 1133 311 324 0 821 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7004

[startup+1.50147 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 12489
/proc/meminfo: memFree=1572936/2055920 swapFree=4159412/4192956
[pid=12488] ppid=12486 vsize=7772 CPUtime=1.49
/proc/12488/stat : 12488 (bsolo3.0.17) R 12486 12488 11731 0 -1 4194304 1517 0 0 0 147 2 0 0 25 0 1 0 244126810 7958528 1322 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134552084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12488/statm: 1943 1322 311 324 0 1013 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7772

[startup+3.10181 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 12489
/proc/meminfo: memFree=1571784/2055920 swapFree=4159412/4192956
[pid=12488] ppid=12486 vsize=9308 CPUtime=3.09
/proc/12488/stat : 12488 (bsolo3.0.17) R 12486 12488 11731 0 -1 4194304 1879 0 0 0 307 2 0 0 25 0 1 0 244126810 9531392 1684 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134519592 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12488/statm: 2327 1684 311 324 0 1397 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9308

[startup+6.30149 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 12489
/proc/meminfo: memFree=1568968/2055920 swapFree=4159412/4192956
[pid=12488] ppid=12486 vsize=11308 CPUtime=6.28
/proc/12488/stat : 12488 (bsolo3.0.17) R 12486 12488 11731 0 -1 4194304 2402 0 0 0 626 2 0 0 25 0 1 0 244126810 11579392 2207 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551241 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12488/statm: 2827 2207 311 324 0 1897 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 11308

[startup+12.7019 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 12490
/proc/meminfo: memFree=1563016/2055920 swapFree=4159412/4192956
[pid=12488] ppid=12486 vsize=17208 CPUtime=12.69
/proc/12488/stat : 12488 (bsolo3.0.17) R 12486 12488 11731 0 -1 4194304 3862 0 0 0 1265 4 0 0 25 0 1 0 244126810 17620992 3667 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12308632 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12488/statm: 4302 3667 311 324 0 3372 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17208

[startup+25.5026 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12491
/proc/meminfo: memFree=1561736/2055920 swapFree=4159412/4192956
[pid=12488] ppid=12486 vsize=18364 CPUtime=25.48
/proc/12488/stat : 12488 (bsolo3.0.17) R 12486 12488 11731 0 -1 4194304 4166 0 0 0 2544 4 0 0 25 0 1 0 244126810 18804736 3971 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134571991 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12488/statm: 4591 3971 311 324 0 3661 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 18364

[startup+51.1011 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12491
/proc/meminfo: memFree=1556936/2055920 swapFree=4159412/4192956
[pid=12488] ppid=12486 vsize=23104 CPUtime=51.07
/proc/12488/stat : 12488 (bsolo3.0.17) R 12486 12488 11731 0 -1 4194304 5355 0 0 0 5102 5 0 0 25 0 1 0 244126810 23658496 5160 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12308632 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12488/statm: 5776 5160 311 324 0 4846 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/78 12491
/proc/meminfo: memFree=1556936/2055920 swapFree=4159412/4192956
[pid=12488] ppid=12486 vsize=23108 CPUtime=102.25
/proc/12488/stat : 12488 (bsolo3.0.17) R 12486 12488 11731 0 -1 4194304 5356 0 0 0 10220 5 0 0 25 0 1 0 244126810 23662592 5161 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12312358 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12488/statm: 5777 5161 311 324 0 4847 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 23108

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12491
/proc/meminfo: memFree=1555016/2055920 swapFree=4159412/4192956
[pid=12488] ppid=12486 vsize=25004 CPUtime=162.23
/proc/12488/stat : 12488 (bsolo3.0.17) R 12486 12488 11731 0 -1 4194304 5819 0 0 0 16217 6 0 0 25 0 1 0 244126810 25604096 5624 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12488/statm: 6251 5624 311 324 0 5321 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 25004

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12491
/proc/meminfo: memFree=1551816/2055920 swapFree=4159412/4192956
[pid=12488] ppid=12486 vsize=28056 CPUtime=222.21
/proc/12488/stat : 12488 (bsolo3.0.17) R 12486 12488 11731 0 -1 4194304 6596 0 0 0 22213 8 0 0 25 0 1 0 244126810 28729344 6400 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12488/statm: 7014 6400 311 324 0 6084 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 28056

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12491
/proc/meminfo: memFree=1545672/2055920 swapFree=4159412/4192956
[pid=12488] ppid=12486 vsize=34180 CPUtime=282.18
/proc/12488/stat : 12488 (bsolo3.0.17) R 12486 12488 11731 0 -1 4194304 8120 0 0 0 28209 9 0 0 25 0 1 0 244126810 35000320 7923 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12312408 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12488/statm: 8545 7923 311 324 0 7615 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 34180

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12491
/proc/meminfo: memFree=1545544/2055920 swapFree=4159412/4192956
[pid=12488] ppid=12486 vsize=34184 CPUtime=342.17
/proc/12488/stat : 12488 (bsolo3.0.17) R 12486 12488 11731 0 -1 4194304 8120 0 0 0 34207 10 0 0 25 0 1 0 244126810 35004416 7923 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551061 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12488/statm: 8546 7923 311 324 0 7616 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 34184

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12491
/proc/meminfo: memFree=1545480/2055920 swapFree=4159412/4192956
[pid=12488] ppid=12486 vsize=34188 CPUtime=402.14
/proc/12488/stat : 12488 (bsolo3.0.17) R 12486 12488 11731 0 -1 4194304 8122 0 0 0 40204 10 0 0 25 0 1 0 244126810 35008512 7925 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12488/statm: 8547 7925 311 324 0 7617 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 34188

[startup+462.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12491
/proc/meminfo: memFree=1545480/2055920 swapFree=4159412/4192956
[pid=12488] ppid=12486 vsize=34188 CPUtime=462.12
/proc/12488/stat : 12488 (bsolo3.0.17) R 12486 12488 11731 0 -1 4194304 8122 0 0 0 46201 11 0 0 25 0 1 0 244126810 35008512 7925 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134573652 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12488/statm: 8547 7925 311 324 0 7617 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 34188

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12491
/proc/meminfo: memFree=1539400/2055920 swapFree=4159412/4192956
[pid=12488] ppid=12486 vsize=40196 CPUtime=522.09
/proc/12488/stat : 12488 (bsolo3.0.17) R 12486 12488 11731 0 -1 4194304 9623 0 0 0 52197 12 0 0 25 0 1 0 244126810 41160704 9426 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12488/statm: 10049 9426 311 324 0 9119 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 40196

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12491
/proc/meminfo: memFree=1539400/2055920 swapFree=4159412/4192956
[pid=12488] ppid=12486 vsize=40152 CPUtime=582.08
/proc/12488/stat : 12488 (bsolo3.0.17) R 12486 12488 11731 0 -1 4194304 9623 0 0 0 58195 13 0 0 25 0 1 0 244126810 41115648 9424 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12488/statm: 10038 9424 311 324 0 9108 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 40152

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12491
/proc/meminfo: memFree=1539336/2055920 swapFree=4159412/4192956
[pid=12488] ppid=12486 vsize=40136 CPUtime=642.06
/proc/12488/stat : 12488 (bsolo3.0.17) R 12486 12488 11731 0 -1 4194304 9625 0 0 0 64193 13 0 0 25 0 1 0 244126810 41099264 9420 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12488/statm: 10034 9420 311 324 0 9104 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 40136


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

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12491
/proc/meminfo: memFree=1539144/2055920 swapFree=4159412/4192956
[pid=12488] ppid=12486 vsize=40136 CPUtime=821.99
/proc/12488/stat : 12488 (bsolo3.0.17) R 12486 12488 11731 0 -1 4194304 9625 0 0 0 82184 15 0 0 25 0 1 0 244126810 41099264 9420 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12488/statm: 10034 9420 311 324 0 9104 0
Current children cumulated CPU time (s) 821.99
Current children cumulated vsize (KiB) 40136

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12491
/proc/meminfo: memFree=1539144/2055920 swapFree=4159412/4192956
[pid=12488] ppid=12486 vsize=40136 CPUtime=881.96
/proc/12488/stat : 12488 (bsolo3.0.17) R 12486 12488 11731 0 -1 4194304 9625 0 0 0 88181 15 0 0 25 0 1 0 244126810 41099264 9420 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12320513 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12488/statm: 10034 9420 311 324 0 9104 0
Current children cumulated CPU time (s) 881.96
Current children cumulated vsize (KiB) 40136

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12491
/proc/meminfo: memFree=1539144/2055920 swapFree=4159412/4192956
[pid=12488] ppid=12486 vsize=40116 CPUtime=941.95
/proc/12488/stat : 12488 (bsolo3.0.17) R 12486 12488 11731 0 -1 4194304 9625 0 0 0 94179 16 0 0 25 0 1 0 244126810 41078784 9415 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12488/statm: 10029 9415 311 324 0 9099 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 40116

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12491
/proc/meminfo: memFree=1539144/2055920 swapFree=4159412/4192956
[pid=12488] ppid=12486 vsize=40116 CPUtime=1001.92
/proc/12488/stat : 12488 (bsolo3.0.17) R 12486 12488 11731 0 -1 4194304 9625 0 0 0 100176 16 0 0 25 0 1 0 244126810 41078784 9415 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12488/statm: 10029 9415 311 324 0 9099 0
Current children cumulated CPU time (s) 1001.92
Current children cumulated vsize (KiB) 40116

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12491
/proc/meminfo: memFree=1539144/2055920 swapFree=4159412/4192956
[pid=12488] ppid=12486 vsize=39952 CPUtime=1061.9
/proc/12488/stat : 12488 (bsolo3.0.17) R 12486 12488 11731 0 -1 4194304 9625 0 0 0 106173 17 0 0 25 0 1 0 244126810 40910848 9374 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12488/statm: 9988 9374 311 324 0 9058 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 39952

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12491
/proc/meminfo: memFree=1539080/2055920 swapFree=4159412/4192956
[pid=12488] ppid=12486 vsize=39944 CPUtime=1121.88
/proc/12488/stat : 12488 (bsolo3.0.17) R 12486 12488 11731 0 -1 4194304 9625 0 0 0 112171 17 0 0 25 0 1 0 244126810 40902656 9372 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12308632 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12488/statm: 9986 9372 311 324 0 9056 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 39944

[startup+1182.3 s]
/proc/loadavg: 1.03 1.01 1.00 2/84 12565
/proc/meminfo: memFree=1537744/2055920 swapFree=4159412/4192956
[pid=12488] ppid=12486 vsize=39912 CPUtime=1181.83
/proc/12488/stat : 12488 (bsolo3.0.17) R 12486 12488 11731 0 -1 4194304 9625 0 0 0 118164 19 0 0 25 0 1 0 244126810 40869888 9364 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12488/statm: 9978 9364 311 324 0 9048 0
Current children cumulated CPU time (s) 1181.83
Current children cumulated vsize (KiB) 39912

[startup+1242.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/78 12689
/proc/meminfo: memFree=1538760/2055920 swapFree=4159412/4192956
[pid=12488] ppid=12486 vsize=39908 CPUtime=1241.73
/proc/12488/stat : 12488 (bsolo3.0.17) R 12486 12488 11731 0 -1 4194304 9625 0 0 0 124153 20 0 0 25 0 1 0 244126810 40865792 9363 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12488/statm: 9977 9363 311 324 0 9047 0
Current children cumulated CPU time (s) 1241.73
Current children cumulated vsize (KiB) 39908

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12689
/proc/meminfo: memFree=1538760/2055920 swapFree=4159412/4192956
[pid=12488] ppid=12486 vsize=39908 CPUtime=1301.71
/proc/12488/stat : 12488 (bsolo3.0.17) R 12486 12488 11731 0 -1 4194304 9625 0 0 0 130150 21 0 0 25 0 1 0 244126810 40865792 9363 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12488/statm: 9977 9363 311 324 0 9047 0
Current children cumulated CPU time (s) 1301.71
Current children cumulated vsize (KiB) 39908

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12689
/proc/meminfo: memFree=1538696/2055920 swapFree=4159412/4192956
[pid=12488] ppid=12486 vsize=39908 CPUtime=1361.68
/proc/12488/stat : 12488 (bsolo3.0.17) R 12486 12488 11731 0 -1 4194304 9625 0 0 0 136147 21 0 0 25 0 1 0 244126810 40865792 9363 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12308552 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12488/statm: 9977 9363 311 324 0 9047 0
Current children cumulated CPU time (s) 1361.68
Current children cumulated vsize (KiB) 39908

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12689
/proc/meminfo: memFree=1538632/2055920 swapFree=4159412/4192956
[pid=12488] ppid=12486 vsize=39908 CPUtime=1421.67
/proc/12488/stat : 12488 (bsolo3.0.17) R 12486 12488 11731 0 -1 4194304 9625 0 0 0 142145 22 0 0 25 0 1 0 244126810 40865792 9363 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550820 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12488/statm: 9977 9363 311 324 0 9047 0
Current children cumulated CPU time (s) 1421.67
Current children cumulated vsize (KiB) 39908

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12689
/proc/meminfo: memFree=1538568/2055920 swapFree=4159412/4192956
[pid=12488] ppid=12486 vsize=39908 CPUtime=1481.64
/proc/12488/stat : 12488 (bsolo3.0.17) R 12486 12488 11731 0 -1 4194304 9625 0 0 0 148142 22 0 0 25 0 1 0 244126810 40865792 9363 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12488/statm: 9977 9363 311 324 0 9047 0
Current children cumulated CPU time (s) 1481.64
Current children cumulated vsize (KiB) 39908

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12689
/proc/meminfo: memFree=1538504/2055920 swapFree=4159412/4192956
[pid=12488] ppid=12486 vsize=39908 CPUtime=1541.62
/proc/12488/stat : 12488 (bsolo3.0.17) R 12486 12488 11731 0 -1 4194304 9625 0 0 0 154139 23 0 0 25 0 1 0 244126810 40865792 9363 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12313475 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12488/statm: 9977 9363 311 324 0 9047 0
Current children cumulated CPU time (s) 1541.62
Current children cumulated vsize (KiB) 39908

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12689
/proc/meminfo: memFree=1538504/2055920 swapFree=4159412/4192956
[pid=12488] ppid=12486 vsize=39908 CPUtime=1601.59
/proc/12488/stat : 12488 (bsolo3.0.17) R 12486 12488 11731 0 -1 4194304 9625 0 0 0 160136 23 0 0 25 0 1 0 244126810 40865792 9363 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12488/statm: 9977 9363 311 324 0 9047 0
Current children cumulated CPU time (s) 1601.59
Current children cumulated vsize (KiB) 39908

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12689
/proc/meminfo: memFree=1538504/2055920 swapFree=4159412/4192956
[pid=12488] ppid=12486 vsize=39908 CPUtime=1661.58
/proc/12488/stat : 12488 (bsolo3.0.17) R 12486 12488 11731 0 -1 4194304 9625 0 0 0 166134 24 0 0 25 0 1 0 244126810 40865792 9363 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12488/statm: 9977 9363 311 324 0 9047 0
Current children cumulated CPU time (s) 1661.58
Current children cumulated vsize (KiB) 39908

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12689
/proc/meminfo: memFree=1538504/2055920 swapFree=4159412/4192956
[pid=12488] ppid=12486 vsize=39908 CPUtime=1721.55
/proc/12488/stat : 12488 (bsolo3.0.17) R 12486 12488 11731 0 -1 4194304 9625 0 0 0 172131 24 0 0 25 0 1 0 244126810 40865792 9363 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12488/statm: 9977 9363 311 324 0 9047 0
Current children cumulated CPU time (s) 1721.55
Current children cumulated vsize (KiB) 39908

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12689
/proc/meminfo: memFree=1538312/2055920 swapFree=4159412/4192956
[pid=12488] ppid=12486 vsize=39908 CPUtime=1781.53
/proc/12488/stat : 12488 (bsolo3.0.17) R 12486 12488 11731 0 -1 4194304 9625 0 0 0 178128 25 0 0 25 0 1 0 244126810 40865792 9363 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12488/statm: 9977 9363 311 324 0 9047 0
Current children cumulated CPU time (s) 1781.53
Current children cumulated vsize (KiB) 39908



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12689
/proc/meminfo: memFree=1538248/2055920 swapFree=4159412/4192956
[pid=12488] ppid=12486 vsize=39908 CPUtime=1800.03
/proc/12488/stat : 12488 (bsolo3.0.17) R 12486 12488 11731 0 -1 4194304 9625 0 0 0 179978 25 0 0 25 0 1 0 244126810 40865792 9363 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572673 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12488/statm: 9977 9363 311 324 0 9047 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 39908

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

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

Child status: 15
Real time (s): 1800.82
CPU time (s): 1800.05
CPU user time (s): 1799.79
CPU system time (s): 0.26296
CPU usage (%): 99.9573
Max. virtual memory (cumulated for all children) (KiB): 40200

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

runsolver used 1.52177 second user time and 3.74343 second system time

The end

Launcher Data (download as text)

Begin job on node13 on Mon Apr 30 19:41:30 UTC 2007

IDJOB= 433695
IDBENCH= 24982
IDSOLVER= 199
FILE ID= node13/433695-1177962090

PBS_JOBID= 4727729

Free space on /tmp= 66558 MiB

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

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  55bd571d186b9003e67d2301a4d2bce5

RANDOM SEED= 461917982

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node13.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.259
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.259
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:       1577064 kB
Buffers:         17876 kB
Cached:         379428 kB
SwapCached:      12736 kB
Active:          53160 kB
Inactive:       367428 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1577064 kB
SwapTotal:     4192956 kB
SwapFree:      4159412 kB
Dirty:            7124 kB
Writeback:           0 kB
Mapped:          30364 kB
Slab:            43756 kB
Committed_AS:  6964756 kB
PageTables:       1872 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66558 MiB

End job on node13 on Mon Apr 30 20:11:33 UTC 2007