Trace number 38182

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
Pueblo 1.3SAT17558 1782.74 1783.32

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ss97-4.opb
MD5SUM4e682317a6045f4869b1783c80734344
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark813
Best CPU time to get the best result obtained on this benchmark17.9583
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 813
Optimality of the best value was proved YES
Number of variables2289
Total number of constraints764
Number of constraints which are clauses360
Number of constraints which are cardinality constraints (but not clauses)404
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint195
Number of terms in the objective function 1798
Biggest coefficient in the objective function 349
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 104116
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 349
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 104116
Number of bits of the biggest sum of numbers17
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	c Pueblo version 1.4 (September 2005)
0.00	c Developed @ University of Michigan, Ann Arbor, MI
0.00	c  by Hossein Sheini
0.05	c starting to Solve
0.05	c #variables read: 2289 - #constraints read: 1142
2.66	o 18325
1783.31	c total time              : 1783 s
1783.31	s SATISFIABLE
1783.31	v -x2 -x366 -x730 x925 -x1120 -x1705 -x1900 -x3 -x367 -x1121 -x1511 x2096 -x4 -x368 -x1122 -x1707 -x5 -x187 -x369 -x1123 -x1318
1783.31	v -x1513 -x1708 x1903 -x6 -x188 -x370 -x1124 -x1319 -x1514 -x1709 x1904 -x7 -x189 -x371 -x735 -x930 -x1125 -x1320 x1515 -x1710
1783.31	v -x1905 x1516 -x2101 x555 -x1712 -x11 -x193 -x375 -x739 -x934 -x1129 -x1324 -x194 -x1325 -x1520 -x1715 x2105 -x560 -x2107
1783.31	v -x15 -x379 x561 -x743 -x938 -x1133 -x2108 -x16 -x380 -x1134 -x2109 -x17 -x381 -x1135 -x2110 -x564 -x1331 -x1526 x2111 -x567
1783.31	v -x1724 -x1919 x2114 x568 -x1335 -x2115 -x205 -x1726 x1921 -x24 -x206 -x388 -x752 x947 -x1142 -x1727 -x1922 -x2117 -x571
1783.31	v -x1533 -x1728 -x2118 -x572 x2119 -x573 -x1340 -x1535 x2120 -x2121 -x574 -x757 -x952 -x29 -x393 -x1148 -x1928 -x30 -x394
1783.31	v -x1149 -x1344 -x577 -x1345 -x1540 x2125 -x1346 -x1347 -x33 -x397 -x1153 -x34 -x398 -x1154 x2129 -x35 -x399 -x960 -x1155
1783.31	v -x2130 -x36 -x400 -x1156 -x2131 -x37 -x401 -x1157 -x2132 -x38 -x402 -x1158 x2133 -x39 -x403 -x964 -x1159 -x2134 -x965 -x2135
1783.31	v -x223 -x1551 -x2136 -x42 -x406 -x772 x967 -x1162 -x2137 x589 x1943 x590 x774 -x969 -x1359 -x1749 -x227 x775 -x970 -x228 -x1556
1783.31	v -x1751 -x2141 -x47 -x411 -x1167 -x1752 -x1558 -x1753 -x49 -x231 -x413 -x779 -x974 -x1169 -x1364 -x596 -x1755 -x51 -x415
1783.31	v -x781 x976 -x1171 -x1951 -x2146 -x234 -x977 -x1757 -x2147 -x1758 -x2148 -x53 -x417 -x1174 -x1954 -x418 -x600 -x785 -x980
1783.31	v -x1370 -x55 -x419 -x1176 -x2151 -x56 -x420 -x1177 -x2152 -x57 -x421 -x1178 -x1763 -x422 -x604 -x1764 -x59 -x423 -x1180 x2155
1783.31	v -x242 x606 -x1766 x2156 -x61 -x243 -x425 -x1182 -x1767 -x62 -x244 -x426 -x793 -x988 -x1183 -x609 -x1769 -x64 -x428 x610 -x1185
1783.31	v x65 -x429 -x1186 -x2161 x66 -x430 -x797 -x992 -x1187 -x249 -x1383 -x2163 -x614 -x1384 -x2164 -x2165 x252 -x2166 -x253 x617
1783.31	v -x1387 x254 -x2168 -x2169 -x255 -x1585 -x2170 -x74 -x438 -x1196 -x1586 -x2171 -x76 -x440 x622 -x1198 -x2173 -x623 -x1394
1783.31	v -x1589 -x78 -x442 -x1200 -x261 -x1396 -x812 x1007 -x1787 -x444 -x626 -x1788 -x627 -x814 x1009 -x1789 -x1984 -x2179 -x1790
1783.31	v -x2180 -x628 -x816 -x1011 -x629 -x1597 -x1792 -x2182 -x266 -x630 -x1403 -x2183 -x85 -x449 x631 -x819 -x1014 -x1209 x2184
1783.31	v -x632 -x2185 -x821 -x1016 x2186 -x1797 x634 -x2188 -x2189 -x636 -x825 -x1020 -x1800 -x637 -x1801 -x2191 -x92 x456 -x827
1783.31	v -x1022 -x1217 -x93 x457 -x828 -x1023 -x1218 -x829 -x1024 -x95 x459 -x830 -x1025 -x1220 -x96 x460 -x1221 -x2196 -x279 -x1417
1783.31	v -x2197 -x2198 -x462 -x644 -x1029 -x2199 -x1225 -x463 -x645 x836 -x1031 -x1421 -x1616 -x646 -x1032 -x2202 -x101 x465 -x838
1783.31	v -x1033 -x1228 -x1423 x2203 -x102 x466 -x1229 -x2204 -x103 x467 -x840 -x1035 -x1230 -x1620 -x104 x468 -x1231 -x1621 -x1816
1783.31	v -x2011 -x105 -x287 x469 -x842 -x1037 -x1232 -x1427 -x106 x470 -x1233 -x1428 -x1623 -x1818 -x107 x471 -x844 -x1039 -x1234
1783.31	v -x290 -x109 x473 -x846 -x1041 -x1236 -x110 -x474 -x847 -x1042 -x1237 -x293 -x112 -x294 x476 -x849 -x1044 -x1239 -x2019 -x113
1783.31	v -x477 -x1240 -x1435 -x660 -x115 x479 -x661 -x1242 -x1827 -x298 -x117 -x481 -x1244 -x1439 -x300 -x664 -x301 -x1636 -x120
1783.31	v -x484 -x1247 -x1832 -x2027 -x121 -x485 -x1248 -x1833 -x304 -x2224 -x123 -x487 -x1250 -x2225 -x306 -x126 -x308 x490 -x1253
1783.31	v -x1838 -x2228 -x673 -x864 -x1059 -x128 -x492 x674 -x1255 -x1840 -x675 -x130 x494 -x866 -x1256 -x2231 -x313 -x2232 -x132
1783.31	v -x314 -x868 -x1453 -x1648 x315 -x1454 -x134 -x316 x498 -x1260 -x1650 -x1845 -x2040 -x681 -x871 -x1066 -x136 x500 -x872 -x1067
1783.31	v -x1262 -x1457 -x137 -x319 x501 -x873 x1068 -x1263 -x1848 -x2043 -x2238 -x684 -x2239 -x321 -x875 -x1070 -x140 -x504 -x1266
1783.31	v -x1461 -x2241 -x141 -x323 -x1852 -x2242 -x878 -x1073 -x2243 -x688 -x879 -x1074 -x1659 -x1854 -x143 -x507 x689 -x880 -x1075
1783.31	v -x1270 -x1465 x1660 -x1855 -x2050 -x2245 -x144 -x326 x508 -x690 -x1271 -x1466 -x2246 -x509 -x691 -x1857 -x146 -x510 x692
1783.31	v -x1273 -x2248 -x1469 -x1859 -x1470 -x1860 -x1471 -x147 x511 -x1277 -x1862 -x330 -x1863 -x695 -x1669 -x2254 -x696 -x1475
1783.31	v -x1670 -x151 -x515 -x891 -x1086 -x1281 -x152 -x516 -x892 -x1087 -x1282 x1477 -x1672 -x2062 -x893 -x1088 -x1478 -x1673 -x336
1783.31	v -x700 -x894 -x1089 x1479 -x1674 -x2259 -x155 -x519 x895 -x1090 -x1285 -x1480 -x1675 -x1870 -x156 -x520 x896 -x1091 -x1286
1783.31	v -x1676 -x1677 -x158 x340 -x522 x898 -x1093 -x1288 -x1678 -x1873 -x160 x342 -x524 -x706 -x900 x1095 -x1290 -x1680 -x2070
1783.31	v -x343 -x2266 -x162 -x526 -x1292 -x2267 -x345 -x2268 -x164 -x346 x528 -x1099 -x1294 -x1684 -x1879 -x529 -x711 -x905 -x1100
1783.31	v -x1295 x1685 -x1880 -x2075 -x2270 -x348 -x1686 -x2271 -x168 x532 -x1298 -x1883 -x169 x351 -x533 -x1299 -x2274 -x170 -x352
1783.31	v x534 -x716 -x910 -x1105 -x1300 -x1495 -x2275 -x1301 -x1496 -x1691 -x1107 -x2277 -x172 -x354 x536 -x1303 -x1693 -x2083 -x173
1783.31	v -x537 x719 -x1304 -x2084 -x2279 -x175 x539 x916 -x1111 -x1306 -x1696 -x540 -x917 -x1502 -x359 -x723 -x1503 -x1698 -x1893
1783.31	v -x2088 -x360 -x1699 -x2284 -x179 -x361 -x543 -x920 -x1115 -x1310 -x2285 -x180 x544 -x1311 -x1701 -x2286 -x181 x545 -x1312
1783.31	v -x1702 -x2287 -x182 -x546 x728 -x1313 -x1898 -x2093 -x365 -x729 -x1509 -x1704 -x2094 -x1315 -x1510 x185 -x549 -x731 -x926
1783.31	v -x1316 -x1706 -x1901 x550 -x732 -x927 x1317 -x1512 -x2097 -x733 -x928 -x2098 -x734 -x929 -x2099 -x2100 -x554 -x736 -x931
1783.31	v -x1321 -x1711 -x9 -x373 -x737 x932 -x1127 -x1517 -x1907 -x10 x192 -x374 -x556 -x738 -x933 -x1128 x1323 -x1713 -x1908 x557
1783.31	v x1519 -x1714 -x1909 -x2104 -x12 -x376 -x740 -x935 -x1130 -x195 -x14 -x196 x378 -x742 -x937 -x1132 x1327 -x1522 -x1717 -x1912
1783.31	v -x198 x562 -x744 -x939 x1329 -x1524 -x1719 -x1914 x199 -x563 -x745 -x940 x1330 -x1525 -x1720 -x1915 -x18 -x200 x382 -x746
1783.31	v -x941 -x1136 -x1721 -x1916 -x19 -x383 -x1137 -x1527 -x1722 -x1917 -x748 -x943 -x1528 -x1723 x1918 -x2113 -x21 -x203 x385
1783.31	v -x749 -x944 -x1139 -x1334 -x1529 -x22 -x386 -x1140 -x23 -x387 x569 -x751 -x946 -x1141 -x1336 -x1531 -x2116 -x1337 -x1532
1783.31	v -x25 -x207 x389 -x1143 -x1338 -x1923 -x26 -x208 x390 -x754 -x949 -x1144 -x1339 -x1729 -x1924 -x27 -x209 x391 -x755 -x950
1783.31	v -x1145 -x1730 -x1925 -x756 x951 -x1146 -x1341 -x1536 -x1731 -x1926 -x28 -x210 x392 -x1147 -x1342 -x1537 -x1732 x1927 -x2122
1783.31	v x211 -x575 -x758 -x953 x1343 -x1538 -x1733 -x2123 -x1929 -x31 x213 -x395 -x760 -x955 -x1150 -x1735 -x1930 -x1541 -x2126
1783.31	v -x1542 x579 -x763 -x958 -x1543 -x1738 x216 -x764 -x959 -x1349 -x1544 -x1739 -x1934 x217 -x1350 -x1545 -x1740 x1935 x218
1783.31	v -x582 -x766 -x961 x1351 -x1546 -x1741 -x1936 x219 -x583 -x767 -x962 x1352 -x1547 -x1742 -x1937 -x220 x584 -x768 -x963 -x1353
1783.31	v -x1548 x221 -x1354 -x1549 -x1744 -x1939 x224 -x588 -x1357 -x1552 -x1942 -x43 -x407 -x773 -x968 -x1163 -x1358 -x1553 -x44
1783.31	v -x408 -x1164 -x45 -x409 x591 -x1165 -x1360 -x1555 -x46 -x410 -x1166 -x1946 x229 -x593 -x777 -x972 -x1362 -x1557 x1947 -x2142
1783.31	v -x230 -x1363 x595 -x50 x232 -x414 -x780 -x975 -x1170 x1365 -x1560 -x2145 x233 -x597 -x1366 -x1561 -x1756 x52 -x416 -x598
1783.31	v -x1172 -x1367 -x1562 -x1952 -x236 x1565 -x1760 -x2150 x237 -x786 -x981 x1371 -x1566 -x1761 -x1956 x239 -x603 -x788 -x983
1783.31	v -x1373 -x1568 x1958 -x2153 -x240 -x1374 -x1569 x241 -x605 -x790 -x985 -x1375 -x1570 -x60 -x424 -x791 -x986 -x1181 x607 -x792
1783.31	v -x987 -x1377 -x1572 x1962 -x2157 -x63 x245 -x427 -x794 -x989 -x1184 x1964 -x1575 -x2160 -x611 -x1381 -x1576 -x248 -x612
1783.31	v -x1382 -x1577 -x1772 x1967 -x2162 -x67 -x431 x613 -x798 -x993 x1188 -x1578 -x1773 -x1968 x68 -x250 -x432 -x799 -x994 -x1189
1783.31	v -x1579 -x1774 x1969 -x69 -x433 -x800 -x995 x1190 -x1385 -x1775 -x1970 -x70 -x434 -x616 -x801 -x996 x1191 -x1386 -x1581 -x1776
1783.31	v -x1971 -x71 -x435 -x802 -x997 x1192 -x1972 -x72 -x436 -x618 -x803 -x998 x1193 -x1388 -x1583 -x1778 -x1973 -x804 -x999 -x1194
1783.31	v -x1389 -x1584 -x1779 -x73 -x437 x619 -x805 -x1000 -x1195 -x1390 -x1780 x1975 x256 -x620 -x806 -x1001 -x1391 x1781 -x1976
1783.31	v -x75 x257 -x439 -x621 -x807 -x1002 -x1197 -x1392 -x1587 -x1782 x1977 -x2172 -x258 -x808 -x1003 -x1393 -x1588 -x77 x441 -x809
1783.31	v -x1004 -x1199 x1979 x260 -x1395 -x1590 -x1980 -x79 x443 -x625 -x811 -x1006 -x1201 x1591 -x1786 -x1981 -x2176 -x1202 -x1397
1783.31	v -x1592 -x1982 -x2177 -x813 -x1008 -x1593 -x81 x263 -x445 -x1204 -x1399 -x1594 -x815 -x1010 -x1205 -x1400 -x1595 x1985 -x82
1783.31	v x264 -x446 -x1206 -x1401 x1596 -x1791 -x1986 -x2181 -x265 -x84 x448 -x818 -x1013 -x1208 -x1598 -x1793 x1988 -x267 -x1404
1783.31	v -x1599 -x1794 -x1989 -x86 x450 -x820 -x1015 -x1210 -x1795 x1990 -x1211 -x1406 -x1601 -x1796 -x1991 -x87 -x451 x633 -x822
1783.31	v -x1017 -x1212 x1407 -x1602 -x2187 -x88 -x270 -x452 -x823 -x1018 -x1213 -x1408 -x1603 -x1798 x1993 -x89 x271 -x453 -x635
1783.31	v -x824 -x1019 -x1214 -x1409 -x1604 -x1799 x1994 -x90 x272 -x454 -x1215 x1410 -x1605 -x2190 -x91 x273 -x455 -x826 -x1021 -x1216
1783.31	v -x1411 -x1606 x1996 -x274 -x638 -x1412 x1607 -x1802 -x1997 -x2192 -x275 -x639 -x1413 x1608 -x1803 -x1998 -x2193 -x277 -x641
1783.31	v -x1415 x1610 -x1805 -x2000 -x2195 -x278 -x642 x831 -x1026 -x1416 -x1611 -x97 x461 -x643 x832 -x1027 -x1222 -x1807 -x2002
1783.31	v x833 -x1028 -x1223 -x1418 -x1613 -x1808 -x2003 -x1614 -x2004 -x835 x1030 -x1420 -x1615 -x1810 -x2005 -x2200 -x1811 -x2201
1783.31	v -x100 x282 -x464 -x1227 -x2007 -x283 -x647 -x1813 -x2008 -x284 -x1619 -x1814 -x2009 -x285 -x649 x1425 -x2205 -x286 -x1426
1783.31	v -x651 -x1817 x2012 -x2207 -x288 -x652 -x843 x1038 -x2013 -x2208 -x289 -x653 -x1429 -x1624 -x1819 -x2014 x2209 -x108 x472
1783.31	v -x654 -x845 -x1040 -x1235 -x1430 -x1625 -x2015 x2210 -x291 -x655 -x1431 -x1626 -x1821 -x2016 x2211 x292 -x656 -x1432 -x1627
1783.31	v -x1822 -x2017 x2212 -x111 x475 -x657 -x848 -x1043 -x1238 -x1433 -x1628 -x1823 -x2018 x2213 -x658 -x1434 -x1629 x2214 x295
1783.31	v -x659 -x850 -x1045 -x1630 -x1825 -x2020 x2215 -x114 x296 -x478 -x851 -x1046 -x1241 -x1436 -x1631 -x1826 -x2021 x2216 -x297
1783.31	v -x1632 -x116 -x480 x662 -x853 -x1048 -x1243 -x1438 -x1633 -x1828 -x2023 x2218 x299 -x663 -x854 -x1049 -x1634 -x1829 -x2024
1783.31	v x2219 -x118 x482 -x855 -x1050 -x1245 -x1440 -x1635 -x1830 -x2025 x2220 -x119 x483 -x665 -x856 x1051 -x1246 -x1441 -x1831
1783.31	v -x2026 -x2221 x302 -x666 -x857 -x1052 x1442 -x1637 -x2222 -x667 -x858 x1053 -x1638 -x2223 -x122 x486 -x668 -x859 -x1054
1783.31	v -x1249 x1444 -x1639 -x1834 -x2029 -x305 x669 -x1445 -x1640 -x1835 -x2030 -x672 -x863 -x1058 x1448 -x1643 -x2033 -x309 x1449
1783.31	v -x1644 -x1839 -x2034 -x1645 -x129 -x493 -x312 -x676 -x1451 -x1646 -x131 x495 -x677 -x867 -x1062 -x1257 x1452 -x1647 -x1842
1783.31	v -x2037 -x133 -x497 -x679 -x869 -x1064 x1259 -x1649 -x1844 -x2039 -x2234 x135 -x317 -x499 -x1261 -x1456 x1651 -x2236 -x318
1783.31	v -x682 -x1652 x1847 -x2042 -x2237 x138 -x320 -x502 -x874 -x1069 -x1264 -x1459 -x1654 x1849 -x2044 x139 -x503 -x685 -x1265
1783.31	v -x1460 -x1655 x1850 -x2240 -x322 x686 -x876 -x1071 -x1656 -x2046 -x1268 -x2048 -x2049 -x325 -x881 -x1076 -x1661 x1856 -x2051
1783.31	v -x1662 -x2249 -x2250 -x1666 -x2251 -x693 -x887 x1082 -x694 x149 -x331 -x513 -x889 -x1084 -x1279 x1864 -x2059 x150 -x332
1783.31	v -x514 -x890 -x1085 -x1280 x1865 -x2060 -x2255 -x333 x697 -x1476 -x1671 x1866 -x2061 -x2256 x698 -x1867 -x2257 -x153 -x517
1783.31	v -x699 x1283 -x1868 -x2063 -x2258 x154 -x518 -x1284 -x1869 -x2064 x701 -x2065 -x2260 -x338 x702 -x1481 -x1871 -x2066 -x2261
1783.31	v -x703 -x1872 -x2262 -x704 -x1483 -x2068 -x2263 -x159 -x523 -x705 -x899 -x1094 x1289 -x1679 -x2264 -x1485 -x1875 -x2265
1783.31	v x161 -x525 -x707 -x901 -x1096 -x1291 -x1486 -x1681 x1876 -x2071 -x344 x708 -x902 -x1097 -x1487 -x1877 -x2072 x163 -x527
1783.31	v -x709 -x903 -x1098 x1293 -x1488 -x1878 -x2073 -x710 -x1489 -x2074 -x2269 -x1882 -x350 -x714 -x908 -x1103 -x1493 -x2078
1783.31	v -x2273 -x715 -x909 -x1104 -x1494 -x1884 -x2079 -x1885 -x2080 -x717 -x718 -x913 -x1108 -x1498 -x2278 -x1694 -x720 -x1890
1783.31	v -x2085 -x2280 -x721 -x1891 -x2086 -x2281 -x722 x177 -x541 -x918 x1113 -x1308 -x2283 x178 -x542 -x724 -x919 -x1114 -x1309
1783.31	v x1894 -x2089 x725 -x1505 x1895 -x362 -x726 -x921 -x1116 -x1506 -x363 -x727 -x922 -x1117 -x1507 x1897 -x2092 -x364 -x1508
1783.31	v -x1703 x183 -x547 -x924 -x1119 -x1314 x1899 -x2289 x1 x8 x13 x20 -x32 x40 x41 x48 x54 x58 x80 x83 -x94 x98 x99 -x124 x125 x127
1783.31	v x142 x145 x148 -x157 x165 x166 x167 x171 -x174 -x176 -x184 -x186 -x190 -x191 -x197 -x201 -x202 -x204 -x212 x214 -x215 -x222
1783.31	v -x225 -x226 -x235 -x238 -x246 -x247 x251 -x259 -x262 -x268 -x269 x276 -x280 -x281 x303 -x307 -x310 x311 -x324 -x327 -x328
1783.31	v -x329 -x334 x335 -x337 x339 x341 -x347 -x349 -x353 -x355 x356 -x357 x358 -x372 -x377 -x384 -x396 -x404 -x405 -x412 -x447 -x458
1783.31	v x488 -x489 -x491 x496 x505 -x506 -x512 -x521 -x530 -x531 -x535 -x538 x548 x551 x552 x553 x558 -x559 x565 -x566 x570 x576 -x578
1783.31	v -x580 -x581 -x585 -x586 -x587 x592 -x594 x599 -x601 x602 x608 -x615 -x624 -x640 -x648 -x650 -x670 -x671 -x678 -x680 -x683
1783.31	v -x687 -x712 -x713 -x741 -x747 -x750 -x753 -x759 -x761 -x762 -x765 x769 -x770 -x771 -x776 -x778 x782 -x783 -x784 -x787 -x789
1783.31	v -x795 -x796 -x810 -x817 -x834 -x837 -x839 -x841 -x852 -x860 -x861 -x862 -x865 -x870 -x877 x882 -x883 -x884 -x885 -x886 x888
1783.31	v -x897 x904 -x906 x907 x911 x912 x914 -x915 x923 -x936 -x942 -x945 x948 -x954 -x956 -x957 -x966 -x971 x973 -x978 -x979 -x982
1783.31	v x984 -x990 -x991 -x1005 x1012 -x1034 x1036 x1047 x1055 -x1056 -x1057 x1060 -x1061 x1063 x1065 -x1072 -x1077 -x1078 -x1079
1783.31	v -x1080 -x1081 -x1083 -x1092 -x1101 -x1102 -x1106 -x1109 -x1110 -x1112 -x1118 -x1126 -x1131 -x1138 x1151 x1152 -x1160 -x1161
1783.31	v -x1168 x1173 -x1175 -x1179 -x1203 -x1207 x1219 -x1224 -x1226 -x1251 -x1252 -x1254 -x1258 -x1267 -x1269 -x1272 x1274 x1275
1783.31	v x1276 -x1278 x1287 -x1296 -x1297 -x1302 x1305 x1307 -x1322 -x1326 -x1328 x1332 -x1333 -x1348 -x1355 -x1356 x1361 -x1368
1783.31	v -x1369 -x1372 -x1376 -x1378 -x1379 -x1380 x1398 -x1402 -x1405 -x1414 x1419 -x1422 x1424 -x1437 -x1443 -x1446 -x1447 -x1450
1783.31	v -x1455 -x1458 -x1462 -x1463 x1464 -x1467 -x1468 -x1472 -x1473 -x1474 -x1482 -x1484 -x1490 -x1491 -x1492 -x1497 -x1499
1783.31	v -x1500 -x1501 -x1504 -x1518 x1521 -x1523 -x1530 -x1534 -x1539 -x1550 -x1554 x1559 -x1563 x1564 x1567 -x1571 x1573 -x1574
1783.31	v -x1580 -x1582 -x1600 -x1609 -x1612 x1617 -x1618 -x1622 x1641 -x1642 -x1653 x1657 x1658 x1663 -x1664 -x1665 -x1667 -x1668
1783.31	v x1682 -x1683 -x1687 x1688 x1689 x1690 -x1692 -x1695 -x1697 -x1700 -x1716 x1718 x1725 x1734 -x1736 -x1737 -x1743 x1745 x1746
1783.31	v -x1747 -x1748 -x1750 -x1754 -x1759 -x1762 -x1765 -x1768 x1770 x1771 -x1777 -x1783 -x1784 x1785 -x1804 -x1806 -x1809 -x1812
1783.31	v -x1815 -x1820 -x1824 -x1836 -x1837 x1841 -x1843 -x1846 x1851 -x1853 -x1858 -x1861 -x1874 x1881 -x1886 -x1887 x1888 -x1889
1783.31	v -x1892 x1896 -x1902 -x1906 -x1910 -x1911 -x1913 -x1920 -x1931 -x1932 -x1933 -x1938 -x1940 -x1941 -x1944 -x1945 -x1948
1783.31	v -x1949 -x1950 -x1953 -x1955 -x1957 -x1959 -x1960 -x1961 -x1963 -x1965 -x1966 x1974 x1978 -x1983 -x1987 -x1992 -x1995 -x1999
1783.31	v -x2001 -x2006 -x2010 -x2022 -x2028 -x2031 x2032 -x2035 -x2036 -x2038 -x2041 -x2045 -x2047 -x2052 -x2053 -x2054 -x2055
1783.31	v -x2056 -x2057 -x2058 -x2067 -x2069 -x2076 -x2077 -x2081 -x2082 -x2087 -x2090 -x2091 -x2095 -x2102 -x2103 -x2106 -x2112
1783.31	v -x2124 -x2127 x2128 -x2138 -x2139 -x2140 -x2143 -x2144 -x2149 -x2154 -x2158 -x2159 -x2167 -x2174 -x2175 -x2178 -x2194
1783.31	v -x2206 -x2217 -x2226 -x2227 -x2229 -x2230 -x2233 -x2235 -x2244 -x2247 -x2252 -x2253 -x2272 -x2276 -x2282 -x2288

