c
c
c
c solution file
c
c
SAT
-2194 -2514 -2450 -2890 2690 2690 2274 -2506 -2550 -2658 -2082 -2322 -2542 -2638 -2850 -2770 2238 -2222 -2110 -2890 -2830 2446 -2886 -2502 -2390 -2274 1990 1990 2546 -2382 2074 1990 2570 -2606 2862 2802 -2710 -2818 -2770 -2146 2854 -2894 2038 -2838 -2850 -2894 2574 2578 -2686 2774 -2318 -2770 -2478 -2046 -2562 -2518 -2826 -2694 -2854 2654 -2730 -2150 2242 2030 -2382 1990 2210 -2466 -2482 -2646 -2074 -2850 -2826 -2830 -2842 -2622 -2642 -2262 -2426 -2070 -2490 -2394 2214 -2670 2594 -2890 -2726 -2302 2718 -2334 2110 -2818 2142 -2778 1990 2582 -2114 2770 2438 -2146 2706 2258 -2486 -2718 -2582 2602 -2078 -2722 2382 2842 2214 2642 -2302 2414 -2530 2030 2518 2278 2854 -2014 -2834 -2894 2702 -2830 -2602 -2146 -2006 2074 2106 -2890 2066 -2514 2646 -2478 2238 -2642 -2322 -2278 2850 -2334 -2654 -2810 -2194 -2486 2894 -2854 -2606 -2374 2270 -2294 -2450 -2814 -2534 -2850 -2894 2194 -2174 2522 -2750 2606 -2282 -2654 -2474 2638 -2030 2854 2594 -2478 -2702 -2150 -2850 2670 -2378 2562 2830 2446 2154 -2422 -2834 -2586 -2834 -2482 2774 -2830 -2506 -2154 2894 -2546 -2442 2730 2282 -2378 -2354 -1990 2454 -2178 -2190 2754 2290 1990 2262 -2114 -2490 2366 2730 -2254 1998 2434 -2894 -2414 2774 2106 -2342 2750 2794 -2654 2718 -2506 -2382 -2618 2894 -2618 -2186 -2522 -2394 -2258 2854 -2378 2742 2466 -2778 -2862 2738 2286 -2718 -2702 -2490 -2374 2746 2170 -2706 -1990 2030 2226 2030 2874 -2706 2582 -2322 2258 -2458 -2034 -2530 2582 2270 2038 2386 -2658 2702 -2166 -2422 -2850 2810 -2334 -2866 2274 -2870 -2374 2298 -1990 -2834 -2610 -2894 -2770 2622 1990 2786 -2890 -2674 -2454 -2562 2678 2582 -2478 2038 2890 1990 -2078 -2358 2306 -2494 2678 -2410 2574 -2282 -2250 -2602 -2786 -2190 -2846 2806 -2570 -2262 2750 2598 2258 -2062 -2486 -2650 -2638 2590 -2230 -2142 -2534 2146 2418 2850 -2890 -2718 1990 1990 -2882 2894 -2710 2786 -2462 -2782 -2850 -2626 -2850 -2486 -2586 -2550 -2394 -2534 2478 -2582 2158 2678 -2058 -2394 -2442 -2362 2334 -2014 2446 2838 -2070 2742 -2382 -2030 -2614 2214 2430 -2190 -2598 2190 2042 -2854 2222 -2854 -2182 2030 2654 -2002 -2722 -2042 -2126 2342 -2854 -2806 -2106 -2022 2454 2446 -2594 -2246 2562 -2414 -2586 2370 -2034 -2774 -2338 -2010 2010 2674 -2850 -2778 2394 -2678 -2174 2838 2218 2850 -2430 -2070 -2542 -2234 2722 -2882 -2826 -2234 2254 2310 -2830 -2178 2006 -2438 2306 2002 2222 -2754 2634 -2642 -2162 2854 -2298 2886 -2378 -2406 2330 -2114 2350 2742 -2850 -2014 -2682 2334 -2794 2478 -2522 2214 -2230 -2546 2886 2162 -2826 -2890 2250 -2526 2258 2466 -2562 2834 -2446 2190 -2894 -2546 -2670 2082 2030 -2246 -2822 -2298 -2598 -2418 2514 -2598 -2190 2330 -2098 -2710 -2446 -2890 -2558 -2850 2238 -2318 2182 -2382 -2310 2154 -2842 2030 -2338 2222 -2554 -2422 -2630 2490 -2038 -2542 -2362 -2826 2530 -2486 -2230 2370 2430 -2706 1998 -2314 -2654 -1998 -2754 -2474 -2866 -2618 -2462 -2154 -2850 2746 2742 2458 -2854 -2582 -2110 -2850 -2730 1990 -2138 -2686 -2082 2894 -2890 -2894 2702 -2362 -2622 -2838 2406 -1994 -2466 -2854 2510 -2794 2266 -2658 -2882 -2614 -2510 -2434 2706 -2114 -1990 -2666 -2622 -2642 -2150 2030 -2786 -2214 2482 -1994 -1990 -2206 2654 -2614 -2790 2218 2798 -2618 2250 -2674 -2398 -2430 2582 -2470 2114 2018 -2398 1990 2086 2246 2250 2442 -2034 2814 -2630 -2818 2374 -2610 -2122 -2714 -2094 2314 -2734 -2190 -2546 -2710 -2842 2030 2850 -2358 -2890 2854 -2066 2158 -2702 -2746 -2478 2358 -2530 2070 -2710 -2042 -2786 2334 -2246 -2490 2654 2794 1990 2106 -2882 -2274 -2134 -2190 -2726 -2830 -2662 -2006 -2354 -2722 -2174 2854 -1990 -2894 -2042 -2582 2706 -2702 -2018 -1990 -2890 2838 -2350 -2698 -1990 -2274 -2086 -2858 -2106 -2030 -2494 -2482 -2894 -2890 -2194 -2570 -2154 -2054 -2442 2190 -2774 -2622 -2854 -2714 2654 -2894 -2502 -2262 -2394 -2766 -2850 2510 -2682 -2630 2794 -2578 -2750 -2610 2294 -2478 2446 -2630 2854 2430 -2562 2518 2746 2442 2366 -2602 -2678 2102 -2662 -2870 -2394 -2414 -2890 2814 2810 -2150 -2294 -2358 -2878 -2894 -2390 2238 -2890 -2414 -2606 2218 2066 2230 2422 -2706 2626 -2014 2510 2438 -2734 2538 -2622 -2682 2230 -2638 2662 -2414 2846 -2030 -2342 -2686 -2882 -2038 2690 -2206 2694 -2546 -2714 -2150 2354 -2082 -2318 -2342 2602 -2654 -2814 -2054 -2670 -2350 -2150 -2326 2498 -2566 -2390 -2466 -2438 2554 2178 -2478 -2630 -2086 2546 2670 -2518 -2806 -2438 -2206 -2046 2506 -2534 -2054 -2030 2886 -2662 2302 -2786 -2850 -2206 -2682 -2518 2446 -2110 -2506 2586 2466 -2034 -2794 -2746 -2586 2138 2802 -2182 1998 -2418 -2654 -2378 2130 -2218 -2250 -2390 -2230 -2606 -2446 2498 -2046 -2762 -2654 2882 -2622 2030 2586 2806 2682 -2518 -2810 2890 -2006 2606 2030 -2634 -2114 -2178 -2462 2646 -2206 -2174 -2854 -2334 2322 -2522 -2518 2514 -2390 2030 -2554 -2630 2218 -2286 2034 2030 -2350 -2854 -2890 -2046 -2222 -2774 -2542 2046 -2374 2534 2134 -2746 -2814 -2490 1990 2078 -2842 -2130 2374 2554 -2178 2818 2030 -2314 -2834 -2638 2482 1990 -2494 2774 -1990 2022 -2038 2830 -2070 -2466 -2474 2650 2342 2442 -2426 -2154 -2586 -2890 -2650 -2894 2542 -2374 -2694 -2786 -2642 -2106 -2486 2154 -2694 2742 -2222 2406 -2330 -2278 -2446 -2750 -2790 -2442 -2102 2562 -2854 -2046 2030 -2286 -2642 2630 -2602 -2350 -2658 -2482 -2826 -2890 2026 2518 -2746 2502 -2758 -2686 -2826 2442 -2478 -2702 2798 -2890 -2582 -2490 -2202 -2706 2566 -2170 -2090 2842 2802 2406 2518 2578 -2270 -2858 -2218 2486 -2214 -2130 -2894 -2846 -2314 -2290 2642 -2890 -2478 -2198 -2118 -2274 -2338 2726 -2030 -2102 2794 -2542 2774 2350 2606 -2666 2454 2014 2546 -2126 -2358 -2854 2790 -2826 -2610 -2318 2758 -2790 2370 -2854 -2410 -2626 -2854 2414 -2422 -2054 2406 -2718 2594 2674 -2870 2314 -2454 -2030 2374 2574 -2278 -2422 -2694 2154 -2834 2690 -2418 -1990 -2158 2318 -2854 -2038 -2734 -2354 -2514 -2598 -2558 -2706 -2878 -2530 -2794 -2854 -2142 2482 2562 2566 -2054 -2046 2030 -2414 -2310 2458 -2006 -2434 -2702 2386 -2650 -2166 -2386 -2418 -2582 -2494 1990 -2450 -2042 2726 -2570 2030 -2602 2678 -2794 -2342 2382 -2262 2850 -2230 -2662 -2374 -2770 2114 -2794 2562 -2438 -2466 -2622 -2058 -2278 -2658 2174 -2834 2382 2594 2706 2482 2530 -2022 -2638 -2110 -2850 2602 2466 -2894 -2834 -2542 2546 -2718 -2550 2214 -2374 -2182 -2058 -2002 -2746 2758 -2694 -2070 -2750 -2002 2298 2222 -2810 2226 2162 -2074 -2638 -2794 -2302 2842 2538 -2398 -2414 -2854 -2894 -2754 -2186 2474 -2826 2850 2826 -2642 -2010 2866 -2334 -2366 -2074 2434 2746 2470 -2030 -2794 -1990 -2894 -2742 -2346 2842 2006 -2850 2294 2798 2210 -2578 -2526 2366 2786 2758 -2734 -2870 -2566 2206 -2830 -2126 -2882 -2798 -2426 -2614 -2370 -2738 -2638 -2754 2390 -2110 2786 -2002 2158 -2554 -2030 -2706 2282 -2030 2150 -2186 2286 2326 -2366 2406 -2146 2870 2006 -2046 2254 2066 -2170 2518 2714 2602 -1994 -2490 2582 -2030 -2810 2542 -2174 2466 -2122 2382 2586 -2198 2834 -2042 -2662 -2306 -2006 -2574 -2774 -2082 -2854 -2382 -2678 -2854 2894 -2498 -2438 2818 -2526 2622 -2530 -2374 -2894 2238 -2222 -2154 -2534 -2854 2682 2222 -2598 -2622 2670 -2542 -2726 2550 -2734 2046 -2494 -2514 -2518 -2478 2610 -2202 -2318 2826 -2842 -2786 -2690 -2890 -2014 2442 -2390 2370 -2322 2842 -2390 -2490 -2498 -2198 -2098 -2710 -2522 -2494 2094 -2858 2698 -2198 -2522 -2570 -2850 -2602 -2614 -2138 2478 -2410 2730 -2210 -2530 -2494 2510 -2734 -2694 2450 -2130 2642 -2314 -2594 -2218 -2894 -2046 -2558 -2042 -2498 -2346 2046 2414 2402 -2842 2578 -2162 -2070 -2822 -2366 -2302 -2890 2374 -2286 -2794 2878 2854 -2302 -2674 -2414 -2410 2042 -2274 -2798 2122 -2306 2690 2702 -2894 2666 -2538 -2414 2250 -2854 2302 2662 2314 -2470 -2850 2346 2562 -2170 -2322 -2554 -2258 2066 -2730 -2518 -2322 -2262 2374 2242 2750 2806 -2230 -2690 -2854 -2694 -2654 2890 -2882 2810 2330 -2106 -2202 -2454 2142 -2586 -2610 2814 -2310 -2138 2226 -2458 -2318 -2826 -2842 -2062 1990 2734 2750 2730 -2338 -2682 2174 2686 2542 -1990 2854 2822 2350 -2478 -2786 2570 2794 2246 2438 2290 2474 -2578 -2558 -2198 -2030 -2782 -2570 -2138 -2474 -2678 2518 2618 2110 -2818 -2174 2750 -2098 2454 2038 -2694 2418 2054 -2546 1990 -2746 -2198 -2194 2854 2438 -2666 -2030 2122 -2654 -2262 -2758 2514 -2850 -2198 -2822 2594 -2850 2694 -2506 2586 -2894 -2562 -2274 2334 2030 -2506 -2218 2634 -2698 -2658 -2138 2542 -2422 1998 -2130 -2278 2502 2622 2786 2214 -2374 -2370 -2406 -2742 2270 -2630 -2158 -2562 -1990 2678 2554 -2006 2290 2306 -2078 2078 -2350 -2174 -2570 -2794 2502 -2462 -2406 -2230 -2250 -2678 -2426 -2546 -2846 -2042 2854 -2794 -2030 2530 2346 2510 1990 -2318 -2706 -2282 -2642 -2782 2446 2450 2346 2462 2666 -2394 -2530 2814 -1990 2502 -2854 -2274 2542 2170 -2062 2182 -2370 2846 2830 -2654 -2182 2670 2310 2698 -2882 -2726 2210 -2054 2886 2838 -2206 -2414 2550 -2766 -2618 -2326 2502 -2854 -2786 2862 -2038 -2834 -2486 -2542 2454 -2030 -2366 -2894 2398 -2418 -2662 2002 -2850 1990 -2230 2450 2482 -2590 2430 -2446 2650 -2418 -2586 2846 -2314 -2610 2814 2806 2182 -2582 1990 -2314 -2170 -2746 -2546 1990 2294 -2358 2806 2794 -2334 2434 -2702 2730 2110 2490 2190 2746 -2250 -2414 -2482 2454 2870 2502 -2678 -2230 2378 -2874 -2042 2534 -2710 -2106 -2634 2762 -2014 -2746 -2750 2278 -2278 -2386 -2326 -2034 -2714 -2894 -2110 2582 2750 -2326 2094 -2694 2894 2518 -2354 -2042 2570 -1990 2330 2134 -2354 2746 -2478 -2070 2202 -1990 -2518 -2338 -2002 -1994 -2290 2582 -2110 2438 2166 2142 -2878 2234 -2458 2870 2650 -2166 -2890 -2030 -2846 -2050 2482 -2086 2622 2054 -2646 -2754 2806 -2850 -2582 2354 2566 -2546 2162 2394 -2758 2186 -2706 2638 -2694 2598 -2546 -2354 2046 1998 -2366 -2618 -2890 -2870 -2790 2374 -2402 -2082 -2818 -2602 2178 2038 -2638 -2030 -2414 2382 -2582 -2050 -2126 -2242 -2326 -2622 -2466 2786 -2490 2174 2850 -2526 -2354 -2446 2030 -2642 -2742 -2426 -2894 -2862 -2894 -2198 -2774 -2890 -2614 2646 2434 2770 2422 2522 -2074 -2582 -2162 -2618 -2334 -2542 -2814 2494 -2750 -2798 2734 -2462 -2558 -2850 2286 -2326 2282 2806 -2586 -2806 -2710 -1990 -2514 -2462 2266 2666 2118 2146 -2342 2234 -2646 -2846 -2086 -2850 -2758 -2714 -2034 2894 2046 -2166 -2542 -2846 -2470 -2478 -2314 2710 2278 -2838 -2854 -2590 2790 2834 -2890 -2130 -2406 2894 -2150 -2750 2682 2854 -2030 -2178 -2470 2114 -2326 -2582 -2338 -2146 -2418 -2374 -2274 -2402 -2478 2350 -2850 2534 -2542 2846 -2374 -2766 -2646 2650 -1998 1994 -2890 2562 -2074 -2682 -2030 -2282 -2350 -2406 2106 -2890 2030 2318 2738 -2114 -1994 -2014 2214 -2390 2502 -2342 -2354 -2398 -2290 2210 2474 -2774 -2546 -2798 -2622 2834 -2278 -2302 2850 2346 -2262 -2250 2742 -2854 -2458 -2426 -2826 2850 2502 -2062 -2698 2426 2754 2734 -2566 -1998 -2662 -2778 -2410 -2698 2002 -2054 2470 2042 -2574 2478 2826 -2774 -2766 2490 -2362 -2034 2442 2662 -2850 -2846 2590 -2378 2290 -2786 -2518 2158 1990 -2682 2858 -2658 2282 2682 -2350 -2610 -2474 -2030 -2522 -2582 -2854 2438 2098 2002 -2774 1990 -2470 -2790 -2250 -2378 -2030 2110 -2282 -2038 2242 -2346 1990 -2710 -2150 2398 2558 -2786 2350 2054 2658 2522 -2826 -2426 -2118 -2606 -2682 -2718 -2586 2402 2030 2850 -2254 -2646 -2542 -2834 -2526 -2890 -2694 -2030 -2770 2042 -2538 2686 2238 2030 2762 -2894 -2282 -2722 -2390 -2890 2574 2894 -2690 -2414 2846 -2666 -2686 -2066 -2842 -2546 2318 -2478 -2618 -2274 2890 -2058 -2454 -2802 2486 -2050 -2042 -2890 2774 2502 -2534 -2734 2194 -2586 2082 -2578 2030 2618 2262 -2034 2394 2830 2770 2626 -2754 -2218 2290 -2578 -2246 2554 2478 -2798 -2394 -2822 2558 -2110 -2506 -2098 -2802 -2462 2322 -2322 -2786 -2894 -2566 -2262 -2006 -2846 2686 -2054 2278 -1994 2574 2146 -2854 2374 2414 2266 2458
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node7/watcher-206015-1168293767 -o ROOT/results/node7/solver-206015-1168293767 -C 1800 -M 900 /tmp/evaluation/206015-1168293767/solver /tmp/evaluation/206015-1168293767/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.58 1.16 1.46 5/87 10023
/proc/meminfo: memFree=1451792/2055920 swapFree=4192812/4192956
[pid=10022] ppid=10020 vsize=5352 CPUtime=0
/proc/10022/stat : 10022 (solver) R 10020 10022 3580 0 -1 4194304 280 0 0 0 0 0 0 0 21 0 1 0 177772350 5480448 231 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 244671113887 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/10022/statm: 1338 231 193 169 0 49 0
[pid=10024] ppid=10022 vsize=0 CPUtime=0
/proc/10024/stat : 10024 (solver) Z 10022 10022 3580 0 -1 4194380 26 0 0 0 0 0 0 0 15 0 1 0 177772350 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 65538 18446744071563351923 0 0 17 0 0 0
/proc/10024/statm: 0 0 0 0 0 0 0
[pid=10025] ppid=10022 vsize=5352 CPUtime=0
/proc/10025/stat : 10025 (solver) R 10022 10022 3580 0 -1 4194368 0 0 0 0 0 0 0 0 21 0 1 0 177772351 5480448 231 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 244671113887 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/10025/statm: 1338 231 193 169 0 49 0
[startup+0.106631 s]
/proc/loadavg: 1.58 1.16 1.46 5/87 10023
/proc/meminfo: memFree=1451792/2055920 swapFree=4192812/4192956
[pid=10022] ppid=10020 vsize=5352 CPUtime=0
/proc/10022/stat : 10022 (solver) S 10020 10022 3580 0 -1 4194304 354 334 0 0 0 0 0 0 21 0 1 0 177772350 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10022/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352
[startup+0.514678 s]
/proc/loadavg: 1.58 1.16 1.46 5/87 10023
/proc/meminfo: memFree=1451792/2055920 swapFree=4192812/4192956
[pid=10022] ppid=10020 vsize=5352 CPUtime=0.38
/proc/10022/stat : 10022 (solver) S 10020 10022 3580 0 -1 4194304 376 2542 0 0 0 0 35 3 15 0 1 0 177772350 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10022/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 5352
[startup+1.33977 s]
/proc/loadavg: 1.62 1.18 1.47 3/88 10035
/proc/meminfo: memFree=1393224/2055920 swapFree=4192812/4192956
[pid=10022] ppid=10020 vsize=5352 CPUtime=0.38
/proc/10022/stat : 10022 (solver) S 10020 10022 3580 0 -1 4194304 376 2542 0 0 0 0 35 3 15 0 1 0 177772350 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10022/statm: 1338 242 203 169 0 49 0
[pid=10035] ppid=10022 vsize=40864 CPUtime=0.91
/proc/10035/stat : 10035 (bordewijk) R 10022 10022 3580 0 -1 4194304 9711 0 0 0 83 8 0 0 25 0 1 0 177772391 41844736 9683 18446744073709551615 134512640 134912576 4294956768 18446744073709551615 134534058 0 0 4096 0 0 0 0 17 1 0 0
/proc/10035/statm: 10216 9683 204 97 0 9497 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 46216
[startup+2.98494 s]
/proc/loadavg: 1.62 1.18 1.47 3/88 10035
/proc/meminfo: memFree=1192264/2055920 swapFree=4192812/4192956
[pid=10022] ppid=10020 vsize=5352 CPUtime=0.38
/proc/10022/stat : 10022 (solver) S 10020 10022 3580 0 -1 4194304 376 2542 0 0 0 0 35 3 15 0 1 0 177772350 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10022/statm: 1338 242 203 169 0 49 0
[pid=10035] ppid=10022 vsize=134584 CPUtime=2.54
/proc/10035/stat : 10035 (bordewijk) R 10022 10022 3580 0 -1 4194304 35949 0 0 0 220 34 0 0 25 0 1 0 177772391 137814016 32230 18446744073709551615 134512640 134912576 4294956768 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10035/statm: 33646 32230 217 97 0 32927 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 139936
[startup+6.26428 s]
/proc/loadavg: 1.65 1.19 1.47 3/88 10035
/proc/meminfo: memFree=1113096/2055920 swapFree=4192812/4192956
[pid=10022] ppid=10020 vsize=5352 CPUtime=0.38
/proc/10022/stat : 10022 (solver) S 10020 10022 3580 0 -1 4194304 376 2542 0 0 0 0 35 3 15 0 1 0 177772350 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10022/statm: 1338 242 203 169 0 49 0
[pid=10035] ppid=10022 vsize=134584 CPUtime=5.76
/proc/10035/stat : 10035 (bordewijk) R 10022 10022 3580 0 -1 4194304 35949 0 0 0 237 339 0 0 25 0 1 0 177772391 137814016 32230 18446744073709551615 134512640 134912576 4294956768 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10035/statm: 33646 32230 217 97 0 32927 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 139936
[startup+12.729 s]
/proc/loadavg: 1.67 1.20 1.47 3/88 10036
/proc/meminfo: memFree=1175688/2055920 swapFree=4192812/4192956
[pid=10022] ppid=10020 vsize=5352 CPUtime=9.03
/proc/10022/stat : 10022 (solver) S 10020 10022 3580 0 -1 4194304 396 38492 0 0 0 0 288 615 16 0 1 0 177772350 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10022/statm: 1338 242 203 169 0 49 0
[pid=10036] ppid=10022 vsize=76868 CPUtime=3.51
/proc/10036/stat : 10036 (standalone) R 10022 10022 3580 0 -1 4194304 18295 0 0 0 207 144 0 0 25 0 1 0 177773268 78712832 17859 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 134549718 0 0 4096 0 0 0 0 17 1 0 0
/proc/10036/statm: 19217 17859 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): 15.4036
CPU time (s): 15.2027
CPU user time (s): 7.57685
CPU system time (s): 7.62584
CPU usage (%): 98.6957
Max. virtual memory (cumulated for all children) (KiB): 139936
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.57685
system time used= 7.62584
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57930
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= 972
runsolver used 0.015997 s user time and 0.057991 s system time
The end
Begin job on node7 on Mon Jan 8 22:02:49 UTC 2007
IDJOB= 206015
IDBENCH= 4181
FILE ID= node7/206015-1168293767
PBS_JOBID= 3501826
Free space on /tmp= 66475 MiB
BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp36-40/fapp36/fapp36-2000-7.xml
COMMAND LINE= /tmp/evaluation/206015-1168293767/solver /tmp/evaluation/206015-1168293767/unknown 1800
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node7/watcher-206015-1168293767 -o ROOT/results/node7/solver-206015-1168293767 -C 1800 -M 900 /tmp/evaluation/206015-1168293767/solver /tmp/evaluation/206015-1168293767/unknown 1800
META MD5SUM SOLVER= 6c84d9851726bfff2e2bc2bb5530c705
MD5SUM BENCH= 3a09cea65bd3e5d4e2bba63fad548068
RANDOM SEED= 520688769
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: 1460784 kB
Buffers: 79084 kB
Cached: 336056 kB
SwapCached: 0 kB
Active: 396220 kB
Inactive: 141128 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1460784 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 90560 kB
Writeback: 0 kB
Mapped: 142348 kB
Slab: 42404 kB
Committed_AS: 5712356 kB
PageTables: 2512 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= 66456 MiB
End job on node7 on Mon Jan 8 22:03:05 UTC 2007