Trace number 433758

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)37042 1800.06 1800.73

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

Verifier Data (download as text)

OK	37042

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node40/watcher-433758-1177963346 -o ROOT/results/node40/solver-433758-1177963346 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433758-1177963346/instance-433758-1177963346.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.95 0.90 3/77 11598
/proc/meminfo: memFree=1724392/2055920 swapFree=4157456/4192956
[pid=11598] ppid=11596 vsize=12004 CPUtime=0
/proc/11598/stat : 11598 (bsolo3.0.17) R 11596 11598 10661 0 -1 4194304 364 0 0 0 0 0 0 0 18 0 1 0 125214176 12292096 334 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11598/statm: 3001 334 279 324 0 2004 0

[startup+0.0207779 s]
/proc/loadavg: 0.91 0.95 0.90 3/77 11598
/proc/meminfo: memFree=1724392/2055920 swapFree=4157456/4192956
[pid=11598] ppid=11596 vsize=4768 CPUtime=0.01
/proc/11598/stat : 11598 (bsolo3.0.17) R 11596 11598 10661 0 -1 4194304 508 0 0 0 1 0 0 0 18 0 1 0 125214176 4882432 478 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11598/statm: 1192 478 302 324 0 195 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 4768

[startup+0.101794 s]
/proc/loadavg: 0.91 0.95 0.90 3/77 11598
/proc/meminfo: memFree=1724392/2055920 swapFree=4157456/4192956
[pid=11598] ppid=11596 vsize=6232 CPUtime=0.09
/proc/11598/stat : 11598 (bsolo3.0.17) R 11596 11598 10661 0 -1 4194304 1080 0 0 0 8 1 0 0 18 0 1 0 125214176 6381568 916 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11598/statm: 1558 916 305 324 0 628 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6232

[startup+0.301836 s]
/proc/loadavg: 0.91 0.95 0.90 3/77 11598
/proc/meminfo: memFree=1724392/2055920 swapFree=4157456/4192956
[pid=11598] ppid=11596 vsize=6360 CPUtime=0.29
/proc/11598/stat : 11598 (bsolo3.0.17) R 11596 11598 10661 0 -1 4194304 1119 0 0 0 28 1 0 0 19 0 1 0 125214176 6512640 955 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134573038 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11598/statm: 1590 955 311 324 0 660 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6360

[startup+0.70192 s]
/proc/loadavg: 0.91 0.95 0.90 3/77 11598
/proc/meminfo: memFree=1724392/2055920 swapFree=4157456/4192956
[pid=11598] ppid=11596 vsize=6872 CPUtime=0.69
/proc/11598/stat : 11598 (bsolo3.0.17) R 11596 11598 10661 0 -1 4194304 1269 0 0 0 68 1 0 0 22 0 1 0 125214176 7036928 1105 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550576 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11598/statm: 1718 1105 311 324 0 788 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6872

[startup+1.50109 s]
/proc/loadavg: 0.91 0.95 0.90 2/78 11599
/proc/meminfo: memFree=1720736/2055920 swapFree=4157456/4192956
[pid=11598] ppid=11596 vsize=7788 CPUtime=1.49
/proc/11598/stat : 11598 (bsolo3.0.17) R 11596 11598 10661 0 -1 4194304 1498 0 0 0 148 1 0 0 25 0 1 0 125214176 7974912 1334 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7343656 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11598/statm: 1947 1334 311 324 0 1017 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7788

[startup+3.10142 s]
/proc/loadavg: 0.91 0.95 0.90 2/78 11599
/proc/meminfo: memFree=1718880/2055920 swapFree=4157456/4192956
[pid=11598] ppid=11596 vsize=9860 CPUtime=3.08
/proc/11598/stat : 11598 (bsolo3.0.17) R 11596 11598 10661 0 -1 4194304 1987 0 0 0 307 1 0 0 25 0 1 0 125214176 10096640 1823 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7343766 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11598/statm: 2465 1823 311 324 0 1535 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 9860

[startup+6.30109 s]
/proc/loadavg: 0.92 0.95 0.90 2/78 11599
/proc/meminfo: memFree=1714720/2055920 swapFree=4157456/4192956
[pid=11598] ppid=11596 vsize=14560 CPUtime=6.28
/proc/11598/stat : 11598 (bsolo3.0.17) R 11596 11598 10661 0 -1 4194304 3181 0 0 0 626 2 0 0 25 0 1 0 125214176 14909440 3017 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11598/statm: 3640 3017 311 324 0 2710 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 14560

