c
c
c
c solution file
c
c
SAT
-2198 2518 -2454 2818 -2694 -2690 -2274 -2514 -2550 -2658 -2082 -2250 -2542 2634 -2870 -2754 2258 2222 -2070 -2854 -2854 2438 -2890 -2506 -2390 -2274 -1990 -2002 2546 -2386 -2070 2006 2570 -2606 -2894 -2806 -2710 -2818 -2774 -2218 2854 -2894 2034 -2838 -2850 -2894 2574 -2578 2686 2762 -2318 -2774 -2478 -2034 -2562 -2518 -2854 2686 -2854 -2654 -2742 -2158 -2242 -2034 -2382 -2102 2210 -2470 -2490 -2638 -2066 -2754 -2826 -2838 -2842 -2622 2642 -2270 -2422 -2070 -2502 -2394 2214 -2670 -2594 2894 -2722 -2314 -2710 -2334 -2110 -2818 2154 -2778 1994 -2582 -2106 2774 2446 2214 2706 2262 -2486 -2722 -2586 -2606 1990 -2710 2382 2842 -2214 2642 -2306 -2422 -2530 2030 2518 2278 -2834 -2002 2802 -2894 2702 -2826 -2602 -2154 -2134 -2074 2114 -2830 2074 -2510 -2646 -2478 2242 2646 -2330 -2274 2850 -2274 2646 2714 -2186 -2490 2850 -2890 2602 -2374 2270 -2314 -2462 -2814 -2534 -2850 2794 -2198 -2174 2522 -2750 -2606 -2282 -2658 -2474 2634 -2042 2754 -2594 -2518 -2702 -2070 -2854 -2674 -2382 -2562 2826 -2442 -2158 -2406 -2834 -2582 -2834 -2486 -2770 -2830 2506 -2082 2894 -2542 -2454 -2734 -2282 -2386 -2358 -1990 -2454 -2178 -2198 -2758 2278 1990 -2250 -2114 -2486 2366 -2730 -2254 -1994 -2434 -2850 -2414 -2774 -2106 -2346 -2742 -2798 -2658 2718 2510 2378 -2626 -2850 -2618 -2178 2522 -2398 -2266 -2850 -2374 -2754 2478 -2778 2838 2742 2286 2714 -2778 -2490 -2378 -2746 2178 -2706 2030 2022 2226 -2030 -2894 -2706 -2582 -2326 -2258 2466 2030 2522 2582 2274 -2042 2386 -2658 -2710 -2174 2422 -2854 2810 2338 -2866 2270 2870 -2374 2302 -1990 -2838 -2614 -2894 -2770 -2622 1990 2786 -2890 -2674 -2454 -2562 -2682 2586 -2478 2046 2894 -1990 -2094 2346 2318 -2490 -2678 2410 -2586 -2282 2262 -2602 2786 2190 -2846 2810 -2574 -2270 2750 2594 2246 -2010 -2482 -2650 -2610 -2590 -2230 -2142 -2530 2154 -2406 -2894 -2814 -2718 1990 2158 -2878 2678 -2710 -2786 2470 2778 2854 2618 -2754 2478 -2586 -2554 -2398 -2538 2474 -2582 2162 -2666 -2106 -2398 2446 -2366 -2334 -2010 -2450 2834 -2086 2746 -2386 -2046 -2614 2202 -2430 -2258 2598 2190 2034 -2854 -2146 -2854 -2194 2030 -2646 -1994 -2722 2046 -2118 2342 -2718 -2806 2118 -2034 2470 -2454 2606 -2218 2562 2414 -2586 -2374 2030 2770 2334 -2006 -2010 2674 -2854 -2774 -2390 -2674 -2174 2846 2226 2854 2438 -2030 -2542 -2230 2718 -2882 -2826 -2518 2266 2314 -2850 -2186 -1998 -2430 2306 -2006 2230 -2750 -2634 2650 -2162 2854 -2286 2894 -2378 2406 -2330 -2110 2334 2742 -2850 -2014 -2682 -2338 -2794 2482 -2522 -2214 -2230 -2546 2882 2166 2826 -2890 -2250 -2522 -2246 2474 -2570 2854 -2450 2210 2874 -2546 -2670 -2078 1990 -2250 -2826 -2298 -2602 -2418 -2514 -2594 -2178 -2330 -2102 -2706 -2442 -2794 -2554 -2894 2230 2318 -2202 -2386 -2310 2190 -2842 2030 2346 2218 -2554 -2410 -2626 2490 -2042 2542 -2362 -2826 -2534 -2482 -2230 2370 2442 2702 -2002 -2318 2662 -2014 -2754 -2474 -2866 -2614 -2458 -2146 -2838 2746 -2750 2462 2842 -2586 -2002 -2850 2730 2118 -2142 -2686 -2090 -2894 -2854 2778 2714 -2366 -2630 2754 2398 -2038 -2474 -2854 -2502 -2790 2266 -2666 -2882 -2618 -2510 -2434 2710 -2122 -1990 -2674 -2622 -2642 -2026 -2030 2786 -2218 2482 -2058 1998 -2198 -2654 -2614 2782 -2226 2794 -2894 -2246 -2682 -2382 2414 2582 -2470 -2114 -1990 -2398 1990 -2086 2246 2250 2450 2018 -2890 2630 -2822 -2374 -2602 2118 -2722 -2110 -2314 -2722 -2190 2550 -2710 -2842 -2030 2850 -2362 2894 -2834 -2070 2158 -2698 -2742 -2482 2362 -2530 2042 -2710 -2078 -2786 2342 -2250 -2490 -2654 2790 1998 2098 -2882 -2274 -2130 -2198 -2730 -2750 -2662 -1990 -2358 -2726 -2186 2850 -2086 -2894 2038 -2586 -2706 -2698 -2034 -1994 -2890 -2842 -2350 -2702 -1990 -2274 -2094 -2854 -2114 -2030 -2494 -2486 -2894 -2890 -2230 2562 -2182 -2058 -2446 -2190 -2774 -2622 -2854 -2710 2650 2874 -2498 -2262 -2398 -2770 -2854 -2510 -2682 -2630 2786 -2578 -2750 -2610 -2286 -2478 2442 -2630 -2854 -2422 -2562 -2530 -2750 2438 2362 -2602 -2678 2114 -2658 -2870 -2402 -2414 -2890 -2810 2806 -2078 -2226 -2422 -2886 -2894 -2402 -2238 2870 -2418 -2606 -2226 2066 -2230 2418 2698 2622 -2010 2510 2442 -2738 2566 -2614 -2682 -2218 -2562 2662 -2418 -2850 -2042 -2342 -2690 -2882 -2054 2686 -2210 -2686 -2542 2706 -2062 -2354 -2074 2314 -2346 -2602 2574 2810 -2030 2666 2354 -2154 2322 -2498 2566 -2390 -2462 2442 2550 2178 2478 -2634 2086 2546 -2670 -2518 -2806 -2454 -2210 -2094 2538 -2534 -2022 -2030 -2890 -2662 2302 -2790 -2850 -2134 -2682 -2478 2446 -2194 2502 -2586 2498 -2050 -2794 -2746 -2586 2142 2810 -2182 2006 -2422 -2646 -2378 -2158 -2218 -2250 -2374 -2234 2606 -2450 -2494 -2034 -2762 -2654 2882 -2630 2030 -2586 -2822 2678 -2518 -2810 2886 -2018 2606 2026 -2646 -2222 2158 -2458 2650 -2178 -2174 -2854 -2338 2322 2526 2522 2514 -2394 2030 -2558 -2630 -2198 -2282 2034 -2034 -2350 -2886 2894 -2030 -2234 -2774 -2546 -2046 -2374 -2546 2134 -2750 -2802 -2490 -1990 -2074 -2842 -2138 -2302 -2638 -2178 2814 2030 2314 -2834 2626 2486 1990 -2490 -2774 -1990 2026 -2030 2830 -2066 -2462 -2474 2646 2346 2434 -2426 -2154 -2586 -2890 -2646 -2894 -2542 -2378 2686 -2786 -2642 -2122 -2482 2158 -2698 -2890 -2222 -2402 -2330 -2298 -2462 -2754 -2790 -2442 -2182 2558 2818 -2030 2030 -2262 -2642 2630 -2598 -2354 -2662 2478 -2826 -2890 1998 -2522 -2746 2502 2750 2678 -2826 2438 2470 -2702 2790 -2854 -2582 -2490 -2206 -2710 2566 -2170 -2086 2842 -2802 -2418 -2518 2582 -2278 -2854 -2146 -2490 -2214 -2138 -2894 -2842 -2314 -2290 2630 -2886 -2470 2198 -2122 -2278 -2338 2718 -2038 2050 -2790 -2546 -2770 2350 2606 -2666 2454 -2026 2546 -2206 -2350 -2858 2710 -2826 2610 -2314 -2758 -2798 2370 -2854 -2410 -2590 -2854 -2422 -2422 -2066 2410 -2718 -2594 -2678 -2862 2294 -2382 -2030 -2374 -2574 -2274 -2430 -2698 -2150 -2826 2686 -2418 -1990 -2158 -2306 -2802 -2034 -2734 -2358 -2510 -2598 -2562 -2706 -2874 -2530 2798 -2854 2162 2482 2562 2566 2054 -2046 2030 -2414 -2314 -2458 -1994 -2422 -2702 2386 -2654 2154 -2386 -2418 -2574 -2494 1990 -2454 -2046 2722 -2574 2030 2606 2682 2794 -2342 -2390 -2274 2858 -2238 2650 -2374 -2770 -2110 -2798 2570 -2438 -2466 -2622 -2062 -2270 -2654 2174 -2834 2382 -2598 2702 2478 2526 -2022 2638 2110 -2846 -2602 2434 -2894 -2894 -2538 2546 2714 -2554 2218 -2374 -2194 -2030 -1994 -2746 2758 2686 -2070 -2750 -2014 -2302 2230 2818 2226 2154 -2082 -2646 -2794 2290 -2846 2534 -2402 -2366 -2838 -2878 -2750 -2254 -2474 -2826 2850 2826 -2642 -2018 2866 -2338 -2366 -2074 -2442 2742 2470 2022 -2762 1990 2858 -2742 -2346 -2842 2002 -2850 2298 2802 2214 -2606 -2526 2362 2786 -2766 2722 2894 -2562 2210 -2890 -2114 -2882 2798 -2426 -2614 -2370 -2742 -2642 -2758 2374 -2122 -2894 -1990 2162 -2554 -2046 -2706 -2282 -2038 2146 -2194 -2270 -2322 -2366 -2422 -2162 2850 -1990 2010 2258 2074 -2158 2514 -2714 2602 2010 -2490 -2578 -2158 -2814 2554 -2174 2470 2122 -2366 2550 -2202 2830 -2034 -2662 -2306 -2050 -2574 -2774 -2118 -2890 -2370 -2674 -2854 -2794 -2498 -2438 -2814 -2522 -2626 -2530 -2378 -2894 2218 2230 -2166 -2530 -2854 -2690 2210 -2594 -2610 2666 -2546 2726 -2550 -2734 2054 -2494 -2514 -2518 -2478 2610 -2194 -2226 -2826 2842 -2786 -2686 -2830 2026 2438 -2386 -2378 -2322 -2838 -2390 -2490 -2502 -2198 -2126 -2702 2530 -2494 2062 -2858 2694 -2198 -2522 -2570 -2850 -2598 -2618 -2054 2478 -2422 2734 2206 -2530 -2490 2514 -2734 -2694 2450 2126 2638 2314 -2598 -2206 2814 -2058 -2558 -2054 -2502 -2346 2038 2414 -2478 -2834 2854 2162 -2082 -2818 -2370 -2302 -2894 2374 -2286 -2794 -2882 2854 -2306 -2678 -2414 -2414 -2042 -2274 -2782 -2122 2306 -2694 -2702 -2894 -2670 -2542 -2414 2254 2718 -2310 2670 -2318 -2474 2830 2346 -2566 -2166 -2322 -2554 -2266 2066 2730 -2514 -2326 -2186 -2378 -2242 2750 2802 -2230 -2690 -2890 2690 -2650 -2894 -2882 2714 -2338 -2110 -2202 -2450 2154 -2586 -2610 2814 2310 2138 2226 -2458 2318 -2826 -2842 -2062 2006 2730 2758 2726 -2342 -2670 2178 2682 -2538 -1990 2854 2798 -2350 -2474 -2786 -2574 2794 -2222 2438 2258 -2462 -2574 -2558 -2202 -2030 -2786 -2578 -2138 -2474 -2670 2514 2626 2106 2814 -2178 2742 -2094 2450 -2034 -2690 -2422 2050 -2546 -1990 -2746 2194 -2194 -2850 2430 -2666 -2030 2118 -2646 -2266 -2758 -2518 -2894 -2178 2854 2602 -2774 2694 -2518 -2586 -2894 -2562 -2278 -2334 2030 -2506 -2218 2634 -2698 -2662 -2086 2542 -2430 1994 -2126 2354 -2498 -2622 -2786 2226 -2294 -2370 -2406 -2742 2270 2626 -2082 -2562 2082 -2686 2554 -1994 -2286 -2310 -2014 2074 -2362 -2162 -2562 -2794 -2594 -2458 2414 -2230 -2334 -2678 2426 -2546 -2846 -2054 2834 2794 -2198 2538 -2350 2510 1998 -2314 -2706 -2302 -2638 -2850 2450 -2450 2346 -2466 2658 -2394 2530 -2890 -2062 2498 -2854 -2558 -2542 -2178 -2074 -2182 -2382 -2846 2822 -2730 -2178 -2666 -2310 2694 -2882 -2726 2198 -2070 2886 2846 -2194 -2414 -2550 -2770 -2614 2326 2502 -2850 2786 2850 -2038 -2834 -2490 -2542 -2454 -2034 -2378 2846 -2402 -2422 -2658 2030 -2850 -1990 -2170 2450 2486 -2594 -2430 2438 2650 -2418 2586 2846 -2314 -2614 2818 2806 2170 -2582 2002 -2318 -2198 -2746 2542 1990 -2294 -2354 -2798 2854 -2334 -2438 -2702 2730 -2066 2490 2190 -2746 2298 -2414 2494 2458 2890 2498 -2678 -2238 -2382 -2890 -1990 -2534 2702 -2106 -2642 -2770 -2018 -2742 2746 -2266 -2278 2386 -2330 -2078 -2718 2890 -2118 -2582 2814 -2326 -2090 -2694 -2894 -2518 2334 -2034 2570 -1990 2326 2138 -2350 -2746 -2474 -2066 2206 -2062 -2514 -2338 -2006 -1990 -2226 2578 -2102 -2438 2170 2142 -2886 -2238 -2462 2866 2654 -2154 -2890 2030 -2842 -2050 2478 -2110 2622 2050 -2642 2750 2806 -2850 -2582 -2350 -2562 -2546 -2166 -2390 -2750 -2194 -2706 -2630 -2702 2570 -2546 -2358 2070 -2002 -2370 -2622 -2878 -2870 -2798 -2406 2394 2094 -2818 -2610 -2106 -2042 2638 -2030 2414 -2378 -2582 2058 -2126 -2254 -2326 -2622 -2466 2782 -2494 2170 2838 2522 2354 -2438 2030 -2642 -2742 -2426 -2894 -2866 -2842 -2202 -2774 -2734 2614 2646 2434 2770 2418 2522 -2110 -2582 2162 -2618 -2334 -2542 -2794 -2510 -2742 -2798 -2734 -2466 -2570 -2850 2286 -2330 2290 -2806 -2582 -2802 -2714 -2062 -2514 -2458 2266 2658 2114 2078 -2338 2234 -2646 -2846 -2078 -2854 -2822 -2718 2034 2882 -2042 -2166 -2538 -2846 -2462 -2478 2314 2706 2278 -2842 -2854 -2594 2786 -2834 -2890 -2130 2402 -2894 -2138 -2674 2682 2818 -2046 2182 -2470 -2070 -2310 -2590 -2342 -2138 -2426 -2374 -2274 -2402 -2478 -2350 -2870 -2534 -2538 2850 -2374 -2758 -2646 -2650 -1998 -1990 -2894 2562 -2062 2678 -2030 -2282 -2354 -2402 -2106 -2890 2030 2310 -2734 -2122 -1994 -1990 -2214 -2390 -2498 -2346 -2350 -2394 -2210 -2210 2478 -2774 -2550 -2806 -2622 2850 2274 2302 -2854 -2358 -2350 -2238 2738 -2854 2446 -2394 2826 -2846 -2510 -2066 -2702 2430 2754 2734 -2566 -2002 -2662 -2774 2414 -2702 1998 -2066 2462 2030 -2574 2494 -2826 -2754 2758 -2490 -2370 2022 -2442 -2662 -2854 -2842 2590 -2382 2302 2786 -2518 -2154 1990 -2682 2862 -2654 2282 2678 -2350 -2610 -2478 -2042 -2518 -2582 -2854 2438 -2102 2006 2762 1994 -2478 -2854 -2266 -2378 -2062 2106 -2286 -2054 -2262 -2346 1990 -2714 -2154 2398 2562 -2786 2346 -2050 -2654 -2526 -2826 -2434 -2054 2602 -2686 -2718 2590 2402 2038 2846 2246 -2654 2542 -2834 -2526 -2890 -2690 2030 2782 2050 -2538 2682 2234 -2046 -2670 -2894 -2294 -2718 -2322 -2890 2578 -2758 -2690 -2410 -2862 -2662 -2694 2038 -2842 -2546 -2314 -2486 -2618 2278 2894 -2074 -2458 -2802 2478 -2046 -2046 -2878 2762 -2506 -2534 -2734 2206 -2582 2078 -2582 -2022 -2622 -2262 2034 2394 2830 -2778 2634 -2746 -2222 -2294 -2586 -2238 -2550 2478 -2798 -2390 -2890 2554 2114 -2510 -2066 2794 -2470 2326 -2322 -2786 -2890 -2562 -2270 -2006 -2854 2682 -2042 -2274 -1994 -2578 2146 -2854 2382 -2418 2266 2458
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node10/watcher-205998-1168293747 -o ROOT/results/node10/solver-205998-1168293747 -C 1800 -M 900 /tmp/evaluation/205998-1168293747/solver2 /tmp/evaluation/205998-1168293747/unknown 1800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.29 1.04 1.05 3/93 24323
/proc/meminfo: memFree=1200408/2055920 swapFree=4178216/4192956
[pid=24322] ppid=24320 vsize=5212 CPUtime=0
/proc/24322/stat : 24322 (solver2) R 24320 24322 20018 0 -1 4194304 122 0 0 0 0 0 0 0 20 0 1 0 177769961 5337088 94 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 214920297796 0 0 4096 0 0 0 0 17 1 0 0
/proc/24322/statm: 1303 94 75 169 0 14 0
[startup+0.103551 s]
/proc/loadavg: 1.29 1.04 1.05 3/93 24323
/proc/meminfo: memFree=1200408/2055920 swapFree=4178216/4192956
[pid=24322] ppid=24320 vsize=5352 CPUtime=0
/proc/24322/stat : 24322 (solver2) S 24320 24322 20018 0 -1 4194304 353 334 0 0 0 0 0 0 22 0 1 0 177769961 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24322/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352
[startup+0.511608 s]
/proc/loadavg: 1.29 1.04 1.05 3/93 24323
/proc/meminfo: memFree=1200408/2055920 swapFree=4178216/4192956
[pid=24322] ppid=24320 vsize=5352 CPUtime=0.29
/proc/24322/stat : 24322 (solver2) S 24320 24322 20018 0 -1 4194304 376 2542 0 0 0 0 26 3 15 0 1 0 177769961 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24322/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5352
[startup+1.33372 s]
/proc/loadavg: 1.29 1.04 1.05 3/94 24337
/proc/meminfo: memFree=1106192/2055920 swapFree=4178216/4192956
[pid=24322] ppid=24320 vsize=5352 CPUtime=0.29
/proc/24322/stat : 24322 (solver2) S 24320 24322 20018 0 -1 4194304 376 2542 0 0 0 0 26 3 15 0 1 0 177769961 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24322/statm: 1338 242 203 169 0 49 0
[pid=24335] ppid=24322 vsize=44164 CPUtime=0.99
/proc/24335/stat : 24335 (bordewijk) R 24322 24322 20018 0 -1 4194304 10531 0 0 0 91 8 0 0 25 0 1 0 177769993 45223936 10503 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 134552386 0 0 4096 0 0 0 0 17 1 0 0
/proc/24335/statm: 11041 10503 204 97 0 10322 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 49516
[startup+2.98494 s]
/proc/loadavg: 1.29 1.04 1.05 3/94 24337
/proc/meminfo: memFree=1018960/2055920 swapFree=4178216/4192956
[pid=24322] ppid=24320 vsize=5352 CPUtime=0.29
/proc/24322/stat : 24322 (solver2) S 24320 24322 20018 0 -1 4194304 376 2542 0 0 0 0 26 3 15 0 1 0 177769961 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24322/statm: 1338 242 203 169 0 49 0
[pid=24335] ppid=24322 vsize=134584 CPUtime=2.64
/proc/24335/stat : 24335 (bordewijk) R 24322 24322 20018 0 -1 4194304 35949 0 0 0 220 44 0 0 25 0 1 0 177769993 137814016 32230 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/24335/statm: 33646 32230 217 97 0 32927 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 139936
[startup+6.27939 s]
/proc/loadavg: 1.35 1.06 1.06 3/94 24339
/proc/meminfo: memFree=873936/2055920 swapFree=4178216/4192956
[pid=24322] ppid=24320 vsize=5352 CPUtime=0.29
/proc/24322/stat : 24322 (solver2) S 24320 24322 20018 0 -1 4194304 376 2542 0 0 0 0 26 3 15 0 1 0 177769961 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24322/statm: 1338 242 203 169 0 49 0
[pid=24335] ppid=24322 vsize=134584 CPUtime=5.88
/proc/24335/stat : 24335 (bordewijk) R 24322 24322 20018 0 -1 4194304 35949 0 0 0 237 351 0 0 25 0 1 0 177769993 137814016 32230 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/24335/statm: 33646 32230 217 97 0 32927 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 139936
[startup+12.7553 s]
/proc/loadavg: 1.40 1.07 1.06 3/88 24360
/proc/meminfo: memFree=684424/2055920 swapFree=4178216/4192956
[pid=24322] ppid=24320 vsize=5352 CPUtime=9.51
/proc/24322/stat : 24322 (solver2) S 24320 24322 20018 0 -1 4194304 397 38492 0 0 0 0 281 670 16 0 1 0 177769961 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24322/statm: 1338 242 203 169 0 49 0
[pid=24360] ppid=24322 vsize=76868 CPUtime=3.09
/proc/24360/stat : 24360 (standalone) R 24322 24322 20018 0 -1 4194304 18250 0 0 0 159 150 0 0 25 0 1 0 177770925 78712832 17814 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 4087229093 0 0 4096 0 0 0 0 17 1 0 0
/proc/24360/statm: 19217 17814 137 64 0 18532 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 82220
Child status: 0
Real time (s): 22.789
CPU time (s): 22.6066
CPU user time (s): 14.3698
CPU system time (s): 8.23675
CPU usage (%): 99.1993
Max. virtual memory (cumulated for all children) (KiB): 139936
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.3698
system time used= 8.23675
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57933
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= 429
involuntary context switches= 740
runsolver used 0.035994 s user time and 0.072988 s system time
The end
Begin job on node10 on Mon Jan 8 22:02:28 UTC 2007
IDJOB= 205998
IDBENCH= 4180
FILE ID= node10/205998-1168293747
PBS_JOBID= 3501830
Free space on /tmp= 66332 MiB
BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp36-40/fapp36/fapp36-2000-10.xml
COMMAND LINE= /tmp/evaluation/205998-1168293747/solver2 /tmp/evaluation/205998-1168293747/unknown 1800
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node10/watcher-205998-1168293747 -o ROOT/results/node10/solver-205998-1168293747 -C 1800 -M 900 /tmp/evaluation/205998-1168293747/solver2 /tmp/evaluation/205998-1168293747/unknown 1800
META MD5SUM SOLVER= 2182e29fee250f6e45b9a85a6429fa3a
MD5SUM BENCH= a0cfe24393aaec972ad81f1f87dd77c5
RANDOM SEED= 302527661
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/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.232
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.232
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1201400 kB
Buffers: 74440 kB
Cached: 603748 kB
SwapCached: 2628 kB
Active: 401968 kB
Inactive: 387736 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1201400 kB
SwapTotal: 4192956 kB
SwapFree: 4178216 kB
Dirty: 53960 kB
Writeback: 0 kB
Mapped: 122432 kB
Slab: 49180 kB
Committed_AS: 4913648 kB
PageTables: 2576 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66278 MiB
End job on node10 on Mon Jan 8 22:02:51 UTC 2007