Trace number 1086753

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Concrete + CSP4J - WMC Engine 2008-05-30SAT 436.837 437.058

DiagnosticValue
CHECKS58829700
NODES1070

General information on the benchmark

Namecsp/fapp/fapp28/
normalized-fapp28-2800-10.xml
MD5SUMbe5e235ab365e5d69a5b7c6b3a61a471
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark48.9406
Satisfiable
(Un)Satisfiability was proved
Number of variables2800
Number of constraints22569
Maximum constraint arity2
Maximum domain size998
Number of constraints which are defined in extension0
Number of constraints which are defined in intension22569
Global constraints used (with number of constraints)

Solver Data (download as text)

388.83/389.08	c Sat Jul 05 09:04:10 CEST 2008 concrete.relationconverter.RelationManager strongOptimizeMemory
388.83/389.08	c WARNING: Could not free more memory in relations
391.83/392.01	c CPU-LOAD 364.86
391.83/392.01	c LOADED 2800 V (998 E), 12046 PredicateConstraint, arity 2, 364.86 cpu
436.61/436.90	v -2474 3096 2320 -3160 3066 -2940 3046 2948 2290 -2996 2234 -3164 -3194 3164 -2222 3160 2550 2472 2508 -2436 -2774 -2820 3156 3156 -2224 -2662 2220 -2662 -2526 -2762 3014 -2892 2434 2954 2258 -2940 -2710 -2962 -3088 -2594 -2544 3102 -2304 -2260 -2572 2948 2716 2822 2230 2838 2530 2934 2436 2298 -2810 2466 2896 3212 -2334 -2260 -2430 3044 -2762 -2738 2588 3198 -3180 2390 2262 -2588 2462 -2772 2220 -2526 -3166 2228 -2258 2936 -2592 -2576 3160 -2826 -3078 -2508 -2724 -2304 3008 3140 2598 3004 2586 2468 2286 -2250 -2278 -2568 3146 2858 2846 2736 2238 2674 2946 -2900 -3090 2902 -3120 -3174 2952 -2906 3120 3154 2660 3076 2838 3196 -2246 -3084 -2498 -3126 3032 -2252 2552 -2568 -2384 -2342 3004 2862 -2346 -3160 2664 2548 -2874 -2502 -2798 -3128 2500 2626 -2774 -2422 2410 -3086 2230 2222 -2770 2736 -2504 -3166 -2680 2234 2318 -2420 -2814 -2302 -2538 -3082 -2276 2734 -2588 -2268 2736 2338 2710 2258 -2862 -3120 -3118 -2262 -3022 3174 2524 -2774 -2236 2936 2360 -2622 3180 -2978 2278 -3166 2456 2860 -2298 -2356 -3116 3120 -2334 -2262 -2808 -3160 2632 2320 2422 2570 -2640 -2632 -2886 3172 2356 -2710 2886 2984 -3210 2258 2398 3140 2934 3030 2606 2390 2520 -2960 -2340 2464 -3168 -2550 3176 -2350 2502 -2318 3048 -3216 2732 -2876 -3112 2268 3118 -2262 3118 -2706 -2244 -2546 2966 -2908 -2522 2932 3176 2234 -2594 2840 2936 -2260 -3150 2716 -2222 -3064 -2668 -2774 2798 2662 3028 -2528 -2894 2788 3126 3148 2846 -2716 2310 -2502 2504 2304 2258 -3200 2774 2906 -2244 2418 -3006 -2982 2762 -2862 -2844 2258 -2884 2470 2312 2906 3160 -2456 -3118 2792 2600 -2388 2432 -2556 2670 -2462 -2908 -2588 3134 2500 2994 -3200 2322 2342 2916 -3156 2880 -2936 2278 -2380 3030 3018 -3028 3158 -2266 -2698 3112 -2554 -2262 -2258 3150 -2766 3112 2936 2596 -2838 2370 2322 -2226 -2230 3146 2670 -2688 -3176 -2688 2412 -2866 -3068 -2484 -3200 2786 2838 2352 2264 2878 3160 2342 -2668 -3004 2766 2818 2954 2480 -2360 3046 2220 2228 2228 -2320 2278 3160 2734 2420 2904 2622 2258 -3160 2834 -2862 3208 2704 -3016 -2862 -2328 2332 -2546 2550 -3066 3014 2776 2864 -2548 2300 -2242 2664 -2280 -2904 2882 2800 -3212 -2872 -2664 -2946 -3100 2894 2778 3090 -2634 3120 2284 3174 -2286 -2222 2932 -2988 -2784 -2500 2566 -2626 2644 2936 2398 2306 -2988 -3008 -2906 3134 2982 2278 -3124 -2966 -3166 2258 3160 2480 2404 2298 -2994 -2220 -2752 2238 2732 2438 3160 -2604 2350 -2320 -2298 -2448 3140 2432 2900 2704 -3166 -3034 -2246 -2318 3166 -3076 2278 2564 2608 3180 2794 2708 2686 3180 3216 2782 -2320 2800 2968 -2486 -2946 3090 -3006 2926 -3200 3204 2276 2260 -2330 2440 -2244 -2662 -2642 -2552 2260 2286 2340 2982 -3024 -2980 -3128 -3126 2540 -3016 -3160 3140 -2230 -2716 -3030 2936 3116 3130 -2258 -2706 2896 -2548 -2840 -2734 -2670 -3090 -2758 -2540 2282 2444 -3174 -2704 2490 -3106 3126 -3042 2772 2564 -3020 2258 2318 2400 2948 -2664 2734 2372 3120 3014 2388 -2370 2264 -2894 2630 -2332 3174 -2444 3096 2266 -2234 -2622 3046 -2908 -2910 -2668 3194 -2482 2776 2250 -2732 -3194 2374 2240 -2710 2236 -2618 2898 -2480 -2262 3044 -2604 -3194 -2664 -2220 2258 -2422 2704 -2282 2444 -2716 2964 -2710 2220 -3216 3006 -2490 2494 3214 2260 -2974 2266 2450 2708 -2586 -2370 2936 3188 2708 -2442 2264 2408 2786 2482 -2400 2572 -2390 -2298 -2280 2550 2418 -3166 -2340 -2600 2956 2818 -2800 -2522 -2788 2514 -2582 -3158 2704 -2776 3214 -2402 -2524 -2320 2288 -3176 2310 3178 -3168 -2654 -3176 -2220 -3166 2734 -2736 2734 -2334 -2830 2906 -3194 -2428 -2422 3126 3002 2730 3176 -2440 2540 -2454 2446 -2894 2276 2418 2988 -3154 2360 2772 2310 -2284 -2524 -3140 -2246 -3146 2262 -2520 -3172 -2862 -2258 -2776 -2440 2280 -2706 2982 3200 -3180 -3176 2334 -2412 2570 -2588 -2474 2444 -3070 2856 2710 3216 -2460 2664 2864 -3108 2264 3078 -2268 -2734 -2800 2708 2704 2648 -2940 -2278 -2388 -3124 -2458 -3172 -2854 2260 2900 -2232 -2278 2330 -2478 2688 2228 -2612 3066 2912 2832 2544 2282 2844 3054 2586 2772 -2638 -2874 2986 2222 2344 2840 -3128 -3140 -2760 3140 -2908 3126 3200 3056 3200 2272 2948 -2834 2230 -3022 -2750 3140 2226 -2266 3036 -3214 -3078 2272 -2406 -2300 -2808 -2796 -2338 2298 3054 -2744 3122 -2862 -2496 2770 2756 3164 2526 -2756 3190 2262 2948 -2484 2592 -2946 -2934 3200 3100 3160 -2288 -2790 2772 3016 3160 2484 -2500 3216 -2596 2434 3056 2946 3006 -3080 2976 -3024 3090 3120 2684 2626 2576 -2796 -2514 -2734 -3216 2298 -2878 -2278 2284 3212 -3108 -2588 3140 3214 -2298 -2224 2742 -2946 3032 -3082 -3026 2934 -2906 2382 -2848 2948 2278 -3160 3156 2700 2892 2306 -3160 -2710 2886 2906 2974 -3180 3166 -3030 2666 2226 -2264 2922 2268 2742 -3116 2882 -2604 2760 2590 -3200 3014 -2250 2846 -2898 2486 2982 3200 -3096 -3198 2906 3156 -2224 3124 -2412 2774 2862 3078 -2512 -2776 -2402 -2666 -3134 -2664 2760 -3160 2260 -2252 3150 -3136 -3200 2602 3152 3044 -3078 -2934 2230 2260 2802 3078 -2320 -2590 2262 2824 2434 2946 3086 -2948 2248 -3004 2488 2832 2558 2664 -2616 2298 -3176 -2362 2798 -2670 -3176 3216 2234 2986 -2258 2226 2404 3128 2756 -2774 -3130 2670 2232 -2372 -3158 -3208 -2852 2570 -2352 -2230 -2240 2872 3118 3192 2268 -2500 -3214 3158 2482 -3118 3020 -2278 -3200 2220 2666 2310 -2378 -3136 2318 -3174 -2486 -2670 2262 2470 2944 2730 -2554 -3118 -3200 -3044 -2588 -2802 3118 -3042 -2704 2412 -3130 -2654 3216 -3166 3084 -2614 2268 -2992 -2228 2320 2452 2956 -3120 -2570 -2262 -2956 -2400 2268 2280 2232 2704 2286 2478 3114 3004 -2756 3076 2548 -2234 2562 3116 -2258 2224 -2372 2450 3176 3128 2298 2816 2330 -2946 2306 3162 -3208 -2776 3012 -2586 -2298 2908 -2998 3216 2516 2710 -2480 2734 3128 2266 -2268 -2400 -2734 -3122 -3160 2658 3200 -2664 -2274 -2266 -2784 -3096 3212 2912 -2990 2434 3176 2748 -2702 3166 -2666 -3166 2236 -3120 -2296 2870 -2224 3048 -3160 -2896 3014 -2386 -2664 3118 3210 2806 -2446 2704 -2946 2600 3160 -2988 2520 -2360 -3010 2596 -3160 2324 2962 2232 -2548 2792 2628 3160 -2318 -3140 -2610 3200 3148 2500 -2294 3138 -2976 -2970 2432 -3186 2632 -2574 2948 2398 -3118 2264 -2220 2278 3022 2486 2222 -2442 -2290 -2630 -2706 2282 3214 -2268 -3126 2670 -3140 -2354 -2434 3200 -2704 -2730 -2530 2720 -2356 -2666 -2710 -3154 -3206 -2230 -2936 -2274 -2394 2952 -2220 2866 -2560 -2758 -2298 -2498 2732 -3160 2942 -2998 -2936 2400 -2292 -2360 3176 3120 2434 -2718 -2426 -2852 -2358 -3078 3166 -3152 2370 2306 -3112 2278 -3178 3186 2236 -2236 3130 2952 2780 3140 2996 2546 2284 2908 -3044 2516 2360 2224 -2902 3016 -3118 2716 2278 -2912 2332 3028 -3042 -2992 2530 -2690 2588 3094 2502 -3158 -3012 2748 2752 2906 3126 2928 -3030 -3152 3176 -2320 -2706 2364 2280 2578 2680 -2802 2710 -2282 2908 -2296 -2908 2628 3094 -2590 2834 2792 -2242 -2380 -2448 2706 2830 3216 2864 2842 2848 2278 -2832 2344 2222 -2364 2530 2776 3196 2988 -3150 2318 -2670 2338 3120 2400 -2720 3176 -2904 2910 -2474 2930 -3108 -2220 2280 2250 -3046 3098 2836 -2958 2652 2936 -2274 -2816 2826 2442 -2320 2866 -2278 -3198 -2260 -2944 -2440 3090 -2286 3166 2696 3136 -2888 -3154 -3098 3166 2866 -2972 2360 2228 -2980 2228 -3120 2506 -2306 -2948 3180 -3176 -3180 -2260 2948 2736 -2666 3166 -3092 2540 -3134 -2874 -2270 -2260 -2670 -3118 2874 3174 3212 -3166 -2244 2270 -3158 -2704 -2692 -2402 2260 2394 2736 -3044 2490 -2674 2292 2280 2356 -2356 2920 -2982 2772 2298 -2522 2272 2728 -2266 -3112 -2966 3154 -2274 2448 -2298 2548 2906 2800 2272 2986 2840 -3200 -2974 -3120 2486 -2760 2920 -2298 2896 2870 2902 3160 -2266 2878 -3116 2478 3176 2394 3118 2972 -2236 2260 2608 3198 3126 -2666 2708 3126 -3118 -2264 -2816 2560 -3160 3154 -2480 2702 2588 -3014 -2330 -2434 2460 2372 2918 2984 -2362 -3146 2430 2604 -2716 3216 2222 3074 2354 -2500 -2616 2260 -2528 -2228 2880 -2482 -3176 -2340 -2458 -3164 2688 -2640 -2886 -2934 -2642 2490 -2258 2894 2668 -2320 -3024 -3044 2276 -3158 -2410 -3070 2736 2924 -3200 -2736 -2294 2278 -2602 -2274 2222 2726 2618 2298 2948 -2874 -3200 2732 -3216 2278 -2318 3094 2318 -2562 2968 -3126 2320 -2704 -2316 2350 -2264 -2454 3152 -3006 -3086 -2486 -3022 -3196 2674 2982 -2466 2374 2254 -3064 3160 2318 -3126 -3132 -3090 -2904 -3116 -2226 2840 2440 -2278 2778 -2904 -2298 -3200 3056 2474 -2354 -2634 -2266 2768 2278 -2322 -2664 -3048 -2234 2584 2494 3176 -2670 2584 -2378 -2774 -2800 -3160 3092 -3052 2896 3006 3140 -2372 2300 2552 2834 -2864 2922 3120 3056 2270 -2834 2368 2388 2838 -2818 -2264 -2948 3088 2712 -3162 3126 -3126 -2474 2322 3046 2760 2982 -2266 2710 3158 2942 2416 2544 -3022 -3068 3200 2496 2490 -2500 2510 -2518 -3174 3130 2862 -2752 3216 -2776 -2662 -2270 2228 2624 -3078 2600 -2282 -2320 2266 -2710 3164 -2506 -3078 -2318 -3078 3154 -2290 -3094 2544 2896 -2608 -2550 -3132 -3120 3126 -2278 -2304 -2272 3178 -2474 -2282 3122 -2874 -2772 3174 -2360 -2934 -2524 -2794 2290 3200 2812 3054 3158 -2220 -2370 -2896 3180 2890 2534 -2822 3144 -3174 2802 2242 3170 -2664 3180 3156 -3136 2240 -2948 -3166 3026 2926 2622 -2320 2544 -2226 3130 -2240 -3200 3198 2570 -2440 2334 -2338 -2360 2720 2220 2252 2434 2668 3144 -2856 2550 -2258 3154 -2992 -2588 3204 -2912 -3162 -3134 2316 -3094 2564 -2730 2670 2266 3200 -2372 3004 -2704 2776 -2236 -2872 -2280 2416 2906 -2914 -3120 3032 2222 3216 -2240 2320 -2556 2700 2826 -3044 2380 2800 2264 3160 -2318 -2408 2394 -2382 2900 3122 2234 3134 -2360 2260 2258 2274 2432 3176 3088 -3114 2736 2632 2766 -3194 2362 3134 -3168 2760 -2224 -2948 3172 -3160 -3004 2602 3174 -2956 -3008 -3068 3006 -2300 2318 3160 2378 3084 -2914 3198 3176 -2798 2376 -3160 -3000 3120 3126 -2290 2710 2880 -2798 -3176 3016 -2744 -3128 -2586 -2270 -2630 2228 2294 2834 -2414 2578 -3118 -2708 -2864 -2474 2232 2932 -2580 -2314 2414 2768 -3216 -3216 2320 -2284 -2276 -3124 2550 2876 -3208 -3016 2288 3090 -2530 2602 -2618 3070 2724 -3174 -2350 2518 -2662 3070 -2488 -2806 3164 2382 2248 2588 2232 -2776 -3090 2896 -2590 2706 -3160 2270 -3044 -2670 3026 -2270 2662 2542 3080 -2596 -3176 2360 -2614 -2278 2362 -2224 3160 2320 2934 2860 -3198 -2230 2318 -3034 2798 2550 2428 2268 2906 2660 -2592 2222 -2418 -3172 2430 2316 3114 -2438 2262 3114 2282 -2558 2638 -2912 -3216 -3192 2320 -2642 3164 2908 2644 -2286 -2902 3018 -2450 2664 2298 2726 -2564 -2298 -3150 2408 3140 2472 3172 2530 -2390 2908 -2304 -2622 3090 3044 3176 -2668 2390 -2290 3126 2756 -2972 2826 -2432 -2720 2536 2616 3158 2392 -2564 2260 -2668 2472 2434 3080 3194 2266 -3154 -3156 -2220 -3014 -3176 2226 2380 -2860 3118 2258 2896 2908 -3160 2434 -2896 3096 -2744 -2270 2280 -2762 2240 2634 -2504 -2666 3200 2902 3158 2322 2766 2234 -2364 -3126 -2732 -2658 3132 2238 2966 3170 -2996 3160 2358 2922 -2936 2288 2434 3216 2262 -2256 -2348 2994 3038 3126 -2360 -2468 -2742 -2760 -2396 2318 -2934 -3196 -2440 -2670 3118 3008 -3090 2918 -2740 2792 -2904 2812 2536 2612 3148 -2598 3170 2322 3166 2300 -3122 3080 3138 -2324 2622 2282 2670 -2774 3030 2342 -2488 2298 -2778 2376 -3088 -2494 2318 2954 2914 -3214 -2386 -3026 -2704 -2360 2908 -2834 -2412 2814 2360 2542 2598 -2974 3176 -3114 -2360 2528 -2976 -2504 2878 -2262 2442 -2888 2268 -2374 -2320 -3170 3096 2504 2930 -2316 -2360 3084 -2372 2740 3124 -2350 -2628 -3158 -3046 3206 -2308 3078 -3152 2224 -2276 2904 -3006 2744 2556 2948 -3028 -2510 2532 -2220 3082 2806 -2602 2484 -2454 3152 3166 -2318 2952 3168 -2228 -3120 -3066 -3038 2744 2404 2242 -2946 -2710 -2992 -3166 -2776 2408 2372 -2462 2716 -2988 2560 -2752 -3156 2456 3196 -3176 -3210 2454 2620 3176 3156 2664 -3174 -2312 3160 2456 2316 2260 -2704 -2972 2908 3126 -2548 -2796 3202 -3146 -2266 2548 2280 3084 -2336 -2260 2398 3160 -2464 3120 -3090 2598 3216 -2314 -2396 -3120 2336 3138 -2588 2242 -3058 2600 3216 -2548 2916 2972 2830 2914 2374 3028 3078 3132 2318 -2902 2634 3156 3056 -2480 -2728 -2474 3110 3180 -2670 -2270 -3186 3042 -2954 -2604 2546 3110 -2220 2852 -2902 2260 -2262 3082 -3216 -3138 -2320 -2470 2272 -2274 2540 2880 2894 3080 -2556 -2298 -3108 2702 -2326 -2386 -2354 -2662 -3162 -2736 3008 -2556 -3154 -2320 2392 2306 -3150 3042 -3120 2860 -2634 2230 -3146 2786 -2580 -2454 2622 -2264 2530 -2852 2802 3214 2320 2776 3168 2266 -2810 -2968 2540 3150 2720 2850 2954 2984 2434 3190 -2276 2796 -2914 3046 2382 -2726 3168 -3148 -3024 -3130 3214 2836 3126 2504 -2270 -2418 -3160 2608 -2732 -3006 -3084 -2570 3216 -2258 2756 -2432 3216 2914 -3006 -2492 -2906 2260 2220 2302 2896 -2774 -2670 -3118 2816 -2360 -3160 -2474 -3104 -3168 2800 3160 3138 2402 -3178 2906 -2810 -3126 3058 2434 2464 2862 2940 -2988 -2990 2318 -2258 2994 3118 2446 3028 -3216 3140 2550 2664 2222 -3120 -3160 2384 2656 -2292 2674 3202 2274 -3200 2694 3006 -3186 -3084 -2974 3200 2870 2590 2882 -2748 2360 2694 3108 2682 -2930 2946 2504 3088 2796 3160 3200 -2300 -3158 -3180 -2238 -3120 2554 -3124 -2412 -2324 2886 -3046 -3200 2372 -3190 2788 -2550 -3196 -2392 -3120 -2996 -3160 3172 -2222 2244 3118 -2760 -2312 2874 2992 -2808 2356 -2226 -3126 -2318 2902 -2322 2954 3164 -2726 3120 2892 3114 -2756 -2944 2278 2242 -2448 -3208 -3180 -2648 2794 -3008 -2786 -3120 -2720 2792 2974 2368 2704 3126 -2564 -3002 2736 -2496 -2318 -2958 -2590 2450 3168 2406 2620 2278 -2748 -3170 2472 3082 2998 2798 -2728 -2224 3176 2850 -2822 3190 -2238 -2378 -3160 -3118 2870 2426 -2474 3110 -2362 -2998 -3124 -3160 3196 -2592 2430 2476 2770 -3082 2292 2226 2908 2590 2510 -2358 3078 -3082 2244 2738 2432 -3092 -3166 -3130 -3160 2264 -2894 -2556 2356 -2472 2526 -3000 2684 2268 -2976 -2736 3160 2764 -2596 -2994 2770 -3154 2410 3044 3110 -2956 -3078 2268 2298 3090 2400 3078 2274 -3024 3130 3056 2402 -3160 -3180 -2648 -2264 2982 -2840 -3140 3158 3160 3156 2620 -2284 -2352 2942 -2666 -2276 -2838 2470 -2360 3034 3122 -2222 -2748 -2644 2550 -3038 2490 -2916 3134 3116 -2590 -2430 2450 2514 -2776 2516 3186 -3214 -2232 -3136 2430 3080 2890 -2734 -2776 2656 -2910 -3118 2360 3050 -2260 2732 -2588 -2314 -2926 2252 -2358 2260 -2294 -2756 -2932 2942 -2474 -3160 -3078 -2246 3130 -3184 2676 -3134 2222 -3098 3176 2942 2976 -2320 2226 3148 3162 3122 -2394 -2752 2276 -2336 3160 -2426 2488 2670 2730 2308 2336 2220 -3120 -3154 3160 3160 2776 -2410 2822 2494 -3114 -2446 -2264 -2842 2770 2980 3172 2610 -2640 -2836 2548 2778 -2670 3188 2298 -2450 -2866 2520 3212 2512 2474 -2272 -2298 2934 2376 -2810 2396 -2636 -2708 2510 -3016 2672 -2672 2402 2320 -2280 3120 -2548 2804 3046 3216 2362 -2644 -3204 2966 2278 -2990 -3144 -2548 2710 2968 -2346 2908 2568 2360 -3166 2264 3126 -2874 -2658 3090 3130 -2340 2730 3156 -2884 2770 2356 2994 2782 -2490 -2434 3142 -2378 -2548 -2396 2800 2788 3166 -2382 -2320 -2248 -2982 -3160 -3156 3060 -2828 -2476 2254 -2366 -2444 -2472 -2360 -2270 2270 -2258 -2348 -2916 -2242 -2566 -3002 2604 3130 -2224 2588 3166 -3166 2896 2308 -2668 -3122 2936 -2538 3198 -2258 2220 -3166 -2954 3154 -2258 2430 -2352 3166 2396 -2890 2776 3200 -3098 -2258 3184 -2708 3200 -3006 2908 2298 3138 -2946 2634 -2686 2974 -2612 2942 -3052 2560 2284 2684 2296 2318 -2360 -3130 -2332 -2442 2858 -2654 -2896 2310 -2948 -3094 -3160 2570 -3004 -2488 2872 3196 2270 2472 2360 -2642 -2278 -2870 2994 -3120 3080 -2474 -2770 -2950 -3074 -2656 2360 2246 -2360 -2302 2430 -2756 -2268 -2276 -2424 2274 2770 3116 -3174 -3028 -3216 3210 -2816 2390 -2812 2320 -2344 2564 2220 -3046 -2220 2710 2588 -2720 -2298 -2846 -2276 -3126 -2960 -2294 2320 -2894 2948 2758 -3160 3200 -3158 2556 -2230 -3214 -2706 3130 2298 3216 2840 3152 2704 2948 3082 2278 2698 -2236 2236 -2970 3088 -2312 3058 -2274 -2826 2258 -2224 -2378 -2416 2414 -2932 -2792 2710 2774 -3040 3126 2362 3048 2260 2920 -2674 -2772 3200 2368 2432 -2544 -2820 2262 3026 2750 -2378 2628 -2766 -2318 -3174 3204 -2726 -2360 -2432 2908 -2758 -2472 2320 -2272 -2702 
436.61/436.90	s SATISFIABLE
436.61/436.90	d NODES 1070
436.61/436.90	d CHECKS 58829708
436.71/436.90	c gac3-effective-revisions: 9835
436.71/436.90	c gac3-useless-revisions: 36476
436.71/436.90	c local-minima: 15
436.71/436.90	c prepro-constraint-ccks: 48610705
436.71/436.90	c prepro-constraint-presenceccks: 819635
436.71/436.90	c prepro-cpu: 17.05
436.71/436.90	c prepro-matrix2d-ccks: 0
436.71/436.90	c prepro-matrix2d-presenceccks: 0
436.71/436.90	c prepro-removed: 2009848
436.71/436.90	c total-assgn: 1070
436.71/436.90	c total-constraint-ccks: 58829708
436.71/436.90	c total-constraint-presence-ccks: 1207989
436.71/436.90	c total-cpu: 39.23
436.71/436.90	c total-matrix2d-ccks: 0
436.71/436.90	c total-matrix2d-presence-ccks: 0
436.71/436.90	c tuples: 0
436.71/436.90	c tuples-collisions: 0
436.71/436.90	c TOTAL-NODES 1070
436.71/436.90	c TOTAL-CPU 39.23