Verifier Data (download as text)

OK	17558

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node78/watcher-38182-1149291153 -o ROOT/results/node78/solver-38182-1149291153 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node78/38182-1149291153/instance-38182-1149291153.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.95 0.90 2/67 12850
/proc/meminfo: memFree=1572664/2055892 swapFree=4085732/4096564
[pid=12850] ppid=12848 vsize=2336 CPUtime=0
/proc/12850/stat : 12850 (Pueblo13) R 12848 12850 12804 0 -1 4194304 146 0 0 0 0 0 0 0 18 0 1 0 194144107 2392064 128 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 11439016 0 0 4096 0 0 0 0 17 1 0 0
/proc/12850/statm: 584 128 109 16 0 11 0

[startup+10.0016 s]
/proc/loadavg: 0.93 0.95 0.90 2/67 12850
/proc/meminfo: memFree=1561144/2055892 swapFree=4085732/4096564
[pid=12850] ppid=12848 vsize=13856 CPUtime=9.99
/proc/12850/stat : 12850 (Pueblo13) R 12848 12850 12804 0 -1 4194304 3548 0 0 0 990 9 0 0 25 0 1 0 194144107 14188544 3063 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527740 0 0 4096 0 0 0 0 17 1 0 0
/proc/12850/statm: 3464 3063 205 16 0 2904 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 13856

