Trace number 372542

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.4SAT23 1782.73 1783.4

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_006_area_delay.opb
MD5SUM7294dff8a2fbe1f0b26c181010dcfed2
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark22
Best CPU time to get the best result obtained on this benchmark3.2725
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 22
Optimality of the best value was proved YES
Number of variables3041
Total number of constraints7696
Number of constraints which are clauses7696
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 1510
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 1510
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 1510
Number of bits of the biggest sum of numbers11
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 Pueblo version 1.4 (September 2005)
0.00/0.00	c Developed @ University of Michigan, Ann Arbor, MI
0.00/0.00	c  by Hossein Sheini
0.09/0.13	c starting to Solve
0.09/0.13	c #variables read: 3041 - #constraints read: 7607
0.09/0.13	o 32
0.09/0.16	o 31
0.09/0.16	o 30
0.20/0.20	o 28
0.49/0.58	o 27
1.29/1.38	o 26
1.79/1.85	o 25
1.79/1.85	o 24
14.49/14.59	o 23
1782.63/1783.38	c total time              : 1783 s
1782.63/1783.38	s SATISFIABLE
1782.63/1783.38	v -x142 -x144 -x146 -x148 -x150 -x152 -x154 -x156 -x158 -x160 -x162 -x164 x166 -x168 -x170 -x172 -x174 -x176 -x178 -x180 -x182
1782.63/1783.38	v -x184 -x186 -x188 -x190 -x192 -x194 -x196 -x198 -x200 -x202 -x204 -x206 -x208 -x210 -x212 -x214 -x216 -x218 -x220 -x222 -x224
1782.63/1783.38	v -x226 -x228 -x230 -x232 -x234 -x236 -x238 -x240 -x242 -x244 -x245 -x247 -x249 -x251 -x253 -x255 -x257 -x259 -x261 -x263 -x265
1782.63/1783.38	v -x267 -x269 -x270 -x272 -x274 -x276 -x278 -x280 -x282 -x284 -x286 -x288 -x290 -x291 -x293 -x295 -x297 -x299 -x301 -x303 -x305
1782.63/1783.38	v -x307 -x308 -x310 -x312 -x314 -x316 -x318 -x320 -x322 -x324 -x326 -x328 -x330 x332 -x334 -x336 -x338 -x340 -x342 -x344 -x346
1782.63/1783.38	v -x348 -x350 -x352 -x354 -x356 -x358 -x360 -x362 -x363 -x365 -x367 -x369 -x371 -x373 -x375 -x377 -x379 -x381 -x383 -x385 -x387
1782.63/1783.38	v -x389 -x391 -x393 -x395 -x397 -x399 -x401 -x403 -x405 -x407 -x409 -x411 -x413 -x415 -x417 -x419 -x421 -x423 -x425 -x427 -x428
1782.63/1783.38	v -x430 -x432 -x434 -x436 -x438 -x440 -x442 -x444 -x446 -x448 -x450 -x452 -x454 -x456 -x458 -x460 -x462 -x464 -x466 -x468 -x470
1782.63/1783.38	v -x472 -x474 -x476 -x478 -x480 -x482 -x484 -x486 -x488 -x490 -x492 -x494 -x496 -x498 -x500 -x502 -x503 -x505 -x507 -x509 -x510
1782.63/1783.38	v -x512 -x514 x516 -x518 -x520 -x522 -x524 -x526 -x528 -x530 -x532 -x534 -x536 -x538 -x540 -x542 -x544 -x546 -x548 -x550 -x552
1782.63/1783.38	v -x554 -x556 -x558 -x560 -x562 -x564 -x566 -x568 -x570 -x572 -x574 -x576 -x578 -x580 -x582 -x584 -x586 -x588 -x590 -x592 -x594
1782.63/1783.38	v -x596 -x598 -x600 -x602 -x604 -x606 -x608 -x610 -x612 -x614 -x616 -x618 -x620 -x622 -x624 -x626 -x628 -x629 -x631 -x633 -x635
1782.63/1783.38	v -x637 -x639 -x641 -x643 -x645 -x647 -x649 -x651 -x653 -x655 -x656 -x658 -x660 -x662 -x664 -x666 -x667 -x669 -x671 -x673 -x675
1782.63/1783.38	v -x677 -x679 -x681 -x683 -x685 -x687 -x689 -x691 -x693 -x695 -x697 x699 -x701 -x703 -x705 -x707 -x709 -x711 -x713 -x715 -x717
1782.63/1783.38	v -x719 -x721 -x723 -x725 -x726 -x728 -x730 -x732 -x734 -x736 -x738 -x740 -x742 -x744 -x746 -x748 -x750 -x752 -x754 -x756 -x758
1782.63/1783.38	v -x760 -x762 -x764 -x766 -x768 -x770 -x772 -x774 -x776 -x778 -x780 -x782 -x784 x786 -x788 -x790 -x792 -x794 -x796 -x798 -x800
1782.63/1783.38	v -x802 -x804 -x806 -x808 -x810 -x812 -x814 -x816 -x818 -x820 -x822 -x824 -x826 -x828 -x830 -x832 -x834 -x836 -x838 -x840 -x842
1782.63/1783.38	v -x844 -x846 -x848 -x850 -x852 -x854 -x856 -x858 -x860 -x862 -x864 -x866 -x868 -x870 -x872 -x874 -x876 -x878 -x880 -x882 -x884
1782.63/1783.38	v -x886 -x888 -x890 -x892 -x894 -x896 -x898 -x900 -x902 -x904 -x906 -x908 -x910 -x912 -x914 -x916 -x918 -x920 -x922 -x924 -x926
1782.63/1783.38	v -x928 -x930 -x932 -x934 -x936 -x938 -x940 -x942 -x944 -x946 -x948 -x950 -x952 -x954 -x956 -x958 -x960 -x962 -x964 -x966 -x968
1782.63/1783.38	v -x970 -x972 -x974 -x976 -x978 -x980 -x982 -x984 -x986 -x988 -x990 -x992 -x994 -x996 -x998 -x1000 -x1002 -x1004 -x1006 -x1008
1782.63/1783.38	v -x1010 -x1012 -x1014 -x1016 -x1018 -x1020 -x1022 -x1024 -x1026 -x1028 -x1030 -x1032 -x1034 -x1036 -x1038 -x1040 -x1042
1782.63/1783.38	v -x1044 -x1046 -x1048 -x1050 -x1052 -x1054 -x1056 -x1058 -x1060 -x1062 -x1064 -x1066 -x1068 -x1070 -x1072 -x1074 -x1076
1782.63/1783.38	v -x1078 -x1080 -x1082 -x1084 -x1086 -x1088 -x1090 -x1092 -x1094 -x1096 -x1098 -x1100 -x1102 -x1104 -x1106 -x1108 -x1110
1782.63/1783.38	v -x1112 -x1114 -x1116 -x1118 -x1120 -x1122 -x1124 -x1126 -x1128 -x1130 -x1132 -x1134 -x1136 -x1138 -x1140 -x1142 -x1144
1782.63/1783.38	v -x1146 -x1148 -x1150 -x1152 -x1154 -x1156 -x1158 -x1160 -x1162 -x1164 -x1166 -x1168 -x1170 -x1172 -x1174 -x1176 -x1178
1782.63/1783.38	v -x1180 -x1182 -x1184 -x1186 -x1188 -x1190 -x1192 -x1194 -x1196 -x1198 -x1200 -x1202 -x1204 -x1206 -x1208 -x1210 -x1212
1782.63/1783.38	v -x1214 -x1216 -x1218 -x1220 -x1222 -x1224 -x1226 -x1228 -x1230 -x1232 -x1234 -x1236 -x1238 -x1240 -x1242 -x1244 -x1246
1782.63/1783.38	v -x1248 -x1250 -x1252 -x1254 -x1256 -x1258 -x1260 -x1262 -x1264 -x1266 -x1268 -x1270 -x1272 -x1274 -x1276 -x1278 -x1280
1782.63/1783.38	v -x1282 -x1284 -x1286 -x1288 -x1290 -x1292 -x1294 -x1296 -x1298 -x1300 -x1302 -x1304 -x1306 -x1308 -x1310 -x1312 -x1314
1782.63/1783.38	v -x1316 -x1318 -x1320 -x1322 -x1324 -x1326 -x1328 -x1330 -x1332 -x1334 -x1336 -x1338 -x1340 -x1342 -x1344 -x1346 -x1348
1782.63/1783.38	v -x1350 -x1352 -x1354 -x1356 -x1358 -x1360 -x1362 -x1364 -x1366 -x1367 -x1369 -x1371 -x1373 -x1375 -x1377 -x1379 -x1381
1782.63/1783.38	v -x1383 -x1385 -x1387 -x1389 -x1391 -x1393 -x1395 -x1397 -x1399 -x1401 -x1403 -x1405 -x1407 -x1409 -x1411 -x1412 -x1414
1782.63/1783.38	v -x1416 -x1418 -x1420 -x1422 -x1424 -x1426 -x1428 -x1430 -x1432 -x1434 -x1436 -x1438 -x1440 -x1442 -x1444 -x1446 -x1448
1782.63/1783.38	v -x1450 -x1452 -x1454 -x1456 -x1458 -x1460 -x1462 -x1464 -x1466 -x1468 -x1470 -x1472 -x1474 -x1476 -x1478 -x1480 -x1482
1782.63/1783.38	v -x1484 -x1486 -x1488 -x1490 -x1492 -x1494 -x1496 -x1498 -x1500 -x1502 -x1504 -x1506 -x1508 -x1510 -x1512 -x1514 -x1516
1782.63/1783.38	v -x1518 -x1519 -x1521 -x1522 -x1524 -x1526 -x1528 -x1530 -x1532 -x1534 x1535 -x1537 -x1539 -x1541 -x1543 -x1545 -x1547
1782.63/1783.38	v -x1549 -x1551 -x1553 -x1555 -x1557 -x1558 -x1560 -x1562 -x1564 -x1566 -x1568 -x1570 -x1572 -x1574 -x1576 -x1578 -x1579
1782.63/1783.38	v -x1581 -x1583 -x1585 -x1587 -x1589 -x1591 -x1593 -x1595 -x1597 -x1599 -x1601 -x1603 -x1605 -x1607 -x1609 -x1611 -x1613
1782.63/1783.38	v -x1615 -x1617 -x1619 -x1621 -x1622 -x1624 -x1626 -x1628 -x1630 -x1632 -x1634 -x1636 -x1638 -x1640 -x1642 -x1644 -x1646
1782.63/1783.38	v -x1648 -x1650 -x1652 -x1653 -x1655 -x1657 -x1659 -x1661 -x1663 x1664 -x1666 -x1667 -x1669 -x1671 -x1673 -x1675 -x1677
1782.63/1783.38	v -x1679 -x1681 -x1683 -x1685 -x1687 -x1689 -x1691 -x1693 -x1695 -x1697 -x1698 -x1700 -x1702 -x1703 -x1705 -x1707 -x1709
1782.63/1783.38	v -x1711 -x1713 -x1715 -x1717 -x1719 -x1721 -x1723 -x1725 -x1727 -x1728 -x1730 -x1732 -x1734 -x1736 -x1738 -x1740 -x1742
1782.63/1783.38	v -x1744 -x1746 -x1748 -x1750 -x1752 -x1754 -x1756 -x1758 -x1760 -x1762 -x1764 -x1766 -x1768 -x1770 -x1772 -x1774 -x1776
1782.63/1783.38	v -x1778 -x1780 -x1782 -x1784 -x1786 -x1788 -x1790 -x1792 -x1794 -x1796 -x1798 -x1800 -x1802 -x1804 -x1806 -x1808 -x1810
1782.63/1783.38	v -x1812 -x1814 -x1816 -x1818 -x1820 -x1822 -x1824 -x1826 -x1828 -x1830 -x1832 -x1834 -x1836 -x1838 -x1840 -x1842 -x1844
1782.63/1783.38	v -x1846 -x1848 -x1850 -x1852 -x1854 -x1856 -x1857 -x1859 -x1861 -x1863 -x1865 -x1867 -x1869 -x1871 -x1873 -x1875 -x1877
1782.63/1783.38	v -x1879 -x1881 -x1883 -x1885 -x1887 -x1889 -x1891 -x1893 -x1895 -x1897 -x1899 -x1901 -x1903 -x1905 -x1907 -x1909 -x1911
1782.63/1783.38	v -x1913 -x1915 -x1917 -x1919 -x1921 -x1923 -x1925 -x1927 -x1929 -x1931 -x1933 -x1935 -x1937 -x1939 -x1941 -x1943 -x1945
1782.63/1783.38	v -x1947 -x1949 -x1951 -x1953 -x1955 -x1957 -x1959 -x1961 -x1963 -x1965 -x1967 -x1968 -x1970 -x1972 -x1974 -x1976 -x1978
1782.63/1783.38	v -x1980 -x1982 -x1984 -x1986 -x1988 -x1990 -x1992 -x1994 -x1996 -x1998 -x2000 -x2002 -x2004 -x2006 -x2008 -x2010 -x2012
1782.63/1783.38	v -x2014 -x2016 -x2018 -x2020 -x2022 -x2024 -x2026 -x2028 -x2030 -x2032 -x2034 -x2036 -x2038 -x2040 -x2042 -x2044 -x2045
1782.63/1783.38	v -x2047 -x2049 -x2051 -x2053 -x2055 -x2057 -x2058 -x2060 -x2062 -x2064 -x2066 -x2068 -x2070 -x2072 -x2074 -x2076 -x2078
1782.63/1783.38	v -x2080 -x2082 -x2083 -x2085 -x2087 -x2089 -x2091 -x2093 -x2095 -x2097 -x2099 -x2101 -x2103 -x2105 -x2107 -x2109 -x2111
1782.63/1783.38	v -x2112 -x2114 -x2116 -x2118 -x2120 -x2122 -x2124 -x2126 -x2128 -x2130 -x2132 -x2134 -x2136 -x2138 -x2140 -x2142 -x2144
1782.63/1783.38	v -x2146 -x2148 -x2150 -x2152 -x2154 -x2156 -x2157 -x2159 -x2161 -x2163 -x2165 -x2167 -x2169 -x2171 -x2173 -x2175 -x2176
1782.63/1783.38	v -x2178 -x2179 -x2181 -x2183 -x2185 -x2187 -x2189 -x2190 -x2192 -x2194 -x2196 -x2198 -x2200 -x2201 -x2203 -x2205 -x2206
1782.63/1783.38	v -x2208 x2209 -x2211 -x2213 -x2215 -x2217 -x2219 -x2221 -x2223 -x2225 -x2227 -x2229 -x2230 -x2232 -x2234 -x2235 -x2237
1782.63/1783.38	v -x2239 -x2240 -x2242 -x2244 -x2246 -x2248 -x2250 -x2252 -x2253 -x2255 -x2257 -x2259 -x2261 -x2262 -x2264 -x2266 -x2268
1782.63/1783.38	v -x2270 -x2272 -x2274 -x2276 -x2278 -x2280 -x2281 -x2283 -x2285 -x2287 -x2289 -x2290 -x2292 -x2294 -x2296 -x2298 -x2300
1782.63/1783.38	v -x2302 -x2304 -x2306 -x2308 -x2310 -x2312 -x2314 -x2316 -x2318 -x2320 -x2322 -x2324 -x2326 -x2328 -x2330 -x2332 -x2334
1782.63/1783.38	v -x2336 -x2337 -x2339 -x2341 -x2343 -x2345 -x2346 -x2348 -x2350 -x2352 -x2354 -x2356 -x2358 -x2360 -x2362 -x2364 -x2365
1782.63/1783.38	v -x2367 -x2369 -x2371 -x2373 -x2375 -x2376 -x2378 -x2380 -x2382 -x2383 -x2385 -x2387 -x2389 -x2391 -x2393 -x2395 -x2397
1782.63/1783.38	v -x2399 -x2401 -x2403 -x2405 -x2407 -x2409 -x2411 -x2413 -x2414 -x2416 -x2418 -x2420 -x2422 -x2424 -x2426 -x2428 -x2430
1782.63/1783.38	v -x2432 -x2434 -x2436 -x2438 -x2440 -x2442 -x2444 -x2446 -x2448 -x2450 -x2452 -x2454 x2456 -x2458 -x2460 -x2462 -x2463
1782.63/1783.38	v -x2465 -x2467 -x2469 -x2471 -x2472 -x2474 -x2475 -x2477 -x2479 -x2480 -x2482 -x2484 -x2485 x2487 -x2488 -x2490 -x2492
1782.63/1783.38	v -x2494 -x2496 -x2498 -x2500 -x2502 -x2504 -x2506 -x2508 -x2510 -x2512 -x2513 -x2515 -x2517 -x2518 -x2520 -x2522 -x2524
1782.63/1783.38	v x2526 -x2528 -x2530 -x2532 x2534 -x2536 -x2538 -x2540 -x2542 -x2544 -x2546 -x2548 -x2550 -x2552 -x2554 -x2556 -x2557 -x2559
1782.63/1783.38	v -x2561 -x2563 -x2565 -x2567 -x2569 -x2571 -x2573 -x2575 -x2577 -x2579 -x2581 -x2583 -x2585 -x2587 -x2589 -x2591 -x2593
1782.63/1783.38	v -x2595 -x2597 -x2599 -x2601 -x2603 -x2604 -x2606 -x2608 -x2610 -x2612 -x2614 -x2616 -x2618 -x2620 -x2622 -x2623 -x2625
1782.63/1783.38	v -x2627 -x2629 -x2631 -x2633 -x2635 -x2637 -x2639 -x2641 -x2643 -x2645 -x2647 -x2649 -x2651 -x2652 -x2654 -x2656 -x2658
1782.63/1783.38	v -x2660 -x2662 -x2663 -x2665 -x2666 -x2668 -x2670 -x2672 -x2674 -x2676 -x2678 -x2680 -x2682 -x2684 -x2685 -x2687 -x2689
1782.63/1783.38	v -x2690 -x2692 -x2694 -x2696 -x2698 -x2700 -x2702 -x2703 -x2705 -x2707 -x2709 -x2710 -x2711 -x2713 -x2714 -x2716 -x2718
1782.63/1783.38	v -x2720 -x2721 -x2723 -x2725 -x2727 -x2729 -x2731 -x2733 -x2735 -x2737 -x2739 -x2741 -x2743 -x2745 -x2747 -x2749 -x2751
1782.63/1783.38	v -x2752 -x2754 -x2756 -x2758 -x2760 -x2762 -x2764 -x2766 -x2768 -x2770 -x2772 -x2774 -x2775 -x2777 -x2779 -x2781 -x2783
1782.63/1783.38	v -x2785 -x2787 -x2789 -x2791 -x2793 -x2795 -x2797 -x2799 -x2801 -x2803 -x2805 -x2806 -x2808 -x2810 -x2812 -x2813 -x2815
1782.63/1783.38	v -x2816 -x2817 -x2819 -x2821 -x2823 -x2825 -x2826 -x2827 -x2828 -x2830 -x2832 -x2833 -x2835 -x2837 -x2839 -x2841 -x2843
1782.63/1783.38	v -x2844 -x2846 -x2848 -x2850 -x2852 -x2854 -x2855 -x2857 -x2859 -x2861 -x2862 -x2864 -x2866 -x2868 -x2870 -x2871 -x2873
1782.63/1783.38	v -x2874 -x2876 x2878 -x2880 x2881 -x2882 -x2884 -x2886 -x2888 -x2890 -x2892 -x2894 -x2896 -x2898 -x2900 -x2902 -x2904 -x2906
1782.63/1783.38	v -x2907 -x2909 -x2911 -x2913 -x2915 -x2916 -x2917 -x2919 -x2921 -x2923 -x2925 -x2927 -x2929 -x2931 -x2933 -x2935 -x2937
1782.63/1783.38	v -x2939 -x2941 -x2943 -x2944 -x2946 -x2948 -x2950 -x2951 -x2953 -x2954 -x2956 -x2958 -x2959 -x2961 -x2962 -x2964 -x2965
1782.63/1783.38	v x2966 -x2968 -x2970 -x2971 -x2972 -x2974 -x2976 x2977 -x2978 -x2979 -x2981 x2982 -x2984 -x2986 -x2988 -x2990 -x2992 x2993
1782.63/1783.38	v -x2995 -x2996 -x2998 -x3000 -x3002 -x3004 -x3006 -x3008 -x3010 -x3012 -x3014 -x3015 -x3016 -x3017 -x3019 -x3020 x3021
1782.63/1783.38	v -x3023 -x3025 -x3027 x3028 -x3030 x3031 -x3033 -x3035 -x3036 -x3038 x3039 -x3040 x3041 -x141 -x143 -x145 -x147 -x149 -x151
1782.63/1783.38	v -x153 -x155 -x157 -x159 -x161 -x163 x165 -x167 -x169 -x171 -x173 -x175 -x177 -x179 -x181 -x183 -x185 -x187 -x189 -x191 -x193
1782.63/1783.38	v -x195 -x197 -x199 -x201 -x203 -x1 -x205 -x207 -x209 -x211 -x213 -x215 -x217 -x219 -x221 -x223 -x225 -x227 -x229 -x231 -x233
1782.63/1783.38	v -x2 -x235 -x237 -x239 -x241 -x243 -x246 -x248 -x250 -x252 -x254 -x256 -x258 -x260 -x262 -x3 -x264 -x266 -x268 -x271 -x273
1782.63/1783.38	v -x275 -x277 -x279 -x281 -x283 -x285 -x287 -x289 -x292 -x294 -x296 -x298 -x300 -x302 -x304 -x306 -x309 -x311 -x313 -x315 -x317
1782.63/1783.38	v -x319 -x321 -x323 -x325 -x327 -x329 x331 -x333 -x335 -x4 -x337 -x339 -x341 -x343 -x345 -x347 -x349 -x351 -x353 -x355 -x357
1782.63/1783.38	v -x359 -x361 -x364 -x5 -x366 -x368 -x370 -x372 -x374 -x376 -x378 -x380 -x382 -x384 -x386 -x388 -x390 -x392 -x394 -x6 -x396
1782.63/1783.38	v -x398 -x400 -x402 -x404 -x406 -x408 -x7 -x410 -x412 -x414 -x416 -x418 -x420 -x422 -x424 -x426 -x429 -x431 -x433 -x435 -x437
1782.63/1783.38	v -x8 -x439 -x441 -x443 -x445 -x447 -x449 -x451 -x453 -x455 -x457 -x459 -x461 -x463 -x465 -x467 -x9 -x469 -x471 -x473 -x475
1782.63/1783.38	v -x477 -x479 -x481 -x10 -x483 -x485 -x487 -x489 -x491 -x493 -x495 -x11 -x497 -x499 -x501 -x504 -x506 -x508 -x12 -x511 -x513
1782.63/1783.38	v x515 -x517 -x519 -x521 -x523 -x525 -x527 -x529 -x531 -x533 -x535 -x537 -x539 -x541 -x543 -x545 -x547 -x549 -x551 -x553 -x555
1782.63/1783.38	v -x557 -x559 -x561 -x563 -x565 -x567 -x569 -x571 -x573 -x575 -x13 -x577 -x579 -x581 -x583 -x585 -x587 -x589 -x591 -x593 -x595
1782.63/1783.38	v -x597 -x599 -x601 -x603 -x605 -x14 -x607 -x609 -x611 -x613 -x615 -x617 -x619 -x621 -x623 -x625 -x627 -x630 -x632 -x634 -x15
1782.63/1783.38	v -x636 -x638 -x640 -x642 -x644 -x646 -x648 -x16 -x650 -x652 -x654 -x657 -x659 -x661 -x663 -x665 -x668 -x670 -x672 -x674 -x676
1782.63/1783.38	v -x17 -x678 -x680 -x682 -x684 -x686 -x688 -x690 -x692 -x694 -x696 x698 -x700 -x702 -x704 -x18 -x706 -x708 -x710 -x712 -x714
1782.63/1783.38	v -x716 -x718 -x720 -x722 -x724 -x727 -x729 -x731 -x733 -x735 -x737 -x739 -x741 -x743 -x745 -x747 -x749 -x751 -x753 -x755 -x757
1782.63/1783.38	v -x759 -x761 -x763 -x765 -x767 -x769 -x771 -x773 -x775 -x777 -x779 -x781 -x783 x785 -x787 -x789 -x791 -x793 -x795 -x797 -x799
1782.63/1783.38	v -x801 -x803 -x805 -x807 -x809 -x811 -x813 -x815 -x817 -x819 -x821 -x823 -x825 -x827 -x829 -x831 -x833 -x835 -x19 -x837 -x839
1782.63/1783.38	v -x841 -x843 -x845 -x847 -x849 -x851 -x853 -x855 -x857 -x859 -x861 -x863 -x865 -x867 -x869 -x871 -x873 -x875 -x877 -x879 -x881
1782.63/1783.38	v -x883 -x885 -x887 -x889 -x891 -x893 -x895 -x897 -x20 -x899 -x901 -x903 -x905 -x907 -x909 -x911 -x913 -x915 -x917 -x919 -x921
1782.63/1783.38	v -x923 -x925 -x927 -x929 -x931 -x933 -x935 -x937 -x939 -x941 -x943 -x945 -x947 -x949 -x951 -x953 -x955 -x957 -x959 -x21 -x961
1782.63/1783.38	v -x963 -x965 -x967 -x969 -x971 -x973 -x975 -x977 -x979 -x981 -x983 -x985 -x987 -x989 -x22 -x991 -x993 -x995 -x997 -x999 -x1001
1782.63/1783.38	v -x1003 -x1005 -x1007 -x1009 -x1011 -x1013 -x1015 -x1017 -x1019 -x1021 -x1023 -x1025 -x1027 -x1029 -x1031 -x1033 -x1035
1782.63/1783.38	v -x1037 -x1039 -x1041 -x1043 -x1045 -x1047 -x1049 -x1051 -x23 -x1053 -x1055 -x1057 -x1059 -x1061 -x1063 -x1065 -x1067 -x1069
1782.63/1783.38	v -x1071 -x1073 -x1075 -x1077 -x1079 -x1081 -x24 -x1083 -x1085 -x1087 -x1089 -x1091 -x1093 -x1095 -x1097 -x1099 -x1101 -x1103
1782.63/1783.38	v -x1105 -x1107 -x1109 -x1111 -x25 -x1113 -x1115 -x1117 -x1119 -x1121 -x1123 -x1125 -x26 -x1127 -x1129 -x1131 -x1133 -x1135
1782.63/1783.38	v -x1137 -x1139 -x1141 -x1143 -x1145 -x1147 -x1149 -x1151 -x1153 -x1155 -x1157 -x1159 -x1161 -x1163 -x1165 -x1167 -x1169
1782.63/1783.38	v -x1171 -x1173 -x1175 -x1177 -x1179 -x1181 -x1183 -x1185 -x1187 -x27 -x1189 -x1191 -x1193 -x1195 -x1197 -x1199 -x1201 -x1203
1782.63/1783.38	v -x1205 -x1207 -x1209 -x1211 -x1213 -x1215 -x1217 -x28 -x1219 -x1221 -x1223 -x1225 -x1227 -x1229 -x1231 -x1233 -x1235 -x1237
1782.63/1783.38	v -x1239 -x1241 -x1243 -x1245 -x1247 -x29 -x1249 -x1251 -x1253 -x1255 -x1257 -x1259 -x30 -x1261 -x1263 -x1265 -x1267 -x1269
1782.63/1783.38	v -x1271 -x1273 -x1275 -x1277 -x1279 -x1281 -x1283 -x1285 -x1287 -x1289 -x31 -x1291 -x1293 -x1295 -x1297 -x1299 -x1301 -x1303
1782.63/1783.38	v -x32 -x1305 -x1307 -x1309 -x1311 -x1313 -x1315 -x1317 -x33 -x1319 -x1321 -x1323 -x34 -x1325 -x1327 -x1329 -x1331 -x1333
1782.63/1783.38	v -x1335 -x1337 -x1339 -x1341 -x1343 -x1345 -x1347 -x1349 -x1351 -x1353 -x1355 -x1357 -x1359 -x1361 -x1363 -x1365 -x1368
1782.63/1783.38	v -x1370 -x1372 -x1374 -x1376 -x1378 -x1380 -x1382 -x1384 -x35 -x1386 -x1388 -x1390 -x1392 -x1394 -x1396 -x1398 -x1400 -x1402
1782.63/1783.38	v -x1404 -x1406 -x1408 -x1410 -x1413 -x36 -x1415 -x1417 -x1419 -x1421 -x1423 -x1425 -x1427 -x1429 -x1431 -x1433 -x1435 -x1437
1782.63/1783.38	v -x1439 -x1441 -x1443 -x37 -x1445 -x1447 -x1449 -x1451 -x1453 -x1455 -x1457 -x38 -x1459 -x1461 -x1463 -x1465 -x1467 -x1469
1782.63/1783.38	v -x1471 -x1473 -x1475 -x1477 -x1479 -x1481 -x1483 -x1485 -x1487 -x39 -x1489 -x1491 -x1493 -x1495 -x1497 -x1499 -x1501 -x40
1782.63/1783.38	v -x1503 -x1505 -x1507 -x1509 -x1511 -x1513 -x1515 -x41 -x1517 -x1520 -x1523 -x1525 -x1527 -x1529 -x1531 -x1533 -x1536 -x1538
1782.63/1783.38	v -x1540 -x1542 -x1544 -x1546 -x1548 -x42 -x1550 -x1552 -x1554 -x1556 -x1559 -x1561 -x43 -x1563 -x1565 -x1567 -x1569 -x1571
1782.63/1783.38	v -x1573 -x1575 -x44 -x1577 -x1580 -x45 -x1582 -x1584 -x1586 -x1588 -x1590 -x1592 -x1594 -x1596 -x1598 -x1600 -x1602 -x1604
1782.63/1783.38	v -x1606 -x1608 -x1610 -x46 -x1612 -x1614 -x1616 -x1618 -x1620 -x1623 -x47 -x1625 -x1627 -x1629 -x1631 -x1633 -x1635 -x1637
1782.63/1783.38	v -x48 -x1639 -x1641 -x1643 -x49 -x1645 -x1647 -x1649 -x1651 -x1654 -x1656 -x50 -x1658 -x1660 -x1662 x51 -x1665 -x52 -x1668
1782.63/1783.38	v -x53 -x1670 -x1672 -x1674 -x1676 -x1678 -x1680 -x1682 -x1684 -x1686 -x1688 -x1690 -x1692 -x1694 -x1696 -x54 -x1699 -x1701
1782.63/1783.38	v -x1704 -x1706 -x1708 -x1710 -x55 -x1712 -x1714 -x1716 -x1718 -x1720 -x1722 -x1724 -x56 -x1726 -x1729 -x57 -x1731 -x1733
1782.63/1783.38	v -x1735 -x1737 -x1739 -x1741 -x1743 -x1745 -x1747 -x1749 -x1751 -x1753 -x1755 -x1757 -x1759 -x58 -x1761 -x1763 -x1765 -x1767
1782.63/1783.38	v -x1769 -x1771 -x1773 -x59 -x1775 -x1777 -x1779 -x1781 -x1783 -x1785 -x1787 -x1789 -x1791 -x1793 -x1795 -x1797 -x1799 -x1801
1782.63/1783.38	v -x1803 -x60 -x1805 -x1807 -x1809 -x1811 -x1813 -x1815 -x1817 -x61 -x1819 -x1821 -x1823 -x1825 -x1827 -x1829 -x1831 -x62
1782.63/1783.38	v -x1833 -x1835 -x1837 -x1839 -x1841 -x1843 -x1845 -x63 -x1847 -x1849 -x1851 -x64 -x1853 -x1855 -x1858 -x1860 -x1862 -x1864
1782.63/1783.38	v -x1866 -x1868 -x1870 -x1872 -x1874 -x1876 -x1878 -x1880 -x1882 -x1884 -x1886 -x1888 -x1890 -x1892 -x1894 -x1896 -x1898
1782.63/1783.38	v -x1900 -x1902 -x1904 -x1906 -x1908 -x1910 -x1912 -x65 -x1914 -x1916 -x1918 -x1920 -x1922 -x1924 -x1926 -x1928 -x1930 -x1932
1782.63/1783.38	v -x1934 -x1936 -x1938 -x1940 -x1942 -x66 -x1944 -x1946 -x1948 -x1950 -x1952 -x1954 -x1956 -x1958 -x1960 -x1962 -x1964 -x1966
1782.63/1783.38	v -x1969 -x1971 -x67 -x1973 -x1975 -x1977 -x1979 -x1981 -x1983 -x1985 -x68 -x1987 -x1989 -x1991 -x1993 -x1995 -x1997 -x1999
1782.63/1783.38	v -x2001 -x2003 -x2005 -x2007 -x2009 -x2011 -x2013 -x2015 -x69 -x2017 -x2019 -x2021 -x2023 -x2025 -x2027 -x2029 -x70 -x2031
1782.63/1783.38	v -x2033 -x2035 -x2037 -x2039 -x2041 -x2043 -x71 -x2046 -x2048 -x72 -x2050 -x2052 -x2054 -x2056 -x2059 -x2061 -x2063 -x2065
1782.63/1783.38	v -x2067 -x2069 -x2071 -x2073 -x2075 -x2077 -x73 -x2079 -x2081 -x2084 -x2086 -x2088 -x2090 -x74 -x2092 -x2094 -x2096 -x2098
1782.63/1783.38	v -x2100 -x2102 -x2104 -x2106 -x2108 -x2110 -x2113 -x2115 -x2117 -x2119 -x75 -x2121 -x2123 -x2125 -x2127 -x2129 -x2131 -x2133
1782.63/1783.38	v -x76 -x2135 -x2137 -x2139 -x2141 -x2143 -x2145 -x2147 -x77 -x2149 -x2151 -x78 -x2153 -x2155 -x2158 -x2160 -x2162 -x2164
1782.63/1783.38	v -x79 -x2166 -x2168 -x2170 -x2172 -x2174 -x2177 -x80 -x2180 -x2182 -x81 -x2184 -x2186 -x2188 -x2191 -x2193 -x2195 -x82 -x2197
1782.63/1783.38	v -x2199 -x83 -x2202 -x2204 -x84 -x2207 -x2210 -x2212 -x2214 -x2216 -x2218 -x2220 -x2222 -x2224 -x2226 -x2228 -x2231 -x2233
1782.63/1783.38	v -x85 -x2236 -x2238 -x2241 -x2243 -x2245 -x2247 -x86 -x2249 -x2251 -x2254 -x2256 -x2258 -x2260 -x2263 -x2265 -x2267 -x2269
1782.63/1783.38	v -x2271 -x2273 -x2275 -x87 -x2277 -x2279 -x2282 -x2284 -x2286 -x2288 -x88 -x2291 -x2293 -x2295 -x2297 -x2299 -x2301 -x2303
1782.63/1783.38	v -x2305 -x2307 -x2309 -x2311 -x2313 -x2315 -x2317 -x89 -x2319 -x2321 -x2323 -x2325 -x2327 -x2329 -x2331 -x90 -x2333 -x2335
1782.63/1783.38	v -x2338 -x2340 -x2342 -x2344 -x91 -x2347 -x2349 -x92 -x2351 -x2353 -x2355 -x2357 -x2359 -x2361 -x2363 -x93 -x2366 -x2368
1782.63/1783.38	v -x2370 -x2372 -x2374 -x94 -x2377 -x2379 -x2381 -x95 -x2384 -x2386 -x2388 -x2390 -x2392 -x2394 -x2396 -x2398 -x2400 -x2402
1782.63/1783.38	v -x2404 -x2406 -x2408 -x2410 -x96 -x2412 -x2415 -x2417 -x2419 -x2421 -x2423 -x97 -x2425 -x2427 -x2429 -x2431 -x2433 -x2435
1782.63/1783.38	v -x2437 -x98 -x2439 -x2441 -x2443 -x2445 -x2447 -x2449 -x2451 -x2453 x2455 -x2457 -x99 -x2459 -x2461 -x100 -x2464 -x2466
1782.63/1783.38	v -x2468 -x2470 -x2473 -x101 -x2476 -x2478 -x102 -x2481 -x2483 -x103 x2486 -x2489 -x2491 -x2493 -x2495 -x2497 -x2499 -x2501
1782.63/1783.38	v -x2503 -x2505 -x2507 -x2509 -x2511 -x2514 -x2516 -x2519 -x2521 -x2523 x2525 -x2527 -x2529 -x2531 x2533 -x2535 -x2537 -x2539
1782.63/1783.38	v -x2541 -x2543 -x2545 -x2547 -x2549 -x2551 -x2553 -x2555 -x2558 -x2560 -x2562 -x2564 -x2566 -x2568 -x2570 -x2572 -x2574
1782.63/1783.38	v -x2576 -x2578 -x2580 -x2582 -x2584 -x2586 -x2588 -x104 -x2590 -x2592 -x2594 -x2596 -x2598 -x2600 -x2602 -x2605 -x2607
1782.63/1783.38	v -x2609 -x2611 -x2613 -x2615 -x2617 -x105 -x2619 -x2621 -x2624 -x2626 -x2628 -x2630 -x2632 -x2634 -x2636 -x2638 -x2640
1782.63/1783.38	v -x2642 -x2644 -x2646 -x106 -x2648 -x2650 -x2653 -x2655 -x2657 -x2659 -x107 -x2661 -x2664 -x2667 -x2669 -x2671 -x2673 -x2675
1782.63/1783.38	v -x2677 -x2679 -x2681 -x2683 -x2686 -x108 -x2688 -x2691 -x2693 -x2695 -x2697 -x2699 -x109 -x2701 -x2704 -x2706 -x2708 -x110
1782.63/1783.38	v -x2712 -x2715 -x111 -x2717 -x2719 -x2722 -x2724 -x2726 -x2728 -x112 -x2730 -x2732 -x2734 -x113 -x2736 -x2738 -x2740 -x2742
1782.63/1783.38	v -x2744 -x2746 -x2748 -x2750 -x2753 -x2755 -x2757 -x2759 -x2761 -x2763 -x114 -x2765 -x2767 -x2769 -x2771 -x2773 -x2776
1782.63/1783.38	v -x115 -x2778 -x2780 -x2782 -x2784 -x2786 -x2788 -x2790 -x116 -x2792 -x2794 -x117 -x2796 -x2798 -x2800 -x2802 -x2804 -x2807
1782.63/1783.38	v -x118 -x2809 -x2811 -x119 -x2814 -x120 -x2818 -x121 -x2820 -x2822 -x2824 -x2829 -x122 -x2831 -x2834 -x2836 -x2838 -x2840
1782.63/1783.38	v -x2842 -x2845 -x2847 -x2849 -x2851 -x2853 -x2856 -x123 -x2858 -x2860 -x2863 -x2865 -x2867 -x2869 -x2872 -x2875 x2877 -x2879
1782.63/1783.38	v x124 -x2883 -x2885 -x125 -x2887 -x2889 -x2891 -x2893 -x2895 -x2897 -x2899 -x2901 -x2903 -x2905 -x2908 -x2910 -x2912 -x2914
1782.63/1783.38	v -x126 -x2918 -x2920 -x2922 -x2924 -x2926 -x127 -x2928 -x2930 -x2932 -x2934 -x2936 -x2938 -x2940 -x128 -x2942 -x2945 -x129
1782.63/1783.38	v -x2947 -x2949 -x2952 -x2955 -x2957 -x130 -x2960 -x131 -x2963 -x2967 -x2969 -x2973 -x2975 x132 -x2980 -x2983 -x2985 -x2987
1782.63/1783.38	v -x2989 -x2991 -x2994 -x133 -x2997 -x2999 -x3001 -x3003 -x3005 -x3007 -x134 -x3009 -x3011 -x135 -x3013 -x136 x137 -x3018
1782.63/1783.38	v -x3022 -x3024 -x3026 -x3029 x138 -x3032 -x3034 -x139 -x3037 -x140