[startup+12.7014 s]
/proc/loadavg: 0.93 0.95 0.90 2/78 11599
/proc/meminfo: memFree=1710120/2055920 swapFree=4157456/4192956
[pid=11598] ppid=11596 vsize=18444 CPUtime=12.68
/proc/11598/stat : 11598 (bsolo3.0.17) R 11596 11598 10661 0 -1 4194304 4144 0 0 0 1265 3 0 0 25 0 1 0 125214176 18886656 3980 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11598/statm: 4611 3980 311 324 0 3681 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 18444

[startup+25.5011 s]
/proc/loadavg: 0.94 0.96 0.91 2/78 11599
/proc/meminfo: memFree=1707632/2055920 swapFree=4157456/4192956
[pid=11598] ppid=11596 vsize=20200 CPUtime=25.48
/proc/11598/stat : 11598 (bsolo3.0.17) R 11596 11598 10661 0 -1 4194304 4589 0 0 0 2544 4 0 0 25 0 1 0 125214176 20684800 4425 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550741 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11598/statm: 5050 4425 311 324 0 4120 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 20200

[startup+51.1015 s]
/proc/loadavg: 0.96 0.96 0.91 2/78 11599
/proc/meminfo: memFree=1704944/2055920 swapFree=4157456/4192956
[pid=11598] ppid=11596 vsize=23192 CPUtime=51.06
/proc/11598/stat : 11598 (bsolo3.0.17) R 11596 11598 10661 0 -1 4194304 5345 0 0 0 5101 5 0 0 25 0 1 0 125214176 23748608 5181 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11598/statm: 5798 5181 311 324 0 4868 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 23192

[startup+102.305 s]
/proc/loadavg: 0.98 0.96 0.91 2/78 11599
/proc/meminfo: memFree=1702448/2055920 swapFree=4157456/4192956
[pid=11598] ppid=11596 vsize=25372 CPUtime=102.24
/proc/11598/stat : 11598 (bsolo3.0.17) R 11596 11598 10661 0 -1 4194304 5887 0 0 0 10219 5 0 0 25 0 1 0 125214176 25980928 5723 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550606 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11598/statm: 6343 5723 311 324 0 5413 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 25372

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 11599
/proc/meminfo: memFree=1700464/2055920 swapFree=4157456/4192956
[pid=11598] ppid=11596 vsize=27324 CPUtime=162.22
/proc/11598/stat : 11598 (bsolo3.0.17) R 11596 11598 10661 0 -1 4194304 6376 0 0 0 16216 6 0 0 25 0 1 0 125214176 27979776 6212 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11598/statm: 6831 6212 311 324 0 5901 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 27324

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 11599
/proc/meminfo: memFree=1694576/2055920 swapFree=4157456/4192956
[pid=11598] ppid=11596 vsize=33160 CPUtime=222.2
/proc/11598/stat : 11598 (bsolo3.0.17) R 11596 11598 10661 0 -1 4194304 7837 0 0 0 22212 8 0 0 25 0 1 0 125214176 33955840 7673 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550741 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11598/statm: 8290 7673 311 324 0 7360 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 33160

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 11599
/proc/meminfo: memFree=1693680/2055920 swapFree=4157456/4192956
[pid=11598] ppid=11596 vsize=33956 CPUtime=282.18
/proc/11598/stat : 11598 (bsolo3.0.17) R 11596 11598 10661 0 -1 4194304 8038 0 0 0 28210 8 0 0 25 0 1 0 125214176 34770944 7874 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11598/statm: 8489 7874 311 324 0 7559 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 33956

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 11599
/proc/meminfo: memFree=1689648/2055920 swapFree=4157456/4192956
[pid=11598] ppid=11596 vsize=37964 CPUtime=342.16
/proc/11598/stat : 11598 (bsolo3.0.17) R 11596 11598 10661 0 -1 4194304 9042 0 0 0 34207 9 0 0 25 0 1 0 125214176 38875136 8878 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7352008 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11598/statm: 9491 8878 311 324 0 8561 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 37964

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 11599
/proc/meminfo: memFree=1681904/2055920 swapFree=4157456/4192956
[pid=11598] ppid=11596 vsize=45672 CPUtime=402.13
/proc/11598/stat : 11598 (bsolo3.0.17) R 11596 11598 10661 0 -1 4194304 10969 0 0 0 40202 11 0 0 25 0 1 0 125214176 46768128 10805 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11598/statm: 11418 10805 311 324 0 10488 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 45672

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 11599
/proc/meminfo: memFree=1682160/2055920 swapFree=4157456/4192956
[pid=11598] ppid=11596 vsize=45664 CPUtime=462.11
/proc/11598/stat : 11598 (bsolo3.0.17) R 11596 11598 10661 0 -1 4194304 10969 0 0 0 46200 11 0 0 25 0 1 0 125214176 46759936 10804 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7344126 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11598/statm: 11416 10804 311 324 0 10486 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 45664

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 11599
/proc/meminfo: memFree=1682160/2055920 swapFree=4157456/4192956
[pid=11598] ppid=11596 vsize=45664 CPUtime=522.09
/proc/11598/stat : 11598 (bsolo3.0.17) R 11596 11598 10661 0 -1 4194304 10969 0 0 0 52197 12 0 0 25 0 1 0 125214176 46759936 10804 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551356 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11598/statm: 11416 10804 311 324 0 10486 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 45664

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 11599
/proc/meminfo: memFree=1682160/2055920 swapFree=4157456/4192956
[pid=11598] ppid=11596 vsize=45656 CPUtime=582.07
/proc/11598/stat : 11598 (bsolo3.0.17) R 11596 11598 10661 0 -1 4194304 10969 0 0 0 58195 12 0 0 25 0 1 0 125214176 46751744 10802 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551312 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11598/statm: 11414 10802 311 324 0 10484 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 45656

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 11599
/proc/meminfo: memFree=1682160/2055920 swapFree=4157456/4192956
[pid=11598] ppid=11596 vsize=45648 CPUtime=642.05
/proc/11598/stat : 11598 (bsolo3.0.17) R 11596 11598 10661 0 -1 4194304 10969 0 0 0 64193 12 0 0 25 0 1 0 125214176 46743552 10800 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11598/statm: 11412 10800 311 324 0 10482 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 45648


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

