Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBPASSolver 2010-06-13 | ? (TO) | 1800.06 | 1800.51 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_delay/normalized-fir03_area_delay.opb |
MD5SUM | 2b747b2caed6577698c928a521fdc3c2 |
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 | 10 |
Best CPU time to get the best result obtained on this benchmark | 1.17082 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 10 |
Optimality of the best value was proved | YES |
Number of variables | 3540 |
Total number of constraints | 9890 |
Number of constraints which are clauses | 9890 |
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 | 127 |
Number of terms in the objective function | 1681 |
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 | 1681 |
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 | 1681 |
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 |
7.39/7.45 c 3540 9890 0 0 0 0 0 0 7.39/7.45 o 15 7.39/7.45 c 1024 ~x12719+512 ~x12718+256 ~x12717+128 ~x12716+64 ~x12715+32 ~x12714+16 ~x12713+8 ~x12712+4 ~x12711+2 ~x12710+1 ~x12709+1 ~x3541+1 ~x3539+1 ~x3537+1 ~x3535+1 ~x3533+1 ~x3531+1 ~x3529+1 ~x3527+1 ~x3525+1 ~x3523+1 ~x3521+1 ~x3519+1 ~x3517+1 ~x3515+1 ~x3513+1 ~x3511+1 ~x3509+1 ~x3507+1 ~x3505+1 ~x3503+1 ~x3501+1 ~x3499+1 ~x3497+1 ~x3495+1 ~x3493+1 ~x3491+1 ~x3489+1 ~x3487+1 ~x3485+1 ~x3483+1 ~x3481+1 ~x3479+1 ~x3477+1 ~x3475+1 ~x3473+1 ~x3471+1 ~x3469+1 ~x3467+1 ~x3465+1 ~x3463+1 ~x3461+1 ~x3459+1 ~x3457+1 ~x3455+1 ~x3453+1 ~x3451+1 ~x3449+1 ~x3447+1 ~x3445+1 ~x3443+1 ~x3441+1 ~x3440+1 ~x3438+1 ~x3436+1 ~x3434+1 ~x3432+1 ~x3430+1 ~x3428+1 ~x3426+1 ~x3425+1 ~x3423+1 ~x3421+1 ~x3419+1 ~x3418+1 ~x3416+1 ~x3414+1 ~x3412+1 ~x3410+1 ~x3408+1 ~x3406+1 ~x3404+1 ~x3402+1 ~x3400+1 ~x3398+1 ~x3396+1 ~x3394+1 ~x3392+1 ~x3390+1 ~x3388+1 ~x3386+1 ~x3384+1 ~x3382+1 ~x3380+1 ~x3378+1 ~x3376+1 ~x3374+1 ~x3372+1 ~x3370+1 ~x3368+1 ~x3366+1 ~x3364+1 ~x3363+1 ~x3361+1 ~x3359+1 ~x3357+1 ~x3355+1 ~x3353+1 ~x3351+1 ~x3349+1 ~x3347+1 ~x3345+1 ~x3343+1 ~x3341+1 ~x3339+1 ~x3337+1 ~x3335+1 ~x3333+1 ~x3331+1 ~x3329+1 ~x3327+1 ~x3325+1 ~x3323+1 ~x3321+1 ~x3319+1 ~x3317+1 ~x3315+1 ~x3313+1 ~x3311+1 ~x3309+1 ~x3307+1 ~x3305+1 ~x3303+1 ~x3301+1 ~x3299+1 ~x3297+1 ~x3295+1 ~x3293+1 ~x3291+1 ~x3289+1 ~x3287+1 ~x3286+1 ~x3284+1 ~x3282+1 ~x3280+1 ~x3278+1 ~x3276+1 ~x3274+1 ~x3272+1 ~x3270+1 ~x3268+1 ~x3266+1 ~x3264+1 ~x3262+1 ~x3260+1 ~x3258+1 ~x3256+1 ~x3254+1 ~x3252+1 ~x3250+1 ~x3248+1 ~x3246+1 ~x3244+1 ~x3242+1 ~x3240+1 ~x3238+1 ~x3236+1 ~x3234+1 ~x3232+1 ~x3230+1 ~x3229+1 ~x3227+1 ~x3225+1 ~x3223+1 ~x3221+1 ~x3219+1 ~x3217+1 ~x3215+1 ~x3213+1 ~x3211+1 ~x3209+1 ~x3207+1 ~x3205+1 ~x3203+1 ~x3201+1 ~x3199+1 ~x3197+1 ~x3195+1 ~x3193+1 ~x3191+1 ~x3190+1 ~x3188+1 ~x3186+1 ~x3185+1 ~x3183+1 ~x3181+1 ~x3180+1 ~x3178+1 ~x3176+1 ~x3174+1 ~x3172+1 ~x3170+1 ~x3168+1 ~x3166+1 ~x3164+1 ~x3162+1 ~x3160+1 ~x3158+1 ~x3156+1 ~x3154+1 ~x3152+1 ~x3150+1 ~x3148+1 ~x3146+1 ~x3144+1 ~x3142+1 ~x3140+1 ~x3138+1 ~x3136+1 ~x3134+1 ~x3132+1 ~x3130+1 ~x3128+1 ~x3126+1 ~x3124+1 ~x3122+1 ~x3121+1 ~x3119+1 ~x3117+1 ~x3115+1 ~x3113+1 ~x3112+1 ~x3110+1 ~x3108+1 ~x3106+1 ~x3104+1 ~x3102+1 ~x3100+1 ~x3098+1 ~x3096+1 ~x3094+1 ~x3092+1 ~x3090+1 ~x3088+1 ~x3086+1 ~x3084+1 ~x3078+1 ~x3076+1 ~x3074+1 ~x3072+1 ~x3067+1 ~x3063+1 ~x3061+1 ~x3057+1 ~x3055+1 ~x3053+1 ~x3051+1 ~x3049+1 ~x3045+1 ~x3039+1 ~x3037+1 ~x3035+1 ~x3033+1 ~x3031+1 ~x3027+1 ~x3019+1 ~x3017+1 ~x3015+1 ~x3013+1 ~x3005+1 ~x3001+1 ~x2999+1 ~x2995+1 ~x2993+1 ~x2991+1 ~x2983+1 ~x2981+1 ~x2973+1 ~x2971+1 ~x2969+1 ~x2967+1 ~x2965+1 ~x2963+1 ~x2961+1 ~x2959+1 ~x2957+1 ~x2955+1 ~x2953+1 ~x2951+1 ~x2949+1 ~x2947+1 ~x2945+1 ~x2943+1 ~x2941+1 ~x2939+1 ~x2937+1 ~x2935+1 ~x2933+1 ~x2931+1 ~x2929+1 ~x2927+1 ~x2925+1 ~x2923+1 ~x2921+1 ~x2919+1 ~x2917+1 ~x2915+1 ~x2913+1 ~x2911+1 ~x2909+1 ~x2907+1 ~x2906+1 ~x2904+1 ~x2902+1 ~x2900+1 ~x2898+1 ~x2896+1 ~x2894+1 ~x2892+1 ~x2890+1 ~x2888+1 ~x2886+1 ~x2884+1 ~x2882+1 ~x2880+1 ~x2878+1 ~x2876+1 ~x2874+1 ~x2872+1 ~x2870+1 ~x2868+1 ~x2867+1 ~x2865+1 ~x2864+1 ~x2863+1 ~x2861+1 ~x2860+1 ~x2858+1 ~x2856+1 ~x2854+1 ~x2852+1 ~x2850+1 ~x2848+1 ~x2846+1 ~x2844+1 ~x2842+1 ~x2840+1 ~x2838+1 ~x2836+1 ~x2834+1 ~x2832+1 ~x2830+1 ~x2828+1 ~x2826+1 ~x2824+1 ~x2822+1 ~x2818+1 ~x2812+1 ~x2810+1 ~x2808+1 ~x2806+1 ~x2802+1 ~x2800+1 ~x2798+1 ~x2796+1 ~x2794+1 ~x2792+1 ~x2790+1 ~x2788+1 ~x2786+1 ~x2784+1 ~x2782+1 ~x2780+1 ~x2776+1 ~x2774+1 ~x2772+1 ~x2770+1 ~x2768+1 ~x2767+1 ~x2765+1 ~x2763+1 ~x2761+1 ~x2759+1 ~x2757+1 ~x2755+1 ~x2753+1 ~x2751+1 ~x2749+1 ~x2747+1 ~x2745+1 ~x2743+1 ~x2741+1 ~x2739+1 ~x2737+1 ~x2735+1 ~x2733+1 ~x2731+1 ~x2729+1 ~x2725+1 ~x2723+1 ~x2721+1 ~x2719+1 ~x2717+1 ~x2715+1 ~x2713+1 ~x2711+1 ~x2709+1 ~x2707+1 ~x2705+1 ~x2703+1 ~x2701+1 ~x2699+1 ~x2697+1 ~x2695+1 ~x2693+1 ~x2691+1 ~x2689+1 ~x2687+1 ~x2685+1 ~x2683+1 ~x2681+1 ~x2679+1 ~x2677+1 ~x2675+1 ~x2673+1 ~x2671+1 ~x2669+1 ~x2667+1 ~x2665+1 ~x2663+1 ~x2661+1 ~x2659+1 ~x2657+1 ~x2655+1 ~x2651+1 ~x2649+1 ~x2647+1 ~x2645+1 ~x2643+1 ~x2641+1 ~x2639+1 ~x2637+1 ~x2635+1 ~x2633+1 ~x2631+1 ~x2629+1 ~x2627+1 ~x2625+1 ~x2623+1 ~x2621+1 ~x2619+1 ~x2617+1 ~x2615+1 ~x2614+1 ~x2612+1 ~x2610+1 ~x2608+1 ~x2606+1 ~x2604+1 ~x2602+1 ~x2600+1 ~x2598+1 ~x2597+1 ~x2595+1 ~x2593+1 ~x2591+1 ~x2589+1 ~x2587+1 ~x2585+1 ~x2581+1 ~x2579+1 ~x2577+1 ~x2575+1 ~x2573+1 ~x2571+1 ~x2569+1 ~x2567+1 ~x2565+1 ~x2563+1 ~x2561+1 ~x2559+1 ~x2557+1 ~x2555+1 ~x2553+1 ~x2549+1 ~x2547+1 ~x2545+1 ~x2543+1 ~x2541+1 ~x2539+1 ~x2537+1 ~x2535+1 ~x2533+1 ~x2531+1 ~x2529+1 ~x2527+1 ~x2525+1 ~x2523+1 ~x2521+1 ~x2519+1 ~x2517+1 ~x2515+1 ~x2513+1 ~x2511+1 ~x2509+1 ~x2507+1 ~x2505+1 ~x2503+1 ~x2501+1 ~x2499+1 ~x2497+1 ~x2495+1 ~x2491+1 ~x2489+1 ~x2487+1 ~x2485+1 ~x2483+1 ~x2481+1 ~x2479+1 ~x2477+1 ~x2475+1 ~x2473+1 ~x2471+1 ~x2469+1 ~x2468+1 ~x2467+1 ~x2465+1 ~x2463+1 ~x2461+1 ~x2459+1 ~x2457+1 ~x2455+1 ~x2453+1 ~x2451+1 ~x2449+1 ~x2447+1 ~x2445+1 ~x2443+1 ~x2441+1 ~x2439+1 ~x2437+1 ~x2435+1 ~x2433+1 ~x2431+1 ~x2429+1 ~x2427+1 ~x2425+1 ~x2423+1 ~x2421+1 ~x2419+1 ~x2417+1 ~x2415+1 ~x2413+1 ~x2411+1 ~x2409+1 ~x2407+1 ~x2404+1 ~x2402+1 ~x2400+1 ~x2398+1 ~x2396+1 ~x2394+1 ~x2392+1 ~x2390+1 ~x2388+1 ~x2386+1 ~x2384+1 ~x2382+1 ~x2380+1 ~x2378+1 ~x2376+1 ~x2374+1 ~x2372+1 ~x2370+1 ~x2368+1 ~x2366+1 ~x2364+1 ~x2362+1 ~x2360+1 ~x2358+1 ~x2356+1 ~x2354+1 ~x2352+1 ~x2350+1 ~x2348+1 ~x2346+1 ~x2344+1 ~x2342+1 ~x2340+1 ~x2338+1 ~x2336+1 ~x2334+1 ~x2332+1 ~x2330+1 ~x2328+1 ~x2326+1 ~x2324+1 ~x2322+1 ~x2320+1 ~x2318+1 ~x2316+1 ~x2314+1 ~x2312+1 ~x2310+1 ~x2308+1 ~x2306+1 ~x2304+1 ~x2302+1 ~x2300+1 ~x2298+1 ~x2296+1 ~x2294+1 ~x2292+1 ~x2290+1 ~x2288+1 ~x2286+1 ~x2284+1 ~x2282+1 ~x2280+1 ~x2278+1 ~x2276+1 ~x2274+1 ~x2272+1 ~x2270+1 ~x2268+1 ~x2266+1 ~x2264+1 ~x2262+1 ~x2260+1 ~x2258+1 ~x2256+1 ~x2254+1 ~x2252+1 ~x2250+1 ~x2248+1 ~x2246+1 ~x2244+1 ~x2242+1 ~x2240+1 ~x2238+1 ~x2236+1 ~x2234+1 ~x2232+1 ~x2230+1 ~x2228+1 ~x2226+1 ~x2224+1 ~x2222+1 ~x2220+1 ~x2218+1 ~x2216+1 ~x2214+1 ~x2212+1 ~x2210+1 ~x2208+1 ~x2206+1 ~x2204+1 ~x2202+1 ~x2198+1 ~x2196+1 ~x2194+1 ~x2192+1 ~x2190+1 ~x2188+1 ~x2186+1 ~x2184+1 ~x2182+1 ~x2180+1 ~x2178+1 ~x2176+1 ~x2174+1 ~x2172+1 ~x2170+1 ~x2168+1 ~x2166+1 ~x2164+1 ~x2162+1 ~x2160+1 ~x2158+1 ~x2156+1 ~x2154+1 ~x2152+1 ~x2150+1 ~x2148+1 ~x2146+1 ~x2144+1 ~x2142+1 ~x2140+1 ~x2138+1 ~x2136+1 ~x2134+1 ~x2132+1 ~x2130+1 ~x2128+1 ~x2126+1 ~x2124+1 ~x2122+1 ~x2120+1 ~x2118+1 ~x2116+1 ~x2114+1 ~x2112+1 ~x2110+1 ~x2108+1 ~x2106+1 ~x2104+1 ~x2102+1 ~x2100+1 ~x2098+1 ~x2096+1 ~x2094+1 ~x2092+1 ~x2090+1 ~x2088+1 ~x2086+1 ~x2084+1 ~x2082+1 ~x2080+1 ~x2078+1 ~x2076+1 ~x2074+1 ~x2072+1 ~x2070+1 ~x2068+1 ~x2066+1 ~x2064+1 ~x2062+1 ~x2060+1 ~x2058+1 ~x2056+1 ~x2054+1 ~x2052+1 ~x2050+1 ~x2048+1 ~x2046+1 ~x2044+1 ~x2042+1 ~x2040+1 ~x2038+1 ~x2036+1 ~x2034+1 ~x2032+1 ~x2030+1 ~x2028+1 ~x2026+1 ~x2024+1 ~x2022+1 ~x2020+1 ~x2018+1 ~x2014+1 ~x2012+1 ~x2010+1 ~x2008+1 ~x2006+1 ~x2004+1 ~x2002+1 ~x2000+1 ~x1998+1 ~x1996+1 ~x1994+1 ~x1992+1 ~x1990+1 ~x1988+1 ~x1986+1 ~x1984+1 ~x1982+1 ~x1980+1 ~x1978+1 ~x1976+1 ~x1974+1 ~x1972+1 ~x1970+1 ~x1968+1 ~x1966+1 ~x1964+1 ~x1962+1 ~x1960+1 ~x1958+1 ~x1956+1 ~x1954+1 ~x1952+1 ~x1950+1 ~x1948+1 ~x1946+1 ~x1944+1 ~x1942+1 ~x1940+1 ~x1938+1 ~x1936+1 ~x1932+1 ~x1930+1 ~x1928+1 ~x1926+1 ~x1924+1 ~x1922+1 ~x1920+1 ~x1918+1 ~x1917+1 ~x1915+1 ~x1913+1 ~x1911+1 ~x1909+1 ~x1907+1 ~x1905+1 ~x1903+1 ~x1901+1 ~x1899+1 ~x1897+1 ~x1895+1 ~x1893+1 ~x1891+1 ~x1889+1 ~x1887+1 ~x1885+1 ~x1883+1 ~x1881+1 ~x1879+1 ~x1877+1 ~x1875+1 ~x1873+1 ~x1871+1 ~x1869+1 ~x1867+1 ~x1865+1 ~x1863+1 ~x1861+1 ~x1859+1 ~x1857+1 ~x1855+1 ~x1853+1 ~x1852+1 ~x1850+1 ~x1848+1 ~x1846+1 ~x1844+1 ~x1842+1 ~x1840+1 ~x1838+1 ~x1836+1 ~x1834+1 ~x1832+1 ~x1830+1 ~x1828+1 ~x1826+1 ~x1824+1 ~x1822+1 ~x1820+1 ~x1818+1 ~x1816+1 ~x1814+1 ~x1812+1 ~x1810+1 ~x1808+1 ~x1806+1 ~x1804+1 ~x1802+1 ~x1800+1 ~x1798+1 ~x1796+1 ~x1794+1 ~x1792+1 ~x1790+1 ~x1788+1 ~x1786+1 ~x1784+1 ~x1782+1 ~x1780+1 ~x1778+1 ~x1776+1 ~x1774+1 ~x1772+1 ~x1770+1 ~x1768+1 ~x1766+1 ~x1764+1 ~x1762+1 ~x1760+1 ~x1758+1 ~x1756+1 ~x1754+1 ~x1752+1 ~x1750+1 ~x1748+1 ~x1746+1 ~x1744+1 ~x1742+1 ~x1740+1 ~x1738+1 ~x1736+1 ~x1734+1 ~x1732+1 ~x1730+1 ~x1728+1 ~x1726+1 ~x1724+1 ~x1722+1 ~x1721+1 ~x1719+1 ~x1717+1 ~x1715+1 ~x1713+1 ~x1711+1 ~x1709+1 ~x1707+1 ~x1705+1 ~x1703+1 ~x1701+1 ~x1699+1 ~x1697+1 ~x1695+1 ~x1693+1 ~x1691+1 ~x1689+1 ~x1687+1 ~x1685+1 ~x1683+1 ~x1681+1 ~x1679+1 ~x1677+1 ~x1675+1 ~x1673+1 ~x1671+1 ~x1669+1 ~x1667+1 ~x1665+1 ~x1663+1 ~x1661+1 ~x1659+1 ~x1657+1 ~x1655+1 ~x1653+1 ~x1651+1 ~x1649+1 ~x1647+1 ~x1645+1 ~x1643+1 ~x1641+1 ~x1639+1 ~x1637+1 ~x1635+1 ~x1633+1 ~x1631+1 ~x1629+1 ~x1627+1 ~x1625+1 ~x1623+1 ~x1621+1 ~x1619+1 ~x1617+1 ~x1615+1 ~x1613+1 ~x1611+1 ~x1609+1 ~x1607+1 ~x1605+1 ~x1603+1 ~x1601+1 ~x1599+1 ~x1597+1 ~x1595+1 ~x1593+1 ~x1592+1 ~x1590+1 ~x1588+1 ~x1586+1 ~x1584+1 ~x1582+1 ~x1580+1 ~x1578+1 ~x1576+1 ~x1574+1 ~x1572+1 ~x1570+1 ~x1568+1 ~x1566+1 ~x1564+1 ~x1562+1 ~x1560+1 ~x1558+1 ~x1556+1 ~x1554+1 ~x1552+1 ~x1550+1 ~x1548+1 ~x1546+1 ~x1544+1 ~x1542+1 ~x1540+1 ~x1538+1 ~x1536+1 ~x1534+1 ~x1532+1 ~x1530+1 ~x1528+1 ~x1526+1 ~x1524+1 ~x1522+1 ~x1520+1 ~x1518+1 ~x1516+1 ~x1514+1 ~x1512+1 ~x1510+1 ~x1508+1 ~x1506+1 ~x1504+1 ~x1502+1 ~x1500+1 ~x1498+1 ~x1496+1 ~x1494+1 ~x1492+1 ~x1490+1 ~x1488+1 ~x1486+1 ~x1484+1 ~x1482+1 ~x1480+1 ~x1478+1 ~x1476+1 ~x1474+1 ~x1472+1 ~x1470+1 ~x1468+1 ~x1466+1 ~x1464+1 ~x1462+1 ~x1460+1 ~x1458+1 ~x1456+1 ~x1454+1 ~x1452+1 ~x1450+1 ~x1448+1 ~x1446+1 ~x1444+1 ~x1442+1 ~x1440+1 ~x1438+1 ~x1436+1 ~x1434+1 ~x1432+1 ~x1430+1 ~x1428+1 ~x1426+1 ~x1424+1 ~x1422+1 ~x1421+1 ~x1419+1 ~x1417+1 ~x1415+1 ~x1413+1 ~x1411+1 ~x1409+1 ~x1407+1 ~x1405+1 ~x1403+1 ~x1401+1 ~x1399+1 ~x1397+1 ~x1395+1 ~x1393+1 ~x1391+1 ~x1389+1 ~x1387+1 ~x1385+1 ~x1383+1 ~x1381+1 ~x1379+1 ~x1377+1 ~x1375+1 ~x1373+1 ~x1371+1 ~x1369+1 ~x1367+1 ~x1365+1 ~x1363+1 ~x1361+1 ~x1359+1 ~x1357+1 ~x1355+1 ~x1353+1 ~x1351+1 ~x1349+1 ~x1347+1 ~x1345+1 ~x1343+1 ~x1341+1 ~x1339+1 ~x1337+1 ~x1335+1 ~x1333+1 ~x1331+1 ~x1329+1 ~x1327+1 ~x1325+1 ~x1323+1 ~x1321+1 ~x1319+1 ~x1317+1 ~x1315+1 ~x1313+1 ~x1311+1 ~x1309+1 ~x1307+1 ~x1305+1 ~x1303+1 ~x1301+1 ~x1299+1 ~x1297+1 ~x1295+1 ~x1293+1 ~x1291+1 ~x1289+1 ~x1287+1 ~x1285+1 ~x1283+1 ~x1281+1 ~x1279+1 ~x1277+1 ~x1275+1 ~x1273+1 ~x1271+1 ~x1269+1 ~x1267+1 ~x1265+1 ~x1263+1 ~x1261+1 ~x1259+1 ~x1257+1 ~x1255+1 ~x1253+1 ~x1251+1 ~x1249+1 ~x1247+1 ~x1245+1 ~x1243+1 ~x1241+1 ~x1239+1 ~x1237+1 ~x1235+1 ~x1233+1 ~x1231+1 ~x1229+1 ~x1227+1 ~x1225+1 ~x1223+1 ~x1221+1 ~x1219+1 ~x1217+1 ~x1215+1 ~x1213+1 ~x1211+1 ~x1209+1 ~x1207+1 ~x1205+1 ~x1203+1 ~x1201+1 ~x1199+1 ~x1197+1 ~x1195+1 ~x1193+1 ~x1191+1 ~x1189+1 ~x1187+1 ~x1185+1 ~x1183+1 ~x1181+1 ~x1179+1 ~x1177+1 ~x1175+1 ~x1173+1 ~x1171+1 ~x1169+1 ~x1167+1 ~x1165+1 ~x1163+1 ~x1161+1 ~x1159+1 ~x1157+1 ~x1155+1 ~x1153+1 ~x1151+1 ~x1149+1 ~x1147+1 ~x1145+1 ~x1143+1 ~x1141+1 ~x1139+1 ~x1137+1 ~x1135+1 ~x1133+1 ~x1131+1 ~x1129+1 ~x1127+1 ~x1125+1 ~x1123+1 ~x1121+1 ~x1119+1 ~x1117+1 ~x1115+1 ~x1113+1 ~x1111+1 ~x1109+1 ~x1107+1 ~x1105+1 ~x1103+1 ~x1101+1 ~x1099+1 ~x1097+1 ~x1095+1 ~x1093+1 ~x1091+1 ~x1089+1 ~x1087+1 ~x1085+1 ~x1083+1 ~x1081+1 ~x1079+1 ~x1077+1 ~x1075+1 ~x1073+1 ~x1071+1 ~x1069+1 ~x1067+1 ~x1065+1 ~x1063+1 ~x1061+1 ~x1059+1 ~x1057+1 ~x1055+1 ~x1053+1 ~x1051+1 ~x1049+1 ~x1047+1 ~x1045+1 ~x1043+1 ~x1041+1 ~x1039+1 ~x1037+1 ~x1035+1 ~x1033+1 ~x1031+1 ~x1029+1 ~x1027+1 ~x1025+1 ~x1023+1 ~x1021+1 ~x1019+1 ~x1017+1 ~x1015+1 ~x1013+1 ~x1011+1 ~x1009+1 ~x1007+1 ~x1005+1 ~x1003+1 ~x1001+1 ~x999+1 ~x997+1 ~x995+1 ~x993+1 ~x991+1 ~x989+1 ~x987+1 ~x985+1 ~x983+1 ~x981+1 ~x979+1 ~x977+1 ~x975+1 ~x973+1 ~x971+1 ~x969+1 ~x967+1 ~x965+1 ~x963+1 ~x961+1 ~x959+1 ~x957+1 ~x955+1 ~x953+1 ~x951+1 ~x949+1 ~x947+1 ~x945+1 ~x943+1 ~x941+1 ~x939+1 ~x937+1 ~x935+1 ~x933+1 ~x931+1 ~x929+1 ~x927+1 ~x925+1 ~x923+1 ~x921+1 ~x919+1 ~x917+1 ~x915+1 ~x913+1 ~x911+1 ~x909+1 ~x907+1 ~x905+1 ~x903+1 ~x901+1 ~x899+1 ~x897+1 ~x895+1 ~x893+1 ~x891+1 ~x889+1 ~x887+1 ~x885+1 ~x883+1 ~x881+1 ~x879+1 ~x877+1 ~x875+1 ~x873+1 ~x871+1 ~x869+1 ~x867+1 ~x865+1 ~x863+1 ~x861+1 ~x859+1 ~x857+1 ~x855+1 ~x853+1 ~x851+1 ~x849+1 ~x847+1 ~x845+1 ~x843+1 ~x841+1 ~x839+1 ~x837+1 ~x835+1 ~x833+1 ~x831+1 ~x829+1 ~x827+1 ~x825+1 ~x823+1 ~x821+1 ~x819+1 ~x817+1 ~x815+1 ~x813+1 ~x811+1 ~x809+1 ~x807+1 ~x805+1 ~x803+1 ~x801+1 ~x799+1 ~x797+1 ~x795+1 ~x793+1 ~x791+1 ~x789+1 ~x787+1 ~x785+1 ~x783+1 ~x781+1 ~x779+1 ~x777+1 ~x775+1 ~x773+1 ~x771+1 ~x769+1 ~x767+1 ~x765+1 ~x763+1 ~x761+1 ~x759+1 ~x757+1 ~x755+1 ~x753+1 ~x751+1 ~x749+1 ~x747+1 ~x745+1 ~x743+1 ~x741+1 ~x739+1 ~x737+1 ~x735+1 ~x733+1 ~x731+1 ~x729+1 ~x727+1 ~x725+1 ~x721+1 ~x719+1 ~x717+1 ~x715+1 ~x713+1 ~x711+1 ~x709+1 ~x707+1 ~x705+1 ~x703+1 ~x701+1 ~x699+1 ~x697+1 ~x695+1 ~x693+1 ~x691+1 ~x689+1 ~x687+1 ~x685+1 ~x683+1 ~x681+1 ~x679+1 ~x677+1 ~x675+1 ~x673+1 ~x671+1 ~x669+1 ~x667+1 ~x665+1 ~x663+1 ~x661+1 ~x659+1 ~x657+1 ~x655+1 ~x653+1 ~x651+1 ~x649+1 ~x647+1 ~x645+1 ~x643+1 ~x641+1 ~x639+1 ~x637+1 ~x635+1 ~x633+1 ~x631+1 ~x629+1 ~x627+1 ~x625+1 ~x623+1 ~x621+1 ~x619+1 ~x617+1 ~x615+1 ~x613+1 ~x611+1 ~x609+1 ~x607+1 ~x605+1 ~x603+1 ~x601+1 ~x599+1 ~x597+1 ~x595+1 ~x593+1 ~x591+1 ~x589+1 ~x587+1 ~x585+1 ~x583+1 ~x581+1 ~x579+1 ~x577+1 ~x575+1 ~x573+1 ~x571+1 ~x569+1 ~x567+1 ~x565+1 ~x563+1 ~x561+1 ~x559+1 ~x557+1 ~x555+1 ~x553+1 ~x551+1 ~x549+1 ~x545+1 ~x543+1 ~x541+1 ~x539+1 ~x537+1 ~x535+1 ~x533+1 ~x531+1 ~x529+1 ~x527+1 ~x525+1 ~x523+1 ~x521+1 ~x519+1 ~x517+1 ~x515+1 ~x513+1 ~x511+1 ~x509+1 ~x507+1 ~x505+1 ~x503+1 ~x501+1 ~x499+1 ~x497+1 ~x495+1 ~x493+1 ~x491+1 ~x489+1 ~x487+1 ~x485+1 ~x483+1 ~x481+1 ~x479+1 ~x477+1 ~x475+1 ~x473+1 ~x471+1 ~x469+1 ~x467+1 ~x465+1 ~x463+1 ~x459+1 ~x457+1 ~x455+1 ~x453+1 ~x451+1 ~x449+1 ~x447+
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2673655-1276805535/watcher-2673655-1276805535 -o /tmp/evaluation-result-2673655-1276805535/solver-2673655-1276805535 -C 1800 -W 2000 -M 1800 run HOME/instance-2673655-1276805535.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): 2000 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 Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/106 26547 /proc/meminfo: memFree=1869296/2059040 swapFree=4139880/4192956 [pid=26547] ppid=26545 vsize=8700 CPUtime=0 /proc/26547/stat : 26547 (run) S 26545 26547 25866 0 -1 4202496 388 134 0 0 0 0 0 0 21 0 1 0 21848010 8908800 250 1992294400 4194304 4922060 140735998816192 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/26547/statm: 2175 250 211 178 0 68 0 [startup+0.035919 s] /proc/loadavg: 0.92 0.98 0.99 3/106 26547 /proc/meminfo: memFree=1869296/2059040 swapFree=4139880/4192956 [pid=26547] ppid=26545 vsize=8700 CPUtime=0 /proc/26547/stat : 26547 (run) S 26545 26547 25866 0 -1 4202496 388 134 0 0 0 0 0 0 21 0 1 0 21848010 8908800 250 1992294400 4194304 4922060 140735998816192 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/26547/statm: 2175 250 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.100925 s] /proc/loadavg: 0.92 0.98 0.99 3/106 26547 /proc/meminfo: memFree=1869296/2059040 swapFree=4139880/4192956 [pid=26547] ppid=26545 vsize=8700 CPUtime=0 /proc/26547/stat : 26547 (run) S 26545 26547 25866 0 -1 4202496 388 134 0 0 0 0 0 0 21 0 1 0 21848010 8908800 250 1992294400 4194304 4922060 140735998816192 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/26547/statm: 2175 250 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.300941 s] /proc/loadavg: 0.92 0.98 0.99 3/106 26547 /proc/meminfo: memFree=1869296/2059040 swapFree=4139880/4192956 [pid=26547] ppid=26545 vsize=8700 CPUtime=0 /proc/26547/stat : 26547 (run) S 26545 26547 25866 0 -1 4202496 388 134 0 0 0 0 0 0 21 0 1 0 21848010 8908800 250 1992294400 4194304 4922060 140735998816192 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/26547/statm: 2175 250 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.700976 s] /proc/loadavg: 0.92 0.98 0.99 3/106 26547 /proc/meminfo: memFree=1869296/2059040 swapFree=4139880/4192956 [pid=26547] ppid=26545 vsize=8700 CPUtime=0 /proc/26547/stat : 26547 (run) S 26545 26547 25866 0 -1 4202496 388 134 0 0 0 0 0 0 21 0 1 0 21848010 8908800 250 1992294400 4194304 4922060 140735998816192 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/26547/statm: 2175 250 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50105 s] /proc/loadavg: 0.92 0.98 0.99 2/108 26550 /proc/meminfo: memFree=1663316/2059040 swapFree=4139880/4192956 [pid=26547] ppid=26545 vsize=8700 CPUtime=0 /proc/26547/stat : 26547 (run) S 26545 26547 25866 0 -1 4202496 388 134 0 0 0 0 0 0 21 0 1 0 21848010 8908800 250 1992294400 4194304 4922060 140735998816192 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/26547/statm: 2175 250 211 178 0 68 0 [pid=26549] ppid=26547 vsize=304068 CPUtime=1.48 /proc/26549/stat : 26549 (PBPASSolver) R 26547 26547 25866 0 -1 4202496 75499 0 0 0 62 86 0 0 25 0 1 0 21848010 311365632 75405 1992294400 134512640 134902295 4290122816 18446744073709551615 134520305 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/26549/statm: 76017 75411 256 96 0 75229 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 312768 [startup+3.10018 s] /proc/loadavg: 0.92 0.98 0.99 2/108 26550 /proc/meminfo: memFree=1459708/2059040 swapFree=4139880/4192956 [pid=26547] ppid=26545 vsize=8700 CPUtime=0 /proc/26547/stat : 26547 (run) S 26545 26547 25866 0 -1 4202496 388 134 0 0 0 0 0 0 21 0 1 0 21848010 8908800 250 1992294400 4194304 4922060 140735998816192 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/26547/statm: 2175 250 211 178 0 68 0 [pid=26549] ppid=26547 vsize=488200 CPUtime=3.08 /proc/26549/stat : 26549 (PBPASSolver) R 26547 26547 25866 0 -1 4202496 125208 0 0 0 172 136 0 0 25 0 1 0 21848010 499916800 121386 1992294400 134512640 134902295 4290122816 18446744073709551615 134519449 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/26549/statm: 122050 121386 260 96 0 121262 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 496900 [startup+6.30146 s] /proc/loadavg: 0.93 0.98 0.99 2/108 26550 /proc/meminfo: memFree=1328020/2059040 swapFree=4139880/4192956 [pid=26547] ppid=26545 vsize=8700 CPUtime=0 /proc/26547/stat : 26547 (run) S 26545 26547 25866 0 -1 4202496 388 134 0 0 0 0 0 0 21 0 1 0 21848010 8908800 250 1992294400 4194304 4922060 140735998816192 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/26547/statm: 2175 250 211 178 0 68 0 [pid=26549] ppid=26547 vsize=559428 CPUtime=6.28 /proc/26549/stat : 26549 (PBPASSolver) R 26547 26547 25866 0 -1 4202496 142980 0 0 0 486 142 0 0 25 0 1 0 21848010 572854272 139158 1992294400 134512640 134902295 4290122816 18446744073709551615 134520305 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/26549/statm: 139857 139158 261 96 0 139069 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 568128 [startup+12.701 s] /proc/loadavg: 0.93 0.98 0.99 2/108 26552 /proc/meminfo: memFree=1256968/2059040 swapFree=4139880/4192956 [pid=26547] ppid=26545 vsize=8700 CPUtime=0 /proc/26547/stat : 26547 (run) S 26545 26547 25866 0 -1 4202496 388 134 0 0 0 0 0 0 21 0 1 0 21848010 8908800 250 1992294400 4194304 4922060 140735998816192 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/26547/statm: 2175 250 211 178 0 68 0 [pid=26549] ppid=26547 vsize=616472 CPUtime=12.68 /proc/26549/stat : 26549 (PBPASSolver) R 26547 26547 25866 0 -1 4202496 164544 0 0 0 1119 149 0 0 25 0 1 0 21848010 631267328 152835 1992294400 134512640 134902295 4290122816 18446744073709551615 4160035104 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/26549/statm: 154118 152835 269 96 0 153330 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 625172 [startup+25.5011 s] /proc/loadavg: 0.95 0.98 0.99 2/108 26552 /proc/meminfo: memFree=1252876/2059040 swapFree=4139880/4192956 [pid=26547] ppid=26545 vsize=8700 CPUtime=0 /proc/26547/stat : 26547 (run) S 26545 26547 25866 0 -1 4202496 388 134 0 0 0 0 0 0 21 0 1 0 21848010 8908800 250 1992294400 4194304 4922060 140735998816192 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/26547/statm: 2175 250 211 178 0 68 0 [pid=26549] ppid=26547 vsize=620772 CPUtime=25.48 /proc/26549/stat : 26549 (PBPASSolver) R 26547 26547 25866 0 -1 4202496 165629 0 0 0 2398 150 0 0 25 0 1 0 21848010 635670528 153920 1992294400 134512640 134902295 4290122816 18446744073709551615 4160023689 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/26549/statm: 155193 153920 269 96 0 154405 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 629472 [startup+51.1013 s] /proc/loadavg: 0.96 0.98 0.99 2/108 26552 /proc/meminfo: memFree=1243080/2059040 swapFree=4139880/4192956 [pid=26547] ppid=26545 vsize=8700 CPUtime=0 /proc/26547/stat : 26547 (run) S 26545 26547 25866 0 -1 4202496 388 134 0 0 0 0 0 0 21 0 1 0 21848010 8908800 250 1992294400 4194304 4922060 140735998816192 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/26547/statm: 2175 250 211 178 0 68 0 [pid=26549] ppid=26547 vsize=631124 CPUtime=51.08 /proc/26549/stat : 26549 (PBPASSolver) R 26547 26547 25866 0 -1 4202496 168173 0 0 0 4956 152 0 0 25 0 1 0 21848010 646270976 156464 1992294400 134512640 134902295 4290122816 18446744073709551615 4160026176 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/26549/statm: 157781 156464 269 96 0 156993 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 639824 [startup+102.309 s] /proc/loadavg: 1.04 1.00 1.00 2/108 26554 /proc/meminfo: memFree=1199928/2059040 swapFree=4139880/4192956 [pid=26547] ppid=26545 vsize=8700 CPUtime=0 /proc/26547/stat : 26547 (run) S 26545 26547 25866 0 -1 4202496 388 134 0 0 0 0 0 0 21 0 1 0 21848010 8908800 250 1992294400 4194304 4922060 140735998816192 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/26547/statm: 2175 250 211 178 0 68 0 [pid=26549] ppid=26547 vsize=673488 CPUtime=102.26 /proc/26549/stat : 26549 (PBPASSolver) R 26547 26547 25866 0 -1 4202496 178788 0 0 0 10070 156 0 0 25 0 1 0 21848010 689651712 167079 1992294400 134512640 134902295 4290122816 18446744073709551615 4160004743 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/26549/statm: 168372 167079 269 96 0 167584 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 682188 [startup+162.301 s] /proc/loadavg: 1.01 1.00 1.00 2/108 26556 /proc/meminfo: memFree=1151444/2059040 swapFree=4139880/4192956 [pid=26547] ppid=26545 vsize=8700 CPUtime=0 /proc/26547/stat : 26547 (run) S 26545 26547 25866 0 -1 4202496 388 134 0 0 0 0 0 0 21 0 1 0 21848010 8908800 250 1992294400 4194304 4922060 140735998816192 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/26547/statm: 2175 250 211 178 0 68 0 [pid=26549] ppid=26547 vsize=721976 CPUtime=162.25 /proc/26549/stat : 26549 (PBPASSolver) R 26547 26547 25866 0 -1 4202496 190880 0 0 0 16062 163 0 0 25 0 1 0 21848010 739303424 179171 1992294400 134512640 134902295 4290122816 18446744073709551615 4160025533 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/26549/statm: 180494 179171 269 96 0 179706 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 730676 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 26556 /proc/meminfo: memFree=1135324/2059040 swapFree=4139880/4192956 [pid=26547] ppid=26545 vsize=8700 CPUtime=0 /proc/26547/stat : 26547 (run) S 26545 26547 25866 0 -1 4202496 388 134 0 0 0 0 0 0 21 0 1 0 21848010 8908800 250 1992294400 4194304 4922060 140735998816192 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/26547/statm: 2175 250 211 178 0 68 0 [pid=26549] ppid=26547 vsize=737896 CPUtime=222.23 /proc/26549/stat : 26549 (PBPASSolver) R 26547 26547 25866 0 -1 4202496 194853 0 0 0 22058 165 0 0 25 0 1 0 21848010 755605504 183144 1992294400 134512640 134902295 4290122816 18446744073709551615 4160017205 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/26549/statm: 184474 183144 269 96 0 183686 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 746596 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 26558 /proc/meminfo: memFree=1119080/2059040 swapFree=4139880/4192956 [pid=26547] ppid=26545 vsize=8700 CPUtime=0 /proc/26547/stat : 26547 (run) S 26545 26547 25866 0 -1 4202496 388 134 0 0 0 0 0 0 21 0 1 0 21848010 8908800 250 1992294400 4194304 4922060 140735998816192 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/26547/statm: 2175 250 211 178 0 68 0 [pid=26549] ppid=26547 vsize=754580 CPUtime=282.22 /proc/26549/stat : 26549 (PBPASSolver) R 26547 26547 25866 0 -1 4202496 198994 0 0 0 28052 170 0 0 25 0 1 0 21848010 772689920 187285 1992294400 134512640 134902295 4290122816 18446744073709551615 4160004825 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/26549/statm: 188645 187285 269 96 0 187857 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 763280 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 26560 /proc/meminfo: memFree=1112384/2059040 swapFree=4139880/4192956 [pid=26547] ppid=26545 vsize=8700 CPUtime=0 /proc/26547/stat : 26547 (run) S 26545 26547 25866 0 -1 4202496 388 134 0 0 0 0 0 0 21 0 1 0 21848010 8908800 250 1992294400 4194304 4922060 140735998816192 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/26547/statm: 2175 250 211 178 0 68 0 [pid=26549] ppid=26547 vsize=760880 CPUtime=342.2 /proc/26549/stat : 26549 (PBPASSolver) R 26547 26547 25866 0 -1 4202496 200592 0 0 0 34049 171 0 0 25 0 1 0 21848010 779141120 188883 1992294400 134512640 134902295 4290122816 18446744073709551615 4160035301 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/26549/statm: 190220 188883 269 96 0 189432 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 769580 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/108 26562 /proc/meminfo: memFree=1090064/2059040 swapFree=4139880/4192956 [pid=26547] ppid=26545 vsize=8700 CPUtime=0 /proc/26547/stat : 26547 (run) S 26545 26547 25866 0 -1 4202496 388 134 0 0 0 0 0 0 21 0 1 0 21848010 8908800 250 1992294400 4194304 4922060 140735998816192 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/26547/statm: 2175 250 211 178 0 68 0 [pid=26549] ppid=26547 vsize=783612 CPUtime=402.19 /proc/26549/stat : 26549 (PBPASSolver) R 26547 26547 25866 0 -1 4202496 206198 0 0 0 40045 174 0 0 25 0 1 0 21848010 802418688 194489 1992294400 134512640 134902295 4290122816 18446744073709551615 4160023248 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/26549/statm: 195903 194489 269 96 0 195115 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 792312 [startup+462.302 s] ################ # More data... # ################ /proc/26549/statm: 232665 231178 269 96 0 231877 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 939360 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 26587 /proc/meminfo: memFree=933204/2059040 swapFree=4139880/4192956 [pid=26547] ppid=26545 vsize=8700 CPUtime=0 /proc/26547/stat : 26547 (run) S 26545 26547 25866 0 -1 4202496 388 134 0 0 0 0 0 0 21 0 1 0 21848010 8908800 250 1992294400 4194304 4922060 140735998816192 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/26547/statm: 2175 250 211 178 0 68 0 [pid=26549] ppid=26547 vsize=939388 CPUtime=1241.99 /proc/26549/stat : 26549 (PBPASSolver) R 26547 26547 25866 0 -1 4202496 245082 0 0 0 123995 204 0 0 25 0 1 0 21848010 961933312 233373 1992294400 134512640 134902295 4290122816 18446744073709551615 4160017006 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/26549/statm: 234847 233373 269 96 0 234059 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 948088 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 26589 /proc/meminfo: memFree=915224/2059040 swapFree=4139880/4192956 [pid=26547] ppid=26545 vsize=8700 CPUtime=0 /proc/26547/stat : 26547 (run) S 26545 26547 25866 0 -1 4202496 388 134 0 0 0 0 0 0 21 0 1 0 21848010 8908800 250 1992294400 4194304 4922060 140735998816192 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/26547/statm: 2175 250 211 178 0 68 0 [pid=26549] ppid=26547 vsize=958460 CPUtime=1301.98 /proc/26549/stat : 26549 (PBPASSolver) R 26547 26547 25866 0 -1 4202496 249526 0 0 0 129990 208 0 0 25 0 1 0 21848010 981463040 237817 1992294400 134512640 134902295 4290122816 18446744073709551615 4160037520 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/26549/statm: 239615 237817 269 96 0 238827 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 967160 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 26591 /proc/meminfo: memFree=905304/2059040 swapFree=4139880/4192956 [pid=26547] ppid=26545 vsize=8700 CPUtime=0 /proc/26547/stat : 26547 (run) S 26545 26547 25866 0 -1 4202496 388 134 0 0 0 0 0 0 21 0 1 0 21848010 8908800 250 1992294400 4194304 4922060 140735998816192 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/26547/statm: 2175 250 211 178 0 68 0 [pid=26549] ppid=26547 vsize=968424 CPUtime=1361.96 /proc/26549/stat : 26549 (PBPASSolver) R 26547 26547 25866 0 -1 4202496 252029 0 0 0 135986 210 0 0 25 0 1 0 21848010 991666176 240320 1992294400 134512640 134902295 4290122816 18446744073709551615 4160035116 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/26549/statm: 242106 240320 269 96 0 241318 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 977124 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/108 26591 /proc/meminfo: memFree=893524/2059040 swapFree=4139880/4192956 [pid=26547] ppid=26545 vsize=8700 CPUtime=0 /proc/26547/stat : 26547 (run) S 26545 26547 25866 0 -1 4202496 388 134 0 0 0 0 0 0 21 0 1 0 21848010 8908800 250 1992294400 4194304 4922060 140735998816192 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/26547/statm: 2175 250 211 178 0 68 0 [pid=26549] ppid=26547 vsize=980200 CPUtime=1421.96 /proc/26549/stat : 26549 (PBPASSolver) R 26547 26547 25866 0 -1 4202496 254978 0 0 0 141982 214 0 0 25 0 1 0 21848010 1003724800 243269 1992294400 134512640 134902295 4290122816 18446744073709551615 4160034942 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/26549/statm: 245050 243269 269 96 0 244262 0 Current children cumulated CPU time (s) 1421.96 Current children cumulated vsize (KiB) 988900 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 26593 /proc/meminfo: memFree=879016/2059040 swapFree=4139880/4192956 [pid=26547] ppid=26545 vsize=8700 CPUtime=0 /proc/26547/stat : 26547 (run) S 26545 26547 25866 0 -1 4202496 388 134 0 0 0 0 0 0 21 0 1 0 21848010 8908800 250 1992294400 4194304 4922060 140735998816192 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/26547/statm: 2175 250 211 178 0 68 0 [pid=26549] ppid=26547 vsize=994632 CPUtime=1481.93 /proc/26549/stat : 26549 (PBPASSolver) R 26547 26547 25866 0 -1 4202496 258616 0 0 0 147976 217 0 0 25 0 1 0 21848010 1018503168 246907 1992294400 134512640 134902295 4290122816 18446744073709551615 4160004789 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/26549/statm: 248658 246907 269 96 0 247870 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 1003332 [startup+1542.3 s] /proc/loadavg: 1.05 1.01 1.00 2/108 26595 /proc/meminfo: memFree=865996/2059040 swapFree=4139880/4192956 [pid=26547] ppid=26545 vsize=8700 CPUtime=0 /proc/26547/stat : 26547 (run) S 26545 26547 25866 0 -1 4202496 388 134 0 0 0 0 0 0 21 0 1 0 21848010 8908800 250 1992294400 4194304 4922060 140735998816192 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/26547/statm: 2175 250 211 178 0 68 0 [pid=26549] ppid=26547 vsize=1007420 CPUtime=1541.92 /proc/26549/stat : 26549 (PBPASSolver) R 26547 26547 25866 0 -1 4202496 261817 0 0 0 153971 221 0 0 25 0 1 0 21848010 1031598080 250108 1992294400 134512640 134902295 4290122816 18446744073709551615 4160035104 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/26549/statm: 251855 250108 269 96 0 251067 0 Current children cumulated CPU time (s) 1541.92 Current children cumulated vsize (KiB) 1016120 [startup+1602.3 s] /proc/loadavg: 1.02 1.01 1.00 2/108 26597 /proc/meminfo: memFree=856200/2059040 swapFree=4139880/4192956 [pid=26547] ppid=26545 vsize=8700 CPUtime=0 /proc/26547/stat : 26547 (run) S 26545 26547 25866 0 -1 4202496 388 134 0 0 0 0 0 0 21 0 1 0 21848010 8908800 250 1992294400 4194304 4922060 140735998816192 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/26547/statm: 2175 250 211 178 0 68 0 [pid=26549] ppid=26547 vsize=1017344 CPUtime=1601.91 /proc/26549/stat : 26549 (PBPASSolver) R 26547 26547 25866 0 -1 4202496 264292 0 0 0 159967 224 0 0 25 0 1 0 21848010 1041760256 252583 1992294400 134512640 134902295 4290122816 18446744073709551615 4160034942 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/26549/statm: 254336 252583 269 96 0 253548 0 Current children cumulated CPU time (s) 1601.91 Current children cumulated vsize (KiB) 1026044 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 26599 /proc/meminfo: memFree=851364/2059040 swapFree=4139880/4192956 [pid=26547] ppid=26545 vsize=8700 CPUtime=0 /proc/26547/stat : 26547 (run) S 26545 26547 25866 0 -1 4202496 388 134 0 0 0 0 0 0 21 0 1 0 21848010 8908800 250 1992294400 4194304 4922060 140735998816192 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/26547/statm: 2175 250 211 178 0 68 0 [pid=26549] ppid=26547 vsize=1022136 CPUtime=1661.89 /proc/26549/stat : 26549 (PBPASSolver) R 26547 26547 25866 0 -1 4202496 265482 0 0 0 165964 225 0 0 25 0 1 0 21848010 1046667264 253773 1992294400 134512640 134902295 4290122816 18446744073709551615 4160035128 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/26549/statm: 255534 253773 269 96 0 254746 0 Current children cumulated CPU time (s) 1661.89 Current children cumulated vsize (KiB) 1030836 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 26599 /proc/meminfo: memFree=845288/2059040 swapFree=4139880/4192956 [pid=26547] ppid=26545 vsize=8700 CPUtime=0 /proc/26547/stat : 26547 (run) S 26545 26547 25866 0 -1 4202496 388 134 0 0 0 0 0 0 21 0 1 0 21848010 8908800 250 1992294400 4194304 4922060 140735998816192 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/26547/statm: 2175 250 211 178 0 68 0 [pid=26549] ppid=26547 vsize=1028224 CPUtime=1721.87 /proc/26549/stat : 26549 (PBPASSolver) R 26547 26547 25866 0 -1 4202496 267017 0 0 0 171961 226 0 0 25 0 1 0 21848010 1052901376 255308 1992294400 134512640 134902295 4290122816 18446744073709551615 4160023152 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/26549/statm: 257056 255308 269 96 0 256268 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 1036924 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 26601 /proc/meminfo: memFree=838220/2059040 swapFree=4139880/4192956 [pid=26547] ppid=26545 vsize=8700 CPUtime=0 /proc/26547/stat : 26547 (run) S 26545 26547 25866 0 -1 4202496 388 134 0 0 0 0 0 0 21 0 1 0 21848010 8908800 250 1992294400 4194304 4922060 140735998816192 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/26547/statm: 2175 250 211 178 0 68 0 [pid=26549] ppid=26547 vsize=1035116 CPUtime=1781.86 /proc/26549/stat : 26549 (PBPASSolver) R 26547 26547 25866 0 -1 4202496 268735 0 0 0 177959 227 0 0 25 0 1 0 21848010 1059958784 257026 1992294400 134512640 134902295 4290122816 18446744073709551615 4160024054 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/26549/statm: 258779 257026 269 96 0 257991 0 Current children cumulated CPU time (s) 1781.86 Current children cumulated vsize (KiB) 1043816 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/108 26601 /proc/meminfo: memFree=832640/2059040 swapFree=4139880/4192956 [pid=26547] ppid=26545 vsize=8700 CPUtime=0 /proc/26547/stat : 26547 (run) S 26545 26547 25866 0 -1 4202496 388 134 0 0 0 0 0 0 21 0 1 0 21848010 8908800 250 1992294400 4194304 4922060 140735998816192 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/26547/statm: 2175 250 211 178 0 68 0 [pid=26549] ppid=26547 vsize=1040640 CPUtime=1800.06 /proc/26549/stat : 26549 (PBPASSolver) R 26547 26547 25866 0 -1 4202496 270116 0 0 0 179778 228 0 0 25 0 1 0 21848010 1065615360 258407 1992294400 134512640 134902295 4290122816 18446744073709551615 4160035152 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/26549/statm: 260160 258407 269 96 0 259372 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1049340 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/108 26601 /proc/meminfo: memFree=832640/2059040 swapFree=4139880/4192956 [pid=26547] ppid=26545 vsize=8700 CPUtime=0 /proc/26547/stat : 26547 (run) S 26545 26547 25866 0 -1 4202496 388 134 0 0 0 0 0 0 21 0 1 0 21848010 8908800 250 1992294400 4194304 4922060 140735998816192 18446744073709551615 215210368133 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/26547/statm: 2175 250 211 178 0 68 0 [pid=26549] ppid=26547 vsize=1040640 CPUtime=1800.06 /proc/26549/stat : 26549 (PBPASSolver) R 26547 26547 25866 0 -1 4202496 270116 0 0 0 179778 228 0 0 25 0 1 0 21848010 1065615360 258407 1992294400 134512640 134902295 4290122816 18446744073709551615 4160035152 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/26549/statm: 260160 258407 269 96 0 259372 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1049340 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 26547 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=0 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=2999 # CPU time returned by wait4() is 0.002999 # while last known CPU time is 1800.06 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1800.51 CPU time (s): 1800.06 CPU user time (s): 1797.78 CPU system time (s): 2.28 CPU usage (%): 99.9748 Max. virtual memory (cumulated for all children) (KiB): 1049340 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0 system time used= 0.002999 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 522 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= 4 involuntary context switches= 4 runsolver used 2.81057 second user time and 8.66768 second system time The end
Begin job on node031 at 2010-06-17 22:12:15 IDJOB=2673655 IDBENCH=25004 IDSOLVER=1174 FILE ID=node031/2673655-1276805535 PBS_JOBID= 11176670 Free space on /tmp= 62576 MiB SOLVER NAME= PBPASSolver 2010-06-13 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_delay/normalized-fir03_area_delay.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2673655-1276805535/watcher-2673655-1276805535 -o /tmp/evaluation-result-2673655-1276805535/solver-2673655-1276805535 -C 1800 -W 2000 -M 1800 run HOME/instance-2673655-1276805535.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 2b747b2caed6577698c928a521fdc3c2 RANDOM SEED=263097817 node031.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.219 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.43 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.219 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.53 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1869816 kB Buffers: 13936 kB Cached: 85088 kB SwapCached: 5568 kB Active: 50440 kB Inactive: 60904 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1869816 kB SwapTotal: 4192956 kB SwapFree: 4139880 kB Dirty: 1048 kB Writeback: 4 kB AnonPages: 10896 kB Mapped: 12980 kB Slab: 55676 kB PageTables: 4128 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181968 kB VmallocTotal: 34359738367 kB VmallocUsed: 264964 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62576 MiB End job on node031 at 2010-06-17 22:42:18