Trace number 433696

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)24 1800.04 1800.82

General information on the benchmark

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

Verifier Data (download as text)

OK	24

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node23/watcher-433696-1177962100 -o ROOT/results/node23/solver-433696-1177962100 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433696-1177962100/instance-433696-1177962100.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.91 0.98 0.99 3/77 13536
/proc/meminfo: memFree=1858424/2055920 swapFree=4169104/4192956
[pid=13536] ppid=13534 vsize=12104 CPUtime=0
/proc/13536/stat : 13536 (bsolo3.0.17) R 13534 13536 12587 0 -1 4194304 365 0 0 0 0 0 0 0 18 0 1 0 244127144 12394496 335 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2930299 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13536/statm: 3026 336 279 324 0 2004 0

[startup+0.0414799 s]
/proc/loadavg: 0.91 0.98 0.99 3/77 13536
/proc/meminfo: memFree=1858424/2055920 swapFree=4169104/4192956
[pid=13536] ppid=13534 vsize=5280 CPUtime=0.03
/proc/13536/stat : 13536 (bsolo3.0.17) R 13534 13536 12587 0 -1 4194304 647 0 0 0 3 0 0 0 18 0 1 0 244127144 5406720 617 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2930299 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13536/statm: 1320 617 329 324 0 298 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5280

[startup+0.102491 s]
/proc/loadavg: 0.91 0.98 0.99 3/77 13536
/proc/meminfo: memFree=1858424/2055920 swapFree=4169104/4192956
[pid=13536] ppid=13534 vsize=6444 CPUtime=0.09
/proc/13536/stat : 13536 (bsolo3.0.17) R 13534 13536 12587 0 -1 4194304 1106 0 0 0 9 0 0 0 18 0 1 0 244127144 6598656 984 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13536/statm: 1611 984 303 324 0 681 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6444

[startup+0.30253 s]
/proc/loadavg: 0.91 0.98 0.99 3/77 13536
/proc/meminfo: memFree=1858424/2055920 swapFree=4169104/4192956
[pid=13536] ppid=13534 vsize=6700 CPUtime=0.29
/proc/13536/stat : 13536 (bsolo3.0.17) R 13534 13536 12587 0 -1 4194304 1198 0 0 0 28 1 0 0 19 0 1 0 244127144 6860800 1046 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134571997 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13536/statm: 1675 1046 311 324 0 745 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6700

[startup+0.701608 s]
/proc/loadavg: 0.91 0.98 0.99 3/77 13536
/proc/meminfo: memFree=1858424/2055920 swapFree=4169104/4192956
[pid=13536] ppid=13534 vsize=7096 CPUtime=0.69
/proc/13536/stat : 13536 (bsolo3.0.17) R 13534 13536 12587 0 -1 4194304 1298 0 0 0 68 1 0 0 23 0 1 0 244127144 7266304 1146 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091743 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13536/statm: 1774 1146 311 324 0 844 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7096

