Trace number 372794

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.4SAT28 1782.74 1783.29

General information on the benchmark

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

Verifier Data (download as text)

OK	28

Conversion Script Data (download as text)

/tmp/evaluation/372794-1177134547/instance-372794-1177134547.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/node34/watcher-372794-1177134547 -o ROOT/results/node34/solver-372794-1177134547 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/372794-1177134547/instance-372794-1177134547.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.02 1.01 1.00 3/77 12557
/proc/meminfo: memFree=1805128/2055920 swapFree=4159644/4192956
[pid=12557] ppid=12555 vsize=2552 CPUtime=0
/proc/12557/stat : 12557 (Pueblo) R 12555 12557 11934 0 -1 4194304 260 0 0 0 0 0 0 0 18 0 1 0 161370175 2613248 230 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 8187607 0 0 4096 0 0 0 0 17 1 0 0
/proc/12557/statm: 638 232 193 16 0 77 0

[startup+0.05647 s]
/proc/loadavg: 1.02 1.01 1.00 3/77 12557
/proc/meminfo: memFree=1805128/2055920 swapFree=4159644/4192956
[pid=12557] ppid=12555 vsize=3352 CPUtime=0.05
/proc/12557/stat : 12557 (Pueblo) R 12555 12557 11934 0 -1 4194304 477 0 0 0 5 0 0 0 18 0 1 0 161370175 3432448 447 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134546422 0 0 4096 0 0 0 0 17 1 0 0
/proc/12557/statm: 838 447 199 16 0 277 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 3352

[startup+0.102471 s]
/proc/loadavg: 1.02 1.01 1.00 3/77 12557
/proc/meminfo: memFree=1805128/2055920 swapFree=4159644/4192956
[pid=12557] ppid=12555 vsize=3884 CPUtime=0.09
/proc/12557/stat : 12557 (Pueblo) R 12555 12557 11934 0 -1 4194304 619 0 0 0 9 0 0 0 18 0 1 0 161370175 3977216 589 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134553750 0 0 4096 0 0 0 0 17 1 0 0
/proc/12557/statm: 971 592 200 16 0 410 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3884

[startup+0.302489 s]
/proc/loadavg: 1.02 1.01 1.00 3/77 12557
/proc/meminfo: memFree=1805128/2055920 swapFree=4159644/4192956
[pid=12557] ppid=12555 vsize=4796 CPUtime=0.29
/proc/12557/stat : 12557 (Pueblo) R 12555 12557 11934 0 -1 4194304 832 0 0 0 28 1 0 0 19 0 1 0 161370175 4911104 802 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134528017 0 0 4096 0 0 0 0 17 1 0 0
/proc/12557/statm: 1199 802 205 16 0 638 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4796

[startup+0.701519 s]
/proc/loadavg: 1.02 1.01 1.00 3/77 12557
/proc/meminfo: memFree=1805128/2055920 swapFree=4159644/4192956
[pid=12557] ppid=12555 vsize=4796 CPUtime=0.69
/proc/12557/stat : 12557 (Pueblo) R 12555 12557 11934 0 -1 4194304 832 0 0 0 67 2 0 0 22 0 1 0 161370175 4911104 802 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134527937 0 0 4096 0 0 0 0 17 1 0 0
/proc/12557/statm: 1199 802 205 16 0 638 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4796

[startup+1.50158 s]
/proc/loadavg: 1.02 1.01 1.00 2/78 12558
/proc/meminfo: memFree=1802752/2055920 swapFree=4159644/4192956
[pid=12557] ppid=12555 vsize=4928 CPUtime=1.49
/proc/12557/stat : 12557 (Pueblo) R 12555 12557 11934 0 -1 4194304 841 0 0 0 147 2 0 0 25 0 1 0 161370175 5046272 811 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134527978 0 0 4096 0 0 0 0 17 1 0 0
/proc/12557/statm: 1232 811 205 16 0 671 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 4928

[startup+3.10171 s]
/proc/loadavg: 1.02 1.01 1.00 2/78 12558
/proc/meminfo: memFree=1802176/2055920 swapFree=4159644/4192956
[pid=12557] ppid=12555 vsize=5796 CPUtime=3.09
/proc/12557/stat : 12557 (Pueblo) R 12555 12557 11934 0 -1 4194304 1073 0 0 0 304 5 0 0 25 0 1 0 161370175 5935104 1043 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12557/statm: 1449 1043 205 16 0 888 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 5796

