c
c
c
c solution file
c
c
SAT
-2194 -2514 2458 -2890 2690 -2690 2274 -2510 -2550 -2658 -2082 -2322 -2542 -2638 -2854 2754 2258 2214 -2074 -2890 -2854 2442 -2822 -2502 -2398 -2274 -1990 1990 2542 -2378 2074 -2010 2570 -2606 2862 -2806 2710 -2818 -2770 -2146 2854 -2894 2034 -2838 -2850 -2894 -2574 2578 -2686 2850 -2234 -2774 2482 -2034 -2562 -2518 -2854 -2694 -2854 2654 -2734 2154 -2234 -2030 -2382 -2062 2210 -2466 -2486 -2642 -2066 -2846 -2826 -2806 -2842 -2622 -2642 -2258 -2422 -2074 2494 -2394 2214 -2674 -2590 -2890 -2726 -2306 2718 -2338 2114 -2818 2142 -2778 1990 -2582 -2106 -2774 2446 2210 -2706 2258 2482 2714 -2582 -2610 2018 -2726 2374 2842 -2214 2642 -2302 2414 -2530 2030 2518 -2290 -2894 -2002 -2802 -2894 2698 -2846 -2602 -2162 -2002 -2070 2106 -2830 2074 -2514 2646 -2478 2238 2650 2322 -2282 2850 -2254 -2654 -2794 -2190 -2486 2894 -2890 -2606 -2374 2270 -2294 -2454 -2814 -2534 -2854 2854 2194 -2174 2522 -2750 2610 2274 -2658 -2474 -2630 -2030 -2854 -2594 -2478 -2702 -2070 -2850 2678 -2378 -2562 2830 2446 2154 2410 -2834 -2586 -2834 -2474 2774 -2830 -2506 -2110 2894 -2546 -2450 2730 2274 -2382 -2350 -1990 2450 -2182 -2190 2758 2278 -2038 2266 -2110 -2486 2366 2730 -2254 -1994 -2434 2850 -2414 -2770 -2106 2338 -2746 -2798 -2654 2722 -2514 -2378 -2614 -2854 -2570 -2186 -2522 -2390 -2266 -2850 -2374 -2742 2478 -2778 2842 2738 2282 -2714 2706 -2490 -2374 -2746 2170 -2706 -1990 2014 2226 2038 -2878 -2706 -2582 2326 2258 -2458 2030 -2518 2582 2318 2038 2382 -2658 -2706 -2026 -2418 -2854 2810 -2330 -2866 2274 2870 2370 -2298 -2002 -2838 -2606 -2850 -2770 2622 1990 2786 -2890 -2674 -2454 -2562 2674 2578 -2478 2038 2890 -1990 2086 -2354 2302 -2498 -2682 2414 -2586 -2286 -2246 -2602 -2786 -2190 -2846 -2814 -2570 -2258 2750 -2594 2250 2030 -2486 -2650 -2622 2590 -2230 -2142 -2530 2146 2418 -2854 -2854 -2722 1990 2030 -2878 -2678 -2710 -2786 2474 2782 2850 -2618 -2778 2482 -2582 -2554 -2390 -2534 2478 -2582 2154 -2674 -2106 2402 -2446 2366 2334 -2014 2446 2850 -2062 2742 -2382 2050 -2618 2214 2434 -2178 -2602 2190 2030 -2854 2146 -2854 -2098 2030 2650 -1998 -2726 -2034 -2130 -2346 -2718 2806 -2098 -2026 2462 2446 2602 -2218 2562 -2410 -2586 2374 -2042 -2774 2334 -2010 2030 2674 -2850 -2778 -2394 -2674 -2178 2806 -2226 2850 -2426 -2034 2546 -2234 2714 -2882 2826 -2166 2246 2310 2854 -2178 -1994 -2434 2306 -1994 2218 -2750 -2634 -2642 -2130 2854 -2290 2894 -2378 -2406 -2330 -2114 2342 2742 -2850 -2014 -2682 -2330 -2794 2478 -2522 -2214 2230 -2546 2882 -2158 -2826 -2890 -2254 -2526 -2258 2470 -2562 2838 2310 2182 -2894 -2546 -2674 2086 2030 -2258 -2822 -2298 -2598 -2418 2514 -2590 -2194 2330 -2102 -2710 -2442 -2818 -2558 -2850 2238 -2330 2182 -2386 -2302 2182 -2842 2030 -2342 2222 -2554 -2418 2634 2494 -2030 -2542 -2358 -2826 -2538 -2482 -2230 -2370 2446 -2706 1990 -2318 -2654 -1998 -2754 -2474 -2866 -2618 -2470 -2150 -2846 -2754 2746 2462 -2846 2586 -2022 -2850 -2738 2118 -2142 -2674 -2082 2894 -2890 -2862 2702 -2366 -2626 2766 2402 -1998 -2470 -2890 -2510 -2790 2266 -2666 -2882 -2614 -2494 -2434 -2710 -2114 -1990 2666 2618 -2642 -2086 2030 2778 -2218 2478 -2042 1990 -2202 -2658 -2606 -2786 -2218 2806 -2894 2238 -2678 -2398 -2430 -2582 -2470 2114 -2010 -2398 1990 2086 2246 2254 2446 -2002 -2814 -2630 -2818 -2374 -2614 -2118 -2718 -2094 2314 2722 -2190 -2554 -2710 2842 -1994 2894 -2358 2894 2854 -2066 2158 -2622 -2746 -2478 2358 -2530 -2062 -2710 -2066 -2786 2334 -2250 2490 2658 -2794 1990 -2102 -2882 -2270 -2130 -2194 -2726 -2830 -2662 -1990 -2350 -2730 2198 2854 -2082 -2894 -2030 -2582 -2706 -2702 -2026 -1994 -2854 -2890 -2350 -2694 -2030 -2278 -2134 -2858 2114 -1998 -2498 -2486 -2894 -2890 -2222 2558 -2178 -2054 -2442 2190 -2774 -2622 -2854 -2710 2654 -2894 -2494 -2254 2394 2774 -2854 2510 -2682 -2630 2786 -2610 -2750 -2610 -2298 -2478 2446 -2634 2854 -2426 -2562 2522 2742 2438 -2366 -2602 -2674 2102 2662 -2870 -2394 -2414 -2890 2814 2810 -2070 -2286 -2358 -2854 -2894 -2406 -2238 2874 -2410 -2602 2218 2062 2230 2422 2710 2626 -2010 2510 2438 -2734 2538 -2618 -2682 -2218 -2638 2662 -2414 2846 -2046 -2342 -2694 -2882 2046 2690 -2218 2694 -2546 2710 -2070 2354 1990 -2318 -2346 2602 -2646 2810 2054 -2674 -2350 -2150 2326 -2498 -2562 2390 -2466 -2438 2546 2178 2478 2638 2086 2546 -2670 -2514 -2806 2438 -2210 -2042 2534 -2534 -2050 -2030 -2886 -2658 2302 -2782 2850 -2066 -2682 -2518 2442 -2190 -2506 2586 -2494 -1990 -2798 -2746 -2586 2138 2806 -2182 1998 -2422 -2654 -2378 2130 -2218 -2250 2390 2278 -2606 -2446 2502 -2030 -2686 -2654 2882 -2622 1990 2590 2810 2674 -2518 -2810 2810 -2034 2606 2030 -2642 -2218 2158 -2462 -2654 -2178 -2174 -2854 -2334 2314 -2522 2522 2514 -2390 2030 -2562 -2634 -2198 -2282 -2030 -2034 -2346 2894 2890 -2030 -2222 -2774 -2542 -2046 -2374 -2546 2138 -2750 -2806 -2494 1990 -2074 -2842 -2138 2374 -2634 -2178 2814 2030 -2314 -2834 2634 2482 1990 -2490 -2774 -1998 2022 -2058 2830 -2058 2462 2474 2650 2342 2430 2434 -2154 -2586 -2890 -2642 -2894 2538 -2378 2690 -2786 2642 -2118 -2486 2154 -2694 -2890 -2222 2402 -2330 -2298 -2454 -2750 -2790 -2438 -2098 2566 2818 -2030 2030 -2258 -2642 2634 -2602 -2350 -2658 -2482 -2826 -2850 2002 2522 -2746 2498 -2754 -2682 -2826 2442 -2474 2702 -2794 2894 -2582 -2490 -2202 -2710 2566 2166 -2090 2786 -2802 -2410 2514 2582 2274 -2858 -2146 2486 -2214 -2130 -2894 -2842 -2314 -2290 2626 -2886 -2482 -2198 -2114 -2274 -2338 2726 -2030 1990 -2794 2542 -2770 -2358 -2602 -2666 2458 -2018 2546 -2126 -2358 -2858 2790 -2826 -2610 -2310 -2758 2766 2366 -2854 -2406 -2594 -2854 2410 2414 -2058 -2410 -2718 -2598 -2674 -2878 2314 -2450 -2042 2374 2574 -2278 -2430 -2694 2154 2826 2682 -2418 2034 -2150 2314 -2854 -2034 -2734 2358 -2506 -2598 -2562 -2706 -2890 -2530 -2794 -2854 -2142 2482 2558 2566 -2054 -2066 2030 -2418 -2310 2458 -1994 -2426 -2702 2386 -2650 2162 -2394 2426 2578 -2494 1990 -2450 -2030 2726 -2566 2030 -2602 2674 -2794 2342 2382 -2266 2850 2230 2658 -2378 -2778 2114 -2798 2562 -2438 -2466 -2622 2058 -2278 -2658 2174 2758 2378 2602 -2706 -2478 2526 -2014 -2642 -2110 -2850 2602 2446 -2894 -2854 2534 2550 2718 -2550 2210 -2374 -2182 -2050 1990 -2746 2762 -2690 -2066 -2750 -2006 -2298 2234 2814 2226 2162 -2074 2638 -2794 -2306 -2846 -2542 -2398 -2414 -2834 -2874 -2750 -2250 -2474 -2826 2850 2818 -2642 -2010 -2866 -2338 -2370 -2074 2434 2746 2474 -2018 -2762 -1990 2858 -2742 -2346 2842 1990 -2850 2290 2802 2210 2578 -2526 2358 2794 -2758 -2810 -2894 2562 -2206 2818 -2126 -2882 2798 -2422 -2614 -2370 -2734 -2634 -2754 2382 -2114 -2894 -1990 2158 -2558 -2102 -2706 2282 -2030 2146 -2186 -2270 -2322 -2366 2414 -2158 2858 -1990 -1994 2250 2066 2154 -2522 2714 2598 2030 -2490 2582 -2158 2814 2542 -2174 2466 -2122 2370 2554 -2194 2834 -2030 -2658 -2306 -2034 -2578 -2774 -2106 -2854 2378 -2678 -2854 2894 -2498 -2438 -2818 2522 -2618 -2530 -2370 2838 2246 -2218 -2154 -2538 -2854 2682 2218 -2598 -2618 2670 -2546 2726 2550 -2730 2094 -2494 2514 -2518 2474 2614 -2202 -2242 -2826 -2842 -2786 -2690 2894 -2046 2442 2382 2370 -2318 2838 2390 -2486 -2502 -2278 -2126 -2710 2522 -2494 2090 -2858 2698 2190 -2522 -2570 -2850 -2606 -2618 -2046 2478 -2406 2734 -2198 -2526 2490 2506 -2734 -2694 -2446 -2130 2642 -2310 2594 -2218 -2894 -2074 -2558 -2046 -2502 -2350 -2034 2418 -2402 -2842 2854 2162 -2074 2742 -2366 2306 -2894 2378 -2286 -2794 -2850 2854 -2306 -2678 -2414 -2410 2042 2278 2778 2114 -2310 -2694 -2702 -2894 2670 -2542 -2414 2250 2718 2302 2662 2314 -2466 2834 2346 -2562 -2174 -2326 2550 -2258 2066 -2730 -2518 2322 -2186 -2370 2242 -2750 2802 -2230 -2690 -2894 -2694 -2654 2890 2826 -2806 2330 -2106 -2170 -2450 -2138 -2586 -2610 2814 -2322 2138 2222 2454 -2318 -2826 -2842 -2054 1990 2734 2758 2730 -2338 -2666 2170 2686 2542 -1990 2854 2802 2350 -2562 -2786 2578 2794 -2218 2442 2258 -2466 -2578 -2558 -2198 -2042 -2782 -2578 -2142 -2490 -2678 2518 2626 2098 -2818 -2178 2746 -2086 -2454 -2034 -2694 2418 -2054 -2546 1990 -2746 -2210 -2198 -2850 2442 -2666 -2030 2126 -2650 -2262 -2758 -2522 -2850 -2206 -2822 2598 -2774 -2698 -2518 2586 -2894 -2562 -2274 -2334 2030 -2502 -2218 -2634 -2698 -2658 -2086 2542 -2422 1994 -2134 2350 -2502 2622 -2786 2238 -2374 2374 -2410 -2746 2262 2630 2074 -2562 -1990 2678 2554 -1990 -2270 -2298 -2086 2082 -2350 2174 -2574 -2794 2502 -2462 2406 -2230 -2322 -2678 -2426 -2546 -2846 -2050 2854 -2794 -2070 2538 2338 -2510 1990 -2314 -2706 -2286 -2642 -2850 -2450 2454 2346 2462 2658 -2394 -2534 -2890 -2058 2510 -2854 -2206 2542 -2178 -2066 2182 -2366 2846 -2838 -2734 -2182 2670 -2302 2698 -2882 -2714 2194 2054 2890 -2894 -2202 -2410 -2534 -2766 -2618 2322 2502 -2850 -2786 2850 -2038 -2834 -2270 -2542 -2454 -2030 -2370 2854 -2398 -2418 -2662 2002 -2850 1990 -2142 2450 2482 -2594 -2430 2442 2654 -2414 -2586 2850 -2318 2610 2818 2806 2178 -2586 -2006 -2314 -2170 -2746 -2546 1990 2286 -2358 2802 -2894 -2326 -2442 2706 -2730 -2046 2486 2190 2746 2298 -2414 2490 2454 -2894 2494 -2682 2234 -2382 -2890 -2042 -2538 2706 2114 -2638 -2766 -2014 -2746 2746 -2282 -2274 2386 2322 -2038 -2714 -2890 -2110 -2582 2770 -2326 2094 -2698 -2894 2518 -2354 -2038 -2570 2082 -2310 -2130 -2350 2746 -2478 -2070 -2198 -2054 -2518 -2334 -2006 -1990 -2290 2582 -2110 2438 -2166 2138 -2846 2234 -2462 2870 -2654 -2166 -2890 2030 -2842 1990 -2482 -2102 -2622 2054 -2646 -2754 2806 -2890 -2582 2354 -2566 -2546 -2162 2394 -2758 2202 -2706 2638 -2694 2582 -2542 -2354 2062 1990 -2362 -2618 -2886 2870 2798 2374 2390 2090 -2818 -2602 -2106 2030 -2642 -2030 2414 2378 -2582 2050 -2126 -2242 2326 2622 -2466 2786 -2498 2170 2846 -2526 2354 2442 -2030 -2642 -2742 2426 -2894 -2862 -2814 -2198 -2778 -2734 -2614 2642 2450 2770 2418 2522 -2098 2582 -2154 -2618 -2334 -2542 -2798 2502 -2750 -2798 -2734 -2462 -2562 -2850 2286 -2326 2282 2806 -2586 -2814 -2710 -2058 -2514 -2462 2262 2670 2122 2058 -2338 -2238 -2646 -2846 -2090 -2814 -2818 -2718 2030 2886 2030 -2166 -2534 -2846 -2466 -2474 -2318 -2706 2278 -2842 -2854 -2590 2806 2834 2894 -2126 2406 2894 -2154 -2750 2682 2822 2030 2178 -2470 2058 -2310 2586 -2338 -2142 -2418 2374 -2274 2406 -2478 -2282 -2870 2534 -2542 -2862 -2374 -2766 -2650 2646 -1998 -2002 -2890 2562 -2058 -2678 -2026 -2282 -2350 -2398 -2102 -2890 2030 -2318 2738 -2070 -1990 -2014 -2214 -2386 -2502 -2346 -2354 -2398 -2214 2214 2482 -2774 -2554 -2798 -2622 2850 -2274 -2302 2854 -2342 -2262 -2238 2746 -2878 -2458 -2406 -2826 2846 -2514 -2062 -2698 2426 2754 2738 -2566 -1998 -2662 -2774 -2414 -2698 1990 -2006 2470 2030 -2574 2478 -2826 -2758 -2762 -2490 -2362 2018 2446 -2662 -2850 -2854 2594 -2378 2286 -2786 -2518 -2170 1990 2682 2858 -2658 2278 -2682 2342 -2610 -2474 -2030 2522 2582 -2854 2438 2098 -1990 -2762 1990 -2466 -2810 -2250 -2374 -2102 2106 -2282 -2038 -2246 -2346 1990 -2710 2146 2398 2562 -2786 2342 -2050 2658 -2514 -2826 -2430 -2126 -2602 2690 -2714 2594 2398 2030 2850 2258 -2654 -2542 -2834 -2526 -2890 -2694 2030 -2774 2042 -2538 -2686 -2322 2042 2766 -2894 -2282 -2718 -2310 -2890 -2574 -2758 -2686 -2414 -2850 -2666 -2694 2042 -2842 -2546 -2310 -2486 -2618 -2274 -2894 -2066 -2462 -2802 -2482 2050 -2046 -2806 -2766 -2502 -2534 -2734 2194 -2586 2078 -2578 -2018 2618 -2262 -2034 2394 2830 -2774 2626 -2750 -2218 2282 -2574 2242 -2554 2478 2798 2390 -2890 2554 -2106 -2506 -2066 2802 -2470 2326 -2322 2786 -2890 -2566 -2274 -2106 -2854 2686 -2042 2270 -1990 -2574 -2154 -2854 2374 2422 2266 2466
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node16/watcher-206030-1168293770 -o ROOT/results/node16/solver-206030-1168293770 -C 1800 -M 900 /tmp/evaluation/206030-1168293770/solver2 /tmp/evaluation/206030-1168293770/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.86 1.45 1.59 3/87 21468
/proc/meminfo: memFree=1323000/2055920 swapFree=4191880/4192956
[pid=21467] ppid=21465 vsize=5352 CPUtime=0
/proc/21467/stat : 21467 (solver2) R 21465 21467 17134 0 -1 4194304 194 0 0 0 0 0 0 0 20 0 1 0 177771983 5480448 161 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 231962251152 0 0 4096 0 0 0 0 17 1 0 0
/proc/21467/statm: 1338 161 133 169 0 49 0
[startup+0.103813 s]
/proc/loadavg: 1.86 1.45 1.59 3/87 21468
/proc/meminfo: memFree=1323000/2055920 swapFree=4191880/4192956
[pid=21467] ppid=21465 vsize=5352 CPUtime=0
/proc/21467/stat : 21467 (solver2) S 21465 21467 17134 0 -1 4194304 353 334 0 0 0 0 0 0 22 0 1 0 177771983 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21467/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352
[startup+0.511736 s]
/proc/loadavg: 1.86 1.45 1.59 3/87 21468
/proc/meminfo: memFree=1323000/2055920 swapFree=4191880/4192956
[pid=21467] ppid=21465 vsize=5352 CPUtime=0.38
/proc/21467/stat : 21467 (solver2) S 21465 21467 17134 0 -1 4194304 376 2542 0 0 0 0 35 3 15 0 1 0 177771983 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21467/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 5352
[startup+1.33259 s]
/proc/loadavg: 1.86 1.45 1.59 3/84 21489
/proc/meminfo: memFree=1354448/2055920 swapFree=4191880/4192956
[pid=21467] ppid=21465 vsize=5352 CPUtime=0.38
/proc/21467/stat : 21467 (solver2) S 21465 21467 17134 0 -1 4194304 376 2542 0 0 0 0 35 3 15 0 1 0 177771983 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21467/statm: 1338 242 203 169 0 49 0
[pid=21489] ppid=21467 vsize=44956 CPUtime=0.92
/proc/21489/stat : 21489 (bordewijk) R 21467 21467 17134 0 -1 4194304 10730 0 0 0 83 9 0 0 25 0 1 0 177772023 46034944 10702 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 7640699 0 0 4096 0 0 0 0 17 0 0 0
/proc/21489/statm: 11239 10702 204 97 0 10520 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 50308
[startup+2.97228 s]
/proc/loadavg: 1.87 1.45 1.59 3/84 21489
/proc/meminfo: memFree=1314704/2055920 swapFree=4191880/4192956
[pid=21467] ppid=21465 vsize=5352 CPUtime=0.38
/proc/21467/stat : 21467 (solver2) S 21465 21467 17134 0 -1 4194304 376 2542 0 0 0 0 35 3 15 0 1 0 177771983 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21467/statm: 1338 242 203 169 0 49 0
[pid=21489] ppid=21467 vsize=134584 CPUtime=2.56
/proc/21489/stat : 21489 (bordewijk) R 21467 21467 17134 0 -1 4194304 35949 0 0 0 203 53 0 0 25 0 1 0 177772023 137814016 32230 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/21489/statm: 33646 32230 217 97 0 32927 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 139936
[startup+6.25868 s]
/proc/loadavg: 1.87 1.45 1.59 2/82 21494
/proc/meminfo: memFree=1275752/2055920 swapFree=4191880/4192956
[pid=21467] ppid=21465 vsize=5352 CPUtime=0.38
/proc/21467/stat : 21467 (solver2) S 21465 21467 17134 0 -1 4194304 376 2542 0 0 0 0 35 3 15 0 1 0 177771983 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21467/statm: 1338 242 203 169 0 49 0
[pid=21489] ppid=21467 vsize=134584 CPUtime=5.83
/proc/21489/stat : 21489 (bordewijk) R 21467 21467 17134 0 -1 4194304 35949 0 0 0 219 364 0 0 25 0 1 0 177772023 137814016 32230 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/21489/statm: 33646 32230 217 97 0 32927 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 139936
[startup+12.7335 s]
/proc/loadavg: 1.82 1.45 1.59 3/88 22178
/proc/meminfo: memFree=1241080/2055920 swapFree=4191880/4192956
[pid=21467] ppid=21465 vsize=5352 CPUtime=8.39
/proc/21467/stat : 21467 (solver2) S 21465 21467 17134 0 -1 4194304 397 38492 0 0 0 0 265 574 16 0 1 0 177771983 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21467/statm: 1338 242 203 169 0 49 0
[pid=21545] ppid=21467 vsize=76868 CPUtime=4.29
/proc/21545/stat : 21545 (standalone) R 21467 21467 17134 0 -1 4194304 18459 0 0 0 289 140 0 0 25 0 1 0 177772827 78712832 18023 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 4088578339 0 0 4096 0 0 0 0 17 0 0 0
/proc/21545/statm: 19217 18023 137 64 0 18532 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 82220
Child status: 0
Real time (s): 18.7849
CPU time (s): 18.7481
CPU user time (s): 11.5682
CPU system time (s): 7.17991
CPU usage (%): 99.8042
Max. virtual memory (cumulated for all children) (KiB): 139936
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.5682
system time used= 7.17991
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57934
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= 421
involuntary context switches= 441
runsolver used 0.016997 s user time and 0.066989 s system time
The end
Begin job on node16 on Mon Jan 8 22:02:51 UTC 2007
IDJOB= 206030
IDBENCH= 4182
FILE ID= node16/206030-1168293770
PBS_JOBID= 3501836
Free space on /tmp= 66479 MiB
BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp36-40/fapp36/fapp36-2000-8.xml
COMMAND LINE= /tmp/evaluation/206030-1168293770/solver2 /tmp/evaluation/206030-1168293770/unknown 1800
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node16/watcher-206030-1168293770 -o ROOT/results/node16/solver-206030-1168293770 -C 1800 -M 900 /tmp/evaluation/206030-1168293770/solver2 /tmp/evaluation/206030-1168293770/unknown 1800
META MD5SUM SOLVER= 2182e29fee250f6e45b9a85a6429fa3a
MD5SUM BENCH= 7f44d72a5fa7a0f4922e4f4ea44d0317
RANDOM SEED= 511248468
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: 1323480 kB
Buffers: 90644 kB
Cached: 459504 kB
SwapCached: 448 kB
Active: 451156 kB
Inactive: 221808 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1323480 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 45948 kB
Writeback: 0 kB
Mapped: 142252 kB
Slab: 44128 kB
Committed_AS: 5057940 kB
PageTables: 2496 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:03:11 UTC 2007