[startup+1.50176 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 13537
/proc/meminfo: memFree=1854768/2055920 swapFree=4169104/4192956
[pid=13536] ppid=13534 vsize=7740 CPUtime=1.49
/proc/13536/stat : 13536 (bsolo3.0.17) R 13534 13536 12587 0 -1 4194304 1446 0 0 0 148 1 0 0 25 0 1 0 244127144 7925760 1294 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572646 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13536/statm: 1935 1294 311 324 0 1005 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7740

[startup+3.10107 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 13537
/proc/meminfo: memFree=1854000/2055920 swapFree=4169104/4192956
[pid=13536] ppid=13534 vsize=9288 CPUtime=3.09
/proc/13536/stat : 13536 (bsolo3.0.17) R 13534 13536 12587 0 -1 4194304 1830 0 0 0 307 2 0 0 25 0 1 0 244127144 9510912 1678 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13536/statm: 2322 1678 311 324 0 1392 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9288

[startup+6.30169 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 13537
/proc/meminfo: memFree=1850232/2055920 swapFree=4169104/4192956
[pid=13536] ppid=13534 vsize=12696 CPUtime=6.29
/proc/13536/stat : 13536 (bsolo3.0.17) R 13534 13536 12587 0 -1 4194304 2710 0 0 0 627 2 0 0 25 0 1 0 244127144 13000704 2558 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2930299 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13536/statm: 3174 2558 311 324 0 2244 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 12696

[startup+12.7019 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 13537
/proc/meminfo: memFree=1844664/2055920 swapFree=4169104/4192956
[pid=13536] ppid=13534 vsize=17304 CPUtime=12.69
/proc/13536/stat : 13536 (bsolo3.0.17) R 13534 13536 12587 0 -1 4194304 3845 0 0 0 1266 3 0 0 25 0 1 0 244127144 17719296 3693 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13536/statm: 4326 3693 311 324 0 3396 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17304

[startup+25.5024 s]
/proc/loadavg: 0.94 0.98 0.99 2/78 13537
/proc/meminfo: memFree=1844024/2055920 swapFree=4169104/4192956
[pid=13536] ppid=13534 vsize=17912 CPUtime=25.48
/proc/13536/stat : 13536 (bsolo3.0.17) R 13534 13536 12587 0 -1 4194304 3998 0 0 0 2545 3 0 0 25 0 1 0 244127144 18341888 3846 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2924639 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13536/statm: 4478 3846 311 324 0 3548 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 17912

[startup+51.1024 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 13537
/proc/meminfo: memFree=1842488/2055920 swapFree=4169104/4192956
[pid=13536] ppid=13534 vsize=19416 CPUtime=51.07
/proc/13536/stat : 13536 (bsolo3.0.17) R 13534 13536 12587 0 -1 4194304 4377 0 0 0 5103 4 0 0 25 0 1 0 244127144 19881984 4225 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2936549 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13536/statm: 4854 4225 311 324 0 3924 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 19416

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 13537
/proc/meminfo: memFree=1839096/2055920 swapFree=4169104/4192956
[pid=13536] ppid=13534 vsize=22796 CPUtime=102.25
/proc/13536/stat : 13536 (bsolo3.0.17) R 13534 13536 12587 0 -1 4194304 5223 0 0 0 10220 5 0 0 25 0 1 0 244127144 23343104 5071 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13536/statm: 5699 5071 311 324 0 4769 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 22796

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 13537
/proc/meminfo: memFree=1830456/2055920 swapFree=4169104/4192956
[pid=13536] ppid=13534 vsize=31356 CPUtime=162.23
/proc/13536/stat : 13536 (bsolo3.0.17) R 13534 13536 12587 0 -1 4194304 7363 0 0 0 16216 7 0 0 25 0 1 0 244127144 32108544 7211 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134559677 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13536/statm: 7839 7211 311 324 0 6909 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 31356

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 13537
/proc/meminfo: memFree=1830456/2055920 swapFree=4169104/4192956
[pid=13536] ppid=13534 vsize=31356 CPUtime=222.2
/proc/13536/stat : 13536 (bsolo3.0.17) R 13534 13536 12587 0 -1 4194304 7364 0 0 0 22213 7 0 0 25 0 1 0 244127144 32108544 7212 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13536/statm: 7839 7212 311 324 0 6909 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 31356

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 13537
/proc/meminfo: memFree=1830392/2055920 swapFree=4169104/4192956
[pid=13536] ppid=13534 vsize=31364 CPUtime=282.18
/proc/13536/stat : 13536 (bsolo3.0.17) R 13534 13536 12587 0 -1 4194304 7365 0 0 0 28210 8 0 0 25 0 1 0 244127144 32116736 7213 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13536/statm: 7841 7213 311 324 0 6911 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 31364

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 13537
/proc/meminfo: memFree=1830264/2055920 swapFree=4169104/4192956
[pid=13536] ppid=13534 vsize=31364 CPUtime=342.16
/proc/13536/stat : 13536 (bsolo3.0.17) R 13534 13536 12587 0 -1 4194304 7366 0 0 0 34208 8 0 0 25 0 1 0 244127144 32116736 7214 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13536/statm: 7841 7214 311 324 0 6911 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 31364

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 13537
/proc/meminfo: memFree=1830264/2055920 swapFree=4169104/4192956
[pid=13536] ppid=13534 vsize=31364 CPUtime=402.14
/proc/13536/stat : 13536 (bsolo3.0.17) R 13534 13536 12587 0 -1 4194304 7366 0 0 0 40205 9 0 0 25 0 1 0 244127144 32116736 7214 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13536/statm: 7841 7214 311 324 0 6911 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 31364

[startup+462.302 s]
/proc/loadavg: 1.04 1.00 1.00 2/78 13537
/proc/meminfo: memFree=1830200/2055920 swapFree=4169104/4192956
[pid=13536] ppid=13534 vsize=31368 CPUtime=462.11
/proc/13536/stat : 13536 (bsolo3.0.17) R 13534 13536 12587 0 -1 4194304 7367 0 0 0 46202 9 0 0 25 0 1 0 244127144 32120832 7215 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13536/statm: 7842 7215 311 324 0 6912 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 31368

[startup+522.302 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 13537
/proc/meminfo: memFree=1830072/2055920 swapFree=4169104/4192956
[pid=13536] ppid=13534 vsize=31564 CPUtime=522.09
/proc/13536/stat : 13536 (bsolo3.0.17) R 13534 13536 12587 0 -1 4194304 7420 0 0 0 52200 9 0 0 25 0 1 0 244127144 32321536 7268 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13536/statm: 7891 7268 311 324 0 6961 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 31564

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13537
/proc/meminfo: memFree=1829176/2055920 swapFree=4169104/4192956
[pid=13536] ppid=13534 vsize=32328 CPUtime=582.07
/proc/13536/stat : 13536 (bsolo3.0.17) R 13534 13536 12587 0 -1 4194304 7612 0 0 0 58197 10 0 0 25 0 1 0 244127144 33103872 7460 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551315 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13536/statm: 8082 7460 311 324 0 7152 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 32328

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13537
/proc/meminfo: memFree=1825336/2055920 swapFree=4169104/4192956
[pid=13536] ppid=13534 vsize=36072 CPUtime=642.05
/proc/13536/stat : 13536 (bsolo3.0.17) R 13534 13536 12587 0 -1 4194304 8548 0 0 0 64193 12 0 0 25 0 1 0 244127144 36937728 8396 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13536/statm: 9018 8396 311 324 0 8088 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 36072


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

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13537
/proc/meminfo: memFree=1822904/2055920 swapFree=4169104/4192956
[pid=13536] ppid=13534 vsize=38472 CPUtime=821.98
/proc/13536/stat : 13536 (bsolo3.0.17) R 13534 13536 12587 0 -1 4194304 9152 0 0 0 82184 14 0 0 25 0 1 0 244127144 39395328 8995 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13536/statm: 9618 8995 311 324 0 8688 0
Current children cumulated CPU time (s) 821.98
Current children cumulated vsize (KiB) 38472

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13537
/proc/meminfo: memFree=1816440/2055920 swapFree=4169104/4192956
[pid=13536] ppid=13534 vsize=44640 CPUtime=881.96
/proc/13536/stat : 13536 (bsolo3.0.17) R 13534 13536 12587 0 -1 4194304 10700 0 0 0 88180 16 0 0 25 0 1 0 244127144 45711360 10543 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550820 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13536/statm: 11160 10543 311 324 0 10230 0
Current children cumulated CPU time (s) 881.96
Current children cumulated vsize (KiB) 44640

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13537
/proc/meminfo: memFree=1816440/2055920 swapFree=4169104/4192956
[pid=13536] ppid=13534 vsize=44640 CPUtime=941.94
/proc/13536/stat : 13536 (bsolo3.0.17) R 13534 13536 12587 0 -1 4194304 10700 0 0 0 94177 17 0 0 25 0 1 0 244127144 45711360 10543 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13536/statm: 11160 10543 311 324 0 10230 0
Current children cumulated CPU time (s) 941.94
Current children cumulated vsize (KiB) 44640

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13537
/proc/meminfo: memFree=1816376/2055920 swapFree=4169104/4192956
[pid=13536] ppid=13534 vsize=44640 CPUtime=1001.91
/proc/13536/stat : 13536 (bsolo3.0.17) R 13534 13536 12587 0 -1 4194304 10700 0 0 0 100174 17 0 0 25 0 1 0 244127144 45711360 10543 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2612337 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13536/statm: 11160 10543 311 324 0 10230 0
Current children cumulated CPU time (s) 1001.91
Current children cumulated vsize (KiB) 44640

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13537
/proc/meminfo: memFree=1816376/2055920 swapFree=4169104/4192956
[pid=13536] ppid=13534 vsize=44640 CPUtime=1061.9
/proc/13536/stat : 13536 (bsolo3.0.17) R 13534 13536 12587 0 -1 4194304 10700 0 0 0 106172 18 0 0 25 0 1 0 244127144 45711360 10543 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13536/statm: 11160 10543 311 324 0 10230 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 44640

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13537
/proc/meminfo: memFree=1816312/2055920 swapFree=4169104/4192956
[pid=13536] ppid=13534 vsize=44648 CPUtime=1121.87
/proc/13536/stat : 13536 (bsolo3.0.17) R 13534 13536 12587 0 -1 4194304 10702 0 0 0 112169 18 0 0 25 0 1 0 244127144 45719552 10545 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2925904 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13536/statm: 11162 10545 311 324 0 10232 0
Current children cumulated CPU time (s) 1121.87
Current children cumulated vsize (KiB) 44648

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/84 13653
/proc/meminfo: memFree=1811576/2055920 swapFree=4169104/4192956
[pid=13536] ppid=13534 vsize=47760 CPUtime=1181.79
/proc/13536/stat : 13536 (bsolo3.0.17) R 13534 13536 12587 0 -1 4194304 11491 0 0 0 118160 19 0 0 25 0 1 0 244127144 48906240 11327 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572383 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13536/statm: 11940 11327 311 324 0 11010 0
Current children cumulated CPU time (s) 1181.79
Current children cumulated vsize (KiB) 47760

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13735
/proc/meminfo: memFree=1812536/2055920 swapFree=4169104/4192956
[pid=13536] ppid=13534 vsize=47712 CPUtime=1241.72
/proc/13536/stat : 13536 (bsolo3.0.17) R 13534 13536 12587 0 -1 4194304 11491 0 0 0 124153 19 0 0 25 0 1 0 244127144 48857088 11315 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2928790 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13536/statm: 11928 11315 311 324 0 10998 0
Current children cumulated CPU time (s) 1241.72
Current children cumulated vsize (KiB) 47712

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13735
/proc/meminfo: memFree=1812600/2055920 swapFree=4169104/4192956
[pid=13536] ppid=13534 vsize=47632 CPUtime=1301.7
/proc/13536/stat : 13536 (bsolo3.0.17) R 13534 13536 12587 0 -1 4194304 11491 0 0 0 130150 20 0 0 25 0 1 0 244127144 48775168 11295 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134573449 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13536/statm: 11908 11295 311 324 0 10978 0
Current children cumulated CPU time (s) 1301.7
Current children cumulated vsize (KiB) 47632

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13735
/proc/meminfo: memFree=1812600/2055920 swapFree=4169104/4192956
[pid=13536] ppid=13534 vsize=47632 CPUtime=1361.67
/proc/13536/stat : 13536 (bsolo3.0.17) R 13534 13536 12587 0 -1 4194304 11491 0 0 0 136147 20 0 0 25 0 1 0 244127144 48775168 11295 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13536/statm: 11908 11295 311 324 0 10978 0
Current children cumulated CPU time (s) 1361.67
Current children cumulated vsize (KiB) 47632

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13735
/proc/meminfo: memFree=1812600/2055920 swapFree=4169104/4192956
[pid=13536] ppid=13534 vsize=47632 CPUtime=1421.66
/proc/13536/stat : 13536 (bsolo3.0.17) R 13534 13536 12587 0 -1 4194304 11491 0 0 0 142145 21 0 0 25 0 1 0 244127144 48775168 11295 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13536/statm: 11908 11295 311 324 0 10978 0
Current children cumulated CPU time (s) 1421.66
Current children cumulated vsize (KiB) 47632

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13735
/proc/meminfo: memFree=1812600/2055920 swapFree=4169104/4192956
[pid=13536] ppid=13534 vsize=47632 CPUtime=1481.63
/proc/13536/stat : 13536 (bsolo3.0.17) R 13534 13536 12587 0 -1 4194304 11491 0 0 0 148142 21 0 0 25 0 1 0 244127144 48775168 11295 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13536/statm: 11908 11295 311 324 0 10978 0
Current children cumulated CPU time (s) 1481.63
Current children cumulated vsize (KiB) 47632

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13735
/proc/meminfo: memFree=1812664/2055920 swapFree=4169104/4192956
[pid=13536] ppid=13534 vsize=47632 CPUtime=1541.61
/proc/13536/stat : 13536 (bsolo3.0.17) R 13534 13536 12587 0 -1 4194304 11491 0 0 0 154139 22 0 0 25 0 1 0 244127144 48775168 11295 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13536/statm: 11908 11295 311 324 0 10978 0
Current children cumulated CPU time (s) 1541.61
Current children cumulated vsize (KiB) 47632

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13735
/proc/meminfo: memFree=1812664/2055920 swapFree=4169104/4192956
[pid=13536] ppid=13534 vsize=47632 CPUtime=1601.59
/proc/13536/stat : 13536 (bsolo3.0.17) R 13534 13536 12587 0 -1 4194304 11491 0 0 0 160137 22 0 0 25 0 1 0 244127144 48775168 11295 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13536/statm: 11908 11295 311 324 0 10978 0
Current children cumulated CPU time (s) 1601.59
Current children cumulated vsize (KiB) 47632

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13735
/proc/meminfo: memFree=1812664/2055920 swapFree=4169104/4192956
[pid=13536] ppid=13534 vsize=47632 CPUtime=1661.57
/proc/13536/stat : 13536 (bsolo3.0.17) R 13534 13536 12587 0 -1 4194304 11491 0 0 0 166134 23 0 0 25 0 1 0 244127144 48775168 11295 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13536/statm: 11908 11295 311 324 0 10978 0
Current children cumulated CPU time (s) 1661.57
Current children cumulated vsize (KiB) 47632

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13735
/proc/meminfo: memFree=1812600/2055920 swapFree=4169104/4192956
[pid=13536] ppid=13534 vsize=47632 CPUtime=1721.54
/proc/13536/stat : 13536 (bsolo3.0.17) R 13534 13536 12587 0 -1 4194304 11491 0 0 0 172131 23 0 0 25 0 1 0 244127144 48775168 11295 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550800 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13536/statm: 11908 11295 311 324 0 10978 0
Current children cumulated CPU time (s) 1721.54
Current children cumulated vsize (KiB) 47632

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13735
/proc/meminfo: memFree=1812600/2055920 swapFree=4169104/4192956
[pid=13536] ppid=13534 vsize=47632 CPUtime=1781.52
/proc/13536/stat : 13536 (bsolo3.0.17) R 13534 13536 12587 0 -1 4194304 11491 0 0 0 178129 23 0 0 25 0 1 0 244127144 48775168 11295 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13536/statm: 11908 11295 311 324 0 10978 0
Current children cumulated CPU time (s) 1781.52
Current children cumulated vsize (KiB) 47632



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 13735
/proc/meminfo: memFree=1812600/2055920 swapFree=4169104/4192956
[pid=13536] ppid=13534 vsize=47632 CPUtime=1800.02
/proc/13536/stat : 13536 (bsolo3.0.17) R 13534 13536 12587 0 -1 4194304 11491 0 0 0 179978 24 0 0 25 0 1 0 244127144 48775168 11295 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551061 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13536/statm: 11908 11295 311 324 0 10978 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 47632

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.04
CPU user time (s): 1799.79
CPU system time (s): 0.248962
CPU usage (%): 99.9567
Max. virtual memory (cumulated for all children) (KiB): 47808

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

runsolver used 1.46578 second user time and 3.76943 second system time

The end

Launcher Data (download as text)

Begin job on node23 on Mon Apr 30 19:41:40 UTC 2007

IDJOB= 433696
IDBENCH= 24983
IDSOLVER= 199
FILE ID= node23/433696-1177962100

PBS_JOBID= 4727717

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_020_area_delay.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433696-1177962100/instance-433696-1177962100.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node23/watcher-433696-1177962100 -o ROOT/results/node23/solver-433696-1177962100 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/433696-1177962100/instance-433696-1177962100.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  b63b2d912c01ff826a63051b401330db

RANDOM SEED= 500110816

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node23.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.276
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.276
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:       1858896 kB
Buffers:         14580 kB
Cached:          93624 kB
SwapCached:       2160 kB
Active:          52052 kB
Inactive:        79292 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1858896 kB
SwapTotal:     4192956 kB
SwapFree:      4169104 kB
Dirty:            7044 kB
Writeback:           0 kB
Mapped:          30812 kB
Slab:            51236 kB
Committed_AS:  2973816 kB
PageTables:       1800 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 node23 on Mon Apr 30 20:11:43 UTC 2007