Verifier Data (download as text)

OK	23

Conversion Script Data (download as text)

/tmp/evaluation/372542-1177105886/instance-372542-1177105886.opb is already a linear file

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node69/watcher-372542-1177105886 -o ROOT/results/node69/solver-372542-1177105886 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/372542-1177105886/instance-372542-1177105886.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: 1.00 1.00 1.00 3/64 32552
/proc/meminfo: memFree=1760852/2055920 swapFree=4182908/4192956
[pid=32552] ppid=32550 vsize=2552 CPUtime=0
/proc/32552/stat : 32552 (Pueblo) R 32550 32552 31764 0 -1 4194304 260 0 0 0 0 0 0 0 18 0 1 0 186578052 2613248 230 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 12418775 0 0 4096 0 0 0 0 17 1 0 0
/proc/32552/statm: 638 232 193 16 0 77 0

[startup+0.06643 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 32552
/proc/meminfo: memFree=1760852/2055920 swapFree=4182908/4192956
[pid=32552] ppid=32550 vsize=3484 CPUtime=0.06
/proc/32552/stat : 32552 (Pueblo) R 32550 32552 31764 0 -1 4194304 508 0 0 0 6 0 0 0 18 0 1 0 186578052 3567616 478 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/32552/statm: 871 478 199 16 0 310 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 3484

[startup+0.101435 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 32552
/proc/meminfo: memFree=1760852/2055920 swapFree=4182908/4192956
[pid=32552] ppid=32550 vsize=4236 CPUtime=0.09
/proc/32552/stat : 32552 (Pueblo) R 32550 32552 31764 0 -1 4194304 691 0 0 0 9 0 0 0 18 0 1 0 186578052 4337664 661 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134532446 0 0 4096 0 0 0 0 17 1 0 0
/proc/32552/statm: 1059 661 204 16 0 498 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4236

[startup+0.301468 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 32552
/proc/meminfo: memFree=1760852/2055920 swapFree=4182908/4192956
[pid=32552] ppid=32550 vsize=4636 CPUtime=0.3
/proc/32552/stat : 32552 (Pueblo) R 32550 32552 31764 0 -1 4194304 776 0 0 0 28 2 0 0 19 0 1 0 186578052 4747264 746 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/32552/statm: 1159 746 205 16 0 598 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 4636

[startup+0.701532 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 32552
/proc/meminfo: memFree=1760852/2055920 swapFree=4182908/4192956
[pid=32552] ppid=32550 vsize=4636 CPUtime=0.69
/proc/32552/stat : 32552 (Pueblo) R 32550 32552 31764 0 -1 4194304 776 0 0 0 67 2 0 0 22 0 1 0 186578052 4747264 746 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/32552/statm: 1159 746 205 16 0 598 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4636

[startup+1.50166 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32553
/proc/meminfo: memFree=1758604/2055920 swapFree=4182908/4192956
[pid=32552] ppid=32550 vsize=4892 CPUtime=1.49
/proc/32552/stat : 32552 (Pueblo) R 32550 32552 31764 0 -1 4194304 829 0 0 0 145 4 0 0 25 0 1 0 186578052 5009408 799 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/32552/statm: 1223 799 205 16 0 662 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 4892

[startup+3.10292 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32553
/proc/meminfo: memFree=1757964/2055920 swapFree=4182908/4192956
[pid=32552] ppid=32550 vsize=5256 CPUtime=3.09
/proc/32552/stat : 32552 (Pueblo) R 32550 32552 31764 0 -1 4194304 948 0 0 0 303 6 0 0 25 0 1 0 186578052 5382144 918 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/32552/statm: 1314 918 205 16 0 753 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 5256

[startup+6.30144 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32553
/proc/meminfo: memFree=1757388/2055920 swapFree=4182908/4192956
[pid=32552] ppid=32550 vsize=5632 CPUtime=6.29
/proc/32552/stat : 32552 (Pueblo) R 32550 32552 31764 0 -1 4194304 1026 0 0 0 617 12 0 0 25 0 1 0 186578052 5767168 996 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/32552/statm: 1408 996 205 16 0 847 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 5632

[startup+12.7015 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32553
/proc/meminfo: memFree=1756812/2055920 swapFree=4182908/4192956
[pid=32552] ppid=32550 vsize=6200 CPUtime=12.69
/proc/32552/stat : 32552 (Pueblo) R 32550 32552 31764 0 -1 4194304 1181 0 0 0 1241 28 0 0 25 0 1 0 186578052 6348800 1151 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/32552/statm: 1550 1151 205 16 0 989 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 6200

[startup+25.5016 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32553
/proc/meminfo: memFree=1755596/2055920 swapFree=4182908/4192956
[pid=32552] ppid=32550 vsize=7336 CPUtime=25.49
/proc/32552/stat : 32552 (Pueblo) R 32550 32552 31764 0 -1 4194304 1462 0 0 0 2501 48 0 0 25 0 1 0 186578052 7512064 1432 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/32552/statm: 1834 1432 205 16 0 1273 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 7336

[startup+51.1017 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32553
/proc/meminfo: memFree=1754444/2055920 swapFree=4182908/4192956
[pid=32552] ppid=32550 vsize=8452 CPUtime=51.08
/proc/32552/stat : 32552 (Pueblo) R 32550 32552 31764 0 -1 4194304 1736 0 0 0 5033 75 0 0 25 0 1 0 186578052 8654848 1706 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/32552/statm: 2113 1706 205 16 0 1552 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 8452

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32553
/proc/meminfo: memFree=1752268/2055920 swapFree=4182908/4192956
[pid=32552] ppid=32550 vsize=10696 CPUtime=102.26
/proc/32552/stat : 32552 (Pueblo) R 32550 32552 31764 0 -1 4194304 2272 0 0 0 10095 131 0 0 25 0 1 0 186578052 10952704 2242 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/32552/statm: 2674 2242 205 16 0 2113 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 10696

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32553
/proc/meminfo: memFree=1752012/2055920 swapFree=4182908/4192956
[pid=32552] ppid=32550 vsize=11080 CPUtime=162.24
/proc/32552/stat : 32552 (Pueblo) R 32550 32552 31764 0 -1 4194304 2360 0 0 0 16026 198 0 0 25 0 1 0 186578052 11345920 2330 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/32552/statm: 2770 2330 205 16 0 2209 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 11080

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32553
/proc/meminfo: memFree=1750540/2055920 swapFree=4182908/4192956
[pid=32552] ppid=32550 vsize=12500 CPUtime=222.22
/proc/32552/stat : 32552 (Pueblo) R 32550 32552 31764 0 -1 4194304 2716 0 0 0 21979 243 0 0 25 0 1 0 186578052 12800000 2686 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/32552/statm: 3125 2686 205 16 0 2564 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 12500

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32553
/proc/meminfo: memFree=1748748/2055920 swapFree=4182908/4192956
[pid=32552] ppid=32550 vsize=14384 CPUtime=282.2
/proc/32552/stat : 32552 (Pueblo) R 32550 32552 31764 0 -1 4194304 3155 0 0 0 27899 321 0 0 25 0 1 0 186578052 14729216 3125 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/32552/statm: 3596 3125 205 16 0 3035 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 14384

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32553
/proc/meminfo: memFree=1748172/2055920 swapFree=4182908/4192956
[pid=32552] ppid=32550 vsize=14772 CPUtime=342.18
/proc/32552/stat : 32552 (Pueblo) R 32550 32552 31764 0 -1 4194304 3270 0 0 0 33805 413 0 0 25 0 1 0 186578052 15126528 3240 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/32552/statm: 3693 3240 205 16 0 3132 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 14772

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32553
/proc/meminfo: memFree=1747980/2055920 swapFree=4182908/4192956
[pid=32552] ppid=32550 vsize=15152 CPUtime=402.17
/proc/32552/stat : 32552 (Pueblo) R 32550 32552 31764 0 -1 4194304 3331 0 0 0 39721 496 0 0 25 0 1 0 186578052 15515648 3301 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/32552/statm: 3788 3301 205 16 0 3227 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 15152

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32553
/proc/meminfo: memFree=1746956/2055920 swapFree=4182908/4192956
[pid=32552] ppid=32550 vsize=16308 CPUtime=462.15
/proc/32552/stat : 32552 (Pueblo) R 32550 32552 31764 0 -1 4194304 3592 0 0 0 45630 585 0 0 25 0 1 0 186578052 16699392 3562 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/32552/statm: 4077 3562 205 16 0 3516 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 16308

[startup+522.301 s]
/proc/loadavg: 1.04 1.01 1.00 2/65 32553
/proc/meminfo: memFree=1746636/2055920 swapFree=4182908/4192956
[pid=32552] ppid=32550 vsize=16676 CPUtime=522.12
/proc/32552/stat : 32552 (Pueblo) R 32550 32552 31764 0 -1 4194304 3697 0 0 0 51540 672 0 0 25 0 1 0 186578052 17076224 3667 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/32552/statm: 4169 3667 205 16 0 3608 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 16676

[startup+582.301 s]
/proc/loadavg: 1.05 1.02 1.00 2/71 32625
/proc/meminfo: memFree=1743452/2055920 swapFree=4182908/4192956
[pid=32552] ppid=32550 vsize=18552 CPUtime=582.08
/proc/32552/stat : 32552 (Pueblo) R 32550 32552 31764 0 -1 4194304 4152 0 0 0 57464 744 0 0 25 0 1 0 186578052 18997248 4122 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/32552/statm: 4638 4122 205 16 0 4077 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 18552

[startup+642.302 s]
/proc/loadavg: 1.02 1.02 1.00 2/65 32751
/proc/meminfo: memFree=1743564/2055920 swapFree=4182908/4192956
[pid=32552] ppid=32550 vsize=19568 CPUtime=641.99
/proc/32552/stat : 32552 (Pueblo) R 32550 32552 31764 0 -1 4194304 4397 0 0 0 63372 827 0 0 25 0 1 0 186578052 20037632 4367 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/32552/statm: 4892 4367 205 16 0 4331 0
Current children cumulated CPU time (s) 641.99
Current children cumulated vsize (KiB) 19568


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

/proc/meminfo: memFree=1741388/2055920 swapFree=4182908/4192956
[pid=32552] ppid=32550 vsize=21724 CPUtime=821.93
/proc/32552/stat : 32552 (Pueblo) R 32550 32552 31764 0 -1 4194304 4945 0 0 0 81116 1077 0 0 25 0 1 0 186578052 22245376 4915 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/32552/statm: 5431 4915 205 16 0 4870 0
Current children cumulated CPU time (s) 821.93
Current children cumulated vsize (KiB) 21724

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32751
/proc/meminfo: memFree=1741452/2055920 swapFree=4182908/4192956
[pid=32552] ppid=32550 vsize=21724 CPUtime=881.92
/proc/32552/stat : 32552 (Pueblo) R 32550 32552 31764 0 -1 4194304 4950 0 0 0 87038 1154 0 0 25 0 1 0 186578052 22245376 4920 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134528563 0 0 4096 0 0 0 0 17 1 0 0
/proc/32552/statm: 5431 4920 205 16 0 4870 0
Current children cumulated CPU time (s) 881.92
Current children cumulated vsize (KiB) 21724

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32751
/proc/meminfo: memFree=1741388/2055920 swapFree=4182908/4192956
[pid=32552] ppid=32550 vsize=21724 CPUtime=941.9
/proc/32552/stat : 32552 (Pueblo) R 32550 32552 31764 0 -1 4194304 4956 0 0 0 92935 1255 0 0 25 0 1 0 186578052 22245376 4926 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/32552/statm: 5431 4926 205 16 0 4870 0
Current children cumulated CPU time (s) 941.9
Current children cumulated vsize (KiB) 21724

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32751
/proc/meminfo: memFree=1741388/2055920 swapFree=4182908/4192956
[pid=32552] ppid=32550 vsize=21724 CPUtime=1001.88
/proc/32552/stat : 32552 (Pueblo) R 32550 32552 31764 0 -1 4194304 4960 0 0 0 98856 1332 0 0 25 0 1 0 186578052 22245376 4930 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/32552/statm: 5431 4930 205 16 0 4870 0
Current children cumulated CPU time (s) 1001.88
Current children cumulated vsize (KiB) 21724

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32751
/proc/meminfo: memFree=1741388/2055920 swapFree=4182908/4192956
[pid=32552] ppid=32550 vsize=21724 CPUtime=1061.86
/proc/32552/stat : 32552 (Pueblo) R 32550 32552 31764 0 -1 4194304 4962 0 0 0 104764 1422 0 0 25 0 1 0 186578052 22245376 4932 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/32552/statm: 5431 4932 205 16 0 4870 0
Current children cumulated CPU time (s) 1061.86
Current children cumulated vsize (KiB) 21724

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32751
/proc/meminfo: memFree=1741324/2055920 swapFree=4182908/4192956
[pid=32552] ppid=32550 vsize=21956 CPUtime=1121.84
/proc/32552/stat : 32552 (Pueblo) R 32550 32552 31764 0 -1 4194304 4985 0 0 0 110656 1528 0 0 25 0 1 0 186578052 22482944 4955 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/32552/statm: 5489 4955 205 16 0 4928 0
Current children cumulated CPU time (s) 1121.84
Current children cumulated vsize (KiB) 21956

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32751
/proc/meminfo: memFree=1741196/2055920 swapFree=4182908/4192956
[pid=32552] ppid=32550 vsize=21956 CPUtime=1181.82
/proc/32552/stat : 32552 (Pueblo) R 32550 32552 31764 0 -1 4194304 5010 0 0 0 116559 1623 0 0 25 0 1 0 186578052 22482944 4980 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/32552/statm: 5489 4980 205 16 0 4928 0
Current children cumulated CPU time (s) 1181.82
Current children cumulated vsize (KiB) 21956

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32751
/proc/meminfo: memFree=1740876/2055920 swapFree=4182908/4192956
[pid=32552] ppid=32550 vsize=22340 CPUtime=1241.8
/proc/32552/stat : 32552 (Pueblo) R 32550 32552 31764 0 -1 4194304 5086 0 0 0 122478 1702 0 0 25 0 1 0 186578052 22876160 5056 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/32552/statm: 5585 5056 205 16 0 5024 0
Current children cumulated CPU time (s) 1241.8
Current children cumulated vsize (KiB) 22340

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32751
/proc/meminfo: memFree=1740684/2055920 swapFree=4182908/4192956
[pid=32552] ppid=32550 vsize=22532 CPUtime=1301.79
/proc/32552/stat : 32552 (Pueblo) R 32550 32552 31764 0 -1 4194304 5115 0 0 0 128405 1774 0 0 25 0 1 0 186578052 23072768 5085 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/32552/statm: 5633 5085 205 16 0 5072 0
Current children cumulated CPU time (s) 1301.79
Current children cumulated vsize (KiB) 22532

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32751
/proc/meminfo: memFree=1740620/2055920 swapFree=4182908/4192956
[pid=32552] ppid=32550 vsize=22724 CPUtime=1361.77
/proc/32552/stat : 32552 (Pueblo) R 32550 32552 31764 0 -1 4194304 5148 0 0 0 134329 1848 0 0 25 0 1 0 186578052 23269376 5118 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/32552/statm: 5681 5118 205 16 0 5120 0
Current children cumulated CPU time (s) 1361.77
Current children cumulated vsize (KiB) 22724

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32751
/proc/meminfo: memFree=1740556/2055920 swapFree=4182908/4192956
[pid=32552] ppid=32550 vsize=22916 CPUtime=1421.75
/proc/32552/stat : 32552 (Pueblo) R 32550 32552 31764 0 -1 4194304 5162 0 0 0 140236 1939 0 0 25 0 1 0 186578052 23465984 5132 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559528 0 0 4096 0 0 0 0 17 1 0 0
/proc/32552/statm: 5729 5132 205 16 0 5168 0
Current children cumulated CPU time (s) 1421.75
Current children cumulated vsize (KiB) 22916

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32751
/proc/meminfo: memFree=1740492/2055920 swapFree=4182908/4192956
[pid=32552] ppid=32550 vsize=22916 CPUtime=1481.73
/proc/32552/stat : 32552 (Pueblo) R 32550 32552 31764 0 -1 4194304 5164 0 0 0 146154 2019 0 0 25 0 1 0 186578052 23465984 5134 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/32552/statm: 5729 5134 205 16 0 5168 0
Current children cumulated CPU time (s) 1481.73
Current children cumulated vsize (KiB) 22916

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32751
/proc/meminfo: memFree=1740428/2055920 swapFree=4182908/4192956
[pid=32552] ppid=32550 vsize=22916 CPUtime=1541.71
/proc/32552/stat : 32552 (Pueblo) R 32550 32552 31764 0 -1 4194304 5182 0 0 0 152060 2111 0 0 25 0 1 0 186578052 23465984 5152 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/32552/statm: 5729 5152 205 16 0 5168 0
Current children cumulated CPU time (s) 1541.71
Current children cumulated vsize (KiB) 22916

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32751
/proc/meminfo: memFree=1740428/2055920 swapFree=4182908/4192956
[pid=32552] ppid=32550 vsize=22916 CPUtime=1601.69
/proc/32552/stat : 32552 (Pueblo) R 32550 32552 31764 0 -1 4194304 5192 0 0 0 157974 2195 0 0 25 0 1 0 186578052 23465984 5162 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/32552/statm: 5729 5162 205 16 0 5168 0
Current children cumulated CPU time (s) 1601.69
Current children cumulated vsize (KiB) 22916

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32751
/proc/meminfo: memFree=1740364/2055920 swapFree=4182908/4192956
[pid=32552] ppid=32550 vsize=23108 CPUtime=1661.67
/proc/32552/stat : 32552 (Pueblo) R 32550 32552 31764 0 -1 4194304 5202 0 0 0 163883 2284 0 0 25 0 1 0 186578052 23662592 5172 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/32552/statm: 5777 5172 205 16 0 5216 0
Current children cumulated CPU time (s) 1661.67
Current children cumulated vsize (KiB) 23108

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32751
/proc/meminfo: memFree=1740300/2055920 swapFree=4182908/4192956
[pid=32552] ppid=32550 vsize=23108 CPUtime=1721.65
/proc/32552/stat : 32552 (Pueblo) R 32550 32552 31764 0 -1 4194304 5222 0 0 0 169796 2369 0 0 25 0 1 0 186578052 23662592 5192 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/32552/statm: 5777 5192 205 16 0 5216 0
Current children cumulated CPU time (s) 1721.65
Current children cumulated vsize (KiB) 23108

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32751
/proc/meminfo: memFree=1740172/2055920 swapFree=4182908/4192956
[pid=32552] ppid=32550 vsize=23364 CPUtime=1781.64
/proc/32552/stat : 32552 (Pueblo) R 32550 32552 31764 0 -1 4194304 5251 0 0 0 175715 2449 0 0 25 0 1 0 186578052 23924736 5221 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/32552/statm: 5841 5221 205 16 0 5280 0
Current children cumulated CPU time (s) 1781.64
Current children cumulated vsize (KiB) 23364

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

[startup+1783.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32751
/proc/meminfo: memFree=1740172/2055920 swapFree=4182908/4192956
[pid=32552] ppid=32550 vsize=23364 CPUtime=1782.44
/proc/32552/stat : 32552 (Pueblo) R 32550 32552 31764 0 -1 4194304 5251 0 0 0 175795 2449 0 0 25 0 1 0 186578052 23924736 5221 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/32552/statm: 5841 5221 205 16 0 5280 0
Current children cumulated CPU time (s) 1782.44
Current children cumulated vsize (KiB) 23364

[startup+1783.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32751
/proc/meminfo: memFree=1740172/2055920 swapFree=4182908/4192956
[pid=32552] ppid=32550 vsize=23364 CPUtime=1782.63
/proc/32552/stat : 32552 (Pueblo) R 32550 32552 31764 0 -1 4194304 5251 0 0 0 175814 2449 0 0 25 0 1 0 186578052 23924736 5221 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/32552/statm: 5841 5221 205 16 0 5280 0
Current children cumulated CPU time (s) 1782.63
Current children cumulated vsize (KiB) 23364

Child status: 10
Real time (s): 1783.4
CPU time (s): 1782.73
CPU user time (s): 1758.23
CPU system time (s): 24.5013
CPU usage (%): 99.963
Max. virtual memory (cumulated for all children) (KiB): 23364

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

runsolver used 1.18482 second user time and 3.74443 second system time

The end

Launcher Data (download as text)

Begin job on node69 on Fri Apr 20 21:51:26 UTC 2007

IDJOB= 372542
IDBENCH= 24979
IDSOLVER= 165
FILE ID= node69/372542-1177105886

PBS_JOBID= 4640385

Free space on /tmp= 66496 MiB

SOLVER NAME= Pueblo 1.4
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_006_area_delay.opb
COMMAND LINE= Pueblo /tmp/evaluation/372542-1177105886/instance-372542-1177105886.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node69/convwatcher-372542-1177105886 -o ROOT/results/node69/conversion-372542-1177105886 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/372542-1177105886/instance-372542-1177105886.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node69/watcher-372542-1177105886 -o ROOT/results/node69/solver-372542-1177105886 -C 1800 -W 3600 -M 1800 --output-limit 1,15  Pueblo /tmp/evaluation/372542-1177105886/instance-372542-1177105886.opb

META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7
MD5SUM BENCH=  7294dff8a2fbe1f0b26c181010dcfed2

RANDOM SEED= 273845486

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node69.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.264
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	: 5931.00
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.264
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:       1761196 kB
Buffers:         50152 kB
Cached:         181204 kB
SwapCached:       3788 kB
Active:          57852 kB
Inactive:       183484 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1761196 kB
SwapTotal:     4192956 kB
SwapFree:      4182908 kB
Dirty:            2500 kB
Writeback:           0 kB
Mapped:          15600 kB
Slab:            39316 kB
Committed_AS:  2183088 kB
PageTables:       1472 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= 66496 MiB

End job on node69 on Fri Apr 20 22:21:10 UTC 2007