Verifier Data (download as text)

OK

Watcher Data (download as text)

runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr

command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1086753-1215241060/watcher-1086753-1215241060 -o /tmp/evaluation-result-1086753-1215241060/solver-1086753-1215241060 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/concrete.sh -c -ext 0 -s WMC HOME/instance-1086753-1215241060.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.92 1.98 1.99 3/72 11625
/proc/meminfo: memFree=1374344/2055920 swapFree=4180436/4192956
[pid=11625] ppid=11623 vsize=5256 CPUtime=0
/proc/11625/stat : 11625 (concrete.sh) R 11623 11625 11302 0 -1 4194304 61 0 0 0 0 0 0 0 20 0 1 0 2003078241 5382144 46 996147200 4194304 4889804 548682068768 18446744073709551615 255536973232 0 0 4096 0 0 0 0 17 1 0 0
/proc/11625/statm: 1314 46 35 169 0 13 0

[startup+0.0515311 s]
/proc/loadavg: 1.92 1.98 1.99 3/72 11625
/proc/meminfo: memFree=1374344/2055920 swapFree=4180436/4192956
[pid=11625] ppid=11623 vsize=5356 CPUtime=0
/proc/11625/stat : 11625 (concrete.sh) S 11623 11625 11302 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 2003078241 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11625/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.103536 s]
/proc/loadavg: 1.92 1.98 1.99 3/72 11625
/proc/meminfo: memFree=1374344/2055920 swapFree=4180436/4192956
[pid=11625] ppid=11623 vsize=5356 CPUtime=0
/proc/11625/stat : 11625 (concrete.sh) S 11623 11625 11302 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 2003078241 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11625/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301554 s]
/proc/loadavg: 1.92 1.98 1.99 3/72 11625
/proc/meminfo: memFree=1374344/2055920 swapFree=4180436/4192956
[pid=11625] ppid=11623 vsize=5356 CPUtime=0
/proc/11625/stat : 11625 (concrete.sh) S 11623 11625 11302 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 2003078241 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11625/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701591 s]
/proc/loadavg: 1.92 1.98 1.99 3/72 11625
/proc/meminfo: memFree=1374344/2055920 swapFree=4180436/4192956
[pid=11625] ppid=11623 vsize=5356 CPUtime=0
/proc/11625/stat : 11625 (concrete.sh) S 11623 11625 11302 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 2003078241 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11625/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50267 s]
/proc/loadavg: 1.92 1.98 1.99 4/82 11636
/proc/meminfo: memFree=1361848/2055920 swapFree=4180436/4192956
[pid=11625] ppid=11623 vsize=5356 CPUtime=0
/proc/11625/stat : 11625 (concrete.sh) S 11623 11625 11302 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 2003078241 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11625/statm: 1339 242 201 169 0 50 0
[pid=11628] ppid=11625 vsize=844276 CPUtime=1.47
/proc/11628/stat : 11628 (java) S 11625 11625 11302 0 -1 0 7059 0 1 0 141 6 0 0 18 0 9 0 2003078242 864538624 6156 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11628/statm: 211069 6156 2575 9 0 205630 0
[pid=11628/tid=11629] ppid=11625 vsize=844276 CPUtime=1.14
/proc/11628/task/11629/stat : 11629 (java) R 11625 11625 11302 0 -1 64 3440 0 1 0 110 4 0 0 25 0 9 0 2003078243 864538624 6156 996147200 134512640 134550740 4294956016 18446744073709551615 4125767408 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11628/tid=11630] ppid=11625 vsize=844276 CPUtime=0.15
/proc/11628/task/11630/stat : 11630 (java) S 11625 11625 11302 0 -1 64 2355 0 0 0 14 1 0 0 16 0 9 0 2003078244 864538624 6156 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11628/tid=11631] ppid=11625 vsize=844276 CPUtime=0
/proc/11628/task/11631/stat : 11631 (java) S 11625 11625 11302 0 -1 64 13 0 0 0 0 0 0 0 17 0 9 0 2003078244 864538624 6156 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11628/tid=11632] ppid=11625 vsize=844276 CPUtime=0
/proc/11628/task/11632/stat : 11632 (java) S 11625 11625 11302 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 2003078244 864538624 6156 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11628/tid=11633] ppid=11625 vsize=844276 CPUtime=0
/proc/11628/task/11633/stat : 11633 (java) S 11625 11625 11302 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003078247 864538624 6156 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11628/tid=11634] ppid=11625 vsize=844276 CPUtime=0.15
/proc/11628/task/11634/stat : 11634 (java) S 11625 11625 11302 0 -1 64 533 0 0 0 15 0 0 0 16 0 9 0 2003078247 864538624 6156 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11628/tid=11635] ppid=11625 vsize=844276 CPUtime=0
/proc/11628/task/11635/stat : 11635 (java) S 11625 11625 11302 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2003078247 864538624 6156 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11628/tid=11636] ppid=11625 vsize=844276 CPUtime=0
/proc/11628/task/11636/stat : 11636 (java) S 11625 11625 11302 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2003078247 864538624 6156 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 849632

