Trace number 1086732

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 430.371 434.299

DiagnosticValue
CHECKS45067000
NODES691

General information on the benchmark

Namecsp/fapp/fapp28/
normalized-fapp28-2800-5.xml
MD5SUM712a20b0506303fd583b688f94b5a45f
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 benchmark44.8502
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)

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

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-1086732-1215240954/watcher-1086732-1215240954 -o /tmp/evaluation-result-1086732-1215240954/solver-1086732-1215240954 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/concrete.sh -c -ext 0 -s WMC HOME/instance-1086732-1215240954.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: 2.19 2.03 2.01 4/72 25453
/proc/meminfo: memFree=1897984/2055920 swapFree=4180000/4192956
[pid=25453] ppid=25451 vsize=5356 CPUtime=0
/proc/25453/stat : 25453 (concrete.sh) S 25451 25453 24783 0 -1 4194304 271 0 0 0 0 0 0 0 22 0 1 0 2003069557 5484544 230 996147200 4194304 4889804 548682068768 18446744073709551615 238487830610 0 0 4100 65536 18446744071563648864 0 0 17 1 0 0
/proc/25453/statm: 1339 230 191 169 0 50 0
[pid=25454] ppid=25453 vsize=5356 CPUtime=0
/proc/25454/stat : 25454 (concrete.sh) D 25453 25453 24783 0 -1 4194368 25 0 0 0 0 0 0 0 24 0 1 0 2003069558 5484544 235 996147200 4194304 4889804 548682068768 18446744073709551615 238487661863 0 0 4096 0 18446744071563479169 0 0 17 1 0 0
/proc/25454/statm: 1339 235 195 169 0 50 0

[startup+0.0217019 s]
/proc/loadavg: 2.19 2.03 2.01 4/72 25453
/proc/meminfo: memFree=1897984/2055920 swapFree=4180000/4192956
[pid=25453] ppid=25451 vsize=5356 CPUtime=0
/proc/25453/stat : 25453 (concrete.sh) R 25451 25453 24783 0 -1 4194304 295 128 0 0 0 0 0 0 22 0 1 0 2003069557 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 238487830889 0 0 4100 65536 0 0 0 17 1 0 0
/proc/25453/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.102713 s]
/proc/loadavg: 2.19 2.03 2.01 4/72 25453
/proc/meminfo: memFree=1897984/2055920 swapFree=4180000/4192956
[pid=25453] ppid=25451 vsize=5356 CPUtime=0
/proc/25453/stat : 25453 (concrete.sh) S 25451 25453 24783 0 -1 4194304 315 128 0 0 0 0 0 0 22 0 1 0 2003069557 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25453/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.302735 s]
/proc/loadavg: 2.19 2.03 2.01 4/72 25453
/proc/meminfo: memFree=1897984/2055920 swapFree=4180000/4192956
[pid=25453] ppid=25451 vsize=5356 CPUtime=0
/proc/25453/stat : 25453 (concrete.sh) S 25451 25453 24783 0 -1 4194304 315 128 0 0 0 0 0 0 22 0 1 0 2003069557 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25453/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.702782 s]
/proc/loadavg: 2.19 2.03 2.01 4/72 25453
/proc/meminfo: memFree=1897984/2055920 swapFree=4180000/4192956
[pid=25453] ppid=25451 vsize=5356 CPUtime=0
/proc/25453/stat : 25453 (concrete.sh) S 25451 25453 24783 0 -1 4194304 315 128 0 0 0 0 0 0 22 0 1 0 2003069557 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25453/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50194 s]
/proc/loadavg: 2.17 2.03 2.01 3/82 25464
/proc/meminfo: memFree=1884400/2055920 swapFree=4180000/4192956
[pid=25453] ppid=25451 vsize=5356 CPUtime=0
/proc/25453/stat : 25453 (concrete.sh) S 25451 25453 24783 0 -1 4194304 315 128 0 0 0 0 0 0 22 0 1 0 2003069557 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25453/statm: 1339 242 201 169 0 50 0
[pid=25456] ppid=25453 vsize=844276 CPUtime=1.42
/proc/25456/stat : 25456 (java) S 25453 25453 24783 0 -1 0 6987 0 2 0 138 4 0 0 18 0 9 0 2003069559 864538624 6094 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25456/statm: 211069 6094 2575 9 0 205630 0
[pid=25456/tid=25457] ppid=25453 vsize=844276 CPUtime=1.08
/proc/25456/task/25457/stat : 25457 (java) R 25453 25453 24783 0 -1 64 3430 0 2 0 106 2 0 0 25 0 9 0 2003069560 864538624 6094 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25456/tid=25458] ppid=25453 vsize=844276 CPUtime=0.15
/proc/25456/task/25458/stat : 25458 (java) S 25453 25453 24783 0 -1 64 2291 0 0 0 14 1 0 0 15 0 9 0 2003069561 864538624 6094 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25456/tid=25459] ppid=25453 vsize=844276 CPUtime=0
/proc/25456/task/25459/stat : 25459 (java) S 25453 25453 24783 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003069561 864538624 6094 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25456/tid=25460] ppid=25453 vsize=844276 CPUtime=0
/proc/25456/task/25460/stat : 25460 (java) S 25453 25453 24783 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 2003069561 864538624 6094 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25456/tid=25461] ppid=25453 vsize=844276 CPUtime=0
/proc/25456/task/25461/stat : 25461 (java) S 25453 25453 24783 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003069563 864538624 6094 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25456/tid=25462] ppid=25453 vsize=844276 CPUtime=0.16
/proc/25456/task/25462/stat : 25462 (java) S 25453 25453 24783 0 -1 64 533 0 0 0 16 0 0 0 16 0 9 0 2003069563 864538624 6094 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25456/tid=25463] ppid=25453 vsize=844276 CPUtime=0
/proc/25456/task/25463/stat : 25463 (java) S 25453 25453 24783 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2003069563 864538624 6094 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25456/tid=25464] ppid=25453 vsize=844276 CPUtime=0
/proc/25456/task/25464/stat : 25464 (java) S 25453 25453 24783 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 2003069564 864538624 6094 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 849632