[startup+6.30196 s]
/proc/loadavg: 1.02 1.01 1.00 2/78 12558
/proc/meminfo: memFree=1801288/2055920 swapFree=4159644/4192956
[pid=12557] ppid=12555 vsize=6296 CPUtime=6.29
/proc/12557/stat : 12557 (Pueblo) R 12555 12557 11934 0 -1 4194304 1200 0 0 0 620 9 0 0 25 0 1 0 161370175 6447104 1170 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12557/statm: 1574 1170 205 16 0 1013 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 6296

[startup+12.7015 s]
/proc/loadavg: 1.02 1.01 1.00 2/78 12558
/proc/meminfo: memFree=1800200/2055920 swapFree=4159644/4192956
[pid=12557] ppid=12555 vsize=7160 CPUtime=12.68
/proc/12557/stat : 12557 (Pueblo) R 12555 12557 11934 0 -1 4194304 1411 0 0 0 1252 16 0 0 25 0 1 0 161370175 7331840 1381 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134527759 0 0 4096 0 0 0 0 17 1 0 0
/proc/12557/statm: 1790 1381 205 16 0 1229 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 7160

[startup+25.5025 s]
/proc/loadavg: 1.01 1.01 1.00 2/78 12558
/proc/meminfo: memFree=1799624/2055920 swapFree=4159644/4192956
[pid=12557] ppid=12555 vsize=7664 CPUtime=25.48
/proc/12557/stat : 12557 (Pueblo) R 12555 12557 11934 0 -1 4194304 1534 0 0 0 2517 31 0 0 25 0 1 0 161370175 7847936 1504 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12557/statm: 1916 1504 205 16 0 1355 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 7664