[startup+3.10282 s]
/proc/loadavg: 1.92 1.98 1.99 3/82 11636
/proc/meminfo: memFree=1358264/2055920 swapFree=4180436/4192956
[pid=11625] ppid=11623 vsize=5356 CPUtime=0
/proc/11625/stat : 11625 (concrete.sh) S 11623 11625 11302 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 2003078241 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11625/statm: 1339 242 201 169 0 50 0
[pid=11628] ppid=11625 vsize=844276 CPUtime=3.07
/proc/11628/stat : 11628 (java) S 11625 11625 11302 0 -1 0 7856 0 1 0 299 8 0 0 18 0 9 0 2003078242 864538624 6800 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11628/statm: 211069 6800 2575 9 0 205630 0
[pid=11628/tid=11629] ppid=11625 vsize=844276 CPUtime=2.57
/proc/11628/task/11629/stat : 11629 (java) R 11625 11625 11302 0 -1 64 3593 0 1 0 252 5 0 0 25 0 9 0 2003078243 864538624 6800 996147200 134512640 134550740 4294956016 18446744073709551615 4125981659 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11628/tid=11630] ppid=11625 vsize=844276 CPUtime=0.33
/proc/11628/task/11630/stat : 11630 (java) S 11625 11625 11302 0 -1 64 2999 0 0 0 31 2 0 0 16 0 9 0 2003078244 864538624 6800 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11628/tid=11631] ppid=11625 vsize=844276 CPUtime=0
/proc/11628/task/11631/stat : 11631 (java) S 11625 11625 11302 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003078244 864538624 6800 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11628/tid=11632] ppid=11625 vsize=844276 CPUtime=0
/proc/11628/task/11632/stat : 11632 (java) S 11625 11625 11302 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 2003078244 864538624 6800 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11628/tid=11633] ppid=11625 vsize=844276 CPUtime=0
/proc/11628/task/11633/stat : 11633 (java) S 11625 11625 11302 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003078247 864538624 6800 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11628/tid=11634] ppid=11625 vsize=844276 CPUtime=0.15
/proc/11628/task/11634/stat : 11634 (java) S 11625 11625 11302 0 -1 64 533 0 0 0 15 0 0 0 16 0 9 0 2003078247 864538624 6800 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11628/tid=11635] ppid=11625 vsize=844276 CPUtime=0
/proc/11628/task/11635/stat : 11635 (java) S 11625 11625 11302 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2003078247 864538624 6800 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11628/tid=11636] ppid=11625 vsize=844276 CPUtime=0
/proc/11628/task/11636/stat : 11636 (java) S 11625 11625 11302 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2003078247 864538624 6800 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 849632