[startup+3.10105 s]
/proc/loadavg: 2.17 2.03 2.01 3/82 25464
/proc/meminfo: memFree=1880816/2055920 swapFree=4180000/4192956
[pid=25453] ppid=25451 vsize=5356 CPUtime=0
/proc/25453/stat : 25453 (concrete.sh) S 25451 25453 24783 0 -1 4194304 315 128 0 0 0 0 0 0 22 0 1 0 2003069557 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25453/statm: 1339 242 201 169 0 50 0
[pid=25456] ppid=25453 vsize=844276 CPUtime=3.01
/proc/25456/stat : 25456 (java) S 25453 25453 24783 0 -1 0 7804 0 2 0 294 7 0 0 18 0 9 0 2003069559 864538624 6761 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25456/statm: 211069 6761 2575 9 0 205630 0
[pid=25456/tid=25457] ppid=25453 vsize=844276 CPUtime=2.5
/proc/25456/task/25457/stat : 25457 (java) R 25453 25453 24783 0 -1 64 3580 0 2 0 247 3 0 0 25 0 9 0 2003069560 864538624 6761 996147200 134512640 134550740 4294956016 18446744073709551615 4125975914 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25456/tid=25458] ppid=25453 vsize=844276 CPUtime=0.32
/proc/25456/task/25458/stat : 25458 (java) S 25453 25453 24783 0 -1 64 2958 0 0 0 30 2 0 0 16 0 9 0 2003069561 864538624 6761 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25456/tid=25459] ppid=25453 vsize=844276 CPUtime=0
/proc/25456/task/25459/stat : 25459 (java) S 25453 25453 24783 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003069561 864538624 6761 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25456/tid=25460] ppid=25453 vsize=844276 CPUtime=0
/proc/25456/task/25460/stat : 25460 (java) S 25453 25453 24783 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 2003069561 864538624 6761 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25456/tid=25461] ppid=25453 vsize=844276 CPUtime=0
/proc/25456/task/25461/stat : 25461 (java) S 25453 25453 24783 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003069563 864538624 6761 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25456/tid=25462] ppid=25453 vsize=844276 CPUtime=0.16
/proc/25456/task/25462/stat : 25462 (java) S 25453 25453 24783 0 -1 64 533 0 0 0 16 0 0 0 16 0 9 0 2003069563 864538624 6761 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25456/tid=25463] ppid=25453 vsize=844276 CPUtime=0
/proc/25456/task/25463/stat : 25463 (java) S 25453 25453 24783 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2003069563 864538624 6761 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25456/tid=25464] ppid=25453 vsize=844276 CPUtime=0
/proc/25456/task/25464/stat : 25464 (java) S 25453 25453 24783 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 2003069564 864538624 6761 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 849632

