Trace number 433678

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)5326 1800.06 1800.63

General information on the benchmark

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

Verifier Data (download as text)

OK	5326

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node7/watcher-433678-1177961920 -o ROOT/results/node7/solver-433678-1177961920 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433678-1177961920/instance-433678-1177961920.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.95 3/77 28031
/proc/meminfo: memFree=1862392/2055920 swapFree=4157088/4192956
[pid=28031] ppid=28029 vsize=12000 CPUtime=0
/proc/28031/stat : 28031 (bsolo3.0.17) R 28029 28031 27225 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 272229629 12288000 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28031/statm: 3000 334 279 324 0 2004 0

[startup+0.0391209 s]
/proc/loadavg: 0.92 0.98 0.95 3/77 28031
/proc/meminfo: memFree=1862392/2055920 swapFree=4157088/4192956
[pid=28031] ppid=28029 vsize=5040 CPUtime=0.03
/proc/28031/stat : 28031 (bsolo3.0.17) R 28029 28031 27225 0 -1 4194304 630 0 0 0 3 0 0 0 18 0 1 0 272229629 5160960 600 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10851963 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28031/statm: 1260 600 327 324 0 264 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5040

[startup+0.101128 s]
/proc/loadavg: 0.92 0.98 0.95 3/77 28031
/proc/meminfo: memFree=1862392/2055920 swapFree=4157088/4192956
[pid=28031] ppid=28029 vsize=6232 CPUtime=0.09
/proc/28031/stat : 28031 (bsolo3.0.17) R 28029 28031 27225 0 -1 4194304 1079 0 0 0 9 0 0 0 18 0 1 0 272229629 6381568 916 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28031/statm: 1558 916 305 324 0 628 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6232

[startup+0.301148 s]
/proc/loadavg: 0.92 0.98 0.95 3/77 28031
/proc/meminfo: memFree=1862392/2055920 swapFree=4157088/4192956
[pid=28031] ppid=28029 vsize=6364 CPUtime=0.29
/proc/28031/stat : 28031 (bsolo3.0.17) R 28029 28031 27225 0 -1 4194304 1118 0 0 0 28 1 0 0 19 0 1 0 272229629 6516736 955 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10851963 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28031/statm: 1591 955 311 324 0 661 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6364

[startup+0.701192 s]
/proc/loadavg: 0.92 0.98 0.95 3/77 28031
/proc/meminfo: memFree=1862392/2055920 swapFree=4157088/4192956
[pid=28031] ppid=28029 vsize=7020 CPUtime=0.69
/proc/28031/stat : 28031 (bsolo3.0.17) R 28029 28031 27225 0 -1 4194304 1299 0 0 0 68 1 0 0 22 0 1 0 272229629 7188480 1136 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28031/statm: 1755 1136 311 324 0 825 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7020

[startup+1.50127 s]
/proc/loadavg: 0.92 0.98 0.95 2/78 28032
/proc/meminfo: memFree=1858352/2055920 swapFree=4157088/4192956
[pid=28031] ppid=28029 vsize=8580 CPUtime=1.49
/proc/28031/stat : 28031 (bsolo3.0.17) R 28029 28031 27225 0 -1 4194304 1678 0 0 0 148 1 0 0 25 0 1 0 272229629 8785920 1515 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10858132 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28031/statm: 2145 1515 311 324 0 1215 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8580

[startup+3.10144 s]
/proc/loadavg: 0.93 0.98 0.95 2/78 28032
/proc/meminfo: memFree=1856304/2055920 swapFree=4157088/4192956
[pid=28031] ppid=28029 vsize=10792 CPUtime=3.08
/proc/28031/stat : 28031 (bsolo3.0.17) R 28029 28031 27225 0 -1 4194304 2234 0 0 0 307 1 0 0 25 0 1 0 272229629 11051008 2071 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28031/statm: 2698 2071 311 324 0 1768 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 10792

[startup+6.30178 s]
/proc/loadavg: 0.93 0.98 0.95 2/78 28032
/proc/meminfo: memFree=1852464/2055920 swapFree=4157088/4192956
[pid=28031] ppid=28029 vsize=13884 CPUtime=6.29
/proc/28031/stat : 28031 (bsolo3.0.17) R 28029 28031 27225 0 -1 4194304 3001 0 0 0 627 2 0 0 25 0 1 0 272229629 14217216 2838 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10534004 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28031/statm: 3471 2838 311 324 0 2541 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13884

