Trace number 372344

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.16SAT (TO)5326 1800.05 1800.73

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.16 - 04/04/2007 : 1458 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/372344-1177091024/instance-372344-1177091024.opb
0.00/0.00	c File size is 269200 bytes.
0.03/0.09	c Highest Coefficient sum: 525495
0.03/0.09	c Parsing was ok!!
0.03/0.09	c Total parsing time: 0.089 s
0.03/0.09	c Var: 4360 Constr: 8610 8610/0/0 Lit: 21764 Watch. Lit: 17217
0.03/0.09	c Obj. Vars: 2173 (49.8394 % of total variables)
0.09/0.14	c Pre-processing Time: 0.143 s
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c        0   4343     8579    21705    2    17158    2859      0      0 0.14
0.09/0.14	c Switching off LPR mode.
0.09/0.15	o 5326	0.148
1800.02/1800.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.02/1800.70	c        0   4343     8580    23875    2    19309    7199      1      0 0.15
1800.02/1800.70	c      101   4343     8681    28113    3    19511    7919    102    487 0.21
1800.02/1800.70	c      351   4343     8931    39785    4    20010    8711    352   1147 0.31
1800.02/1800.70	c      826   4343     9406    55112    5    20961    9583    827   1678 0.49
1800.02/1800.70	c     1641   4343    10221    95708    9    22590   10542   1642   2035 0.81
1800.02/1800.70	c     2961   4343    11541   182049   15    25230   11597   2962   2108 1.40
1800.02/1800.70	c     5042   4343    13622   263438   19    29392   12757   5043   2213 2.28
1800.02/1800.70	c     8265   4343    16845   358268   21    35839   14033   8266   2269 3.64
1800.02/1800.70	c    13201   4343    21781   558248   25    45710   15437  13202   1838 7.18
1800.02/1800.70	c    20707   4343    20479   507754   24    43106   16981  11900   1644 12.60
1800.02/1800.70	c    32068   4343    21685   693418   31    45518   18680  13106   1502 21.35
1800.02/1800.70	c    49212   4343    17920   487471   27    37988   20549   9341   1476 33.33
1800.02/1800.70	c    75031   4343    21114   536525   25    44376   22604  12535   1360 55.15
1800.02/1800.71	c   113864   4343    21172   909153   42    44492   24865  12593   1055 107.91
1800.02/1800.71	c   172217   4343    20485   963815   47    43118   27352  11906    847 203.21
1800.02/1800.71	c   259849   4343    26953  1379781   51    56053   30088  18374    703 369.28
1800.02/1800.71	c   391401   4343    20484   477666   23    43116   33097  11905    697 561.46
1800.02/1800.71	c   588833   4343    22834   775174   33    47816   36407  14255    744 791.18
1800.02/1800.71	c   885086   4343    43705  8074992  184    89558   40048  35126    558 1584.12
1800.02/1800.71	c Caught signal: 15
1800.02/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.02/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.02/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.02/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.02/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.02/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.02/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.02/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.02/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.02/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.02/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.02/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.02/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.02/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.02/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.02/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.02/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.02/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.02/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.02/1800.71	v -x981 -x983 -x985 -x987 -x989 -x991 -x993 -x995 -x997 -x999 -x1001 -x1003 -x1005 -x1007 -x1009 -x1011 -x1013 -x1015 -x1017
1800.02/1800.71	v -x1019 -x1021 -x1023 -x1025 -x1027 -x1029 -x1031 -x1033 -x1035 -x1037 -x1039 -x1041 -x1043 -x1045 -x1047 -x1049 -x1051
1800.02/1800.71	v -x1053 -x1055 -x1057 -x1059 -x1061 -x1063 -x1065 -x1067 -x1069 -x1071 -x1073 -x1075 -x1077 -x1079 -x1081 -x1083 -x1085
1800.02/1800.71	v -x1087 -x1089 -x1091 -x1093 -x1095 -x1097 -x1099 -x1101 -x1103 -x1105 -x1107 -x1109 -x1111 -x1113 -x1115 -x1117 -x1119
1800.02/1800.71	v -x1121 -x1123 -x1125 -x1127 -x1129 -x1131 -x1133 -x1135 -x1137 -x1139 -x1141 -x1143 -x1145 -x1147 -x1149 -x1151 -x1153
1800.02/1800.71	v -x1155 -x1157 -x1159 -x1161 -x1163 -x1165 -x1167 -x1169 -x1171 -x1173 -x1175 -x1177 -x1179 -x1181 -x1183 -x1185 -x1187
1800.02/1800.71	v -x1189 -x1191 -x1193 -x1195 -x1197 -x1199 -x1201 -x1203 -x1205 -x1207 -x1209 -x1211 -x1213 -x1215 -x1217 -x1219 -x1221
1800.02/1800.71	v -x1223 -x1225 -x1227 -x1229 -x1231 -x1233 -x1235 -x1237 -x1239 -x1241 -x1243 -x1245 -x1247 -x1249 -x1251 -x1253 -x1255
1800.02/1800.71	v -x1257 -x1259 -x1261 -x1263 -x1265 -x1267 -x1269 x1270 -x1272 -x1274 -x1276 -x1278 -x1280 -x1282 -x1284 -x1286 -x1288
1800.02/1800.71	v -x1290 -x1292 -x1294 -x1296 -x1298 -x1300 -x1302 -x1304 -x1306 -x1308 -x1310 -x1312 -x1314 -x1316 -x1318 -x1320 -x1322
1800.02/1800.71	v -x1324 -x1326 -x1328 -x1330 -x1332 -x1334 -x1336 -x1338 -x1340 -x1342 -x1344 -x1346 -x1348 -x1350 -x1352 -x1354 -x1356
1800.02/1800.71	v -x1358 -x1360 -x1362 -x1364 -x1366 -x1368 -x1370 -x1372 -x1374 -x1376 -x1378 -x1380 -x1382 -x1384 -x1386 -x1388 -x1390
1800.02/1800.71	v -x1392 -x1394 -x1396 -x1398 -x1400 -x1402 -x1404 -x1406 -x1408 -x1410 -x1412 -x1414 -x1416 -x1418 -x1420 -x1422 -x1424
1800.02/1800.71	v -x1426 -x1428 -x1430 -x1432 -x1434 -x1436 -x1438 -x1440 -x1442 -x1444 -x1446 -x1448 -x1450 -x1452 -x1454 -x1456 -x1458
1800.02/1800.71	v -x1460 -x1462 -x1464 -x1466 -x1468 -x1470 -x1472 -x1474 -x1476 -x1478 -x1480 -x1482 -x1484 -x1486 -x1488 -x1490 -x1492
1800.02/1800.71	v -x1494 -x1496 -x1498 -x1500 -x1502 -x1504 -x1506 -x1508 -x1510 -x1512 -x1514 -x1516 -x1518 -x1520 -x1522 -x1524 -x1526
1800.02/1800.71	v -x1528 -x1530 -x1532 -x1534 -x1536 -x1538 -x1540 -x1542 -x1544 -x1546 -x1548 -x1550 -x1552 -x1554 -x1556 -x1558 -x1560
1800.02/1800.71	v -x1562 -x1564 -x1566 -x1568 -x1570 -x1572 -x1574 -x1576 -x1578 -x1580 -x1582 -x1584 -x1586 -x1588 -x1590 -x1592 -x1594
1800.02/1800.71	v -x1596 -x1598 -x1600 -x1602 -x1604 -x1606 -x1608 -x1610 -x1612 -x1614 -x1616 -x1618 -x1620 -x1622 -x1624 -x1626 -x1628
1800.02/1800.71	v -x1630 -x1632 -x1634 -x1636 -x1638 -x1640 -x1642 -x1644 -x1646 -x1648 -x1650 -x1652 -x1654 -x1656 -x1658 -x1660 -x1662
1800.02/1800.71	v -x1664 -x1666 -x1668 -x1670 -x1672 -x1674 -x1676 -x1678 -x1680 -x1682 -x1684 -x1686 -x1688 -x1690 -x1692 -x1694 -x1696
1800.02/1800.71	v -x1698 -x1700 -x1702 -x1704 -x1706 -x1708 -x1710 -x1712 -x1714 -x1716 -x1718 -x1720 -x1722 -x1724 -x1726 -x1728 -x1730
1800.02/1800.71	v -x1732 -x1734 -x1736 -x1738 -x1740 -x1742 -x1744 -x1746 -x1748 -x1750 -x1752 -x1754 -x1755 -x1757 -x1759 -x1761 -x1763
1800.02/1800.71	v -x1765 -x1767 -x1769 -x1771 -x1773 -x1775 -x1777 -x1779 -x1781 -x1783 -x1785 -x1787 -x1789 -x1791 -x1793 -x1795 -x1797
1800.02/1800.71	v -x1799 -x1801 -x1803 -x1805 -x1807 -x1809 -x1811 -x1813 -x1815 -x1817 -x1819 -x1821 -x1823 -x1825 -x1827 -x1829 -x1831
1800.02/1800.71	v -x1833 -x1835 -x1837 -x1839 -x1841 -x1843 -x1845 -x1847 -x1849 -x1851 -x1853 -x1855 -x1856 -x1858 -x1860 -x1862 -x1864
1800.02/1800.71	v -x1866 -x1868 -x1870 -x1872 -x1874 -x1876 -x1878 -x1880 -x1882 -x1884 -x1886 -x1888 -x1890 -x1892 -x1894 -x1896 -x1897
1800.02/1800.71	v -x1899 -x1901 -x1903 -x1905 -x1907 -x1909 -x1911 -x1913 -x1915 -x1917 -x1919 -x1921 -x1923 -x1924 -x1926 -x1928 -x1930
1800.02/1800.71	v -x1932 -x1933 -x1935 -x1937 -x1939 -x1941 -x1943 -x1945 x1946 -x1948 -x1950 -x1952 -x1954 -x1956 -x1958 -x1960 -x1962
1800.02/1800.71	v -x1964 -x1966 -x1968 -x1970 -x1972 -x1974 -x1976 -x1978 -x1980 -x1982 -x1984 -x1986 -x1988 -x1990 -x1992 -x1994 -x1996
1800.02/1800.71	v -x1998 -x2000 -x2002 -x2004 -x2006 -x2008 -x2009 -x2011 -x2013 -x2015 -x2017 -x2019 -x2021 -x2023 -x2025 -x2027 -x2029
1800.02/1800.71	v -x2031 -x2033 -x2035 -x2037 -x2039 -x2041 -x2043 -x2045 -x2047 -x2049 -x2051 -x2053 -x2055 -x2057 -x2059 -x2061 -x2063
1800.02/1800.71	v -x2065 -x2067 -x2069 -x2071 -x2073 -x2075 -x2077 -x2079 -x2081 -x2083 -x2085 -x2087 -x2089 -x2091 -x2093 -x2095 -x2097
1800.02/1800.71	v -x2099 -x2101 -x2103 -x2105 -x2107 -x2109 -x2111 -x2113 -x2115 -x2117 -x2119 -x2121 -x2123 -x2125 -x2127 -x2129 -x2131
1800.02/1800.71	v -x2133 -x2135 -x2137 -x2139 -x2141 -x2142 -x2144 -x2146 -x2148 -x2150 -x2152 -x2154 -x2156 x2158 -x2160 -x2162 -x2164
1800.02/1800.71	v -x2166 -x2168 -x2170 -x2172 -x2174 -x2176 -x2178 -x2180 -x2182 -x2184 -x2186 -x2188 -x2190 -x2192 -x2193 -x2195 -x2197
1800.02/1800.71	v -x2199 x2201 -x2203 -x2205 -x2207 -x2209 -x2211 -x2213 -x2215 -x2217 -x2219 -x2221 -x2223 -x2225 -x2227 -x2229 x2230 -x2232
1800.02/1800.71	v -x2234 -x2236 -x2238 -x2240 -x2242 -x2244 -x2246 -x2248 -x2250 -x2252 -x2254 -x2256 -x2258 -x2259 -x2261 -x2263 -x2265
1800.02/1800.71	v -x2267 -x2269 -x2271 -x2273 -x2275 -x2277 -x2278 -x2280 -x2282 -x2283 -x2285 -x2287 -x2289 -x2291 -x2293 -x2295 -x2297
1800.02/1800.71	v -x2299 -x2301 -x2303 -x2305 -x2307 -x2309 -x2310 -x2312 -x2314 -x2316 -x2318 -x2320 -x2322 -x2324 -x2326 -x2328 -x2330
1800.02/1800.71	v -x2332 -x2334 -x2336 -x2338 -x2340 -x2342 -x2344 -x2346 -x2348 -x2350 -x2352 -x2354 -x2356 -x2358 -x2360 -x2362 -x2364
1800.02/1800.71	v -x2366 -x2368 -x2370 -x2372 -x2374 -x2376 -x2378 -x2380 -x2382 -x2384 -x2386 -x2388 -x2390 -x2392 -x2394 -x2396 -x2398
1800.02/1800.71	v -x2400 -x2402 -x2404 -x2406 -x2408 -x2410 -x2411 -x2413 -x2415 -x2417 -x2419 -x2421 -x2423 -x2425 -x2427 -x2429 -x2431
1800.02/1800.71	v -x2433 -x2435 -x2437 -x2438 -x2440 -x2442 -x2444 -x2445 -x2447 -x2449 -x2451 -x2453 -x2455 -x2457 -x2459 -x2461 -x2463
1800.02/1800.71	v -x2465 -x2466 -x2468 -x2469 -x2471 -x2473 -x2475 -x2477 -x2479 -x2481 -x2483 -x2485 -x2487 -x2489 -x2490 -x2492 -x2494
1800.02/1800.71	v -x2496 -x2498 -x2500 -x2502 -x2504 -x2506 -x2508 -x2510 -x2512 -x2514 -x2516 -x2518 -x2519 -x2521 -x2523 -x2525 -x2527
1800.02/1800.71	v -x2529 -x2531 -x2532 -x2534 -x2536 -x2538 -x2539 -x2541 -x2542 -x2543 -x2545 -x2546 -x2548 -x2550 -x2552 -x2554 -x2556
1800.02/1800.71	v -x2558 -x2560 -x2562 -x2563 -x2565 -x2567 -x2568 -x2570 -x2572 -x2574 -x2576 -x2578 -x2580 -x2582 -x2584 -x2586 -x2588
1800.02/1800.71	v -x2590 -x2592 -x2594 -x2596 -x2598 -x2600 -x2602 -x2604 -x2606 -x2608 -x2609 -x2611 -x2613 -x2615 -x2617 -x2619 -x2621
1800.02/1800.71	v -x2623 -x2625 -x2627 -x2629 -x2631 -x2633 -x2635 -x2636 -x2637 -x2639 -x2641 -x2643 -x2645 -x2647 -x2649 -x2651 x2653
1800.02/1800.71	v -x2655 -x2657 x2659 -x2661 -x2663 -x2665 -x2667 -x2669 -x2671 -x2673 -x2675 -x2677 -x2679 -x2681 -x2682 -x2684 -x2685
1800.02/1800.71	v -x2687 -x2689 -x2691 -x2693 -x2694 -x2696 -x2698 -x2699 -x2701 -x2703 -x2705 -x2706 -x2707 -x2709 -x2711 -x2713 -x2715
1800.02/1800.71	v -x2717 -x2719 -x2721 -x2723 -x2725 -x2727 -x2729 -x2731 -x2733 -x2735 -x2737 -x2739 -x2741 -x2743 x2744 -x2746 -x2748
1800.02/1800.71	v -x2750 -x2752 -x2754 -x2756 -x2758 -x2760 -x2762 -x2764 -x2766 -x2768 -x2770 -x2772 -x2774 -x2776 -x2778 -x2780 -x2782
1800.02/1800.71	v -x2784 -x2786 -x2788 -x2790 -x2792 -x2794 -x2796 -x2798 -x2800 -x2802 -x2804 -x2806 -x2808 -x2810 -x2812 -x2814 -x2816
1800.02/1800.71	v -x2818 -x2820 -x2822 -x2824 -x2826 -x2828 -x2830 -x2832 -x2834 -x2836 -x2838 -x2840 -x2842 -x2844 -x2846 -x2848 -x2850
1800.02/1800.71	v -x2852 -x2854 -x2855 -x2857 -x2859 -x2861 -x2863 -x2865 -x2867 -x2869 -x2871 -x2873 -x2875 -x2877 -x2879 -x2881 -x2883
1800.02/1800.71	v -x2885 -x2887 x2889 -x2891 -x2893 -x2895 -x2897 -x2899 -x2901 -x2903 -x2905 -x2907 -x2909 -x2911 -x2913 -x2915 -x2917
1800.02/1800.71	v -x2919 -x2921 -x2923 -x2925 -x2927 -x2929 -x2931 -x2933 -x2935 -x2937 -x2939 -x2941 -x2943 -x2945 -x2947 -x2949 -x2951
1800.02/1800.71	v -x2953 -x2955 -x2957 -x2959 -x2961 -x2963 -x2965 -x2967 -x2969 -x2970 -x2972 -x2974 -x2976 -x2978 -x2979 -x2981 -x2983
1800.02/1800.71	v -x2985 -x2987 -x2989 -x2991 -x2993 -x2995 -x2997 -x2999 -x3001 -x3003 -x3004 -x3006 -x3008 -x3010 -x3012 -x3014 -x3016
1800.02/1800.71	v -x3018 -x3020 -x3022 -x3024 -x3026 -x3028 -x3030 -x3032 -x3034 -x3036 -x3038 -x3039 -x3041 -x3043 -x3044 -x3046 -x3048
1800.02/1800.71	v -x3050 -x3052 -x3054 -x3056 -x3058 -x3060 -x3062 -x3064 -x3066 -x3068 -x3069 -x3071 -x3073 -x3075 -x3077 x3078 -x3080
1800.02/1800.71	v -x3082 -x3084 -x3086 -x3088 -x3090 -x3092 -x3094 -x3096 -x3098 -x3100 -x3102 -x3104 -x3106 -x3108 -x3110 -x3112 -x3114
1800.02/1800.71	v -x3116 -x3118 -x3120 -x3122 -x3124 -x3126 -x3128 -x3130 -x3132 -x3134 -x3136 -x3138 -x3140 -x3142 -x3144 -x3146 -x3148
1800.02/1800.71	v -x3150 -x3152 -x3154 -x3156 -x3158 -x3160 -x3162 -x3164 -x3166 -x3168 -x3170 -x3172 -x3174 -x3176 -x3178 -x3180 -x3182
1800.02/1800.71	v -x3184 -x3186 -x3188 -x3190 -x3192 -x3194 -x3196 -x3198 -x3200 -x3202 -x3204 -x3206 -x3208 -x3210 -x3212 -x3214 -x3216
1800.02/1800.71	v -x3218 -x3220 -x3222 -x3224 -x3226 -x3228 -x3230 -x3232 -x3234 -x3236 -x3238 -x3240 -x3242 -x3244 -x3246 -x3248 -x3250
1800.02/1800.71	v -x3252 -x3253 -x3255 -x3257 -x3259 -x3261 -x3263 -x3265 -x3267 -x3269 -x3271 -x3273 -x3275 -x3277 x3278 -x3280 -x3282
1800.02/1800.71	v -x3284 -x3286 -x3288 -x3290 -x3292 -x3293 -x3295 -x3297 -x3299 -x3301 -x3303 -x3305 -x3307 -x3309 -x3310 -x3312 -x3314
1800.02/1800.71	v -x3315 -x3317 -x3319 -x3321 -x3322 -x3324 -x3326 -x3328 -x3330 -x3332 -x3334 -x3336 -x3337 -x3339 -x3340 -x3342 -x3344
1800.02/1800.71	v -x3346 -x3348 -x3350 -x3352 -x3354 -x3356 -x3358 -x3360 -x3362 -x3363 -x3364 -x3366 -x3368 -x3370 -x3372 -x3374 -x3376
1800.02/1800.71	v -x3378 -x3380 -x3382 -x3384 -x3385 -x3387 -x3389 -x3391 -x3393 -x3395 -x3397 -x3399 -x3401 -x3402 -x3404 -x3406 -x3408
1800.02/1800.71	v -x3409 -x3411 -x3413 -x3415 -x3417 -x3418 -x3419 -x3421 -x3423 -x3425 -x3427 -x3428 -x3430 -x3432 -x3434 -x3436 -x3438
1800.02/1800.71	v -x3439 -x3441 -x3442 -x3444 -x3446 -x3448 -x3450 -x3452 -x3454 -x3456 -x3458 -x3460 -x3462 -x3464 -x3466 -x3468 -x3470
1800.02/1800.71	v -x3472 -x3474 -x3476 -x3478 -x3480 -x3481 -x3483 -x3485 -x3487 -x3489 -x3491 -x3493 -x3495 -x3497 -x3499 -x3501 -x3503
1800.02/1800.71	v -x3505 -x3507 x3508 -x3510 -x3512 -x3514 -x3515 -x3517 -x3519 -x3521 -x3523 -x3524 -x3526 -x3528 -x3530 -x3531 -x3533
1800.02/1800.71	v -x3535 -x3537 -x3539 -x3541 -x3543 -x3545 -x3547 -x3548 -x3550 -x3552 -x3554 -x3556 -x3557 -x3559 -x3561 -x3563 -x3565
1800.02/1800.71	v -x3567 -x3569 -x3571 -x3573 -x3575 -x3577 -x3579 -x3581 -x3583 -x3585 -x3587 -x3589 -x3591 -x3592 -x3594 -x3596 -x3598
1800.02/1800.71	v -x3600 -x3602 -x3604 -x3606 -x3608 -x3610 -x3612 -x3614 -x3616 -x3618 -x3620 -x3622 -x3624 -x3626 -x3628 -x3630 -x3632
1800.02/1800.71	v -x3634 -x3636 -x3638 -x3640 -x3642 -x3644 -x3646 -x3648 -x3650 -x3652 -x3654 -x3656 -x3658 -x3660 -x3662 -x3664 -x3666
1800.02/1800.71	v -x3668 -x3670 -x3672 -x3674 -x3676 -x3678 -x3680 -x3682 -x3684 -x3686 -x3688 -x3690 -x3692 -x3694 -x3696 -x3698 -x3700
1800.02/1800.71	v -x3702 -x3704 -x3706 -x3708 -x3710 -x3712 -x3713 -x3715 -x3717 -x3719 -x3721 -x3723 -x3725 -x3727 -x3729 -x3731 -x3733
1800.02/1800.71	v -x3735 -x3737 -x3739 -x3741 -x3743 -x3745 -x3747 -x3749 -x3751 -x3753 -x3755 -x3757 -x3759 -x3760 -x3762 -x3764 -x3765
1800.02/1800.71	v -x3767 -x3769 -x3771 -x3773 -x3775 -x3776 -x3778 -x3780 -x3782 -x3784 -x3786 -x3788 -x3790 -x3792 -x3794 -x3796 -x3798
1800.02/1800.71	v -x3800 -x3802 -x3804 -x3806 -x3808 -x3809 -x3811 -x3813 -x3815 -x3817 -x3819 -x3821 -x3823 -x3825 -x3827 -x3829 -x3831
1800.02/1800.71	v -x3833 -x3835 -x3837 -x3839 -x3841 -x3843 -x3845 -x3847 -x3849 -x3851 -x3853 -x3855 -x3857 -x3859 -x3861 -x3863 -x3865
1800.02/1800.71	v -x3867 -x3868 -x3870 -x3872 -x3873 -x3875 -x3877 -x3879 -x3881 -x3883 -x3885 -x3887 -x3888 -x3889 -x3891 -x3892 -x3894
1800.02/1800.71	v -x3896 -x3898 -x3900 -x3902 -x3904 -x3906 -x3908 -x3909 -x3911 -x3913 -x3915 -x3917 -x3919 -x3921 -x3923 -x3925 -x3926
1800.02/1800.71	v -x3927 -x3929 -x3930 -x3932 -x3933 -x3935 -x3937 -x3939 -x3940 -x3942 -x3944 -x3946 -x3948 -x3949 x3950 -x3952 -x3954
1800.02/1800.71	v -x3956 -x3957 -x3959 -x3961 -x3963 -x3965 -x3967 -x3968 -x3970 -x3972 -x3974 -x3975 x3976 -x3978 -x3980 -x3982 -x3983
1800.02/1800.71	v -x3984 -x3986 -x3988 -x3990 -x3992 -x3994 -x3996 -x3997 -x3998 -x4000 -x4002 -x4004 -x4006 -x4008 -x4010 -x4012 -x4014
1800.02/1800.71	v -x4015 -x4017 -x4019 -x4021 -x4022 -x4024 -x4026 -x4028 -x4030 -x4031 -x4033 -x4034 -x4036 -x4038 -x4040 -x4042 -x4044
1800.02/1800.71	v -x4046 -x4048 -x4050 -x4052 -x4054 -x4055 -x4057 -x4059 -x4061 -x4063 -x4065 -x4066 -x4068 -x4069 -x4071 -x4073 -x4075
1800.02/1800.71	v -x4077 -x4079 -x4081 -x4083 -x4084 -x4086 -x4088 -x4089 -x4091 -x4093 -x4095 -x4097 -x4099 -x4101 -x4103 -x4105 -x4107
1800.02/1800.71	v -x4109 -x4111 -x4113 -x4115 -x4117 -x4119 -x4121 -x4123 -x4125 -x4127 -x4129 x4130 -x4132 -x4134 -x4136 -x4138 -x4140
1800.02/1800.71	v -x4141 -x4143 -x4145 -x4147 -x4149 -x4151 -x4153 -x4155 -x4157 -x4159 -x4161 -x4163 -x4164 -x4166 -x4168 -x4170 -x4172
1800.02/1800.71	v -x4174 -x4176 -x4178 -x4180 -x4181 -x4182 -x4184 -x4185 -x4187 -x4188 -x4190 -x4191 -x4193 -x4195 -x4196 -x4198 -x4199
1800.02/1800.71	v -x4200 -x4201 -x4203 -x4205 -x4207 -x4209 -x4211 -x4213 -x4215 -x4217 -x4218 -x4219 -x4221 -x4223 -x4225 -x4227 -x4229
1800.02/1800.71	v -x4231 -x4232 -x4234 -x4236 -x4238 -x4240 -x4242 -x4244 -x4246 -x4248 -x4250 -x4252 -x4253 -x4255 -x4256 -x4258 -x4260
1800.02/1800.71	v -x4261 -x4263 -x4265 -x4266 -x4267 -x4268 -x4270 -x4272 -x4274 -x4275 -x4277 -x4279 -x4281 -x4283 -x4284 x4285 -x4287
1800.02/1800.71	v -x4289 -x4290 -x4292 -x4294 -x4295 -x4296 -x4297 -x4298 x4299 -x4300 -x4302 -x4304 -x4306 -x4308 -x4310 -x4311 -x4313
1800.02/1800.71	v -x4314 -x4315 -x4316 -x4317 -x4319 -x4321 -x4322 -x4323 -x4324 x4325 -x4327 -x4328 -x4329 -x4331 -x4332 -x4334 x4335 x4336
1800.02/1800.71	v -x4337 -x4338 -x4339 -x4340 -x4342 -x4343 -x4345 -x4346 -x4348 -x4350 -x4351 -x4352 -x4353 -x4355 x4356 x4357 -x4358 x4359
1800.02/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.02/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.02/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.02/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.02/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.02/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.02/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.02/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.02/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.02/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.02/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.02/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.02/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.02/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.02/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.02/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.02/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.02/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.02/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.02/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.02/1800.71	v -x44 -x982 -x984 -x986 -x988 -x990 -x992 -x994 -x996 -x998 -x1000 -x1002 -x1004 -x1006 -x1008 -x1010 -x45 -x1012 -x1014
1800.02/1800.71	v -x1016 -x1018 -x1020 -x1022 -x1024 -x1026 -x1028 -x1030 -x1032 -x1034 -x1036 -x1038 -x1040 -x46 -x1042 -x1044 -x1046 -x1048
1800.02/1800.71	v -x1050 -x1052 -x1054 -x1056 -x1058 -x1060 -x1062 -x1064 -x1066 -x1068 -x1070 -x1072 -x1074 -x1076 -x1078 -x1080 -x1082
1800.02/1800.71	v -x1084 -x1086 -x1088 -x1090 -x1092 -x1094 -x1096 -x1098 -x1100 -x1102 -x47 -x1104 -x1106 -x1108 -x1110 -x1112 -x1114 -x1116
1800.02/1800.71	v -x1118 -x1120 -x1122 -x1124 -x1126 -x1128 -x1130 -x1132 -x1134 -x1136 -x1138 -x1140 -x1142 -x1144 -x1146 -x1148 -x1150
1800.02/1800.71	v -x1152 -x1154 -x1156 -x1158 -x1160 -x1162 -x1164 -x1166 -x1168 -x1170 -x1172 -x1174 -x1176 -x1178 -x1180 -x1182 -x1184
1800.02/1800.71	v -x1186 -x1188 -x1190 -x1192 -x1194 -x1196 -x1198 -x1200 -x1202 -x1204 -x1206 -x1208 -x1210 -x1212 -x1214 -x1216 -x1218
1800.02/1800.71	v -x1220 -x1222 -x1224 -x1226 -x1228 -x1230 -x1232 -x1234 -x1236 -x1238 -x1240 -x1242 -x1244 -x1246 -x1248 -x1250 -x1252
1800.02/1800.71	v -x1254 -x1256 -x1258 -x1260 -x1262 -x1264 -x1266 -x1268 -x1271 -x1273 -x1275 -x1277 -x1279 -x1281 -x1283 -x1285 -x1287
1800.02/1800.71	v -x1289 -x1291 -x1293 -x1295 -x1297 -x1299 -x1301 -x1303 -x1305 -x1307 -x1309 -x1311 -x1313 -x1315 -x1317 -x1319 -x1321
1800.02/1800.71	v -x1323 -x1325 -x1327 -x1329 -x1331 -x1333 -x1335 -x1337 -x1339 -x1341 -x1343 -x1345 -x1347 -x1349 -x1351 -x1353 -x1355
1800.02/1800.71	v -x1357 -x1359 -x1361 -x1363 -x1365 -x1367 -x1369 -x1371 -x1373 -x1375 -x1377 -x1379 -x1381 -x1383 -x1385 -x1387 -x1389
1800.02/1800.71	v -x1391 -x1393 -x1395 -x1397 -x1399 -x1401 -x1403 -x1405 -x1407 -x1409 -x1411 -x1413 -x1415 -x1417 -x1419 -x1421 -x1423
1800.02/1800.71	v -x1425 -x1427 -x1429 -x1431 -x1433 -x1435 -x1437 -x1439 -x1441 -x1443 -x1445 -x1447 -x1449 -x1451 -x1453 -x1455 -x1457
1800.02/1800.71	v -x1459 -x1461 -x1463 -x1465 -x1467 -x1469 -x1471 -x1473 -x1475 -x1477 -x1479 -x1481 -x1483 -x1485 -x1487 -x1489 -x48 -x1491
1800.02/1800.71	v -x1493 -x1495 -x1497 -x1499 -x1501 -x1503 -x1505 -x1507 -x1509 -x1511 -x1513 -x1515 -x1517 -x1519 -x1521 -x1523 -x1525
1800.02/1800.71	v -x1527 -x1529 -x1531 -x1533 -x1535 -x1537 -x1539 -x1541 -x1543 -x1545 -x1547 -x1549 -x1551 -x1553 -x1555 -x1557 -x1559
1800.02/1800.71	v -x1561 -x1563 -x1565 -x1567 -x1569 -x1571 -x1573 -x1575 -x49 -x1577 -x1579 -x1581 -x1583 -x1585 -x1587 -x1589 -x1591 -x1593
1800.02/1800.71	v -x1595 -x1597 -x1599 -x1601 -x1603 -x1605 -x1607 -x1609 -x1611 -x1613 -x1615 -x1617 -x1619 -x1621 -x1623 -x1625 -x1627
1800.02/1800.71	v -x1629 -x1631 -x1633 -x1635 -x1637 -x1639 -x1641 -x1643 -x1645 -x1647 -x1649 -x1651 -x1653 -x1655 -x1657 -x1659 -x1661
1800.02/1800.71	v -x50 -x1663 -x1665 -x1667 -x1669 -x1671 -x1673 -x1675 -x1677 -x1679 -x1681 -x1683 -x1685 -x1687 -x1689 -x1691 -x1693 -x1695
1800.02/1800.71	v -x1697 -x1699 -x1701 -x1703 -x1705 -x1707 -x1709 -x1711 -x1713 -x1715 -x1717 -x1719 -x1721 -x1723 -x1725 -x1727 -x1729
1800.02/1800.71	v -x1731 -x51 -x1733 -x1735 -x1737 -x1739 -x1741 -x1743 -x1745 -x1747 -x1749 -x1751 -x1753 -x52 -x1756 -x1758 -x1760 -x1762
1800.02/1800.71	v -x1764 -x1766 -x1768 -x1770 -x1772 -x1774 -x53 -x1776 -x1778 -x1780 -x1782 -x1784 -x1786 -x1788 -x1790 -x1792 -x1794 -x1796
1800.02/1800.71	v -x1798 -x1800 -x1802 -x1804 -x1806 -x1808 -x1810 -x1812 -x1814 -x1816 -x1818 -x1820 -x1822 -x1824 -x1826 -x1828 -x1830
1800.02/1800.71	v -x1832 -x1834 -x1836 -x1838 -x1840 -x1842 -x1844 -x54 -x1846 -x1848 -x1850 -x1852 -x1854 -x1857 -x1859 -x1861 -x1863 -x1865
1800.02/1800.71	v -x55 -x1867 -x1869 -x1871 -x1873 -x1875 -x1877 -x1879 -x1881 -x1883 -x1885 -x1887 -x56 -x1889 -x1891 -x1893 -x1895 -x1898
1800.02/1800.71	v -x1900 -x1902 -x1904 -x1906 -x1908 -x1910 -x1912 -x1914 -x1916 -x1918 -x1920 -x57 -x1922 -x1925 -x1927 -x1929 -x58 -x1931
1800.02/1800.71	v -x1934 -x1936 -x1938 -x1940 -x1942 -x1944 -x1947 -x1949 -x1951 -x1953 -x1955 -x1957 -x1959 -x1961 -x1963 -x1965 -x1967
1800.02/1800.71	v -x1969 -x1971 -x59 -x1973 -x1975 -x1977 -x1979 -x1981 -x1983 -x1985 -x1987 -x1989 -x1991 -x1993 -x60 -x1995 -x1997 -x1999
1800.02/1800.71	v -x2001 -x2003 -x2005 -x2007 -x2010 -x2012 -x2014 -x61 -x2016 -x2018 -x2020 -x2022 -x2024 -x2026 -x2028 -x2030 -x2032 -x2034
1800.02/1800.71	v -x2036 -x2038 -x2040 -x2042 -x2044 -x2046 -x2048 -x2050 -x2052 -x2054 -x2056 -x2058 -x2060 -x2062 -x2064 -x2066 -x2068
1800.02/1800.71	v -x2070 -x2072 -x2074 -x2076 -x2078 -x2080 -x2082 -x2084 -x2086 -x2088 -x2090 -x2092 -x2094 -x2096 -x2098 -x2100 -x2102
1800.02/1800.71	v -x2104 -x2106 -x2108 -x62 -x2110 -x2112 -x2114 -x2116 -x2118 -x2120 -x2122 -x2124 -x2126 -x2128 -x2130 -x63 -x2132 -x2134
1800.02/1800.71	v -x2136 -x2138 -x2140 -x2143 -x2145 -x2147 -x2149 -x2151 -x64 -x2153 -x2155 x2157 x65 -x2159 -x2161 -x2163 -x66 -x2165 -x2167
1800.02/1800.71	v -x2169 -x2171 -x2173 -x2175 -x2177 -x2179 -x2181 -x2183 -x2185 -x67 -x2187 -x2189 -x2191 -x2194 -x2196 -x2198 x2200 -x2202
1800.02/1800.71	v -x2204 -x2206 -x2208 -x2210 -x2212 -x2214 -x2216 -x2218 -x2220 -x2222 -x2224 -x2226 -x2228 -x2231 -x2233 -x2235 -x2237
1800.02/1800.71	v -x2239 -x2241 -x2243 -x2245 -x2247 -x2249 -x2251 -x2253 -x2255 -x2257 -x68 -x2260 -x2262 -x2264 -x2266 -x2268 -x2270 -x2272
1800.02/1800.71	v -x2274 -x2276 -x69 -x2279 -x2281 -x70 -x2284 -x2286 -x2288 -x71 -x2290 -x2292 -x2294 -x2296 -x2298 -x2300 -x2302 -x72 -x2304
1800.02/1800.71	v -x2306 -x2308 -x2311 -x2313 -x2315 -x73 -x2317 -x2319 -x2321 -x2323 -x2325 -x2327 -x2329 -x2331 -x2333 -x2335 -x2337 -x2339
1800.02/1800.71	v -x2341 -x2343 -x2345 -x2347 -x2349 -x2351 -x2353 -x2355 -x2357 -x2359 -x2361 -x2363 -x2365 -x2367 -x2369 -x2371 -x2373
1800.02/1800.71	v -x2375 -x2377 -x2379 -x2381 -x2383 -x2385 -x2387 -x2389 -x2391 -x2393 -x2395 -x2397 -x2399 -x2401 -x74 -x2403 -x2405 -x2407
1800.02/1800.71	v -x2409 -x2412 -x2414 -x2416 -x2418 -x2420 -x2422 -x75 -x2424 -x2426 -x2428 -x2430 -x2432 -x2434 -x2436 -x2439 -x2441 -x2443
1800.02/1800.71	v -x76 -x2446 -x2448 -x2450 -x2452 -x2454 -x2456 -x2458 -x2460 -x2462 -x2464 -x77 -x2467 -x78 -x2470 -x2472 -x2474 -x79 -x2476
1800.02/1800.71	v -x2478 -x2480 -x2482 -x2484 -x2486 -x2488 -x2491 -x2493 -x2495 -x80 -x2497 -x2499 -x2501 -x2503 -x2505 -x2507 -x2509 -x2511
1800.02/1800.71	v -x2513 -x2515 -x2517 -x81 -x2520 -x2522 -x82 -x2524 -x2526 -x2528 -x83 -x2530 -x2533 -x84 -x2535 -x2537 -x2540 -x85 -x86
1800.02/1800.71	v -x2544 -x87 -x2547 -x2549 -x2551 -x2553 -x88 -x2555 -x2557 -x2559 -x89 -x2561 -x2564 -x90 -x2566 -x2569 -x91 -x2571 -x2573
1800.02/1800.71	v -x2575 -x2577 -x2579 -x2581 -x2583 -x2585 -x2587 -x2589 -x2591 -x2593 -x2595 -x2597 -x2599 -x92 -x2601 -x2603 -x2605 -x93
1800.02/1800.71	v -x2607 -x2610 -x94 -x2612 -x2614 -x2616 -x2618 -x2620 -x2622 -x2624 -x2626 -x2628 -x2630 -x2632 -x95 -x2634 -x2638 -x2640
1800.02/1800.71	v -x2642 -x2644 -x2646 -x2648 -x2650 x2652 x96 -x2654 -x2656 x2658 -x2660 -x2662 -x2664 -x97 -x2666 -x2668 -x2670 -x2672
1800.02/1800.71	v -x2674 -x2676 -x2678 -x98 -x2680 -x2683 -x2686 -x2688 -x2690 -x2692 -x2695 -x2697 -x99 -x2700 -x2702 -x100 -x2704 -x101
1800.02/1800.71	v -x2708 -x2710 -x2712 -x2714 -x2716 -x2718 -x2720 -x2722 -x2724 -x2726 -x2728 -x2730 -x2732 -x2734 -x2736 -x2738 -x2740
1800.02/1800.71	v -x2742 -x2745 -x2747 -x2749 -x2751 -x2753 -x2755 -x2757 -x2759 -x2761 -x2763 -x2765 -x2767 -x2769 -x2771 -x2773 -x2775
1800.02/1800.71	v -x2777 -x2779 -x2781 -x2783 -x2785 -x2787 -x2789 -x2791 -x2793 -x2795 -x2797 -x2799 -x2801 -x2803 -x2805 -x2807 -x2809
1800.02/1800.71	v -x2811 -x2813 -x102 -x2815 -x2817 -x2819 -x2821 -x2823 -x2825 -x2827 -x2829 -x2831 -x2833 -x2835 -x2837 -x2839 -x2841
1800.02/1800.71	v -x2843 -x103 -x2845 -x2847 -x2849 -x2851 -x2853 -x2856 -x2858 -x2860 -x2862 -x2864 -x2866 -x2868 -x2870 -x2872 -x2874
1800.02/1800.71	v -x2876 -x2878 -x2880 -x2882 -x2884 -x2886 x2888 -x2890 -x2892 -x2894 -x2896 -x2898 -x2900 -x2902 -x2904 -x2906 -x2908
1800.02/1800.71	v -x2910 -x2912 -x2914 -x2916 -x2918 -x2920 -x2922 -x2924 -x2926 -x2928 -x2930 -x2932 -x2934 -x2936 -x2938 -x2940 -x2942
1800.02/1800.71	v -x2944 -x2946 -x2948 -x2950 -x2952 -x2954 -x2956 -x2958 -x104 -x2960 -x2962 -x2964 -x2966 -x2968 -x2971 -x2973 -x2975
1800.02/1800.71	v -x2977 -x105 -x2980 -x2982 -x2984 -x2986 -x2988 -x2990 -x2992 -x2994 -x2996 -x2998 -x3000 -x106 -x3002 -x3005 -x3007 -x3009
1800.02/1800.71	v -x3011 -x3013 -x3015 -x3017 -x3019 -x3021 -x3023 -x3025 -x3027 -x3029 -x3031 -x3033 -x107 -x3035 -x3037 -x3040 -x3042
1800.02/1800.71	v -x108 -x3045 -x3047 -x3049 -x3051 -x109 -x3053 -x3055 -x3057 -x3059 -x3061 -x3063 -x3065 -x3067 -x3070 -x3072 -x3074 -x3076
1800.02/1800.71	v -x3079 -x3081 -x3083 -x3085 -x110 -x3087 -x3089 -x3091 -x3093 -x3095 -x3097 -x3099 -x3101 -x3103 -x3105 -x3107 -x111 -x3109
1800.02/1800.71	v -x3111 -x3113 -x112 -x3115 -x3117 -x3119 -x113 -x3121 -x3123 -x3125 -x3127 -x3129 -x3131 -x3133 -x114 -x3135 -x3137 -x3139
1800.02/1800.71	v -x3141 -x3143 -x3145 -x3147 -x115 -x3149 -x3151 -x3153 -x3155 -x3157 -x3159 -x3161 -x3163 -x3165 -x3167 -x3169 -x3171
1800.02/1800.71	v -x3173 -x3175 -x3177 -x3179 -x3181 -x3183 -x3185 -x3187 -x3189 -x3191 -x3193 -x3195 -x3197 -x3199 -x3201 -x3203 -x3205
1800.02/1800.71	v -x3207 -x3209 -x3211 -x3213 -x3215 -x3217 -x3219 -x3221 -x3223 -x3225 -x3227 -x3229 -x3231 -x3233 -x116 -x3235 -x3237
1800.02/1800.71	v -x3239 -x3241 -x3243 -x3245 -x3247 -x3249 -x3251 -x3254 -x117 -x3256 -x3258 -x3260 -x3262 -x3264 -x3266 -x3268 -x3270
1800.02/1800.71	v -x3272 -x3274 -x3276 -x3279 -x3281 -x3283 -x3285 -x3287 -x3289 -x118 -x3291 -x3294 -x3296 -x3298 -x3300 -x3302 -x3304
1800.02/1800.71	v -x3306 -x3308 -x119 -x3311 -x3313 -x120 -x3316 -x3318 -x3320 -x121 -x3323 -x3325 -x3327 -x3329 -x3331 -x3333 -x3335 -x3338
1800.02/1800.71	v -x122 -x3341 -x3343 -x3345 -x3347 -x3349 -x3351 -x3353 -x3355 -x3357 -x3359 -x3361 -x123 -x124 -x3365 -x3367 -x3369 -x125
1800.02/1800.71	v -x3371 -x3373 -x3375 -x3377 -x3379 -x3381 -x3383 -x3386 -x3388 -x3390 -x3392 -x3394 -x3396 -x3398 -x126 -x3400 -x3403
1800.02/1800.71	v -x127 -x3405 -x3407 -x128 -x3410 -x3412 -x3414 -x3416 -x129 -x130 -x3420 -x131 -x3422 -x3424 -x3426 -x3429 -x132 -x3431
1800.02/1800.71	v -x3433 -x3435 -x133 -x3437 -x3440 -x134 -x3443 -x3445 -x135 -x3447 -x3449 -x3451 -x3453 -x3455 -x3457 -x3459 -x3461 -x3463
1800.02/1800.71	v -x3465 -x3467 -x3469 -x3471 -x3473 -x3475 -x136 -x3477 -x3479 -x137 -x3482 -x3484 -x3486 -x138 -x3488 -x3490 -x3492 -x3494
1800.02/1800.71	v -x3496 -x3498 -x3500 -x3502 -x3504 -x3506 -x3509 -x3511 -x3513 -x139 -x3516 -x3518 -x140 -x3520 -x3522 -x3525 -x3527 -x3529
1800.02/1800.71	v -x3532 -x3534 -x3536 -x3538 -x141 -x3540 -x3542 -x3544 -x3546 -x3549 -x3551 -x3553 -x3555 -x3558 -x3560 -x3562 -x3564
1800.02/1800.71	v -x3566 -x142 -x3568 -x3570 -x3572 -x3574 -x3576 -x3578 -x3580 -x3582 -x3584 -x3586 -x3588 -x3590 -x3593 -x3595 -x143 -x3597
1800.02/1800.71	v -x3599 -x3601 -x3603 -x3605 -x3607 -x3609 -x3611 -x3613 -x3615 -x3617 -x3619 -x3621 -x3623 -x3625 -x3627 -x3629 -x3631
1800.02/1800.71	v -x3633 -x3635 -x3637 -x3639 -x3641 -x3643 -x3645 -x3647 -x3649 -x3651 -x3653 -x3655 -x3657 -x3659 -x3661 -x3663 -x3665
1800.02/1800.71	v -x3667 -x3669 -x3671 -x3673 -x3675 -x3677 -x3679 -x3681 -x3683 -x3685 -x3687 -x3689 -x3691 -x3693 -x3695 -x3697 -x3699
1800.02/1800.71	v -x3701 -x3703 -x3705 -x3707 -x3709 -x3711 -x144 -x3714 -x3716 -x3718 -x3720 -x3722 -x3724 -x3726 -x3728 -x3730 -x3732
1800.02/1800.71	v -x3734 -x145 -x3736 -x3738 -x3740 -x3742 -x3744 -x3746 -x3748 -x3750 -x3752 -x3754 -x3756 -x146 -x3758 -x3761 -x3763 -x147
1800.02/1800.71	v -x3766 -x3768 -x3770 -x3772 -x3774 -x148 -x3777 -x3779 -x3781 -x3783 -x3785 -x3787 -x3789 -x3791 -x3793 -x3795 -x3797
1800.02/1800.71	v -x3799 -x3801 -x3803 -x3805 -x3807 -x149 -x3810 -x3812 -x3814 -x3816 -x3818 -x3820 -x150 -x3822 -x3824 -x3826 -x3828 -x3830
1800.02/1800.71	v -x3832 -x3834 -x3836 -x3838 -x3840 -x3842 -x151 -x3844 -x3846 -x3848 -x152 -x3850 -x3852 -x3854 -x153 -x3856 -x3858 -x3860
1800.02/1800.71	v -x3862 -x3864 -x3866 -x154 -x3869 -x3871 -x3874 -x3876 -x3878 -x3880 -x3882 -x3884 -x3886 -x155 -x3890 -x156 -x3893 -x3895
1800.02/1800.71	v -x3897 -x157 -x3899 -x3901 -x3903 -x3905 -x3907 -x3910 -x3912 -x3914 -x3916 -x3918 -x3920 -x3922 -x3924 -x158 -x3928 -x159
1800.02/1800.71	v -x3931 -x3934 -x160 -x3936 -x3938 -x161 -x3941 -x3943 -x3945 -x3947 -x162 x163 -x3951 -x164 -x3953 -x3955 -x3958 -x3960
1800.02/1800.71	v -x165 -x3962 -x3964 -x3966 -x166 -x3969 -x3971 -x167 -x3973 -x3977 -x3979 -x3981 -x168 -x3985 -x169 -x3987 -x3989 -x3991
1800.02/1800.71	v -x3993 -x3995 -x3999 -x4001 -x4003 -x4005 -x170 -x4007 -x4009 -x4011 -x4013 -x4016 -x4018 -x4020 -x4023 -x4025 -x4027
1800.02/1800.71	v -x4029 -x4032 -x171 -x4035 -x4037 -x4039 -x4041 -x4043 -x4045 -x4047 -x4049 -x4051 -x4053 -x4056 -x4058 -x4060 -x172 -x4062
1800.02/1800.71	v -x4064 -x4067 -x173 -x4070 -x4072 -x4074 -x4076 -x4078 -x174 -x4080 -x4082 -x4085 -x4087 -x4090 -x4092 -x4094 -x4096 -x4098
1800.02/1800.71	v -x4100 -x4102 -x4104 -x4106 -x4108 -x4110 -x4112 -x4114 -x4116 -x4118 -x4120 -x4122 -x4124 -x4126 -x4128 -x4131 -x4133
1800.02/1800.71	v -x4135 -x4137 -x4139 -x175 -x4142 -x4144 -x176 -x4146 -x4148 -x4150 -x177 -x4152 -x4154 -x4156 -x4158 -x4160 -x4162 -x4165
1800.02/1800.71	v -x4167 -x4169 -x4171 -x4173 -x4175 -x4177 -x4179 -x178 -x179 -x4183 -x4186 -x180 -x4189 -x181 -x4192 -x4194 -x4197 -x182
1800.02/1800.71	v -x183 -x184 -x4202 -x4204 -x4206 -x4208 -x4210 -x185 -x4212 -x4214 -x4216 -x186 -x4220 -x187 -x4222 -x4224 -x4226 -x4228
1800.02/1800.71	v -x4230 -x4233 -x4235 -x4237 -x4239 -x4241 -x4243 -x4245 -x4247 -x4249 -x4251 -x4254 -x4257 -x4259 -x188 -x4262 -x4264
1800.02/1800.71	v -x189 -x4269 -x4271 -x4273 -x190 -x4276 -x4278 -x4280 -x191 -x4282 -x4286 -x4288 -x192 -x4291 -x4293 -x193 -x194 -x4301
1800.02/1800.71	v -x4303 -x4305 -x4307 -x195 -x4309 -x4312 -x196 -x4318 -x197 -x4320 -x4326 -x198 -x4330 -x4333 x199 -x200 -x4341 -x4344
1800.02/1800.71	v -x201 -x4347 -x4349 -x4354 -x202
1800.02/1800.71	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.02/1800.71	c   19   950162 633089  7877539    34680  2358980  26101    527 1800.03
1800.02/1800.71	c Objective: 5326
1800.02/1800.71	s SATISFIABLE
1800.02/1800.71	c Total time: 1800.03 s