[startup+6.30242 s]
/proc/loadavg: 2.16 2.03 2.01 3/82 25464
/proc/meminfo: memFree=1876784/2055920 swapFree=4180000/4192956
[pid=25453] ppid=25451 vsize=5356 CPUtime=0
/proc/25453/stat : 25453 (concrete.sh) S 25451 25453 24783 0 -1 4194304 315 128 0 0 0 0 0 0 22 0 1 0 2003069557 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25453/statm: 1339 242 201 169 0 50 0
[pid=25456] ppid=25453 vsize=844276 CPUtime=6.17
/proc/25456/stat : 25456 (java) S 25453 25453 24783 0 -1 0 8801 0 2 0 608 9 0 0 18 0 9 0 2003069559 864538624 7512 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25456/statm: 211069 7512 2575 9 0 205630 0
[pid=25456/tid=25457] ppid=25453 vsize=844276 CPUtime=5.49
/proc/25456/task/25457/stat : 25457 (java) R 25453 25453 24783 0 -1 64 3826 0 2 0 545 4 0 0 25 0 9 0 2003069560 864538624 7512 996147200 134512640 134550740 4294956016 18446744073709551615 4125979242 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25456/tid=25458] ppid=25453 vsize=844276 CPUtime=0.5
/proc/25456/task/25458/stat : 25458 (java) S 25453 25453 24783 0 -1 64 3709 0 0 0 46 4 0 0 16 0 9 0 2003069561 864538624 7512 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25456/tid=25459] ppid=25453 vsize=844276 CPUtime=0
/proc/25456/task/25459/stat : 25459 (java) S 25453 25453 24783 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003069561 864538624 7512 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25456/tid=25460] ppid=25453 vsize=844276 CPUtime=0
/proc/25456/task/25460/stat : 25460 (java) S 25453 25453 24783 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 2003069561 864538624 7512 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25456/tid=25461] ppid=25453 vsize=844276 CPUtime=0
/proc/25456/task/25461/stat : 25461 (java) S 25453 25453 24783 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003069563 864538624 7512 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25456/tid=25462] ppid=25453 vsize=844276 CPUtime=0.16
/proc/25456/task/25462/stat : 25462 (java) S 25453 25453 24783 0 -1 64 533 0 0 0 16 0 0 0 16 0 9 0 2003069563 864538624 7512 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25456/tid=25463] ppid=25453 vsize=844276 CPUtime=0
/proc/25456/task/25463/stat : 25463 (java) S 25453 25453 24783 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2003069563 864538624 7512 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25456/tid=25464] ppid=25453 vsize=844276 CPUtime=0
/proc/25456/task/25464/stat : 25464 (java) S 25453 25453 24783 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 2003069564 864538624 7512 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 849632

[startup+12.7012 s]
/proc/loadavg: 2.15 2.03 2.01 3/82 25464
/proc/meminfo: memFree=1872496/2055920 swapFree=4180000/4192956
[pid=25453] ppid=25451 vsize=5356 CPUtime=0
/proc/25453/stat : 25453 (concrete.sh) S 25451 25453 24783 0 -1 4194304 315 128 0 0 0 0 0 0 22 0 1 0 2003069557 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25453/statm: 1339 242 201 169 0 50 0
[pid=25456] ppid=25453 vsize=844276 CPUtime=12.51
/proc/25456/stat : 25456 (java) S 25453 25453 24783 0 -1 0 11126 0 2 0 1238 13 0 0 18 0 9 0 2003069559 864538624 8427 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25456/statm: 211069 8427 2575 9 0 205630 0
[pid=25456/tid=25457] ppid=25453 vsize=844276 CPUtime=11.47
/proc/25456/task/25457/stat : 25457 (java) R 25453 25453 24783 0 -1 64 4206 0 2 0 1142 5 0 0 25 0 9 0 2003069560 864538624 8427 996147200 134512640 134550740 4294956016 18446744073709551615 4126077349 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25456/tid=25458] ppid=25453 vsize=844276 CPUtime=0.86
/proc/25456/task/25458/stat : 25458 (java) S 25453 25453 24783 0 -1 64 5654 0 0 0 79 7 0 0 16 0 9 0 2003069561 864538624 8427 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25456/tid=25459] ppid=25453 vsize=844276 CPUtime=0
/proc/25456/task/25459/stat : 25459 (java) S 25453 25453 24783 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003069561 864538624 8427 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25456/tid=25460] ppid=25453 vsize=844276 CPUtime=0
/proc/25456/task/25460/stat : 25460 (java) S 25453 25453 24783 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 2003069561 864538624 8427 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25456/tid=25461] ppid=25453 vsize=844276 CPUtime=0
/proc/25456/task/25461/stat : 25461 (java) S 25453 25453 24783 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003069563 864538624 8427 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25456/tid=25462] ppid=25453 vsize=844276 CPUtime=0.16
/proc/25456/task/25462/stat : 25462 (java) S 25453 25453 24783 0 -1 64 533 0 0 0 16 0 0 0 16 0 9 0 2003069563 864538624 8427 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25456/tid=25463] ppid=25453 vsize=844276 CPUtime=0
/proc/25456/task/25463/stat : 25463 (java) S 25453 25453 24783 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2003069563 864538624 8427 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25456/tid=25464] ppid=25453 vsize=844276 CPUtime=0
/proc/25456/task/25464/stat : 25464 (java) S 25453 25453 24783 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 2003069564 864538624 8427 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 849632