[startup+882.302 s]
/proc/loadavg: 1.07 0.99 0.91 2/78 11599
/proc/meminfo: memFree=1682032/2055920 swapFree=4157456/4192956
[pid=11598] ppid=11596 vsize=45652 CPUtime=881.96
/proc/11598/stat : 11598 (bsolo3.0.17) R 11596 11598 10661 0 -1 4194304 10971 0 0 0 88182 14 0 0 25 0 1 0 125214176 46747648 10801 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551677 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11598/statm: 11413 10801 311 324 0 10483 0
Current children cumulated CPU time (s) 881.96
Current children cumulated vsize (KiB) 45652

[startup+942.302 s]
/proc/loadavg: 1.03 0.99 0.91 2/78 11601
/proc/meminfo: memFree=1681840/2055920 swapFree=4157456/4192956
[pid=11598] ppid=11596 vsize=45668 CPUtime=941.94
/proc/11598/stat : 11598 (bsolo3.0.17) R 11596 11598 10661 0 -1 4194304 10975 0 0 0 94180 14 0 0 25 0 1 0 125214176 46764032 10805 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550913 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11598/statm: 11417 10805 311 324 0 10487 0
Current children cumulated CPU time (s) 941.94
Current children cumulated vsize (KiB) 45668

[startup+1002.3 s]
/proc/loadavg: 1.01 0.99 0.91 2/78 11601
/proc/meminfo: memFree=1671216/2055920 swapFree=4157456/4192956
[pid=11598] ppid=11596 vsize=56496 CPUtime=1001.92
/proc/11598/stat : 11598 (bsolo3.0.17) R 11596 11598 10661 0 -1 4194304 13717 0 0 0 100175 17 0 0 25 0 1 0 125214176 57851904 13509 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11598/statm: 14124 13509 311 324 0 13194 0
Current children cumulated CPU time (s) 1001.92
Current children cumulated vsize (KiB) 56496