[startup+6.30111 s]
/proc/loadavg: 1.93 1.98 1.99 3/82 11636
/proc/meminfo: memFree=1354424/2055920 swapFree=4180436/4192956
[pid=11625] ppid=11623 vsize=5356 CPUtime=0
/proc/11625/stat : 11625 (concrete.sh) S 11623 11625 11302 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 2003078241 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11625/statm: 1339 242 201 169 0 50 0
[pid=11628] ppid=11625 vsize=844276 CPUtime=6.27
/proc/11628/stat : 11628 (java) S 11625 11625 11302 0 -1 0 8824 0 1 0 616 11 0 0 18 0 9 0 2003078242 864538624 7527 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11628/statm: 211069 7527 2575 9 0 205630 0
[pid=11628/tid=11629] ppid=11625 vsize=844276 CPUtime=5.58
/proc/11628/task/11629/stat : 11629 (java) R 11625 11625 11302 0 -1 64 3834 0 1 0 553 5 0 0 25 0 9 0 2003078243 864538624 7527 996147200 134512640 134550740 4294956016 18446744073709551615 4125979242 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11628/tid=11630] ppid=11625 vsize=844276 CPUtime=0.5
/proc/11628/task/11630/stat : 11630 (java) S 11625 11625 11302 0 -1 64 3726 0 0 0 46 4 0 0 16 0 9 0 2003078244 864538624 7527 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11628/tid=11631] ppid=11625 vsize=844276 CPUtime=0
/proc/11628/task/11631/stat : 11631 (java) S 11625 11625 11302 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003078244 864538624 7527 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11628/tid=11632] ppid=11625 vsize=844276 CPUtime=0
/proc/11628/task/11632/stat : 11632 (java) S 11625 11625 11302 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 2003078244 864538624 7527 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11628/tid=11633] ppid=11625 vsize=844276 CPUtime=0
/proc/11628/task/11633/stat : 11633 (java) S 11625 11625 11302 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003078247 864538624 7527 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11628/tid=11634] ppid=11625 vsize=844276 CPUtime=0.15
/proc/11628/task/11634/stat : 11634 (java) S 11625 11625 11302 0 -1 64 533 0 0 0 15 0 0 0 16 0 9 0 2003078247 864538624 7527 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11628/tid=11635] ppid=11625 vsize=844276 CPUtime=0
/proc/11628/task/11635/stat : 11635 (java) S 11625 11625 11302 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2003078247 864538624 7527 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11628/tid=11636] ppid=11625 vsize=844276 CPUtime=0
/proc/11628/task/11636/stat : 11636 (java) S 11625 11625 11302 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2003078247 864538624 7527 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 849632