[startup+25.5026 s]
/proc/loadavg: 2.11 2.03 2.01 3/82 25464
/proc/meminfo: memFree=1867760/2055920 swapFree=4180000/4192956
[pid=25453] ppid=25451 vsize=5356 CPUtime=0
/proc/25453/stat : 25453 (concrete.sh) S 25451 25453 24783 0 -1 4194304 315 128 0 0 0 0 0 0 22 0 1 0 2003069557 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25453/statm: 1339 242 201 169 0 50 0
[pid=25456] ppid=25453 vsize=844276 CPUtime=25.2
/proc/25456/stat : 25456 (java) S 25453 25453 24783 0 -1 0 12714 0 2 0 2501 19 0 0 18 0 9 0 2003069559 864538624 9589 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25456/statm: 211069 9589 2575 9 0 205630 0
[pid=25456/tid=25457] ppid=25453 vsize=844276 CPUtime=23.77
/proc/25456/task/25457/stat : 25457 (java) R 25453 25453 24783 0 -1 64 4632 0 2 0 2370 7 0 0 25 0 9 0 2003069560 864538624 9589 996147200 134512640 134550740 4294956016 18446744073709551615 4125231223 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25456/tid=25458] ppid=25453 vsize=844276 CPUtime=1.23
/proc/25456/task/25458/stat : 25458 (java) S 25453 25453 24783 0 -1 64 6816 0 0 0 113 10 0 0 16 0 9 0 2003069561 864538624 9589 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25456/tid=25459] ppid=25453 vsize=844276 CPUtime=0
/proc/25456/task/25459/stat : 25459 (java) S 25453 25453 24783 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003069561 864538624 9589 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25456/tid=25460] ppid=25453 vsize=844276 CPUtime=0
/proc/25456/task/25460/stat : 25460 (java) S 25453 25453 24783 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 2003069561 864538624 9589 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25456/tid=25461] ppid=25453 vsize=844276 CPUtime=0
/proc/25456/task/25461/stat : 25461 (java) S 25453 25453 24783 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003069563 864538624 9589 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25456/tid=25462] ppid=25453 vsize=844276 CPUtime=0.16
/proc/25456/task/25462/stat : 25462 (java) S 25453 25453 24783 0 -1 64 533 0 0 0 16 0 0 0 16 0 9 0 2003069563 864538624 9589 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25456/tid=25463] ppid=25453 vsize=844276 CPUtime=0
/proc/25456/task/25463/stat : 25463 (java) S 25453 25453 24783 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2003069563 864538624 9589 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25456/tid=25464] ppid=25453 vsize=844276 CPUtime=0
/proc/25456/task/25464/stat : 25464 (java) S 25453 25453 24783 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 2003069564 864538624 9589 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.2
Current children cumulated vsize (KiB) 849632

[startup+51.1025 s]

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

