Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | Objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| PB-clasp 2007-04-10 | SAT (TO) | 221170 | 1802.07 | 1802.73 |
| Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-timtab2.opb |
| MD5SUM | 1f089a89b25a106d39527c716bfdba75 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 197642 |
| Best CPU time to get the best result obtained on this benchmark | 1800.31 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 197642 |
| Optimality of the best value was proved | NO |
| Number of variables | 6363 |
| Total number of constraints | 785 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 785 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 141 |
| Number of terms in the objective function | 3774 |
| Biggest coefficient in the objective function | 3908 |
| Number of bits for the biggest coefficient in the objective function | 12 |
| Sum of the numbers in the objective function | 526487 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 165132 |
| Number of bits of the biggest number in a constraint | 18 |
| Biggest sum of numbers in a constraint | 526487 |
| Number of bits of the biggest sum of numbers | 20 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
84.17/84.36 o 221590 168.55/168.79 o 221425 252.64/252.89 o 221423 336.99/337.26 o 221339 421.10/421.33 o 221337 505.86/506.10 o 221301 589.62/589.98 o 221299 673.52/673.83 o 221277 757.37/757.78 o 221266 841.45/841.84 o 221259 925.51/925.95 o 221253 1009.50/1009.91 o 221248 1093.19/1093.60 o 221244 1177.66/1178.13 o 221241 1261.43/1261.91 o 221239 1346.21/1346.70 o 221238 1431.16/1431.79 o 221237 1516.44/1517.06 o 221187 1600.81/1601.47 o 221173 1685.51/1686.10 o 221171 1769.68/1770.32 o 221170 1800.01/1800.71 sh: line 1: 19868 Done cat /tmp/evaluation/351620-1176607876/temp/instance-351620-1176607876.opb.op 1800.01/1800.71 19869 Terminated | clasp-1.0 --trans=no >/tmp/evaluation/351620-1176607876/temp/instance-351620-1176607876.opb.clasp 1800.01/1800.72 c Somebody sent me a SIGTERM 1800.01/1800.72 s SATISFIABLE 1800.01/1800.72 v x4 x9 x26 x36 x39 x41 x42 x43 x44 x45 x46 x47 x50 x54 x55 x58 x59 x60 x61 x62 x63 x66 x72 x81 x82 x88 x97 x98 x102 x103 x106 x116 x122 1800.01/1800.72 v x123 x136 x139 x150 x151 x154 x164 x166 x169 x173 x174 x175 x193 x194 x198 x202 x203 x204 x206 x207 x208 x211 x212 x213 x218 x219 1800.01/1800.72 v x220 x227 x230 x232 x233 x234 x237 x238 x240 x242 x243 x259 x260 x261 x262 x266 x268 x270 x271 x272 x275 x282 x283 x284 x285 x286 1800.01/1800.72 v x287 x295 x302 x303 x305 x318 x319 x322 x323 x328 x329 x331 x333 x339 x340 x344 x346 x351 x353 x355 x356 x359 x360 x361 x362 x363 1800.01/1800.72 v x364 x365 x368 x370 x371 x376 x377 x380 x381 x382 x383 x388 x394 x395 x396 x398 x406 x407 x408 x410 x413 x414 x415 x419 x421 x423 1800.01/1800.72 v x424 x428 x429 x432 x439 x440 x445 x452 x457 x459 x460 x462 x463 x467 x469 x471 x472 x473 x476 x477 x492 x493 x494 x496 x497 x498 1800.01/1800.72 v x499 x500 x501 x502 x503 x504 x505 x507 x509 x511 x512 x515 x517 x518 x519 x523 x524 x529 x531 x533 x535 x536 x540 x550 x551 x552 1800.01/1800.72 v x554 x560 x561 x562 x565 x567 x574 x576 x579 x583 x584 x585 x589 x591 x592 x593 x594 x595 x597 x598 x599 x605 x607 x609 x611 x613 1800.01/1800.72 v x616 x625 x628 x630 x639 x642 x643 x645 x648 x650 x651 x652 x654 x656 x658 x659 x660 x661 x668 x670 x671 x672 x674 x675 x678 x679 1800.01/1800.72 v x685 x690 x692 x693 x694 x698 x699 x705 x707 x708 x709 x711 x712 x713 x714 x715 x716 x717 x719 x720 x722 x723 x728 x731 x733 x734 1800.01/1800.72 v x736 x738 x740 x749 x752 x753 x756 x758 x759 x760 x761 x762 x763 x764 x767 x768 x770 x773 x784 x789 x791 x793 x794 x796 x802 x804 1800.01/1800.72 v x808 x811 x813 x814 x815 x816 x817 x818 x819 x820 x823 x827 x828 x829 x830 x831 x832 x836 x837 x839 x840 x841 x842 x843 x844 x850 1800.01/1800.72 v x851 x853 x854 x855 x856 x857 x858 x859 x860 x863 x864 x865 x868 x882 x883 x885 x886 x887 x888 x889 x890 x892 x893 x896 x897 x899 1800.01/1800.72 v x909 x910 x911 x912 x913 x914 x915 x916 x931 x938 x939 x941 x942 x943 x944 x965 x966 x967 x970 x971 x972 x973 x974 x976 x977 x980 1800.01/1800.72 v x982 x983 x986 x987 x989 x990 x991 x992 x993 x995 x1006 x1008 x1011 x1016 x1018 x1019 x1020 x1021 x1023 x1025 x1026 x1027 x1034 1800.01/1800.72 v x1035 x1037 x1039 x1040 x1042 x1061 x1065 x1066 x1067 x1071 x1077 x1081 x1083 x1087 x1093 x1097 x1098 x1100 x1111 x1115 x1117 1800.01/1800.72 v x1127 x1130 x1132 x1133 x1135 x1136 x1141 x1143 x1144 x1145 x1147 x1149 x1150 x1157 x1158 x1159 x1160 x1166 x1167 x1181 x1182 1800.01/1800.72 v x1184 x1185 x1186 x1187 x1188 x1189 x1190 x1192 x1193 x1194 x1195 x1197 x1200 x1201 x1202 x1203 x1204 x1205 x1207 x1208 x1212 1800.01/1800.72 v x1213 x1221 x1224 x1225 x1226 x1228 x1234 x1235 x1239 x1241 x1242 x1252 x1254 x1255 x1256 x1259 x1260 x1268 x1270 x1272 x1275 1800.01/1800.72 v x1276 x1282 x1283 x1284 x1288 x1290 x1291 x1294 x1296 x1297 x1298 x1299 x1300 x1301 x1302 x1304 x1305 x1307 x1309 x1310 x1311 1800.01/1800.72 v x1314 x1315 x1318 x1320 x1324 x1332 x1334 x1335 x1337 x1339 x1341 x1342 x1344 x1345 x1348 x1349 x1350 x1352 x1353 x1354 x1359 1800.01/1800.72 v x1364 x1365 x1367 x1368 x1373 x1375 x1376 x1377 x1378 x1379 x1382 x1385 x1394 x1396 x1399 x1404 x1412 x1413 x1414 x1416 x1417 1800.01/1800.72 v x1430 x1446 x1450 x1452 x1453 x1454 x1457 x1458 x1473 x1475 x1489 x1490 x1494 x1498 x1500 x1501 x1502 x1506 x1519 x1521 x1523 1800.01/1800.72 v x1537 x1538 x1539 x1540 x1542 x1543 x1546 x1547 x1550 x1553 x1554 x1564 x1567 x1569 x1577 x1578 x1582 x1585 x1595 x1596 x1597 1800.01/1800.72 v x1598 x1599 x1601 x1602 x1603 x1604 x1605 x1606 x1607 x1610 x1612 x1616 x1623 x1624 x1628 x1630 x1633 x1634 x1635 x1636 x1641 1800.01/1800.72 v x1642 x1645 x1653 x1655 x1656 x1657 x1658 x1659 x1661 x1669 x1671 x1672 x1676 x1679 x1681 x1685 x1686 x1687 x1689 x1690 x1691 1800.01/1800.72 v x1700 x1706 x1708 x1719 x1723 x1724 x1738 x1744 x1745 x1750 x1751 x1752 x1755 x1758 x1760 x1761 x1764 x1768 x1770 x1772 x1775 1800.01/1800.72 v x1779 x1780 x1782 x1785 x1786 x1789 x1804 x1805 x1807 x1809 x1810 x1811 x1812 x1815 x1816 x1817 x1820 x1822 x1823 x1827 x1829 1800.01/1800.72 v x1832 x1833 x1835 x1837 x1839 x1843 x1847 x1848 x1862 x1864 x1865 x1866 x1868 x1869 x1871 x1874 x1875 x1876 x1877 x1878 x1885 1800.01/1800.72 v x1886 x1892 x1893 x1894 x1896 x1899 x1900 x1901 x1902 x1903 x1904 x1906 x1907 x1908 x1909 x1911 x1912 x1915 x1918 x1921 x1925 1800.01/1800.72 v x1927 x1928 x1931 x1932 x1947 x1948 x1950 x1954 x1956 x1964 x1967 x1969 x1970 x1972 x1973 x1976 x1977 x1980 x1983 x1984 x1985 1800.01/1800.72 v x1986 x1987 x1989 x1990 x1995 x1996 x1998 x1999 x2000 x2002 x2005 x2006 x2007 x2014 x2015 x2016 x2020 x2022 x2027 x2035 x2037 1800.01/1800.72 v x2062 x2063 x2064 x2065 x2066 x2067 x2069 x2073 x2075 x2077 x2079 x2080 x2081 x2082 x2083 x2084 x2086 x2088 x2090 x2092 x2095 1800.01/1800.72 v x2098 x2106 x2107 x2109 x2111 x2112 x2114 x2115 x2116 x2119 x2121 x2123 x2125 x2126 x2127 x2128 x2129 x2130 x2131 x2133 x2137 1800.01/1800.72 v x2141 x2142 x2148 x2150 x2151 x2152 x2156 x2158 x2166 x2169 x2171 x2173 x2174 x2180 x2182 x2184 x2187 x2188 x2190 x2199 x2200 1800.01/1800.72 v x2201 x2202 x2221 x2222 x2228 x2231 x2232 x2236 x2238 x2249 x2251 x2252 x2253 x2254 x2255 x2256 x2257 x2258 x2259 x2261 x2264 1800.01/1800.72 v x2265 x2266 x2271 x2276 x2280 x2283 x2284 x2286 x2294 x2295 x2297 x2298 x2300 x2301 x2303 x2304 x2306 x2313 x2314 x2316 x2317 1800.01/1800.72 v x2319 x2323 x2326 x2327 x2329 x2337 x2341 x2344 x2356 x2358 x2361 x2369 x2372 x2373 x2382 x2383 x2395 x2396 x2400 x2401 x2402 1800.01/1800.72 v x2404 x2405 x2406 x2411 x2413 x2414 x2417 x2435 x2440 x2443 x2445 x2446 x2450 x2451 x2452 x2453 x2454 x2455 x2456 x2457 x2458 1800.01/1800.72 v x2460 x2461 x2462 x2463 x2464 x2465 x2467 x2468 x2469 x2470 x2471 x2472 x2473 x2474 x2476 x2477 x2483 x2484 x2485 x2486 x2487 1800.01/1800.72 v x2489 x2490 x2491 x2492 x2493 x2507 x2516 x2520 x2521 x2523 x2532 x2535 x2537 x2539 x2560 x2561 x2563 x2565 x2567 x2569 x2570 1800.01/1800.72 v x2571 x2574 x2575 x2579 x2585 x2587 x2589 x2590 x2591 x2594 x2595 x2596 x2599 x2604 x2606 x2607 x2608 x2611 x2612 x2613 x2617 1800.01/1800.72 v x2618 x2619 x2620 x2621 x2622 x2624 x2626 x2630 x2631 x2632 x2633 x2634 x2637 x2638 x2641 x2642 x2646 x2648 x2650 x2651 x2653 1800.01/1800.72 v x2654 x2657 x2658 x2659 x2660 x2663 x2664 x2666 x2667 x2668 x2669 x2673 x2674 x2677 x2679 x2681 x2682 x2684 x2685 x2688 x2690 1800.01/1800.72 v x2691 x2692 x2694 x2697 x2698 x2699 x2700 x2701 x2702 x2703 x2704 x2708 x2710 x2711 x2712 x2713 x2714 x2715 x2716 x2717 x2718 1800.01/1800.72 v x2719 x2720 x2721 x2722 x2727 x2728 x2729 x2731 x2732 x2733 x2734 x2735 x2736 x2738 x2742 x2743 x2744 x2745 x2747 x2748 x2749 1800.01/1800.72 v x2750 x2752 x2754 x2755 x2756 x2758 x2764 x2766 x2767 x2768 x2770 x2771 x2774 x2776 x2777 x2778 x2779 x2780 x2781 x2782 x2785 1800.01/1800.72 v x2787 x2788 x2790 x2791 x2794 x2796 x2797 x2800 x2802 x2803 x2804 x2805 x2810 x2811 x2812 x2813 x2815 x2816 x2818 x2820 x2821 1800.01/1800.72 v x2830 x2833 x2835 x2838 x2841 x2843 x2844 x2845 x2846 x2849 x2850 x2852 x2853 x2854 x2857 x2859 x2860 x2861 x2862 x2864 x2869 1800.01/1800.72 v x2873 x2875 x2876 x2877 x2886 x2887 x2893 x2896 x2898 x2899 x2901 x2904 x2906 x2907 x2908 x2909 x2910 x2912 x2913 x2916 x2917 1800.01/1800.72 v x2919 x2920 x2921 x2922 x2929 x2946 x2948 x2950 x2952 x2953 x2954 x2959 x2960 x2963 x2964 x2973 x2979 x2980 x2989 x2990 x2992 1800.01/1800.72 v x2994 x2997 x3006 x3007 x3008 x3009 x3010 x3011 x3012 x3013 x3014 x3020 x3021 x3035 x3039 x3040 x3043 x3044 x3045 x3046 x3061 1800.01/1800.72 v x3062 x3077 x3078 x3091 x3092 x3094 x3095 x3097 x3098 x3100 x3101 x3103 x3107 x3108 x3109 x3111 x3112 x3117 x3125 x3126 x3127 1800.01/1800.72 v x3128 x3129 x3131 x3132 x3133 x3134 x3136 x3138 x3139 x3155 x3170 x3173 x3174 x3175 x3176 x3180 x3186 x3189 x3190 x3191 x3192 1800.01/1800.72 v x3194 x3195 x3198 x3213 x3214 x3219 x3221 x3222 x3223 x3231 x3232 x3233 x3234 x3242 x3243 x3248 x3250 x3251 x3256 x3259 x3260 1800.01/1800.72 v x3263 x3266 x3269 x3270 x3271 x3275 x3278 x3281 x3283 x3284 x3285 x3286 x3288 x3289 x3290 x3291 x3292 x3293 x3296 x3297 x3300 1800.01/1800.72 v x3303 x3304 x3305 x3309 x3310 x3315 x3319 x3321 x3322 x3325 x3326 x3330 x3331 x3332 x3337 x3338 x3342 x3343 x3344 x3346 x3349 1800.01/1800.72 v x3350 x3353 x3356 x3357 x3359 x3362 x3363 x3364 x3368 x3370 x3371 x3372 x3373 x3374 x3375 x3378 x3381 x3383 x3386 x3387 x3388 1800.01/1800.72 v x3390 x3408 x3409 x3411 x3412 x3414 x3415 x3416 x3420 x3421 x3422 x3434 x3435 x3440 x3441 x3446 x3449 x3452 x3454 x3457 x3458 1800.01/1800.72 v x3459 x3460 x3462 x3463 x3465 x3466 x3467 x3473 x3474 x3475 x3476 x3479 x3485 x3489 x3490 x3491 x3492 x3494 x3495 x3497 x3498 1800.01/1800.72 v x3503 x3504 x3505 x3507 x3509 x3510 x3511 x3513 x3514 x3515 x3516 x3519 x3520 x3521 x3522 x3523 x3525 x3527 x3530 x3531 x3535 1800.01/1800.72 v x3539 x3540 x3541 x3542 x3543 x3544 x3545 x3547 x3548 x3550 x3552 x3553 x3554 x3555 x3557 x3559 x3562 x3564 x3571 x3572 x3573 1800.01/1800.72 v x3574 x3575 x3576 x3577 x3578 x3579 x3587 x3590 x3593 x3595 x3596 x3603 x3606 x3608 x3609 x3611 x3626 x3627 x3628 x3629 x3631 1800.01/1800.72 v x3632 x3635 x3636 x3637 x3638 x3641 x3642 x3644 x3646 x3647 x3648 x3650 x3652 x3654 x3655 x3657 x3658 x3659 x3660 x3661 x3662 1800.01/1800.72 v x3664 x3666 x3668 x3669 x3671 x3672 x3673 x3675 x3677 x3687 x3690 x3693 x3695 x3696 x3698 x3699 x3700 x3702 x3703 x3706 x3709 1800.01/1800.72 v x3711 x3712 x3713 x3714 x3715 x3717 x3718 x3732 x3733 x3734 x3736 x3744 x3747 x3751 x3754 x3756 x3757 x3762 x3764 x3765 x3770 1800.01/1800.72 v x3773 x3774 x3776 x3779 x3782 x3783 x3786 x3789 x3790 x3791 x3793 x3794 x3796 x3799 x3800 x3801 x3802 x3803 x3805 x3806 x3807 1800.01/1800.72 v x3808 x3812 x3813 x3814 x3816 x3817 x3818 x3819 x3820 x3821 x3826 x3827 x3831 x3835 x3837 x3838 x3853 x3857 x3858 x3863 x3866 1800.01/1800.72 v x3867 x3869 x3872 x3887 x3902 x3903 x3904 x3907 x3911 x3913 x3914 x3918 x3921 x3924 x3925 x3928 x3929 x3931 x3932 x3948 x3952 1800.01/1800.72 v x3954 x3955 x3957 x3958 x3962 x3963 x3964 x3966 x3969 x3972 x3973 x3976 x3979 x3980 x3981 x3995 x3996 x3997 x3998 x3999 x4000 1800.01/1800.72 v x4002 x4003 x4006 x4007 x4027 x4029 x4030 x4031 x4032 x4034 x4035 x4037 x4038 x4040 x4042 x4044 x4051 x4052 x4054 x4056 x4057 1800.01/1800.72 v x4058 x4060 x4061 x4064 x4065 x4066 x4067 x4068 x4069 x4071 x4075 x4078 x4080 x4081 x4085 x4086 x4087 x4089 x4090 x4093 x4094 1800.01/1800.72 v x4095 x4099 x4102 x4104 x4112 x4116 x4117 x4118 x4120 x4123 x4124 x4129 x4130 x4131 x4134 x4136 x4144 x4145 x4147 x4149 x4150 1800.01/1800.72 v x4151 x4153 x4154 x4157 x4158 x4160 x4162 x4175 x4176 x4178 x4181 x4183 x4186 x4188 x4189 x4191 x4193 x4196 x4199 x4200 x4201 1800.01/1800.72 v x4202 x4204 x4211 x4214 x4216 x4219 x4225 x4226 x4227 x4228 x4230 x4231 x4234 x4235 x4237 x4238 x4240 x4243 x4244 x4260 x4266 1800.01/1800.72 v x4267 x4268 x4270 x4271 x4275 x4277 x4279 x4280 x4282 x4284 x4285 x4289 x4291 x4292 x4293 x4298 x4301 x4305 x4306 x4309 x4312 1800.01/1800.72 v x4313 x4314 x4315 x4316 x4318 x4320 x4327 x4328 x4329 x4333 x4336 x4341 x4342 x4343 x4344 x4346 x4349 x4353 x4354 x4355 x4357 1800.01/1800.72 v x4360 x4361 x4362 x4364 x4368 x4369 x4371 x4372 x4373 x4374 x4375 x4376 x4377 x4379 x4380 x4381 x4382 x4383 x4384 x4385 x4387 1800.01/1800.72 v x4389 x4390 x4391 x4393 x4394 x4395 x4396 x4399 x4400 x4407 x4409 x4413 x4414 x4417 x4418 x4421 x4424 x4430 x4431 x4432 x4435 1800.01/1800.72 v x4444 x4449 x4450 x4451 x4467 x4468 x4469 x4470 x4471 x4472 x4473 x4474 x4475 x4476 x4478 x4480 x4482 x4497 x4500 x4502 x4505 1800.01/1800.72 v x4507 x4508 x4512 x4521 x4522 x4523 x4524 x4526 x4527 x4530 x4531 x4532 x4533 x4534 x4535 x4536 x4538 x4539 x4540 x4544 x4545 1800.01/1800.72 v x4553 x4554 x4555 x4556 x4557 x4560 x4561 x4562 x4564 x4566 x4570 x4571 x4572 x4574 x4576 x4577 x4580 x4582 x4585 x4587 x4588 1800.01/1800.72 v x4589 x4590 x4592 x4593 x4595 x4597 x4598 x4605 x4608 x4609 x4610 x4613 x4614 x4624 x4625 x4629 x4631 x4632 x4633 x4634 x4636 1800.01/1800.72 v x4638 x4639 x4643 x4658 x4667 x4668 x4669 x4670 x4672 x4674 x4687 x4688 x4691 x4692 x4693 x4699 x4700 x4708 x4709 x4711 x4712 1800.01/1800.72 v x4728 x4729 x4730 x4731 x4732 x4733 x4734 x4735 x4736 x4738 x4739 x4740 x4743 x4744 x4745 x4748 x4750 x4751 x4752 x4754 x4755 1800.01/1800.72 v x4757 x4759 x4760 x4761 x4762 x4763 x4764 x4765 x4766 x4767 x4769 x4771 x4773 x4774 x4775 x4776 x4778 x4779 x4780 x4781 x4783 1800.01/1800.72 v x4784 x4785 x4789 x4790 x4803 x4804 x4805 x4807 x4808 x4811 x4813 x4814 x4815 x4817 x4818 x4821 x4823 x4824 x4827 x4829 x4830 1800.01/1800.72 v x4831 x4835 x4837 x4840 x4842 x4845 x4848 x4850 x4853 x4855 x4856 x4858 x4859 x4861 x4864 x4869 x4871 x4872 x4875 x4876 x4877 1800.01/1800.72 v x4880 x4882 x4883 x4884 x4887 x4889 x4890 x4904 x4906 x4907 x4908 x4909 x4910 x4913 x4915 x4918 x4920 x4921 x4927 x4929 x4931 1800.01/1800.72 v x4932 x4935 x4937 x4939 x4941 x4943 x4945 x4947 x4949 x4952 x4956 x4957 x4963 x4966 x4967 x4969 x4974 x4978 x4981 x4983 x4984 1800.01/1800.72 v x4986 x4987 x4989 x4990 x4991 x4992 x4994 x4995 x4997 x5000 x5001 x5003 x5012 x5015 x5016 x5018 x5021 x5023 x5024 x5027 x5028 1800.01/1800.72 v x5030 x5032 x5033 x5035 x5037 x5040 x5041 x5042 x5043 x5045 x5047 x5048 x5051 x5054 x5055 x5056 x5057 x5061 x5063 x5065 x5066 1800.01/1800.72 v x5068 x5071 x5072 x5076 x5080 x5081 x5082 x5083 x5084 x5087 x5089 x5091 x5093 x5097 x5099 x5104 x5109 x5111 x5113 x5116 x5118 1800.01/1800.72 v x5121 x5122 x5124 x5125 x5126 x5129 x5131 x5132 x5133 x5137 x5138 x5139 x5140 x5141 x5143 x5145 x5148 x5150 x5152 x5154 x5156 1800.01/1800.72 v x5159 x5160 x5163 x5165 x5166 x5168 x5169 x5174 x5177 x5180 x5181 x5182 x5184 x5187 x5189 x5192 x5195 x5197 x5198 x5200 x5202 1800.01/1800.72 v x5204 x5210 x5212 x5214 x5215 x5219 x5221 x5223 x5224 x5226 x5227 x5229 x5230 x5231 x5232 x5233 x5235 x5236 x5239 x5241 x5243 1800.01/1800.72 v x5246 x5247 x5250 x5251 x5262 x5263 x5264 x5266 x5269 x5271 x5274 x5276 x5278 x5281 x5292 x5296 x5300 x5303 x5304 x5306 x5307 1800.01/1800.72 v x5308 x5309 x5311 x5314 x5316 x5329 x5330 x5332 x5333 x5334 x5338 x5340 x5342 x5344 x5346 x5347 x5349 x5352 x5353 x5355 x5356 1800.01/1800.72 v x5358 x5359 x5360 x5362 x5363 x5366 x5368 x5371 x5372 x5374 x5376 x5378 x5382 x5390 x5391 x5392 x5393 x5395 x5396 x5398 x5402 1800.01/1800.72 v x5404 x5405 x5407 x5411 x5413 x5416 x5421 x5423 x5425 x5426 x5427 x5428 x5430 x5435 x5437 x5438 x5439 x5442 x5443 x5444 x5446 1800.01/1800.72 v x5453 x5454 x5455 x5457 x5459 x5462 x5464 x5466 x5468 x5469 x5471 x5472 x5475 x5477 x5479 x5480 x5482 x5483 x5484 x5486 x5487 1800.01/1800.72 v x5488 x5489 x5492 x5494 x5495 x5496 x5498 x5500 x5504 x5507 x5509 x5511 x5513 x5515 x5518 x5520 x5522 x5523 x5528 x5530 x5534 1800.01/1800.72 v x5537 x5539 x5541 x5544 x5546 x5547 x5548 x5550 x5552 x5554 x5555 x5557 x5561 x5564 x5565 x5570 x5573 x5575 x5581 x5582 x5584 1800.01/1800.72 v x5587 x5589 x5593 x5596 x5597 x5598 x5599 x5600 x5602 x5604 x5607 x5611 x5614 x5617 x5619 x5621 x5623 x5625 x5627 x5630 x5631 1800.01/1800.72 v x5632 x5633 x5634 x5635 x5636 x5640 x5641 x5642 x5643 x5645 x5646 x5647 x5648 x5651 x5653 x5654 x5655 x5657 x5658 x5659 x5660 1800.01/1800.72 v x5661 x5662 x5663 x5668 x5672 x5675 x5677 x5682 x5684 x5686 x5689 x5692 x5693 x5694 x5695 x5696 x5697 x5698 x5702 x5706 x5708 1800.01/1800.72 v x5709 x5712 x5715 x5719 x5721 x5724 x5726 x5728 x5730 x5731 x5732 x5733 x5734 x5735 x5736 x5745 x5746 x5747 x5748 x5750 x5751 1800.01/1800.72 v x5752 x5755 x5757 x5760 x5761 x5762 x5765 x5771 x5772 x5774 x5775 x5777 x5781 x5784 x5786 x5787 x5789 x5791 x5792 x5794 x5800 1800.01/1800.72 v x5804 x5806 x5808 x5810 x5814 x5815 x5816 x5819 x5823 x5824 x5826 x5828 x5835 x5836 x5838 x5839 x5840 x5841 x5842 x5843 x5856 1800.01/1800.72 v x5858 x5860 x5862 x5863 x5864 x5867 x5872 x5873 x5874 x5878 x5879 x5880 x5883 x5887 x5889 x5890 x5899 x5900 x5902 x5903 x5909 1800.01/1800.72 v x5911 x5912 x5914 x5915 x5916 x5917 x5920 x5921 x5922 x5924 x5925 x5927 x5928 x5930 x5931 x5932 x5933 x5939 x5953 x5954 x5955 1800.01/1800.72 v x5956 x5959 x5962 x5964 x5968 x5976 x5978 x5981 x5982 x5984 x5987 x5988 x5992 x5993 x5994 x5995 x5998 x5999 x6001 x6003 x6004 1800.01/1800.72 v x6005 x6006 x6007 x6008 x6009 x6010 x6011 x6017 x6018 x6020 x6025 x6028 x6032 x6033 x6035 x6036 x6040 x6041 x6042 x6043 x6045 1800.01/1800.72 v x6046 x6047 x6051 x6052 x6056 x6057 x6058 x6059 x6060 x6062 x6063 x6065 x6066 x6067 x6068 x6071 x6072 x6073 x6074 x6075 x6076 1800.01/1800.72 v x6077 x6078 x6079 x6083 x6084 x6087 x6089 x6090 x6091 x6092 x6093 x6096 x6104 x6106 x6110 x6112 x6113 x6120 x6122 x6124 x6125 1800.01/1800.72 v x6128 x6129 x6131 x6132 x6133 x6134 x6135 x6136 x6137 x6138 x6139 x6140 x6142 x6144 x6145 x6149 x6150 x6151 x6152 x6154 x6155 1800.01/1800.72 v x6156 x6159 x6160 x6161 x6164 x6165 x6166 x6167 x6168 x6171 x6172 x6174 x6176 x6177 x6181 x6182 x6183 x6184 x6185 x6187 x6188 1800.01/1800.72 v x6192 x6193 x6198 x6200 x6203 x6205 x6206 x6207 x6208 x6209 x6212 x6213 x6214 x6215 x6216 x6217 x6218 x6220 x6222 x6239 x6240 1800.01/1800.72 v x6241 x6246 x6247 x6248 x6249 x6255 x6258 x6259 x6260 x6261 x6262 x6265 x6268 x6271 x6273 x6274 x6275 x6276 x6277 x6278 x6279 1800.01/1800.72 v x6280 x6283 x6287 x6290 x6291 x6292 x6293 x6294 x6295 x6296 x6299 x6300 x6303 x6305 x6306 x6307 x6308 x6309 x6310 x6313 x6316 1800.01/1800.72 v x6319 x6321 x6324 x6325 x6327 x6328 x6330 x6331 x6332 x6335 x6337 x6340 x6341 x6345 x6346 x6357 x6359 x6360 x6362 1800.01/1800.72 pb2clasp1: no process killed 1800.01/1800.73 clasp-1.0: no process killed 1802.01/1802.72 sh: line 1: 19969 Done cat /tmp/evaluation/351620-1176607876/temp/instance-351620-1176607876.opb.op 1802.01/1802.72 19970 Killed | clasp-1.0 --trans=no >/tmp/evaluation/351620-1176607876/temp/instance-351620-1176607876.opb.clasp
OK 221170
/tmp/evaluation/351620-1176607876/instance-351620-1176607876.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node45/watcher-351620-1176607876 -o ROOT/results/node45/solver-351620-1176607876 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-351620-1176607876.opb /tmp/evaluation/351620-1176607876/temp Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.78 0.97 0.98 3/64 19691 /proc/meminfo: memFree=1682728/2055920 swapFree=4192036/4192956 [pid=19691] ppid=19689 vsize=12268 CPUtime=0 /proc/19691/stat : 19691 (pbclasp) R 19689 19691 19608 0 -1 4194304 396 0 0 0 0 0 0 0 18 0 1 0 15633214 12562432 362 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 258938933985 0 0 4224 0 0 0 0 17 1 0 0 /proc/19691/statm: 3067 363 276 3 0 167 0 [startup+0.0459191 s] /proc/loadavg: 0.78 0.97 0.98 3/64 19691 /proc/meminfo: memFree=1682728/2055920 swapFree=4192036/4192956 [pid=19691] ppid=19689 vsize=12824 CPUtime=0.04 /proc/19691/stat : 19691 (pbclasp) R 19689 19691 19608 0 -1 4194304 592 0 0 0 4 0 0 0 18 0 1 0 15633214 13131776 558 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 258938967891 0 0 4224 16384 0 0 0 17 1 0 0 /proc/19691/statm: 3206 558 320 3 0 306 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 12824 [startup+0.101924 s] /proc/loadavg: 0.78 0.97 0.98 3/64 19691 /proc/meminfo: memFree=1682728/2055920 swapFree=4192036/4192956 [pid=19691] ppid=19689 vsize=13088 CPUtime=0.09 /proc/19691/stat : 19691 (pbclasp) R 19689 19691 19608 0 -1 4194304 633 0 0 0 9 0 0 0 18 0 1 0 15633214 13402112 599 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 258959413006 0 0 4224 16384 0 0 0 17 1 0 0 /proc/19691/statm: 3272 599 320 3 0 372 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13088 [startup+0.301944 s] /proc/loadavg: 0.78 0.97 0.98 3/64 19691 /proc/meminfo: memFree=1682728/2055920 swapFree=4192036/4192956 [pid=19691] ppid=19689 vsize=13484 CPUtime=0.17 /proc/19691/stat : 19691 (pbclasp) S 19689 19691 19608 0 -1 4194304 761 0 0 0 17 0 0 0 16 0 1 0 15633214 13807616 713 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 258947985506 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/19691/statm: 3371 713 324 3 0 471 0 Current children cumulated CPU time (s) 0.17 Current children cumulated vsize (KiB) 13484 [startup+0.701988 s] /proc/loadavg: 0.78 0.97 0.98 3/64 19691 /proc/meminfo: memFree=1682728/2055920 swapFree=4192036/4192956 [pid=19691] ppid=19689 vsize=13748 CPUtime=0.5 /proc/19691/stat : 19691 (pbclasp) S 19689 19691 19608 0 -1 4194304 1054 1605 0 0 18 0 31 1 17 0 1 0 15633214 14077952 816 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 258947989396 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/19691/statm: 3437 816 343 3 0 537 0 Current children cumulated CPU time (s) 0.5 Current children cumulated vsize (KiB) 13748 [startup+1.50107 s] /proc/loadavg: 0.80 0.97 0.98 2/67 19701 /proc/meminfo: memFree=1675072/2055920 swapFree=4192036/4192956 [pid=19691] ppid=19689 vsize=13748 CPUtime=0.5 /proc/19691/stat : 19691 (pbclasp) S 19689 19691 19608 0 -1 4194304 1054 1605 0 0 18 0 31 1 17 0 1 0 15633214 14077952 816 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 258947989396 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/19691/statm: 3437 816 343 3 0 537 0 [pid=19699] ppid=19691 vsize=5352 CPUtime=0 /proc/19699/stat : 19699 (sh) S 19691 19691 19608 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 15633275 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/19699/statm: 1338 224 188 169 0 49 0 [pid=19701] ppid=19699 vsize=6976 CPUtime=0.88 /proc/19701/stat : 19701 (clasp-1.0) R 19699 19691 19608 0 -1 4194304 1384 0 0 0 88 0 0 0 24 0 1 0 15633275 7143424 1346 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134737644 0 0 4096 0 0 0 0 17 1 0 0 /proc/19701/statm: 1744 1346 249 81 0 1118 0 Current children cumulated CPU time (s) 1.38 Current children cumulated vsize (KiB) 26076 [startup+3.10123 s] /proc/loadavg: 0.80 0.97 0.98 2/67 19701 /proc/meminfo: memFree=1673792/2055920 swapFree=4192036/4192956 [pid=19691] ppid=19689 vsize=13748 CPUtime=0.5 /proc/19691/stat : 19691 (pbclasp) S 19689 19691 19608 0 -1 4194304 1054 1605 0 0 18 0 31 1 17 0 1 0 15633214 14077952 816 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 258947989396 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/19691/statm: 3437 816 343 3 0 537 0 [pid=19699] ppid=19691 vsize=5352 CPUtime=0 /proc/19699/stat : 19699 (sh) S 19691 19691 19608 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 15633275 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/19699/statm: 1338 224 188 169 0 49 0 [pid=19701] ppid=19699 vsize=8016 CPUtime=2.48 /proc/19701/stat : 19701 (clasp-1.0) R 19699 19691 19608 0 -1 4194304 1636 0 0 0 248 0 0 0 25 0 1 0 15633275 8208384 1598 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134784667 0 0 4096 0 0 0 0 17 1 0 0 /proc/19701/statm: 2004 1598 249 81 0 1378 0 Current children cumulated CPU time (s) 2.98 Current children cumulated vsize (KiB) 27116 [startup+6.30256 s] /proc/loadavg: 0.80 0.97 0.98 2/67 19701 /proc/meminfo: memFree=1673408/2055920 swapFree=4192036/4192956 [pid=19691] ppid=19689 vsize=13748 CPUtime=0.5 /proc/19691/stat : 19691 (pbclasp) S 19689 19691 19608 0 -1 4194304 1054 1605 0 0 18 0 31 1 17 0 1 0 15633214 14077952 816 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 258947989396 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/19691/statm: 3437 816 343 3 0 537 0 [pid=19699] ppid=19691 vsize=5352 CPUtime=0 /proc/19699/stat : 19699 (sh) S 19691 19691 19608 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 15633275 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/19699/statm: 1338 224 188 169 0 49 0 [pid=19701] ppid=19699 vsize=8536 CPUtime=5.69 /proc/19701/stat : 19701 (clasp-1.0) R 19699 19691 19608 0 -1 4194304 1777 0 0 0 568 1 0 0 25 0 1 0 15633275 8740864 1739 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134789696 0 0 4096 0 0 0 0 17 1 0 0 /proc/19701/statm: 2134 1739 249 81 0 1508 0 Current children cumulated CPU time (s) 6.19 Current children cumulated vsize (KiB) 27636 [startup+12.7012 s] /proc/loadavg: 0.83 0.97 0.98 2/67 19701 /proc/meminfo: memFree=1672392/2055920 swapFree=4192036/4192956 [pid=19691] ppid=19689 vsize=13748 CPUtime=0.5 /proc/19691/stat : 19691 (pbclasp) S 19689 19691 19608 0 -1 4194304 1054 1605 0 0 18 0 31 1 17 0 1 0 15633214 14077952 816 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 258947989396 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/19691/statm: 3437 816 343 3 0 537 0 [pid=19699] ppid=19691 vsize=5352 CPUtime=0 /proc/19699/stat : 19699 (sh) S 19691 19691 19608 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 15633275 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/19699/statm: 1338 224 188 169 0 49 0 [pid=19701] ppid=19699 vsize=9184 CPUtime=12.08 /proc/19701/stat : 19701 (clasp-1.0) R 19699 19691 19608 0 -1 4194304 1954 0 0 0 1207 1 0 0 25 0 1 0 15633275 9404416 1916 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134784526 0 0 4096 0 0 0 0 17 1 0 0 /proc/19701/statm: 2296 1916 249 81 0 1670 0 Current children cumulated CPU time (s) 12.58 Current children cumulated vsize (KiB) 28284 [startup+25.5015 s] /proc/loadavg: 0.85 0.97 0.98 2/67 19701 /proc/meminfo: memFree=1670280/2055920 swapFree=4192036/4192956 [pid=19691] ppid=19689 vsize=13748 CPUtime=0.5 /proc/19691/stat : 19691 (pbclasp) S 19689 19691 19608 0 -1 4194304 1054 1605 0 0 18 0 31 1 17 0 1 0 15633214 14077952 816 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 258947989396 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/19691/statm: 3437 816 343 3 0 537 0 [pid=19699] ppid=19691 vsize=5352 CPUtime=0 /proc/19699/stat : 19699 (sh) S 19691 19691 19608 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 15633275 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/19699/statm: 1338 224 188 169 0 49 0 [pid=19701] ppid=19699 vsize=11288 CPUtime=24.87 /proc/19701/stat : 19701 (clasp-1.0) R 19699 19691 19608 0 -1 4194304 2478 0 0 0 2486 1 0 0 25 0 1 0 15633275 11558912 2440 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134784502 0 0 4096 0 0 0 0 17 1 0 0 /proc/19701/statm: 2822 2440 249 81 0 2196 0 Current children cumulated CPU time (s) 25.37 Current children cumulated vsize (KiB) 30388 [startup+51.1011 s] /proc/loadavg: 0.91 0.97 0.98 2/67 19701 /proc/meminfo: memFree=1667656/2055920 swapFree=4192036/4192956 [pid=19691] ppid=19689 vsize=13748 CPUtime=0.5 /proc/19691/stat : 19691 (pbclasp) S 19689 19691 19608 0 -1 4194304 1054 1605 0 0 18 0 31 1 17 0 1 0 15633214 14077952 816 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 258947989396 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/19691/statm: 3437 816 343 3 0 537 0 [pid=19699] ppid=19691 vsize=5352 CPUtime=0 /proc/19699/stat : 19699 (sh) S 19691 19691 19608 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 15633275 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/19699/statm: 1338 224 188 169 0 49 0 [pid=19701] ppid=19699 vsize=14064 CPUtime=50.47 /proc/19701/stat : 19701 (clasp-1.0) R 19699 19691 19608 0 -1 4194304 3153 0 0 0 5045 2 0 0 25 0 1 0 15633275 14401536 3115 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134715031 0 0 4096 0 0 0 0 17 1 0 0 /proc/19701/statm: 3516 3115 249 81 0 2890 0 Current children cumulated CPU time (s) 50.97 Current children cumulated vsize (KiB) 33164 [startup+102.305 s] /proc/loadavg: 0.96 0.97 0.98 2/67 19709 /proc/meminfo: memFree=1670032/2055920 swapFree=4192036/4192956 [pid=19691] ppid=19689 vsize=13876 CPUtime=84.27 /proc/19691/stat : 19691 (pbclasp) S 19689 19691 19608 0 -1 4194304 1373 7158 0 0 23 0 8398 6 18 0 1 0 15633214 14209024 842 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 258947989396 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/19691/statm: 3469 842 343 3 0 569 0 [pid=19707] ppid=19691 vsize=5352 CPUtime=0 /proc/19707/stat : 19707 (sh) S 19691 19691 19608 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 15641653 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/19707/statm: 1338 224 188 169 0 49 0 [pid=19709] ppid=19707 vsize=11504 CPUtime=17.9 /proc/19709/stat : 19709 (clasp-1.0) R 19707 19691 19608 0 -1 4194304 2502 0 0 0 1789 1 0 0 25 0 1 0 15641653 11780096 2464 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134784653 0 0 4096 0 0 0 0 17 1 0 0 /proc/19709/statm: 2876 2464 249 81 0 2250 0 Current children cumulated CPU time (s) 102.17 Current children cumulated vsize (KiB) 30732 [startup+162.301 s] /proc/loadavg: 0.98 0.97 0.98 2/67 19709 /proc/meminfo: memFree=1663120/2055920 swapFree=4192036/4192956 [pid=19691] ppid=19689 vsize=13876 CPUtime=84.27 /proc/19691/stat : 19691 (pbclasp) S 19689 19691 19608 0 -1 4194304 1373 7158 0 0 23 0 8398 6 18 0 1 0 15633214 14209024 842 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 258947989396 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/19691/statm: 3469 842 343 3 0 569 0 [pid=19707] ppid=19691 vsize=5352 CPUtime=0 /proc/19707/stat : 19707 (sh) S 19691 19691 19608 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 15641653 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/19707/statm: 1338 224 188 169 0 49 0 [pid=19709] ppid=19707 vsize=18396 CPUtime=77.88 /proc/19709/stat : 19709 (clasp-1.0) R 19707 19691 19608 0 -1 4194304 4219 0 0 0 7786 2 0 0 25 0 1 0 15641653 18837504 4181 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134784610 0 0 4096 0 0 0 0 17 1 0 0 /proc/19709/statm: 4599 4181 249 81 0 3973 0 Current children cumulated CPU time (s) 162.15 Current children cumulated vsize (KiB) 37624 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.98 2/67 19717 /proc/meminfo: memFree=1667152/2055920 swapFree=4192036/4192956 [pid=19691] ppid=19689 vsize=14012 CPUtime=168.68 /proc/19691/stat : 19691 (pbclasp) S 19689 19691 19608 0 -1 4194304 1522 12741 0 0 28 0 16829 11 18 0 1 0 15633214 14348288 850 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 258947989396 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/19691/statm: 3503 850 343 3 0 603 0 [pid=19715] ppid=19691 vsize=5352 CPUtime=0 /proc/19715/stat : 19715 (sh) S 19691 19691 19608 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 15650096 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/19715/statm: 1338 224 188 169 0 49 0 [pid=19717] ppid=19715 vsize=14268 CPUtime=53.46 /proc/19717/stat : 19717 (clasp-1.0) R 19715 19691 19608 0 -1 4194304 3200 0 0 0 5345 1 0 0 25 0 1 0 15650096 14610432 3162 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0 /proc/19717/statm: 3567 3162 249 81 0 2941 0 Current children cumulated CPU time (s) 222.14 Current children cumulated vsize (KiB) 33632 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.98 2/67 19725 /proc/meminfo: memFree=1669712/2055920 swapFree=4192036/4192956 [pid=19691] ppid=19689 vsize=14012 CPUtime=252.75 /proc/19691/stat : 19691 (pbclasp) S 19689 19691 19608 0 -1 4194304 1667 18325 0 0 33 0 25227 15 16 0 1 0 15633214 14348288 850 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 258947989396 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/19691/statm: 3503 850 343 3 0 603 0 [pid=19723] ppid=19691 vsize=5352 CPUtime=0 /proc/19723/stat : 19723 (sh) S 19691 19691 19608 0 -1 4194304 288 121 0 0 0 0 0 0 15 0 1 0 15658506 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/19723/statm: 1338 224 188 169 0 49 0 ################ # More data... # ################ [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.98 2/67 19837 /proc/meminfo: memFree=1666576/2055920 swapFree=4192036/4192956 [pid=19691] ppid=19689 vsize=14012 CPUtime=1431.29 /proc/19691/stat : 19691 (pbclasp) S 19689 19691 19608 0 -1 4194304 3698 98652 0 0 99 3 142940 87 18 0 1 0 15633214 14348288 850 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 258947989396 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/19691/statm: 3503 850 343 3 0 603 0 [pid=19835] ppid=19691 vsize=5352 CPUtime=0 /proc/19835/stat : 19835 (sh) S 19691 19691 19608 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 15776396 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/19835/statm: 1338 224 188 169 0 49 0 [pid=19837] ppid=19835 vsize=14136 CPUtime=50.46 /proc/19837/stat : 19837 (clasp-1.0) R 19835 19691 19608 0 -1 4194304 3179 0 0 0 5045 1 0 0 25 0 1 0 15776396 14475264 3141 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617539 0 0 4096 0 0 0 0 17 1 0 0 /proc/19837/statm: 3534 3141 249 81 0 2908 0 Current children cumulated CPU time (s) 1481.75 Current children cumulated vsize (KiB) 33500 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.98 2/67 19845 /proc/meminfo: memFree=1669264/2055920 swapFree=4192036/4192956 [pid=19691] ppid=19689 vsize=14012 CPUtime=1516.53 /proc/19691/stat : 19691 (pbclasp) S 19689 19691 19608 0 -1 4194304 3854 106698 0 0 104 3 151454 92 16 0 1 0 15633214 14348288 850 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 258947989396 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/19691/statm: 3503 850 343 3 0 603 0 [pid=19843] ppid=19691 vsize=5352 CPUtime=0 /proc/19843/stat : 19843 (sh) S 19691 19691 19608 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 15784922 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/19843/statm: 1338 224 188 169 0 49 0 [pid=19845] ppid=19843 vsize=11504 CPUtime=25.2 /proc/19845/stat : 19845 (clasp-1.0) R 19843 19691 19608 0 -1 4194304 2508 0 0 0 2519 1 0 0 25 0 1 0 15784923 11780096 2470 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617539 0 0 4096 0 0 0 0 17 1 0 0 /proc/19845/statm: 2876 2470 249 81 0 2250 0 Current children cumulated CPU time (s) 1541.73 Current children cumulated vsize (KiB) 30868 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.98 1/68 19853 /proc/meminfo: memFree=1678024/2055920 swapFree=4192036/4192956 [pid=19691] ppid=19689 vsize=14012 CPUtime=1600.92 /proc/19691/stat : 19691 (pbclasp) S 19689 19691 19608 0 -1 4194304 4002 112280 0 0 108 3 159884 97 18 0 1 0 15633214 14348288 850 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 258947989396 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/19691/statm: 3503 850 343 3 0 603 0 [pid=19851] ppid=19691 vsize=5352 CPUtime=0 /proc/19851/stat : 19851 (sh) S 19691 19691 19608 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 15793364 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/19851/statm: 1338 224 188 169 0 49 0 [pid=19853] ppid=19851 vsize=6788 CPUtime=0.79 /proc/19853/stat : 19853 (clasp-1.0) R 19851 19691 19608 0 -1 4194304 1354 0 0 0 79 0 0 0 25 0 1 0 15793364 6950912 1316 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 5162619 0 0 4096 0 0 0 0 17 1 0 0 /proc/19853/statm: 1697 1316 249 81 0 1071 0 Current children cumulated CPU time (s) 1601.71 Current children cumulated vsize (KiB) 26152 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.98 2/67 19853 /proc/meminfo: memFree=1666192/2055920 swapFree=4192036/4192956 [pid=19691] ppid=19689 vsize=14012 CPUtime=1600.92 /proc/19691/stat : 19691 (pbclasp) S 19689 19691 19608 0 -1 4194304 4002 112280 0 0 108 3 159884 97 18 0 1 0 15633214 14348288 850 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 258947989396 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/19691/statm: 3503 850 343 3 0 603 0 [pid=19851] ppid=19691 vsize=5352 CPUtime=0 /proc/19851/stat : 19851 (sh) S 19691 19691 19608 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 15793364 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/19851/statm: 1338 224 188 169 0 49 0 [pid=19853] ppid=19851 vsize=14700 CPUtime=60.77 /proc/19853/stat : 19853 (clasp-1.0) R 19851 19691 19608 0 -1 4194304 3321 0 0 0 6075 2 0 0 25 0 1 0 15793364 15052800 3283 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616633 0 0 4096 0 0 0 0 17 1 0 0 /proc/19853/statm: 3675 3283 249 81 0 3049 0 Current children cumulated CPU time (s) 1661.69 Current children cumulated vsize (KiB) 34064 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.98 2/67 19861 /proc/meminfo: memFree=1667728/2055920 swapFree=4192036/4192956 [pid=19691] ppid=19689 vsize=14012 CPUtime=1685.51 /proc/19691/stat : 19691 (pbclasp) S 19689 19691 19608 0 -1 4194304 4147 118033 0 0 113 3 168334 101 17 0 1 0 15633214 14348288 850 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 258947989396 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/19691/statm: 3503 850 343 3 0 603 0 [pid=19859] ppid=19691 vsize=5352 CPUtime=0 /proc/19859/stat : 19859 (sh) S 19691 19691 19608 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 15801827 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/19859/statm: 1338 224 188 169 0 49 0 [pid=19861] ppid=19859 vsize=12928 CPUtime=36.16 /proc/19861/stat : 19861 (clasp-1.0) R 19859 19691 19608 0 -1 4194304 2873 0 0 0 3614 2 0 0 25 0 1 0 15801827 13238272 2835 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617549 0 0 4096 0 0 0 0 17 1 0 0 /proc/19861/statm: 3232 2835 249 81 0 2606 0 Current children cumulated CPU time (s) 1721.67 Current children cumulated vsize (KiB) 32292 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.98 2/67 19869 /proc/meminfo: memFree=1671312/2055920 swapFree=4192036/4192956 [pid=19691] ppid=19689 vsize=14012 CPUtime=1769.71 /proc/19691/stat : 19691 (pbclasp) S 19689 19691 19608 0 -1 4194304 4294 123750 0 0 118 3 176744 106 18 0 1 0 15633214 14348288 850 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 258947989396 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/19691/statm: 3503 850 343 3 0 603 0 [pid=19867] ppid=19691 vsize=5352 CPUtime=0 /proc/19867/stat : 19867 (sh) S 19691 19691 19608 0 -1 4194304 287 121 0 0 0 0 0 0 15 0 1 0 15810249 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/19867/statm: 1338 224 188 169 0 49 0 [pid=19869] ppid=19867 vsize=9264 CPUtime=11.93 /proc/19869/stat : 19869 (clasp-1.0) R 19867 19691 19608 0 -1 4194304 1979 0 0 0 1193 0 0 0 25 0 1 0 15810249 9486336 1941 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617501 0 0 4096 0 0 0 0 17 1 0 0 /proc/19869/statm: 2316 1941 249 81 0 1690 0 Current children cumulated CPU time (s) 1781.64 Current children cumulated vsize (KiB) 28628 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 0.99 0.97 0.98 2/73 19959 /proc/meminfo: memFree=1666912/2055920 swapFree=4192036/4192956 [pid=19691] ppid=19689 vsize=14012 CPUtime=1769.71 /proc/19691/stat : 19691 (pbclasp) S 19689 19691 19608 0 -1 4194304 4294 123750 0 0 118 3 176744 106 18 0 1 0 15633214 14348288 850 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 258947989396 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/19691/statm: 3503 850 343 3 0 603 0 [pid=19867] ppid=19691 vsize=5352 CPUtime=0 /proc/19867/stat : 19867 (sh) S 19691 19691 19608 0 -1 4194304 287 121 0 0 0 0 0 0 15 0 1 0 15810249 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/19867/statm: 1338 224 188 169 0 49 0 [pid=19869] ppid=19867 vsize=12420 CPUtime=30.3 /proc/19869/stat : 19869 (clasp-1.0) R 19867 19691 19608 0 -1 4194304 2751 0 0 0 3029 1 0 0 25 0 1 0 15810249 12718080 2713 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134789711 0 0 4096 0 0 0 0 17 1 0 0 /proc/19869/statm: 3105 2713 249 81 0 2479 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 31784 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 0.99 0.97 0.98 2/73 19959 /proc/meminfo: memFree=1666912/2055920 swapFree=4192036/4192956 [pid=19691] ppid=19689 vsize=14012 CPUtime=1800.06 /proc/19691/stat : 19691 (pbclasp) S 19689 19691 19608 0 -1 4194304 4475 128311 0 0 118 4 179774 110 17 0 1 0 15633214 14348288 850 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 258947989396 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/19691/statm: 3503 850 343 3 0 603 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 14012 [startup+1802.2 s] /proc/loadavg: 0.99 0.97 0.98 2/74 19970 /proc/meminfo: memFree=1671760/2055920 swapFree=4192036/4192956 [pid=19691] ppid=19689 vsize=14012 CPUtime=1800.06 /proc/19691/stat : 19691 (pbclasp) S 19689 19691 19608 0 -1 4194304 4475 128311 0 0 118 4 179774 110 17 0 1 0 15633214 14348288 850 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 258947989396 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/19691/statm: 3503 850 343 3 0 603 0 [pid=19968] ppid=19691 vsize=5352 CPUtime=0 /proc/19968/stat : 19968 (sh) S 19691 19691 19608 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 15813289 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/19968/statm: 1338 224 188 169 0 49 0 [pid=19970] ppid=19968 vsize=7968 CPUtime=1.45 /proc/19970/stat : 19970 (clasp-1.0) R 19968 19691 19608 0 -1 4194304 1626 0 0 0 144 1 0 0 25 0 1 0 15813289 8159232 1588 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 5162619 0 0 4096 0 0 0 0 17 1 0 0 /proc/19970/statm: 1992 1588 249 81 0 1366 0 Current children cumulated CPU time (s) 1801.51 Current children cumulated vsize (KiB) 27332 [startup+1802.6 s] /proc/loadavg: 0.99 0.97 0.98 2/74 19970 /proc/meminfo: memFree=1671760/2055920 swapFree=4192036/4192956 [pid=19691] ppid=19689 vsize=14012 CPUtime=1800.06 /proc/19691/stat : 19691 (pbclasp) S 19689 19691 19608 0 -1 4194304 4475 128311 0 0 118 4 179774 110 17 0 1 0 15633214 14348288 850 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 258947989396 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/19691/statm: 3503 850 343 3 0 603 0 [pid=19968] ppid=19691 vsize=5352 CPUtime=0 /proc/19968/stat : 19968 (sh) S 19691 19691 19608 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 15813289 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/19968/statm: 1338 224 188 169 0 49 0 [pid=19970] ppid=19968 vsize=8100 CPUtime=1.85 /proc/19970/stat : 19970 (clasp-1.0) R 19968 19691 19608 0 -1 4194304 1654 0 0 0 184 1 0 0 25 0 1 0 15813289 8294400 1616 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134737633 0 0 4096 0 0 0 0 17 1 0 0 /proc/19970/statm: 2025 1616 249 81 0 1399 0 Current children cumulated CPU time (s) 1801.91 Current children cumulated vsize (KiB) 27464 [startup+1802.7 s] /proc/loadavg: 0.99 0.97 0.98 2/74 19970 /proc/meminfo: memFree=1671760/2055920 swapFree=4192036/4192956 [pid=19691] ppid=19689 vsize=14012 CPUtime=1800.06 /proc/19691/stat : 19691 (pbclasp) S 19689 19691 19608 0 -1 4194304 4475 128311 0 0 118 4 179774 110 17 0 1 0 15633214 14348288 850 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 258947989396 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/19691/statm: 3503 850 343 3 0 603 0 [pid=19968] ppid=19691 vsize=5352 CPUtime=0 /proc/19968/stat : 19968 (sh) S 19691 19691 19608 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 15813289 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/19968/statm: 1338 224 188 169 0 49 0 [pid=19970] ppid=19968 vsize=8100 CPUtime=1.95 /proc/19970/stat : 19970 (clasp-1.0) R 19968 19691 19608 0 -1 4194304 1654 0 0 0 194 1 0 0 25 0 1 0 15813289 8294400 1616 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0 /proc/19970/statm: 2025 1616 249 81 0 1399 0 Current children cumulated CPU time (s) 1802.01 Current children cumulated vsize (KiB) 27464 Child status: 0 Real time (s): 1802.73 CPU time (s): 1802.07 CPU user time (s): 1800.9 CPU system time (s): 1.16882 CPU usage (%): 99.9635 Max. virtual memory (cumulated for all children) (KiB): 47668 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.9 system time used= 1.16882 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 135256 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= 5056 involuntary context switches= 3179 runsolver used 2.15567 second user time and 4.31634 second system time The end
Begin job on node45 on Sun Apr 15 03:31:16 UTC 2007 IDJOB= 351620 IDBENCH= 1783 IDSOLVER= 167 FILE ID= node45/351620-1176607876 PBS_JOBID= 4557026 Free space on /tmp= 66564 MiB SOLVER NAME= PB-clasp 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-timtab2.opb COMMAND LINE= pbclasp instance-351620-1176607876.opb /tmp/evaluation/351620-1176607876/temp CONVERSION COMMAND LINE= runsolver -w ROOT/results/node45/convwatcher-351620-1176607876 -o ROOT/results/node45/conversion-351620-1176607876 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/351620-1176607876/instance-351620-1176607876.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node45/watcher-351620-1176607876 -o ROOT/results/node45/solver-351620-1176607876 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-351620-1176607876.opb /tmp/evaluation/351620-1176607876/temp META MD5SUM SOLVER= 1e5f480786d97be718f2223f2ffb5f36 MD5SUM BENCH= 1f089a89b25a106d39527c716bfdba75 RANDOM SEED= 521234110 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node45.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: 1683200 kB Buffers: 14700 kB Cached: 250332 kB SwapCached: 508 kB Active: 78476 kB Inactive: 201472 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1683200 kB SwapTotal: 4192956 kB SwapFree: 4192036 kB Dirty: 976 kB Writeback: 0 kB Mapped: 24248 kB Slab: 78920 kB Committed_AS: 98428 kB PageTables: 1396 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= 66563 MiB End job on node45 on Sun Apr 15 04:01:19 UTC 2007