Verifier Data (download as text)

OK	5326

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node39/watcher-372344-1177091024 -o ROOT/results/node39/solver-372344-1177091024 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/372344-1177091024/instance-372344-1177091024.opb 

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 15215
/proc/meminfo: memFree=1609136/2055920 swapFree=4158472/4192956
[pid=15215] ppid=15213 vsize=12000 CPUtime=0
/proc/15215/stat : 15215 (bsolo3.0.16) R 15213 15215 14479 0 -1 4194304 366 0 0 0 0 0 0 0 18 0 1 0 157014464 12288000 334 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 11306506 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15215/statm: 3000 334 281 324 0 2003 0

[startup+0.0357541 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 15215
/proc/meminfo: memFree=1609136/2055920 swapFree=4158472/4192956
[pid=15215] ppid=15213 vsize=4764 CPUtime=0.03
/proc/15215/stat : 15215 (bsolo3.0.16) R 15213 15215 14479 0 -1 4194304 520 0 0 0 3 0 0 0 18 0 1 0 157014464 4878336 488 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 11527803 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15215/statm: 1191 488 305 324 0 194 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 4764

[startup+0.101764 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 15215
/proc/meminfo: memFree=1609136/2055920 swapFree=4158472/4192956
[pid=15215] ppid=15213 vsize=5900 CPUtime=0.09
/proc/15215/stat : 15215 (bsolo3.0.16) R 15213 15215 14479 0 -1 4194304 933 0 0 0 9 0 0 0 18 0 1 0 157014464 6041600 835 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15215/statm: 1475 835 305 324 0 544 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5900

[startup+0.301798 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 15215
/proc/meminfo: memFree=1609136/2055920 swapFree=4158472/4192956
[pid=15215] ppid=15213 vsize=6232 CPUtime=0.29
/proc/15215/stat : 15215 (bsolo3.0.16) R 15213 15215 14479 0 -1 4194304 1103 0 0 0 27 2 0 0 19 0 1 0 157014464 6381568 938 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15215/statm: 1558 938 313 324 0 627 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6232

[startup+0.701865 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 15215
/proc/meminfo: memFree=1609136/2055920 swapFree=4158472/4192956
[pid=15215] ppid=15213 vsize=6892 CPUtime=0.69
/proc/15215/stat : 15215 (bsolo3.0.16) R 15213 15215 14479 0 -1 4194304 1275 0 0 0 66 3 0 0 23 0 1 0 157014464 7057408 1110 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15215/statm: 1723 1110 313 324 0 792 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6892

[startup+1.502 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 15216
/proc/meminfo: memFree=1605352/2055920 swapFree=4158472/4192956
[pid=15215] ppid=15213 vsize=8452 CPUtime=1.49
/proc/15215/stat : 15215 (bsolo3.0.16) R 15213 15215 14479 0 -1 4194304 1659 0 0 0 145 4 0 0 25 0 1 0 157014464 8654848 1494 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15215/statm: 2113 1494 313 324 0 1182 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8452

[startup+3.10127 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 15216
/proc/meminfo: memFree=1603240/2055920 swapFree=4158472/4192956
[pid=15215] ppid=15213 vsize=10664 CPUtime=3.08
/proc/15215/stat : 15215 (bsolo3.0.16) R 15213 15215 14479 0 -1 4194304 2190 0 0 0 299 9 0 0 25 0 1 0 157014464 10919936 2025 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551480 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15215/statm: 2666 2025 313 324 0 1735 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 10664

[startup+6.30181 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 15216
/proc/meminfo: memFree=1599336/2055920 swapFree=4158472/4192956
[pid=15215] ppid=15213 vsize=13756 CPUtime=6.29
/proc/15215/stat : 15215 (bsolo3.0.16) R 15213 15215 14479 0 -1 4194304 2975 0 0 0 614 15 0 0 25 0 1 0 157014464 14086144 2810 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15215/statm: 3439 2810 313 324 0 2508 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13756

[startup+12.7019 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 15216
/proc/meminfo: memFree=1595752/2055920 swapFree=4158472/4192956
[pid=15215] ppid=15213 vsize=16700 CPUtime=12.69
/proc/15215/stat : 15215 (bsolo3.0.16) R 15213 15215 14479 0 -1 4194304 3714 0 0 0 1237 32 0 0 25 0 1 0 157014464 17100800 3549 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15215/statm: 4175 3549 313 324 0 3244 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 16700

[startup+25.501 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 15216
/proc/meminfo: memFree=1591784/2055920 swapFree=4158472/4192956
[pid=15215] ppid=15213 vsize=20708 CPUtime=25.49
/proc/15215/stat : 15215 (bsolo3.0.16) R 15213 15215 14479 0 -1 4194304 4719 0 0 0 2503 46 0 0 25 0 1 0 157014464 21204992 4554 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15215/statm: 5177 4554 313 324 0 4246 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 20708

[startup+51.1014 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 15216
/proc/meminfo: memFree=1591144/2055920 swapFree=4158472/4192956
[pid=15215] ppid=15213 vsize=21300 CPUtime=51.07
/proc/15215/stat : 15215 (bsolo3.0.16) R 15213 15215 14479 0 -1 4194304 4870 0 0 0 5042 65 0 0 25 0 1 0 157014464 21811200 4705 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15215/statm: 5325 4705 313 324 0 4394 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.99 2/78 15216
/proc/meminfo: memFree=1576232/2055920 swapFree=4158472/4192956
[pid=15215] ppid=15213 vsize=36248 CPUtime=102.25
/proc/15215/stat : 15215 (bsolo3.0.16) R 15213 15215 14479 0 -1 4194304 8607 0 0 0 10123 102 0 0 25 0 1 0 157014464 37117952 8442 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15215/statm: 9062 8442 313 324 0 8131 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 36248

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15216
/proc/meminfo: memFree=1576168/2055920 swapFree=4158472/4192956
[pid=15215] ppid=15213 vsize=36248 CPUtime=162.23
/proc/15215/stat : 15215 (bsolo3.0.16) R 15213 15215 14479 0 -1 4194304 8610 0 0 0 16108 115 0 0 25 0 1 0 157014464 37117952 8445 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551024 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15215/statm: 9062 8445 313 324 0 8131 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 36248

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15216
/proc/meminfo: memFree=1570344/2055920 swapFree=4158472/4192956
[pid=15215] ppid=15213 vsize=42212 CPUtime=222.21
/proc/15215/stat : 15215 (bsolo3.0.16) R 15213 15215 14479 0 -1 4194304 10091 0 0 0 22095 126 0 0 25 0 1 0 157014464 43225088 9926 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15215/statm: 10553 9926 313 324 0 9622 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 42212

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15216
/proc/meminfo: memFree=1555496/2055920 swapFree=4158472/4192956
[pid=15215] ppid=15213 vsize=56836 CPUtime=282.19
/proc/15215/stat : 15215 (bsolo3.0.16) R 15213 15215 14479 0 -1 4194304 13760 0 0 0 28084 135 0 0 25 0 1 0 157014464 58200064 13595 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15215/statm: 14209 13595 313 324 0 13278 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 56836

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15216
/proc/meminfo: memFree=1555496/2055920 swapFree=4158472/4192956
[pid=15215] ppid=15213 vsize=56828 CPUtime=342.17
/proc/15215/stat : 15215 (bsolo3.0.16) R 15213 15215 14479 0 -1 4194304 13760 0 0 0 34070 147 0 0 25 0 1 0 157014464 58191872 13595 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15215/statm: 14207 13595 313 324 0 13276 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 56828

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15216
/proc/meminfo: memFree=1555496/2055920 swapFree=4158472/4192956
[pid=15215] ppid=15213 vsize=56828 CPUtime=402.16
/proc/15215/stat : 15215 (bsolo3.0.16) R 15213 15215 14479 0 -1 4194304 13762 0 0 0 40052 164 0 0 25 0 1 0 157014464 58191872 13597 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551255 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15215/statm: 14207 13597 313 324 0 13276 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 56828

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15216
/proc/meminfo: memFree=1555560/2055920 swapFree=4158472/4192956
[pid=15215] ppid=15213 vsize=56824 CPUtime=462.14
/proc/15215/stat : 15215 (bsolo3.0.16) R 15213 15215 14479 0 -1 4194304 13762 0 0 0 46038 176 0 0 25 0 1 0 157014464 58187776 13596 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15215/statm: 14206 13596 313 324 0 13275 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 56824

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15216
/proc/meminfo: memFree=1555560/2055920 swapFree=4158472/4192956
[pid=15215] ppid=15213 vsize=56820 CPUtime=522.12
/proc/15215/stat : 15215 (bsolo3.0.16) R 15213 15215 14479 0 -1 4194304 13762 0 0 0 52024 188 0 0 25 0 1 0 157014464 58183680 13595 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550753 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15215/statm: 14205 13595 313 324 0 13274 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 56820

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15216
/proc/meminfo: memFree=1555560/2055920 swapFree=4158472/4192956
[pid=15215] ppid=15213 vsize=56832 CPUtime=582.1
/proc/15215/stat : 15215 (bsolo3.0.16) R 15213 15215 14479 0 -1 4194304 13765 0 0 0 57999 211 0 0 25 0 1 0 157014464 58195968 13598 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 11525802 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15215/statm: 14208 13598 313 324 0 13277 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 56832

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15216
/proc/meminfo: memFree=1555560/2055920 swapFree=4158472/4192956
[pid=15215] ppid=15213 vsize=56828 CPUtime=642.08
/proc/15215/stat : 15215 (bsolo3.0.16) R 15213 15215 14479 0 -1 4194304 13765 0 0 0 63971 237 0 0 25 0 1 0 157014464 58191872 13597 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15215/statm: 14207 13597 313 324 0 13276 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 56828


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15216
/proc/meminfo: memFree=1555560/2055920 swapFree=4158472/4192956
[pid=15215] ppid=15213 vsize=56792 CPUtime=882
/proc/15215/stat : 15215 (bsolo3.0.16) R 15213 15215 14479 0 -1 4194304 13768 0 0 0 87849 351 0 0 25 0 1 0 157014464 58155008 13587 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15215/statm: 14198 13587 313 324 0 13267 0
Current children cumulated CPU time (s) 882
Current children cumulated vsize (KiB) 56792

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15216
/proc/meminfo: memFree=1544808/2055920 swapFree=4158472/4192956
[pid=15215] ppid=15213 vsize=67908 CPUtime=941.98
/proc/15215/stat : 15215 (bsolo3.0.16) R 15213 15215 14479 0 -1 4194304 16529 0 0 0 93839 359 0 0 25 0 1 0 157014464 69537792 16348 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15215/statm: 16977 16348 313 324 0 16046 0
Current children cumulated CPU time (s) 941.98
Current children cumulated vsize (KiB) 67908

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15216
/proc/meminfo: memFree=1538280/2055920 swapFree=4158472/4192956
[pid=15215] ppid=15213 vsize=74004 CPUtime=1001.96
/proc/15215/stat : 15215 (bsolo3.0.16) R 15213 15215 14479 0 -1 4194304 18094 0 0 0 99830 366 0 0 25 0 1 0 157014464 75780096 17876 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15215/statm: 18501 17876 313 324 0 17570 0
Current children cumulated CPU time (s) 1001.96
Current children cumulated vsize (KiB) 74004

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/84 15354
/proc/meminfo: memFree=1537192/2055920 swapFree=4158472/4192956
[pid=15215] ppid=15213 vsize=74004 CPUtime=1061.88
/proc/15215/stat : 15215 (bsolo3.0.16) R 15213 15215 14479 0 -1 4194304 18094 0 0 0 105817 371 0 0 25 0 1 0 157014464 75780096 17876 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15215/statm: 18501 17876 313 324 0 17570 0
Current children cumulated CPU time (s) 1061.88
Current children cumulated vsize (KiB) 74004

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15414
/proc/meminfo: memFree=1538280/2055920 swapFree=4158472/4192956
[pid=15215] ppid=15213 vsize=74004 CPUtime=1121.82
/proc/15215/stat : 15215 (bsolo3.0.16) R 15213 15215 14479 0 -1 4194304 18094 0 0 0 111788 394 0 0 25 0 1 0 157014464 75780096 17876 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15215/statm: 18501 17876 313 324 0 17570 0
Current children cumulated CPU time (s) 1121.82
Current children cumulated vsize (KiB) 74004

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15414
/proc/meminfo: memFree=1538344/2055920 swapFree=4158472/4192956
[pid=15215] ppid=15213 vsize=74004 CPUtime=1181.81
/proc/15215/stat : 15215 (bsolo3.0.16) R 15213 15215 14479 0 -1 4194304 18094 0 0 0 117745 436 0 0 25 0 1 0 157014464 75780096 17876 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550983 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15215/statm: 18501 17876 313 324 0 17570 0
Current children cumulated CPU time (s) 1181.81
Current children cumulated vsize (KiB) 74004

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15414
/proc/meminfo: memFree=1538344/2055920 swapFree=4158472/4192956
[pid=15215] ppid=15213 vsize=74004 CPUtime=1241.79
/proc/15215/stat : 15215 (bsolo3.0.16) R 15213 15215 14479 0 -1 4194304 18094 0 0 0 123711 468 0 0 25 0 1 0 157014464 75780096 17876 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134572760 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15215/statm: 18501 17876 313 324 0 17570 0
Current children cumulated CPU time (s) 1241.79
Current children cumulated vsize (KiB) 74004

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15414
/proc/meminfo: memFree=1538280/2055920 swapFree=4158472/4192956
[pid=15215] ppid=15213 vsize=74004 CPUtime=1301.77
/proc/15215/stat : 15215 (bsolo3.0.16) R 15213 15215 14479 0 -1 4194304 18094 0 0 0 129675 502 0 0 25 0 1 0 157014464 75780096 17876 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15215/statm: 18501 17876 313 324 0 17570 0
Current children cumulated CPU time (s) 1301.77
Current children cumulated vsize (KiB) 74004

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15414
/proc/meminfo: memFree=1538280/2055920 swapFree=4158472/4192956
[pid=15215] ppid=15213 vsize=74004 CPUtime=1361.75
/proc/15215/stat : 15215 (bsolo3.0.16) R 15213 15215 14479 0 -1 4194304 18094 0 0 0 135664 511 0 0 25 0 1 0 157014464 75780096 17876 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551240 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15215/statm: 18501 17876 313 324 0 17570 0
Current children cumulated CPU time (s) 1361.75
Current children cumulated vsize (KiB) 74004

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15414
/proc/meminfo: memFree=1538408/2055920 swapFree=4158472/4192956
[pid=15215] ppid=15213 vsize=74004 CPUtime=1421.74
/proc/15215/stat : 15215 (bsolo3.0.16) R 15213 15215 14479 0 -1 4194304 18094 0 0 0 141655 519 0 0 25 0 1 0 157014464 75780096 17876 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15215/statm: 18501 17876 313 324 0 17570 0
Current children cumulated CPU time (s) 1421.74
Current children cumulated vsize (KiB) 74004

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15414
/proc/meminfo: memFree=1518632/2055920 swapFree=4158472/4192956
[pid=15215] ppid=15213 vsize=93532 CPUtime=1481.71
/proc/15215/stat : 15215 (bsolo3.0.16) R 15213 15215 14479 0 -1 4194304 23026 0 0 0 147643 528 0 0 25 0 1 0 157014464 95776768 22771 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15215/statm: 23383 22771 313 324 0 22452 0
Current children cumulated CPU time (s) 1481.71
Current children cumulated vsize (KiB) 93532

[startup+1542.3 s]
/proc/loadavg: 1.03 1.00 1.00 2/78 15414
/proc/meminfo: memFree=1518120/2055920 swapFree=4158472/4192956
[pid=15215] ppid=15213 vsize=94336 CPUtime=1541.69
/proc/15215/stat : 15215 (bsolo3.0.16) R 15213 15215 14479 0 -1 4194304 23210 0 0 0 153636 533 0 0 25 0 1 0 157014464 96600064 22955 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15215/statm: 23584 22955 313 324 0 22653 0
Current children cumulated CPU time (s) 1541.69
Current children cumulated vsize (KiB) 94336

[startup+1602.3 s]
/proc/loadavg: 1.30 1.07 1.02 2/78 15414
/proc/meminfo: memFree=1495208/2055920 swapFree=4158472/4192956
[pid=15215] ppid=15213 vsize=117344 CPUtime=1601.68
/proc/15215/stat : 15215 (bsolo3.0.16) R 15213 15215 14479 0 -1 4194304 28965 0 0 0 159625 543 0 0 25 0 1 0 157014464 120160256 28710 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15215/statm: 29336 28710 313 324 0 28405 0
Current children cumulated CPU time (s) 1601.68
Current children cumulated vsize (KiB) 117344

[startup+1662.3 s]
/proc/loadavg: 1.18 1.09 1.03 2/78 15414
/proc/meminfo: memFree=1493864/2055920 swapFree=4158472/4192956
[pid=15215] ppid=15213 vsize=118384 CPUtime=1661.66
/proc/15215/stat : 15215 (bsolo3.0.16) R 15213 15215 14479 0 -1 4194304 29250 0 0 0 165614 552 0 0 25 0 1 0 157014464 121225216 28954 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 11523508 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15215/statm: 29596 28954 313 324 0 28665 0
Current children cumulated CPU time (s) 1661.66
Current children cumulated vsize (KiB) 118384

[startup+1722.3 s]
/proc/loadavg: 1.06 1.07 1.02 2/78 15414
/proc/meminfo: memFree=1493864/2055920 swapFree=4158472/4192956
[pid=15215] ppid=15213 vsize=118360 CPUtime=1721.64
/proc/15215/stat : 15215 (bsolo3.0.16) R 15213 15215 14479 0 -1 4194304 29250 0 0 0 171606 558 0 0 25 0 1 0 157014464 121200640 28954 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15215/statm: 29590 28954 313 324 0 28659 0
Current children cumulated CPU time (s) 1721.64
Current children cumulated vsize (KiB) 118360

[startup+1782.3 s]
/proc/loadavg: 1.02 1.05 1.01 2/78 15414
/proc/meminfo: memFree=1493864/2055920 swapFree=4158472/4192956
[pid=15215] ppid=15213 vsize=118360 CPUtime=1781.61
/proc/15215/stat : 15215 (bsolo3.0.16) R 15213 15215 14479 0 -1 4194304 29250 0 0 0 177598 563 0 0 25 0 1 0 157014464 121200640 28954 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15215/statm: 29590 28954 313 324 0 28659 0
Current children cumulated CPU time (s) 1781.61
Current children cumulated vsize (KiB) 118360



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.01 1.05 1.01 2/78 15414
/proc/meminfo: memFree=1493864/2055920 swapFree=4158472/4192956
[pid=15215] ppid=15213 vsize=118360 CPUtime=1800.02
/proc/15215/stat : 15215 (bsolo3.0.16) R 15213 15215 14479 0 -1 4194304 29250 0 0 0 179438 564 0 0 25 0 1 0 157014464 121200640 28954 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15215/statm: 29590 28954 313 324 0 28659 0
Current children cumulated CPU time (s) 1800.02
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

[startup+1800.71 s]
/proc/loadavg: 1.01 1.05 1.01 2/78 15414
/proc/meminfo: memFree=1493864/2055920 swapFree=4158472/4192956
[pid=15215] ppid=15213 vsize=118360 CPUtime=1800.02
/proc/15215/stat : 15215 (bsolo3.0.16) R 15213 15215 14479 0 -1 4194304 29250 0 0 0 179438 564 0 0 25 0 1 0 157014464 121200640 28954 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15215/statm: 29590 28954 313 324 0 28659 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 118360

Child status: 15
Real time (s): 1800.73
CPU time (s): 1800.05
CPU user time (s): 1794.38
CPU system time (s): 5.66514
CPU usage (%): 99.962
Max. virtual memory (cumulated for all children) (KiB): 118384

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

runsolver used 2.00769 second user time and 4.54131 second system time

The end

Launcher Data (download as text)

Begin job on node39 on Fri Apr 20 17:43:44 UTC 2007

IDJOB= 372344
IDBENCH= 24965
IDSOLVER= 163
FILE ID= node39/372344-1177091024

PBS_JOBID= 4640326

Free space on /tmp= 66485 MiB

SOLVER NAME= bsolo 3.0.16
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.16 -t1800 -m1800 /tmp/evaluation/372344-1177091024/instance-372344-1177091024.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node39/watcher-372344-1177091024 -o ROOT/results/node39/solver-372344-1177091024 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/372344-1177091024/instance-372344-1177091024.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  7546aeed0de3680ab75d817854256b46

RANDOM SEED= 325122222

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node39.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.256
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.256
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:       1609544 kB
Buffers:         38220 kB
Cached:         319788 kB
SwapCached:      14564 kB
Active:         265856 kB
Inactive:       116988 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1609544 kB
SwapTotal:     4192956 kB
SwapFree:      4158472 kB
Dirty:            4660 kB
Writeback:           0 kB
Mapped:          30936 kB
Slab:            48840 kB
Committed_AS:  1868216 kB
PageTables:       2012 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= 66485 MiB

End job on node39 on Fri Apr 20 18:13:47 UTC 2007