[startup+12.7027 s]
/proc/loadavg: 1.93 1.98 1.99 3/82 11636
/proc/meminfo: memFree=1350520/2055920 swapFree=4180436/4192956
[pid=11625] ppid=11623 vsize=5356 CPUtime=0
/proc/11625/stat : 11625 (concrete.sh) S 11623 11625 11302 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 2003078241 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11625/statm: 1339 242 201 169 0 50 0
[pid=11628] ppid=11625 vsize=844276 CPUtime=12.67
/proc/11628/stat : 11628 (java) S 11625 11625 11302 0 -1 0 11101 0 1 0 1252 15 0 0 18 0 9 0 2003078242 864538624 8407 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11628/statm: 211069 8407 2575 9 0 205630 0
[pid=11628/tid=11629] ppid=11625 vsize=844276 CPUtime=11.62
/proc/11628/task/11629/stat : 11629 (java) R 11625 11625 11302 0 -1 64 4201 0 1 0 1155 7 0 0 25 0 9 0 2003078243 864538624 8407 996147200 134512640 134550740 4294956016 18446744073709551615 4125980847 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11628/tid=11630] ppid=11625 vsize=844276 CPUtime=0.87
/proc/11628/task/11630/stat : 11630 (java) S 11625 11625 11302 0 -1 64 5636 0 0 0 80 7 0 0 16 0 9 0 2003078244 864538624 8407 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11628/tid=11631] ppid=11625 vsize=844276 CPUtime=0
/proc/11628/task/11631/stat : 11631 (java) S 11625 11625 11302 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003078244 864538624 8407 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11628/tid=11632] ppid=11625 vsize=844276 CPUtime=0
/proc/11628/task/11632/stat : 11632 (java) S 11625 11625 11302 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 2003078244 864538624 8407 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11628/tid=11633] ppid=11625 vsize=844276 CPUtime=0
/proc/11628/task/11633/stat : 11633 (java) S 11625 11625 11302 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003078247 864538624 8407 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11628/tid=11634] ppid=11625 vsize=844276 CPUtime=0.15
/proc/11628/task/11634/stat : 11634 (java) S 11625 11625 11302 0 -1 64 533 0 0 0 15 0 0 0 16 0 9 0 2003078247 864538624 8407 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11628/tid=11635] ppid=11625 vsize=844276 CPUtime=0
/proc/11628/task/11635/stat : 11635 (java) S 11625 11625 11302 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2003078247 864538624 8407 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11628/tid=11636] ppid=11625 vsize=844276 CPUtime=0
/proc/11628/task/11636/stat : 11636 (java) S 11625 11625 11302 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2003078247 864538624 8407 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 849632