[startup+12.7015 s]
/proc/loadavg: 0.94 0.98 0.95 2/78 28032
/proc/meminfo: memFree=1849072/2055920 swapFree=4157088/4192956
[pid=28031] ppid=28029 vsize=16700 CPUtime=12.69
/proc/28031/stat : 28031 (bsolo3.0.17) R 28029 28031 27225 0 -1 4194304 3710 0 0 0 1266 3 0 0 25 0 1 0 272229629 17100800 3547 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28031/statm: 4175 3547 311 324 0 3245 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 16700

[startup+25.5018 s]
/proc/loadavg: 0.95 0.98 0.95 2/78 28032
/proc/meminfo: memFree=1845168/2055920 swapFree=4157088/4192956
[pid=28031] ppid=28029 vsize=20708 CPUtime=25.48
/proc/28031/stat : 28031 (bsolo3.0.17) R 28029 28031 27225 0 -1 4194304 4715 0 0 0 2544 4 0 0 25 0 1 0 272229629 21204992 4552 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28031/statm: 5177 4552 311 324 0 4247 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 20708

[startup+51.1015 s]
/proc/loadavg: 0.96 0.98 0.95 2/78 28032
/proc/meminfo: memFree=1844528/2055920 swapFree=4157088/4192956
[pid=28031] ppid=28029 vsize=21300 CPUtime=51.07
/proc/28031/stat : 28031 (bsolo3.0.17) R 28029 28031 27225 0 -1 4194304 4866 0 0 0 5103 4 0 0 25 0 1 0 272229629 21811200 4703 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551321 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28031/statm: 5325 4703 311 324 0 4395 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 21300

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.95 2/78 28032
/proc/meminfo: memFree=1829488/2055920 swapFree=4157088/4192956
[pid=28031] ppid=28029 vsize=36248 CPUtime=102.27
/proc/28031/stat : 28031 (bsolo3.0.17) R 28029 28031 27225 0 -1 4194304 8603 0 0 0 10219 8 0 0 25 0 1 0 272229629 37117952 8440 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28031/statm: 9062 8440 311 324 0 8132 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 36248

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.95 2/78 28032
/proc/meminfo: memFree=1829488/2055920 swapFree=4157088/4192956
[pid=28031] ppid=28029 vsize=36248 CPUtime=162.25
/proc/28031/stat : 28031 (bsolo3.0.17) R 28029 28031 27225 0 -1 4194304 8606 0 0 0 16217 8 0 0 25 0 1 0 272229629 37117952 8443 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550705 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28031/statm: 9062 8443 311 324 0 8132 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 36248

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.95 2/78 28032
/proc/meminfo: memFree=1822896/2055920 swapFree=4157088/4192956
[pid=28031] ppid=28029 vsize=42972 CPUtime=222.24
/proc/28031/stat : 28031 (bsolo3.0.17) R 28029 28031 27225 0 -1 4194304 10286 0 0 0 22214 10 0 0 25 0 1 0 272229629 44003328 10123 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28031/statm: 10743 10123 311 324 0 9813 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 42972

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.95 2/78 28032
/proc/meminfo: memFree=1808816/2055920 swapFree=4157088/4192956
[pid=28031] ppid=28029 vsize=56836 CPUtime=282.22
/proc/28031/stat : 28031 (bsolo3.0.17) R 28029 28031 27225 0 -1 4194304 13756 0 0 0 28208 14 0 0 25 0 1 0 272229629 58200064 13593 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28031/statm: 14209 13593 311 324 0 13279 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 56836

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.95 2/78 28032
/proc/meminfo: memFree=1808752/2055920 swapFree=4157088/4192956
[pid=28031] ppid=28029 vsize=56828 CPUtime=342.2
/proc/28031/stat : 28031 (bsolo3.0.17) R 28029 28031 27225 0 -1 4194304 13756 0 0 0 34206 14 0 0 25 0 1 0 272229629 58191872 13593 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551377 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28031/statm: 14207 13593 311 324 0 13277 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 56828

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.95 2/78 28032
/proc/meminfo: memFree=1808752/2055920 swapFree=4157088/4192956
[pid=28031] ppid=28029 vsize=56828 CPUtime=402.18
/proc/28031/stat : 28031 (bsolo3.0.17) R 28029 28031 27225 0 -1 4194304 13758 0 0 0 40203 15 0 0 25 0 1 0 272229629 58191872 13595 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28031/statm: 14207 13595 311 324 0 13277 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 56828

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.95 2/78 28032
/proc/meminfo: memFree=1808688/2055920 swapFree=4157088/4192956
[pid=28031] ppid=28029 vsize=56824 CPUtime=462.17
/proc/28031/stat : 28031 (bsolo3.0.17) R 28029 28031 27225 0 -1 4194304 13758 0 0 0 46202 15 0 0 25 0 1 0 272229629 58187776 13594 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10850131 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28031/statm: 14206 13594 311 324 0 13276 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 56824

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.95 2/78 28032
/proc/meminfo: memFree=1808688/2055920 swapFree=4157088/4192956
[pid=28031] ppid=28029 vsize=56820 CPUtime=522.16
/proc/28031/stat : 28031 (bsolo3.0.17) R 28029 28031 27225 0 -1 4194304 13758 0 0 0 52200 16 0 0 25 0 1 0 272229629 58183680 13593 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550907 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28031/statm: 14205 13593 311 324 0 13275 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 56820

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.95 2/78 28032
/proc/meminfo: memFree=1808688/2055920 swapFree=4157088/4192956
[pid=28031] ppid=28029 vsize=56832 CPUtime=582.14
/proc/28031/stat : 28031 (bsolo3.0.17) R 28029 28031 27225 0 -1 4194304 13761 0 0 0 58198 16 0 0 25 0 1 0 272229629 58195968 13596 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551061 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28031/statm: 14208 13596 311 324 0 13278 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 56832

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.95 2/78 28032
/proc/meminfo: memFree=1808624/2055920 swapFree=4157088/4192956
[pid=28031] ppid=28029 vsize=56828 CPUtime=642.13
/proc/28031/stat : 28031 (bsolo3.0.17) R 28029 28031 27225 0 -1 4194304 13761 0 0 0 64196 17 0 0 25 0 1 0 272229629 58191872 13595 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10858213 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28031/statm: 14207 13595 311 324 0 13277 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 56828


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