[startup+20.0067 s]
/proc/loadavg: 0.94 0.96 0.91 2/67 12850
/proc/meminfo: memFree=1557752/2055892 swapFree=4085732/4096564
[pid=12850] ppid=12848 vsize=17504 CPUtime=19.99
/proc/12850/stat : 12850 (Pueblo13) R 12848 12850 12804 0 -1 4194304 4447 0 0 0 1978 21 0 0 25 0 1 0 194144107 17924096 3962 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0
/proc/12850/statm: 4376 3962 205 16 0 3816 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 17504

[startup+30.0127 s]
/proc/loadavg: 0.95 0.96 0.91 2/67 12850
/proc/meminfo: memFree=1557560/2055892 swapFree=4085732/4096564
[pid=12850] ppid=12848 vsize=17756 CPUtime=30
/proc/12850/stat : 12850 (Pueblo13) R 12848 12850 12804 0 -1 4194304 4563 0 0 0 2971 29 0 0 25 0 1 0 194144107 18182144 4027 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12850/statm: 4439 4027 205 16 0 3879 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 17756

[startup+40.0188 s]
/proc/loadavg: 0.95 0.96 0.91 2/67 12850
/proc/meminfo: memFree=1556536/2055892 swapFree=4085732/4096564
[pid=12850] ppid=12848 vsize=18776 CPUtime=39.99
/proc/12850/stat : 12850 (Pueblo13) R 12848 12850 12804 0 -1 4194304 4806 0 0 0 3917 82 0 0 25 0 1 0 194144107 19226624 4270 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12850/statm: 4694 4270 205 16 0 4134 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 18776

