c
c
c
c solution file
c
c
SAT
-2198 2518 -2454 -2890 -2694 2686 2278 -2510 2550 -2658 2082 -2250 -2542 -2638 2894 -2746 2242 -2218 -2118 -2890 -2850 2450 -2890 -2506 -2390 -2274 -1990 -1998 -2550 -2386 2098 1990 2566 -2606 -2894 -2806 -2710 -2818 -2774 -2146 2854 -2894 2038 -2838 -2850 -2894 2574 -2578 -2686 2758 -2322 -2698 2474 -2050 -2562 -2514 -2854 2686 -2854 -2654 -2722 -2158 -2234 -2030 -2386 -2102 2218 2458 -2486 -2646 -2086 -2846 -2826 -2838 -2842 -2622 2642 -2266 -2422 -2070 -2494 -2394 2214 -2674 -2594 2894 2722 -2314 -2710 -2342 -2110 -2818 -2162 -2778 1990 2578 -2126 -2774 2442 2214 2706 2266 -2490 -2722 -2582 2598 1990 -2710 2382 -2842 -2222 2642 2310 -2422 -2530 2030 2518 -2294 -2830 -2002 2842 -2894 2702 -2830 -2602 -2158 -2134 -2078 -2106 -2834 -2078 -2514 -2646 2474 2238 -2638 -2326 2294 2850 -2270 -2650 2706 -2314 -2494 2894 -2854 2606 -2374 2270 -2310 -2454 -2738 -2534 -2850 2790 -2202 -2178 2522 -2750 2606 -2274 -2658 -2470 -2634 -2038 2754 -2598 -2518 -2702 -2146 -2830 2670 -2382 -2562 2826 2442 2158 -2422 -2834 -2582 -2834 -2482 -2774 -2830 2506 -2150 2894 -2542 2446 -2734 -2274 -2386 -2358 -1994 2450 -2034 -2198 -2758 2282 1990 -2266 -2118 -2490 2374 2726 -2262 -1998 2438 -2894 -2414 -2774 -2114 -2346 -2746 -2798 -2658 2722 2510 2390 -2622 -2882 -2610 -2186 2522 -2390 -2278 -2850 -2382 -2754 -2482 -2778 2838 2742 2286 2714 -2782 -2490 -2374 -2738 2134 2698 2030 2022 2230 -2030 2878 -2698 -2582 -2330 -2258 -2466 -2030 2518 -2582 2258 -2042 -2386 -2658 2714 -2062 -2418 -2850 2806 -2342 -2866 2270 -2870 2386 2302 -1990 -2838 -2614 -2894 2766 2626 1990 2786 -2890 -2674 -2454 -2562 -2682 -2586 -2478 2030 2894 1990 -2090 2342 2306 -2490 -2682 2414 -2586 -2286 2262 -2602 -2786 2190 -2846 -2814 -2574 -2266 -2754 2594 -2270 -2010 -2482 -2650 -2626 2586 -2230 -2142 -2534 2150 -2426 -2894 -2850 -2718 1998 2174 -2878 2678 -2710 -2786 -2474 2782 2846 2618 -2870 2490 -2586 -2554 2398 -2538 2478 -2578 2158 -2670 -2110 -2398 2442 -2366 2338 -2030 2454 2834 -2146 -2742 -2386 -2030 -2614 -2226 -2430 2178 -2598 -2198 2030 -2854 -2238 -2854 -2098 2030 -2646 -1990 2718 -2042 2142 2346 -2718 -2806 -2090 -2038 -2450 -2458 -2602 -2218 2574 -2426 -2586 2382 2030 2766 2342 -2002 2030 2674 -2854 -2774 -2394 -2674 -2178 2854 2238 2854 -2434 -2078 -2546 -2310 2714 -2882 -2826 -2518 2266 2314 -2826 -2246 -1990 -2442 2306 -2002 2226 -2750 -2634 2650 -2142 2854 2310 2874 -2374 -2410 -2330 -2138 2354 2742 -2850 -2014 -2682 -2338 -2794 -2478 -2526 -2222 -2230 -2546 2882 2162 2826 -2850 -2258 -2522 -2250 2470 -2566 2838 -2446 2186 2874 -2546 -2674 -2078 1990 -2254 -2826 -2298 -2602 -2414 -2518 -2594 -2178 -2330 -2122 -2706 -2446 -2830 -2558 -2850 2230 -2334 -2202 -2382 2302 -2158 2838 2030 2346 2218 2554 -2426 -2630 -2498 -2038 2542 -2362 -2826 2530 -2482 -2230 2370 2446 2706 -1998 -2314 2662 -2010 -2758 -2474 -2866 2606 -2458 2274 -2854 2746 -2754 2458 2846 -2586 -2082 -2890 2734 2206 -2082 -2686 -2086 2894 -2890 2710 -2714 -2370 -2630 2882 -2394 -2034 -2470 -2854 -2506 -2790 2270 -2666 2882 -2618 -2506 -2434 -2702 -2118 -1990 -2674 -2622 -2642 -2078 -2038 -2794 -2226 2482 -2050 -1990 -2202 -2658 -2622 2782 -2206 2842 -2894 -2246 -2678 -2398 2430 2586 -2474 -2118 -1990 -2394 1990 2082 2250 2254 2446 -2010 -2890 2626 -2822 -2378 -2670 2122 -2718 -2106 -2314 -2734 -2190 2550 -2710 -2842 -2034 2850 -2362 -2890 -2834 -2074 2158 -2698 -2742 -2482 -2030 -2530 2042 2706 -2078 -2786 2342 2250 -2494 -2654 -2798 1994 2098 -2882 -2274 -2130 -2198 -2730 -2830 -2662 -2014 -2350 -2730 -2182 2850 -2086 -2894 2038 -2586 -2706 2702 -2022 1994 -2890 -2842 2350 2706 -1990 2274 -2078 -2858 -2118 -2030 -2498 -2482 -2894 -2890 -2198 2558 -2174 -2058 -2446 -2190 -2774 -2622 -2854 -2710 -2658 2870 -2498 -2258 -2394 2774 -2854 -2510 -2682 -2630 2794 -2570 -2750 -2606 -2286 -2478 2442 -2630 -2854 2434 2562 -2534 -2750 2446 2362 -2602 -2678 -2202 -2658 -2870 -2402 -2414 -2890 -2806 2818 -2078 -2226 -2358 -2882 -2894 -2406 -2242 -2890 2422 -2606 -2226 2070 -2238 2418 2702 -2626 -2098 2506 -2442 2734 2534 2614 -2682 -2218 -2562 2662 2414 2854 -2042 -2346 -2686 -2882 -2130 2690 -2214 -2690 -2538 2706 -2150 2362 -2206 2314 -2342 -2602 -2662 2810 2046 2670 2354 2154 2322 -2498 2566 -2390 -2466 -2438 2550 2178 2478 2630 2090 2546 -2670 -2518 -2806 -2434 -2210 -2094 2538 -2534 2018 -2030 2894 -2662 2306 -2790 -2850 -2102 -2682 -2478 2450 -2194 -2506 -2590 2498 -1990 -2794 -2746 -2586 2134 2810 -2182 -1990 -2426 2646 2378 -2158 -2218 -2258 -2390 -2218 2606 -2454 -2494 -2030 -2758 -2654 2882 -2622 2030 -2586 2806 -2674 -2518 -2810 2886 -2002 2606 -2026 -2642 -2214 2178 -2458 2646 -2178 -2178 -2854 -2334 2314 2522 2522 -2514 -2394 2030 -2558 -2634 -2218 -2374 2038 -2034 -2350 -2890 2870 -2054 -2234 -2774 -2546 -2050 -2374 -2546 2138 -2750 -2802 -2490 -1990 -2078 -2842 -2142 -2302 2550 -2190 -2814 2030 -2314 -2834 2630 2486 -1990 -2490 2774 1990 2038 -2030 2830 -2074 -2462 2478 2646 2346 2434 -2374 -2158 -2586 -2890 2642 -2894 2550 -2374 2686 -2786 -2642 -2118 -2482 2162 -2694 2738 -2222 2406 -2330 2282 -2458 -2754 -2794 -2442 -2186 2558 -2854 -2094 2030 -2262 -2642 2634 -2602 -2354 -2666 -2478 2822 -2890 2026 -2518 2742 -2510 -2754 2686 -2826 2442 -2482 -2702 2794 -2854 -2582 -2490 -2206 -2710 -2570 -2170 -2086 2786 -2802 -2406 2518 -2582 -2278 -2858 -2218 -2494 -2218 -2174 -2894 -2842 -2318 -2290 2526 -2890 -2474 2198 -2122 -2282 -2338 -2722 -2210 2050 -2790 2542 -2770 -2350 2606 -2666 2462 -2014 2546 -2138 -2350 -2890 2790 -2826 2610 -2318 -2762 -2798 2374 -2854 -2414 -2610 -2854 2422 -2422 2054 2410 -2718 -2598 -2678 -2854 -2298 -2462 -2030 -2374 -2574 -2274 -2430 -2698 -2158 -2834 2682 -2418 -1994 -2154 -2302 -2854 -2038 -2734 -2354 -2510 -2598 -2562 -2702 -2874 -2530 2798 -2854 2162 2482 -2554 2566 -2054 -2054 2034 2418 2310 -2462 -2090 -2422 -2702 -2386 -2654 -2154 2414 2418 -2574 -2494 1990 -2454 -2030 2722 -2574 2030 2606 2682 -2798 -2346 -2386 -2274 2850 -2238 2654 -2382 -2774 -2118 -2798 2570 -2442 -2466 2618 -2066 -2270 -2666 -2182 -2834 2378 -2598 2702 -2486 2530 -2014 2642 -2106 -2846 -2602 2462 -2894 -2894 -2538 2546 -2718 -2554 -2174 -2374 -2194 -2030 1990 -2746 2758 -2694 -2070 2750 -2014 -2306 2234 -2814 2226 2174 -2078 2634 -2794 2306 -2846 2534 -1990 -2366 -2854 -2894 -2750 -2254 -2478 -2826 2850 2834 -2642 -2022 2866 -2334 -2366 -2070 -2442 -2746 2470 -2026 -2802 -1990 2894 -2742 -2338 -2842 2002 -2890 2298 -2802 2218 -2574 -2530 2366 -2786 -2758 2718 -2890 -2566 -2210 -2854 -2130 -2882 -2802 2426 -2614 -2370 -2746 -2642 -2758 2394 -2134 -2894 -1990 2166 -2558 2106 -2706 -2282 -2030 2150 -2190 2294 2334 -2370 2418 -2158 -2894 -2054 2010 2214 -2066 -2154 2514 -2710 2594 2030 -2490 -2582 -2246 -2814 2534 -2174 2466 -2122 -2382 2570 -2198 2830 -2166 -2662 -2298 -2050 -2574 2770 -2118 -2854 2386 -2678 -2854 2794 -2502 -2442 -2818 -2522 -2626 -2534 -2382 -2894 -2254 -2226 -2166 -2530 -2854 -2690 2218 -2598 -2614 2666 2546 -2726 2546 -2734 2038 2498 -2514 -2518 -2478 2602 -2214 -2310 -2826 2842 -2786 -2686 -2854 2010 2438 -2382 2378 2318 -2838 -2390 -2486 -2498 -2282 -2166 -2710 -2526 -2494 2058 -2858 2694 -2194 -2522 -2574 -2850 -2598 -2618 -2078 -2478 -2406 -2738 2206 -2534 -2494 -2510 -2734 -2694 -2446 2126 2642 -2314 2590 -2210 2798 -2042 -2558 -2054 -2498 -2346 -2030 -2422 2402 -2834 2854 2162 -2094 -2822 2374 2306 -2894 2378 -2286 -2794 -2882 -2838 -2306 -2674 -2414 -2414 -2042 -2274 -2778 2126 2306 -2690 -2702 -2894 -2662 -2542 -2414 2258 -2718 -2310 2662 2322 -2470 -2850 2346 -2646 -2146 -2326 -2554 -2266 2074 2730 -2518 -2326 -2278 -2382 -2250 2746 2802 -2230 2686 -2842 -2698 -2650 -2894 2826 2886 -2338 -2114 -2182 -2450 2058 -2586 -2614 2814 -2318 2150 2222 -2462 -2326 -2826 -2842 -2054 1990 -2734 2758 2730 -2346 2486 -2174 2682 -2538 -1990 -2854 2798 -2350 -2474 -2786 2570 2794 -2222 2434 2258 -2462 -2578 -2558 -2198 -2030 -2782 -2578 -1994 -2474 -2670 2518 2626 2114 -2818 -2186 -2742 -2118 -2454 -2038 -2690 -2426 2058 -2546 1990 -2750 -2210 -2194 2854 2434 -2666 -2030 2118 -2654 -2270 -2758 2514 -2850 -2214 2854 2602 -2850 2694 -2442 2586 -2894 -2562 -2274 -2334 -2030 2510 -2298 2634 -2698 -2662 -2126 2538 -2426 1998 -2106 2366 -2502 -2622 2790 2222 -2298 2374 -2406 -2738 2262 -2630 -2162 -2562 2082 -2674 -2558 -1990 -2282 -2322 -2090 2074 -2362 -2186 -2630 -2794 2574 -2462 2418 2230 -2334 -2678 -2426 -2546 -2846 -2026 2830 -2794 -2214 2538 -2362 -2514 2170 -2314 -2706 -2302 -2642 -2778 2450 2458 2346 -2466 2658 2402 2530 -2878 -1994 2498 -2854 -2558 -2542 -2182 -2078 -2182 -2366 -2846 -2894 -2730 -2178 -2670 -2310 -2706 -2882 -2726 2194 2066 -2894 2842 -2194 -2410 -2546 -2770 -2618 -2326 2502 2838 -2782 2850 -2038 -2834 -2486 -2542 -2454 -2034 -2366 2850 -2402 -2422 -2662 2030 2850 -1990 -2226 2454 2482 -2594 -2434 2450 -2642 -2422 2586 -2854 -2314 -2614 2850 -2806 -2178 -2586 2002 2314 -2198 2738 2542 1990 -2294 -2354 -2802 2854 -2334 -2438 2698 2726 -2038 2494 2190 -2746 2298 -2418 -2486 2454 2866 -2498 -2682 -2238 -2386 -2890 -1990 -2538 2706 -2106 2642 -2770 -2018 2746 2746 -2270 2282 -2386 -2322 -2074 -2718 2890 -2118 -2582 2770 -2334 -2098 -2698 -2894 -2518 2338 -2030 -2570 -1990 -2322 2134 -2354 -2746 2478 -2066 2202 -2062 -2518 -2338 2018 -1990 -2230 2578 -2110 2434 -2170 2146 -2894 -2238 -2458 2866 2650 -2170 2850 2030 -2842 1990 2478 -2098 -2618 -1990 -2642 -2758 2806 -2850 -2578 -2354 -2566 -2546 -2166 -2394 2750 -2198 -2706 -2630 -2702 2586 -2546 -2354 2058 -1994 2362 -2622 -2894 -2870 -2798 -2406 2394 -2066 -2818 -2610 -2178 -2034 2638 -2030 2414 -2382 -2578 2062 2122 -2246 -2326 -2618 -2466 2786 -2494 2170 2854 2522 2358 -2434 -2030 -2642 -2742 -2426 -2894 -2866 -2894 -2206 -2778 -2890 2614 2646 2434 -2770 2422 -2534 2110 2582 -2166 -2618 2334 -2542 -2814 2490 -2750 -2798 -2734 -2470 2574 -2850 2290 -2334 2290 -2806 2578 -2794 -2714 -2066 -2510 -2462 2262 2662 2114 2050 -2350 2234 2646 -2846 -2102 -2890 -2818 2714 -2030 2886 -2042 -2178 -2538 -2846 -2474 -2478 2314 2706 2286 -2842 -2854 -2594 2790 -2834 -2890 -2130 2402 -2894 -2138 -2674 2682 -2750 -2030 -2174 -2474 -2070 -2334 -2590 -2342 -2058 -2426 -2374 -2274 2410 -2478 2278 -2874 -2538 -2542 2850 -2374 -2762 -2646 -2646 -1998 -1990 -2886 2566 -2066 2678 -2030 2290 -2350 -2406 -2110 -2890 -2030 -2310 -2734 -2110 -1998 -2006 -2218 -2390 -2502 -2346 -2354 -2394 -2218 -2214 2474 -2778 -2550 -2798 -2622 2850 -2274 -2302 -2854 -2346 -2350 -2242 2742 -2854 2466 -2422 -2826 2850 -2514 -2078 -2702 2426 2750 -2738 -2570 -2002 -2662 -2774 -2422 -2702 1998 -2050 2466 2030 -2574 2474 -2826 -2774 -2762 -2494 -2366 2026 -2450 -2662 -2854 -2834 2590 -2386 2302 -2786 -2518 -2170 1990 2682 2862 -2654 2278 -2682 2350 -2610 -2478 -2042 2518 -2582 -2854 2438 -2106 -1990 -2774 1994 -2474 -2810 -2270 -2378 -2062 2110 -2286 -2050 -2262 -2346 1990 -2714 2154 -2402 2558 -2786 -2342 2058 -2646 -2522 -2826 -2430 -2130 -2606 2690 2718 2590 2402 2034 2778 -2246 -2654 2542 -2834 -2530 -2890 2690 2030 -2762 2046 -2538 2682 -2334 -2046 -2670 -2894 -2286 2718 -2322 -2890 2578 -2758 -2686 -2414 2846 -2666 -2694 -2066 -2842 -2550 -2326 -2482 -2618 2278 -2894 -2062 -2458 2798 -2490 -2042 -2058 -2814 2762 -2510 -2534 -2730 2206 -2582 2082 -2582 -2034 -2626 -2262 -2030 2398 -2830 -2774 2634 -2746 -2226 -2294 2582 -2242 -2554 2482 -2798 -2394 -2890 2554 -2114 -2498 -2070 2794 -2470 2326 -2322 -2786 2894 -2562 -2274 2014 -2834 -2682 -2042 2278 -1990 -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/node16/watcher-205999-1168293748 -o ROOT/results/node16/solver-205999-1168293748 -C 1800 -M 900 /tmp/evaluation/205999-1168293748/solver /tmp/evaluation/205999-1168293748/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.92 1.43 1.59 4/87 20094
/proc/meminfo: memFree=1433864/2055920 swapFree=4191880/4192956
[pid=20093] ppid=20091 vsize=5352 CPUtime=0
/proc/20093/stat : 20093 (solver) R 20091 20093 17134 0 -1 4194304 331 334 0 0 0 0 0 0 16 0 1 0 177769860 5480448 241 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 231961979037 0 0 4100 65536 0 0 0 17 1 0 0
/proc/20093/statm: 1338 241 202 169 0 49 0
[startup+0.102769 s]
/proc/loadavg: 1.92 1.43 1.59 4/87 20094
/proc/meminfo: memFree=1433864/2055920 swapFree=4191880/4192956
[pid=20093] ppid=20091 vsize=5352 CPUtime=0
/proc/20093/stat : 20093 (solver) S 20091 20093 17134 0 -1 4194304 354 334 0 0 0 0 0 0 16 0 1 0 177769860 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20093/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352
[startup+0.513696 s]
/proc/loadavg: 1.92 1.43 1.59 4/87 20094
/proc/meminfo: memFree=1433864/2055920 swapFree=4191880/4192956
[pid=20093] ppid=20091 vsize=5352 CPUtime=0.38
/proc/20093/stat : 20093 (solver) S 20091 20093 17134 0 -1 4194304 376 2542 0 0 0 0 34 4 15 0 1 0 177769860 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20093/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 5352
[startup+1.34255 s]
/proc/loadavg: 1.92 1.43 1.59 3/89 20241
/proc/meminfo: memFree=1377976/2055920 swapFree=4191880/4192956
[pid=20093] ppid=20091 vsize=5352 CPUtime=0.38
/proc/20093/stat : 20093 (solver) S 20091 20093 17134 0 -1 4194304 376 2542 0 0 0 0 34 4 15 0 1 0 177769860 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20093/statm: 1338 242 203 169 0 49 0
[pid=20106] ppid=20093 vsize=44164 CPUtime=0.95
/proc/20106/stat : 20106 (bordewijk) R 20093 20093 17134 0 -1 4194304 10525 0 0 0 83 12 0 0 25 0 1 0 177769897 45223936 10497 18446744073709551615 134512640 134912576 4294956768 18446744073709551615 7509183 0 0 4096 0 0 0 0 17 0 0 0
/proc/20106/statm: 11041 10497 204 97 0 10322 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 49516
[startup+2.97924 s]
/proc/loadavg: 1.92 1.43 1.59 3/95 20769
/proc/meminfo: memFree=1338880/2055920 swapFree=4191880/4192956
[pid=20093] ppid=20091 vsize=5352 CPUtime=0.38
/proc/20093/stat : 20093 (solver) S 20091 20093 17134 0 -1 4194304 376 2542 0 0 0 0 34 4 15 0 1 0 177769860 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20093/statm: 1338 242 203 169 0 49 0
[pid=20106] ppid=20093 vsize=134584 CPUtime=2.58
/proc/20106/stat : 20106 (bordewijk) R 20093 20093 17134 0 -1 4194304 35949 0 0 0 205 53 0 0 25 0 1 0 177769897 137814016 32230 18446744073709551615 134512640 134912576 4294956768 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/20106/statm: 33646 32230 217 97 0 32927 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 139936
[startup+6.25764 s]
/proc/loadavg: 1.93 1.43 1.59 3/88 20796
/proc/meminfo: memFree=1113840/2055920 swapFree=4191880/4192956
[pid=20093] ppid=20091 vsize=5352 CPUtime=0.38
/proc/20093/stat : 20093 (solver) S 20091 20093 17134 0 -1 4194304 376 2542 0 0 0 0 34 4 15 0 1 0 177769860 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20093/statm: 1338 242 203 169 0 49 0
[pid=20106] ppid=20093 vsize=134584 CPUtime=5.81
/proc/20106/stat : 20106 (bordewijk) R 20093 20093 17134 0 -1 4194304 35949 0 0 0 220 361 0 0 25 0 1 0 177769897 137814016 32230 18446744073709551615 134512640 134912576 4294956768 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/20106/statm: 33646 32230 217 97 0 32927 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 139936
[startup+12.7245 s]
/proc/loadavg: 1.93 1.44 1.59 3/88 20798
/proc/meminfo: memFree=1285888/2055920 swapFree=4191880/4192956
[pid=20093] ppid=20091 vsize=5352 CPUtime=9.12
/proc/20093/stat : 20093 (solver) S 20091 20093 17134 0 -1 4194304 396 38492 0 0 0 0 268 644 16 0 1 0 177769860 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20093/statm: 1338 242 203 169 0 49 0
[pid=20797] ppid=20093 vsize=76868 CPUtime=3.5
/proc/20797/stat : 20797 (standalone) R 20093 20093 17134 0 -1 4194304 18294 0 0 0 204 146 0 0 25 0 1 0 177770780 78712832 17858 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 4087868292 0 0 4096 0 0 0 0 17 0 0 0
/proc/20797/statm: 19217 17858 137 64 0 18532 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 82220
Child status: 0
Real time (s): 15.4727
CPU time (s): 15.3527
CPU user time (s): 7.42187
CPU system time (s): 7.93079
CPU usage (%): 99.224
Max. virtual memory (cumulated for all children) (KiB): 139936
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.42187
system time used= 7.93079
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57931
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= 422
involuntary context switches= 357
runsolver used 0.023996 s user time and 0.039993 s system time
The end
Begin job on node16 on Mon Jan 8 22:02:29 UTC 2007
IDJOB= 205999
IDBENCH= 4180
FILE ID= node16/205999-1168293748
PBS_JOBID= 3501836
Free space on /tmp= 66510 MiB
BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp36-40/fapp36/fapp36-2000-10.xml
COMMAND LINE= /tmp/evaluation/205999-1168293748/solver /tmp/evaluation/205999-1168293748/unknown 1800
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node16/watcher-205999-1168293748 -o ROOT/results/node16/solver-205999-1168293748 -C 1800 -M 900 /tmp/evaluation/205999-1168293748/solver /tmp/evaluation/205999-1168293748/unknown 1800
META MD5SUM SOLVER= 6c84d9851726bfff2e2bc2bb5530c705
MD5SUM BENCH= a0cfe24393aaec972ad81f1f87dd77c5
RANDOM SEED= 574543196
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.220
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.220
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: 1434280 kB
Buffers: 90108 kB
Cached: 422708 kB
SwapCached: 448 kB
Active: 344292 kB
Inactive: 217824 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1434280 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 13764 kB
Writeback: 0 kB
Mapped: 68032 kB
Slab: 44116 kB
Committed_AS: 4963860 kB
PageTables: 2432 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= 66460 MiB
End job on node16 on Mon Jan 8 22:02:46 UTC 2007