[pid=25456/tid=25457] ppid=25453 vsize=850788 CPUtime=390.52
/proc/25456/task/25457/stat : 25457 (java) R 25453 25453 24783 0 -1 64 14313 0 3 0 39000 52 0 0 25 0 9 0 2003069560 871206912 185660 996147200 134512640 134550740 4294956016 18446744073709551615 4127261137 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25456/tid=25458] ppid=25453 vsize=850788 CPUtime=21.81
/proc/25456/task/25458/stat : 25458 (java) S 25453 25453 24783 0 -1 64 175138 0 0 0 2098 83 0 0 17 0 9 0 2003069561 871206912 185660 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25456/tid=25459] ppid=25453 vsize=850788 CPUtime=0
/proc/25456/task/25459/stat : 25459 (java) S 25453 25453 24783 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003069561 871206912 185660 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25456/tid=25460] ppid=25453 vsize=850788 CPUtime=0
/proc/25456/task/25460/stat : 25460 (java) S 25453 25453 24783 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 2003069561 871206912 185660 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25456/tid=25461] ppid=25453 vsize=850788 CPUtime=0
/proc/25456/task/25461/stat : 25461 (java) S 25453 25453 24783 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003069563 871206912 185660 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25456/tid=25462] ppid=25453 vsize=850788 CPUtime=6.12
/proc/25456/task/25462/stat : 25462 (java) S 25453 25453 24783 0 -1 64 3718 0 0 0 600 12 0 0 15 0 9 0 2003069563 871206912 185660 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25456/tid=25463] ppid=25453 vsize=850788 CPUtime=0
/proc/25456/task/25463/stat : 25463 (java) S 25453 25453 24783 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2003069563 871206912 185660 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25456/tid=25464] ppid=25453 vsize=850788 CPUtime=0
/proc/25456/task/25464/stat : 25464 (java) S 25453 25453 24783 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 2003069564 871206912 185660 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 418.48
Current children cumulated vsize (KiB) 856144

[startup+428.703 s]
/proc/loadavg: 2.15 2.07 2.01 3/82 25472
/proc/meminfo: memFree=1160360/2055920 swapFree=4180000/4192956
[pid=25453] ppid=25451 vsize=5356 CPUtime=0
/proc/25453/stat : 25453 (concrete.sh) S 25451 25453 24783 0 -1 4194304 315 128 0 0 0 0 0 0 22 0 1 0 2003069557 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25453/statm: 1339 242 201 169 0 50 0
[pid=25456] ppid=25453 vsize=850788 CPUtime=424.82
/proc/25456/stat : 25456 (java) S 25453 25453 24783 0 -1 0 193974 0 3 0 42332 150 0 0 18 0 9 0 2003069559 871206912 185718 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25456/statm: 212697 185718 2599 9 0 207257 0
[pid=25456/tid=25457] ppid=25453 vsize=850788 CPUtime=396.69
/proc/25456/task/25457/stat : 25457 (java) R 25453 25453 24783 0 -1 64 14315 0 3 0 39616 53 0 0 25 0 9 0 2003069560 871206912 185718 996147200 134512640 134550740 4294956016 18446744073709551615 4125719053 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25456/tid=25458] ppid=25453 vsize=850788 CPUtime=21.82
/proc/25456/task/25458/stat : 25458 (java) S 25453 25453 24783 0 -1 64 175138 0 0 0 2099 83 0 0 16 0 9 0 2003069561 871206912 185718 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25456/tid=25459] ppid=25453 vsize=850788 CPUtime=0
/proc/25456/task/25459/stat : 25459 (java) S 25453 25453 24783 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003069561 871206912 185718 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25456/tid=25460] ppid=25453 vsize=850788 CPUtime=0
/proc/25456/task/25460/stat : 25460 (java) S 25453 25453 24783 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 2003069561 871206912 185718 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25456/tid=25461] ppid=25453 vsize=850788 CPUtime=0
/proc/25456/task/25461/stat : 25461 (java) S 25453 25453 24783 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003069563 871206912 185718 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25456/tid=25462] ppid=25453 vsize=850788 CPUtime=6.29
/proc/25456/task/25462/stat : 25462 (java) S 25453 25453 24783 0 -1 64 3776 0 0 0 616 13 0 0 15 0 9 0 2003069563 871206912 185718 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25456/tid=25463] ppid=25453 vsize=850788 CPUtime=0
/proc/25456/task/25463/stat : 25463 (java) S 25453 25453 24783 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2003069563 871206912 185718 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25456/tid=25464] ppid=25453 vsize=850788 CPUtime=0
/proc/25456/task/25464/stat : 25464 (java) S 25453 25453 24783 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 2003069564 871206912 185718 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 424.82
Current children cumulated vsize (KiB) 856144