[startup+50.0249 s]
/proc/loadavg: 0.96 0.96 0.91 2/67 12850
/proc/meminfo: memFree=1556408/2055892 swapFree=4085732/4096564
[pid=12850] ppid=12848 vsize=18656 CPUtime=49.99
/proc/12850/stat : 12850 (Pueblo13) R 12848 12850 12804 0 -1 4194304 4968 0 0 0 4883 116 0 0 25 0 1 0 194144107 19103744 4263 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527987 0 0 4096 0 0 0 0 17 1 0 0
/proc/12850/statm: 4664 4263 205 16 0 4104 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 18656

[startup+60.031 s]
/proc/loadavg: 0.97 0.96 0.91 2/67 12850
/proc/meminfo: memFree=1556280/2055892 swapFree=4085732/4096564
[pid=12850] ppid=12848 vsize=18980 CPUtime=60
/proc/12850/stat : 12850 (Pueblo13) R 12848 12850 12804 0 -1 4194304 5037 0 0 0 5882 118 0 0 25 0 1 0 194144107 19435520 4332 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12850/statm: 4745 4332 205 16 0 4185 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 18980

[startup+70.0361 s]
/proc/loadavg: 0.97 0.96 0.91 2/67 12850
/proc/meminfo: memFree=1556024/2055892 swapFree=4085732/4096564
[pid=12850] ppid=12848 vsize=19272 CPUtime=70.01
/proc/12850/stat : 12850 (Pueblo13) R 12848 12850 12804 0 -1 4194304 5102 0 0 0 6869 132 0 0 25 0 1 0 194144107 19734528 4397 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528614 0 0 4096 0 0 0 0 17 1 0 0
/proc/12850/statm: 4818 4397 205 16 0 4258 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 19272

