Trace number 373443

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.16SAT37042 1800.02 1800.5

General information on the benchmark

Namenormalized-PB07/OPT-BIGINT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir06_trarea_ac.opb
MD5SUM83920c844b074c56822148eb18b413de
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark37042
Best CPU time to get the best result obtained on this benchmark1800.06
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables4360
Total number of constraints8610
Number of constraints which are clauses8610
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 constraint163
Number of terms in the objective function 2173
Biggest coefficient in the objective function 2124
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 3653850
Number of bits of the sum of numbers in the objective function 22
Biggest number in a constraint 2124
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 3653850
Number of bits of the biggest sum of numbers22
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

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

Verifier Data (download as text)

OK	37042

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node24/watcher-373443-1177193028 -o ROOT/results/node24/solver-373443-1177193028 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/373443-1177193028/instance-373443-1177193028.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.92 0.98 0.99 3/77 31431
/proc/meminfo: memFree=1426256/2055920 swapFree=4144308/4192956
[pid=31431] ppid=31429 vsize=12004 CPUtime=0
/proc/31431/stat : 31431 (bsolo3.0.16) R 31429 31431 30452 0 -1 4194304 370 0 0 0 0 0 0 0 18 0 1 0 167220808 12292096 338 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 3040891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31431/statm: 3001 338 282 324 0 2003 0