[startup+431.902 s]
/proc/loadavg: 2.14 2.07 2.01 3/82 25472
/proc/meminfo: memFree=1160232/2055920 swapFree=4180000/4192956
[pid=25453] ppid=25451 vsize=5356 CPUtime=0
/proc/25453/stat : 25453 (concrete.sh) S 25451 25453 24783 0 -1 4194304 315 128 0 0 0 0 0 0 22 0 1 0 2003069557 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25453/statm: 1339 242 201 169 0 50 0
[pid=25456] ppid=25453 vsize=850788 CPUtime=428
/proc/25456/stat : 25456 (java) S 25453 25453 24783 0 -1 0 194002 0 3 0 42649 151 0 0 18 0 9 0 2003069559 871206912 185745 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25456/statm: 212697 185745 2599 9 0 207257 0
[pid=25456/tid=25457] ppid=25453 vsize=850788 CPUtime=399.77
/proc/25456/task/25457/stat : 25457 (java) R 25453 25453 24783 0 -1 64 14316 0 3 0 39924 53 0 0 25 0 9 0 2003069560 871206912 185745 996147200 134512640 134550740 4294956016 18446744073709551615 4127261137 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25456/tid=25458] ppid=25453 vsize=850788 CPUtime=21.82
/proc/25456/task/25458/stat : 25458 (java) S 25453 25453 24783 0 -1 64 175138 0 0 0 2099 83 0 0 16 0 9 0 2003069561 871206912 185745 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25456/tid=25459] ppid=25453 vsize=850788 CPUtime=0
/proc/25456/task/25459/stat : 25459 (java) S 25453 25453 24783 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003069561 871206912 185745 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25456/tid=25460] ppid=25453 vsize=850788 CPUtime=0
/proc/25456/task/25460/stat : 25460 (java) S 25453 25453 24783 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 2003069561 871206912 185745 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25456/tid=25461] ppid=25453 vsize=850788 CPUtime=0
/proc/25456/task/25461/stat : 25461 (java) S 25453 25453 24783 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003069563 871206912 185745 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25456/tid=25462] ppid=25453 vsize=850788 CPUtime=6.37
/proc/25456/task/25462/stat : 25462 (java) S 25453 25453 24783 0 -1 64 3803 0 0 0 624 13 0 0 15 0 9 0 2003069563 871206912 185745 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25456/tid=25463] ppid=25453 vsize=850788 CPUtime=0
/proc/25456/task/25463/stat : 25463 (java) S 25453 25453 24783 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2003069563 871206912 185745 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25456/tid=25464] ppid=25453 vsize=850788 CPUtime=0
/proc/25456/task/25464/stat : 25464 (java) S 25453 25453 24783 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 2003069564 871206912 185745 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 428
Current children cumulated vsize (KiB) 856144

[startup+433.502 s]
/proc/loadavg: 2.14 2.07 2.01 3/82 25472
/proc/meminfo: memFree=1160168/2055920 swapFree=4180000/4192956
[pid=25453] ppid=25451 vsize=5356 CPUtime=0
/proc/25453/stat : 25453 (concrete.sh) S 25451 25453 24783 0 -1 4194304 315 128 0 0 0 0 0 0 22 0 1 0 2003069557 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25453/statm: 1339 242 201 169 0 50 0
[pid=25456] ppid=25453 vsize=850788 CPUtime=429.58
/proc/25456/stat : 25456 (java) S 25453 25453 24783 0 -1 0 194012 0 3 0 42807 151 0 0 18 0 9 0 2003069559 871206912 185754 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25456/statm: 212697 185754 2599 9 0 207257 0
[pid=25456/tid=25457] ppid=25453 vsize=850788 CPUtime=401.33
/proc/25456/task/25457/stat : 25457 (java) R 25453 25453 24783 0 -1 64 14317 0 3 0 40080 53 0 0 25 0 9 0 2003069560 871206912 185754 996147200 134512640 134550740 4294956016 18446744073709551615 4132388022 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25456/tid=25458] ppid=25453 vsize=850788 CPUtime=21.82
/proc/25456/task/25458/stat : 25458 (java) S 25453 25453 24783 0 -1 64 175138 0 0 0 2099 83 0 0 16 0 9 0 2003069561 871206912 185754 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25456/tid=25459] ppid=25453 vsize=850788 CPUtime=0
/proc/25456/task/25459/stat : 25459 (java) S 25453 25453 24783 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003069561 871206912 185754 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25456/tid=25460] ppid=25453 vsize=850788 CPUtime=0
/proc/25456/task/25460/stat : 25460 (java) S 25453 25453 24783 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 2003069561 871206912 185754 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25456/tid=25461] ppid=25453 vsize=850788 CPUtime=0
/proc/25456/task/25461/stat : 25461 (java) S 25453 25453 24783 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003069563 871206912 185754 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25456/tid=25462] ppid=25453 vsize=850788 CPUtime=6.39
/proc/25456/task/25462/stat : 25462 (java) S 25453 25453 24783 0 -1 64 3812 0 0 0 626 13 0 0 15 0 9 0 2003069563 871206912 185754 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25456/tid=25463] ppid=25453 vsize=850788 CPUtime=0
/proc/25456/task/25463/stat : 25463 (java) S 25453 25453 24783 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2003069563 871206912 185754 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25456/tid=25464] ppid=25453 vsize=850788 CPUtime=0
/proc/25456/task/25464/stat : 25464 (java) S 25453 25453 24783 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 2003069564 871206912 185754 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 429.58
Current children cumulated vsize (KiB) 856144