[startup+25.5029 s]
/proc/loadavg: 1.95 1.98 1.99 3/82 11636
/proc/meminfo: memFree=1345720/2055920 swapFree=4180436/4192956
[pid=11625] ppid=11623 vsize=5356 CPUtime=0
/proc/11625/stat : 11625 (concrete.sh) S 11623 11625 11302 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 2003078241 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11625/statm: 1339 242 201 169 0 50 0
[pid=11628] ppid=11625 vsize=844276 CPUtime=25.47
/proc/11628/stat : 11628 (java) S 11625 11625 11302 0 -1 0 12630 0 1 0 2527 20 0 0 18 0 9 0 2003078242 864538624 9530 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11628/statm: 211069 9530 2575 9 0 205630 0
[pid=11628/tid=11629] ppid=11625 vsize=844276 CPUtime=24.04
/proc/11628/task/11629/stat : 11629 (java) R 11625 11625 11302 0 -1 64 4607 0 1 0 2395 9 0 0 25 0 9 0 2003078243 864538624 9530 996147200 134512640 134550740 4294956016 18446744073709551615 4125231217 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11628/tid=11630] ppid=11625 vsize=844276 CPUtime=1.24
/proc/11628/task/11630/stat : 11630 (java) S 11625 11625 11302 0 -1 64 6759 0 0 0 114 10 0 0 16 0 9 0 2003078244 864538624 9530 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11628/tid=11631] ppid=11625 vsize=844276 CPUtime=0
/proc/11628/task/11631/stat : 11631 (java) S 11625 11625 11302 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003078244 864538624 9530 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11628/tid=11632] ppid=11625 vsize=844276 CPUtime=0
/proc/11628/task/11632/stat : 11632 (java) S 11625 11625 11302 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 2003078244 864538624 9530 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11628/tid=11633] ppid=11625 vsize=844276 CPUtime=0
/proc/11628/task/11633/stat : 11633 (java) S 11625 11625 11302 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003078247 864538624 9530 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11628/tid=11634] ppid=11625 vsize=844276 CPUtime=0.15
/proc/11628/task/11634/stat : 11634 (java) S 11625 11625 11302 0 -1 64 533 0 0 0 15 0 0 0 16 0 9 0 2003078247 864538624 9530 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11628/tid=11635] ppid=11625 vsize=844276 CPUtime=0
/proc/11628/task/11635/stat : 11635 (java) S 11625 11625 11302 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2003078247 864538624 9530 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11628/tid=11636] ppid=11625 vsize=844276 CPUtime=0
/proc/11628/task/11636/stat : 11636 (java) S 11625 11625 11302 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2003078247 864538624 9530 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 849632

[startup+51.1023 s]
/proc/loadavg: 1.96 1.98 1.99 3/82 11636
/proc/meminfo: memFree=1339448/2055920 swapFree=4180436/4192956
[pid=11625] ppid=11623 vsize=5356 CPUtime=0

################
# More data... #
################

[pid=11628/tid=11629] ppid=11625 vsize=853860 CPUtime=396.12
/proc/11628/task/11629/stat : 11629 (java) R 11625 11625 11302 0 -1 64 14374 0 1 0 39553 59 0 0 25 0 9 0 2003078243 874352640 187076 996147200 134512640 134550740 4294956016 18446744073709551615 4125719053 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11628/tid=11630] ppid=11625 vsize=853860 CPUtime=25.88
/proc/11628/task/11630/stat : 11630 (java) S 11625 11625 11302 0 -1 64 175649 0 0 0 2479 109 0 0 16 0 9 0 2003078244 874352640 187076 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11628/tid=11631] ppid=11625 vsize=853860 CPUtime=0
/proc/11628/task/11631/stat : 11631 (java) S 11625 11625 11302 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003078244 874352640 187076 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11628/tid=11632] ppid=11625 vsize=853860 CPUtime=0
/proc/11628/task/11632/stat : 11632 (java) S 11625 11625 11302 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 2003078244 874352640 187076 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11628/tid=11633] ppid=11625 vsize=853860 CPUtime=0
/proc/11628/task/11633/stat : 11633 (java) S 11625 11625 11302 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003078247 874352640 187076 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11628/tid=11634] ppid=11625 vsize=853860 CPUtime=6.48
/proc/11628/task/11634/stat : 11634 (java) S 11625 11625 11302 0 -1 64 4577 0 0 0 635 13 0 0 15 0 9 0 2003078247 874352640 187076 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11628/tid=11635] ppid=11625 vsize=853860 CPUtime=0
/proc/11628/task/11635/stat : 11635 (java) S 11625 11625 11302 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2003078247 874352640 187076 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11628/tid=11636] ppid=11625 vsize=853860 CPUtime=0
/proc/11628/task/11636/stat : 11636 (java) S 11625 11625 11302 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2003078247 874352640 187076 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 428.52
Current children cumulated vsize (KiB) 859216

