Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | 28 | 1800.03 | 1800.62 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_018_area_delay.opb |
MD5SUM | c19adaf233257cdd6134391794b23c65 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 25 |
Best CPU time to get the best result obtained on this benchmark | 18.7901 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 25 |
Optimality of the best value was proved | YES |
Number of variables | 3187 |
Total number of constraints | 8922 |
Number of constraints which are clauses | 8922 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 63 |
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 numbers | 11 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/433710-1177962358/instance-433710-1177962358.opb 0.00/0.00 c File size is 263267 bytes. 0.00/0.05 c Highest Coefficient sum: 1527 0.00/0.05 c Parsing was ok!! 0.00/0.05 c Total parsing time: 0.048 s 0.05/0.05 c Var: 3187 Constr: 8922 8922/0/0 Lit: 21969 Watch. Lit: 17751 0.05/0.05 c Obj. Vars: 1527 (47.9134 % of total variables) 0.09/0.11 c Pre-processing Time: 0.106 s 0.09/0.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.11 c 0 2986 7857 19657 2 15714 2618 0 0 0.11 0.09/0.11 c Switching off LPR mode. 0.09/0.11 o 28 0.11 1800.02/1800.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.02/1800.60 c 11 2986 7869 21259 2 17144 3618 12 98 0.11 1800.02/1800.60 c 111 2986 7969 24744 3 17344 3980 112 744 0.15 1800.02/1800.60 c 362 2986 8220 35849 4 17846 4379 363 1430 0.25 1800.02/1800.60 c 837 2986 8695 53750 6 18796 4817 838 2016 0.41 1800.02/1800.60 c 1650 2986 9508 95492 10 20422 5299 1651 2257 0.73 1800.02/1800.60 c 2970 2986 10828 154303 14 23062 5829 2971 2506 1.19 1800.02/1800.60 c 5051 2986 12909 249506 19 27224 6412 5052 2344 2.15 1800.02/1800.60 c 8274 2986 11743 230778 19 24892 7054 3886 2348 3.52 1800.02/1800.60 c 13211 2986 12265 276408 22 25936 7760 4408 2240 5.90 1800.02/1800.60 c 20717 2986 14573 407163 27 30552 8537 6716 2041 10.15 1800.02/1800.60 c 32079 2986 14849 463377 31 31104 9391 6992 1954 16.41 1800.02/1800.60 c 49223 2986 14169 383849 27 29744 10331 6312 1675 29.38 1800.02/1800.60 c 75042 2986 14714 414816 28 30834 11365 6857 1869 40.13 1800.02/1800.61 c 113874 2986 19308 682300 35 40022 12502 11451 1658 68.68 1800.02/1800.61 c 172226 2986 17543 614776 35 36492 13753 9686 1832 93.98 1800.02/1800.61 c 259858 2986 16052 594238 37 33510 15129 8195 1681 154.52 1800.02/1800.61 c 391413 2986 15492 526572 33 32390 16642 7635 1448 270.28 1800.02/1800.61 c 588846 2986 20766 935595 45 42938 18307 12909 1197 491.84 1800.02/1800.61 c 885099 2986 18193 631290 34 37792 20138 10336 1194 741.06 1800.02/1800.61 c 1329582 2986 21755 812840 37 44916 22152 13898 1064 1248.47 1800.02/1800.61 c Caught signal: 15 1800.02/1800.61 v -x138 -x140 x142 -x144 -x146 -x148 -x150 -x152 -x154 -x156 -x158 -x160 -x162 -x164 -x166 -x168 -x170 -x172 -x174 -x176 -x178 1800.02/1800.61 v -x180 -x182 -x184 -x186 -x188 -x190 -x192 -x194 -x196 x198 -x200 -x202 -x204 -x206 -x208 -x210 -x212 -x214 -x216 -x218 -x220 1800.02/1800.61 v -x222 -x224 -x226 -x228 -x230 -x232 -x234 -x236 -x238 -x240 x242 -x244 -x246 -x248 -x250 -x252 -x254 -x256 -x258 -x260 -x262 1800.02/1800.61 v -x264 -x266 -x268 -x270 -x272 -x274 -x276 -x278 -x280 -x282 -x284 -x286 -x288 -x290 -x292 -x294 -x296 -x298 -x300 -x302 -x304 1800.02/1800.61 v -x306 -x308 -x310 -x312 -x314 -x316 -x318 -x320 -x322 -x324 -x326 -x328 -x330 -x332 -x334 -x336 -x338 -x340 -x342 -x344 -x346 1800.02/1800.61 v -x348 -x350 -x352 -x354 -x356 -x358 -x360 -x362 -x364 -x366 -x368 -x370 -x372 -x374 -x376 -x378 -x380 -x382 -x384 -x386 -x388 1800.02/1800.61 v -x390 -x392 -x394 -x396 -x398 -x400 -x402 -x404 -x406 -x408 -x410 -x412 -x414 -x416 -x418 -x420 -x422 -x424 -x426 -x428 -x430 1800.02/1800.61 v -x432 -x434 -x436 -x438 -x440 -x442 -x444 -x446 -x448 -x450 -x452 -x454 -x456 -x458 -x460 -x462 -x464 -x466 -x468 -x470 -x472 1800.02/1800.61 v -x474 -x476 -x478 -x480 -x482 -x484 -x486 x488 -x490 -x492 -x494 -x496 -x498 -x500 x502 -x504 -x506 -x508 -x510 -x512 -x514 1800.02/1800.61 v -x516 -x518 -x520 -x522 -x524 -x526 -x528 -x530 -x532 -x534 -x536 -x538 -x540 -x542 -x544 -x546 -x548 -x550 -x552 -x554 -x556 1800.02/1800.61 v -x558 -x560 -x562 -x564 -x566 -x568 -x570 -x572 -x574 -x576 -x578 -x580 -x582 -x584 -x586 -x588 -x590 -x592 -x594 -x596 -x598 1800.02/1800.61 v -x600 -x602 -x604 -x606 -x608 -x610 -x612 -x614 -x616 -x618 -x620 -x622 -x624 -x626 -x628 -x630 -x632 -x634 -x636 -x638 -x640 1800.02/1800.61 v -x642 -x644 -x646 -x648 -x650 -x652 -x654 -x656 -x658 -x660 -x662 -x664 -x666 -x668 -x670 -x672 -x674 -x676 -x678 -x680 x681 1800.02/1800.61 v -x683 -x685 -x687 -x689 -x691 -x693 -x695 -x697 -x699 -x701 -x703 -x705 -x707 -x709 -x711 -x713 -x715 -x717 -x719 -x721 -x723 1800.02/1800.61 v -x725 -x727 -x729 -x731 -x733 -x735 -x737 -x739 -x741 -x743 -x745 -x747 -x749 -x751 -x753 -x755 -x757 -x759 -x761 -x763 -x765 1800.02/1800.61 v -x767 -x769 -x771 x773 -x775 -x777 -x779 -x781 -x783 -x785 -x787 -x789 -x791 -x793 -x795 -x797 -x799 -x801 -x803 -x805 -x807 1800.02/1800.61 v -x809 -x811 -x813 -x815 -x817 -x819 -x821 -x823 -x825 -x827 -x829 -x831 -x833 -x835 -x837 -x839 -x841 -x843 -x845 -x847 -x849 1800.02/1800.61 v -x851 -x853 -x855 x857 -x859 -x861 -x863 -x865 -x867 -x869 x871 -x873 -x875 -x877 -x879 -x881 -x883 -x885 -x887 -x889 -x891 1800.02/1800.61 v -x893 -x895 -x897 x899 -x901 -x903 -x905 -x907 -x909 -x911 -x913 -x915 -x917 -x919 -x921 -x923 -x925 -x927 -x929 -x931 -x933 1800.02/1800.61 v -x935 -x937 -x939 -x941 -x943 x945 -x947 -x949 -x951 -x953 -x955 -x957 -x959 -x961 -x963 -x965 -x967 -x969 -x971 -x973 -x975 1800.02/1800.61 v -x977 -x979 -x981 -x983 -x985 -x987 -x989 x991 -x993 -x995 -x997 -x999 -x1001 -x1003 -x1005 -x1007 -x1009 -x1011 -x1013 1800.02/1800.61 v -x1015 -x1017 -x1019 -x1021 -x1023 -x1025 -x1027 -x1029 -x1031 -x1033 -x1035 -x1037 -x1039 -x1041 -x1043 -x1045 -x1047 1800.02/1800.61 v -x1049 -x1051 -x1053 -x1055 -x1057 -x1059 -x1061 -x1063 -x1065 -x1067 -x1069 -x1071 -x1073 -x1075 -x1077 -x1079 -x1081 1800.02/1800.61 v -x1083 -x1085 -x1087 -x1089 -x1091 -x1093 -x1095 -x1097 -x1099 -x1101 -x1103 -x1105 -x1107 -x1109 -x1111 -x1113 -x1115 1800.02/1800.61 v -x1117 -x1119 -x1121 -x1123 -x1125 -x1127 -x1129 -x1131 -x1133 -x1135 -x1137 -x1139 -x1141 -x1143 -x1145 -x1147 -x1149 1800.02/1800.61 v -x1151 -x1153 -x1155 -x1157 -x1159 -x1161 -x1163 -x1165 -x1167 -x1169 -x1171 -x1173 -x1175 -x1177 -x1179 -x1181 -x1183 1800.02/1800.61 v -x1185 -x1187 -x1189 -x1191 -x1193 -x1195 -x1197 -x1199 -x1201 -x1203 -x1205 -x1207 -x1209 -x1211 -x1213 -x1215 -x1217 1800.02/1800.61 v -x1219 -x1221 -x1223 -x1225 -x1227 -x1229 x1231 -x1233 -x1235 -x1237 -x1239 -x1241 -x1243 -x1245 -x1247 -x1249 -x1251 1800.02/1800.61 v -x1253 -x1255 -x1257 -x1259 -x1261 -x1263 -x1265 -x1267 -x1269 -x1271 -x1273 -x1275 -x1277 -x1279 -x1281 -x1283 -x1285 1800.02/1800.61 v -x1287 -x1289 -x1291 -x1293 -x1295 -x1297 -x1299 -x1301 -x1303 -x1305 -x1307 -x1309 -x1311 -x1313 -x1315 -x1317 -x1319 1800.02/1800.61 v -x1321 -x1323 -x1325 -x1327 -x1329 -x1331 -x1333 -x1335 -x1337 -x1339 -x1341 -x1343 -x1345 -x1347 -x1349 -x1351 -x1353 1800.02/1800.61 v -x1355 -x1357 -x1359 -x1361 -x1363 -x1365 -x1367 -x1369 -x1371 -x1373 x1375 -x1377 -x1379 -x1381 -x1383 -x1385 -x1387 1800.02/1800.61 v -x1389 -x1391 -x1393 -x1395 -x1397 -x1399 -x1401 -x1403 -x1405 -x1407 -x1409 -x1411 -x1413 -x1415 -x1417 -x1419 -x1421 1800.02/1800.61 v -x1423 -x1425 -x1427 -x1429 -x1431 -x1433 -x1435 -x1437 -x1439 -x1441 -x1443 -x1445 -x1447 -x1449 -x1451 -x1453 -x1455 1800.02/1800.61 v -x1457 -x1459 -x1461 -x1463 -x1465 -x1467 -x1469 -x1471 -x1473 -x1475 -x1477 x1479 -x1481 -x1483 -x1485 -x1487 -x1489 1800.02/1800.61 v -x1491 -x1493 -x1495 -x1497 -x1499 -x1501 -x1503 -x1505 -x1507 -x1509 -x1511 -x1513 -x1515 -x1517 -x1518 -x1520 -x1522 1800.02/1800.61 v -x1524 -x1526 -x1528 -x1530 -x1532 -x1534 -x1536 -x1538 -x1540 -x1542 -x1544 -x1546 -x1548 -x1550 -x1552 -x1554 -x1556 1800.02/1800.61 v -x1558 -x1560 -x1562 -x1564 -x1566 -x1568 -x1570 -x1572 -x1574 -x1576 -x1578 -x1580 -x1582 -x1584 -x1586 -x1588 -x1590 1800.02/1800.61 v -x1592 -x1594 -x1596 -x1598 -x1600 -x1602 -x1604 -x1606 -x1608 -x1610 -x1612 -x1614 -x1616 -x1618 -x1620 -x1622 -x1624 1800.02/1800.61 v -x1626 -x1628 -x1630 -x1632 -x1634 -x1636 -x1638 -x1640 -x1642 -x1644 -x1646 -x1648 x1650 -x1652 -x1654 -x1656 -x1658 1800.02/1800.61 v -x1660 -x1662 -x1664 -x1666 -x1668 -x1670 -x1672 -x1674 -x1676 -x1678 -x1680 -x1682 -x1684 -x1686 -x1688 -x1690 -x1692 1800.02/1800.61 v -x1694 -x1696 -x1698 -x1700 -x1702 -x1704 -x1706 -x1708 -x1710 -x1712 -x1714 -x1716 x1718 -x1720 -x1722 -x1724 -x1726 1800.02/1800.61 v -x1728 -x1730 -x1732 -x1734 -x1736 -x1738 -x1740 -x1742 -x1744 -x1746 -x1748 -x1750 -x1752 -x1754 -x1756 -x1758 -x1760 1800.02/1800.61 v -x1762 -x1764 -x1766 -x1768 -x1770 -x1772 -x1774 -x1776 -x1778 -x1780 -x1782 -x1784 -x1786 -x1788 -x1790 -x1792 -x1794 1800.02/1800.61 v -x1796 -x1798 -x1800 -x1802 -x1804 -x1806 -x1808 -x1810 -x1812 -x1814 -x1816 -x1818 -x1820 -x1822 -x1824 -x1826 -x1828 1800.02/1800.61 v -x1830 -x1832 -x1834 -x1836 -x1838 -x1840 -x1842 -x1844 -x1846 -x1848 -x1850 -x1852 -x1854 -x1856 -x1858 -x1860 -x1862 1800.02/1800.61 v -x1864 -x1866 -x1868 -x1870 -x1872 -x1874 -x1876 -x1878 -x1880 -x1882 -x1884 -x1886 -x1888 -x1890 -x1892 -x1894 -x1896 1800.02/1800.61 v -x1898 -x1900 -x1902 -x1904 -x1906 -x1908 -x1910 -x1912 -x1914 -x1916 -x1918 -x1920 -x1922 -x1924 -x1926 -x1928 -x1930 1800.02/1800.61 v -x1932 -x1934 x1936 -x1938 -x1940 -x1942 -x1944 -x1946 -x1948 -x1950 -x1952 -x1954 -x1956 -x1958 -x1960 -x1962 -x1964 1800.02/1800.61 v -x1966 x1968 -x1970 -x1972 -x1974 -x1976 -x1978 -x1980 -x1982 -x1984 -x1986 -x1988 -x1990 -x1992 -x1994 -x1996 -x1998 1800.02/1800.61 v -x2000 -x2002 -x2004 -x2006 -x2008 -x2010 -x2012 -x2014 -x2016 -x2018 -x2020 -x2022 -x2024 -x2026 -x2028 -x2030 -x2032 1800.02/1800.61 v -x2034 -x2036 -x2038 -x2040 -x2042 -x2044 -x2046 -x2048 -x2050 -x2052 -x2054 -x2056 -x2058 -x2060 -x2062 -x2064 -x2066 1800.02/1800.61 v -x2068 -x2070 -x2072 -x2074 -x2076 -x2078 -x2080 -x2082 -x2084 -x2086 -x2088 -x2090 -x2092 -x2094 -x2096 -x2098 -x2100 1800.02/1800.61 v -x2102 -x2104 -x2106 -x2108 -x2110 -x2112 -x2114 -x2116 -x2118 -x2120 -x2122 -x2124 -x2126 -x2128 -x2130 -x2132 -x2134 1800.02/1800.61 v -x2136 -x2138 -x2140 -x2142 -x2144 -x2146 -x2148 -x2150 -x2152 -x2154 -x2156 -x2158 -x2160 -x2162 -x2164 -x2166 -x2168 1800.02/1800.61 v -x2170 -x2172 -x2174 -x2176 -x2178 -x2180 -x2182 -x2184 -x2186 -x2188 -x2190 -x2192 -x2194 -x2196 -x2198 -x2200 -x2202 1800.02/1800.61 v -x2204 -x2206 -x2208 -x2210 -x2212 -x2214 -x2216 -x2218 -x2220 -x2222 -x2224 -x2226 -x2228 -x2230 -x2232 -x2234 -x2236 1800.02/1800.61 v -x2238 -x2240 -x2242 -x2244 -x2246 -x2248 -x2250 -x2252 -x2254 -x2256 -x2258 -x2260 -x2262 -x2264 -x2266 -x2268 -x2270 1800.02/1800.61 v -x2272 -x2274 -x2276 -x2278 -x2280 -x2282 -x2284 -x2286 -x2288 -x2290 -x2292 -x2294 -x2296 -x2298 -x2300 -x2302 -x2304 1800.02/1800.61 v -x2306 -x2308 -x2310 -x2312 -x2314 -x2316 -x2318 x2320 -x2322 -x2324 -x2326 -x2328 -x2330 -x2332 -x2334 -x2336 -x2338 1800.02/1800.61 v -x2340 -x2342 -x2344 -x2346 -x2348 -x2350 -x2352 -x2354 -x2356 -x2358 -x2360 -x2362 -x2364 -x2366 -x2368 -x2370 -x2372 1800.02/1800.61 v -x2374 -x2376 -x2378 -x2380 -x2382 -x2384 -x2386 -x2388 -x2390 -x2392 -x2394 -x2396 -x2398 -x2400 -x2402 -x2404 -x2406 1800.02/1800.61 v -x2408 -x2410 -x2412 -x2414 -x2416 -x2418 -x2420 -x2422 -x2424 -x2426 -x2428 -x2430 -x2432 -x2434 -x2436 -x2438 -x2440 1800.02/1800.61 v -x2442 -x2444 -x2446 -x2448 -x2450 -x2452 -x2454 -x2456 -x2458 -x2460 -x2462 -x2464 -x2466 -x2468 -x2470 -x2472 x2474 1800.02/1800.61 v -x2476 -x2478 -x2480 -x2482 -x2484 -x2486 -x2488 -x2490 -x2492 -x2494 -x2496 -x2498 -x2500 -x2502 -x2504 -x2506 -x2508 1800.02/1800.61 v -x2510 -x2512 -x2514 -x2516 -x2518 -x2520 -x2522 -x2524 -x2526 -x2528 -x2530 -x2532 -x2534 -x2536 -x2538 -x2540 -x2542 1800.02/1800.61 v -x2544 -x2546 -x2548 -x2550 -x2552 -x2554 -x2556 -x2558 -x2560 -x2562 -x2564 -x2566 -x2568 -x2570 -x2572 -x2574 -x2576 1800.02/1800.61 v -x2578 -x2580 -x2582 -x2584 -x2586 -x2588 -x2590 -x2592 -x2594 -x2596 -x2598 -x2600 -x2602 -x2604 -x2606 -x2608 -x2610 1800.02/1800.61 v -x2612 -x2614 -x2616 -x2618 -x2620 -x2622 -x2624 -x2626 -x2628 -x2630 -x2632 -x2634 -x2636 -x2638 -x2640 -x2642 -x2644 1800.02/1800.61 v -x2646 -x2648 -x2650 -x2652 -x2654 -x2656 -x2658 -x2660 -x2662 -x2664 -x2666 -x2668 -x2670 -x2672 -x2674 -x2676 -x2678 1800.02/1800.61 v -x2680 -x2682 -x2684 -x2686 -x2688 -x2690 -x2692 -x2694 -x2696 -x2698 -x2700 -x2702 -x2704 -x2706 -x2708 -x2710 -x2712 1800.02/1800.61 v -x2714 -x2716 -x2718 -x2720 -x2722 -x2724 -x2726 -x2728 -x2730 -x2732 -x2734 -x2736 -x2738 -x2740 -x2742 -x2744 -x2746 1800.02/1800.61 v -x2748 -x2750 -x2752 -x2754 -x2756 -x2758 -x2760 -x2762 -x2764 -x2766 -x2768 -x2770 -x2772 -x2774 -x2776 -x2778 -x2780 1800.02/1800.61 v -x2782 -x2784 -x2786 -x2788 -x2790 -x2792 -x2794 -x2796 -x2798 -x2799 -x2801 -x2803 -x2805 -x2807 -x2809 -x2811 -x2813 1800.02/1800.61 v -x2815 -x2817 -x2819 -x2821 -x2823 -x2825 -x2827 -x2829 -x2831 -x2833 -x2835 -x2837 -x2839 -x2841 -x2843 -x2845 -x2847 1800.02/1800.61 v -x2849 -x2851 -x2853 -x2855 -x2857 -x2859 -x2861 -x2863 -x2865 -x2867 -x2869 -x2871 -x2873 -x2875 -x2877 -x2879 -x2881 1800.02/1800.61 v -x2883 -x2885 -x2887 -x2889 -x2891 -x2893 -x2895 -x2897 -x2899 -x2901 -x2903 -x2905 -x2907 -x2909 -x2911 -x2913 -x2915 1800.02/1800.61 v -x2917 -x2919 -x2921 -x2923 -x2925 -x2927 -x2929 -x2931 -x2933 -x2935 -x2937 -x2939 -x2941 -x2943 -x2945 -x2947 -x2949 1800.02/1800.61 v -x2951 -x2953 -x2955 -x2957 -x2959 -x2961 -x2963 -x2965 -x2967 -x2969 -x2971 -x2973 -x2975 -x2977 -x2979 -x2981 -x2983 1800.02/1800.61 v -x2985 -x2987 -x2989 -x2991 -x2993 -x2995 -x2997 -x2999 -x3001 -x3003 -x3005 -x3007 -x3009 -x3011 -x3013 -x3015 -x3017 1800.02/1800.61 v -x3019 -x3021 -x3023 -x3025 -x3027 -x3029 -x3031 -x3033 -x3035 -x3037 -x3039 -x3041 -x3043 -x3045 -x3047 -x3049 -x3051 1800.02/1800.61 v -x3053 -x3055 -x3057 -x3059 -x3061 -x3063 -x3065 -x3067 -x3069 -x3071 -x3073 -x3075 -x3077 -x3079 -x3081 -x3083 -x3085 1800.02/1800.61 v -x3087 -x3089 -x3091 -x3093 -x3095 -x3097 -x3099 -x3101 -x3103 -x3105 -x3107 -x3109 -x3111 -x3113 -x3115 -x3117 -x3119 1800.02/1800.61 v -x3121 -x3123 -x3125 -x3127 -x3129 -x3131 -x3133 -x3135 -x3137 -x3139 -x3141 -x3143 x3145 -x3147 -x3149 -x3151 -x3153 1800.02/1800.61 v x3155 -x3157 -x3159 -x3161 -x3163 -x3165 x3167 -x3169 -x3171 x3173 -x3175 -x3177 x3179 -x3181 -x3183 x3185 x3187 -x137 1800.02/1800.61 v -x139 x141 -x143 -x145 -x147 -x149 -x151 -x153 -x155 -x157 -x159 -x161 -x163 -x165 -x167 -x1 -x169 -x171 -x173 -x175 -x177 1800.02/1800.61 v -x179 -x181 -x2 -x183 -x185 -x187 -x189 -x191 -x193 -x195 x3 x197 -x199 -x201 -x203 -x205 -x207 -x209 -x211 -x213 -x215 -x217 1800.02/1800.61 v -x219 -x221 -x223 -x225 -x227 -x229 -x231 -x233 -x235 -x237 -x239 x241 -x243 -x245 -x247 -x249 -x251 -x253 -x255 -x257 -x259 1800.02/1800.61 v -x261 -x263 -x4 -x265 -x267 -x269 -x271 -x273 -x275 -x277 -x279 -x281 -x283 -x285 -x287 -x289 -x291 -x293 -x5 -x295 -x297 1800.02/1800.61 v -x299 -x301 -x303 -x305 -x307 -x309 -x311 -x313 -x315 -x317 -x319 -x321 -x323 -x6 -x325 -x327 -x329 -x331 -x333 -x335 -x337 1800.02/1800.61 v -x7 -x339 -x341 -x343 -x345 -x347 -x349 -x351 -x353 -x355 -x357 -x359 -x361 -x363 -x365 -x367 -x8 -x369 -x371 -x373 -x375 1800.02/1800.61 v -x377 -x379 -x381 -x9 -x383 -x385 -x387 -x389 -x391 -x393 -x395 -x10 -x397 -x399 -x401 -x11 -x403 -x405 -x407 -x409 -x411 1800.02/1800.61 v -x413 -x415 -x417 -x419 -x421 -x423 -x425 -x427 -x429 -x431 -x12 -x433 -x435 -x437 -x439 -x441 -x443 -x445 -x13 -x447 -x449 1800.02/1800.61 v -x451 -x453 -x455 -x457 -x459 -x14 -x461 -x463 -x465 -x15 -x467 -x469 -x471 -x473 -x475 -x477 -x479 -x16 -x481 -x483 -x485 1800.02/1800.61 v x17 x487 -x489 -x491 -x18 -x493 -x495 -x497 -x499 x501 -x503 -x505 -x507 -x509 -x511 -x513 -x515 -x517 -x519 -x521 -x523 -x525 1800.02/1800.61 v -x527 -x529 -x531 -x533 -x535 -x537 -x539 -x541 -x543 -x545 -x547 -x549 -x551 -x553 -x555 -x19 -x557 -x559 -x561 -x563 -x565 1800.02/1800.61 v -x567 -x569 -x571 -x573 -x575 -x577 -x579 -x581 -x583 -x585 -x20 -x587 -x589 -x591 -x593 -x595 -x597 -x599 -x601 -x603 -x605 1800.02/1800.61 v -x607 -x609 -x611 -x613 -x615 -x21 -x617 -x619 -x621 -x623 -x625 -x627 -x629 -x631 -x633 -x635 -x637 -x639 -x641 -x643 -x645 1800.02/1800.61 v -x647 -x649 -x651 -x653 -x655 -x657 -x659 -x661 -x663 -x665 -x667 -x669 -x671 -x673 -x675 -x677 -x679 -x682 -x684 -x686 -x688 1800.02/1800.61 v -x690 -x22 -x692 -x694 -x696 -x698 -x700 -x702 -x704 -x706 -x708 -x710 -x712 -x714 -x716 -x718 -x720 -x23 -x722 -x724 -x726 1800.02/1800.61 v -x728 -x730 -x732 -x734 -x736 -x738 -x740 -x742 -x744 -x746 -x748 -x750 -x24 -x752 -x754 -x756 -x758 -x760 -x762 -x764 -x766 1800.02/1800.61 v -x768 -x770 x772 -x774 -x776 -x778 -x780 -x782 -x784 -x786 -x788 -x790 -x792 -x794 -x25 -x796 -x798 -x800 -x802 -x804 -x806 1800.02/1800.61 v -x808 -x26 -x810 -x812 -x814 -x816 -x818 -x820 -x822 -x824 -x826 -x828 -x830 -x832 -x834 -x836 -x838 -x27 -x840 -x842 -x844 1800.02/1800.61 v -x846 -x848 -x850 -x852 x28 -x854 x856 -x858 -x860 -x862 -x864 -x866 -x868 x870 -x872 -x874 -x876 -x878 -x880 -x882 -x884 1800.02/1800.61 v -x886 -x888 -x890 -x892 -x894 -x896 x898 -x900 -x902 -x29 -x904 -x906 -x908 -x910 -x912 -x914 -x916 -x918 -x920 -x922 -x924 1800.02/1800.61 v -x926 -x928 -x930 -x932 -x934 -x936 -x938 -x940 -x942 x944 -x946 -x30 -x948 -x950 -x952 -x954 -x956 -x958 -x960 -x31 -x962 1800.02/1800.61 v -x964 -x966 -x968 -x970 -x972 -x974 -x32 -x976 -x978 -x980 -x982 -x984 -x986 -x988 x990 -x992 -x994 -x996 -x998 -x1000 -x1002 1800.02/1800.61 v -x1004 -x1006 -x1008 -x1010 -x33 -x1012 -x1014 -x1016 -x1018 -x1020 -x1022 -x1024 -x34 -x1026 -x1028 -x1030 -x1032 -x1034 1800.02/1800.61 v -x1036 -x1038 -x1040 -x1042 -x1044 -x1046 -x1048 -x1050 -x1052 -x1054 -x35 -x1056 -x1058 -x1060 -x1062 -x1064 -x1066 -x1068 1800.02/1800.61 v -x36 -x1070 -x1072 -x1074 -x1076 -x1078 -x1080 -x1082 -x37 -x1084 -x1086 -x1088 -x38 -x1090 -x1092 -x1094 -x1096 -x1098 1800.02/1800.61 v -x1100 -x1102 -x1104 -x1106 -x1108 -x1110 -x1112 -x1114 -x1116 -x1118 -x39 -x1120 -x1122 -x1124 -x1126 -x1128 -x1130 -x1132 1800.02/1800.61 v -x40 -x1134 -x1136 -x1138 -x1140 -x1142 -x1144 -x1146 -x41 -x1148 -x1150 -x42 -x1152 -x1154 -x1156 -x1158 -x1160 -x1162 1800.02/1800.61 v -x1164 -x43 -x1166 -x1168 -x1170 -x1172 -x1174 -x1176 -x1178 -x44 -x1180 -x1182 -x1184 -x45 -x1186 -x1188 -x1190 -x1192 1800.02/1800.61 v -x1194 -x1196 -x1198 -x46 -x1200 -x1202 -x1204 -x47 -x1206 -x1208 -x1210 -x48 -x1212 -x1214 -x1216 -x1218 -x1220 -x1222 1800.02/1800.61 v -x1224 -x1226 -x1228 x1230 -x1232 -x1234 -x1236 -x1238 -x1240 -x1242 -x49 -x1244 -x1246 -x1248 -x1250 -x1252 -x1254 -x1256 1800.02/1800.61 v -x50 -x1258 -x1260 -x1262 -x1264 -x1266 -x1268 -x1270 -x1272 -x1274 -x1276 -x1278 -x1280 -x1282 -x1284 -x1286 -x51 -x1288 1800.02/1800.61 v -x1290 -x1292 -x1294 -x1296 -x1298 -x1300 -x52 -x1302 -x1304 -x1306 -x1308 -x1310 -x1312 -x1314 -x1316 -x1318 -x1320 -x1322 1800.02/1800.61 v -x1324 -x1326 -x1328 -x1330 -x53 -x1332 -x1334 -x1336 -x1338 -x1340 -x1342 -x1344 -x54 -x1346 -x1348 -x1350 -x1352 -x1354 1800.02/1800.61 v -x1356 -x1358 -x55 -x1360 -x1362 -x1364 -x1366 -x1368 -x1370 -x1372 x56 x1374 -x1376 -x1378 -x1380 -x1382 -x1384 -x1386 1800.02/1800.61 v -x1388 -x1390 -x1392 -x1394 -x1396 -x1398 -x1400 -x1402 -x1404 -x1406 -x1408 -x1410 -x1412 -x1414 -x1416 -x1418 -x1420 1800.02/1800.61 v -x1422 -x1424 -x1426 -x1428 -x1430 -x1432 -x1434 -x1436 -x1438 -x1440 -x1442 -x1444 -x1446 -x1448 -x1450 -x1452 -x1454 1800.02/1800.61 v -x1456 -x1458 -x1460 -x1462 -x1464 -x1466 -x1468 -x1470 -x1472 -x1474 -x1476 x1478 -x1480 -x1482 -x1484 -x1486 -x1488 1800.02/1800.61 v -x1490 -x1492 -x1494 -x1496 -x1498 -x1500 -x1502 -x1504 -x57 -x1506 -x1508 -x1510 -x1512 -x1514 -x1516 -x1519 -x1521 -x1523 1800.02/1800.61 v -x1525 -x1527 -x1529 -x1531 -x1533 -x1535 -x1537 -x1539 -x1541 -x1543 -x1545 -x1547 -x1549 -x1551 -x1553 -x1555 -x1557 1800.02/1800.61 v -x1559 -x1561 -x1563 -x58 -x1565 -x1567 -x1569 -x1571 -x1573 -x1575 -x1577 -x1579 -x1581 -x1583 -x1585 -x1587 -x1589 -x1591 1800.02/1800.61 v -x1593 -x1595 -x1597 -x1599 -x1601 -x1603 -x1605 -x1607 -x1609 -x1611 -x1613 -x1615 -x1617 -x1619 -x1621 -x1623 -x1625 1800.02/1800.61 v -x1627 -x1629 -x1631 -x1633 -x1635 -x1637 -x1639 -x1641 -x1643 -x1645 -x1647 x1649 -x1651 -x1653 -x1655 -x59 -x1657 -x1659 1800.02/1800.61 v -x1661 -x1663 -x1665 -x1667 -x1669 -x1671 -x1673 -x1675 -x1677 -x1679 -x1681 -x1683 -x1685 -x1687 -x1689 -x1691 -x1693 1800.02/1800.61 v -x1695 -x1697 -x1699 -x1701 -x1703 -x1705 -x1707 -x1709 -x1711 -x1713 -x1715 x1717 -x1719 -x1721 -x1723 -x1725 -x1727 1800.02/1800.61 v -x1729 -x1731 -x1733 -x1735 -x1737 -x1739 -x1741 -x1743 -x1745 -x1747 -x60 -x1749 -x1751 -x1753 -x1755 -x1757 -x1759 -x1761 1800.02/1800.61 v -x1763 -x1765 -x1767 -x1769 -x1771 -x1773 -x1775 -x1777 -x61 -x1779 -x1781 -x1783 -x1785 -x1787 -x1789 -x1791 -x62 -x1793 1800.02/1800.61 v -x1795 -x1797 -x1799 -x1801 -x1803 -x1805 -x1807 -x1809 -x1811 -x1813 -x1815 -x1817 -x1819 -x1821 -x1823 -x1825 -x1827 1800.02/1800.61 v -x1829 -x1831 -x1833 -x1835 -x1837 -x1839 -x1841 -x1843 -x1845 -x1847 -x1849 -x1851 -x1853 -x63 -x1855 -x1857 -x1859 -x1861 1800.02/1800.61 v -x1863 -x1865 -x1867 -x1869 -x1871 -x1873 -x1875 -x1877 -x1879 -x1881 -x1883 -x64 -x1885 -x1887 -x1889 -x1891 -x1893 -x1895 1800.02/1800.61 v -x1897 -x1899 -x1901 -x1903 -x1905 -x1907 -x1909 -x1911 -x1913 -x65 -x1915 -x1917 -x1919 -x1921 -x1923 -x1925 -x1927 -x1929 1800.02/1800.61 v -x1931 -x1933 x1935 -x1937 -x1939 -x1941 -x1943 -x1945 -x1947 -x1949 -x1951 -x1953 -x1955 -x1957 x66 -x1959 -x1961 -x1963 1800.02/1800.61 v -x1965 x1967 -x1969 -x1971 -x67 -x1973 -x1975 -x1977 -x1979 -x1981 -x1983 -x1985 -x68 -x1987 -x1989 -x1991 -x69 -x1993 1800.02/1800.61 v -x1995 -x1997 -x1999 -x2001 -x2003 -x2005 -x2007 -x2009 -x2011 -x2013 -x2015 -x2017 -x2019 -x2021 -x2023 -x2025 -x2027 1800.02/1800.61 v -x2029 -x2031 -x2033 -x2035 -x2037 -x2039 -x2041 -x2043 -x2045 -x2047 -x2049 -x2051 -x2053 -x70 -x2055 -x2057 -x2059 -x2061 1800.02/1800.61 v -x2063 -x2065 -x2067 -x2069 -x2071 -x2073 -x2075 -x2077 -x2079 -x2081 -x2083 -x71 -x2085 -x2087 -x2089 -x2091 -x2093 -x2095 1800.02/1800.61 v -x2097 -x2099 -x2101 -x2103 -x2105 -x2107 -x2109 -x2111 -x2113 -x72 -x2115 -x2117 -x2119 -x2121 -x2123 -x2125 -x2127 -x73 1800.02/1800.61 v -x2129 -x2131 -x2133 -x2135 -x2137 -x2139 -x2141 -x2143 -x2145 -x2147 -x2149 -x2151 -x2153 -x2155 -x2157 -x74 -x2159 -x2161 1800.02/1800.61 v -x2163 -x2165 -x2167 -x2169 -x2171 -x75 -x2173 -x2175 -x2177 -x2179 -x2181 -x2183 -x2185 -x76 -x2187 -x2189 -x2191 -x77 1800.02/1800.61 v -x2193 -x2195 -x2197 -x2199 -x2201 -x2203 -x2205 -x2207 -x2209 -x2211 -x2213 -x2215 -x2217 -x2219 -x2221 -x78 -x2223 -x2225 1800.02/1800.61 v -x2227 -x2229 -x2231 -x2233 -x2235 -x79 -x2237 -x2239 -x2241 -x2243 -x2245 -x2247 -x2249 -x80 -x2251 -x2253 -x2255 -x81 1800.02/1800.61 v -x2257 -x2259 -x2261 -x2263 -x2265 -x2267 -x2269 -x82 -x2271 -x2273 -x2275 -x83 -x2277 -x2279 -x2281 -x84 -x2283 -x85 -x2285 1800.02/1800.61 v -x2287 -x2289 -x2291 -x2293 -x2295 -x2297 -x2299 -x2301 -x2303 -x2305 -x2307 -x2309 -x2311 -x2313 -x2315 -x2317 x2319 1800.02/1800.61 v -x2321 -x2323 -x2325 -x2327 -x2329 -x2331 -x2333 -x2335 -x2337 -x2339 -x2341 -x2343 -x2345 -x2347 -x2349 -x2351 -x2353 1800.02/1800.61 v -x2355 -x2357 -x2359 -x86 -x2361 -x2363 -x2365 -x2367 -x2369 -x2371 -x2373 -x2375 -x2377 -x2379 -x2381 -x2383 -x2385 -x2387 1800.02/1800.61 v -x2389 -x87 -x2391 -x2393 -x2395 -x2397 -x2399 -x2401 -x2403 -x2405 -x2407 -x2409 -x2411 -x2413 -x2415 -x2417 -x2419 -x88 1800.02/1800.61 v -x2421 -x2423 -x2425 -x2427 -x2429 -x2431 -x2433 -x89 -x2435 -x2437 -x2439 -x2441 -x2443 -x2445 -x2447 -x2449 -x2451 -x2453 1800.02/1800.61 v -x2455 -x2457 -x2459 -x2461 -x2463 -x2465 -x2467 -x2469 -x2471 x2473 -x2475 -x2477 -x90 -x2479 -x2481 -x2483 -x2485 -x2487 1800.02/1800.61 v -x2489 -x2491 -x91 -x2493 -x2495 -x2497 -x92 -x2499 -x2501 -x2503 -x2505 -x2507 -x2509 -x2511 -x2513 -x2515 -x2517 -x2519 1800.02/1800.61 v -x2521 -x2523 -x2525 -x2527 -x2529 -x2531 -x2533 -x2535 -x2537 -x2539 -x2541 -x2543 -x2545 -x2547 -x2549 -x2551 -x2553 1800.02/1800.61 v -x2555 -x2557 -x2559 -x93 -x2561 -x2563 -x2565 -x2567 -x2569 -x2571 -x2573 -x2575 -x2577 -x2579 -x2581 -x2583 -x2585 -x2587 1800.02/1800.61 v -x94 -x2589 -x2591 -x2593 -x2595 -x2597 -x2599 -x2601 -x2603 -x2605 -x2607 -x2609 -x2611 -x2613 -x2615 -x2617 -x95 -x2619 1800.02/1800.61 v -x2621 -x2623 -x2625 -x2627 -x2629 -x2631 -x96 -x2633 -x2635 -x2637 -x2639 -x2641 -x2643 -x2645 -x2647 -x2649 -x2651 -x2653 1800.02/1800.61 v -x2655 -x2657 -x2659 -x2661 -x97 -x2663 -x2665 -x2667 -x2669 -x2671 -x2673 -x98 -x2675 -x2677 -x2679 -x2681 -x2683 -x2685 1800.02/1800.61 v -x2687 -x99 -x2689 -x2691 -x2693 -x100 -x2695 -x2697 -x2699 -x2701 -x2703 -x2705 -x2707 -x2709 -x2711 -x2713 -x2715 -x2717 1800.02/1800.61 v -x2719 -x2721 -x2723 -x101 -x2725 -x2727 -x2729 -x2731 -x2733 -x2735 -x2737 -x102 -x2739 -x2741 -x2743 -x2745 -x2747 -x2749 1800.02/1800.61 v -x2751 -x103 -x2753 -x2755 -x104 -x2757 -x2759 -x2761 -x2763 -x2765 -x2767 -x2769 -x105 -x2771 -x2773 -x2775 -x106 -x2777 1800.02/1800.61 v -x2779 -x2781 -x107 -x2783 -x108 -x2785 -x2787 -x2789 -x2791 -x2793 -x2795 -x2797 -x2800 -x2802 -x2804 -x2806 -x2808 -x2810 1800.02/1800.61 v -x2812 -x2814 -x2816 -x2818 -x2820 -x2822 -x2824 -x2826 -x2828 -x2830 -x2832 -x2834 -x2836 -x2838 -x109 -x2840 -x2842 1800.02/1800.61 v -x2844 -x2846 -x2848 -x2850 -x2852 -x2854 -x2856 -x2858 -x2860 -x2862 -x2864 -x2866 -x2868 -x110 -x2870 -x2872 -x2874 1800.02/1800.61 v -x2876 -x2878 -x2880 -x2882 -x2884 -x2886 -x2888 -x2890 -x2892 -x2894 -x2896 -x2898 -x111 -x2900 -x2902 -x2904 -x2906 1800.02/1800.61 v -x2908 -x2910 -x2912 -x112 -x2914 -x2916 -x2918 -x2920 -x2922 -x2924 -x2926 -x2928 -x2930 -x2932 -x2934 -x2936 -x2938 1800.02/1800.61 v -x2940 -x2942 -x113 -x2944 -x2946 -x2948 -x2950 -x2952 -x2954 -x2956 -x114 -x2958 -x2960 -x2962 -x2964 -x2966 -x2968 -x2970 1800.02/1800.61 v -x115 -x2972 -x2974 -x2976 -x116 -x2978 -x2980 -x2982 -x2984 -x2986 -x2988 -x2990 -x2992 -x2994 -x2996 -x2998 -x3000 -x3002 1800.02/1800.61 v -x3004 -x3006 -x117 -x3008 -x3010 -x3012 -x3014 -x3016 -x3018 -x3020 -x118 -x3022 -x3024 -x3026 -x3028 -x3030 -x3032 -x3034 1800.02/1800.61 v -x119 -x3036 -x3038 -x3040 -x120 -x3042 -x3044 -x3046 -x3048 -x3050 -x3052 -x3054 -x121 -x3056 -x3058 -x3060 -x122 -x3062 1800.02/1800.61 v -x3064 -x3066 -x123 -x3068 -x124 -x3070 -x3072 -x3074 -x3076 -x3078 -x3080 -x3082 -x3084 -x3086 -x3088 -x3090 -x3092 -x3094 1800.02/1800.61 v -x125 -x3096 -x3098 -x3100 -x3102 -x3104 -x3106 -x3108 -x126 -x3110 -x3112 -x3114 -x3116 -x3118 -x3120 -x3122 -x127 -x3124 1800.02/1800.61 v -x3126 -x3128 -x128 -x3130 -x3132 -x3134 -x3136 -x3138 -x3140 -x3142 x3144 -x3146 -x129 -x3148 -x3150 -x3152 -x130 x3154 1800.02/1800.61 v -x3156 -x3158 -x3160 -x3162 -x3164 x3166 -x3168 -x3170 x3172 x131 -x3174 -x3176 x3178 x132 -x3180 -x133 -x3182 x3184 x134 1800.02/1800.61 v x3186 x135 x136 1800.02/1800.61 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.02/1800.61 c 20 1905737 1156055 6077589 27426 1296546 19569 1058 1800.02 1800.02/1800.61 c Objective: 28 1800.02/1800.61 s SATISFIABLE 1800.02/1800.61 c Total time: 1800.02 s
OK 28
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node43/watcher-433710-1177962358 -o ROOT/results/node43/solver-433710-1177962358 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433710-1177962358/instance-433710-1177962358.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 0.98 0.93 3/77 384 /proc/meminfo: memFree=1538304/2055920 swapFree=4158592/4192956 [pid=384] ppid=382 vsize=11996 CPUtime=0 /proc/384/stat : 384 (bsolo3.0.17) R 382 384 31607 0 -1 4194304 366 0 0 0 0 0 0 0 18 0 1 0 244147578 12283904 336 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5166715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/384/statm: 2999 336 279 324 0 2004 0 [startup+0.055686 s] /proc/loadavg: 1.00 0.98 0.93 3/77 384 /proc/meminfo: memFree=1538304/2055920 swapFree=4158592/4192956 [pid=384] ppid=382 vsize=5732 CPUtime=0.05 /proc/384/stat : 384 (bsolo3.0.17) R 382 384 31607 0 -1 4194304 891 0 0 0 5 0 0 0 18 0 1 0 244147578 5869568 796 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134561758 0 0 4096 16384 0 0 0 17 1 0 0 /proc/384/statm: 1433 796 299 324 0 503 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 5732 [startup+0.10169 s] /proc/loadavg: 1.00 0.98 0.93 3/77 384 /proc/meminfo: memFree=1538304/2055920 swapFree=4158592/4192956 [pid=384] ppid=382 vsize=6016 CPUtime=0.09 /proc/384/stat : 384 (bsolo3.0.17) R 382 384 31607 0 -1 4194304 950 0 0 0 8 1 0 0 18 0 1 0 244147578 6160384 855 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/384/statm: 1504 855 305 324 0 574 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6016 [startup+0.301708 s] /proc/loadavg: 1.00 0.98 0.93 3/77 384 /proc/meminfo: memFree=1538304/2055920 swapFree=4158592/4192956 [pid=384] ppid=382 vsize=5964 CPUtime=0.29 /proc/384/stat : 384 (bsolo3.0.17) R 382 384 31607 0 -1 4194304 990 0 0 0 28 1 0 0 19 0 1 0 244147578 6107136 876 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/384/statm: 1491 876 311 324 0 561 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5964 [startup+0.701742 s] /proc/loadavg: 1.00 0.98 0.93 3/77 384 /proc/meminfo: memFree=1538304/2055920 swapFree=4158592/4192956 [pid=384] ppid=382 vsize=6736 CPUtime=0.69 /proc/384/stat : 384 (bsolo3.0.17) R 382 384 31607 0 -1 4194304 1179 0 0 0 68 1 0 0 22 0 1 0 244147578 6897664 1065 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5166715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/384/statm: 1684 1065 311 324 0 754 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6736 [startup+1.50181 s] /proc/loadavg: 1.00 0.98 0.93 2/78 385 /proc/meminfo: memFree=1534712/2055920 swapFree=4158592/4192956 [pid=384] ppid=382 vsize=8160 CPUtime=1.48 /proc/384/stat : 384 (bsolo3.0.17) R 382 384 31607 0 -1 4194304 1522 0 0 0 147 1 0 0 25 0 1 0 244147578 8355840 1408 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5172893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/384/statm: 2040 1408 311 324 0 1110 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 8160 [startup+3.10295 s] /proc/loadavg: 1.00 0.98 0.93 2/78 385 /proc/meminfo: memFree=1532792/2055920 swapFree=4158592/4192956 [pid=384] ppid=382 vsize=11124 CPUtime=3.09 /proc/384/stat : 384 (bsolo3.0.17) R 382 384 31607 0 -1 4194304 2252 0 0 0 307 2 0 0 25 0 1 0 244147578 11390976 2138 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551241 0 0 4096 16384 0 0 0 17 1 0 0 /proc/384/statm: 2781 2138 311 324 0 1851 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11124 [startup+6.30123 s] /proc/loadavg: 1.00 0.98 0.93 2/78 385 /proc/meminfo: memFree=1529400/2055920 swapFree=4158592/4192956 [pid=384] ppid=382 vsize=12280 CPUtime=6.29 /proc/384/stat : 384 (bsolo3.0.17) R 382 384 31607 0 -1 4194304 2568 0 0 0 627 2 0 0 25 0 1 0 244147578 12574720 2454 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/384/statm: 3070 2454 311 324 0 2140 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 12280 [startup+12.7018 s] /proc/loadavg: 1.00 0.98 0.93 2/78 385 /proc/meminfo: memFree=1527872/2055920 swapFree=4158592/4192956 [pid=384] ppid=382 vsize=13832 CPUtime=12.68 /proc/384/stat : 384 (bsolo3.0.17) R 382 384 31607 0 -1 4194304 2944 0 0 0 1266 2 0 0 25 0 1 0 244147578 14163968 2830 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0 /proc/384/statm: 3458 2830 311 324 0 2528 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 13832 [startup+25.5019 s] /proc/loadavg: 1.00 0.98 0.93 2/78 385 /proc/meminfo: memFree=1526784/2055920 swapFree=4158592/4192956 [pid=384] ppid=382 vsize=14980 CPUtime=25.49 /proc/384/stat : 384 (bsolo3.0.17) R 382 384 31607 0 -1 4194304 3246 0 0 0 2546 3 0 0 25 0 1 0 244147578 15339520 3132 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134574192 0 0 4096 16384 0 0 0 17 1 0 0 /proc/384/statm: 3745 3132 311 324 0 2815 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 14980 [startup+51.1011 s] /proc/loadavg: 1.00 0.98 0.93 2/78 385 /proc/meminfo: memFree=1525312/2055920 swapFree=4158592/4192956 [pid=384] ppid=382 vsize=16500 CPUtime=51.07 /proc/384/stat : 384 (bsolo3.0.17) R 382 384 31607 0 -1 4194304 3606 0 0 0 5104 3 0 0 25 0 1 0 244147578 16896000 3492 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550979 0 0 4096 16384 0 0 0 17 1 0 0 /proc/384/statm: 4125 3492 311 324 0 3195 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 16500 [startup+102.306 s] /proc/loadavg: 1.00 0.98 0.93 2/78 385 /proc/meminfo: memFree=1520896/2055920 swapFree=4158592/4192956 [pid=384] ppid=382 vsize=21024 CPUtime=102.26 /proc/384/stat : 384 (bsolo3.0.17) R 382 384 31607 0 -1 4194304 4740 0 0 0 10221 5 0 0 25 0 1 0 244147578 21528576 4626 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/384/statm: 5256 4626 311 324 0 4326 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 21024 [startup+162.302 s] /proc/loadavg: 1.00 0.98 0.93 2/78 385 /proc/meminfo: memFree=1519936/2055920 swapFree=4158592/4192956 [pid=384] ppid=382 vsize=21888 CPUtime=162.25 /proc/384/stat : 384 (bsolo3.0.17) R 382 384 31607 0 -1 4194304 4972 0 0 0 16219 6 0 0 25 0 1 0 244147578 22413312 4858 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/384/statm: 5472 4858 311 324 0 4542 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 21888 [startup+222.302 s] /proc/loadavg: 1.00 0.98 0.93 2/78 385 /proc/meminfo: memFree=1519872/2055920 swapFree=4158592/4192956 [pid=384] ppid=382 vsize=21884 CPUtime=222.23 /proc/384/stat : 384 (bsolo3.0.17) R 382 384 31607 0 -1 4194304 4972 0 0 0 22217 6 0 0 25 0 1 0 244147578 22409216 4858 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/384/statm: 5471 4858 311 324 0 4541 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 21884 [startup+282.301 s] /proc/loadavg: 1.00 0.98 0.93 2/78 385 /proc/meminfo: memFree=1518016/2055920 swapFree=4158592/4192956 [pid=384] ppid=382 vsize=25072 CPUtime=282.22 /proc/384/stat : 384 (bsolo3.0.17) R 382 384 31607 0 -1 4194304 5748 0 0 0 28215 7 0 0 25 0 1 0 244147578 25673728 5634 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/384/statm: 6268 5634 311 324 0 5338 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 25072 [startup+342.301 s] /proc/loadavg: 1.00 0.98 0.93 2/78 385 /proc/meminfo: memFree=1514240/2055920 swapFree=4158592/4192956 [pid=384] ppid=382 vsize=27652 CPUtime=342.2 /proc/384/stat : 384 (bsolo3.0.17) R 382 384 31607 0 -1 4194304 6405 0 0 0 34212 8 0 0 25 0 1 0 244147578 28315648 6291 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/384/statm: 6913 6291 311 324 0 5983 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 27652 [startup+402.302 s] /proc/loadavg: 1.00 0.98 0.93 2/78 385 /proc/meminfo: memFree=1514240/2055920 swapFree=4158592/4192956 [pid=384] ppid=382 vsize=27652 CPUtime=402.19 /proc/384/stat : 384 (bsolo3.0.17) R 382 384 31607 0 -1 4194304 6405 0 0 0 40210 9 0 0 25 0 1 0 244147578 28315648 6291 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/384/statm: 6913 6291 311 324 0 5983 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 27652 [startup+462.302 s] /proc/loadavg: 1.00 0.98 0.93 2/78 385 /proc/meminfo: memFree=1514240/2055920 swapFree=4158592/4192956 [pid=384] ppid=382 vsize=27652 CPUtime=462.16 /proc/384/stat : 384 (bsolo3.0.17) R 382 384 31607 0 -1 4194304 6405 0 0 0 46207 9 0 0 25 0 1 0 244147578 28315648 6291 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550782 0 0 4096 16384 0 0 0 17 1 0 0 /proc/384/statm: 6913 6291 311 324 0 5983 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 27652 [startup+522.301 s] /proc/loadavg: 1.00 0.98 0.93 2/78 385 /proc/meminfo: memFree=1514240/2055920 swapFree=4158592/4192956 [pid=384] ppid=382 vsize=27656 CPUtime=522.15 /proc/384/stat : 384 (bsolo3.0.17) R 382 384 31607 0 -1 4194304 6406 0 0 0 52205 10 0 0 25 0 1 0 244147578 28319744 6292 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/384/statm: 6914 6292 311 324 0 5984 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 27656 [startup+582.301 s] /proc/loadavg: 1.00 0.98 0.93 2/78 385 /proc/meminfo: memFree=1514176/2055920 swapFree=4158592/4192956 [pid=384] ppid=382 vsize=27656 CPUtime=582.13 /proc/384/stat : 384 (bsolo3.0.17) R 382 384 31607 0 -1 4194304 6406 0 0 0 58203 10 0 0 25 0 1 0 244147578 28319744 6292 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/384/statm: 6914 6292 311 324 0 5984 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 27656 [startup+642.302 s] /proc/loadavg: 1.04 1.00 0.93 2/78 385 /proc/meminfo: memFree=1514176/2055920 swapFree=4158592/4192956 [pid=384] ppid=382 vsize=27656 CPUtime=642.13 /proc/384/stat : 384 (bsolo3.0.17) R 382 384 31607 0 -1 4194304 6406 0 0 0 64202 11 0 0 25 0 1 0 244147578 28319744 6292 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/384/statm: 6914 6292 311 324 0 5984 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 27656 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.02 1.02 0.95 2/78 385 /proc/meminfo: memFree=1510848/2055920 swapFree=4158592/4192956 [pid=384] ppid=382 vsize=30900 CPUtime=822.07 /proc/384/stat : 384 (bsolo3.0.17) R 382 384 31607 0 -1 4194304 7218 0 0 0 82194 13 0 0 25 0 1 0 244147578 31641600 7104 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5164540 0 0 4096 16384 0 0 0 17 1 0 0 /proc/384/statm: 7725 7104 311 324 0 6795 0 Current children cumulated CPU time (s) 822.07 Current children cumulated vsize (KiB) 30900 [startup+882.301 s] /proc/loadavg: 1.01 1.02 0.95 2/78 385 /proc/meminfo: memFree=1510784/2055920 swapFree=4158592/4192956 [pid=384] ppid=382 vsize=30888 CPUtime=882.05 /proc/384/stat : 384 (bsolo3.0.17) R 382 384 31607 0 -1 4194304 7218 0 0 0 88192 13 0 0 25 0 1 0 244147578 31629312 7104 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5172898 0 0 4096 16384 0 0 0 17 1 0 0 /proc/384/statm: 7722 7104 311 324 0 6792 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 30888 [startup+942.302 s] /proc/loadavg: 1.00 1.01 0.95 2/84 553 /proc/meminfo: memFree=1509704/2055920 swapFree=4158592/4192956 [pid=384] ppid=382 vsize=30772 CPUtime=941.95 /proc/384/stat : 384 (bsolo3.0.17) R 382 384 31607 0 -1 4194304 7218 0 0 0 94179 16 0 0 25 0 1 0 244147578 31510528 7081 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/384/statm: 7693 7081 311 324 0 6763 0 Current children cumulated CPU time (s) 941.95 Current children cumulated vsize (KiB) 30772 [startup+1002.3 s] /proc/loadavg: 1.00 1.01 0.95 2/78 583 /proc/meminfo: memFree=1511032/2055920 swapFree=4158592/4192956 [pid=384] ppid=382 vsize=30416 CPUtime=1001.92 /proc/384/stat : 384 (bsolo3.0.17) R 382 384 31607 0 -1 4194304 7218 0 0 0 100175 17 0 0 25 0 1 0 244147578 31145984 6992 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/384/statm: 7604 6992 311 324 0 6674 0 Current children cumulated CPU time (s) 1001.92 Current children cumulated vsize (KiB) 30416 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.95 2/78 583 /proc/meminfo: memFree=1511032/2055920 swapFree=4158592/4192956 [pid=384] ppid=382 vsize=30416 CPUtime=1061.89 /proc/384/stat : 384 (bsolo3.0.17) R 382 384 31607 0 -1 4194304 7218 0 0 0 106172 17 0 0 25 0 1 0 244147578 31145984 6992 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0 /proc/384/statm: 7604 6992 311 324 0 6674 0 Current children cumulated CPU time (s) 1061.89 Current children cumulated vsize (KiB) 30416 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.95 2/78 583 /proc/meminfo: memFree=1511032/2055920 swapFree=4158592/4192956 [pid=384] ppid=382 vsize=30416 CPUtime=1121.88 /proc/384/stat : 384 (bsolo3.0.17) R 382 384 31607 0 -1 4194304 7218 0 0 0 112170 18 0 0 25 0 1 0 244147578 31145984 6992 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/384/statm: 7604 6992 311 324 0 6674 0 Current children cumulated CPU time (s) 1121.88 Current children cumulated vsize (KiB) 30416 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.95 2/78 583 /proc/meminfo: memFree=1511096/2055920 swapFree=4158592/4192956 [pid=384] ppid=382 vsize=30416 CPUtime=1181.86 /proc/384/stat : 384 (bsolo3.0.17) R 382 384 31607 0 -1 4194304 7218 0 0 0 118168 18 0 0 25 0 1 0 244147578 31145984 6992 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0 /proc/384/statm: 7604 6992 311 324 0 6674 0 Current children cumulated CPU time (s) 1181.86 Current children cumulated vsize (KiB) 30416 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.95 2/78 583 /proc/meminfo: memFree=1511096/2055920 swapFree=4158592/4192956 [pid=384] ppid=382 vsize=30412 CPUtime=1241.85 /proc/384/stat : 384 (bsolo3.0.17) R 382 384 31607 0 -1 4194304 7218 0 0 0 124166 19 0 0 25 0 1 0 244147578 31141888 6991 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091726 0 0 4096 16384 0 0 0 17 1 0 0 /proc/384/statm: 7603 6991 311 324 0 6673 0 Current children cumulated CPU time (s) 1241.85 Current children cumulated vsize (KiB) 30412 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.95 2/78 583 /proc/meminfo: memFree=1511168/2055920 swapFree=4158592/4192956 [pid=384] ppid=382 vsize=30376 CPUtime=1301.83 /proc/384/stat : 384 (bsolo3.0.17) R 382 384 31607 0 -1 4194304 7220 0 0 0 130164 19 0 0 25 0 1 0 244147578 31105024 6982 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/384/statm: 7594 6982 311 324 0 6664 0 Current children cumulated CPU time (s) 1301.83 Current children cumulated vsize (KiB) 30376 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.95 2/78 583 /proc/meminfo: memFree=1511168/2055920 swapFree=4158592/4192956 [pid=384] ppid=382 vsize=30376 CPUtime=1361.82 /proc/384/stat : 384 (bsolo3.0.17) R 382 384 31607 0 -1 4194304 7220 0 0 0 136162 20 0 0 25 0 1 0 244147578 31105024 6982 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134571844 0 0 4096 16384 0 0 0 17 1 0 0 /proc/384/statm: 7594 6982 311 324 0 6664 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 30376 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.95 2/78 583 /proc/meminfo: memFree=1511296/2055920 swapFree=4158592/4192956 [pid=384] ppid=382 vsize=30376 CPUtime=1421.8 /proc/384/stat : 384 (bsolo3.0.17) R 382 384 31607 0 -1 4194304 7220 0 0 0 142160 20 0 0 25 0 1 0 244147578 31105024 6982 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0 /proc/384/statm: 7594 6982 311 324 0 6664 0 Current children cumulated CPU time (s) 1421.8 Current children cumulated vsize (KiB) 30376 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.95 2/78 583 /proc/meminfo: memFree=1511360/2055920 swapFree=4158592/4192956 [pid=384] ppid=382 vsize=30376 CPUtime=1481.79 /proc/384/stat : 384 (bsolo3.0.17) R 382 384 31607 0 -1 4194304 7220 0 0 0 148158 21 0 0 25 0 1 0 244147578 31105024 6982 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5173007 0 0 4096 16384 0 0 0 17 1 0 0 /proc/384/statm: 7594 6982 311 324 0 6664 0 Current children cumulated CPU time (s) 1481.79 Current children cumulated vsize (KiB) 30376 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.95 2/78 583 /proc/meminfo: memFree=1511360/2055920 swapFree=4158592/4192956 [pid=384] ppid=382 vsize=30376 CPUtime=1541.77 /proc/384/stat : 384 (bsolo3.0.17) R 382 384 31607 0 -1 4194304 7220 0 0 0 154156 21 0 0 25 0 1 0 244147578 31105024 6982 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/384/statm: 7594 6982 311 324 0 6664 0 Current children cumulated CPU time (s) 1541.77 Current children cumulated vsize (KiB) 30376 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.95 2/78 583 /proc/meminfo: memFree=1511360/2055920 swapFree=4158592/4192956 [pid=384] ppid=382 vsize=30376 CPUtime=1601.76 /proc/384/stat : 384 (bsolo3.0.17) R 382 384 31607 0 -1 4194304 7220 0 0 0 160154 22 0 0 25 0 1 0 244147578 31105024 6982 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551061 0 0 4096 16384 0 0 0 17 1 0 0 /proc/384/statm: 7594 6982 311 324 0 6664 0 Current children cumulated CPU time (s) 1601.76 Current children cumulated vsize (KiB) 30376 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.95 2/78 583 /proc/meminfo: memFree=1511360/2055920 swapFree=4158592/4192956 [pid=384] ppid=382 vsize=30372 CPUtime=1661.74 /proc/384/stat : 384 (bsolo3.0.17) R 382 384 31607 0 -1 4194304 7220 0 0 0 166152 22 0 0 25 0 1 0 244147578 31100928 6981 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/384/statm: 7593 6981 311 324 0 6663 0 Current children cumulated CPU time (s) 1661.74 Current children cumulated vsize (KiB) 30372 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.95 2/78 583 /proc/meminfo: memFree=1511360/2055920 swapFree=4158592/4192956 [pid=384] ppid=382 vsize=30368 CPUtime=1721.73 /proc/384/stat : 384 (bsolo3.0.17) R 382 384 31607 0 -1 4194304 7220 0 0 0 172150 23 0 0 25 0 1 0 244147578 31096832 6980 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4848756 0 0 4096 16384 0 0 0 17 1 0 0 /proc/384/statm: 7592 6980 311 324 0 6662 0 Current children cumulated CPU time (s) 1721.73 Current children cumulated vsize (KiB) 30368 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.95 2/78 583 /proc/meminfo: memFree=1511360/2055920 swapFree=4158592/4192956 [pid=384] ppid=382 vsize=30368 CPUtime=1781.7 /proc/384/stat : 384 (bsolo3.0.17) R 382 384 31607 0 -1 4194304 7220 0 0 0 178147 23 0 0 25 0 1 0 244147578 31096832 6980 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/384/statm: 7592 6980 311 324 0 6662 0 Current children cumulated CPU time (s) 1781.7 Current children cumulated vsize (KiB) 30368 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 0.95 2/78 583 /proc/meminfo: memFree=1511360/2055920 swapFree=4158592/4192956 [pid=384] ppid=382 vsize=30368 CPUtime=1800.02 /proc/384/stat : 384 (bsolo3.0.17) R 382 384 31607 0 -1 4194304 7220 0 0 0 179978 24 0 0 25 0 1 0 244147578 31096832 6980 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091745 0 0 4096 16384 0 0 0 17 1 0 0 /proc/384/statm: 7592 6980 311 324 0 6662 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 30368 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 15 Real time (s): 1800.62 CPU time (s): 1800.03 CPU user time (s): 1799.78 CPU system time (s): 0.246962 CPU usage (%): 99.9673 Max. virtual memory (cumulated for all children) (KiB): 30908 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.78 system time used= 0.246962 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 7224 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= 19756 runsolver used 1.35679 second user time and 3.9274 second system time The end
Begin job on node43 on Mon Apr 30 19:45:58 UTC 2007 IDJOB= 433710 IDBENCH= 24997 IDSOLVER= 199 FILE ID= node43/433710-1177962358 PBS_JOBID= 4727701 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_018_area_delay.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433710-1177962358/instance-433710-1177962358.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node43/watcher-433710-1177962358 -o ROOT/results/node43/solver-433710-1177962358 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433710-1177962358/instance-433710-1177962358.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= c19adaf233257cdd6134391794b23c65 RANDOM SEED= 14170235 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node43.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.218 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.218 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: 1538776 kB Buffers: 39036 kB Cached: 379416 kB SwapCached: 2808 kB Active: 255132 kB Inactive: 188504 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1538776 kB SwapTotal: 4192956 kB SwapFree: 4158592 kB Dirty: 6904 kB Writeback: 0 kB Mapped: 33004 kB Slab: 58968 kB Committed_AS: 2814508 kB PageTables: 1900 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= 66558 MiB End job on node43 on Mon Apr 30 20:16:00 UTC 2007