[startup+51.1025 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 12558
/proc/meminfo: memFree=1797320/2055920 swapFree=4159644/4192956
[pid=12557] ppid=12555 vsize=9928 CPUtime=51.08
/proc/12557/stat : 12557 (Pueblo) R 12555 12557 11934 0 -1 4194304 2099 0 0 0 5061 47 0 0 25 0 1 0 161370175 10166272 2069 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12557/statm: 2482 2069 205 16 0 1921 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 9928

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12558
/proc/meminfo: memFree=1795208/2055920 swapFree=4159644/4192956
[pid=12557] ppid=12555 vsize=12120 CPUtime=102.27
/proc/12557/stat : 12557 (Pueblo) R 12555 12557 11934 0 -1 4194304 2623 0 0 0 10141 86 0 0 25 0 1 0 161370175 12410880 2593 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12557/statm: 3030 2593 205 16 0 2469 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 12120

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12558
/proc/meminfo: memFree=1794312/2055920 swapFree=4159644/4192956
[pid=12557] ppid=12555 vsize=13036 CPUtime=162.25
/proc/12557/stat : 12557 (Pueblo) R 12555 12557 11934 0 -1 4194304 2841 0 0 0 16102 123 0 0 25 0 1 0 161370175 13348864 2811 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12557/statm: 3259 2811 205 16 0 2698 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 13036

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 3/78 12558
/proc/meminfo: memFree=1793224/2055920 swapFree=4159644/4192956
[pid=12557] ppid=12555 vsize=14340 CPUtime=222.23
/proc/12557/stat : 12557 (Pueblo) R 12555 12557 11934 0 -1 4194304 3129 0 0 0 22046 177 0 0 25 0 1 0 161370175 14684160 3099 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134527748 0 0 4096 0 0 0 0 17 1 0 0
/proc/12557/statm: 3585 3099 205 16 0 3024 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 14340

[startup+282.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12558
/proc/meminfo: memFree=1790536/2055920 swapFree=4159644/4192956
[pid=12557] ppid=12555 vsize=16856 CPUtime=282.22
/proc/12557/stat : 12557 (Pueblo) R 12555 12557 11934 0 -1 4194304 3780 0 0 0 28010 212 0 0 25 0 1 0 161370175 17260544 3750 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12557/statm: 4214 3750 205 16 0 3653 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 16856

[startup+342.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12558
/proc/meminfo: memFree=1790600/2055920 swapFree=4159644/4192956
[pid=12557] ppid=12555 vsize=16856 CPUtime=342.2
/proc/12557/stat : 12557 (Pueblo) R 12555 12557 11934 0 -1 4194304 3785 0 0 0 33965 255 0 0 25 0 1 0 161370175 17260544 3755 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12557/statm: 4214 3755 205 16 0 3653 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 16856

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12558
/proc/meminfo: memFree=1790536/2055920 swapFree=4159644/4192956
[pid=12557] ppid=12555 vsize=16856 CPUtime=402.18
/proc/12557/stat : 12557 (Pueblo) R 12555 12557 11934 0 -1 4194304 3786 0 0 0 39923 295 0 0 25 0 1 0 161370175 17260544 3756 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12557/statm: 4214 3756 205 16 0 3653 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 16856

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12558
/proc/meminfo: memFree=1788232/2055920 swapFree=4159644/4192956
[pid=12557] ppid=12555 vsize=19232 CPUtime=462.17
/proc/12557/stat : 12557 (Pueblo) R 12555 12557 11934 0 -1 4194304 4350 0 0 0 45879 338 0 0 25 0 1 0 161370175 19693568 4320 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12557/statm: 4808 4320 205 16 0 4247 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 19232

[startup+522.302 s]
/proc/loadavg: 1.07 1.03 1.01 2/78 12558
/proc/meminfo: memFree=1788104/2055920 swapFree=4159644/4192956
[pid=12557] ppid=12555 vsize=19356 CPUtime=522.16
/proc/12557/stat : 12557 (Pueblo) R 12555 12557 11934 0 -1 4194304 4401 0 0 0 51842 374 0 0 25 0 1 0 161370175 19820544 4371 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12557/statm: 4839 4371 205 16 0 4278 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 19356

[startup+582.302 s]
/proc/loadavg: 1.06 1.03 1.01 2/78 12558
/proc/meminfo: memFree=1785800/2055920 swapFree=4159644/4192956
[pid=12557] ppid=12555 vsize=21604 CPUtime=582.14
/proc/12557/stat : 12557 (Pueblo) R 12555 12557 11934 0 -1 4194304 4962 0 0 0 57795 419 0 0 25 0 1 0 161370175 22122496 4932 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12557/statm: 5401 4932 205 16 0 4840 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 21604

[startup+642.301 s]
/proc/loadavg: 1.02 1.02 1.00 2/78 12558
/proc/meminfo: memFree=1785864/2055920 swapFree=4159644/4192956
[pid=12557] ppid=12555 vsize=21604 CPUtime=642.13
/proc/12557/stat : 12557 (Pueblo) R 12555 12557 11934 0 -1 4194304 4962 0 0 0 63751 462 0 0 25 0 1 0 161370175 22122496 4932 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12557/statm: 5401 4932 205 16 0 4840 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 21604


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

/proc/meminfo: memFree=1782472/2055920 swapFree=4159644/4192956
[pid=12557] ppid=12555 vsize=24848 CPUtime=881.98
/proc/12557/stat : 12557 (Pueblo) R 12555 12557 11934 0 -1 4194304 5901 0 0 0 87544 654 0 0 25 0 1 0 161370175 25444352 5751 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12557/statm: 6212 5751 205 16 0 5651 0
Current children cumulated CPU time (s) 881.98
Current children cumulated vsize (KiB) 24848

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12756
/proc/meminfo: memFree=1782024/2055920 swapFree=4159644/4192956
[pid=12557] ppid=12555 vsize=25348 CPUtime=941.96
/proc/12557/stat : 12557 (Pueblo) R 12555 12557 11934 0 -1 4194304 6009 0 0 0 93504 692 0 0 25 0 1 0 161370175 25956352 5859 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12557/statm: 6337 5859 205 16 0 5776 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 25348

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12756
/proc/meminfo: memFree=1782088/2055920 swapFree=4159644/4192956
[pid=12557] ppid=12555 vsize=25348 CPUtime=1001.94
/proc/12557/stat : 12557 (Pueblo) R 12555 12557 11934 0 -1 4194304 6009 0 0 0 99459 735 0 0 25 0 1 0 161370175 25956352 5859 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12557/statm: 6337 5859 205 16 0 5776 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 25348

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12756
/proc/meminfo: memFree=1781512/2055920 swapFree=4159644/4192956
[pid=12557] ppid=12555 vsize=26052 CPUtime=1061.93
/proc/12557/stat : 12557 (Pueblo) R 12555 12557 11934 0 -1 4194304 6153 0 0 0 105402 791 0 0 25 0 1 0 161370175 26677248 6003 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12557/statm: 6513 6003 205 16 0 5952 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 26052

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12756
/proc/meminfo: memFree=1781320/2055920 swapFree=4159644/4192956
[pid=12557] ppid=12555 vsize=26212 CPUtime=1121.91
/proc/12557/stat : 12557 (Pueblo) R 12555 12557 11934 0 -1 4194304 6199 0 0 0 111351 840 0 0 25 0 1 0 161370175 26841088 6049 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12557/statm: 6553 6049 205 16 0 5992 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 26212

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12756
/proc/meminfo: memFree=1781064/2055920 swapFree=4159644/4192956
[pid=12557] ppid=12555 vsize=26688 CPUtime=1181.9
/proc/12557/stat : 12557 (Pueblo) R 12555 12557 11934 0 -1 4194304 6259 0 0 0 117307 883 0 0 25 0 1 0 161370175 27328512 6109 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12557/statm: 6672 6109 205 16 0 6111 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 26688

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12756
/proc/meminfo: memFree=1781000/2055920 swapFree=4159644/4192956
[pid=12557] ppid=12555 vsize=26880 CPUtime=1241.88
/proc/12557/stat : 12557 (Pueblo) R 12555 12557 11934 0 -1 4194304 6290 0 0 0 123262 926 0 0 25 0 1 0 161370175 27525120 6140 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12557/statm: 6720 6140 205 16 0 6159 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 26880

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12756
/proc/meminfo: memFree=1780936/2055920 swapFree=4159644/4192956
[pid=12557] ppid=12555 vsize=26880 CPUtime=1301.88
/proc/12557/stat : 12557 (Pueblo) R 12555 12557 11934 0 -1 4194304 6290 0 0 0 129219 969 0 0 25 0 1 0 161370175 27525120 6140 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12557/statm: 6720 6140 205 16 0 6159 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 26880

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12756
/proc/meminfo: memFree=1779976/2055920 swapFree=4159644/4192956
[pid=12557] ppid=12555 vsize=27728 CPUtime=1361.85
/proc/12557/stat : 12557 (Pueblo) R 12555 12557 11934 0 -1 4194304 6531 0 0 0 135179 1006 0 0 25 0 1 0 161370175 28393472 6381 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12557/statm: 6932 6381 205 16 0 6371 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 27728

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12756
/proc/meminfo: memFree=1774600/2055920 swapFree=4159644/4192956
[pid=12557] ppid=12555 vsize=32960 CPUtime=1421.84
/proc/12557/stat : 12557 (Pueblo) R 12555 12557 11934 0 -1 4194304 7867 0 0 0 141144 1040 0 0 25 0 1 0 161370175 33751040 7686 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134528033 0 0 4096 0 0 0 0 17 1 0 0
/proc/12557/statm: 8240 7686 205 16 0 7679 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 32960

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12756
/proc/meminfo: memFree=1774664/2055920 swapFree=4159644/4192956
[pid=12557] ppid=12555 vsize=32960 CPUtime=1481.83
/proc/12557/stat : 12557 (Pueblo) R 12555 12557 11934 0 -1 4194304 7867 0 0 0 147106 1077 0 0 25 0 1 0 161370175 33751040 7686 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12557/statm: 8240 7686 205 16 0 7679 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 32960

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12756
/proc/meminfo: memFree=1774664/2055920 swapFree=4159644/4192956
[pid=12557] ppid=12555 vsize=32960 CPUtime=1541.81
/proc/12557/stat : 12557 (Pueblo) R 12555 12557 11934 0 -1 4194304 7871 0 0 0 153060 1121 0 0 25 0 1 0 161370175 33751040 7690 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12557/statm: 8240 7690 205 16 0 7679 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 32960

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12756
/proc/meminfo: memFree=1774664/2055920 swapFree=4159644/4192956
[pid=12557] ppid=12555 vsize=32960 CPUtime=1601.79
/proc/12557/stat : 12557 (Pueblo) R 12555 12557 11934 0 -1 4194304 7871 0 0 0 159021 1158 0 0 25 0 1 0 161370175 33751040 7690 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12557/statm: 8240 7690 205 16 0 7679 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 32960

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12756
/proc/meminfo: memFree=1774728/2055920 swapFree=4159644/4192956
[pid=12557] ppid=12555 vsize=32960 CPUtime=1661.77
/proc/12557/stat : 12557 (Pueblo) R 12555 12557 11934 0 -1 4194304 7871 0 0 0 164978 1199 0 0 25 0 1 0 161370175 33751040 7690 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559423 0 0 4096 0 0 0 0 17 1 0 0
/proc/12557/statm: 8240 7690 205 16 0 7679 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 32960

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12756
/proc/meminfo: memFree=1774728/2055920 swapFree=4159644/4192956
[pid=12557] ppid=12555 vsize=32960 CPUtime=1721.76
/proc/12557/stat : 12557 (Pueblo) R 12555 12557 11934 0 -1 4194304 7871 0 0 0 170929 1247 0 0 25 0 1 0 161370175 33751040 7690 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134532120 0 0 4096 0 0 0 0 17 1 0 0
/proc/12557/statm: 8240 7690 205 16 0 7679 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 32960

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12756
/proc/meminfo: memFree=1774728/2055920 swapFree=4159644/4192956
[pid=12557] ppid=12555 vsize=32960 CPUtime=1781.75
/proc/12557/stat : 12557 (Pueblo) R 12555 12557 11934 0 -1 4194304 7873 0 0 0 176886 1289 0 0 25 0 1 0 161370175 33751040 7692 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/12557/statm: 8240 7692 205 16 0 7679 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 32960

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

[startup+1782.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12756
/proc/meminfo: memFree=1774728/2055920 swapFree=4159644/4192956
[pid=12557] ppid=12555 vsize=32960 CPUtime=1782.14
/proc/12557/stat : 12557 (Pueblo) R 12555 12557 11934 0 -1 4194304 7873 0 0 0 176925 1289 0 0 25 0 1 0 161370175 33751040 7692 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12557/statm: 8240 7692 205 16 0 7679 0
Current children cumulated CPU time (s) 1782.14
Current children cumulated vsize (KiB) 32960

[startup+1783.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12756
/proc/meminfo: memFree=1774728/2055920 swapFree=4159644/4192956
[pid=12557] ppid=12555 vsize=32960 CPUtime=1782.55
/proc/12557/stat : 12557 (Pueblo) R 12555 12557 11934 0 -1 4194304 7873 0 0 0 176965 1290 0 0 25 0 1 0 161370175 33751040 7692 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12557/statm: 8240 7692 205 16 0 7679 0
Current children cumulated CPU time (s) 1782.55
Current children cumulated vsize (KiB) 32960

[startup+1783.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 12756
/proc/meminfo: memFree=1774728/2055920 swapFree=4159644/4192956
[pid=12557] ppid=12555 vsize=32960 CPUtime=1782.65
/proc/12557/stat : 12557 (Pueblo) R 12555 12557 11934 0 -1 4194304 7873 0 0 0 176975 1290 0 0 25 0 1 0 161370175 33751040 7692 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134558832 0 0 4096 0 0 0 0 17 1 0 0
/proc/12557/statm: 8240 7692 205 16 0 7679 0
Current children cumulated CPU time (s) 1782.65
Current children cumulated vsize (KiB) 32960

Child status: 10
Real time (s): 1783.29
CPU time (s): 1782.74
CPU user time (s): 1769.83
CPU system time (s): 12.907
CPU usage (%): 99.9692
Max. virtual memory (cumulated for all children) (KiB): 33144

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

runsolver used 2.14667 second user time and 4.05938 second system time

The end

Launcher Data (download as text)

Begin job on node34 on Sat Apr 21 05:49:07 UTC 2007

IDJOB= 372794
IDBENCH= 24997
IDSOLVER= 165
FILE ID= node34/372794-1177134547

PBS_JOBID= 4648793

Free space on /tmp= 66411 MiB

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

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

META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7
MD5SUM BENCH=  c19adaf233257cdd6134391794b23c65

RANDOM SEED= 787236431

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node34.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.236
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.236
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:       1805600 kB
Buffers:         45284 kB
Cached:         118392 kB
SwapCached:       2788 kB
Active:         142384 kB
Inactive:        45040 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1805600 kB
SwapTotal:     4192956 kB
SwapFree:      4159644 kB
Dirty:            2620 kB
Writeback:           0 kB
Mapped:          30796 kB
Slab:            48240 kB
Committed_AS:  1536228 kB
PageTables:       1976 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= 66411 MiB

End job on node34 on Sat Apr 21 06:18:51 UTC 2007