[startup+1062.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 11601
/proc/meminfo: memFree=1671216/2055920 swapFree=4157456/4192956
[pid=11598] ppid=11596 vsize=56496 CPUtime=1061.89
/proc/11598/stat : 11598 (bsolo3.0.17) R 11596 11598 10661 0 -1 4194304 13793 0 0 0 106172 17 0 0 25 0 1 0 125214176 57851904 13509 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134573357 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11598/statm: 14124 13509 311 324 0 13194 0
Current children cumulated CPU time (s) 1061.89
Current children cumulated vsize (KiB) 56496

[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 11601
/proc/meminfo: memFree=1671216/2055920 swapFree=4157456/4192956
[pid=11598] ppid=11596 vsize=56496 CPUtime=1121.87
/proc/11598/stat : 11598 (bsolo3.0.17) R 11596 11598 10661 0 -1 4194304 13793 0 0 0 112170 17 0 0 25 0 1 0 125214176 57851904 13509 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7352020 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11598/statm: 14124 13509 311 324 0 13194 0
Current children cumulated CPU time (s) 1121.87
Current children cumulated vsize (KiB) 56496

[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 11601
/proc/meminfo: memFree=1671216/2055920 swapFree=4157456/4192956
[pid=11598] ppid=11596 vsize=56496 CPUtime=1181.85
/proc/11598/stat : 11598 (bsolo3.0.17) R 11596 11598 10661 0 -1 4194304 13793 0 0 0 118167 18 0 0 25 0 1 0 125214176 57851904 13509 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11598/statm: 14124 13509 311 324 0 13194 0
Current children cumulated CPU time (s) 1181.85
Current children cumulated vsize (KiB) 56496

[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 11601
/proc/meminfo: memFree=1665648/2055920 swapFree=4157456/4192956
[pid=11598] ppid=11596 vsize=62660 CPUtime=1241.83
/proc/11598/stat : 11598 (bsolo3.0.17) R 11596 11598 10661 0 -1 4194304 15312 0 0 0 124163 20 0 0 25 0 1 0 125214176 64163840 15028 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551353 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11598/statm: 15665 15028 311 324 0 14735 0
Current children cumulated CPU time (s) 1241.83
Current children cumulated vsize (KiB) 62660

[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 11601
/proc/meminfo: memFree=1644848/2055920 swapFree=4157456/4192956
[pid=11598] ppid=11596 vsize=82692 CPUtime=1301.81
/proc/11598/stat : 11598 (bsolo3.0.17) R 11596 11598 10661 0 -1 4194304 20377 0 0 0 130157 24 0 0 25 0 1 0 125214176 84676608 20055 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7343575 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11598/statm: 20673 20055 311 324 0 19743 0
Current children cumulated CPU time (s) 1301.81
Current children cumulated vsize (KiB) 82692

[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 11601
/proc/meminfo: memFree=1633968/2055920 swapFree=4157456/4192956
[pid=11598] ppid=11596 vsize=93604 CPUtime=1361.79
/proc/11598/stat : 11598 (bsolo3.0.17) R 11596 11598 10661 0 -1 4194304 23136 0 0 0 136151 28 0 0 25 0 1 0 125214176 95850496 22776 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11598/statm: 23401 22776 311 324 0 22471 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 93604

[startup+1422.31 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 11601
/proc/meminfo: memFree=1644784/2055920 swapFree=4157456/4192956
[pid=11598] ppid=11596 vsize=82660 CPUtime=1421.76
/proc/11598/stat : 11598 (bsolo3.0.17) R 11596 11598 10661 0 -1 4194304 24286 0 0 0 142146 30 0 0 25 0 1 0 125214176 84643840 20053 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550738 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11598/statm: 20665 20053 311 324 0 19735 0
Current children cumulated CPU time (s) 1421.76
Current children cumulated vsize (KiB) 82660

[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 11601
/proc/meminfo: memFree=1644784/2055920 swapFree=4157456/4192956
[pid=11598] ppid=11596 vsize=82660 CPUtime=1481.75
/proc/11598/stat : 11598 (bsolo3.0.17) R 11596 11598 10661 0 -1 4194304 24286 0 0 0 148144 31 0 0 25 0 1 0 125214176 84643840 20053 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550919 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11598/statm: 20665 20053 311 324 0 19735 0
Current children cumulated CPU time (s) 1481.75
Current children cumulated vsize (KiB) 82660

[startup+1542.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 11601
/proc/meminfo: memFree=1644848/2055920 swapFree=4157456/4192956
[pid=11598] ppid=11596 vsize=82612 CPUtime=1541.72
/proc/11598/stat : 11598 (bsolo3.0.17) R 11596 11598 10661 0 -1 4194304 24286 0 0 0 154141 31 0 0 25 0 1 0 125214176 84594688 20041 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134573432 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11598/statm: 20653 20041 311 324 0 19723 0
Current children cumulated CPU time (s) 1541.72
Current children cumulated vsize (KiB) 82612

[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 11601
/proc/meminfo: memFree=1644848/2055920 swapFree=4157456/4192956
[pid=11598] ppid=11596 vsize=82612 CPUtime=1601.7
/proc/11598/stat : 11598 (bsolo3.0.17) R 11596 11598 10661 0 -1 4194304 24286 0 0 0 160138 32 0 0 25 0 1 0 125214176 84594688 20041 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134574823 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11598/statm: 20653 20041 311 324 0 19723 0
Current children cumulated CPU time (s) 1601.7
Current children cumulated vsize (KiB) 82612

[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 11601
/proc/meminfo: memFree=1644848/2055920 swapFree=4157456/4192956
[pid=11598] ppid=11596 vsize=82612 CPUtime=1661.68
/proc/11598/stat : 11598 (bsolo3.0.17) R 11596 11598 10661 0 -1 4194304 24286 0 0 0 166136 32 0 0 25 0 1 0 125214176 84594688 20041 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11598/statm: 20653 20041 311 324 0 19723 0
Current children cumulated CPU time (s) 1661.68
Current children cumulated vsize (KiB) 82612

[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 11601
/proc/meminfo: memFree=1644912/2055920 swapFree=4157456/4192956
[pid=11598] ppid=11596 vsize=82612 CPUtime=1721.66
/proc/11598/stat : 11598 (bsolo3.0.17) R 11596 11598 10661 0 -1 4194304 24286 0 0 0 172134 32 0 0 25 0 1 0 125214176 84594688 20041 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11598/statm: 20653 20041 311 324 0 19723 0
Current children cumulated CPU time (s) 1721.66
Current children cumulated vsize (KiB) 82612

[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 11601
/proc/meminfo: memFree=1644976/2055920 swapFree=4157456/4192956
[pid=11598] ppid=11596 vsize=82612 CPUtime=1781.64
/proc/11598/stat : 11598 (bsolo3.0.17) R 11596 11598 10661 0 -1 4194304 24286 0 0 0 178131 33 0 0 25 0 1 0 125214176 84594688 20041 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11598/statm: 20653 20041 311 324 0 19723 0
Current children cumulated CPU time (s) 1781.64
Current children cumulated vsize (KiB) 82612



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 11601
/proc/meminfo: memFree=1644912/2055920 swapFree=4157456/4192956
[pid=11598] ppid=11596 vsize=82612 CPUtime=1800.04
/proc/11598/stat : 11598 (bsolo3.0.17) R 11596 11598 10661 0 -1 4194304 24286 0 0 0 179971 33 0 0 25 0 1 0 125214176 84594688 20041 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551312 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11598/statm: 20653 20041 311 324 0 19723 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 82612

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

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

[startup+1800.71 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 11601
/proc/meminfo: memFree=1644912/2055920 swapFree=4157456/4192956
[pid=11598] ppid=11596 vsize=82612 CPUtime=1800.04
/proc/11598/stat : 11598 (bsolo3.0.17) R 11596 11598 10661 0 -1 4194304 24286 0 0 0 179971 33 0 0 25 0 1 0 125214176 84594688 20041 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551312 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11598/statm: 20653 20041 311 324 0 19723 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 82612

Child status: 15
Real time (s): 1800.73
CPU time (s): 1800.06
CPU user time (s): 1799.71
CPU system time (s): 0.346947
CPU usage (%): 99.963
Max. virtual memory (cumulated for all children) (KiB): 98100

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.71
system time used= 0.346947
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24290
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= 12
involuntary context switches= 4143

runsolver used 1.37979 second user time and 3.80442 second system time

The end

Launcher Data (download as text)

Begin job on node40 on Mon Apr 30 20:02:26 UTC 2007

IDJOB= 433758
IDBENCH= 25045
IDSOLVER= 199
FILE ID= node40/433758-1177963346

PBS_JOBID= 4727734

Free space on /tmp= 66538 MiB

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

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  83920c844b074c56822148eb18b413de

RANDOM SEED= 231738440

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node40.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.283
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.283
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:       1724736 kB
Buffers:         37716 kB
Cached:         182668 kB
SwapCached:      15168 kB
Active:         175504 kB
Inactive:        91296 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1724736 kB
SwapTotal:     4192956 kB
SwapFree:      4157456 kB
Dirty:            6924 kB
Writeback:           0 kB
Mapped:          53344 kB
Slab:            49648 kB
Committed_AS:  1178624 kB
PageTables:       2004 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= 66538 MiB

End job on node40 on Mon Apr 30 20:32:29 UTC 2007