Trace number 372596

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.16SAT24 1800.01 1800.66

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_020_area_delay.opb
MD5SUMb63b2d912c01ff826a63051b401330db
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark23
Best CPU time to get the best result obtained on this benchmark18.8981
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 23
Optimality of the best value was proved YES
Number of variables4427
Total number of constraints12661
Number of constraints which are clauses12661
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint63
Number of terms in the objective function 2136
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 2136
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 2136
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

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

Verifier Data (download as text)

OK	24

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node33/watcher-372596-1177111114 -o ROOT/results/node33/solver-372596-1177111114 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/372596-1177111114/instance-372596-1177111114.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 16077
/proc/meminfo: memFree=1703616/2055920 swapFree=4180512/4192956
[pid=16077] ppid=16075 vsize=12104 CPUtime=0
/proc/16077/stat : 16077 (bsolo3.0.16) R 16075 16077 15341 0 -1 4194304 368 0 0 0 0 0 0 0 18 0 1 0 159026894 12394496 336 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16077/statm: 3026 336 281 324 0 2003 0

[startup+0.032646 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 16077
/proc/meminfo: memFree=1703616/2055920 swapFree=4180512/4192956
[pid=16077] ppid=16075 vsize=5140 CPUtime=0.02
/proc/16077/stat : 16077 (bsolo3.0.16) R 16075 16077 15341 0 -1 4194304 596 0 0 0 2 0 0 0 18 0 1 0 159026894 5263360 564 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 11380347 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16077/statm: 1285 564 320 324 0 262 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5140

[startup+0.101658 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 16077
/proc/meminfo: memFree=1703616/2055920 swapFree=4180512/4192956
[pid=16077] ppid=16075 vsize=6444 CPUtime=0.09
/proc/16077/stat : 16077 (bsolo3.0.16) R 16075 16077 15341 0 -1 4194304 1110 0 0 0 9 0 0 0 18 0 1 0 159026894 6598656 986 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16077/statm: 1611 986 305 324 0 680 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6444

[startup+0.301701 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 16077
/proc/meminfo: memFree=1703616/2055920 swapFree=4180512/4192956
[pid=16077] ppid=16075 vsize=6704 CPUtime=0.29
/proc/16077/stat : 16077 (bsolo3.0.16) R 16075 16077 15341 0 -1 4194304 1201 0 0 0 28 1 0 0 19 0 1 0 159026894 6864896 1047 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16077/statm: 1676 1047 313 324 0 745 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6704

[startup+0.701782 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 16077
/proc/meminfo: memFree=1703616/2055920 swapFree=4180512/4192956
[pid=16077] ppid=16075 vsize=7100 CPUtime=0.69
/proc/16077/stat : 16077 (bsolo3.0.16) R 16075 16077 15341 0 -1 4194304 1299 0 0 0 68 1 0 0 22 0 1 0 159026894 7270400 1145 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 11380347 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16077/statm: 1775 1145 313 324 0 844 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7100

[startup+1.50195 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 16078
/proc/meminfo: memFree=1699896/2055920 swapFree=4180512/4192956
[pid=16077] ppid=16075 vsize=7744 CPUtime=1.49
/proc/16077/stat : 16077 (bsolo3.0.16) R 16075 16077 15341 0 -1 4194304 1449 0 0 0 147 2 0 0 25 0 1 0 159026894 7929856 1295 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16077/statm: 1936 1295 313 324 0 1005 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7744

[startup+3.10128 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 16078
/proc/meminfo: memFree=1699192/2055920 swapFree=4180512/4192956
[pid=16077] ppid=16075 vsize=9164 CPUtime=3.09
/proc/16077/stat : 16077 (bsolo3.0.16) R 16075 16077 15341 0 -1 4194304 1816 0 0 0 306 3 0 0 25 0 1 0 159026894 9383936 1662 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16077/statm: 2291 1662 313 324 0 1360 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9164

[startup+6.30193 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 16078
/proc/meminfo: memFree=1695480/2055920 swapFree=4180512/4192956
[pid=16077] ppid=16075 vsize=12700 CPUtime=6.29
/proc/16077/stat : 16077 (bsolo3.0.16) R 16075 16077 15341 0 -1 4194304 2691 0 0 0 624 5 0 0 25 0 1 0 159026894 13004800 2537 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16077/statm: 3175 2537 313 324 0 2244 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 12700

[startup+12.7012 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 16078
/proc/meminfo: memFree=1689656/2055920 swapFree=4180512/4192956
[pid=16077] ppid=16075 vsize=17308 CPUtime=12.69
/proc/16077/stat : 16077 (bsolo3.0.16) R 16075 16077 15341 0 -1 4194304 3850 0 0 0 1261 8 0 0 25 0 1 0 159026894 17723392 3696 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16077/statm: 4327 3696 313 324 0 3396 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17308

[startup+25.5019 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 16078
/proc/meminfo: memFree=1689080/2055920 swapFree=4180512/4192956
[pid=16077] ppid=16075 vsize=17916 CPUtime=25.48
/proc/16077/stat : 16077 (bsolo3.0.16) R 16075 16077 15341 0 -1 4194304 4003 0 0 0 2536 12 0 0 25 0 1 0 159026894 18345984 3849 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134572825 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16077/statm: 4479 3849 313 324 0 3548 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 17916

[startup+51.1011 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 16078
/proc/meminfo: memFree=1687608/2055920 swapFree=4180512/4192956
[pid=16077] ppid=16075 vsize=19420 CPUtime=51.07
/proc/16077/stat : 16077 (bsolo3.0.16) R 16075 16077 15341 0 -1 4194304 4382 0 0 0 5085 22 0 0 25 0 1 0 159026894 19886080 4228 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134552167 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16077/statm: 4855 4228 313 324 0 3924 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 19420

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 16078
/proc/meminfo: memFree=1684216/2055920 swapFree=4180512/4192956
[pid=16077] ppid=16075 vsize=22800 CPUtime=102.25
/proc/16077/stat : 16077 (bsolo3.0.16) R 16075 16077 15341 0 -1 4194304 5228 0 0 0 10186 39 0 0 25 0 1 0 159026894 23347200 5074 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16077/statm: 5700 5074 313 324 0 4769 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 22800

[startup+162.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16078
/proc/meminfo: memFree=1675704/2055920 swapFree=4180512/4192956
[pid=16077] ppid=16075 vsize=31360 CPUtime=162.23
/proc/16077/stat : 16077 (bsolo3.0.16) R 16075 16077 15341 0 -1 4194304 7368 0 0 0 16164 59 0 0 25 0 1 0 159026894 32112640 7214 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551105 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16077/statm: 7840 7214 313 324 0 6909 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 31360

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16078
/proc/meminfo: memFree=1675704/2055920 swapFree=4180512/4192956
[pid=16077] ppid=16075 vsize=31360 CPUtime=222.21
/proc/16077/stat : 16077 (bsolo3.0.16) R 16075 16077 15341 0 -1 4194304 7369 0 0 0 22146 75 0 0 25 0 1 0 159026894 32112640 7215 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551091 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16077/statm: 7840 7215 313 324 0 6909 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 31360

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16078
/proc/meminfo: memFree=1675640/2055920 swapFree=4180512/4192956
[pid=16077] ppid=16075 vsize=31368 CPUtime=282.19
/proc/16077/stat : 16077 (bsolo3.0.16) R 16075 16077 15341 0 -1 4194304 7370 0 0 0 28130 89 0 0 25 0 1 0 159026894 32120832 7216 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16077/statm: 7842 7216 313 324 0 6911 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 31368

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16078
/proc/meminfo: memFree=1675640/2055920 swapFree=4180512/4192956
[pid=16077] ppid=16075 vsize=31368 CPUtime=342.17
/proc/16077/stat : 16077 (bsolo3.0.16) R 16075 16077 15341 0 -1 4194304 7371 0 0 0 34109 108 0 0 25 0 1 0 159026894 32120832 7217 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16077/statm: 7842 7217 313 324 0 6911 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 31368

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16078
/proc/meminfo: memFree=1675640/2055920 swapFree=4180512/4192956
[pid=16077] ppid=16075 vsize=31368 CPUtime=402.15
/proc/16077/stat : 16077 (bsolo3.0.16) R 16075 16077 15341 0 -1 4194304 7371 0 0 0 40090 125 0 0 25 0 1 0 159026894 32120832 7217 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16077/statm: 7842 7217 313 324 0 6911 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 31368

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16078
/proc/meminfo: memFree=1675640/2055920 swapFree=4180512/4192956
[pid=16077] ppid=16075 vsize=31372 CPUtime=462.12
/proc/16077/stat : 16077 (bsolo3.0.16) R 16075 16077 15341 0 -1 4194304 7372 0 0 0 46073 139 0 0 25 0 1 0 159026894 32124928 7218 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16077/statm: 7843 7218 313 324 0 6912 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 31372

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16078
/proc/meminfo: memFree=1675384/2055920 swapFree=4180512/4192956
[pid=16077] ppid=16075 vsize=31568 CPUtime=522.1
/proc/16077/stat : 16077 (bsolo3.0.16) R 16075 16077 15341 0 -1 4194304 7425 0 0 0 52054 156 0 0 25 0 1 0 159026894 32325632 7271 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 11378340 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16077/statm: 7892 7271 313 324 0 6961 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 31568

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16078
/proc/meminfo: memFree=1674168/2055920 swapFree=4180512/4192956
[pid=16077] ppid=16075 vsize=33108 CPUtime=582.08
/proc/16077/stat : 16077 (bsolo3.0.16) R 16075 16077 15341 0 -1 4194304 7788 0 0 0 58035 173 0 0 25 0 1 0 159026894 33902592 7634 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 11375946 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16077/statm: 8277 7634 313 324 0 7346 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 33108

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16078
/proc/meminfo: memFree=1670840/2055920 swapFree=4180512/4192956
[pid=16077] ppid=16075 vsize=36072 CPUtime=642.06
/proc/16077/stat : 16077 (bsolo3.0.16) R 16075 16077 15341 0 -1 4194304 8553 0 0 0 64018 188 0 0 25 0 1 0 159026894 36937728 8399 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16077/statm: 9018 8399 313 324 0 8087 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 36072


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

/proc/meminfo: memFree=1662200/2055920 swapFree=4180512/4192956
[pid=16077] ppid=16075 vsize=44652 CPUtime=1121.89
/proc/16077/stat : 16077 (bsolo3.0.16) R 16075 16077 15341 0 -1 4194304 10707 0 0 0 111889 300 0 0 25 0 1 0 159026894 45723648 10548 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16077/statm: 11163 10548 313 324 0 10232 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 44652

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16078
/proc/meminfo: memFree=1659256/2055920 swapFree=4180512/4192956
[pid=16077] ppid=16075 vsize=47764 CPUtime=1181.87
/proc/16077/stat : 16077 (bsolo3.0.16) R 16075 16077 15341 0 -1 4194304 11496 0 0 0 117875 312 0 0 25 0 1 0 159026894 48910336 11330 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16077/statm: 11941 11330 313 324 0 11010 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 47764

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16078
/proc/meminfo: memFree=1659192/2055920 swapFree=4180512/4192956
[pid=16077] ppid=16075 vsize=47716 CPUtime=1241.84
/proc/16077/stat : 16077 (bsolo3.0.16) R 16075 16077 15341 0 -1 4194304 11496 0 0 0 123857 327 0 0 25 0 1 0 159026894 48861184 11318 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16077/statm: 11929 11318 313 324 0 10998 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 47716

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16080
/proc/meminfo: memFree=1659192/2055920 swapFree=4180512/4192956
[pid=16077] ppid=16075 vsize=47636 CPUtime=1301.83
/proc/16077/stat : 16077 (bsolo3.0.16) R 16075 16077 15341 0 -1 4194304 11496 0 0 0 129838 345 0 0 25 0 1 0 159026894 48779264 11298 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551724 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16077/statm: 11909 11298 313 324 0 10978 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 47636

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16080
/proc/meminfo: memFree=1659256/2055920 swapFree=4180512/4192956
[pid=16077] ppid=16075 vsize=47636 CPUtime=1361.8
/proc/16077/stat : 16077 (bsolo3.0.16) R 16075 16077 15341 0 -1 4194304 11496 0 0 0 135824 356 0 0 25 0 1 0 159026894 48779264 11298 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551271 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16077/statm: 11909 11298 313 324 0 10978 0
Current children cumulated CPU time (s) 1361.8
Current children cumulated vsize (KiB) 47636

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16080
/proc/meminfo: memFree=1659256/2055920 swapFree=4180512/4192956
[pid=16077] ppid=16075 vsize=47636 CPUtime=1421.79
/proc/16077/stat : 16077 (bsolo3.0.16) R 16075 16077 15341 0 -1 4194304 11496 0 0 0 141814 365 0 0 25 0 1 0 159026894 48779264 11298 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16077/statm: 11909 11298 313 324 0 10978 0
Current children cumulated CPU time (s) 1421.79
Current children cumulated vsize (KiB) 47636

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16080
/proc/meminfo: memFree=1659256/2055920 swapFree=4180512/4192956
[pid=16077] ppid=16075 vsize=47636 CPUtime=1481.76
/proc/16077/stat : 16077 (bsolo3.0.16) R 16075 16077 15341 0 -1 4194304 11496 0 0 0 147804 372 0 0 25 0 1 0 159026894 48779264 11298 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550974 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16077/statm: 11909 11298 313 324 0 10978 0
Current children cumulated CPU time (s) 1481.76
Current children cumulated vsize (KiB) 47636

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16080
/proc/meminfo: memFree=1659256/2055920 swapFree=4180512/4192956
[pid=16077] ppid=16075 vsize=47636 CPUtime=1541.74
/proc/16077/stat : 16077 (bsolo3.0.16) R 16075 16077 15341 0 -1 4194304 11496 0 0 0 153796 378 0 0 25 0 1 0 159026894 48779264 11298 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16077/statm: 11909 11298 313 324 0 10978 0
Current children cumulated CPU time (s) 1541.74
Current children cumulated vsize (KiB) 47636

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16080
/proc/meminfo: memFree=1659256/2055920 swapFree=4180512/4192956
[pid=16077] ppid=16075 vsize=47636 CPUtime=1601.72
/proc/16077/stat : 16077 (bsolo3.0.16) R 16075 16077 15341 0 -1 4194304 11496 0 0 0 159786 386 0 0 25 0 1 0 159026894 48779264 11298 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16077/statm: 11909 11298 313 324 0 10978 0
Current children cumulated CPU time (s) 1601.72
Current children cumulated vsize (KiB) 47636

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16080
/proc/meminfo: memFree=1659256/2055920 swapFree=4180512/4192956
[pid=16077] ppid=16075 vsize=47636 CPUtime=1661.69
/proc/16077/stat : 16077 (bsolo3.0.16) R 16075 16077 15341 0 -1 4194304 11496 0 0 0 165775 394 0 0 25 0 1 0 159026894 48779264 11298 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16077/statm: 11909 11298 313 324 0 10978 0
Current children cumulated CPU time (s) 1661.69
Current children cumulated vsize (KiB) 47636

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16080
/proc/meminfo: memFree=1659256/2055920 swapFree=4180512/4192956
[pid=16077] ppid=16075 vsize=47636 CPUtime=1721.68
/proc/16077/stat : 16077 (bsolo3.0.16) R 16075 16077 15341 0 -1 4194304 11496 0 0 0 171766 402 0 0 25 0 1 0 159026894 48779264 11298 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16077/statm: 11909 11298 313 324 0 10978 0
Current children cumulated CPU time (s) 1721.68
Current children cumulated vsize (KiB) 47636

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16080
/proc/meminfo: memFree=1659320/2055920 swapFree=4180512/4192956
[pid=16077] ppid=16075 vsize=47636 CPUtime=1781.66
/proc/16077/stat : 16077 (bsolo3.0.16) R 16075 16077 15341 0 -1 4194304 11496 0 0 0 177753 413 0 0 25 0 1 0 159026894 48779264 11298 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16077/statm: 11909 11298 313 324 0 10978 0
Current children cumulated CPU time (s) 1781.66
Current children cumulated vsize (KiB) 47636

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

[startup+1791.91 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16080
/proc/meminfo: memFree=1659320/2055920 swapFree=4180512/4192956
[pid=16077] ppid=16075 vsize=47636 CPUtime=1791.25
/proc/16077/stat : 16077 (bsolo3.0.16) R 16075 16077 15341 0 -1 4194304 11496 0 0 0 178711 414 0 0 25 0 1 0 159026894 48779264 11298 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16077/statm: 11909 11298 313 324 0 10978 0
Current children cumulated CPU time (s) 1791.25
Current children cumulated vsize (KiB) 47636

[startup+1795.1 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16080
/proc/meminfo: memFree=1659320/2055920 swapFree=4180512/4192956
[pid=16077] ppid=16075 vsize=47636 CPUtime=1794.45
/proc/16077/stat : 16077 (bsolo3.0.16) R 16075 16077 15341 0 -1 4194304 11496 0 0 0 179030 415 0 0 25 0 1 0 159026894 48779264 11298 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4160091718 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16077/statm: 11909 11298 313 324 0 10978 0
Current children cumulated CPU time (s) 1794.45
Current children cumulated vsize (KiB) 47636

[startup+1798.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16080
/proc/meminfo: memFree=1659320/2055920 swapFree=4180512/4192956
[pid=16077] ppid=16075 vsize=47636 CPUtime=1797.65
/proc/16077/stat : 16077 (bsolo3.0.16) R 16075 16077 15341 0 -1 4194304 11496 0 0 0 179348 417 0 0 25 0 1 0 159026894 48779264 11298 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16077/statm: 11909 11298 313 324 0 10978 0
Current children cumulated CPU time (s) 1797.65
Current children cumulated vsize (KiB) 47636

[startup+1799.9 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16080
/proc/meminfo: memFree=1659320/2055920 swapFree=4180512/4192956
[pid=16077] ppid=16075 vsize=47636 CPUtime=1799.24
/proc/16077/stat : 16077 (bsolo3.0.16) R 16075 16077 15341 0 -1 4194304 11496 0 0 0 179507 417 0 0 25 0 1 0 159026894 48779264 11298 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16077/statm: 11909 11298 313 324 0 10978 0
Current children cumulated CPU time (s) 1799.24
Current children cumulated vsize (KiB) 47636

[startup+1800.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16080
/proc/meminfo: memFree=1659320/2055920 swapFree=4180512/4192956
[pid=16077] ppid=16075 vsize=47636 CPUtime=1799.64
/proc/16077/stat : 16077 (bsolo3.0.16) R 16075 16077 15341 0 -1 4194304 11496 0 0 0 179547 417 0 0 25 0 1 0 159026894 48779264 11298 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16077/statm: 11909 11298 313 324 0 10978 0
Current children cumulated CPU time (s) 1799.64
Current children cumulated vsize (KiB) 47636

[startup+1800.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16080
/proc/meminfo: memFree=1659320/2055920 swapFree=4180512/4192956
[pid=16077] ppid=16075 vsize=47636 CPUtime=1799.84
/proc/16077/stat : 16077 (bsolo3.0.16) R 16075 16077 15341 0 -1 4194304 11496 0 0 0 179567 417 0 0 25 0 1 0 159026894 48779264 11298 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551513 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16077/statm: 11909 11298 313 324 0 10978 0
Current children cumulated CPU time (s) 1799.84
Current children cumulated vsize (KiB) 47636

[startup+1800.6 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16080
/proc/meminfo: memFree=1659320/2055920 swapFree=4180512/4192956
[pid=16077] ppid=16075 vsize=47636 CPUtime=1799.95
/proc/16077/stat : 16077 (bsolo3.0.16) R 16075 16077 15341 0 -1 4194304 11496 0 0 0 179578 417 0 0 25 0 1 0 159026894 48779264 11298 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551009 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16077/statm: 11909 11298 313 324 0 10978 0
Current children cumulated CPU time (s) 1799.95
Current children cumulated vsize (KiB) 47636

Child status: 0
Real time (s): 1800.66
CPU time (s): 1800.01
CPU user time (s): 1795.83
CPU system time (s): 4.18736
CPU usage (%): 99.9641
Max. virtual memory (cumulated for all children) (KiB): 47920

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.83
system time used= 4.18736
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11497
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= 16
involuntary context switches= 4403

runsolver used 2.36164 second user time and 4.07938 second system time

The end

Launcher Data (download as text)

Begin job on node33 on Fri Apr 20 23:18:34 UTC 2007

IDJOB= 372596
IDBENCH= 24983
IDSOLVER= 163
FILE ID= node33/372596-1177111114

PBS_JOBID= 4640422

Free space on /tmp= 66473 MiB

SOLVER NAME= bsolo 3.0.16
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_020_area_delay.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/372596-1177111114/instance-372596-1177111114.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node33/watcher-372596-1177111114 -o ROOT/results/node33/solver-372596-1177111114 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/372596-1177111114/instance-372596-1177111114.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  b63b2d912c01ff826a63051b401330db

RANDOM SEED= 914785777

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node33.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.272
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.272
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:       1704024 kB
Buffers:         40204 kB
Cached:         213268 kB
SwapCached:       2276 kB
Active:         211772 kB
Inactive:        86208 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1704024 kB
SwapTotal:     4192956 kB
SwapFree:      4180512 kB
Dirty:            4840 kB
Writeback:           0 kB
Mapped:          59404 kB
Slab:            39200 kB
Committed_AS:  1732524 kB
PageTables:       1992 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= 66473 MiB

End job on node33 on Fri Apr 20 23:48:35 UTC 2007