[startup+0.0877811 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 31431
/proc/meminfo: memFree=1426256/2055920 swapFree=4144308/4192956
[pid=31431] ppid=31429 vsize=6164 CPUtime=0.07
/proc/31431/stat : 31431 (bsolo3.0.16) R 31429 31431 30452 0 -1 4194304 1011 0 0 0 7 0 0 0 18 0 1 0 167220808 6311936 912 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 3040891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31431/statm: 1541 914 306 324 0 610 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 6164

[startup+0.101782 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 31431
/proc/meminfo: memFree=1426256/2055920 swapFree=4144308/4192956
[pid=31431] ppid=31429 vsize=6232 CPUtime=0.09
/proc/31431/stat : 31431 (bsolo3.0.16) R 31429 31431 30452 0 -1 4194304 1071 0 0 0 8 1 0 0 18 0 1 0 167220808 6381568 905 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 3040891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31431/statm: 1558 907 307 324 0 627 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6232

[startup+0.301804 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 31431
/proc/meminfo: memFree=1426256/2055920 swapFree=4144308/4192956
[pid=31431] ppid=31429 vsize=6360 CPUtime=0.29
/proc/31431/stat : 31431 (bsolo3.0.16) R 31429 31431 30452 0 -1 4194304 1119 0 0 0 28 1 0 0 19 0 1 0 167220808 6512640 953 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31431/statm: 1590 953 313 324 0 659 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6360

[startup+0.701848 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 31431
/proc/meminfo: memFree=1426256/2055920 swapFree=4144308/4192956
[pid=31431] ppid=31429 vsize=6872 CPUtime=0.69
/proc/31431/stat : 31431 (bsolo3.0.16) R 31429 31431 30452 0 -1 4194304 1263 0 0 0 67 2 0 0 22 0 1 0 167220808 7036928 1097 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31431/statm: 1718 1097 313 324 0 787 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6872

[startup+1.50193 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 31432
/proc/meminfo: memFree=1422728/2055920 swapFree=4144308/4192956
[pid=31431] ppid=31429 vsize=7788 CPUtime=1.49
/proc/31431/stat : 31431 (bsolo3.0.16) R 31429 31431 30452 0 -1 4194304 1478 0 0 0 143 6 0 0 25 0 1 0 167220808 7974912 1312 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31431/statm: 1947 1312 313 324 0 1016 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7788

[startup+3.10111 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 31432
/proc/meminfo: memFree=1421192/2055920 swapFree=4144308/4192956
[pid=31431] ppid=31429 vsize=9732 CPUtime=3.09
/proc/31431/stat : 31431 (bsolo3.0.16) R 31429 31431 30452 0 -1 4194304 1966 0 0 0 301 8 0 0 25 0 1 0 167220808 9965568 1800 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31431/statm: 2433 1800 313 324 0 1502 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9732

[startup+6.30145 s]
/proc/loadavg: 0.93 0.98 0.99 3/78 31432
/proc/meminfo: memFree=1416968/2055920 swapFree=4144308/4192956
[pid=31431] ppid=31429 vsize=14304 CPUtime=6.29
/proc/31431/stat : 31431 (bsolo3.0.16) R 31429 31431 30452 0 -1 4194304 3101 0 0 0 616 13 0 0 25 0 1 0 167220808 14647296 2935 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 3047141 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31431/statm: 3576 2935 313 324 0 2645 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14304

[startup+12.7011 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 31432
/proc/meminfo: memFree=1411976/2055920 swapFree=4144308/4192956
[pid=31431] ppid=31429 vsize=17792 CPUtime=12.68
/proc/31431/stat : 31431 (bsolo3.0.16) R 31429 31431 30452 0 -1 4194304 3987 0 0 0 1250 18 0 0 25 0 1 0 167220808 18219008 3821 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31431/statm: 4448 3821 313 324 0 3517 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 17792

[startup+25.5015 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 31432
/proc/meminfo: memFree=1409480/2055920 swapFree=4144308/4192956
[pid=31431] ppid=31429 vsize=20200 CPUtime=25.49
/proc/31431/stat : 31431 (bsolo3.0.16) R 31429 31431 30452 0 -1 4194304 4593 0 0 0 2507 42 0 0 25 0 1 0 167220808 20684800 4427 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31431/statm: 5050 4427 313 324 0 4119 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 20200

[startup+51.1013 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 31432
/proc/meminfo: memFree=1407240/2055920 swapFree=4144308/4192956
[pid=31431] ppid=31429 vsize=22544 CPUtime=51.06
/proc/31431/stat : 31431 (bsolo3.0.16) R 31429 31431 30452 0 -1 4194304 5165 0 0 0 5048 58 0 0 25 0 1 0 167220808 23085056 4999 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31431/statm: 5636 4999 313 324 0 4705 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 22544

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 31432
/proc/meminfo: memFree=1404296/2055920 swapFree=4144308/4192956
[pid=31431] ppid=31429 vsize=25372 CPUtime=102.26
/proc/31431/stat : 31431 (bsolo3.0.16) R 31429 31431 30452 0 -1 4194304 5891 0 0 0 10142 84 0 0 25 0 1 0 167220808 25980928 5725 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31431/statm: 6343 5725 313 324 0 5412 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 25372

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 31432
/proc/meminfo: memFree=1402312/2055920 swapFree=4144308/4192956
[pid=31431] ppid=31429 vsize=27324 CPUtime=162.24
/proc/31431/stat : 31431 (bsolo3.0.16) R 31429 31431 30452 0 -1 4194304 6380 0 0 0 16127 97 0 0 25 0 1 0 167220808 27979776 6214 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31431/statm: 6831 6214 313 324 0 5900 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 27324

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 31432
/proc/meminfo: memFree=1396424/2055920 swapFree=4144308/4192956
[pid=31431] ppid=31429 vsize=33160 CPUtime=222.22
/proc/31431/stat : 31431 (bsolo3.0.16) R 31429 31431 30452 0 -1 4194304 7841 0 0 0 22081 141 0 0 25 0 1 0 167220808 33955840 7675 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551458 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31431/statm: 8290 7675 313 324 0 7359 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 33160

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 31432
/proc/meminfo: memFree=1395592/2055920 swapFree=4144308/4192956
[pid=31431] ppid=31429 vsize=33956 CPUtime=282.21
/proc/31431/stat : 31431 (bsolo3.0.16) R 31429 31431 30452 0 -1 4194304 8042 0 0 0 27985 236 0 0 25 0 1 0 167220808 34770944 7876 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31431/statm: 8489 7876 313 324 0 7558 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 33956

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 31432
/proc/meminfo: memFree=1391688/2055920 swapFree=4144308/4192956
[pid=31431] ppid=31429 vsize=37964 CPUtime=342.19
/proc/31431/stat : 31431 (bsolo3.0.16) R 31429 31431 30452 0 -1 4194304 9046 0 0 0 33959 260 0 0 25 0 1 0 167220808 38875136 8880 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31431/statm: 9491 8880 313 324 0 8560 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 37964

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 31432
/proc/meminfo: memFree=1383944/2055920 swapFree=4144308/4192956
[pid=31431] ppid=31429 vsize=45672 CPUtime=402.18
/proc/31431/stat : 31431 (bsolo3.0.16) R 31429 31431 30452 0 -1 4194304 10973 0 0 0 39952 266 0 0 25 0 1 0 167220808 46768128 10807 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31431/statm: 11418 10807 313 324 0 10487 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 45672

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 31432
/proc/meminfo: memFree=1384072/2055920 swapFree=4144308/4192956
[pid=31431] ppid=31429 vsize=45664 CPUtime=462.17
/proc/31431/stat : 31431 (bsolo3.0.16) R 31429 31431 30452 0 -1 4194304 10973 0 0 0 45944 273 0 0 25 0 1 0 167220808 46759936 10806 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551143 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31431/statm: 11416 10806 313 324 0 10485 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 45664

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 31432
/proc/meminfo: memFree=1384008/2055920 swapFree=4144308/4192956
[pid=31431] ppid=31429 vsize=45664 CPUtime=522.15
/proc/31431/stat : 31431 (bsolo3.0.16) R 31429 31431 30452 0 -1 4194304 10973 0 0 0 51937 278 0 0 25 0 1 0 167220808 46759936 10806 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551554 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31431/statm: 11416 10806 313 324 0 10485 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 45664

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 31432
/proc/meminfo: memFree=1384008/2055920 swapFree=4144308/4192956
[pid=31431] ppid=31429 vsize=45664 CPUtime=582.13
/proc/31431/stat : 31431 (bsolo3.0.16) R 31429 31431 30452 0 -1 4194304 10973 0 0 0 57928 285 0 0 25 0 1 0 167220808 46759936 10806 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 3035288 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31431/statm: 11416 10806 313 324 0 10485 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 45664

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 31432
/proc/meminfo: memFree=1384072/2055920 swapFree=4144308/4192956
[pid=31431] ppid=31429 vsize=45648 CPUtime=642.12
/proc/31431/stat : 31431 (bsolo3.0.16) R 31429 31431 30452 0 -1 4194304 10973 0 0 0 63919 293 0 0 25 0 1 0 167220808 46743552 10802 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31431/statm: 11412 10802 313 324 0 10481 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 45648


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

/proc/meminfo: memFree=1373128/2055920 swapFree=4144308/4192956
[pid=31431] ppid=31429 vsize=56496 CPUtime=1121.99
/proc/31431/stat : 31431 (bsolo3.0.16) R 31429 31431 30452 0 -1 4194304 13797 0 0 0 111484 715 0 0 25 0 1 0 167220808 57851904 13511 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31431/statm: 14124 13511 313 324 0 13193 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 56496

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 31432
/proc/meminfo: memFree=1373128/2055920 swapFree=4144308/4192956
[pid=31431] ppid=31429 vsize=56496 CPUtime=1181.98
/proc/31431/stat : 31431 (bsolo3.0.16) R 31429 31431 30452 0 -1 4194304 13797 0 0 0 117460 738 0 0 25 0 1 0 167220808 57851904 13511 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31431/statm: 14124 13511 313 324 0 13193 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 56496

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 31432
/proc/meminfo: memFree=1373192/2055920 swapFree=4144308/4192956
[pid=31431] ppid=31429 vsize=56496 CPUtime=1241.96
/proc/31431/stat : 31431 (bsolo3.0.16) R 31429 31431 30452 0 -1 4194304 13797 0 0 0 123437 759 0 0 25 0 1 0 167220808 57851904 13511 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31431/statm: 14124 13511 313 324 0 13193 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 56496

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 31432
/proc/meminfo: memFree=1346888/2055920 swapFree=4144308/4192956
[pid=31431] ppid=31429 vsize=82692 CPUtime=1301.95
/proc/31431/stat : 31431 (bsolo3.0.16) R 31429 31431 30452 0 -1 4194304 20381 0 0 0 129416 779 0 0 25 0 1 0 167220808 84676608 20057 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 3039583 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31431/statm: 20673 20057 313 324 0 19742 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 82692

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 31432
/proc/meminfo: memFree=1335944/2055920 swapFree=4144308/4192956
[pid=31431] ppid=31429 vsize=93604 CPUtime=1361.93
/proc/31431/stat : 31431 (bsolo3.0.16) R 31429 31431 30452 0 -1 4194304 23140 0 0 0 135398 795 0 0 25 0 1 0 167220808 95850496 22778 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31431/statm: 23401 22778 313 324 0 22470 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 93604

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 31432
/proc/meminfo: memFree=1331464/2055920 swapFree=4144308/4192956
[pid=31431] ppid=31429 vsize=98088 CPUtime=1421.92
/proc/31431/stat : 31431 (bsolo3.0.16) R 31429 31431 30452 0 -1 4194304 24287 0 0 0 141385 807 0 0 25 0 1 0 167220808 100442112 23887 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31431/statm: 24522 23887 313 324 0 23591 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 98088

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 31432
/proc/meminfo: memFree=1346760/2055920 swapFree=4144308/4192956
[pid=31431] ppid=31429 vsize=82660 CPUtime=1481.9
/proc/31431/stat : 31431 (bsolo3.0.16) R 31429 31431 30452 0 -1 4194304 24290 0 0 0 147333 857 0 0 25 0 1 0 167220808 84643840 20055 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31431/statm: 20665 20055 313 324 0 19734 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 82660

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 31432
/proc/meminfo: memFree=1346760/2055920 swapFree=4144308/4192956
[pid=31431] ppid=31429 vsize=82660 CPUtime=1541.88
/proc/31431/stat : 31431 (bsolo3.0.16) R 31429 31431 30452 0 -1 4194304 24290 0 0 0 153323 865 0 0 25 0 1 0 167220808 84643840 20055 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31431/statm: 20665 20055 313 324 0 19734 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 82660

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 31432
/proc/meminfo: memFree=1346824/2055920 swapFree=4144308/4192956
[pid=31431] ppid=31429 vsize=82612 CPUtime=1601.87
/proc/31431/stat : 31431 (bsolo3.0.16) R 31429 31431 30452 0 -1 4194304 24290 0 0 0 159312 875 0 0 25 0 1 0 167220808 84594688 20043 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31431/statm: 20653 20043 313 324 0 19722 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 82612

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 31432
/proc/meminfo: memFree=1346824/2055920 swapFree=4144308/4192956
[pid=31431] ppid=31429 vsize=82612 CPUtime=1661.85
/proc/31431/stat : 31431 (bsolo3.0.16) R 31429 31431 30452 0 -1 4194304 24290 0 0 0 165304 881 0 0 25 0 1 0 167220808 84594688 20043 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31431/statm: 20653 20043 313 324 0 19722 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 82612

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 31432
/proc/meminfo: memFree=1346824/2055920 swapFree=4144308/4192956
[pid=31431] ppid=31429 vsize=82612 CPUtime=1721.83
/proc/31431/stat : 31431 (bsolo3.0.16) R 31429 31431 30452 0 -1 4194304 24290 0 0 0 171294 889 0 0 25 0 1 0 167220808 84594688 20043 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551257 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31431/statm: 20653 20043 313 324 0 19722 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 82612

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 31432
/proc/meminfo: memFree=1346824/2055920 swapFree=4144308/4192956
[pid=31431] ppid=31429 vsize=82612 CPUtime=1781.82
/proc/31431/stat : 31431 (bsolo3.0.16) R 31429 31431 30452 0 -1 4194304 24290 0 0 0 177283 899 0 0 25 0 1 0 167220808 84594688 20043 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31431/statm: 20653 20043 313 324 0 19722 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 82612

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

[startup+1791.91 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 31432
/proc/meminfo: memFree=1346824/2055920 swapFree=4144308/4192956
[pid=31431] ppid=31429 vsize=82612 CPUtime=1791.42
/proc/31431/stat : 31431 (bsolo3.0.16) R 31429 31431 30452 0 -1 4194304 24290 0 0 0 178241 901 0 0 25 0 1 0 167220808 84594688 20043 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31431/statm: 20653 20043 313 324 0 19722 0
Current children cumulated CPU time (s) 1791.42
Current children cumulated vsize (KiB) 82612

[startup+1795.1 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 31432
/proc/meminfo: memFree=1346824/2055920 swapFree=4144308/4192956
[pid=31431] ppid=31429 vsize=82612 CPUtime=1794.63
/proc/31431/stat : 31431 (bsolo3.0.16) R 31429 31431 30452 0 -1 4194304 24290 0 0 0 178561 902 0 0 25 0 1 0 167220808 84594688 20043 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31431/statm: 20653 20043 313 324 0 19722 0
Current children cumulated CPU time (s) 1794.63
Current children cumulated vsize (KiB) 82612

[startup+1798.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 31432
/proc/meminfo: memFree=1346824/2055920 swapFree=4144308/4192956
[pid=31431] ppid=31429 vsize=82612 CPUtime=1797.81
/proc/31431/stat : 31431 (bsolo3.0.16) R 31429 31431 30452 0 -1 4194304 24290 0 0 0 178879 902 0 0 25 0 1 0 167220808 84594688 20043 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31431/statm: 20653 20043 313 324 0 19722 0
Current children cumulated CPU time (s) 1797.81
Current children cumulated vsize (KiB) 82612

[startup+1799.1 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 31432
/proc/meminfo: memFree=1346824/2055920 swapFree=4144308/4192956
[pid=31431] ppid=31429 vsize=82612 CPUtime=1798.61
/proc/31431/stat : 31431 (bsolo3.0.16) R 31429 31431 30452 0 -1 4194304 24290 0 0 0 178959 902 0 0 25 0 1 0 167220808 84594688 20043 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31431/statm: 20653 20043 313 324 0 19722 0
Current children cumulated CPU time (s) 1798.61
Current children cumulated vsize (KiB) 82612

[startup+1799.9 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 31432
/proc/meminfo: memFree=1346824/2055920 swapFree=4144308/4192956
[pid=31431] ppid=31429 vsize=82612 CPUtime=1799.41
/proc/31431/stat : 31431 (bsolo3.0.16) R 31429 31431 30452 0 -1 4194304 24290 0 0 0 179039 902 0 0 25 0 1 0 167220808 84594688 20043 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31431/statm: 20653 20043 313 324 0 19722 0
Current children cumulated CPU time (s) 1799.41
Current children cumulated vsize (KiB) 82612

[startup+1800.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 31432
/proc/meminfo: memFree=1346824/2055920 swapFree=4144308/4192956
[pid=31431] ppid=31429 vsize=82612 CPUtime=1799.81
/proc/31431/stat : 31431 (bsolo3.0.16) R 31429 31431 30452 0 -1 4194304 24290 0 0 0 179079 902 0 0 25 0 1 0 167220808 84594688 20043 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134572045 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31431/statm: 20653 20043 313 324 0 19722 0
Current children cumulated CPU time (s) 1799.81
Current children cumulated vsize (KiB) 82612

[startup+1800.4 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 31432
/proc/meminfo: memFree=1346824/2055920 swapFree=4144308/4192956
[pid=31431] ppid=31429 vsize=82612 CPUtime=1799.91
/proc/31431/stat : 31431 (bsolo3.0.16) R 31429 31431 30452 0 -1 4194304 24290 0 0 0 179089 902 0 0 25 0 1 0 167220808 84594688 20043 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31431/statm: 20653 20043 313 324 0 19722 0
Current children cumulated CPU time (s) 1799.91
Current children cumulated vsize (KiB) 82612

Child status: 0
Real time (s): 1800.5
CPU time (s): 1800.02
CPU user time (s): 1790.98
CPU system time (s): 9.04063
CPU usage (%): 99.9734
Max. virtual memory (cumulated for all children) (KiB): 98240

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.98
system time used= 9.04063
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24291
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15
involuntary context switches= 2195

runsolver used 2.08468 second user time and 4.46032 second system time

The end

Launcher Data (download as text)

Begin job on node24 on Sat Apr 21 22:03:48 UTC 2007

IDJOB= 373443
IDBENCH= 25045
IDSOLVER= 163
FILE ID= node24/373443-1177193028

PBS_JOBID= 4649052

Free space on /tmp= 66230 MiB

SOLVER NAME= bsolo 3.0.16
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-BIGINT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir06_trarea_ac.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/373443-1177193028/instance-373443-1177193028.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node24/watcher-373443-1177193028 -o ROOT/results/node24/solver-373443-1177193028 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/373443-1177193028/instance-373443-1177193028.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  83920c844b074c56822148eb18b413de

RANDOM SEED= 927440231

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node24.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.238
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.238
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:       1426664 kB
Buffers:         68240 kB
Cached:         472108 kB
SwapCached:      16708 kB
Active:         233764 kB
Inactive:       331852 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1426664 kB
SwapTotal:     4192956 kB
SwapFree:      4144308 kB
Dirty:            4676 kB
Writeback:           0 kB
Mapped:          30656 kB
Slab:            49104 kB
Committed_AS:  3709980 kB
PageTables:       1808 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= 66230 MiB

End job on node24 on Sat Apr 21 22:33:48 UTC 2007