[startup+431.903 s]
/proc/loadavg: 2.17 2.06 2.02 3/82 11644
/proc/meminfo: memFree=633648/2055920 swapFree=4180436/4192956
[pid=11625] ppid=11623 vsize=5356 CPUtime=0
/proc/11625/stat : 11625 (concrete.sh) S 11623 11625 11302 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 2003078241 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11625/statm: 1339 242 201 169 0 50 0
[pid=11628] ppid=11625 vsize=853860 CPUtime=431.71
/proc/11628/stat : 11628 (java) S 11625 11625 11302 0 -1 0 195353 0 1 0 42988 183 0 0 18 0 9 0 2003078242 874352640 187087 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11628/statm: 213465 187087 2599 9 0 208025 0
[pid=11628/tid=11629] ppid=11625 vsize=853860 CPUtime=399.27
/proc/11628/task/11629/stat : 11629 (java) R 11625 11625 11302 0 -1 64 14375 0 1 0 39868 59 0 0 25 0 9 0 2003078243 874352640 187087 996147200 134512640 134550740 4294956016 18446744073709551615 4127211355 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11628/tid=11630] ppid=11625 vsize=853860 CPUtime=25.88
/proc/11628/task/11630/stat : 11630 (java) S 11625 11625 11302 0 -1 64 175649 0 0 0 2479 109 0 0 16 0 9 0 2003078244 874352640 187087 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11628/tid=11631] ppid=11625 vsize=853860 CPUtime=0
/proc/11628/task/11631/stat : 11631 (java) S 11625 11625 11302 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003078244 874352640 187087 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11628/tid=11632] ppid=11625 vsize=853860 CPUtime=0
/proc/11628/task/11632/stat : 11632 (java) S 11625 11625 11302 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 2003078244 874352640 187087 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11628/tid=11633] ppid=11625 vsize=853860 CPUtime=0
/proc/11628/task/11633/stat : 11633 (java) S 11625 11625 11302 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003078247 874352640 187087 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11628/tid=11634] ppid=11625 vsize=853860 CPUtime=6.52
/proc/11628/task/11634/stat : 11634 (java) S 11625 11625 11302 0 -1 64 4588 0 0 0 639 13 0 0 15 0 9 0 2003078247 874352640 187087 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11628/tid=11635] ppid=11625 vsize=853860 CPUtime=0
/proc/11628/task/11635/stat : 11635 (java) S 11625 11625 11302 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2003078247 874352640 187087 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11628/tid=11636] ppid=11625 vsize=853860 CPUtime=0
/proc/11628/task/11636/stat : 11636 (java) S 11625 11625 11302 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2003078247 874352640 187087 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 431.71
Current children cumulated vsize (KiB) 859216

[startup+435.101 s]
/proc/loadavg: 2.16 2.05 2.02 3/82 11644
/proc/meminfo: memFree=633584/2055920 swapFree=4180436/4192956
[pid=11625] ppid=11623 vsize=5356 CPUtime=0
/proc/11625/stat : 11625 (concrete.sh) S 11623 11625 11302 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 2003078241 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11625/statm: 1339 242 201 169 0 50 0
[pid=11628] ppid=11625 vsize=853860 CPUtime=434.91
/proc/11628/stat : 11628 (java) S 11625 11625 11302 0 -1 0 195371 0 1 0 43308 183 0 0 18 0 9 0 2003078242 874352640 187104 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11628/statm: 213465 187104 2599 9 0 208025 0
[pid=11628/tid=11629] ppid=11625 vsize=853860 CPUtime=402.41
/proc/11628/task/11629/stat : 11629 (java) R 11625 11625 11302 0 -1 64 14376 0 1 0 40182 59 0 0 25 0 9 0 2003078243 874352640 187104 996147200 134512640 134550740 4294956016 18446744073709551615 4130279425 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11628/tid=11630] ppid=11625 vsize=853860 CPUtime=25.89
/proc/11628/task/11630/stat : 11630 (java) S 11625 11625 11302 0 -1 64 175649 0 0 0 2480 109 0 0 16 0 9 0 2003078244 874352640 187104 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11628/tid=11631] ppid=11625 vsize=853860 CPUtime=0
/proc/11628/task/11631/stat : 11631 (java) S 11625 11625 11302 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003078244 874352640 187104 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11628/tid=11632] ppid=11625 vsize=853860 CPUtime=0
/proc/11628/task/11632/stat : 11632 (java) S 11625 11625 11302 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 2003078244 874352640 187104 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11628/tid=11633] ppid=11625 vsize=853860 CPUtime=0
/proc/11628/task/11633/stat : 11633 (java) S 11625 11625 11302 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003078247 874352640 187104 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11628/tid=11634] ppid=11625 vsize=853860 CPUtime=6.58
/proc/11628/task/11634/stat : 11634 (java) S 11625 11625 11302 0 -1 64 4605 0 0 0 645 13 0 0 15 0 9 0 2003078247 874352640 187104 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11628/tid=11635] ppid=11625 vsize=853860 CPUtime=0
/proc/11628/task/11635/stat : 11635 (java) S 11625 11625 11302 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2003078247 874352640 187104 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11628/tid=11636] ppid=11625 vsize=853860 CPUtime=0
/proc/11628/task/11636/stat : 11636 (java) S 11625 11625 11302 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2003078247 874352640 187104 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 434.91
Current children cumulated vsize (KiB) 859216

[startup+435.902 s]
/proc/loadavg: 2.16 2.05 2.02 3/82 11644
/proc/meminfo: memFree=633584/2055920 swapFree=4180436/4192956
[pid=11625] ppid=11623 vsize=5356 CPUtime=0
/proc/11625/stat : 11625 (concrete.sh) S 11623 11625 11302 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 2003078241 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11625/statm: 1339 242 201 169 0 50 0
[pid=11628] ppid=11625 vsize=853860 CPUtime=435.71
/proc/11628/stat : 11628 (java) S 11625 11625 11302 0 -1 0 195372 0 1 0 43388 183 0 0 18 0 9 0 2003078242 874352640 187105 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11628/statm: 213465 187105 2599 9 0 208025 0
[pid=11628/tid=11629] ppid=11625 vsize=853860 CPUtime=403.21
/proc/11628/task/11629/stat : 11629 (java) R 11625 11625 11302 0 -1 64 14376 0 1 0 40262 59 0 0 25 0 9 0 2003078243 874352640 187105 996147200 134512640 134550740 4294956016 18446744073709551615 4125889729 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11628/tid=11630] ppid=11625 vsize=853860 CPUtime=25.89
/proc/11628/task/11630/stat : 11630 (java) S 11625 11625 11302 0 -1 64 175649 0 0 0 2480 109 0 0 16 0 9 0 2003078244 874352640 187105 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11628/tid=11631] ppid=11625 vsize=853860 CPUtime=0
/proc/11628/task/11631/stat : 11631 (java) S 11625 11625 11302 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003078244 874352640 187105 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11628/tid=11632] ppid=11625 vsize=853860 CPUtime=0
/proc/11628/task/11632/stat : 11632 (java) S 11625 11625 11302 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 2003078244 874352640 187105 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11628/tid=11633] ppid=11625 vsize=853860 CPUtime=0
/proc/11628/task/11633/stat : 11633 (java) S 11625 11625 11302 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003078247 874352640 187105 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11628/tid=11634] ppid=11625 vsize=853860 CPUtime=6.58
/proc/11628/task/11634/stat : 11634 (java) S 11625 11625 11302 0 -1 64 4606 0 0 0 645 13 0 0 15 0 9 0 2003078247 874352640 187105 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11628/tid=11635] ppid=11625 vsize=853860 CPUtime=0
/proc/11628/task/11635/stat : 11635 (java) S 11625 11625 11302 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2003078247 874352640 187105 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11628/tid=11636] ppid=11625 vsize=853860 CPUtime=0
/proc/11628/task/11636/stat : 11636 (java) S 11625 11625 11302 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2003078247 874352640 187105 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 435.71
Current children cumulated vsize (KiB) 859216