[startup+80.0422 s]
/proc/loadavg: 0.98 0.96 0.91 2/67 12850
/proc/meminfo: memFree=1555896/2055892 swapFree=4085732/4096564
[pid=12850] ppid=12848 vsize=19144 CPUtime=80.01
/proc/12850/stat : 12850 (Pueblo13) R 12848 12850 12804 0 -1 4194304 5136 0 0 0 7858 143 0 0 25 0 1 0 194144107 19603456 4385 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12850/statm: 4786 4385 205 16 0 4226 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 19144

[startup+90.0483 s]
/proc/loadavg: 0.98 0.96 0.91 2/67 12850
/proc/meminfo: memFree=1555960/2055892 swapFree=4085732/4096564
[pid=12850] ppid=12848 vsize=19392 CPUtime=90.01
/proc/12850/stat : 12850 (Pueblo13) R 12848 12850 12804 0 -1 4194304 5184 0 0 0 8853 148 0 0 25 0 1 0 194144107 19857408 4433 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528598 0 0 4096 0 0 0 0 17 1 0 0
/proc/12850/statm: 4848 4433 205 16 0 4288 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 19392

[startup+100.054 s]
/proc/loadavg: 0.98 0.96 0.91 2/67 12850
/proc/meminfo: memFree=1555128/2055892 swapFree=4085732/4096564
[pid=12850] ppid=12848 vsize=20160 CPUtime=100.02
/proc/12850/stat : 12850 (Pueblo13) R 12848 12850 12804 0 -1 4194304 5436 0 0 0 9848 154 0 0 25 0 1 0 194144107 20643840 4637 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12850/statm: 5040 4637 205 16 0 4480 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 20160

