c
c
c
c solution file
c
c
SAT
-2202 -2514 2458 -2890 2690 -2690 2274 -2510 -2550 -2658 -2082 -2322 -2542 -2638 -2850 -2774 2258 2214 -2110 -2890 -2854 2442 -2822 -2502 -2398 -2274 -1990 1990 2542 -2378 2074 1990 2570 -2606 2862 -2806 2710 -2818 -2770 -2146 2854 -2894 2038 -2838 -2850 -2894 -2574 -2578 -2686 2846 -2234 -2774 2482 -2034 -2562 -2518 -2854 -2694 -2854 2654 -2730 -2150 2238 -2030 -2382 -2094 2210 -2466 -2486 -2642 -2078 -2846 -2826 -2806 -2842 -2622 -2642 -2262 -2422 -2074 -2482 -2394 -2218 -2674 -2590 -2890 -2726 -2306 2718 -2334 2114 -2818 -2162 -2778 1990 -2582 -2118 -2774 -2438 2210 -2706 2258 2482 2714 -2582 -2610 2018 -2746 2374 2842 -2214 2642 -2302 2414 -2530 2030 2518 -2290 -2894 -2002 -2834 -2894 2698 -2846 -2602 -2030 -2006 -2070 -2106 -2830 2074 -2514 2646 -2478 2238 2650 2322 -2290 2850 -2334 -2654 -2814 -2318 -2486 2894 -2890 -2606 -2374 2270 -2294 -2442 -2738 -2534 -2850 2854 2194 -2174 2522 -2750 2610 -2278 -2662 -2474 -2630 -2030 -2854 -2594 -2478 -2702 -2070 -2830 2678 -2378 -2562 2830 2446 2162 2410 -2834 -2586 -2834 -2474 2774 -2810 -2506 -2082 2894 -2546 -2450 2730 2286 -2382 -2350 -1990 2450 -2178 -2190 2754 2282 -2050 2266 -2110 -2486 2366 2730 -2254 -1994 -2434 2850 -2414 2774 -2106 2338 -2746 -2798 -2658 2722 -2514 2378 -2614 -2854 -2570 -2186 -2522 -2394 -2266 -2850 -2374 -2742 2478 -2778 2842 2738 2286 -2718 2706 2490 -2374 -2746 2134 -2706 2030 2014 2226 2038 -2878 -2706 -2582 2326 2258 -2458 2030 -2518 2582 2314 2046 2382 -2658 2706 -2050 -2418 -2850 2810 -2330 -2866 2274 2870 2374 -2298 -1990 -2838 -2606 -2850 -2770 2622 1990 2786 -2890 -2674 -2454 -2562 2674 2578 -2478 2038 2894 -1990 2090 -2354 2302 -2498 -2682 2414 -2586 -2286 -2246 -2602 -2786 -2190 -2846 -2814 -2570 -2258 2750 -2598 2250 -2030 -2482 -2650 -2622 2590 -2230 -2142 -2530 2146 2418 -2894 -2890 -2722 1990 1990 -2878 -2678 -2710 -2786 2474 2782 2850 -2618 -2870 -2482 -2586 -2554 -2390 -2534 2478 -2582 2158 2678 -2106 -2398 -2446 2366 2334 -2014 -2450 2834 -2062 2738 -2382 -2030 -2618 2194 2434 -2178 -2602 2190 2030 -2854 2218 -2854 -2098 2030 2650 -1994 -2726 -2042 2110 -2346 -2718 2806 -2098 -2026 2462 2446 2602 -2218 2562 -2414 -2586 2374 -2042 -2774 2334 -2010 2030 2674 -2850 -2778 2390 -2678 -2174 2842 -2226 2854 -2426 -2070 2546 -2234 -2714 -2882 2826 -2234 2246 2310 2854 -2178 -1990 -2434 2306 2002 2218 -2746 -2634 -2642 -2162 2854 -2290 2886 -2378 -2406 -2330 -2114 2354 2742 -2850 -2014 -2682 -2330 -2794 2478 -2522 -2214 2230 -2546 2882 -2158 -2826 -2890 -2250 -2522 2258 2470 -2562 2838 2310 2194 2762 -2546 -2674 2086 1990 2242 -2822 -2298 -2606 -2418 2514 -2590 -2178 2330 -2114 -2710 -2442 -2830 -2558 -2850 2238 -2330 2182 -2386 -2306 2182 -2842 2030 -2342 2222 -2554 -2418 2634 2498 -2042 -2542 2358 -2826 -2538 2486 -2230 -2370 2446 -2706 2002 2314 -2654 2030 -2754 -2474 -2866 -2618 -2462 -2278 2798 2750 2746 2462 -2846 -2586 -2102 -2850 -2738 2122 -2074 -2674 -2082 2894 -2890 -2894 2702 -2366 -2626 2766 2402 -2026 -2470 -2890 -2510 -2786 2266 -2666 -2882 -2614 -2494 -2434 -2710 -2114 -1990 2666 2618 -2642 -2134 2030 2786 -2218 2478 -2046 1990 -2202 -2658 -2614 -2786 -2218 2806 -2894 2246 -2678 -2398 -2430 -2582 -2470 2114 -2010 -2398 1990 2086 2246 2250 2446 -2006 -2814 -2630 -2818 -2374 -2610 -2122 -2718 -2094 2314 2722 -2190 -2554 -2710 2842 -1994 2850 -2358 -2890 -2802 -2066 2158 -2702 -2746 -2478 2358 -2530 -2062 -2710 -2054 -2786 2334 -2250 2490 2658 2786 1990 -2102 -2882 -2270 -2130 -2190 -2726 -2830 -2662 -1990 -2354 -2730 2198 2854 -2082 -2894 -2038 -2582 -2706 -2702 -2018 -1994 -2890 -2890 -2350 2702 -2030 -2278 -2086 -2858 2114 -2010 -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 2518 2746 2438 -2366 -2602 -2678 2122 2662 -2866 -2394 -2414 -2890 2814 2810 -2070 -2286 -2358 -2854 -2894 -2406 -2242 -2890 -2410 -2602 2222 2066 2230 2422 -2722 2626 -2014 2510 2438 -2734 2598 2622 -2682 -2218 -2566 -2662 -2414 2846 -2042 -2342 -2694 -2882 2054 2690 -2202 2694 -2546 2710 -2150 2354 1990 -2318 -2346 2602 -2654 2810 -2054 -2674 -2350 -2150 2326 -2498 -2562 2390 -2466 -2438 2546 2178 -2478 2638 2086 2546 -2670 -2514 -2806 2438 -2210 -2046 2534 -2534 -2018 -2030 -2886 -2658 2302 -2786 -2850 -2090 -2682 -2518 2442 -2190 -2506 -2586 -2494 -2042 -2798 -2746 2586 2138 2806 -2182 1998 -2422 -2654 -2378 2130 -2218 -2250 2390 -2274 -2606 -2446 2502 -2030 -2686 -2654 2882 -2622 1990 2590 2810 2674 -2518 -2810 2890 -2010 2606 2030 -2642 -2218 2158 -2462 -2654 -2178 -2174 -2854 -2334 2326 -2522 2522 2514 -2390 2030 -2562 -2634 -2198 -2282 -2034 -2034 -2346 2818 2870 -2030 -2158 -2774 -2542 -2046 -2374 -2546 2134 -2750 -2806 -2494 1990 -2078 -2842 -2138 2374 -2634 -2178 2810 2030 -2314 -2834 -2638 2482 1990 -2490 -2774 -1998 2022 -2058 -2826 -2058 2462 2474 2650 2342 2430 2434 -2154 -2586 -2890 -2642 -2894 2538 -2378 2690 -2786 2642 -2118 -2486 2154 -2694 -2746 -2222 -2402 -2330 -2298 -2454 2754 -2790 -2438 -2102 2566 -2854 -2082 2030 -2282 -2642 2634 -2602 -2350 -2658 -2482 -2826 -2850 2002 2522 -2746 2498 -2754 -2682 -2826 2442 -2474 2702 -2794 -2854 -2582 -2490 -2202 -2710 2566 2162 -2090 2854 -2802 -2410 2514 2582 -2266 -2858 -2210 -2490 -2214 -2174 -2894 -2842 -2314 -2290 2702 -2890 -2482 -2198 -2118 -2274 -2338 2726 -2034 1990 -2794 2542 -2770 -2358 -2602 2666 2458 -2022 2546 -2126 -2358 -2890 2790 -2826 -2610 -2318 -2758 -2766 2370 -2854 -2410 -2594 -2854 2418 -2414 -2062 -2414 -2718 -2598 -2674 -2870 2314 -2458 -2030 2374 2574 -2278 -2430 -2698 2154 2826 2682 -2418 2034 -2150 2314 -2890 -2038 -2734 -2354 -2506 -2598 -2562 -2706 -2874 -2530 2794 -2854 -2142 2482 2558 2566 -2054 -2066 2030 -2418 -2310 2458 -1994 -2426 -2702 2386 -2650 -2162 -2394 2426 -2582 -2494 1990 -2454 -2030 2726 -2566 2030 -2602 2674 -2794 2342 2382 -2266 2850 2230 2662 2374 -2778 2114 -2794 2562 -2438 -2466 -2622 2058 -2278 -2658 2174 2758 2378 2602 -2706 -2478 2526 -2026 -2642 -2110 -2850 -2602 2434 -2894 -2854 2534 2550 2718 -2550 2210 -2374 -2198 -2050 1990 -2746 2762 -2690 -2062 -2750 -2006 -2298 2234 2814 2226 2162 -2074 2638 -2794 -2306 -2846 -2542 -2398 -2414 2746 -2786 -2750 -2250 -2474 -2826 2850 2826 -2642 -2010 -2866 -2338 -2370 -2074 2434 2746 2474 -2018 -2794 -1990 -2894 -2742 -2346 2842 2002 -2850 2290 2802 2210 -2638 -2526 -2354 2790 -2758 -2806 -2894 2562 -2206 2818 -2126 -2882 2798 -2422 -2614 -2370 -2742 -2634 -2754 2394 -2114 -2894 -1990 2158 -2558 -2102 -2706 2282 -2030 2150 -2186 2282 -2322 -2366 2414 -2158 2858 -2042 2010 2250 2066 -2162 2514 2714 2598 2002 -2490 2582 -2162 2814 2542 -2178 2466 -2122 2370 2554 -2198 2834 -2030 -2658 -2306 -2050 -2578 -2774 -2094 -2854 2378 -2678 -2842 2894 -2498 -2438 2818 -2526 -2618 -2530 -2370 2838 2246 -2222 -2154 -2538 -2854 2682 2218 -2598 -2622 2670 -2546 2726 2550 -2734 2046 -2494 2514 -2518 2474 2614 -2202 -2242 -2826 -2842 -2786 -2690 -2890 -2014 2442 2382 2370 -2322 2838 2390 -2486 -2502 -2282 -2086 -2710 2522 -2494 2058 -2858 2698 2190 -2522 -2570 -2850 -2606 2622 -2074 2478 -2410 2734 -2206 -2530 2490 2506 -2734 -2694 -2446 -2130 2642 -2310 2594 -2218 -2894 -2050 -2558 -2046 -2502 -2350 -2030 2418 -2482 -2842 2854 2162 -2074 -2822 -2366 2306 -2894 2378 -2286 -2794 2850 2854 -2306 -2678 -2414 2414 2042 2278 2778 2122 -2310 -2694 -2702 -2894 2670 -2542 -2414 2250 2718 2302 2662 2314 -2466 2850 2346 -2562 -2174 -2326 2550 -2262 2066 -2730 -2518 2326 -2258 -2370 2242 -2750 2802 -2230 -2690 -2894 -2694 -2654 2894 -2894 -2806 2330 -2106 -2202 -2450 -2138 -2586 -2610 2814 -2306 2138 2222 2454 -2318 -2826 -2842 2066 1990 2734 2758 2730 -2338 -2662 2170 2686 2542 -1990 2854 2802 2350 -2474 -2786 2578 2794 2242 2442 2258 -2466 -2578 -2558 -2198 -2050 -2778 -2574 -2138 -2490 -2678 2518 2626 2098 -2818 -2178 2746 -2114 -2454 -2034 -2694 2418 -2054 -2546 1990 -2746 -2214 -2198 -2850 2442 -2666 -2030 2126 -2650 -2262 -2758 -2522 -2850 -2206 -2822 2598 -2850 -2698 -2518 2586 -2894 -2562 -2274 -2334 2030 -2502 -2218 -2634 -2698 -2658 -2126 2542 -2422 1998 -2134 -2350 -2502 2622 -2786 2238 -2374 2374 -2410 -2742 2266 2630 2078 -2562 -1990 2678 2554 -1990 -2274 -2298 -2094 2082 -2350 -2154 -2570 -2794 2502 -2462 2406 -2230 -2326 -2678 -2426 -2546 -2846 -2050 2854 -2794 -2030 2534 2338 -2510 1994 -2314 -2706 -2302 -2642 -2786 2454 2458 2346 2462 2658 -2394 -2534 -2878 -2062 2502 -2854 -2274 2542 -2178 -2066 2182 -2370 2846 2830 -2734 -2182 2670 2306 2698 -2882 -2714 2202 2054 2890 -2894 -2202 -2410 -2534 -2766 -2618 2326 2502 2838 -2786 2850 -2038 -2834 -2270 -2542 -2454 -2034 -2370 2858 -2398 -2418 -2662 2002 -2850 1990 -2234 2450 2482 -2594 -2430 2442 2654 -2414 -2586 2850 -2318 2610 2850 2806 2178 -2586 2002 -2314 -2170 -2746 -2546 1990 2286 -2358 2802 -2894 -2326 -2438 -2702 -2730 -2094 2490 2190 2746 2298 -2414 -2490 2454 -2894 2494 -2682 -2226 -2382 2854 -2042 -2538 2706 2114 -2638 -2766 -2014 -2746 -2750 -2282 -2274 2386 2322 -2066 -2714 -2890 -2110 -2582 2814 -2326 2094 -2698 -2894 2518 -2354 -2034 -2570 2090 2314 -2130 -2350 2746 -2478 -2070 -2198 -2054 -2518 -2334 -2006 -1990 -2214 2582 -2110 2438 -2166 2142 -2882 2234 -2462 2870 -2654 -2166 -2890 2030 -2842 1990 -2482 -2102 -2622 2054 -2646 -2746 2806 -2890 -2582 2354 -2566 -2546 -2162 2394 -2758 -1990 -2706 2638 -2694 2582 2546 -2354 2062 -1994 -2362 -2618 -2886 2850 -2718 2374 2390 2090 -2818 -2602 -2170 -2034 -2642 -2030 2414 -2378 -2582 2050 -2126 -2242 2326 2622 -2466 2786 -2498 2170 2846 -2526 2354 2442 -2030 -2642 -2742 2426 -2894 -2862 -2850 -2198 -2778 -2890 -2614 2642 2450 2770 2418 2522 -2086 -2582 -2162 -2618 -2334 -2542 -2814 2502 -2750 -2798 -2734 -2462 -2558 -2850 2286 -2326 2282 2806 -2586 -2806 -2714 -2058 -2514 -2462 2262 2682 2122 2058 -2338 -2238 -2646 -2846 -2070 -2850 -2818 -2718 2030 2886 2042 -2166 -2534 -2846 -2466 -2474 -2318 2710 2278 -2842 -2854 -2590 2806 2834 -2890 -2122 2406 -2882 -2138 -2674 2682 2854 2030 2178 -2470 2126 -2322 2586 2258 -2142 -2418 2374 -2274 -2402 -2478 -2346 -2870 2534 -2542 -2862 -2374 -2766 -2650 2646 -1998 -2002 -2890 2562 -2074 2678 -2022 -2282 -2350 2394 2106 -2890 2030 -2318 2738 -2122 -1994 -2014 -2214 -2386 -2502 -2346 -2350 -2398 -2210 -2210 2482 -2778 -2554 -2798 -2622 -2894 -2274 -2302 2854 -2342 -2262 -2242 2746 -2878 -2458 -2394 -2826 2850 -2514 -2062 -2698 2426 2754 2738 -2566 -2006 -2662 -2770 -2414 -2698 1998 -2054 2470 2030 -2574 2478 -2826 -2774 -2762 -2490 -2362 2034 -2442 -2662 -2854 -2846 2594 -2378 2286 -2786 -2518 -2174 1990 2682 2858 -2658 2282 2682 2346 -2610 -2474 -2030 -2522 2582 -2854 2438 2098 -1990 -2762 1994 -2466 -2854 -2254 -2374 -2054 2110 -2286 -1990 -2262 -2346 1990 -2714 2146 2398 2562 -2786 2342 2054 2658 -2514 -2826 -2430 -2130 -2602 2690 -2718 2594 2398 2030 2850 -2258 -2654 -2542 -2834 -2526 -2890 -2694 2030 -2770 2042 -2538 -2686 -2330 2042 2706 -2894 -2282 -2718 -2390 -2890 -2574 -2758 -2686 -2414 -2850 -2666 -2694 2042 -2842 -2546 -2310 -2478 -2618 -2274 -2894 -2058 -2458 -2802 -2482 2050 -2046 -2838 -2766 -2502 -2534 -2734 2194 -2586 2082 -2578 -2022 2618 -2262 -2034 2394 2830 -2774 2626 -2750 -2218 2286 -2574 2242 -2554 2478 2798 2390 -2890 2558 -2106 -2506 -2066 2802 -2470 2326 -2322 2786 -2890 -2566 -2274 -2106 -2846 2686 -2042 2278 -1990 -2574 -2154 -2854 2374 2418 2266 2466
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node14/watcher-206031-1168293775 -o ROOT/results/node14/solver-206031-1168293775 -C 1800 -M 900 /tmp/evaluation/206031-1168293775/solver /tmp/evaluation/206031-1168293775/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.72 1.16 1.03 4/78 1733
/proc/meminfo: memFree=1818488/2055920 swapFree=4163780/4192956
[pid=1732] ppid=1730 vsize=5352 CPUtime=0
/proc/1732/stat : 1732 (solver) R 1730 1732 27039 0 -1 4194304 313 190 0 0 0 0 0 0 19 0 1 0 177772701 5480448 241 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 212234631781 0 0 4100 65536 0 0 0 17 1 0 0
/proc/1732/statm: 1338 241 202 169 0 49 0
[startup+0.103332 s]
/proc/loadavg: 1.72 1.16 1.03 4/78 1733
/proc/meminfo: memFree=1818488/2055920 swapFree=4163780/4192956
[pid=1732] ppid=1730 vsize=5352 CPUtime=0
/proc/1732/stat : 1732 (solver) S 1730 1732 27039 0 -1 4194304 354 334 0 0 0 0 0 0 16 0 1 0 177772701 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1732/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352
[startup+0.511365 s]
/proc/loadavg: 1.72 1.16 1.03 4/78 1733
/proc/meminfo: memFree=1818488/2055920 swapFree=4163780/4192956
[pid=1732] ppid=1730 vsize=5352 CPUtime=0.29
/proc/1732/stat : 1732 (solver) S 1730 1732 27039 0 -1 4194304 376 2542 0 0 0 0 25 4 15 0 1 0 177772701 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1732/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5352
[startup+1.33144 s]
/proc/loadavg: 1.72 1.16 1.03 2/79 1746
/proc/meminfo: memFree=1774576/2055920 swapFree=4163780/4192956
[pid=1732] ppid=1730 vsize=5352 CPUtime=0.29
/proc/1732/stat : 1732 (solver) S 1730 1732 27039 0 -1 4194304 376 2542 0 0 0 0 25 4 15 0 1 0 177772701 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1732/statm: 1338 242 203 169 0 49 0
[pid=1746] ppid=1732 vsize=46804 CPUtime=1.04
/proc/1746/stat : 1746 (bordewijk) R 1732 1732 27039 0 -1 4194304 11202 0 0 0 94 10 0 0 25 0 1 0 177772729 47927296 11174 18446744073709551615 134512640 134912576 4294956768 18446744073709551615 7362171 0 0 4096 0 0 0 0 17 1 0 0
/proc/1746/statm: 11701 11174 204 97 0 10982 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 52156
[startup+2.9696 s]
/proc/loadavg: 1.72 1.16 1.03 2/79 1746
/proc/meminfo: memFree=1739376/2055920 swapFree=4163780/4192956
[pid=1732] ppid=1730 vsize=5352 CPUtime=0.29
/proc/1732/stat : 1732 (solver) S 1730 1732 27039 0 -1 4194304 376 2542 0 0 0 0 25 4 15 0 1 0 177772701 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1732/statm: 1338 242 203 169 0 49 0
[pid=1746] ppid=1732 vsize=134584 CPUtime=2.67
/proc/1746/stat : 1746 (bordewijk) R 1732 1732 27039 0 -1 4194304 35949 0 0 0 216 51 0 0 25 0 1 0 177772729 137814016 32230 18446744073709551615 134512640 134912576 4294956768 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/1746/statm: 33646 32230 217 97 0 32927 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 139936
[startup+6.25191 s]
/proc/loadavg: 1.74 1.17 1.03 2/79 1746
/proc/meminfo: memFree=1665080/2055920 swapFree=4163780/4192956
[pid=1732] ppid=1730 vsize=5352 CPUtime=0.29
/proc/1732/stat : 1732 (solver) S 1730 1732 27039 0 -1 4194304 376 2542 0 0 0 0 25 4 15 0 1 0 177772701 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1732/statm: 1338 242 203 169 0 49 0
[pid=1746] ppid=1732 vsize=134584 CPUtime=5.96
/proc/1746/stat : 1746 (bordewijk) R 1732 1732 27039 0 -1 4194304 35949 0 0 0 235 361 0 0 25 0 1 0 177772729 137814016 32230 18446744073709551615 134512640 134912576 4294956768 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/1746/statm: 33646 32230 217 97 0 32927 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 139936
[startup+12.7075 s]
/proc/loadavg: 1.68 1.17 1.03 2/79 1747
/proc/meminfo: memFree=1728224/2055920 swapFree=4163780/4192956
[pid=1732] ppid=1730 vsize=5352 CPUtime=8.84
/proc/1732/stat : 1732 (solver) S 1730 1732 27039 0 -1 4194304 396 38492 0 0 0 0 276 608 16 0 1 0 177772701 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1732/statm: 1338 242 203 169 0 49 0
[pid=1747] ppid=1732 vsize=76868 CPUtime=3.85
/proc/1747/stat : 1747 (standalone) R 1732 1732 27039 0 -1 4194304 18337 0 0 0 245 140 0 0 25 0 1 0 177773585 78712832 17901 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 4088132395 0 0 4096 0 0 0 0 17 1 0 0
/proc/1747/statm: 19217 17901 137 64 0 18532 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 82220
Child status: 0
Real time (s): 15.0304
CPU time (s): 15.0357
CPU user time (s): 7.51786
CPU system time (s): 7.51786
CPU usage (%): 100.036
Max. virtual memory (cumulated for all children) (KiB): 139936
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.51786
system time used= 7.51786
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= 431
involuntary context switches= 60
runsolver used 0.016997 s user time and 0.044993 s system time
The end
Begin job on node14 on Mon Jan 8 22:02:56 UTC 2007
IDJOB= 206031
IDBENCH= 4182
FILE ID= node14/206031-1168293775
PBS_JOBID= 3501823
Free space on /tmp= 66333 MiB
BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp36-40/fapp36/fapp36-2000-8.xml
COMMAND LINE= /tmp/evaluation/206031-1168293775/solver /tmp/evaluation/206031-1168293775/unknown 1800
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node14/watcher-206031-1168293775 -o ROOT/results/node14/solver-206031-1168293775 -C 1800 -M 900 /tmp/evaluation/206031-1168293775/solver /tmp/evaluation/206031-1168293775/unknown 1800
META MD5SUM SOLVER= 6c84d9851726bfff2e2bc2bb5530c705
MD5SUM BENCH= 7f44d72a5fa7a0f4922e4f4ea44d0317
RANDOM SEED= 320765902
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.227
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.227
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: 1818904 kB
Buffers: 23260 kB
Cached: 144928 kB
SwapCached: 4056 kB
Active: 107724 kB
Inactive: 90328 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1818904 kB
SwapTotal: 4192956 kB
SwapFree: 4163780 kB
Dirty: 13940 kB
Writeback: 0 kB
Mapped: 38448 kB
Slab: 24508 kB
Committed_AS: 5855240 kB
PageTables: 1804 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= 66314 MiB
End job on node14 on Mon Jan 8 22:03:13 UTC 2007