c
c
c
c solution file
c
c
SAT
-2198 -2518 -2450 -2890 2694 -2686 2274 -2510 2546 -2658 2086 -2250 -2542 -2638 -2850 2754 2258 2202 -2070 -2890 -2854 2442 -2822 2502 -2390 -2274 -1990 1990 2542 -2378 2078 2002 2566 -2606 -2894 -2806 2710 -2818 -2770 -2146 -2850 2690 2038 -2838 -2854 -2894 2574 2578 -2686 2766 -2318 2690 -2478 -2034 -2566 -2518 -2830 -2690 -2850 2654 -2738 -2150 -2234 -2038 -2386 -2102 2210 2458 2478 -2642 -2066 -2850 -2826 -2806 -2842 -2622 -2642 -2266 -2426 -2070 -2482 -2394 -2218 -2674 -2594 -2890 -2726 -2306 -2714 -2346 -2110 -2818 2142 -2778 1998 -2582 -2106 -2774 2446 -2146 2706 2262 -2486 2714 -2582 2598 2014 -2726 2366 2842 -2214 2642 -2302 -2422 -2530 2030 2518 2294 -2894 -2010 -2838 -2894 2698 -2842 -2602 -2158 -2006 -2074 -2110 -2830 -2078 2510 2646 -2478 2246 2638 -2318 -2278 2850 -2262 -2654 2714 -2186 -2498 2894 -2854 -2606 -2374 2270 -2302 -2442 -2814 -2534 -2850 2854 -2198 -2174 2522 -2750 2610 -2274 2654 -2474 2638 -2030 2846 2594 -2514 -2702 -2074 -2850 2674 -2382 -2562 2830 2442 2158 -2414 -2834 -2586 -2834 -2474 -2774 -2830 2502 -2110 2894 -2546 2446 2730 2286 -2382 -2354 2006 2450 -2030 -2190 -2758 -2310 1990 2258 -2114 -2490 2366 2726 -2254 -1990 -2434 2894 -2414 2774 -2098 -2338 -2750 -2798 -2654 2718 -2510 2382 2622 -2890 -2614 -2186 2522 -2390 -2262 -2850 -2378 -2742 2478 -2778 2842 2742 2274 -2718 -2702 -2490 -2374 -2746 2142 -2706 2030 2030 2226 2038 -2878 2702 -2582 2322 -2258 2454 -2030 2522 2586 2282 -2042 -2386 -2658 -2698 2174 -2422 -2854 2806 -2334 -2862 2274 -2870 2370 -2298 1990 -2838 -2610 -2850 2766 2622 1990 2786 -2890 -2674 -2454 -2562 -2682 2582 -2478 -2038 2890 -1990 2078 -2362 -2314 -2490 -2682 -2406 -2586 2286 2262 2606 2786 -2190 2838 2810 -2570 -2266 -2750 -2594 -2270 -1990 -2486 -2646 -2622 -2594 -2230 -2142 -2530 2146 2426 -2894 -2854 -2722 1990 2030 -2878 2678 -2710 2786 2470 2782 2850 -2618 -2778 2482 2582 -2550 -2394 2538 -2474 -2578 2154 -2670 -2106 -2398 -2442 2362 2334 -2030 -2446 2850 -2062 2742 -2386 -2042 -2618 2218 -2430 2174 -2594 -2198 2034 -2854 -2146 -2854 -2190 2030 -2654 -1994 2718 -2046 -2130 -2350 -2718 2798 -2098 -2038 2462 -2442 2598 -2134 -2562 2410 -2586 2374 -2030 2770 2338 -2006 2010 2674 -2850 -2778 -2394 -2678 -2174 2806 -2222 2850 -2434 -2030 -2542 -2234 2714 -2882 -2826 -2518 2262 2310 -2846 -2178 2002 -2434 2306 2006 -2226 -2742 -2634 -2642 -2130 2854 -2310 2894 -2374 2406 -2330 -2118 -2346 2742 -2850 -2014 -2682 -2330 -2794 2478 -2522 -2218 -2230 -2542 2874 -2162 2826 -2890 2250 -2526 -2258 -2470 2566 2838 -2446 2190 2762 2534 -2670 -2086 1990 -2258 -2822 -2290 2602 -2414 2514 -2598 -2186 2330 -2118 2714 -2438 -2818 -2558 -2850 2238 -2334 -2198 2382 -2302 -2162 -2842 2030 -2342 2222 -2554 2410 -2630 2494 -2038 2542 -2362 -2826 -2538 -2482 2230 2370 2446 -2706 1998 2314 -2666 2034 -2754 -2478 -2866 2610 2450 -2146 2802 -2754 2738 2466 -2846 2578 -2002 -2850 -2738 2114 -2078 -2674 -2078 2890 -2890 -2858 2702 -2362 2622 2754 -2394 -2030 -2466 -2890 -2502 -2782 2266 -2670 -2882 -2614 -2510 -2434 -2702 -2102 -1990 -2670 2622 -2642 -2026 -2030 -2790 -2218 2482 -1990 1994 -2202 -2654 -2618 -2790 -2218 2794 -2894 2242 2682 -2382 -2422 -2582 -2470 -2114 -1990 -2398 1990 2086 2250 2250 -2438 2030 -2890 -2634 -2818 -2378 -2610 -2122 -2722 -2106 -2314 -2734 -2190 2550 -2710 -2842 -1990 2890 -2358 2894 -2802 -2070 2158 -2694 -2742 -2478 2358 -2530 -2042 -2710 -2078 -2786 2342 -2250 2490 2658 2786 -2002 2098 -2882 -2278 -2130 -2190 2734 -2826 2654 -1990 -2350 -2730 2202 2850 -2086 -2894 2030 -2586 2702 -2702 -2022 -1990 -2850 -2890 -2350 2702 -1990 -2274 -2098 2858 2118 -2030 -2494 -2482 -2894 -2890 -2202 -2562 -2182 -2058 2442 -2190 -2774 2614 -2854 2710 -2654 2894 2498 -2242 2398 -2770 -2854 2506 -2682 2634 -2794 -2654 -2750 -2606 -2298 -2478 2446 -2634 2854 -2426 -2562 2518 -2750 2442 -2366 -2602 -2678 2102 -2654 -2870 -2394 2414 2894 -2810 2810 -2106 -2222 -2422 -2878 -2894 -2406 2238 -2890 -2414 -2602 2210 2066 -2238 -2422 2706 2630 -2014 2506 2438 -2738 2602 -2618 -2682 -2214 -2562 2662 -2410 -2850 -2042 -2342 -2686 -2882 -2046 2690 -2218 2694 -2542 2710 -2106 2358 1990 -2318 -2342 2602 -2578 2810 2054 2670 -2350 2150 -2326 -2494 -2562 2390 -2466 -2438 -2562 2178 -2478 2634 -1990 2542 -2674 -2518 -2806 2438 -2210 -2046 2514 -2534 -2018 -2030 -2890 2662 -2302 -2790 2850 -2134 -2682 -2474 2446 -2190 -2506 -2586 -2474 -2030 2794 -2746 -2586 -2142 -2810 -2182 1998 -2426 2650 -2378 2130 -2218 -2250 -2382 -2242 -2606 2458 2498 -2030 -2758 -2654 2882 -2626 2030 -2586 2822 2674 -2518 -2810 2854 -2022 2606 -2030 -2638 -2142 2158 -2462 -2646 -2174 2174 -2854 -2334 2326 -2526 -2518 -2518 2390 2030 -2554 -2630 -2198 -2282 -2034 -2030 -2346 2894 2890 -2030 -2158 2774 -2546 -2030 -2374 -2546 2134 -2750 -2806 -2494 -1990 -2078 -2842 -2146 2302 2562 -2190 2806 2030 -2314 -2834 2630 2482 1990 -2498 -2774 -1998 2014 -2054 2830 -2058 2466 2474 -2654 -2346 2434 -2366 -2154 2586 -2890 2638 -2890 -2546 -2374 -2694 -2782 -2642 -2122 -2486 2158 -2698 -2742 -2222 -2398 -2330 -2298 -2454 2754 -2790 -2442 -2182 -2570 -2854 -2038 -2030 -2282 -2642 2634 -2606 -2350 -2658 -2478 -2826 -2890 -1998 2518 -2746 -2506 -2750 2682 -2826 2442 -2474 -2702 -2790 -2854 -2582 -2490 -2206 -2710 2562 2162 2098 2790 -2802 -2406 2510 2578 2266 -2854 -2146 -2486 -2214 -2102 -2894 -2842 -2314 -2290 2526 -2886 2478 -2198 -2070 -2274 2330 2718 -2034 2030 -2790 -2542 -2770 2350 -2602 2662 2454 2022 2546 -2122 -2354 -2890 -2786 -2826 2606 -2314 2758 -2766 2374 -2854 -2414 -2610 -2854 2418 -2406 -2062 2406 -2718 -2594 -2674 -2870 -2306 -2458 -2030 -2374 2574 -2278 2430 -2694 2150 2834 2678 -2418 2030 -2194 2322 -2806 -2038 -2734 2354 -2522 -2598 -2558 -2706 -2890 -2530 -2794 -2850 2158 -2482 2562 2566 -2054 -2070 2046 2426 2310 -2458 -2074 -2430 -2702 -2386 2654 2170 -2406 -2418 2578 -2494 1990 -2450 2030 2726 -2570 2030 -2598 -2674 -2794 -2346 -2378 -2266 2850 -2230 -2662 2386 -2778 2110 -2798 2570 -2442 -2466 2618 2058 -2278 -2666 -2178 -2834 2382 -2594 2702 2482 2530 -2026 -2642 2114 -2894 -2602 2442 -2894 -2894 -2538 2546 2718 -2554 -2214 -2374 -2198 -2030 -1994 -2746 2762 -2690 -2070 -2750 -2010 2298 2238 2818 -2226 -2178 -2062 -2646 -2794 -2298 -2846 -2538 -2398 -2366 -2834 -2874 -2750 -2186 -2474 2822 -2850 2830 -2642 -2002 2866 -2334 -2370 -2074 2434 2746 2470 -2018 -2798 -1990 2894 -2742 -2346 -2842 2002 -2886 2290 2802 2214 -2642 -2522 -2362 2794 -2758 -2806 -2894 -2566 2210 -2854 -2130 -2882 2798 -2426 -2614 2370 -2742 -2642 -2754 2386 2126 2790 -1998 2162 -2554 2102 -2706 -2282 -2034 -2158 -2186 -2266 -2322 2366 2414 -2162 -2894 1998 -2006 2254 2070 -2162 2514 2718 2602 -1990 2490 2578 -2154 -2814 2542 -2178 2470 -2122 -2374 2570 2194 2830 -2030 -2658 -2306 2046 -2578 -2774 -2118 -2854 -2370 -2678 -2854 -2886 -2498 2438 2814 2522 -2622 -2530 -2374 2842 -2254 -2226 2166 -2530 -2854 2682 2218 -2598 -2622 2674 -2538 -2726 -2546 -2734 2058 -2494 -2514 2518 -2478 2606 -2218 -2306 -2826 -2842 -2786 2694 -2890 -2026 2438 2378 2370 -2318 2838 -2390 -2486 -2506 -2278 -2126 -2706 -2526 -2494 2058 -2858 2690 2234 -2522 -2570 -2850 -2610 -2614 -2046 -2478 -2410 2730 2202 2530 -2490 2506 -2734 -2694 -2446 -2138 2642 2318 -2602 2218 -2894 -2062 2558 -2050 -2498 -2346 2042 2414 -2402 -2834 2854 2162 -2086 -2822 -2366 2310 -2890 2386 -2286 -2794 2850 2854 -2306 -2678 -2414 -2410 -2046 -2274 -2802 -2130 2306 2694 -2702 -2894 -2662 -2538 -2418 2254 2718 -2306 2666 2314 2466 -2850 -2346 2558 -2158 -2326 -2554 -2250 2058 2734 -2514 -2322 -2186 2374 -2242 -2750 2802 -2230 -2690 -2850 -2694 2654 2890 -2830 2810 2330 -2110 -2170 -2458 -2150 2574 -2610 2890 -2322 2150 2226 2458 2322 -2826 -2842 -2066 1990 -2734 2758 2730 -2338 2486 2166 2678 2542 -1990 2854 2802 2350 -2474 -2786 2578 2794 -2242 2438 2258 2470 -2578 -2558 -2206 -2042 -2782 -2570 -1990 -2498 -2674 2518 -2630 -2098 2818 -2178 -2750 -2086 2454 2030 2694 -2418 -2054 -2546 -1990 -2746 -2202 -2198 -2850 2438 -2666 -2030 2126 -2650 -2262 -2758 2518 -2850 -2214 2854 2594 -2774 2698 -2518 2582 -2894 -2562 -2274 -2334 2030 -2502 -2218 2634 -2698 -2658 -2086 2538 -2418 1998 2118 2346 -2502 2622 -2786 2242 -2374 2366 -2410 -2742 2262 2630 -2110 -2562 2082 -2686 2554 -1990 2290 2322 -2086 2082 -2310 -2178 -2570 -2794 -2502 -2462 2402 -2230 -2262 2678 -2426 -2542 -2846 -2018 2854 -2794 -2070 2530 -2362 -2510 1994 -2314 -2706 -2286 -2646 -2782 -2446 -2454 2346 2462 2658 -2398 2534 -2890 -1990 2490 -2854 -2558 -2542 -2186 -1998 -2182 -2370 -2850 2830 2738 -2182 -2670 2314 2706 -2882 -2714 -2202 -2066 2886 2838 -2210 -2410 -2550 -2694 -2618 -2314 2498 -2850 -2786 2850 -2034 -2834 -2486 -2542 -2454 -2034 -2366 2854 -2398 -2422 -2662 2030 2850 -1990 -2150 -2454 2486 -2590 -2430 2442 2646 -2418 -2582 2846 -2314 -2610 -2850 -2810 -2178 -2582 2002 -2314 -2170 2742 -2550 1990 -2290 -2358 -2798 -2854 -2330 -2438 -2702 2730 -2066 2490 2190 2746 2298 2418 -2486 2450 2886 2498 -2678 -2226 -2386 2850 -1990 -2534 -2710 2106 -2634 -2770 -2018 2746 -2750 -2266 -2278 2386 -2322 -2070 -2714 -2890 -2066 -2582 2770 -2326 2094 -2694 -2894 2518 2346 -2034 -2570 2082 2330 -2126 -2350 -2746 -2474 -2070 -2202 1990 -2514 -2338 -2014 1990 -2222 2582 -2066 2438 2170 2142 -2846 -2234 -2458 2870 2654 -2170 2846 2030 2834 -2050 -2486 -2094 -2622 -1990 -2638 -2746 -2802 -2850 2578 2354 -2566 -2546 -2166 -2394 -2754 2198 -2706 -2634 2706 2582 2542 -2358 2054 -1990 -2362 -2622 -2890 -2870 -2798 -2406 2394 -2058 -2818 -2610 -2106 -2030 2634 -2030 -2414 -2378 -2582 -2042 -2126 -2246 -2326 -2622 2466 2786 -2490 2170 2850 -2522 2354 -2434 2030 -2642 -2742 -2426 -2894 2862 -2846 -2202 -2774 -2734 -2614 2642 -2458 -2774 2418 2522 2110 2582 2170 -2618 2334 -2538 -2814 2502 2746 -2798 -2734 -2470 2558 -2850 2290 -2326 2290 -2806 -2582 -2810 -2714 -2058 -2514 2462 2266 2666 2122 2058 -2342 -2238 -2646 -2846 -2090 -2814 -2762 -2718 2030 2886 -2042 2162 -2538 2842 -2466 -2470 2314 2710 2282 -2842 -2854 -2594 2802 2834 -2890 -2202 2402 -2894 -2146 -2674 2682 -2818 -2030 -2182 -2470 -2070 -2306 -2582 -2338 2138 -2414 -2374 2274 -2402 -2478 2282 -2870 -2534 2538 2862 -2378 -2758 -2650 -2646 -1994 -1990 -2890 2562 -2062 -2678 -2030 -2282 -2350 -2402 -2106 -2890 2030 2314 -2738 -2070 -1994 2014 -2214 -2386 -2502 -2346 -2354 -2398 2290 -2210 2478 -2774 2546 -2798 -2626 -2890 -2274 2298 2850 -2354 -2266 2270 2742 -2882 2466 -2402 2822 2846 -2510 -2054 -2702 2430 2758 2734 -2566 -2002 -2662 -2766 -2414 -2698 -1990 -2066 2462 2038 -2574 2478 -2826 -2774 -2758 2494 -2358 2022 -2442 2662 -2850 2770 2594 -2378 -2302 -2786 -2518 -2162 1990 2682 2858 -2650 2278 -2682 -2354 -2610 2478 -2042 -2526 2582 -2854 2438 2098 -1990 -2774 1994 -2474 -2810 -2262 -2378 -2062 2118 -2282 -1994 -2246 -2346 1990 -2714 -2154 2398 2558 -2786 -2338 2054 -2650 -2514 2822 -2426 -2118 -2606 2690 2718 -2586 2402 2042 2850 2258 -2654 2542 -2834 -2526 -2890 -2698 -2030 2778 2038 -2534 2686 2238 2046 2686 -2894 -2286 -2718 -2350 -2890 2574 -2758 -2686 -2414 -2862 2670 -2694 2038 -2842 -2546 -2306 -2486 -2618 -2274 2894 -2062 -2458 -2802 2482 -2046 -2054 -2842 -2766 -2510 -2534 -2734 2206 -2590 2082 -2582 2030 2618 2258 -2034 -2394 2830 -2778 2630 -2750 -2222 -2302 -2582 2242 -2550 -2482 2798 2390 -2890 2554 -2114 -2498 -2066 2794 -2470 2322 -2322 -2782 -2890 2562 -2278 -2110 -2854 2686 -2050 2274 -1990 -2578 2146 -2730 2382 -2418 2266 2458
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node10/watcher-206046-1168293777 -o ROOT/results/node10/solver-206046-1168293777 -C 1800 -M 900 /tmp/evaluation/206046-1168293777/solver2 /tmp/evaluation/206046-1168293777/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.42 1.10 1.07 4/87 25031
/proc/meminfo: memFree=985696/2055920 swapFree=4178216/4192956
[pid=25030] ppid=25028 vsize=18540 CPUtime=0
/proc/25030/stat : 25030 (runsolver) R 25028 25030 20018 0 -1 4194368 16 0 0 0 0 0 0 0 21 0 1 0 177773102 18984960 279 18446744073709551615 4194304 4267372 548682069072 18446744073709551615 214919867687 0 0 4096 24578 0 0 0 17 1 0 0
/proc/25030/statm: 4635 279 244 17 0 2626 0
[startup+0.108641 s]
/proc/loadavg: 1.42 1.10 1.07 4/87 25031
/proc/meminfo: memFree=985696/2055920 swapFree=4178216/4192956
[pid=25030] ppid=25028 vsize=5352 CPUtime=0
/proc/25030/stat : 25030 (solver2) S 25028 25030 20018 0 -1 4194304 353 334 0 0 0 0 0 0 23 0 1 0 177773102 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25030/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352
[startup+0.516692 s]
/proc/loadavg: 1.42 1.10 1.07 4/87 25031
/proc/meminfo: memFree=985696/2055920 swapFree=4178216/4192956
[pid=25030] ppid=25028 vsize=5352 CPUtime=0.29
/proc/25030/stat : 25030 (solver2) S 25028 25030 20018 0 -1 4194304 376 2542 0 0 0 0 26 3 15 0 1 0 177773102 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25030/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5352
[startup+1.3378 s]
/proc/loadavg: 1.42 1.10 1.07 3/88 25043
/proc/meminfo: memFree=942808/2055920 swapFree=4178216/4192956
[pid=25030] ppid=25028 vsize=5352 CPUtime=0.29
/proc/25030/stat : 25030 (solver2) S 25028 25030 20018 0 -1 4194304 376 2542 0 0 0 0 26 3 15 0 1 0 177773102 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25030/statm: 1338 242 203 169 0 49 0
[pid=25043] ppid=25030 vsize=45352 CPUtime=1.01
/proc/25043/stat : 25043 (bordewijk) R 25030 25030 20018 0 -1 4194304 10842 0 0 0 92 9 0 0 25 0 1 0 177773133 46440448 10814 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 9365274 0 0 4096 0 0 0 0 17 1 0 0
/proc/25043/statm: 11338 10814 204 97 0 10619 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 50704
[startup+2.97502 s]
/proc/loadavg: 1.46 1.11 1.08 3/88 25043
/proc/meminfo: memFree=907928/2055920 swapFree=4178216/4192956
[pid=25030] ppid=25028 vsize=5352 CPUtime=0.29
/proc/25030/stat : 25030 (solver2) S 25028 25030 20018 0 -1 4194304 376 2542 0 0 0 0 26 3 15 0 1 0 177773102 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25030/statm: 1338 242 203 169 0 49 0
[pid=25043] ppid=25030 vsize=134584 CPUtime=2.63
/proc/25043/stat : 25043 (bordewijk) R 25030 25030 20018 0 -1 4194304 35949 0 0 0 219 44 0 0 25 0 1 0 177773133 137814016 32230 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25043/statm: 33646 32230 217 97 0 32927 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 139936
[startup+6.26647 s]
/proc/loadavg: 1.46 1.11 1.08 3/88 25043
/proc/meminfo: memFree=831448/2055920 swapFree=4178216/4192956
[pid=25030] ppid=25028 vsize=5352 CPUtime=0.29
/proc/25030/stat : 25030 (solver2) S 25028 25030 20018 0 -1 4194304 376 2542 0 0 0 0 26 3 15 0 1 0 177773102 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25030/statm: 1338 242 203 169 0 49 0
[pid=25043] ppid=25030 vsize=134584 CPUtime=5.9
/proc/25043/stat : 25043 (bordewijk) R 25030 25030 20018 0 -1 4194304 35949 0 0 0 235 355 0 0 25 0 1 0 177773133 137814016 32230 18446744073709551615 134512640 134912576 4294956752 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25043/statm: 33646 32230 217 97 0 32927 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 139936
[startup+12.7243 s]
/proc/loadavg: 1.54 1.14 1.09 3/88 25044
/proc/meminfo: memFree=893144/2055920 swapFree=4178216/4192956
[pid=25030] ppid=25028 vsize=5352 CPUtime=8.96
/proc/25030/stat : 25030 (solver2) S 25028 25030 20018 0 -1 4194304 397 38492 0 0 0 0 277 619 16 0 1 0 177773102 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25030/statm: 1338 242 203 169 0 49 0
[pid=25044] ppid=25030 vsize=76868 CPUtime=3.58
/proc/25044/stat : 25044 (standalone) R 25030 25030 20018 0 -1 4194304 18300 0 0 0 214 144 0 0 25 0 1 0 177774004 78712832 17864 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 4086550229 0 0 4096 0 0 0 0 17 1 0 0
/proc/25044/statm: 19217 17864 137 64 0 18532 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 82220
Child status: 0
Real time (s): 20.7864
CPU time (s): 20.5879
CPU user time (s): 12.908
CPU system time (s): 7.67983
CPU usage (%): 99.0448
Max. virtual memory (cumulated for all children) (KiB): 139936
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.908
system time used= 7.67983
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= 436
involuntary context switches= 658
runsolver used 0.033994 s user time and 0.06499 s system time
The end
Begin job on node10 on Mon Jan 8 22:03:00 UTC 2007
IDJOB= 206046
IDBENCH= 4183
FILE ID= node10/206046-1168293777
PBS_JOBID= 3501830
Free space on /tmp= 66297 MiB
BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp36-40/fapp36/fapp36-2000-9.xml
COMMAND LINE= /tmp/evaluation/206046-1168293777/solver2 /tmp/evaluation/206046-1168293777/unknown 1800
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node10/watcher-206046-1168293777 -o ROOT/results/node10/solver-206046-1168293777 -C 1800 -M 900 /tmp/evaluation/206046-1168293777/solver2 /tmp/evaluation/206046-1168293777/unknown 1800
META MD5SUM SOLVER= 2182e29fee250f6e45b9a85a6429fa3a
MD5SUM BENCH= c41a224ced2d9da1b6c70f54377c78b8
RANDOM SEED= 550658156
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: 985984 kB
Buffers: 74808 kB
Cached: 641596 kB
SwapCached: 2628 kB
Active: 626896 kB
Inactive: 380276 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 985984 kB
SwapTotal: 4192956 kB
SwapFree: 4178216 kB
Dirty: 64336 kB
Writeback: 0 kB
Mapped: 300972 kB
Slab: 47056 kB
Committed_AS: 5097820 kB
PageTables: 2716 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:03:21 UTC 2007