[startup+433.902 s]
/proc/loadavg: 2.14 2.07 2.01 3/82 25472
/proc/meminfo: memFree=1160168/2055920 swapFree=4180000/4192956
[pid=25453] ppid=25451 vsize=5356 CPUtime=0
/proc/25453/stat : 25453 (concrete.sh) S 25451 25453 24783 0 -1 4194304 315 128 0 0 0 0 0 0 22 0 1 0 2003069557 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25453/statm: 1339 242 201 169 0 50 0
[pid=25456] ppid=25453 vsize=850788 CPUtime=429.98
/proc/25456/stat : 25456 (java) S 25453 25453 24783 0 -1 0 194015 0 3 0 42847 151 0 0 18 0 9 0 2003069559 871206912 185757 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25456/statm: 212697 185757 2599 9 0 207257 0
[pid=25456/tid=25457] ppid=25453 vsize=850788 CPUtime=401.72
/proc/25456/task/25457/stat : 25457 (java) R 25453 25453 24783 0 -1 64 14317 0 3 0 40119 53 0 0 25 0 9 0 2003069560 871206912 185757 996147200 134512640 134550740 4294956016 18446744073709551615 4127261137 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25456/tid=25458] ppid=25453 vsize=850788 CPUtime=21.82
/proc/25456/task/25458/stat : 25458 (java) S 25453 25453 24783 0 -1 64 175138 0 0 0 2099 83 0 0 16 0 9 0 2003069561 871206912 185757 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25456/tid=25459] ppid=25453 vsize=850788 CPUtime=0
/proc/25456/task/25459/stat : 25459 (java) S 25453 25453 24783 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003069561 871206912 185757 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25456/tid=25460] ppid=25453 vsize=850788 CPUtime=0
/proc/25456/task/25460/stat : 25460 (java) S 25453 25453 24783 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 2003069561 871206912 185757 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25456/tid=25461] ppid=25453 vsize=850788 CPUtime=0
/proc/25456/task/25461/stat : 25461 (java) S 25453 25453 24783 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003069563 871206912 185757 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25456/tid=25462] ppid=25453 vsize=850788 CPUtime=6.4
/proc/25456/task/25462/stat : 25462 (java) S 25453 25453 24783 0 -1 64 3815 0 0 0 627 13 0 0 15 0 9 0 2003069563 871206912 185757 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25456/tid=25463] ppid=25453 vsize=850788 CPUtime=0
/proc/25456/task/25463/stat : 25463 (java) S 25453 25453 24783 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2003069563 871206912 185757 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25456/tid=25464] ppid=25453 vsize=850788 CPUtime=0
/proc/25456/task/25464/stat : 25464 (java) S 25453 25453 24783 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 2003069564 871206912 185757 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 429.98
Current children cumulated vsize (KiB) 856144