[startup+822.302 s]
/proc/loadavg: 0.99 0.98 0.95 2/78 28032
/proc/meminfo: memFree=1808688/2055920 swapFree=4157088/4192956
[pid=28031] ppid=28029 vsize=56792 CPUtime=822.08
/proc/28031/stat : 28031 (bsolo3.0.17) R 28029 28031 27225 0 -1 4194304 13764 0 0 0 82190 18 0 0 25 0 1 0 272229629 58155008 13585 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091745 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28031/statm: 14198 13585 311 324 0 13268 0
Current children cumulated CPU time (s) 822.08
Current children cumulated vsize (KiB) 56792

[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.95 2/78 28032
/proc/meminfo: memFree=1808752/2055920 swapFree=4157088/4192956
[pid=28031] ppid=28029 vsize=56792 CPUtime=882.07
/proc/28031/stat : 28031 (bsolo3.0.17) R 28029 28031 27225 0 -1 4194304 13764 0 0 0 88188 19 0 0 25 0 1 0 272229629 58155008 13585 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28031/statm: 14198 13585 311 324 0 13268 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 56792

[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.95 2/78 28032
/proc/meminfo: memFree=1797104/2055920 swapFree=4157088/4192956
[pid=28031] ppid=28029 vsize=68824 CPUtime=942.04
/proc/28031/stat : 28031 (bsolo3.0.17) R 28029 28031 27225 0 -1 4194304 16745 0 0 0 94183 21 0 0 25 0 1 0 272229629 70475776 16566 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28031/statm: 17206 16566 311 324 0 16276 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 68824

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.95 2/78 28032
/proc/meminfo: memFree=1791344/2055920 swapFree=4157088/4192956
[pid=28031] ppid=28029 vsize=74004 CPUtime=1002.03
/proc/28031/stat : 28031 (bsolo3.0.17) R 28029 28031 27225 0 -1 4194304 18090 0 0 0 100181 22 0 0 25 0 1 0 272229629 75780096 17874 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551321 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28031/statm: 18501 17874 311 324 0 17571 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 74004

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.95 2/78 28032
/proc/meminfo: memFree=1791344/2055920 swapFree=4157088/4192956
[pid=28031] ppid=28029 vsize=74004 CPUtime=1062.02
/proc/28031/stat : 28031 (bsolo3.0.17) R 28029 28031 27225 0 -1 4194304 18090 0 0 0 106179 23 0 0 25 0 1 0 272229629 75780096 17874 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551671 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28031/statm: 18501 17874 311 324 0 17571 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 74004

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.95 2/78 28032
/proc/meminfo: memFree=1791408/2055920 swapFree=4157088/4192956
[pid=28031] ppid=28029 vsize=74004 CPUtime=1122
/proc/28031/stat : 28031 (bsolo3.0.17) R 28029 28031 27225 0 -1 4194304 18090 0 0 0 112177 23 0 0 25 0 1 0 272229629 75780096 17874 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28031/statm: 18501 17874 311 324 0 17571 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 74004

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.95 2/78 28032
/proc/meminfo: memFree=1791408/2055920 swapFree=4157088/4192956
[pid=28031] ppid=28029 vsize=74004 CPUtime=1181.99
/proc/28031/stat : 28031 (bsolo3.0.17) R 28029 28031 27225 0 -1 4194304 18090 0 0 0 118175 24 0 0 25 0 1 0 272229629 75780096 17874 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10849845 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28031/statm: 18501 17874 311 324 0 17571 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 74004

[startup+1242.3 s]
/proc/loadavg: 1.14 1.02 0.96 2/78 28032
/proc/meminfo: memFree=1791408/2055920 swapFree=4157088/4192956
[pid=28031] ppid=28029 vsize=74004 CPUtime=1241.97
/proc/28031/stat : 28031 (bsolo3.0.17) R 28029 28031 27225 0 -1 4194304 18090 0 0 0 124173 24 0 0 25 0 1 0 272229629 75780096 17874 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28031/statm: 18501 17874 311 324 0 17571 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 74004

[startup+1302.3 s]
/proc/loadavg: 1.05 1.01 0.96 2/78 28032
/proc/meminfo: memFree=1791344/2055920 swapFree=4157088/4192956
[pid=28031] ppid=28029 vsize=74004 CPUtime=1301.96
/proc/28031/stat : 28031 (bsolo3.0.17) R 28029 28031 27225 0 -1 4194304 18090 0 0 0 130172 24 0 0 25 0 1 0 272229629 75780096 17874 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28031/statm: 18501 17874 311 324 0 17571 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 74004

[startup+1362.3 s]
/proc/loadavg: 1.02 1.00 0.96 2/84 28148
/proc/meminfo: memFree=1789888/2055920 swapFree=4157088/4192956
[pid=28031] ppid=28029 vsize=74004 CPUtime=1361.88
/proc/28031/stat : 28031 (bsolo3.0.17) R 28029 28031 27225 0 -1 4194304 18090 0 0 0 136162 26 0 0 25 0 1 0 272229629 75780096 17874 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28031/statm: 18501 17874 311 324 0 17571 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 74004

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 28230
/proc/meminfo: memFree=1790960/2055920 swapFree=4157088/4192956
[pid=28031] ppid=28029 vsize=74004 CPUtime=1421.82
/proc/28031/stat : 28031 (bsolo3.0.17) R 28029 28031 27225 0 -1 4194304 18090 0 0 0 142156 26 0 0 25 0 1 0 272229629 75780096 17874 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28031/statm: 18501 17874 311 324 0 17571 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 74004

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.96 3/78 28230
/proc/meminfo: memFree=1771248/2055920 swapFree=4157088/4192956
[pid=28031] ppid=28029 vsize=93532 CPUtime=1481.81
/proc/28031/stat : 28031 (bsolo3.0.17) R 28029 28031 27225 0 -1 4194304 23022 0 0 0 148150 31 0 0 25 0 1 0 272229629 95776768 22769 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28031/statm: 23383 22769 311 324 0 22453 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 93532

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 28230
/proc/meminfo: memFree=1769200/2055920 swapFree=4157088/4192956
[pid=28031] ppid=28029 vsize=95796 CPUtime=1541.79
/proc/28031/stat : 28031 (bsolo3.0.17) R 28029 28031 27225 0 -1 4194304 23567 0 0 0 154148 31 0 0 25 0 1 0 272229629 98095104 23314 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28031/statm: 23949 23314 311 324 0 23019 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 95796

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 28230
/proc/meminfo: memFree=1746672/2055920 swapFree=4157088/4192956
[pid=28031] ppid=28029 vsize=118384 CPUtime=1601.77
/proc/28031/stat : 28031 (bsolo3.0.17) R 28029 28031 27225 0 -1 4194304 29246 0 0 0 160141 36 0 0 25 0 1 0 272229629 121225216 28952 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28031/statm: 29596 28952 311 324 0 28666 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 118384

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 28230
/proc/meminfo: memFree=1746544/2055920 swapFree=4157088/4192956
[pid=28031] ppid=28029 vsize=118384 CPUtime=1661.75
/proc/28031/stat : 28031 (bsolo3.0.17) R 28029 28031 27225 0 -1 4194304 29246 0 0 0 166139 36 0 0 25 0 1 0 272229629 121225216 28952 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134571853 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28031/statm: 29596 28952 311 324 0 28666 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 118384

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 28230
/proc/meminfo: memFree=1746544/2055920 swapFree=4157088/4192956
[pid=28031] ppid=28029 vsize=118360 CPUtime=1721.74
/proc/28031/stat : 28031 (bsolo3.0.17) R 28029 28031 27225 0 -1 4194304 29246 0 0 0 172137 37 0 0 25 0 1 0 272229629 121200640 28952 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28031/statm: 29590 28952 311 324 0 28660 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 118360

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 28230
/proc/meminfo: memFree=1746608/2055920 swapFree=4157088/4192956
[pid=28031] ppid=28029 vsize=118360 CPUtime=1781.72
/proc/28031/stat : 28031 (bsolo3.0.17) R 28029 28031 27225 0 -1 4194304 29246 0 0 0 178135 37 0 0 25 0 1 0 272229629 121200640 28952 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551700 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28031/statm: 29590 28952 311 324 0 28660 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 118360



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 28230
/proc/meminfo: memFree=1746608/2055920 swapFree=4157088/4192956
[pid=28031] ppid=28029 vsize=118360 CPUtime=1800.03
/proc/28031/stat : 28031 (bsolo3.0.17) R 28029 28031 27225 0 -1 4194304 29246 0 0 0 179966 37 0 0 25 0 1 0 272229629 121200640 28952 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10850145 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28031/statm: 29590 28952 311 324 0 28660 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 118360

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

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

Child status: 15
Real time (s): 1800.63
CPU time (s): 1800.06
CPU user time (s): 1799.66
CPU system time (s): 0.394939
CPU usage (%): 99.968
Max. virtual memory (cumulated for all children) (KiB): 118548

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

runsolver used 1.39179 second user time and 4.01939 second system time

The end

Launcher Data (download as text)

Begin job on node7 on Mon Apr 30 19:38:40 UTC 2007

IDJOB= 433678
IDBENCH= 24965
IDSOLVER= 199
FILE ID= node7/433678-1177961920

PBS_JOBID= 4727719

Free space on /tmp= 66558 MiB

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

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  7546aeed0de3680ab75d817854256b46

RANDOM SEED= 987178166

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node7.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.231
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.231
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:       1862736 kB
Buffers:         28872 kB
Cached:          95424 kB
SwapCached:      15580 kB
Active:          43768 kB
Inactive:       103704 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1862736 kB
SwapTotal:     4192956 kB
SwapFree:      4157088 kB
Dirty:            6860 kB
Writeback:           0 kB
Mapped:          30332 kB
Slab:            31136 kB
Committed_AS:  9008188 kB
PageTables:       1860 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66558 MiB

End job on node7 on Mon Apr 30 20:08:43 UTC 2007