c
c
c
c solution file
c
c
SAT
-2194 -2514 -2450 -2890 2690 2690 2274 -2506 -2550 -2658 -2082 -2250 -2542 -2638 -2854 -2770 2242 -2222 -2074 -2890 -2854 2446 -2886 -2502 -2390 -2274 1990 -1990 2550 -2382 2074 2010 2570 2606 2862 2802 -2710 -2818 -2770 -2146 2854 -2894 2038 -2838 -2854 -2894 2578 -2578 -2686 2770 -2318 -2774 -2478 -2034 -2562 -2518 -2830 -2694 -2854 2654 -2730 2154 2246 2030 -2382 1990 2210 -2466 -2482 -2646 -2066 -2842 -2826 -2830 -2838 -2622 -2642 -2262 -2426 -2070 -2486 -2394 2214 -2670 -2590 2894 -2726 -2302 2718 -2334 2110 -2818 2142 -2778 1990 2582 -2106 2770 2438 -2146 2706 2258 -2486 -2718 -2586 2606 1990 -2726 2382 2842 2214 2642 -2298 2414 -2530 2030 2518 2278 -2894 -2014 -2834 -2894 2702 -2830 -2602 -2030 -2006 -2070 2106 -2830 -2074 -2514 2646 -2478 2238 2646 -2322 -2278 2850 -2262 2650 -2810 -2194 -2486 2894 -2890 -2606 -2374 2270 -2302 -2446 -2814 -2538 -2850 -2854 2194 -2174 2522 -2750 2606 -2286 -2654 -2474 2638 -2030 2854 -2602 -2478 -2702 -2074 -2850 2670 2370 2562 2830 2446 2154 2410 -2834 -2586 -2834 -2482 2774 -2830 -2506 -2110 2894 -2546 -2442 2730 2282 -2378 -2354 -1994 2458 2034 -2190 2754 2290 1990 2262 -2110 -2490 2366 2730 -2254 -1994 2438 -2850 -2414 2774 2094 -2342 2750 2794 2650 2722 -2510 -2382 -2618 2894 -2618 -2186 2522 -2386 -2258 2854 -2378 2742 2466 -2778 2850 2738 2282 -2718 -2702 -2490 -2374 2746 2170 -2706 -1990 2030 2226 2034 -2878 -2706 -2582 -2322 2258 -2458 2030 2526 2582 2290 2038 2386 -2658 -2702 2178 -2422 -2854 2810 -2334 -2866 2274 -2870 -2374 2298 -1990 -2834 2606 -2894 -2770 2622 2014 2786 -2890 -2674 -2454 -2562 2678 2582 -2478 2038 2890 -1990 -2078 2354 2306 -2494 2682 -2410 2574 -2286 2250 -2602 -2786 -2190 -2846 2810 -2570 -2262 -2754 2594 -2266 -2066 -2486 -2650 -2646 2590 -2230 -2142 -2534 2150 2430 2850 -2854 -2718 1990 2030 -2882 2894 -2710 2786 -2470 -2782 -2850 -2626 -2754 -2486 -2582 -2550 -2394 -2538 2478 -2582 2166 2678 -2106 -2390 -2442 -2362 2334 -2014 2446 2838 -2066 2742 -2386 -2050 -2614 2214 2430 -2178 -2598 2190 2030 -2854 2146 -2854 -2182 2030 2654 -2002 2722 -2042 2130 2342 -2854 -2806 2122 -2026 2458 2446 -2594 -2218 2562 -2414 -2586 -2374 -2038 -2774 -2338 -2010 2010 2674 -2854 -2778 -2394 -2678 -2174 2838 2218 2850 -2430 -2034 -2542 -2234 -2726 -2882 -2778 -2162 2258 2310 -2834 -2178 -1990 -2438 2306 2002 2222 -2754 2634 -2642 -2146 2854 2306 2886 -2378 -2406 2330 -2114 2350 2742 -2850 -2014 -2682 2334 -2794 2478 -2522 -2214 -2230 -2546 2886 2166 -2826 -2890 2250 2526 -2258 2466 -2562 2838 -2446 2210 -2894 -2546 -2674 2086 2030 -2250 -2822 -2298 -2598 -2418 2514 -2598 -2190 2330 -2102 -2710 -2446 -2794 -2558 -2894 2242 -2318 2186 2382 -2314 2154 -2842 2030 -2338 2222 -2554 -2422 -2630 2490 2030 -2542 -2362 -2826 2530 -2486 -2230 2370 2438 -2706 -1990 -2314 -2662 -1998 -2754 -2474 -2862 2610 -2462 -2154 -2850 2746 2742 2458 -2854 2578 -2102 -2850 -2730 2062 -2142 -2686 -2082 2894 -2854 -2862 2702 -2362 -2622 -2838 2406 -1994 -2466 -2854 2510 -2794 2266 -2658 -2882 -2614 -2510 -2434 -2706 -2114 -1990 -2666 -2622 -2642 -2150 -2030 2782 -2214 2482 -1994 -1990 -2202 2654 -2610 -2790 2218 2798 -2626 2250 -2678 -2398 -2430 2582 -2470 2114 -2010 -2394 1990 2086 2246 2250 2442 -2034 -2814 -2630 -2818 2374 -2618 -2122 -2718 -2086 2314 -2734 -2190 2550 -2710 2842 -2038 2894 -2354 2894 2854 -2066 2158 -2622 -2746 -2478 2362 -2530 2062 -2710 -2046 -2786 2334 -2246 -2490 2654 -2790 1990 2102 -2882 -2278 -2130 -2194 2730 -2830 -2662 -1990 -2346 -2726 -2174 2854 -2082 -2894 -2042 -2582 2706 -2702 -2018 -1990 -2854 2838 -2350 -2698 -1990 -2274 -2106 -2858 -2114 -2030 -2494 -2482 -2894 -2890 -2194 -2566 -2118 -2054 -2442 2190 -2774 -2622 -2854 -2714 -2654 -2894 -2502 -2262 -2394 2770 2846 2510 -2682 -2630 2786 -2578 -2750 -2610 2294 -2478 2446 -2630 2854 2430 -2562 2518 2746 2442 2366 -2602 -2674 2102 -2662 2866 2394 -2414 2894 -2814 2814 -2070 -2218 -2358 -2886 -2894 -2398 2250 -2890 -2414 -2606 2218 2066 2230 2422 2710 2622 -2014 2510 2438 -2738 2526 -2618 -2682 -2218 -2638 2662 -2410 2846 -2034 -2342 -2686 2878 -2038 2690 -2210 -2690 -2546 2710 -2070 2354 -2078 -2318 -2342 2602 -2650 -2810 2054 -2670 -2350 -2150 -2326 2498 -2566 -2390 -2466 -2438 2554 2178 -2478 -2630 -2090 2546 2670 -2518 -2806 2438 -2206 -2046 2514 -2534 2050 -2030 -2886 -2662 2302 -2786 -2850 -2138 -2682 -2518 2446 -2110 -2506 -2586 2474 -1990 -2794 -2746 -2586 2142 2802 -2182 1998 -2422 -2654 -2378 2130 -2218 -2250 -2390 -2250 -2606 -2446 2498 -2046 -2762 -2654 2882 -2622 2030 2586 2826 2686 -2518 -2810 2818 -2026 2606 2030 -2634 -2078 2158 -2462 2646 -2178 -2174 -2854 -2334 2322 -2522 2522 2514 -2390 2030 -2554 -2634 -2198 -2362 2034 2030 -2350 2818 -2890 -2030 -2222 -2774 -2542 2050 -2374 2534 2134 2750 -2810 -2490 1990 2078 -2842 -2130 2374 2554 -2182 -2818 2030 -2314 -2834 -2638 2482 1990 -2494 2774 -1994 2022 -2030 2826 -2070 2466 -2478 2650 2346 2442 -2426 -2154 -2586 -2890 -2650 -2894 2542 -2374 -2694 -2786 -2642 2134 -2486 2154 2698 -2746 -2222 2406 -2330 -2282 -2450 2754 2794 -2442 -2102 2562 -2854 -2034 2030 -2282 -2642 2630 -2598 -2350 2658 -2482 -2826 -2890 2002 2518 -2746 2502 -2758 -2686 -2826 2442 -2478 -2702 2798 -2890 -2582 -2490 -2202 -2710 2566 -2170 -2090 2842 2802 -2414 2518 2578 -2266 -2858 -2146 -2486 -2214 -2130 -2894 -2846 -2314 -2290 2626 -2886 -2478 -2198 -2118 -2274 -2338 2726 -2210 2026 2794 -2546 2770 2350 2606 -2666 2454 2018 2546 -2126 -2358 -2858 2790 -2822 -2610 -2318 2758 -2790 2370 -2890 -2410 -2606 -2854 2414 -2422 -2058 2406 -2718 2594 2674 -2878 2314 -2454 -2030 2374 2574 -2278 -2422 -2690 2154 -2826 2690 -2418 -1998 -2158 2314 -2806 -2038 -2734 -2354 -2514 -2598 -2562 -2706 -2878 -2530 -2794 -2854 -2146 2482 2562 2566 -2054 -2046 2034 -2414 -2310 2458 -1994 -2430 -2702 2386 -2650 2162 -2386 -2418 2578 -2494 1990 -2446 -2038 2726 -2566 2006 -2602 2678 -2794 -2342 2378 -2262 2850 -2230 -2662 -2374 -2770 2114 -2794 2562 -2438 -2466 -2622 -2058 -2282 -2658 2174 -2834 2382 2594 2706 2482 2530 -2022 2642 -2114 -2858 2602 2458 -2894 -2834 -2542 2546 -2718 -2550 2214 -2374 -2182 -2050 -1990 2746 2758 -2694 -1990 -2750 -2010 2298 2230 -2806 2226 2162 -2074 -2642 -2794 -2302 2842 2538 -2402 -2414 -2830 -2870 -2754 -2186 2474 -2826 2850 2822 -2642 -2010 -2818 -2334 -2366 -2074 2434 2746 2470 -2026 -2794 -1990 -2894 -2742 -2278 2842 2006 -2890 2294 2798 2210 2566 -2526 2362 2786 2758 -2810 -2894 -2566 2206 -2890 -2126 -2882 -2798 -2426 -2614 -2370 -2738 -2638 -2754 2390 -2114 2790 -2002 2158 -2554 -2106 -2706 2282 -2030 2150 -2190 2286 -2322 -2366 2410 -2174 2850 -1994 -1990 2254 2066 -2170 2518 2714 2602 2030 -2490 2582 -2102 2810 2546 -2174 2466 -2122 -2370 2566 -2206 2834 -2038 -2662 -2318 -2030 -2574 -2774 -2086 -2854 -2382 -2678 -2854 2894 -2498 -2438 2818 -2526 2622 -2530 -2374 -2894 2242 -2222 -2154 2534 -2854 2682 2218 -2598 -2622 2670 -2538 -2726 2550 -2734 2066 -2494 -2514 -2518 -2478 2614 -2202 -2310 2826 -2842 -2786 -2690 2894 -2034 2442 -2390 2370 -2322 -2842 -2390 -2482 -2498 -2290 -2126 -2710 -2522 -2494 2090 -2858 2694 -2198 -2522 -2570 -2850 -2602 -2614 -2066 2478 2410 2734 -2210 -2530 -2494 2510 -2734 -2694 2442 -2130 2642 -2318 -2594 -2218 -2894 -2066 -2558 -2050 -2498 -2350 -2030 2414 2402 -2842 2586 -2162 -2074 -2822 -2366 -2302 -2890 2374 -2286 -2794 2878 2854 2306 -2674 -2414 -2406 2042 -2274 2778 2130 -2310 -2694 2702 -2894 -2666 -2538 -2414 2250 -2854 -2302 2662 2314 -2470 -2850 2346 2562 -2170 -2326 2550 -2258 -2054 -2734 -2518 -2322 -2186 2374 2242 2750 2806 -2230 -2690 -2854 -2694 -2654 2890 -2882 2802 2330 -2106 -2106 -2454 2142 -2586 -2610 2814 -2314 -2142 2226 -2458 2318 -2826 -2842 -2062 1990 2734 2750 2730 -2338 -2666 2174 2686 2542 -1990 2854 2810 2350 -2478 -2786 2570 2794 2242 2438 2262 2470 -2578 -2558 -2198 -2030 -2782 -2570 -1994 -2474 -2678 2518 2618 2110 -2818 -2174 2750 -2026 -2442 2034 -2694 2418 2054 -2546 1990 -2746 -2202 -2194 -2850 2438 -2666 -2030 2126 -2654 -2258 -2758 2514 -2850 -2202 -2822 2598 -2774 2694 -2506 2586 -2894 -2562 -2274 2334 2030 2510 -2218 -2634 -2698 -2658 -2086 2542 -2418 1998 -2130 2350 -2502 2622 2786 2214 -2374 -2370 -2406 -2742 2274 -2630 -2078 -2562 -1990 2682 2562 -2006 2290 -2298 -2078 2082 -2306 -2174 -2578 -2794 2506 -2462 -2406 -2230 -2342 -2678 -2426 -2546 -2846 -2042 2854 -2794 -2070 2530 2338 2510 2170 -2314 -2706 -2282 -2638 -2786 2446 2450 2346 -2462 2666 -2394 -2530 2894 -2054 2502 -2854 -2202 2542 2170 -2066 2182 -2370 2846 2838 2654 -2182 -2670 2318 2698 -2882 -2726 2210 -2046 2890 2846 -2202 -2418 2550 -2770 -2618 -2322 2502 -2854 -2786 2862 -2038 -2834 -2486 -2542 2454 -2030 -2374 2858 -2394 -2410 -2662 1998 2850 1990 -2170 2450 2482 -2590 2430 -2446 -2654 -2418 -2586 2850 -2314 -2610 2818 2806 2178 -2582 1994 -2314 2170 -2746 -2546 1990 2294 -2358 2806 2794 -2334 2430 -2702 2730 2110 2490 2190 2746 2302 -2414 2482 2450 2874 2502 2682 -2226 -2382 -2890 -2038 2534 -2710 -2106 -2638 2762 -2014 -2746 -2750 -2270 -2278 -2386 -2326 -2034 -2714 2894 -2110 2582 2750 -2326 2094 -2694 -2850 2518 -2354 -2042 2570 -1990 2330 2134 -2354 2746 -2478 -2070 -2206 1990 -2518 -2338 -2002 -1990 -2222 2582 -2110 2434 2166 2142 -2878 -2234 -2458 2870 -2654 -2166 2850 -2030 -2846 -2050 2482 -2046 2622 2054 -2646 -2750 2806 -2850 -2582 2354 2566 -2546 -2162 2394 -2758 -1990 -2706 2638 -2702 2606 -2542 -2354 2006 1994 -2366 -2618 -2890 -2870 -2790 2374 -2402 -2082 -2818 -2602 -2106 -2034 2638 -2030 2414 2382 -2582 -2050 -2126 -2246 -2326 -2622 -2466 2786 -2490 2170 2850 -2526 2354 -2446 2054 -2642 -2742 -2426 -2894 -2862 -2846 -2198 -2774 -2734 -2614 2646 2434 2774 2422 2522 -2078 -2582 -2170 -2618 -2334 -2542 -2814 -2498 -2750 -2798 2734 -2462 -2558 -2850 2286 -2326 2290 2806 -2586 -2814 -2714 -2066 -2514 -2462 2266 2670 -2122 2082 -2342 2234 -2646 -2846 -2090 -2814 -2818 -2714 -2034 2894 2046 -2166 -2542 -2846 -2470 -2478 -2314 2710 2278 -2838 -2854 -2590 2790 2834 -2890 -2130 -2406 2894 -2150 2754 2682 2822 -2030 -2182 -2470 2118 -2326 -2582 -2338 -2142 -2418 -2374 -2274 -2402 -2478 -2274 -2870 2534 -2542 2846 -2374 -2766 -2646 2650 1998 1998 -2890 2562 -1994 -2682 -2030 -2282 -2350 -2402 2106 -2890 2030 2318 2738 -2070 -1994 -2014 2214 -2390 2502 -2346 -2354 -2398 -2290 2210 2474 -2774 -2546 -2798 -2622 2850 -2274 -2302 2850 -2346 -2262 -2250 2742 -2854 -2470 -2418 -2826 2846 -2510 -2062 -2698 2426 2754 2734 -2566 -1998 -2662 -2778 -2414 -2698 2002 -1994 2470 2042 -2574 2478 2826 -2774 -2766 2490 -2282 -2034 2442 2662 -2850 -2774 2590 -2378 2290 -2786 -2518 2162 1990 -2682 2858 -2654 2282 2682 -2358 -2610 -2474 -2030 -2522 -2582 -2854 2438 2098 -1998 -2774 -1990 -2470 -2790 2262 -2378 -2030 2110 -2282 -2038 2242 -2346 -2046 -2714 -2150 2398 2558 -2786 2350 2054 -2650 2522 -2826 -2426 -2118 -2606 2686 2714 -2586 2402 2030 2854 2254 -2646 -2542 -2834 -2526 -2890 -2694 -2030 -2770 2042 -2538 2686 2238 2042 2766 -2894 -2286 -2722 -2346 -2890 -2574 2894 -2690 2402 -2866 -2662 -2686 2042 -2842 -2546 -2310 -2478 -2618 2274 2886 -2058 -2454 -2802 2486 -2050 -2042 -2810 2770 -2502 -2534 -2734 2194 -2586 2082 -2578 -2014 2618 -2262 -2034 2394 2830 -2766 2626 -2750 -2218 2302 -2578 -2242 2554 2478 -2798 -2394 -2822 2554 2110 -2506 -2066 -2802 -2462 2322 -2322 -2786 -2890 -2566 -2270 -2006 -2846 2686 -2054 2278 -1994 -2578 2146 -2854 2374 2414 2266 2458
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node16/watcher-206014-1168293751 -o ROOT/results/node16/solver-206014-1168293751 -C 1800 -M 900 /tmp/evaluation/206014-1168293751/solver2 /tmp/evaluation/206014-1168293751/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 5/93 20764
/proc/meminfo: memFree=1340944/2055920 swapFree=4191880/4192956
[pid=20763] ppid=20761 vsize=18540 CPUtime=0
/proc/20763/stat : 20763 (runsolver) R 20761 20763 17107 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 177770081 18984960 279 18446744073709551615 4194304 4267372 548682069072 18446744073709551615 231962373415 0 0 4096 24578 0 0 0 17 1 0 0
/proc/20763/statm: 4635 279 244 17 0 2626 0
[startup+0.111031 s]
/proc/loadavg: 1.92 1.43 1.59 5/93 20764
/proc/meminfo: memFree=1340944/2055920 swapFree=4191880/4192956
[pid=20763] ppid=20761 vsize=5352 CPUtime=0
/proc/20763/stat : 20763 (solver2) S 20761 20763 17107 0 -1 4194304 353 334 0 0 0 0 0 0 16 0 1 0 177770081 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20763/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352
[startup+0.518959 s]
/proc/loadavg: 1.92 1.43 1.59 5/93 20764
/proc/meminfo: memFree=1340944/2055920 swapFree=4191880/4192956
[pid=20763] ppid=20761 vsize=5352 CPUtime=0.39
/proc/20763/stat : 20763 (solver2) S 20761 20763 17107 0 -1 4194304 376 2542 0 0 0 0 35 4 15 0 1 0 177770081 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20763/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 5352
[startup+1.3408 s]
/proc/loadavg: 1.93 1.43 1.59 3/94 20776
/proc/meminfo: memFree=1226944/2055920 swapFree=4191880/4192956
[pid=20763] ppid=20761 vsize=5352 CPUtime=0.39
/proc/20763/stat : 20763 (solver2) S 20761 20763 17107 0 -1 4194304 376 2542 0 0 0 0 35 4 15 0 1 0 177770081 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20763/statm: 1338 242 203 169 0 49 0
[pid=20776] ppid=20763 vsize=41128 CPUtime=0.91
/proc/20776/stat : 20776 (bordewijk) R 20763 20763 17107 0 -1 4194304 9775 0 0 0 84 7 0 0 25 0 1 0 177770122 42115072 9747 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 134562856 0 0 4096 0 0 0 0 17 1 0 0
/proc/20776/statm: 10282 9747 204 97 0 9563 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 46480
[startup+2.9785 s]
/proc/loadavg: 1.93 1.43 1.59 3/94 20776
/proc/meminfo: memFree=1188160/2055920 swapFree=4191880/4192956
[pid=20763] ppid=20761 vsize=5352 CPUtime=0.39
/proc/20763/stat : 20763 (solver2) S 20761 20763 17107 0 -1 4194304 376 2542 0 0 0 0 35 4 15 0 1 0 177770081 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20763/statm: 1338 242 203 169 0 49 0
[pid=20776] ppid=20763 vsize=134584 CPUtime=2.52
/proc/20776/stat : 20776 (bordewijk) R 20763 20763 17107 0 -1 4194304 35949 0 0 0 222 30 0 0 25 0 1 0 177770122 137814016 32230 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 7992019 0 0 4096 0 0 0 0 17 1 0 0
/proc/20776/statm: 33646 32230 217 97 0 32927 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 139936
[startup+6.2709 s]
/proc/loadavg: 1.93 1.44 1.59 3/88 20796
/proc/meminfo: memFree=1109616/2055920 swapFree=4191880/4192956
[pid=20763] ppid=20761 vsize=5352 CPUtime=0.39
/proc/20763/stat : 20763 (solver2) S 20761 20763 17107 0 -1 4194304 376 2542 0 0 0 0 35 4 15 0 1 0 177770081 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20763/statm: 1338 242 203 169 0 49 0
[pid=20776] ppid=20763 vsize=134584 CPUtime=5.8
/proc/20776/stat : 20776 (bordewijk) R 20763 20763 17107 0 -1 4194304 35949 0 0 0 238 342 0 0 25 0 1 0 177770122 137814016 32230 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/20776/statm: 33646 32230 217 97 0 32927 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 139936
[startup+12.7287 s]
/proc/loadavg: 1.94 1.45 1.59 3/88 20798
/proc/meminfo: memFree=1235296/2055920 swapFree=4191880/4192956
[pid=20763] ppid=20761 vsize=5352 CPUtime=9.25
/proc/20763/stat : 20763 (solver2) S 20761 20763 17107 0 -1 4194304 397 38492 0 0 0 0 289 636 16 0 1 0 177770081 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20763/statm: 1338 242 203 169 0 49 0
[pid=20798] ppid=20763 vsize=76868 CPUtime=3.36
/proc/20798/stat : 20798 (standalone) R 20763 20763 17107 0 -1 4194304 18284 0 0 0 192 144 0 0 25 0 1 0 177771015 78712832 17848 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 4088746468 0 0 4096 0 0 0 0 17 1 0 0
/proc/20798/statm: 19217 17848 137 64 0 18532 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 82220
Child status: 0
Real time (s): 19.2194
CPU time (s): 19.1061
CPU user time (s): 11.2243
CPU system time (s): 7.8818
CPU usage (%): 99.4105
Max. virtual memory (cumulated for all children) (KiB): 139936
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.2243
system time used= 7.8818
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= 423
involuntary context switches= 893
runsolver used 0.020996 s user time and 0.072988 s system time
The end
Begin job on node16 on Mon Jan 8 22:02:32 UTC 2007
IDJOB= 206014
IDBENCH= 4181
FILE ID= node16/206014-1168293751
PBS_JOBID= 3501835
Free space on /tmp= 66482 MiB
BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp36-40/fapp36/fapp36-2000-7.xml
COMMAND LINE= /tmp/evaluation/206014-1168293751/solver2 /tmp/evaluation/206014-1168293751/unknown 1800
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node16/watcher-206014-1168293751 -o ROOT/results/node16/solver-206014-1168293751 -C 1800 -M 900 /tmp/evaluation/206014-1168293751/solver2 /tmp/evaluation/206014-1168293751/unknown 1800
META MD5SUM SOLVER= 2182e29fee250f6e45b9a85a6429fa3a
MD5SUM BENCH= 3a09cea65bd3e5d4e2bba63fad548068
RANDOM SEED= 13617390
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: 1342320 kB
Buffers: 90336 kB
Cached: 453692 kB
SwapCached: 448 kB
Active: 426196 kB
Inactive: 227120 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1342320 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 42212 kB
Writeback: 0 kB
Mapped: 129344 kB
Slab: 44580 kB
Committed_AS: 5044896 kB
PageTables: 2720 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= 66476 MiB
End job on node16 on Mon Jan 8 22:02:52 UTC 2007