[startup+436.707 s]
/proc/loadavg: 2.16 2.05 2.02 3/82 11644
/proc/meminfo: memFree=633520/2055920 swapFree=4180436/4192956
[pid=11625] ppid=11623 vsize=5356 CPUtime=0
/proc/11625/stat : 11625 (concrete.sh) S 11623 11625 11302 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 2003078241 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11625/statm: 1339 242 201 169 0 50 0
[pid=11628] ppid=11625 vsize=853860 CPUtime=436.51
/proc/11628/stat : 11628 (java) S 11625 11625 11302 0 -1 0 195374 0 1 0 43468 183 0 0 18 0 9 0 2003078242 874352640 187107 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11628/statm: 213465 187107 2599 9 0 208025 0
[pid=11628/tid=11629] ppid=11625 vsize=853860 CPUtime=404.01
/proc/11628/task/11629/stat : 11629 (java) R 11625 11625 11302 0 -1 64 14376 0 1 0 40342 59 0 0 25 0 9 0 2003078243 874352640 187107 996147200 134512640 134550740 4294956016 18446744073709551615 4125719053 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11628/tid=11630] ppid=11625 vsize=853860 CPUtime=25.89
/proc/11628/task/11630/stat : 11630 (java) S 11625 11625 11302 0 -1 64 175649 0 0 0 2480 109 0 0 16 0 9 0 2003078244 874352640 187107 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11628/tid=11631] ppid=11625 vsize=853860 CPUtime=0
/proc/11628/task/11631/stat : 11631 (java) S 11625 11625 11302 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003078244 874352640 187107 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11628/tid=11632] ppid=11625 vsize=853860 CPUtime=0
/proc/11628/task/11632/stat : 11632 (java) S 11625 11625 11302 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 2003078244 874352640 187107 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11628/tid=11633] ppid=11625 vsize=853860 CPUtime=0
/proc/11628/task/11633/stat : 11633 (java) S 11625 11625 11302 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003078247 874352640 187107 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11628/tid=11634] ppid=11625 vsize=853860 CPUtime=6.59
/proc/11628/task/11634/stat : 11634 (java) S 11625 11625 11302 0 -1 64 4608 0 0 0 646 13 0 0 15 0 9 0 2003078247 874352640 187107 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11628/tid=11635] ppid=11625 vsize=853860 CPUtime=0
/proc/11628/task/11635/stat : 11635 (java) S 11625 11625 11302 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2003078247 874352640 187107 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11628/tid=11636] ppid=11625 vsize=853860 CPUtime=0
/proc/11628/task/11636/stat : 11636 (java) S 11625 11625 11302 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2003078247 874352640 187107 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 436.51
Current children cumulated vsize (KiB) 859216

[startup+436.902 s]
/proc/loadavg: 2.16 2.05 2.02 3/82 11644
/proc/meminfo: memFree=633520/2055920 swapFree=4180436/4192956
[pid=11625] ppid=11623 vsize=5356 CPUtime=0
/proc/11625/stat : 11625 (concrete.sh) S 11623 11625 11302 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 2003078241 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11625/statm: 1339 242 201 169 0 50 0
[pid=11628] ppid=11625 vsize=853860 CPUtime=436.71
/proc/11628/stat : 11628 (java) S 11625 11625 11302 0 -1 0 195378 0 1 0 43488 183 0 0 18 0 9 0 2003078242 874352640 187111 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11628/statm: 213465 187111 2599 9 0 208025 0
[pid=11628/tid=11629] ppid=11625 vsize=853860 CPUtime=404.2
/proc/11628/task/11629/stat : 11629 (java) R 11625 11625 11302 0 -1 64 14379 0 1 0 40361 59 0 0 25 0 9 0 2003078243 874352640 187111 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11628/tid=11630] ppid=11625 vsize=853860 CPUtime=25.89
/proc/11628/task/11630/stat : 11630 (java) S 11625 11625 11302 0 -1 64 175649 0 0 0 2480 109 0 0 16 0 9 0 2003078244 874352640 187111 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11628/tid=11631] ppid=11625 vsize=853860 CPUtime=0
/proc/11628/task/11631/stat : 11631 (java) S 11625 11625 11302 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003078244 874352640 187111 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11628/tid=11632] ppid=11625 vsize=853860 CPUtime=0
/proc/11628/task/11632/stat : 11632 (java) S 11625 11625 11302 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 2003078244 874352640 187111 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11628/tid=11633] ppid=11625 vsize=853860 CPUtime=0
/proc/11628/task/11633/stat : 11633 (java) S 11625 11625 11302 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003078247 874352640 187111 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11628/tid=11634] ppid=11625 vsize=853860 CPUtime=6.59
/proc/11628/task/11634/stat : 11634 (java) S 11625 11625 11302 0 -1 64 4609 0 0 0 646 13 0 0 15 0 9 0 2003078247 874352640 187111 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11628/tid=11635] ppid=11625 vsize=853860 CPUtime=0
/proc/11628/task/11635/stat : 11635 (java) S 11625 11625 11302 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2003078247 874352640 187111 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11628/tid=11636] ppid=11625 vsize=853860 CPUtime=0
/proc/11628/task/11636/stat : 11636 (java) S 11625 11625 11302 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2003078247 874352640 187111 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 436.71
Current children cumulated vsize (KiB) 859216

[startup+437.002 s]
/proc/loadavg: 2.16 2.05 2.02 3/82 11644
/proc/meminfo: memFree=633520/2055920 swapFree=4180436/4192956
[pid=11625] ppid=11623 vsize=5356 CPUtime=0
/proc/11625/stat : 11625 (concrete.sh) S 11623 11625 11302 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 2003078241 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11625/statm: 1339 242 201 169 0 50 0
[pid=11628] ppid=11625 vsize=0 CPUtime=436.76
/proc/11628/stat : 11628 (java) Z 11625 11625 11302 0 -1 12 195383 0 1 0 43488 188 0 0 16 0 2 0 2003078242 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11628/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 436.76
Current children cumulated vsize (KiB) 5356

Child status: 0
Real time (s): 437.058
CPU time (s): 436.837
CPU user time (s): 434.889
CPU system time (s): 1.9477
CPU usage (%): 99.9493
Max. virtual memory (cumulated for all children) (KiB): 859216

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 434.889
system time used= 1.9477
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 195834
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 50564
involuntary context switches= 43825

runsolver used 0.494924 second user time and 1.50777 second system time

The end

Launcher Data (download as text)

Begin job on node48 at 2008-07-05 08:57:41
IDJOB=1086753
IDBENCH=57876
IDSOLVER=304
FILE ID=node48/1086753-1215241060
PBS_JOBID= 7881977
Free space on /tmp= 66536 MiB

SOLVER NAME= Concrete + CSP4J - WMC Engine 2008-05-30
BENCH NAME= CPAI08/csp/fapp/fapp28/normalized-fapp28-2800-10.xml
COMMAND LINE= HOME/concrete.sh -c -ext 0 -s WMC BENCHNAME 
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1086753-1215241060/watcher-1086753-1215241060 -o /tmp/evaluation-result-1086753-1215241060/solver-1086753-1215241060 -C 1800 -W 2200 -M 900 --output-limit 1,15  HOME/concrete.sh -c -ext 0 -s WMC HOME/instance-1086753-1215241060.xml 

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= be5e235ab365e5d69a5b7c6b3a61a471
RANDOM SEED=1540104002

node48.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/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.231
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.231
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:       1374824 kB
Buffers:         78304 kB
Cached:         222756 kB
SwapCached:       6436 kB
Active:         515540 kB
Inactive:       105660 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1374824 kB
SwapTotal:     4192956 kB
SwapFree:      4180436 kB
Dirty:            3992 kB
Writeback:           0 kB
Mapped:         328152 kB
Slab:            44536 kB
Committed_AS:  4601988 kB
PageTables:       2388 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= 66532 MiB
End job on node48 at 2008-07-05 09:04:58