c
c
c
c solution file
c
c
SAT
-2198 -2510 -2450 -2890 2694 -2686 2274 -2514 2546 -2658 2086 -2318 -2542 -2638 -2854 -2770 2258 -2218 -2098 -2890 -2854 2442 -2890 -2502 -2390 -2274 -1990 -1994 2542 -2386 2078 1990 2570 -2606 -2894 -2806 2710 -2818 -2770 -2146 2854 -2894 2038 -2838 -2850 -2894 -2574 2578 -2686 2770 -2318 2690 -2478 -2050 -2562 -2518 -2854 -2698 -2854 2654 -2730 -1990 -2238 -2030 -2382 -2102 2210 2466 -2486 -2634 -2086 -2842 -2826 2854 -2842 -2622 -2642 -2254 -2422 -2070 -2482 -2394 2214 -2674 -2594 -2890 2730 -2306 2718 -2338 -2110 -2818 -2162 -2778 1990 2582 -2046 -2774 2446 2206 -2706 2262 2482 2718 -2582 2598 -2014 -2746 2378 -2842 -2214 2642 -2302 2414 -2530 2030 2518 2294 2834 -2010 -2834 -2894 2698 -2842 -2602 -2030 -2130 2078 2106 -2830 2074 -2514 2646 -2478 2238 2638 -2318 -2290 2850 -2330 -2650 2730 -2310 -2490 2894 -2854 -2602 -2374 2270 -2290 -2442 -2814 -2534 -2850 2794 -2198 -2174 2522 -2750 -2610 -2278 -2662 -2470 -2634 -2034 -2854 -2594 -2478 -2702 -2150 -2830 2674 -2382 -2562 2830 2442 2158 2406 -2834 -2586 -2834 -2474 -2774 -2826 -2502 -2146 -2890 -2546 2446 2730 2286 -2382 -2354 2006 2450 -2178 -2190 -2758 2282 1990 2254 -2118 -2486 2366 2726 -2254 -1998 -2434 -2894 -2414 2774 -2098 -2346 -2746 -2798 -2654 2718 2506 2382 2622 -2890 -2618 -2186 2522 -2390 -2262 -2850 -2374 -2742 -2482 -2778 2842 2738 2278 -2718 -2778 -2490 -2374 -2746 2142 -2706 -1990 2014 2226 2038 -2878 -2706 -2582 2326 -2258 2454 -2030 2518 2586 2266 2042 2386 -2658 -2698 -2170 -2422 -2850 2806 -2334 -2866 2274 -2870 2370 -2298 1990 -2838 -2610 -2850 2766 2622 1990 2786 -2890 -2674 -2454 -2562 -2682 2582 -2478 2038 2890 -1990 -2082 2350 2302 -2490 -2682 -2410 -2586 -2286 2258 -2602 2786 -2190 -2846 2810 -2570 2254 -2750 2590 2246 -2022 -2486 -2646 -2614 -2594 -2230 -2142 -2530 2154 -2410 -2894 -2850 2722 1990 2162 -2878 2678 -2710 2786 2466 2782 2850 -2618 -2866 -2482 -2582 2542 -2394 -2534 -2474 -2582 2154 -2670 -2106 -2394 -2442 2362 2334 -2014 2450 2834 -2062 2738 -2382 -2030 -2618 2194 -2430 -2258 -2598 -2198 2034 -2850 -2226 -2854 -2190 2030 -2654 -1994 -2722 -2046 -2110 -2350 -2718 2806 -2098 -2038 -2450 2442 2598 -2174 -2558 2410 -2586 2374 -2030 2770 2334 -2010 2014 2674 -2850 -2778 -2390 -2678 -2174 2806 -2222 2850 -2434 -2058 -2542 -2234 -2726 -2882 -2826 -2518 2262 2310 2854 -2242 -1990 -2434 2306 2006 2214 -2742 -2634 -2642 -2154 2834 -2286 2886 -2374 2406 -2330 -2118 2354 2742 -2850 -2014 -2682 2330 -2794 2478 -2518 -2214 -2230 -2542 2874 -2162 -2826 -2890 -2254 -2526 2258 2474 -2562 2838 -2446 2194 2878 -2546 -2670 -2086 2030 2238 -2822 -2294 -2606 -2414 2514 -2594 -2190 -2318 -2118 2714 -2438 -2826 -2554 -2894 2238 -2334 -2198 -2382 -2306 -2162 -2842 2046 -2342 2222 -2550 2410 -2630 2498 -2042 2542 -2362 -2826 -2530 2478 2230 -2358 2446 2698 -2002 -2314 -2658 2034 -2758 -2478 -2866 2606 -2454 2270 -2854 2750 2738 2458 -2854 2578 -2082 -2850 2734 2122 -2078 -2674 -2082 2894 -2854 -2894 -2702 -2366 -2626 2754 -2394 2110 -2470 -2890 -2510 -2782 2266 -2670 -2882 -2614 -2510 -2434 2710 -2118 -1990 -2670 2618 -2642 -2078 -2030 -2786 -2218 2482 -2050 1990 -2202 -2658 -2614 2782 -2282 2794 -2890 2242 2682 -2398 -2422 -2582 -2470 -2114 -1990 -2394 1990 2086 2250 2250 2446 -2010 -2890 -2634 -2818 -2374 -2606 -2122 -2722 -2106 -2314 -2734 -2190 2546 -2710 -2842 2030 2886 -2358 -2890 -2838 -2070 2158 -2694 -2750 -2478 -2030 -2530 -2042 -2710 -2042 -2782 2342 2246 2490 -2654 2786 -1990 2098 -2882 -2278 -2130 -2030 -2730 -2830 -2662 -1990 -2350 -2730 -2194 2850 -2086 -2894 2030 -2586 2702 -2702 -2022 1994 -2846 -2770 -2350 -2702 -2030 -2274 -2082 -2858 2114 -2030 -2494 -2482 -2894 -2890 -2202 2558 -2106 -2058 -2442 -2190 -2774 -2622 -2854 -2710 2654 2894 2494 -2258 2398 -2770 -2854 2506 -2682 2634 -2794 -2578 -2750 -2610 -2294 -2478 2442 -2634 2854 -2426 -2562 2518 -2754 2438 -2366 -2602 -2678 -2202 -2654 -2870 -2394 2414 -2890 -2810 2810 -2074 -2222 -2358 -2882 -2894 -2406 -2246 -2890 -2414 -2602 -2214 2066 -2238 2422 2698 2626 -2014 2506 2438 -2738 2538 2622 -2682 -2218 -2566 2662 -2406 2846 -2042 -2342 2694 -2882 -2046 2690 -2198 2690 -2534 2710 -2158 2358 1990 -2318 -2342 2602 -2654 2810 -2054 2670 -2350 -2150 -2326 -2494 -2562 2390 -2466 -2438 -2562 2178 -2478 2634 -1990 2542 -2674 -2518 -2806 2438 -2206 -2090 2530 -2526 2042 -2030 -2886 2658 2302 2794 -2850 -2130 -2682 -2518 2442 -2110 -2506 -2586 -2490 -2042 -2798 -2746 -2586 -2142 2810 -2182 1998 -2422 2658 2378 2134 -2218 -2250 -2382 -2226 2606 -2450 2498 -2038 -2762 -2654 2882 -2622 1990 -2586 2806 -2686 -2518 -2810 2890 -2006 2606 2030 -2638 -2146 2178 -2462 -2654 -2134 2174 -2854 -2334 2326 2522 2522 -2518 -2390 2030 -2554 -2630 -2218 -2282 -2034 -2034 -2350 2894 2870 -2030 -2158 2774 -2546 -2030 -2374 -2546 2134 -2750 -2806 -2494 -1990 -2078 -2842 -2146 2302 2554 -2186 -2806 2030 -2314 -2834 -2630 2482 1990 -2498 -2774 -1998 2014 -2054 2830 -2074 -2462 2474 -2654 2342 2434 -2366 -2154 2586 -2890 -2654 -2894 -2546 -2374 -2694 -2782 -2642 -2122 -2482 2158 -2698 -2746 -2222 -2398 -2330 -2298 -2458 -2750 2790 -2442 -2182 2558 -2854 -2078 2030 -2278 -2642 2634 -2602 -2350 -2658 -2478 2826 -2850 1998 -2522 -2746 -2506 -2750 2674 -2826 2442 -2474 -2702 -2790 -2854 -2582 -2490 2202 -2710 2566 2162 -2090 2790 -2802 -2414 2510 2578 -2262 2858 -2218 -2490 -2214 -2102 -2894 -2842 -2314 -2290 2526 -2890 -2474 -2198 -2142 -2274 -2334 2718 -2210 2062 -2790 -2542 -2770 2350 -2602 -2662 2458 -2014 2546 -2122 -2354 -2890 2790 -2826 2606 -2314 -2762 -2894 2362 -2854 -2402 -2594 -2854 -2422 -2418 2054 2406 -2718 -2594 -2678 -2866 -2306 -2462 -2030 -2374 2574 -2278 2430 -2694 2150 2834 2694 -2418 -1990 -2234 2310 -2854 -2038 -2734 2354 -2522 -2598 -2562 -2706 -2874 -2530 -2794 -2854 2158 -2482 2562 2566 -2054 -2050 2046 -2418 2310 -2458 -2090 -2430 -2702 -2386 -2654 2158 -2406 -2418 -2582 -2494 1990 -2450 -2038 2722 -2570 2030 2606 -2678 2798 2342 2378 -2266 2850 -2230 -2658 -2378 -2774 2110 -2798 2570 -2442 -2466 -2622 2058 -2278 2654 -2174 2758 2382 2594 -2710 -2478 2526 -2026 2642 -2110 -2850 2602 2446 -2894 -2854 2534 2546 -2714 -2554 2210 -2374 -2198 -2030 -1994 -2746 2762 -2682 -2102 -2750 -2010 2298 2234 2818 -2226 2166 -2078 -2646 -2794 -2294 -2846 -2538 -1990 -2362 -2854 -2894 -2750 -2246 -2474 2822 -2850 2826 -2642 -2010 2866 -2334 2354 -2074 2434 2742 2470 -2030 -2794 -1990 -2894 -2742 -2346 -2842 2002 -2850 2290 2802 2214 -2578 -2526 2358 2790 -2758 -2810 -2894 -2566 2210 -2854 -2198 -2882 -2802 -2426 -2614 2370 -2742 -2642 -2754 2394 2126 -2894 -1998 2158 -2554 -2022 -2706 -2282 -2030 2150 -2194 -2266 -2322 -2366 2418 -2162 -2894 -2038 -2006 2250 2066 -2162 2514 2718 2602 2002 2490 2578 -2162 -2814 2530 -2174 2466 -2122 -2366 2554 -2194 2830 -2030 -2658 -2306 2046 -2578 -2774 -2082 -2854 -2370 -2674 -2854 2894 -2498 -2442 -2818 2518 -2622 -2530 -2374 2842 -2254 -2214 2166 -2530 -2854 2682 2214 -2598 2618 2674 -2538 -2726 -2546 -2734 2042 -2494 -2510 -2518 -2478 2602 -2206 -2310 -2826 -2842 -2786 2694 2894 -2010 2438 2378 2370 2310 -2838 -2390 -2482 2498 -2286 -2098 -2706 -2522 -2494 2082 -2858 2694 -2194 -2522 -2566 -2850 -2598 -2622 -2050 -2478 -2410 -2730 2202 -2526 -2490 -2506 -2734 -2694 2442 2130 2642 2318 2594 2218 -2894 -2046 -2558 -2050 -2502 -2346 2030 2418 -2402 -2834 2850 2162 -2086 -2822 -2366 2310 -2890 2378 -2286 -2794 2810 2854 -2306 -2678 -2414 -2410 -2046 -2274 -2802 -2130 2306 -2690 -2702 -2874 -2670 -2538 -2414 2254 2718 -2306 2662 2314 2466 -2850 2346 -2646 -2170 -2326 -2554 -2254 2058 2734 -2514 -2322 -2266 -2374 2242 -2750 2802 -2230 -2690 -2850 -2694 -2658 -2894 -2830 2802 -2330 -2110 -2194 -2458 2150 -2586 -2606 2894 -2302 2146 2226 2454 2322 -2826 -2842 -2066 1990 -2734 2758 2730 -2338 2486 2170 2678 2542 -2006 -2854 -2802 2350 -2474 -2786 2570 2794 2238 2438 2258 2470 -2582 -2558 -2198 -2042 -2778 -2570 -2138 -2474 -2674 2514 -2630 2114 2818 -2178 -2742 -2090 2454 2038 -2698 2418 -2054 -2546 -1990 -2746 -2206 -2198 -2850 2434 -2666 -2030 2126 -2642 -2262 -2758 2514 -2850 -2214 2854 2594 -2850 2694 -2442 2586 -2894 -2562 -2274 -2334 2030 -2502 -2218 2634 -2698 -2658 -2138 2538 -2418 1998 2130 -2350 -2502 2622 -2786 2234 -2374 -2370 -2394 -2738 2266 2634 -2102 -2562 2082 -2686 2554 -1998 2278 2306 -2086 2082 -2354 -2154 -2566 -2794 -2570 -2462 2402 2230 -2262 -2678 2422 -2546 -2846 -2018 2854 -2794 -2202 2530 -2346 2510 2170 -2314 -2706 -2298 -2642 -2786 -2446 -2458 2346 2462 2658 -2398 2534 -2890 -1990 2494 -2854 -2558 -2542 -2186 -1998 -2182 2370 -2850 2826 -2730 -2182 2674 -2310 2694 -2882 -2714 2202 2066 -2894 2842 -2198 -2410 -2550 -2770 -2622 -2318 2498 -2850 -2786 2850 -2034 -2834 -2486 -2542 -2454 -2034 -2374 2854 -2398 -2422 -2662 2030 -2854 -1990 -2234 -2450 -2482 2582 -2430 2442 -2642 -2414 -2582 -2854 -2314 -2610 2850 2810 2174 -2582 2002 -2314 2174 -2746 -2546 1990 -2290 -2354 -2806 -2894 -2330 2434 2698 -2730 -2038 2486 2190 -2742 2298 -2414 -2486 2446 -2894 2494 -2678 -2222 -2382 -2890 -1990 -2534 -2706 2106 -2634 -2770 -2018 2738 2750 -2270 2278 2386 -2322 -2070 -2718 2890 -2114 -2582 2770 -2326 -2094 -2698 -2894 2518 2346 -2034 -2570 2082 2318 2130 -2350 -2746 -2474 -2070 -2202 -2054 -2514 -2338 -2014 1990 -2222 2582 2118 2434 2170 2142 -2846 -2230 -2462 2870 2650 -2158 -2890 2030 2834 -2054 -2486 -2094 -2622 2054 -2638 -2746 2806 -2890 2578 2354 -2562 -2546 -2162 -2394 -2758 1990 -2706 -2634 -2698 2574 -2542 -2358 2054 1990 2362 -2622 -2894 -2866 -2798 -2402 2394 -2058 -2818 -2610 2178 -2030 2638 -2030 -2414 -2378 -2582 -2050 -2126 -2242 -2326 -2622 -2462 2782 -2490 2170 2854 -2522 2362 -2434 2030 -2642 -2742 -2426 -2894 2862 -2894 -2198 -2774 -2890 -2614 2642 2434 -2774 2418 2518 -2074 2582 2170 -2618 2334 -2538 -2814 2490 -2746 -2798 2734 -2466 2558 -2850 2290 -2326 -2278 2806 -2574 -2806 -2714 -2070 -2510 2458 2266 2658 2122 2058 -2342 -2238 -2646 -2846 -2070 -2890 -2762 -2718 -2030 2894 -2042 2162 -2534 2846 -2466 -2470 2314 2710 2282 -2842 -2854 -2594 2802 -2834 -2890 -2202 2402 -2894 2150 -2674 2682 2854 -2030 -2182 -2470 -2114 -2306 -2586 -2338 2138 -2414 2374 -2274 -2398 -2478 2342 -2870 -2534 2538 2850 -2374 2758 -2650 -2646 -1994 -1990 -2890 2558 -2062 2678 -2062 -2282 -2350 -2398 2106 2894 2030 2314 -2738 -2106 -1994 2014 -2214 -2390 -2498 -2346 -2350 2394 -2214 -2210 2474 -2774 2546 -2798 -2626 2850 -2274 -2298 2850 -2342 -2266 -2242 2738 -2882 2450 -2406 2822 2850 -2506 -2054 2698 2426 2758 2734 -2566 -2002 -2662 -2766 -2414 -2698 1990 -2050 2470 -2038 -2566 2478 -2826 -2774 -2766 2490 -2358 2022 2438 -2662 -2854 -2846 2594 -2378 2298 -2786 -2518 -2166 1990 2682 2858 -2654 2270 -2682 -2350 -2610 -2470 -2042 -2526 2582 -2854 2438 2098 1998 -2774 1994 -2474 -2810 -2262 -2378 -2062 2110 -2282 -1994 -2258 -2346 1990 -2710 -2154 -2402 2562 -2786 -2338 2054 2646 -2514 -2826 2430 -2122 -2606 2690 -2718 -2586 2402 2030 2850 2254 -2654 2542 -2834 -2526 -2890 2690 -2030 -2770 2042 -2534 2682 2330 -2046 -2706 -2894 -2282 2718 -2394 -2890 -2574 -2758 -2686 -2414 2846 -2666 -2694 2038 -2842 -2546 -2310 -2486 -2618 2270 -2894 -2062 -2454 -2802 2482 2050 -2054 -2814 -2766 -2506 -2534 -2734 2206 -2586 2082 -2582 2030 2618 2258 -2034 -2402 2830 -2778 2630 -2750 2222 -2302 -2582 -2242 -2554 -2482 -2798 2390 -2890 2550 -2114 -2506 -2066 2794 -2470 2322 -2322 -2782 -2890 2562 -2274 -2010 -2846 2690 -2050 2274 -1990 -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/node16/watcher-206047-1168293778 -o ROOT/results/node16/solver-206047-1168293778 -C 1800 -M 900 /tmp/evaluation/206047-1168293778/solver /tmp/evaluation/206047-1168293778/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.80 1.45 1.59 5/87 22166
/proc/meminfo: memFree=1357504/2055920 swapFree=4191880/4192956
[pid=22165] ppid=22163 vsize=5352 CPUtime=0
/proc/22165/stat : 22165 (solver) S 22163 22165 17107 0 -1 4194304 295 26 0 0 0 0 0 0 16 0 1 0 177772970 5480448 232 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22165/statm: 1338 232 194 169 0 49 0
[pid=22168] ppid=22165 vsize=192 CPUtime=0
/proc/22168/stat : 22168 (grep) R 22165 22165 17107 0 -1 4194304 39 0 0 0 0 0 0 0 23 0 1 0 177772970 196608 15 18446744073709551615 4194304 4274172 548682069536 18446744073709551615 231959697302 0 0 4096 0 0 0 0 17 1 0 0
/proc/22168/statm: 48 15 10 19 0 2 0
[startup+0.106455 s]
/proc/loadavg: 1.80 1.45 1.59 5/87 22166
/proc/meminfo: memFree=1357504/2055920 swapFree=4191880/4192956
[pid=22165] ppid=22163 vsize=5352 CPUtime=0
/proc/22165/stat : 22165 (solver) S 22163 22165 17107 0 -1 4194304 354 334 0 0 0 0 0 0 17 0 1 0 177772970 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22165/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352
[startup+0.514386 s]
/proc/loadavg: 1.80 1.45 1.59 5/87 22166
/proc/meminfo: memFree=1357504/2055920 swapFree=4191880/4192956
[pid=22165] ppid=22163 vsize=5352 CPUtime=0.38
/proc/22165/stat : 22165 (solver) S 22163 22165 17107 0 -1 4194304 376 2542 0 0 0 0 35 3 15 0 1 0 177772970 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22165/statm: 1338 242 203 169 0 49 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 5352
[startup+1.33723 s]
/proc/loadavg: 1.80 1.45 1.59 3/88 22178
/proc/meminfo: memFree=1286200/2055920 swapFree=4191880/4192956
[pid=22165] ppid=22163 vsize=5352 CPUtime=0.38
/proc/22165/stat : 22165 (solver) S 22163 22165 17107 0 -1 4194304 376 2542 0 0 0 0 35 3 15 0 1 0 177772970 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22165/statm: 1338 242 203 169 0 49 0
[pid=22178] ppid=22165 vsize=40336 CPUtime=0.89
/proc/22178/stat : 22178 (bordewijk) R 22165 22165 17107 0 -1 4194304 9568 0 0 0 81 8 0 0 25 0 1 0 177773014 41304064 9540 18446744073709551615 134512640 134912576 4294956768 18446744073709551615 7640699 0 0 4096 0 0 0 0 17 1 0 0
/proc/22178/statm: 10084 9540 204 97 0 9365 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 45688
[startup+2.98793 s]
/proc/loadavg: 1.82 1.45 1.59 3/88 22178
/proc/meminfo: memFree=1247160/2055920 swapFree=4191880/4192956
[pid=22165] ppid=22163 vsize=5352 CPUtime=0.38
/proc/22165/stat : 22165 (solver) S 22163 22165 17107 0 -1 4194304 376 2542 0 0 0 0 35 3 15 0 1 0 177772970 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22165/statm: 1338 242 203 169 0 49 0
[pid=22178] ppid=22165 vsize=134584 CPUtime=2.52
/proc/22178/stat : 22178 (bordewijk) R 22165 22165 17107 0 -1 4194304 35949 0 0 0 218 34 0 0 25 0 1 0 177773014 137814016 32230 18446744073709551615 134512640 134912576 4294956768 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/22178/statm: 33646 32230 217 97 0 32927 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 139936
[startup+6.26632 s]
/proc/loadavg: 1.82 1.45 1.59 3/88 22178
/proc/meminfo: memFree=1166848/2055920 swapFree=4191880/4192956
[pid=22165] ppid=22163 vsize=5352 CPUtime=0.38
/proc/22165/stat : 22165 (solver) S 22163 22165 17107 0 -1 4194304 376 2542 0 0 0 0 35 3 15 0 1 0 177772970 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22165/statm: 1338 242 203 169 0 49 0
[pid=22178] ppid=22165 vsize=134584 CPUtime=5.76
/proc/22178/stat : 22178 (bordewijk) R 22165 22165 17107 0 -1 4194304 35949 0 0 0 236 340 0 0 25 0 1 0 177773014 137814016 32230 18446744073709551615 134512640 134912576 4294956768 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/22178/statm: 33646 32230 217 97 0 32927 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 139936
[startup+12.7331 s]
/proc/loadavg: 1.77 1.46 1.59 2/82 22190
/proc/meminfo: memFree=1303984/2055920 swapFree=4191880/4192956
[pid=22165] ppid=22163 vsize=5352 CPUtime=9.03
/proc/22165/stat : 22165 (solver) S 22163 22165 17107 0 -1 4194304 396 38492 0 0 0 0 287 616 16 0 1 0 177772970 5480448 242 18446744073709551615 4194304 4889804 548682069328 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22165/statm: 1338 242 203 169 0 49 0
[pid=22179] ppid=22165 vsize=76868 CPUtime=3.53
/proc/22179/stat : 22179 (standalone) R 22165 22165 17107 0 -1 4194304 18309 0 0 0 207 146 0 0 25 0 1 0 177773888 78712832 17873 18446744073709551615 134512640 134775488 4294956880 18446744073709551615 4087932396 0 0 4096 0 0 0 0 17 0 0 0
/proc/22179/statm: 19217 17873 137 64 0 18532 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 82220
Child status: 0
Real time (s): 15.1992
CPU time (s): 15.0447
CPU user time (s): 7.39487
CPU system time (s): 7.64984
CPU usage (%): 98.9833
Max. virtual memory (cumulated for all children) (KiB): 139936
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.39487
system time used= 7.64984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57931
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= 424
involuntary context switches= 833
runsolver used 0.021996 s user time and 0.049992 s system time
The end
Begin job on node16 on Mon Jan 8 22:03:01 UTC 2007
IDJOB= 206047
IDBENCH= 4183
FILE ID= node16/206047-1168293778
PBS_JOBID= 3501835
Free space on /tmp= 66478 MiB
BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp36-40/fapp36/fapp36-2000-9.xml
COMMAND LINE= /tmp/evaluation/206047-1168293778/solver /tmp/evaluation/206047-1168293778/unknown 1800
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node16/watcher-206047-1168293778 -o ROOT/results/node16/solver-206047-1168293778 -C 1800 -M 900 /tmp/evaluation/206047-1168293778/solver /tmp/evaluation/206047-1168293778/unknown 1800
META MD5SUM SOLVER= 6c84d9851726bfff2e2bc2bb5530c705
MD5SUM BENCH= c41a224ced2d9da1b6c70f54377c78b8
RANDOM SEED= 64687248
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: 1360160 kB
Buffers: 90876 kB
Cached: 462876 kB
SwapCached: 448 kB
Active: 414384 kB
Inactive: 221848 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1360160 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 46852 kB
Writeback: 0 kB
Mapped: 101832 kB
Slab: 44328 kB
Committed_AS: 5058016 kB
PageTables: 2436 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= 66491 MiB
End job on node16 on Mon Jan 8 22:03:17 UTC 2007