[startup+110.06 s]
/proc/loadavg: 0.98 0.96 0.91 2/67 12850
/proc/meminfo: memFree=1554808/2055892 swapFree=4085732/4096564
[pid=12850] ppid=12848 vsize=20452 CPUtime=110.02
/proc/12850/stat : 12850 (Pueblo13) R 12848 12850 12804 0 -1 4194304 5508 0 0 0 10843 159 0 0 25 0 1 0 194144107 20942848 4709 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12850/statm: 5113 4709 205 16 0 4553 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 20452

[startup+120.067 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 12850
/proc/meminfo: memFree=1554808/2055892 swapFree=4085732/4096564
[pid=12850] ppid=12848 vsize=20380 CPUtime=120.03
/proc/12850/stat : 12850 (Pueblo13) R 12848 12850 12804 0 -1 4194304 5508 0 0 0 11840 163 0 0 25 0 1 0 194144107 20869120 4694 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527652 0 0 4096 0 0 0 0 17 1 0 0
/proc/12850/statm: 5095 4694 205 16 0 4535 0
Current children cumulated CPU time (s) 120.03
Current children cumulated vsize (Kb) 20380

[startup+130.072 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 12850
/proc/meminfo: memFree=1554744/2055892 swapFree=4085732/4096564
[pid=12850] ppid=12848 vsize=20380 CPUtime=130.02
/proc/12850/stat : 12850 (Pueblo13) R 12848 12850 12804 0 -1 4194304 5532 0 0 0 12831 171 0 0 25 0 1 0 194144107 20869120 4694 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520003 0 0 4096 0 0 0 0 17 1 0 0
/proc/12850/statm: 5095 4694 205 16 0 4535 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 20380

[startup+140.078 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 12850
/proc/meminfo: memFree=1553400/2055892 swapFree=4085732/4096564
[pid=12850] ppid=12848 vsize=21912 CPUtime=140.02
/proc/12850/stat : 12850 (Pueblo13) R 12848 12850 12804 0 -1 4194304 5900 0 0 0 13821 181 0 0 25 0 1 0 194144107 22437888 5062 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12850/statm: 5478 5062 205 16 0 4918 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 21912

[startup+150.084 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 12850
/proc/meminfo: memFree=1553272/2055892 swapFree=4085732/4096564
[pid=12850] ppid=12848 vsize=21872 CPUtime=150.03
/proc/12850/stat : 12850 (Pueblo13) R 12848 12850 12804 0 -1 4194304 5918 0 0 0 14803 200 0 0 25 0 1 0 194144107 22396928 5066 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527947 0 0 4096 0 0 0 0 17 1 0 0
/proc/12850/statm: 5468 5066 205 16 0 4908 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 21872

[startup+160.09 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 12850
/proc/meminfo: memFree=1553336/2055892 swapFree=4085732/4096564
[pid=12850] ppid=12848 vsize=21676 CPUtime=160.03
/proc/12850/stat : 12850 (Pueblo13) R 12848 12850 12804 0 -1 4194304 5918 0 0 0 15779 224 0 0 25 0 1 0 194144107 22196224 5017 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12850/statm: 5419 5017 205 16 0 4859 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 21676

[startup+170.096 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 12850
/proc/meminfo: memFree=1553464/2055892 swapFree=4085732/4096564
[pid=12850] ppid=12848 vsize=21552 CPUtime=170.04
/proc/12850/stat : 12850 (Pueblo13) R 12848 12850 12804 0 -1 4194304 5918 0 0 0 16753 251 0 0 25 0 1 0 194144107 22069248 4986 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12850/statm: 5388 4986 205 16 0 4828 0
Current children cumulated CPU time (s) 170.04
Current children cumulated vsize (Kb) 21552

[startup+180.102 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 12850
/proc/meminfo: memFree=1553464/2055892 swapFree=4085732/4096564
[pid=12850] ppid=12848 vsize=21552 CPUtime=180.04
/proc/12850/stat : 12850 (Pueblo13) R 12848 12850 12804 0 -1 4194304 5918 0 0 0 17720 284 0 0 25 0 1 0 194144107 22069248 4986 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12850/statm: 5388 4986 205 16 0 4828 0
Current children cumulated CPU time (s) 180.04
Current children cumulated vsize (Kb) 21552

[startup+190.107 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 12850
/proc/meminfo: memFree=1553464/2055892 swapFree=4085732/4096564
[pid=12850] ppid=12848 vsize=21552 CPUtime=190.04
/proc/12850/stat : 12850 (Pueblo13) R 12848 12850 12804 0 -1 4194304 5918 0 0 0 18695 309 0 0 25 0 1 0 194144107 22069248 4986 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12850/statm: 5388 4986 205 16 0 4828 0
Current children cumulated CPU time (s) 190.04
Current children cumulated vsize (Kb) 21552

[startup+200.112 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 12850
/proc/meminfo: memFree=1552376/2055892 swapFree=4085732/4096564
[pid=12850] ppid=12848 vsize=22612 CPUtime=200.05
/proc/12850/stat : 12850 (Pueblo13) R 12848 12850 12804 0 -1 4194304 6225 0 0 0 19689 316 0 0 25 0 1 0 194144107 23154688 5248 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12850/statm: 5653 5248 205 16 0 5093 0
Current children cumulated CPU time (s) 200.05
Current children cumulated vsize (Kb) 22612

[startup+210.118 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 12850
/proc/meminfo: memFree=1552440/2055892 swapFree=4085732/4096564

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

/proc/12850/statm: 7982 7576 205 16 0 7422 0
Current children cumulated CPU time (s) 1590.46
Current children cumulated vsize (Kb) 31928

[startup+1600.93 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 12850
/proc/meminfo: memFree=1543032/2055892 swapFree=4085732/4096564
[pid=12850] ppid=12848 vsize=31928 CPUtime=1600.47
/proc/12850/stat : 12850 (Pueblo13) R 12848 12850 12804 0 -1 4194304 10039 0 0 0 158970 1077 0 0 25 0 1 0 194144107 32694272 7576 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12850/statm: 7982 7576 205 16 0 7422 0
Current children cumulated CPU time (s) 1600.47
Current children cumulated vsize (Kb) 31928

[startup+1610.94 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 12850
/proc/meminfo: memFree=1543032/2055892 swapFree=4085732/4096564
[pid=12850] ppid=12848 vsize=31928 CPUtime=1610.46
/proc/12850/stat : 12850 (Pueblo13) R 12848 12850 12804 0 -1 4194304 10039 0 0 0 159968 1078 0 0 25 0 1 0 194144107 32694272 7576 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517955 0 0 4096 0 0 0 0 17 1 0 0
/proc/12850/statm: 7982 7576 205 16 0 7422 0
Current children cumulated CPU time (s) 1610.46
Current children cumulated vsize (Kb) 31928

[startup+1620.94 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 12850
/proc/meminfo: memFree=1543096/2055892 swapFree=4085732/4096564
[pid=12850] ppid=12848 vsize=31928 CPUtime=1620.47
/proc/12850/stat : 12850 (Pueblo13) R 12848 12850 12804 0 -1 4194304 10039 0 0 0 160967 1080 0 0 25 0 1 0 194144107 32694272 7576 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12850/statm: 7982 7576 205 16 0 7422 0
Current children cumulated CPU time (s) 1620.47
Current children cumulated vsize (Kb) 31928

[startup+1630.95 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 12850
/proc/meminfo: memFree=1542968/2055892 swapFree=4085732/4096564
[pid=12850] ppid=12848 vsize=32000 CPUtime=1630.47
/proc/12850/stat : 12850 (Pueblo13) R 12848 12850 12804 0 -1 4194304 10069 0 0 0 161965 1082 0 0 25 0 1 0 194144107 32768000 7594 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12850/statm: 8000 7594 205 16 0 7440 0
Current children cumulated CPU time (s) 1630.47
Current children cumulated vsize (Kb) 32000

[startup+1640.95 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 12850
/proc/meminfo: memFree=1542968/2055892 swapFree=4085732/4096564
[pid=12850] ppid=12848 vsize=31928 CPUtime=1640.47
/proc/12850/stat : 12850 (Pueblo13) R 12848 12850 12804 0 -1 4194304 10069 0 0 0 162963 1084 0 0 25 0 1 0 194144107 32694272 7576 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12850/statm: 7982 7576 205 16 0 7422 0
Current children cumulated CPU time (s) 1640.47
Current children cumulated vsize (Kb) 31928

[startup+1650.96 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 12850
/proc/meminfo: memFree=1542904/2055892 swapFree=4085732/4096564
[pid=12850] ppid=12848 vsize=32104 CPUtime=1650.48
/proc/12850/stat : 12850 (Pueblo13) R 12848 12850 12804 0 -1 4194304 10119 0 0 0 163961 1087 0 0 25 0 1 0 194144107 32874496 7613 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12850/statm: 8026 7613 205 16 0 7466 0
Current children cumulated CPU time (s) 1650.48
Current children cumulated vsize (Kb) 32104

[startup+1660.97 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 12850
/proc/meminfo: memFree=1542904/2055892 swapFree=4085732/4096564
[pid=12850] ppid=12848 vsize=31932 CPUtime=1660.48
/proc/12850/stat : 12850 (Pueblo13) R 12848 12850 12804 0 -1 4194304 10119 0 0 0 164958 1090 0 0 25 0 1 0 194144107 32698368 7577 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12850/statm: 7983 7577 205 16 0 7423 0
Current children cumulated CPU time (s) 1660.48
Current children cumulated vsize (Kb) 31932

[startup+1670.97 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 12850
/proc/meminfo: memFree=1542904/2055892 swapFree=4085732/4096564
[pid=12850] ppid=12848 vsize=31928 CPUtime=1670.48
/proc/12850/stat : 12850 (Pueblo13) R 12848 12850 12804 0 -1 4194304 10119 0 0 0 165955 1093 0 0 25 0 1 0 194144107 32694272 7576 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12850/statm: 7982 7576 205 16 0 7422 0
Current children cumulated CPU time (s) 1670.48
Current children cumulated vsize (Kb) 31928

[startup+1680.98 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 12850
/proc/meminfo: memFree=1542904/2055892 swapFree=4085732/4096564
[pid=12850] ppid=12848 vsize=31928 CPUtime=1680.49
/proc/12850/stat : 12850 (Pueblo13) R 12848 12850 12804 0 -1 4194304 10119 0 0 0 166954 1095 0 0 25 0 1 0 194144107 32694272 7576 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12850/statm: 7982 7576 205 16 0 7422 0
Current children cumulated CPU time (s) 1680.49
Current children cumulated vsize (Kb) 31928

[startup+1690.98 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 12850
/proc/meminfo: memFree=1542904/2055892 swapFree=4085732/4096564
[pid=12850] ppid=12848 vsize=32056 CPUtime=1690.49
/proc/12850/stat : 12850 (Pueblo13) R 12848 12850 12804 0 -1 4194304 10137 0 0 0 167952 1097 0 0 25 0 1 0 194144107 32825344 7594 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/12850/statm: 8014 7594 205 16 0 7454 0
Current children cumulated CPU time (s) 1690.49
Current children cumulated vsize (Kb) 32056

[startup+1700.99 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 12850
/proc/meminfo: memFree=1542904/2055892 swapFree=4085732/4096564
[pid=12850] ppid=12848 vsize=31988 CPUtime=1700.49
/proc/12850/stat : 12850 (Pueblo13) R 12848 12850 12804 0 -1 4194304 10137 0 0 0 168951 1098 0 0 25 0 1 0 194144107 32755712 7591 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12850/statm: 7997 7591 205 16 0 7437 0
Current children cumulated CPU time (s) 1700.49
Current children cumulated vsize (Kb) 31988

[startup+1710.99 s]
/proc/loadavg: 1.00 0.99 0.91 2/73 12873
/proc/meminfo: memFree=1541768/2055892 swapFree=4085732/4096564
[pid=12850] ppid=12848 vsize=31928 CPUtime=1710.49
/proc/12850/stat : 12850 (Pueblo13) R 12848 12850 12804 0 -1 4194304 10137 0 0 0 169949 1100 0 0 25 0 1 0 194144107 32694272 7576 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/12850/statm: 7982 7576 205 16 0 7422 0
Current children cumulated CPU time (s) 1710.49
Current children cumulated vsize (Kb) 31928

[startup+1721 s]
/proc/loadavg: 1.00 0.99 0.91 2/73 12963
/proc/meminfo: memFree=1541640/2055892 swapFree=4085732/4096564
[pid=12850] ppid=12848 vsize=32056 CPUtime=1720.45
/proc/12850/stat : 12850 (Pueblo13) R 12848 12850 12804 0 -1 4194304 10158 0 0 0 170944 1101 0 0 25 0 1 0 194144107 32825344 7597 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12850/statm: 8014 7597 205 16 0 7454 0
Current children cumulated CPU time (s) 1720.45
Current children cumulated vsize (Kb) 32056

[startup+1731.01 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 13045
/proc/meminfo: memFree=1542520/2055892 swapFree=4085732/4096564
[pid=12850] ppid=12848 vsize=31928 CPUtime=1730.44
/proc/12850/stat : 12850 (Pueblo13) R 12848 12850 12804 0 -1 4194304 10204 0 0 0 171940 1104 0 0 25 0 1 0 194144107 32694272 7576 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527981 0 0 4096 0 0 0 0 17 1 0 0
/proc/12850/statm: 7982 7576 205 16 0 7422 0
Current children cumulated CPU time (s) 1730.44
Current children cumulated vsize (Kb) 31928

[startup+1741.01 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 13045
/proc/meminfo: memFree=1542648/2055892 swapFree=4085732/4096564
[pid=12850] ppid=12848 vsize=31928 CPUtime=1740.44
/proc/12850/stat : 12850 (Pueblo13) R 12848 12850 12804 0 -1 4194304 10204 0 0 0 172938 1106 0 0 25 0 1 0 194144107 32694272 7576 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12850/statm: 7982 7576 205 16 0 7422 0
Current children cumulated CPU time (s) 1740.44
Current children cumulated vsize (Kb) 31928

[startup+1751.02 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 13045
/proc/meminfo: memFree=1542648/2055892 swapFree=4085732/4096564
[pid=12850] ppid=12848 vsize=32036 CPUtime=1750.44
/proc/12850/stat : 12850 (Pueblo13) R 12848 12850 12804 0 -1 4194304 10212 0 0 0 173936 1108 0 0 25 0 1 0 194144107 32804864 7584 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517933 0 0 4096 0 0 0 0 17 1 0 0
/proc/12850/statm: 8009 7584 205 16 0 7449 0
Current children cumulated CPU time (s) 1750.44
Current children cumulated vsize (Kb) 32036

[startup+1761.02 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 13045
/proc/meminfo: memFree=1542648/2055892 swapFree=4085732/4096564
[pid=12850] ppid=12848 vsize=31928 CPUtime=1760.44
/proc/12850/stat : 12850 (Pueblo13) R 12848 12850 12804 0 -1 4194304 10212 0 0 0 174935 1109 0 0 25 0 1 0 194144107 32694272 7576 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12850/statm: 7982 7576 205 16 0 7422 0
Current children cumulated CPU time (s) 1760.44
Current children cumulated vsize (Kb) 31928

[startup+1771.03 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 13045
/proc/meminfo: memFree=1542712/2055892 swapFree=4085732/4096564
[pid=12850] ppid=12848 vsize=31928 CPUtime=1770.45
/proc/12850/stat : 12850 (Pueblo13) R 12848 12850 12804 0 -1 4194304 10212 0 0 0 175934 1111 0 0 25 0 1 0 194144107 32694272 7576 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12850/statm: 7982 7576 205 16 0 7422 0
Current children cumulated CPU time (s) 1770.45
Current children cumulated vsize (Kb) 31928

[startup+1781.04 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 13045
/proc/meminfo: memFree=1542648/2055892 swapFree=4085732/4096564
[pid=12850] ppid=12848 vsize=32184 CPUtime=1780.45
/proc/12850/stat : 12850 (Pueblo13) R 12848 12850 12804 0 -1 4194304 10270 0 0 0 176931 1114 0 0 25 0 1 0 194144107 32956416 7634 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12850/statm: 8046 7634 205 16 0 7486 0
Current children cumulated CPU time (s) 1780.45
Current children cumulated vsize (Kb) 32184

[startup+1782.04 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 13045
/proc/meminfo: memFree=1542648/2055892 swapFree=4085732/4096564
[pid=12850] ppid=12848 vsize=32184 CPUtime=1781.45
/proc/12850/stat : 12850 (Pueblo13) R 12848 12850 12804 0 -1 4194304 10270 0 0 0 177031 1114 0 0 25 0 1 0 194144107 32956416 7634 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527815 0 0 4096 0 0 0 0 17 1 0 0
/proc/12850/statm: 8046 7634 205 16 0 7486 0
Current children cumulated CPU time (s) 1781.45
Current children cumulated vsize (Kb) 32184

[startup+1783.04 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 13045
/proc/meminfo: memFree=1542648/2055892 swapFree=4085732/4096564
[pid=12850] ppid=12848 vsize=32184 CPUtime=1782.45
/proc/12850/stat : 12850 (Pueblo13) R 12848 12850 12804 0 -1 4194304 10270 0 0 0 177131 1114 0 0 25 0 1 0 194144107 32956416 7634 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12850/statm: 8046 7634 205 16 0 7486 0
Current children cumulated CPU time (s) 1782.45
Current children cumulated vsize (Kb) 32184

Child status: 10
Real time (s): 1783.32
CPU time (s): 1782.74
CPU user time (s): 1771.58
CPU system time (s): 11.1543
CPU usage (%): 99.9673
Max. virtual memory (cumulated for all children) (Kb): 32184

Launcher Data (download as text)

Begin job on node78 on Fri Jun  2 23:32:33 UTC 2006


FILE ID= 38182-1149291153

PBS_JOBID= 306873

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-4.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node78/38182-1149291153/instance-38182-1149291153.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node78/watcher-38182-1149291153 -o ROOT/results/node78/solver-38182-1149291153 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node78/38182-1149291153/instance-38182-1149291153.opb

MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1
MD5SUM BENCH=  4e682317a6045f4869b1783c80734344

RANDOM SEED= 443155645


/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.225
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	: 6006.17
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.225
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	: 5999.44
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055892 kB
MemFree:       1573064 kB
Buffers:         35620 kB
Cached:         377272 kB
SwapCached:       2520 kB
Active:          46744 kB
Inactive:       374852 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055892 kB
LowFree:       1573064 kB
SwapTotal:     4096564 kB
SwapFree:      4085732 kB
Dirty:             156 kB
Writeback:           0 kB
Mapped:          15136 kB
Slab:            47696 kB
Committed_AS:   306896 kB
PageTables:       1420 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node78 on Sat Jun  3 00:02:16 UTC 2006