[startup+434.102 s]
/proc/loadavg: 2.14 2.07 2.01 3/82 25472
/proc/meminfo: memFree=1160168/2055920 swapFree=4180000/4192956
[pid=25453] ppid=25451 vsize=5356 CPUtime=0
/proc/25453/stat : 25453 (concrete.sh) S 25451 25453 24783 0 -1 4194304 315 128 0 0 0 0 0 0 22 0 1 0 2003069557 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25453/statm: 1339 242 201 169 0 50 0
[pid=25456] ppid=25453 vsize=850788 CPUtime=430.18
/proc/25456/stat : 25456 (java) S 25453 25453 24783 0 -1 0 194017 0 3 0 42867 151 0 0 18 0 9 0 2003069559 871206912 185759 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25456/statm: 212697 185759 2599 9 0 207257 0
[pid=25456/tid=25457] ppid=25453 vsize=850788 CPUtime=401.91
/proc/25456/task/25457/stat : 25457 (java) R 25453 25453 24783 0 -1 64 14317 0 3 0 40138 53 0 0 25 0 9 0 2003069560 871206912 185759 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25456/tid=25458] ppid=25453 vsize=850788 CPUtime=21.82
/proc/25456/task/25458/stat : 25458 (java) S 25453 25453 24783 0 -1 64 175138 0 0 0 2099 83 0 0 16 0 9 0 2003069561 871206912 185759 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25456/tid=25459] ppid=25453 vsize=850788 CPUtime=0
/proc/25456/task/25459/stat : 25459 (java) S 25453 25453 24783 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003069561 871206912 185759 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25456/tid=25460] ppid=25453 vsize=850788 CPUtime=0
/proc/25456/task/25460/stat : 25460 (java) S 25453 25453 24783 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 2003069561 871206912 185759 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25456/tid=25461] ppid=25453 vsize=850788 CPUtime=0
/proc/25456/task/25461/stat : 25461 (java) S 25453 25453 24783 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003069563 871206912 185759 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25456/tid=25462] ppid=25453 vsize=850788 CPUtime=6.41
/proc/25456/task/25462/stat : 25462 (java) S 25453 25453 24783 0 -1 64 3817 0 0 0 628 13 0 0 15 0 9 0 2003069563 871206912 185759 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25456/tid=25463] ppid=25453 vsize=850788 CPUtime=0
/proc/25456/task/25463/stat : 25463 (java) S 25453 25453 24783 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2003069563 871206912 185759 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25456/tid=25464] ppid=25453 vsize=850788 CPUtime=0
/proc/25456/task/25464/stat : 25464 (java) S 25453 25453 24783 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 2003069564 871206912 185759 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 430.18
Current children cumulated vsize (KiB) 856144

[startup+434.202 s]
/proc/loadavg: 2.14 2.07 2.01 3/82 25472
/proc/meminfo: memFree=1160168/2055920 swapFree=4180000/4192956
[pid=25453] ppid=25451 vsize=5356 CPUtime=0
/proc/25453/stat : 25453 (concrete.sh) S 25451 25453 24783 0 -1 4194304 315 128 0 0 0 0 0 0 22 0 1 0 2003069557 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25453/statm: 1339 242 201 169 0 50 0
[pid=25456] ppid=25453 vsize=0 CPUtime=430.26
/proc/25456/stat : 25456 (java) Z 25453 25453 24783 0 -1 12 194026 0 3 0 42873 153 0 0 16 0 2 0 2003069559 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25456/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 430.26
Current children cumulated vsize (KiB) 5356

Child status: 0
Real time (s): 434.299
CPU time (s): 430.371
CPU user time (s): 428.741
CPU system time (s): 1.62975
CPU usage (%): 99.0954
Max. virtual memory (cumulated for all children) (KiB): 856144

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 428.741
system time used= 1.62975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 194477
page faults= 3
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 49725
involuntary context switches= 58332

runsolver used 0.532918 second user time and 1.49077 second system time

The end

Launcher Data (download as text)

Begin job on node23 at 2008-07-05 08:55:54
IDJOB=1086732
IDBENCH=57874
IDSOLVER=304
FILE ID=node23/1086732-1215240954
PBS_JOBID= 7881937
Free space on /tmp= 66536 MiB

SOLVER NAME= Concrete + CSP4J - WMC Engine 2008-05-30
BENCH NAME= CPAI08/csp/fapp/fapp28/normalized-fapp28-2800-5.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-1086732-1215240954/watcher-1086732-1215240954 -o /tmp/evaluation-result-1086732-1215240954/solver-1086732-1215240954 -C 1800 -W 2200 -M 900 --output-limit 1,15  HOME/concrete.sh -c -ext 0 -s WMC HOME/instance-1086732-1215240954.xml 

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 712a20b0506303fd583b688f94b5a45f
RANDOM SEED=1978799643

node23.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.216
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.216
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:       1898464 kB
Buffers:          3616 kB
Cached:          51304 kB
SwapCached:       6756 kB
Active:          85092 kB
Inactive:        21312 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1898464 kB
SwapTotal:     4192956 kB
SwapFree:      4180000 kB
Dirty:            4156 kB
Writeback:           0 kB
Mapped:          59012 kB
Slab:            36480 kB
Committed_AS:  3496900 kB
PageTables:       1820 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= 66536 MiB
End job on node23 at 2008-07-05 09:03:08