Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | SAT | -442 | 1782.75 | 1784.26 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-harp2.opb |
MD5SUM | bae2de9f4879fca72b44ba1c72e8b4a3 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -7980 |
Best CPU time to get the best result obtained on this benchmark | 1800.09 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -7952 |
Optimality of the best value was proved | NO |
Number of variables | 2993 |
Total number of constraints | 112 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 73 |
Number of constraints which are nor clauses,nor cardinality constraints | 39 |
Minimum length of a constraint | 41 |
Maximum length of a constraint | 73 |
Number of terms in the objective function | 2993 |
Biggest coefficient in the objective function | 2020 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 525822 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 96167 |
Number of bits of the biggest number in a constraint | 17 |
Biggest sum of numbers in a constraint | 525822 |
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 |
0.00/0.00 c Pueblo version 1.4 (September 2005) 0.00/0.00 c Developed @ University of Michigan, Ann Arbor, MI 0.00/0.00 c by Hossein Sheini 0.00/0.04 c starting to Solve 0.00/0.04 c #variables read: 2993 - #constraints read: 186 0.00/0.04 o 509433 0.00/0.04 o 509393 0.00/0.06 o 509368 0.00/0.07 o 509367 0.00/0.07 o 509357 0.29/0.38 o 509354 0.29/0.39 o 509351 0.49/0.60 o 509348 0.59/0.60 o 509347 0.79/0.82 o 509346 0.99/1.04 o 509345 1.39/1.42 o 509344 1.59/1.61 o 509343 2.49/2.53 o 509342 8.08/8.17 o 509341 8.08/8.18 o 509340 21.87/21.96 o 509339 22.77/22.86 o 509337 58.15/58.25 o 509335 96.22/96.32 o 509334 140.59/140.72 o 509333 140.79/140.91 o 509331 162.46/162.67 o 509330 162.46/162.68 o 509329 162.46/162.69 o 509326 237.50/237.73 o 509324 243.70/243.96 o 509323 250.49/250.71 o 509321 250.99/251.21 o 509318 271.38/271.69 o 509317 314.94/315.22 o 509311 315.04/315.30 o 509290 318.24/318.56 o 509288 318.24/318.59 o 509286 320.74/321.09 o 509283 322.04/322.34 o 509281 382.28/382.64 o 509278 382.28/382.66 o 509274 382.40/382.78 o 509271 382.59/382.95 o 509269 398.18/398.57 o 509266 415.28/415.69 o 509264 415.48/415.81 o 509259 415.68/416.09 o 509255 459.54/459.96 o 509252 485.51/485.91 o 509249 485.51/485.93 o 509248 485.51/485.96 o 509245 495.51/495.94 o 509244 496.11/496.54 o 509241 516.88/517.39 o 509240 547.28/547.72 o 509239 723.25/723.82 o 509238 740.13/740.72 o 509237 1077.75/1078.62 o 509218 1077.75/1078.65 o 509216 1077.75/1078.66 o 509190 1077.85/1078.74 o 509175 1077.85/1078.75 o 509173 1078.05/1078.97 o 509156 1078.05/1078.98 o 509154 1078.16/1079.08 o 509150 1078.26/1079.12 o 509124 1078.26/1079.13 o 509107 1078.26/1079.14 o 509088 1078.35/1079.26 o 509084 1078.45/1079.34 o 509080 1078.55/1079.42 o 509077 1078.55/1079.47 o 509075 1088.65/1089.60 o 509073 1088.75/1089.61 o 509072 1088.75/1089.62 o 509068 1296.25/1297.44 o 509067 1665.37/1666.89 o 509066 1665.47/1666.90 o 509065 1695.86/1697.31 o 509064 1782.68/1784.25 c total time : 1783 s 1782.68/1784.25 s SATISFIABLE 1782.68/1784.25 v -x1 -x1112 -x2217 -x2328 -x2439 -x2550 -x2661 -x2772 -x2883 -x2 -x113 -x224 -x335 -x446 -x557 -x668 -x779 -x890 -x1001 -x1113 1782.68/1784.25 v -x1224 -x1335 -x1446 -x1557 -x1668 -x1779 -x1890 -x2001 -x2112 -x2218 -x2229 -x2240 -x2251 -x2262 -x2273 -x2284 -x2295 1782.68/1784.25 v -x2306 -x2317 -x2329 x2340 -x2351 -x2362 -x2373 -x2384 -x2395 -x2406 -x2417 -x2428 -x2440 -x2451 -x2462 -x2473 -x2484 1782.68/1784.25 v -x2495 -x2506 -x2517 -x2528 -x2539 -x2551 -x2562 -x2573 -x2584 -x2595 -x2606 -x2617 -x2628 -x2639 -x2650 -x2662 -x2673 1782.68/1784.25 v -x2684 -x2695 -x2706 -x2717 -x2728 -x2739 -x2750 -x2761 -x2773 -x2784 x2795 -x2806 -x2817 -x2828 -x2839 -x2850 -x2861 1782.68/1784.25 v -x2872 -x2884 -x2895 -x2906 -x2917 -x2928 -x2939 -x2950 -x2961 -x2972 -x2983 -x3 -x14 -x25 -x36 -x47 -x58 -x69 -x80 -x91 1782.68/1784.25 v -x102 -x114 -x125 -x136 -x147 -x158 -x169 -x180 -x191 -x202 -x213 -x225 -x236 -x247 x258 -x269 -x280 -x291 -x302 -x313 -x324 1782.68/1784.25 v -x336 -x347 -x358 -x369 -x380 -x391 -x402 -x413 -x424 -x435 -x447 -x458 -x469 -x480 -x491 -x502 -x513 -x524 -x535 -x546 -x558 1782.68/1784.25 v -x569 -x580 -x591 -x602 -x613 -x624 -x635 -x646 -x657 -x669 -x680 -x691 -x702 x713 -x724 -x735 -x746 -x757 -x768 -x780 -x791 1782.68/1784.25 v -x802 -x813 -x824 -x835 -x846 -x857 -x868 -x879 -x891 -x902 -x913 -x924 -x935 -x946 -x957 -x968 -x979 -x990 -x1002 -x1013 1782.68/1784.25 v -x1024 -x1035 -x1046 -x1057 -x1068 -x1079 -x1090 -x1101 -x1114 -x1125 -x1136 -x1147 -x1158 x1169 -x1180 -x1191 -x1202 1782.68/1784.25 v -x1213 -x1225 -x1236 -x1247 -x1258 -x1269 -x1280 -x1291 -x1302 -x1313 -x1324 -x1336 -x1347 -x1358 -x1369 -x1380 -x1391 1782.68/1784.25 v -x1402 -x1413 -x1424 -x1435 -x1447 -x1458 -x1469 -x1480 -x1491 -x1502 -x1513 -x1524 -x1535 -x1546 -x1558 -x1569 -x1580 1782.68/1784.25 v -x1591 -x1602 -x1613 x1624 -x1635 -x1646 -x1657 -x1669 -x1680 -x1691 -x1702 -x1713 -x1724 -x1735 -x1746 -x1757 -x1768 1782.68/1784.25 v -x1780 -x1791 -x1802 -x1813 -x1824 -x1835 -x1846 -x1857 -x1868 -x1879 -x1891 -x1902 -x1913 -x1924 -x1935 -x1946 -x1957 1782.68/1784.25 v -x1968 -x1979 -x1990 -x2002 -x2013 -x2024 -x2035 -x2046 -x2057 -x2068 x2079 -x2090 -x2101 -x2113 -x2124 -x2135 -x2146 1782.68/1784.25 v -x2157 -x2168 -x2179 -x2190 -x2201 -x2212 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2230 1782.68/1784.25 v -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 1782.68/1784.25 v x2249 -x2250 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2263 -x2264 -x2265 -x2266 -x2267 1782.68/1784.25 v -x2268 -x2269 -x2270 -x2271 -x2272 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2285 -x2286 1782.68/1784.25 v -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 x2294 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 1782.68/1784.25 v -x2305 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 1782.68/1784.25 v -x2324 -x2325 -x2326 -x2327 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 x2341 -x2342 -x2343 1782.68/1784.25 v -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 1782.68/1784.25 v -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 1782.68/1784.25 v -x2381 -x2382 -x2383 -x2385 x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2396 -x2397 -x2398 -x2399 1782.68/1784.25 v -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2418 1782.68/1784.25 v -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2429 -x2430 x2431 -x2432 -x2433 -x2434 -x2435 -x2436 1782.68/1784.25 v -x2437 -x2438 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2452 -x2453 -x2454 -x2455 -x2456 1782.68/1784.25 v -x2457 -x2458 -x2459 -x2460 -x2461 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2474 -x2475 1782.68/1784.25 v -x2476 x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 1782.68/1784.25 v -x2494 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 1782.68/1784.25 v -x2513 -x2514 -x2515 -x2516 -x2518 -x2519 -x2520 -x2521 x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2529 -x2530 -x2531 1782.68/1784.25 v -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 1782.68/1784.25 v -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2563 -x2564 -x2565 -x2566 -x2567 x2568 -x2569 1782.68/1784.25 v -x2570 -x2571 -x2572 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2585 -x2586 -x2587 -x2588 1782.68/1784.25 v -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2607 1782.68/1784.25 v -x2608 -x2609 -x2610 -x2611 -x2612 x2613 -x2614 -x2615 -x2616 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 1782.68/1784.25 v -x2626 -x2627 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2640 -x2641 -x2642 -x2643 -x2644 1782.68/1784.25 v -x2645 -x2646 -x2647 -x2648 -x2649 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 x2658 -x2659 -x2660 -x2663 -x2664 1782.68/1784.25 v -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 1782.68/1784.25 v -x2683 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 1782.68/1784.25 v -x2702 -x2703 x2704 -x2705 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2718 -x2719 -x2720 1782.68/1784.25 v -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 1782.68/1784.25 v -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 x2749 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 1782.68/1784.25 v -x2758 -x2759 -x2760 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2774 -x2775 -x2776 -x2777 1782.68/1784.25 v -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 x2796 1782.68/1784.25 v -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 1782.68/1784.25 v -x2815 -x2816 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2829 -x2830 -x2831 -x2832 -x2833 1782.68/1784.25 v -x2834 -x2835 -x2836 -x2837 -x2838 -x2840 x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2851 -x2852 1782.68/1784.25 v -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 1782.68/1784.25 v -x2871 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 x2882 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 1782.68/1784.25 v -x2891 -x2892 -x2893 -x2894 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2907 -x2908 -x2909 1782.68/1784.25 v -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 1782.68/1784.25 v -x2929 -x2930 -x2931 x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 1782.68/1784.25 v -x2947 -x2948 -x2949 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2962 -x2963 -x2964 -x2965 1782.68/1784.25 v -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2973 -x2974 -x2975 -x2976 x2977 -x2978 x2979 -x2980 -x2981 -x2982 -x2984 -x2985 1782.68/1784.25 v -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x15 -x16 -x17 -x18 -x19 1782.68/1784.25 v -x20 -x21 -x22 -x23 -x24 -x26 -x27 -x28 -x29 -x30 -x31 x32 -x33 -x34 -x35 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x48 1782.68/1784.25 v -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x70 -x71 -x72 -x73 -x74 -x75 -x76 1782.68/1784.25 v -x77 -x78 -x79 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x103 -x104 1782.68/1784.25 v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x115 -x116 -x117 -x118 -x119 -x120 -x121 x122 -x123 -x124 -x126 -x127 -x128 1782.68/1784.25 v -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x148 -x149 -x150 -x151 1782.68/1784.25 v -x152 -x153 -x154 -x155 -x156 -x157 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 x167 -x168 -x170 -x171 -x172 -x173 -x174 1782.68/1784.25 v -x175 -x176 -x177 -x178 -x179 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x192 -x193 -x194 -x195 -x196 -x197 1782.68/1784.25 v -x198 -x199 -x200 -x201 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 x212 -x214 -x215 -x216 -x217 -x218 -x219 -x220 1782.68/1784.25 v -x221 -x222 -x223 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 1782.68/1784.25 v -x245 -x246 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 1782.68/1784.25 v -x268 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 1782.68/1784.25 v -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 x301 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x314 1782.68/1784.25 v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x337 -x338 1782.68/1784.25 v -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x348 -x349 x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x359 -x360 -x361 1782.68/1784.25 v -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x381 -x382 -x383 -x384 1782.68/1784.25 v -x385 -x386 -x387 -x388 -x389 -x390 -x392 -x393 -x394 x395 -x396 -x397 -x398 -x399 -x400 -x401 -x403 -x404 -x405 -x406 -x407 1782.68/1784.25 v -x408 -x409 -x410 -x411 -x412 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x425 -x426 -x427 -x428 -x429 -x430 1782.68/1784.25 v -x431 -x432 -x433 -x434 -x436 -x437 -x438 -x439 x440 -x441 -x442 -x443 -x444 -x445 -x448 -x449 -x450 -x451 -x452 -x453 -x454 1782.68/1784.25 v -x455 -x456 -x457 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 1782.68/1784.25 v -x478 -x479 -x481 -x482 -x483 -x484 -x485 x486 -x487 -x488 -x489 -x490 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 1782.68/1784.25 v -x501 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 1782.68/1784.25 v -x525 -x526 -x527 -x528 -x529 -x530 x531 -x532 -x533 -x534 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x547 1782.68/1784.25 v -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x570 -x571 1782.68/1784.25 v -x572 -x573 x574 -x575 -x576 -x577 -x578 -x579 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x592 -x593 -x594 1782.68/1784.25 v -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x614 -x615 -x616 -x617 1782.68/1784.25 v -x618 -x619 -x620 -x621 x622 -x623 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x636 -x637 -x638 -x639 -x640 1782.68/1784.25 v -x641 -x642 -x643 -x644 -x645 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x658 -x659 -x660 -x661 -x662 -x663 1782.68/1784.25 v -x664 -x665 -x666 x667 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x681 -x682 -x683 -x684 -x685 -x686 -x687 1782.68/1784.25 v -x688 -x689 -x690 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 1782.68/1784.25 v -x711 -x712 x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 1782.68/1784.25 v -x734 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 1782.68/1784.25 v -x758 x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x781 1782.68/1784.25 v -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x803 -x804 1782.68/1784.25 v x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x825 -x826 -x827 1782.68/1784.25 v -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x847 -x848 x849 -x850 1782.68/1784.25 v -x851 -x852 -x853 -x854 -x855 -x856 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x869 -x870 -x871 -x872 -x873 1782.68/1784.25 v -x874 -x875 -x876 -x877 -x878 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x892 -x893 -x894 -x895 x896 -x897 1782.68/1784.25 v -x898 -x899 -x900 -x901 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x914 -x915 -x916 -x917 -x918 -x919 -x920 1782.68/1784.25 v -x921 -x922 -x923 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x936 -x937 -x938 -x939 -x940 x941 -x942 -x943 1782.68/1784.25 v -x944 -x945 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 1782.68/1784.25 v -x967 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x980 -x981 -x982 -x983 -x984 -x985 x986 -x987 -x988 -x989 1782.68/1784.25 v -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 1782.68/1784.25 v -x1012 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 1782.68/1784.25 v -x1031 x1032 -x1033 -x1034 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1047 -x1048 -x1049 1782.68/1784.25 v -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 1782.68/1784.25 v -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 x1077 -x1078 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 1782.68/1784.25 v -x1087 -x1088 -x1089 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1102 -x1103 -x1104 -x1105 1782.68/1784.25 v -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 x1124 x1126 -x1127 1782.68/1784.25 v -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 1782.68/1784.25 v -x1146 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 1782.68/1784.25 v -x1165 -x1166 -x1167 -x1168 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1181 -x1182 -x1183 1782.68/1784.25 v -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 1782.68/1784.25 v -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 x1211 -x1212 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 1782.68/1784.25 v -x1221 -x1222 -x1223 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1237 -x1238 -x1239 -x1240 1782.68/1784.25 v -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1259 1782.68/1784.25 v -x1260 x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 1782.68/1784.25 v -x1278 -x1279 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1292 -x1293 -x1294 -x1295 -x1296 1782.68/1784.25 v -x1297 -x1298 -x1299 -x1300 -x1301 -x1303 -x1304 -x1305 x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1314 -x1315 1782.68/1784.25 v -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 1782.68/1784.25 v -x1334 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1348 -x1349 -x1350 -x1351 x1352 -x1353 1782.68/1784.25 v -x1354 -x1355 -x1356 -x1357 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1370 -x1371 -x1372 1782.68/1784.25 v -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 1782.68/1784.25 v -x1392 -x1393 -x1394 -x1395 -x1396 x1397 -x1398 -x1399 -x1400 -x1401 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 1782.68/1784.25 v -x1410 -x1411 -x1412 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1425 -x1426 -x1427 -x1428 1782.68/1784.25 v -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1436 -x1437 -x1438 -x1439 x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1448 1782.68/1784.25 v -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 1782.68/1784.25 v -x1467 -x1468 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1481 -x1482 -x1483 -x1484 -x1485 1782.68/1784.25 v -x1486 -x1487 x1488 -x1489 -x1490 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1503 -x1504 1782.68/1784.25 v -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 1782.68/1784.25 v -x1523 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 x1533 -x1534 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 1782.68/1784.25 v -x1542 -x1543 -x1544 -x1545 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1559 -x1560 -x1561 1782.68/1784.25 v -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 x1579 1782.68/1784.25 v -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 1782.68/1784.25 v -x1599 -x1600 -x1601 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1614 -x1615 -x1616 -x1617 1782.68/1784.25 v -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1636 1782.68/1784.25 v -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 1782.68/1784.25 v -x1655 -x1656 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1670 x1671 -x1672 -x1673 -x1674 1782.68/1784.25 v -x1675 -x1676 -x1677 -x1678 -x1679 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1692 -x1693 1782.68/1784.25 v -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 1782.68/1784.25 v -x1712 -x1714 -x1715 x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 1782.68/1784.25 v -x1731 -x1732 -x1733 -x1734 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1747 -x1748 -x1749 1782.68/1784.25 v -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1758 -x1759 x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 1782.68/1784.25 v -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 1782.68/1784.25 v -x1788 -x1789 -x1790 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1803 -x1804 -x1805 -x1806 1782.68/1784.25 v x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1825 1782.68/1784.25 v -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 1782.68/1784.25 v -x1844 -x1845 -x1847 -x1848 -x1849 -x1850 -x1851 x1852 -x1853 -x1854 -x1855 -x1856 -x1858 -x1859 -x1860 -x1861 -x1862 1782.68/1784.25 v -x1863 -x1864 -x1865 -x1866 -x1867 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1880 -x1881 1782.68/1784.25 v -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 x1898 -x1899 -x1900 1782.68/1784.25 v -x1901 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 1782.68/1784.25 v -x1920 -x1921 -x1922 -x1923 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1936 -x1937 -x1938 1782.68/1784.25 v -x1939 -x1940 -x1941 -x1942 x1943 -x1944 -x1945 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 1782.68/1784.25 v -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 1782.68/1784.25 v -x1976 -x1977 -x1978 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 x1988 -x1989 -x1991 -x1992 -x1993 -x1994 1782.68/1784.25 v -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2014 1782.68/1784.25 v -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 x2032 1782.68/1784.25 v -x2033 -x2034 -x2036 -x2037 -x2038 -x2039 x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2047 -x2048 -x2049 -x2050 -x2051 1782.68/1784.25 v -x2052 -x2053 -x2054 -x2055 -x2056 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2069 -x2070 1782.68/1784.25 v -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2080 -x2081 -x2082 -x2083 -x2084 x2085 -x2086 -x2087 -x2088 1782.68/1784.25 v -x2089 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 1782.68/1784.25 v -x2108 -x2109 -x2110 -x2111 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2125 -x2126 -x2127 1782.68/1784.25 v -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 1782.68/1784.25 v -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 1782.68/1784.25 v -x2165 -x2166 -x2167 x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2180 -x2181 -x2182 -x2183 1782.68/1784.25 v -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2202 1782.68/1784.25 v -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2213 x2214 -x2215 -x2216
OK -442
/tmp/evaluation/351566-1176604910/instance-351566-1176604910.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node76/watcher-351566-1176604910 -o ROOT/results/node76/solver-351566-1176604910 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/351566-1176604910/instance-351566-1176604910.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.02 4/69 31032 /proc/meminfo: memFree=1680360/2055888 swapFree=4087924/4096564 [pid=31032] ppid=31030 vsize=2556 CPUtime=0 /proc/31032/stat : 31032 (Pueblo) R 31030 31032 26978 0 -1 4194304 259 0 0 0 0 0 0 0 20 0 1 0 108405580 2617344 230 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 5284279 0 0 4096 0 0 0 0 17 0 0 0 /proc/31032/statm: 639 230 191 16 0 77 0 [startup+0.0894561 s] /proc/loadavg: 1.00 1.00 1.02 4/69 31032 /proc/meminfo: memFree=1680360/2055888 swapFree=4087924/4096564 [pid=31032] ppid=31030 vsize=3904 CPUtime=0.08 /proc/31032/stat : 31032 (Pueblo) R 31030 31032 26978 0 -1 4194304 608 0 0 0 8 0 0 0 20 0 1 0 108405580 3997696 579 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134528360 0 0 4096 0 0 0 0 17 0 0 0 /proc/31032/statm: 976 579 205 16 0 414 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 3904 [startup+0.101458 s] /proc/loadavg: 1.00 1.00 1.02 4/69 31032 /proc/meminfo: memFree=1680360/2055888 swapFree=4087924/4096564 [pid=31032] ppid=31030 vsize=4020 CPUtime=0.09 /proc/31032/stat : 31032 (Pueblo) R 31030 31032 26978 0 -1 4194304 623 0 0 0 9 0 0 0 20 0 1 0 108405580 4116480 594 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134528560 0 0 4096 0 0 0 0 17 0 0 0 /proc/31032/statm: 1005 595 205 16 0 443 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4020 [startup+0.301497 s] /proc/loadavg: 1.00 1.00 1.02 4/69 31032 /proc/meminfo: memFree=1680360/2055888 swapFree=4087924/4096564 [pid=31032] ppid=31030 vsize=5380 CPUtime=0.29 /proc/31032/stat : 31032 (Pueblo) R 31030 31032 26978 0 -1 4194304 964 0 0 0 29 0 0 0 22 0 1 0 108405580 5509120 935 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 5257157 0 0 4096 0 0 0 0 17 0 0 0 /proc/31032/statm: 1345 935 205 16 0 783 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5380 [startup+0.701574 s] /proc/loadavg: 1.00 1.00 1.02 4/69 31032 /proc/meminfo: memFree=1680360/2055888 swapFree=4087924/4096564 [pid=31032] ppid=31030 vsize=6620 CPUtime=0.69 /proc/31032/stat : 31032 (Pueblo) R 31030 31032 26978 0 -1 4194304 1293 0 0 0 69 0 0 0 25 0 1 0 108405580 6778880 1264 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134528357 0 0 4096 0 0 0 0 17 0 0 0 /proc/31032/statm: 1655 1264 205 16 0 1093 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6620 [startup+1.50173 s] /proc/loadavg: 1.00 1.00 1.02 2/70 31033 /proc/meminfo: memFree=1675360/2055888 swapFree=4087924/4096564 [pid=31032] ppid=31030 vsize=8420 CPUtime=1.49 /proc/31032/stat : 31032 (Pueblo) R 31030 31032 26978 0 -1 4194304 1743 0 0 0 149 0 0 0 25 0 1 0 108405580 8622080 1714 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527661 0 0 4096 0 0 0 0 17 0 0 0 /proc/31032/statm: 2105 1714 205 16 0 1543 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8420 [startup+3.10104 s] /proc/loadavg: 1.00 1.00 1.02 2/70 31033 /proc/meminfo: memFree=1673312/2055888 swapFree=4087924/4096564 [pid=31032] ppid=31030 vsize=10460 CPUtime=3.09 /proc/31032/stat : 31032 (Pueblo) R 31030 31032 26978 0 -1 4194304 2252 0 0 0 308 1 0 0 25 0 1 0 108405580 10711040 2223 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527839 0 0 4096 0 0 0 0 17 0 0 0 /proc/31032/statm: 2615 2223 205 16 0 2053 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10460 [startup+6.30166 s] /proc/loadavg: 1.00 1.00 1.02 2/70 31033 /proc/meminfo: memFree=1671264/2055888 swapFree=4087924/4096564 [pid=31032] ppid=31030 vsize=11592 CPUtime=6.27 /proc/31032/stat : 31032 (Pueblo) R 31030 31032 26978 0 -1 4194304 2515 0 0 0 626 1 0 0 25 0 1 0 108405580 11870208 2486 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134528249 0 0 4096 0 0 0 0 17 0 0 0 /proc/31032/statm: 2898 2486 205 16 0 2336 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 11592 [startup+12.7019 s] /proc/loadavg: 1.00 1.00 1.02 2/70 31033 /proc/meminfo: memFree=1665504/2055888 swapFree=4087924/4096564 [pid=31032] ppid=31030 vsize=17024 CPUtime=12.68 /proc/31032/stat : 31032 (Pueblo) R 31030 31032 26978 0 -1 4194304 3886 0 0 0 1266 2 0 0 25 0 1 0 108405580 17432576 3857 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134528360 0 0 4096 0 0 0 0 17 0 0 0 /proc/31032/statm: 4256 3857 205 16 0 3694 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 17024 [startup+25.5014 s] /proc/loadavg: 1.00 1.00 1.01 2/70 31033 /proc/meminfo: memFree=1664864/2055888 swapFree=4087924/4096564 [pid=31032] ppid=31030 vsize=17676 CPUtime=25.47 /proc/31032/stat : 31032 (Pueblo) R 31030 31032 26978 0 -1 4194304 4087 0 0 0 2544 3 0 0 25 0 1 0 108405580 18100224 4018 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134520116 0 0 4096 0 0 0 0 17 0 0 0 /proc/31032/statm: 4419 4018 205 16 0 3857 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 17676 [startup+51.1013 s] /proc/loadavg: 1.00 1.00 1.01 2/70 31033 /proc/meminfo: memFree=1664480/2055888 swapFree=4087924/4096564 [pid=31032] ppid=31030 vsize=18332 CPUtime=51.05 /proc/31032/stat : 31032 (Pueblo) R 31030 31032 26978 0 -1 4194304 4244 0 0 0 5101 4 0 0 25 0 1 0 108405580 18771968 4175 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 0 0 0 /proc/31032/statm: 4583 4175 205 16 0 4021 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 18332 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.01 2/70 31033 /proc/meminfo: memFree=1664160/2055888 swapFree=4087924/4096564 [pid=31032] ppid=31030 vsize=18264 CPUtime=102.22 /proc/31032/stat : 31032 (Pueblo) R 31030 31032 26978 0 -1 4194304 4283 0 0 0 10217 5 0 0 25 0 1 0 108405580 18702336 4173 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134520051 0 0 4096 0 0 0 0 17 0 0 0 /proc/31032/statm: 4566 4173 205 16 0 4004 0 Current children cumulated CPU time (s) 102.22 Current children cumulated vsize (KiB) 18264 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/70 31033 /proc/meminfo: memFree=1663328/2055888 swapFree=4087924/4096564 [pid=31032] ppid=31030 vsize=19320 CPUtime=162.17 /proc/31032/stat : 31032 (Pueblo) R 31030 31032 26978 0 -1 4194304 4560 0 0 0 16208 9 0 0 25 0 1 0 108405580 19783680 4419 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134520067 0 0 4096 0 0 0 0 17 0 0 0 /proc/31032/statm: 4830 4419 205 16 0 4268 0 Current children cumulated CPU time (s) 162.17 Current children cumulated vsize (KiB) 19320 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/70 31033 /proc/meminfo: memFree=1662304/2055888 swapFree=4087924/4096564 [pid=31032] ppid=31030 vsize=20204 CPUtime=222.13 /proc/31032/stat : 31032 (Pueblo) R 31030 31032 26978 0 -1 4194304 4816 0 0 0 22200 13 0 0 25 0 1 0 108405580 20688896 4662 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527833 0 0 4096 0 0 0 0 17 0 0 0 /proc/31032/statm: 5051 4662 205 16 0 4489 0 Current children cumulated CPU time (s) 222.13 Current children cumulated vsize (KiB) 20204 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/70 31033 /proc/meminfo: memFree=1662112/2055888 swapFree=4087924/4096564 [pid=31032] ppid=31030 vsize=20296 CPUtime=282.07 /proc/31032/stat : 31032 (Pueblo) R 31030 31032 26978 0 -1 4194304 4889 0 0 0 28192 15 0 0 25 0 1 0 108405580 20783104 4675 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527931 0 0 4096 0 0 0 0 17 0 0 0 /proc/31032/statm: 5074 4675 205 16 0 4512 0 Current children cumulated CPU time (s) 282.07 Current children cumulated vsize (KiB) 20296 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/70 31033 /proc/meminfo: memFree=1660320/2055888 swapFree=4087924/4096564 [pid=31032] ppid=31030 vsize=22184 CPUtime=342.02 /proc/31032/stat : 31032 (Pueblo) R 31030 31032 26978 0 -1 4194304 5435 0 0 0 34184 18 0 0 25 0 1 0 108405580 22716416 5141 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134520080 0 0 4096 0 0 0 0 17 0 0 0 /proc/31032/statm: 5546 5141 205 16 0 4984 0 Current children cumulated CPU time (s) 342.02 Current children cumulated vsize (KiB) 22184 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/70 31033 /proc/meminfo: memFree=1658720/2055888 swapFree=4087924/4096564 [pid=31032] ppid=31030 vsize=23748 CPUtime=401.98 /proc/31032/stat : 31032 (Pueblo) R 31030 31032 26978 0 -1 4194304 5859 0 0 0 40177 21 0 0 25 0 1 0 108405580 24317952 5548 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527978 0 0 4096 0 0 0 0 17 0 0 0 /proc/31032/statm: 5937 5548 205 16 0 5375 0 Current children cumulated CPU time (s) 401.98 Current children cumulated vsize (KiB) 23748 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/70 31033 /proc/meminfo: memFree=1658272/2055888 swapFree=4087924/4096564 [pid=31032] ppid=31030 vsize=24248 CPUtime=461.95 /proc/31032/stat : 31032 (Pueblo) R 31030 31032 26978 0 -1 4194304 5991 0 0 0 46172 23 0 0 25 0 1 0 108405580 24829952 5671 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527759 0 0 4096 0 0 0 0 17 0 0 0 /proc/31032/statm: 6062 5671 205 16 0 5500 0 Current children cumulated CPU time (s) 461.95 Current children cumulated vsize (KiB) 24248 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/70 31033 /proc/meminfo: memFree=1658272/2055888 swapFree=4087924/4096564 [pid=31032] ppid=31030 vsize=24384 CPUtime=521.89 /proc/31032/stat : 31032 (Pueblo) R 31030 31032 26978 0 -1 4194304 6114 0 0 0 52163 26 0 0 25 0 1 0 108405580 24969216 5689 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134528239 0 0 4096 0 0 0 0 17 0 0 0 /proc/31032/statm: 6096 5689 205 16 0 5534 0 Current children cumulated CPU time (s) 521.89 Current children cumulated vsize (KiB) 24384 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/70 31033 /proc/meminfo: memFree=1658208/2055888 swapFree=4087924/4096564 [pid=31032] ppid=31030 vsize=24180 CPUtime=581.84 /proc/31032/stat : 31032 (Pueblo) R 31030 31032 26978 0 -1 4194304 6114 0 0 0 58156 28 0 0 25 0 1 0 108405580 24760320 5656 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527664 0 0 4096 0 0 0 0 17 0 0 0 /proc/31032/statm: 6045 5656 205 16 0 5483 0 Current children cumulated CPU time (s) 581.84 Current children cumulated vsize (KiB) 24180 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/70 31033 /proc/meminfo: memFree=1658208/2055888 swapFree=4087924/4096564 [pid=31032] ppid=31030 vsize=24280 CPUtime=641.82 /proc/31032/stat : 31032 (Pueblo) R 31030 31032 26978 0 -1 4194304 6187 0 0 0 64151 31 0 0 25 0 1 0 108405580 24862720 5665 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 0 0 0 /proc/31032/statm: 6070 5665 205 16 0 5508 0 Current children cumulated CPU time (s) 641.82 Current children cumulated vsize (KiB) 24280 ################ # More data... # ################ /proc/meminfo: memFree=1656352/2055888 swapFree=4087924/4096564 [pid=31032] ppid=31030 vsize=26120 CPUtime=941.55 /proc/31032/stat : 31032 (Pueblo) R 31030 31032 26978 0 -1 4194304 7181 0 0 0 94106 49 0 0 25 0 1 0 108405580 26746880 6131 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134528061 0 0 4096 0 0 0 0 17 0 0 0 /proc/31032/statm: 6530 6131 205 16 0 5968 0 Current children cumulated CPU time (s) 941.55 Current children cumulated vsize (KiB) 26120 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/70 31033 /proc/meminfo: memFree=1656224/2055888 swapFree=4087924/4096564 [pid=31032] ppid=31030 vsize=26132 CPUtime=1001.51 /proc/31032/stat : 31032 (Pueblo) R 31030 31032 26978 0 -1 4194304 7328 0 0 0 100099 52 0 0 25 0 1 0 108405580 26759168 6143 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134528346 0 0 4096 0 0 0 0 17 0 0 0 /proc/31032/statm: 6533 6143 205 16 0 5971 0 Current children cumulated CPU time (s) 1001.51 Current children cumulated vsize (KiB) 26132 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/70 31033 /proc/meminfo: memFree=1656288/2055888 swapFree=4087924/4096564 [pid=31032] ppid=31030 vsize=26072 CPUtime=1061.47 /proc/31032/stat : 31032 (Pueblo) R 31030 31032 26978 0 -1 4194304 7395 0 0 0 106091 56 0 0 25 0 1 0 108405580 26697728 6127 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527656 0 0 4096 0 0 0 0 17 1 0 0 /proc/31032/statm: 6518 6127 205 16 0 5956 0 Current children cumulated CPU time (s) 1061.47 Current children cumulated vsize (KiB) 26072 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/70 31033 /proc/meminfo: memFree=1655840/2055888 swapFree=4087924/4096564 [pid=31032] ppid=31030 vsize=26664 CPUtime=1121.43 /proc/31032/stat : 31032 (Pueblo) R 31030 31032 26978 0 -1 4194304 7789 0 0 0 112084 59 0 0 25 0 1 0 108405580 27303936 6251 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134528357 0 0 4096 0 0 0 0 17 0 0 0 /proc/31032/statm: 6666 6251 205 16 0 6104 0 Current children cumulated CPU time (s) 1121.43 Current children cumulated vsize (KiB) 26664 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/76 31189 /proc/meminfo: memFree=1654176/2055888 swapFree=4087924/4096564 [pid=31032] ppid=31030 vsize=26708 CPUtime=1181.29 /proc/31032/stat : 31032 (Pueblo) R 31030 31032 26978 0 -1 4194304 7845 0 0 0 118067 62 0 0 25 0 1 0 108405580 27348992 6288 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527815 0 0 4096 0 0 0 0 17 1 0 0 /proc/31032/statm: 6677 6288 205 16 0 6115 0 Current children cumulated CPU time (s) 1181.29 Current children cumulated vsize (KiB) 26708 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/70 31231 /proc/meminfo: memFree=1655648/2055888 swapFree=4087924/4096564 [pid=31032] ppid=31030 vsize=26232 CPUtime=1241.2 /proc/31032/stat : 31032 (Pueblo) R 31030 31032 26978 0 -1 4194304 7845 0 0 0 124054 66 0 0 25 0 1 0 108405580 26861568 6169 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527931 0 0 4096 0 0 0 0 17 0 0 0 /proc/31032/statm: 6558 6169 205 16 0 5996 0 Current children cumulated CPU time (s) 1241.2 Current children cumulated vsize (KiB) 26232 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/70 31231 /proc/meminfo: memFree=1655584/2055888 swapFree=4087924/4096564 [pid=31032] ppid=31030 vsize=26380 CPUtime=1301.15 /proc/31032/stat : 31032 (Pueblo) R 31030 31032 26978 0 -1 4194304 7912 0 0 0 130047 68 0 0 25 0 1 0 108405580 27013120 6206 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134517933 0 0 4096 0 0 0 0 17 0 0 0 /proc/31032/statm: 6595 6206 205 16 0 6033 0 Current children cumulated CPU time (s) 1301.15 Current children cumulated vsize (KiB) 26380 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/70 31231 /proc/meminfo: memFree=1655200/2055888 swapFree=4087924/4096564 [pid=31032] ppid=31030 vsize=26732 CPUtime=1361.09 /proc/31032/stat : 31032 (Pueblo) R 31030 31032 26978 0 -1 4194304 8050 0 0 0 136038 71 0 0 25 0 1 0 108405580 27373568 6294 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527815 0 0 4096 0 0 0 0 17 0 0 0 /proc/31032/statm: 6683 6294 205 16 0 6121 0 Current children cumulated CPU time (s) 1361.09 Current children cumulated vsize (KiB) 26732 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/70 31231 /proc/meminfo: memFree=1655008/2055888 swapFree=4087924/4096564 [pid=31032] ppid=31030 vsize=26856 CPUtime=1421.06 /proc/31032/stat : 31032 (Pueblo) R 31030 31032 26978 0 -1 4194304 8202 0 0 0 142031 75 0 0 25 0 1 0 108405580 27500544 6325 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527661 0 0 4096 0 0 0 0 17 0 0 0 /proc/31032/statm: 6714 6325 205 16 0 6152 0 Current children cumulated CPU time (s) 1421.06 Current children cumulated vsize (KiB) 26856 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/70 31231 /proc/meminfo: memFree=1654112/2055888 swapFree=4087924/4096564 [pid=31032] ppid=31030 vsize=28052 CPUtime=1481.01 /proc/31032/stat : 31032 (Pueblo) R 31030 31032 26978 0 -1 4194304 8523 0 0 0 148023 78 0 0 25 0 1 0 108405580 28725248 6605 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 0 0 0 /proc/31032/statm: 7013 6605 205 16 0 6451 0 Current children cumulated CPU time (s) 1481.01 Current children cumulated vsize (KiB) 28052 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/70 31231 /proc/meminfo: memFree=1654432/2055888 swapFree=4087924/4096564 [pid=31032] ppid=31030 vsize=27500 CPUtime=1540.97 /proc/31032/stat : 31032 (Pueblo) R 31030 31032 26978 0 -1 4194304 8523 0 0 0 154014 83 0 0 25 0 1 0 108405580 28160000 6486 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527934 0 0 4096 0 0 0 0 17 0 0 0 /proc/31032/statm: 6875 6486 205 16 0 6313 0 Current children cumulated CPU time (s) 1540.97 Current children cumulated vsize (KiB) 27500 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/70 31231 /proc/meminfo: memFree=1653600/2055888 swapFree=4087924/4096564 [pid=31032] ppid=31030 vsize=28504 CPUtime=1600.92 /proc/31032/stat : 31032 (Pueblo) R 31030 31032 26978 0 -1 4194304 8831 0 0 0 160004 88 0 0 25 0 1 0 108405580 29188096 6735 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134528249 0 0 4096 0 0 0 0 17 0 0 0 /proc/31032/statm: 7126 6735 205 16 0 6564 0 Current children cumulated CPU time (s) 1600.92 Current children cumulated vsize (KiB) 28504 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/70 31231 /proc/meminfo: memFree=1653152/2055888 swapFree=4087924/4096564 [pid=31032] ppid=31030 vsize=28876 CPUtime=1660.88 /proc/31032/stat : 31032 (Pueblo) R 31030 31032 26978 0 -1 4194304 9058 0 0 0 165994 94 0 0 25 0 1 0 108405580 29569024 6830 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134528586 0 0 4096 0 0 0 0 17 0 0 0 /proc/31032/statm: 7219 6830 205 16 0 6657 0 Current children cumulated CPU time (s) 1660.88 Current children cumulated vsize (KiB) 28876 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/70 31231 /proc/meminfo: memFree=1653344/2055888 swapFree=4087924/4096564 [pid=31032] ppid=31030 vsize=28772 CPUtime=1720.84 /proc/31032/stat : 31032 (Pueblo) R 31030 31032 26978 0 -1 4194304 9090 0 0 0 171985 99 0 0 25 0 1 0 108405580 29462528 6804 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527956 0 0 4096 0 0 0 0 17 0 0 0 /proc/31032/statm: 7193 6804 205 16 0 6631 0 Current children cumulated CPU time (s) 1720.84 Current children cumulated vsize (KiB) 28772 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/70 31231 /proc/meminfo: memFree=1653152/2055888 swapFree=4087924/4096564 [pid=31032] ppid=31030 vsize=28772 CPUtime=1780.78 /proc/31032/stat : 31032 (Pueblo) R 31030 31032 26978 0 -1 4194304 9090 0 0 0 177976 102 0 0 25 0 1 0 108405580 29462528 6804 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/31032/statm: 7193 6804 205 16 0 6631 0 Current children cumulated CPU time (s) 1780.78 Current children cumulated vsize (KiB) 28772 Solver just ended. Dumping a history of the last processes samples [startup+1783.11 s] /proc/loadavg: 1.00 1.00 1.00 2/70 31231 /proc/meminfo: memFree=1653152/2055888 swapFree=4087924/4096564 [pid=31032] ppid=31030 vsize=28772 CPUtime=1781.58 /proc/31032/stat : 31032 (Pueblo) R 31030 31032 26978 0 -1 4194304 9090 0 0 0 178056 102 0 0 25 0 1 0 108405580 29462528 6804 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134528560 0 0 4096 0 0 0 0 17 0 0 0 /proc/31032/statm: 7193 6804 205 16 0 6631 0 Current children cumulated CPU time (s) 1781.58 Current children cumulated vsize (KiB) 28772 [startup+1783.9 s] /proc/loadavg: 1.00 1.00 1.00 2/70 31231 /proc/meminfo: memFree=1653152/2055888 swapFree=4087924/4096564 [pid=31032] ppid=31030 vsize=28772 CPUtime=1782.38 /proc/31032/stat : 31032 (Pueblo) R 31030 31032 26978 0 -1 4194304 9090 0 0 0 178136 102 0 0 25 0 1 0 108405580 29462528 6804 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134528239 0 0 4096 0 0 0 0 17 0 0 0 /proc/31032/statm: 7193 6804 205 16 0 6631 0 Current children cumulated CPU time (s) 1782.38 Current children cumulated vsize (KiB) 28772 [startup+1784.1 s] /proc/loadavg: 1.00 1.00 1.00 2/70 31231 /proc/meminfo: memFree=1653152/2055888 swapFree=4087924/4096564 [pid=31032] ppid=31030 vsize=28772 CPUtime=1782.58 /proc/31032/stat : 31032 (Pueblo) R 31030 31032 26978 0 -1 4194304 9090 0 0 0 178156 102 0 0 25 0 1 0 108405580 29462528 6804 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134520075 0 0 4096 0 0 0 0 17 0 0 0 /proc/31032/statm: 7193 6804 205 16 0 6631 0 Current children cumulated CPU time (s) 1782.58 Current children cumulated vsize (KiB) 28772 [startup+1784.21 s] /proc/loadavg: 1.00 1.00 1.00 2/70 31231 /proc/meminfo: memFree=1653152/2055888 swapFree=4087924/4096564 [pid=31032] ppid=31030 vsize=28772 CPUtime=1782.68 /proc/31032/stat : 31032 (Pueblo) R 31030 31032 26978 0 -1 4194304 9090 0 0 0 178166 102 0 0 25 0 1 0 108405580 29462528 6804 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134520196 0 0 4096 0 0 0 0 17 0 0 0 /proc/31032/statm: 7193 6804 205 16 0 6631 0 Current children cumulated CPU time (s) 1782.68 Current children cumulated vsize (KiB) 28772 Child status: 10 Real time (s): 1784.26 CPU time (s): 1782.75 CPU user time (s): 1781.72 CPU system time (s): 1.03284 CPU usage (%): 99.9152 Max. virtual memory (cumulated for all children) (KiB): 29156 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1781.72 system time used= 1.03284 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 9098 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= 12 involuntary context switches= 7598 runsolver used 1.27381 second user time and 3.75743 second system time The end
Begin job on node76 on Sun Apr 15 02:41:50 UTC 2007 IDJOB= 351566 IDBENCH= 1776 IDSOLVER= 165 FILE ID= node76/351566-1176604910 PBS_JOBID= 4556982 Free space on /tmp= 66650 MiB SOLVER NAME= Pueblo 1.4 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-harp2.opb COMMAND LINE= Pueblo /tmp/evaluation/351566-1176604910/instance-351566-1176604910.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node76/convwatcher-351566-1176604910 -o ROOT/results/node76/conversion-351566-1176604910 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/351566-1176604910/instance-351566-1176604910.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node76/watcher-351566-1176604910 -o ROOT/results/node76/solver-351566-1176604910 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/351566-1176604910/instance-351566-1176604910.opb META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7 MD5SUM BENCH= bae2de9f4879fca72b44ba1c72e8b4a3 RANDOM SEED= 945655113 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node76.alineos.net 2.6.9-34.ELsmp #1 SMP Thu Mar 9 06:23:23 GMT 2006 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.277 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 : 6006.17 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.277 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 : 5999.42 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055888 kB MemFree: 1680832 kB Buffers: 59708 kB Cached: 228456 kB SwapCached: 2604 kB Active: 78880 kB Inactive: 222336 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055888 kB LowFree: 1680832 kB SwapTotal: 4096564 kB SwapFree: 4087924 kB Dirty: 2472 kB Writeback: 0 kB Mapped: 17760 kB Slab: 60304 kB Committed_AS: 2791516 kB PageTables: 1428 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66650 MiB End job on node76 on Sun Apr 15 03:11:35 UTC 2007