Trace number 1086774

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 427.841 430.009

DiagnosticValue
CHECKS45241900
NODES659

General information on the benchmark

Namecsp/fapp/fapp28/
normalized-fapp28-2800-6.xml
MD5SUM58ea24c4b64e9a970cdc24f9e79dc4d0
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 benchmark45.953
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)

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

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-1086774-1215241134/watcher-1086774-1215241134 -o /tmp/evaluation-result-1086774-1215241134/solver-1086774-1215241134 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/concrete.sh -c -ext 0 -s WMC HOME/instance-1086774-1215241134.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

[startup+0 s]
/proc/loadavg: 2.70 2.30 2.04 3/72 7085
/proc/meminfo: memFree=1654544/2055920 swapFree=4180808/4192956
[pid=7085] ppid=7083 vsize=18572 CPUtime=0
/proc/7085/stat : 7085 (runsolver) R 7083 4292 4292 0 -1 4194368 10 0 0 0 0 0 0 0 21 0 1 0 2003083190 19017728 290 996147200 4194304 4296836 548682068432 18446744073709551615 257201043086 0 0 4096 24578 0 0 0 17 1 0 0
/proc/7085/statm: 4643 290 255 25 0 2626 0
Current StackSize limit: 10240 KiB


[startup+0.05658 s]
/proc/loadavg: 2.70 2.30 2.04 3/72 7085
/proc/meminfo: memFree=1654544/2055920 swapFree=4180808/4192956
[pid=7085] ppid=7083 vsize=5356 CPUtime=0
/proc/7085/stat : 7085 (concrete.sh) S 7083 7085 4292 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 2003083190 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7085/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.102292 s]
/proc/loadavg: 2.70 2.30 2.04 3/72 7085
/proc/meminfo: memFree=1654544/2055920 swapFree=4180808/4192956
[pid=7085] ppid=7083 vsize=5356 CPUtime=0
/proc/7085/stat : 7085 (concrete.sh) S 7083 7085 4292 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 2003083190 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7085/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.3013 s]
/proc/loadavg: 2.70 2.30 2.04 3/72 7085
/proc/meminfo: memFree=1654544/2055920 swapFree=4180808/4192956
[pid=7085] ppid=7083 vsize=5356 CPUtime=0
/proc/7085/stat : 7085 (concrete.sh) S 7083 7085 4292 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 2003083190 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7085/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701339 s]
/proc/loadavg: 2.70 2.30 2.04 3/72 7085
/proc/meminfo: memFree=1654544/2055920 swapFree=4180808/4192956
[pid=7085] ppid=7083 vsize=5356 CPUtime=0
/proc/7085/stat : 7085 (concrete.sh) S 7083 7085 4292 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 2003083190 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7085/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.5024 s]
/proc/loadavg: 2.70 2.30 2.04 3/82 7096
/proc/meminfo: memFree=1642752/2055920 swapFree=4180808/4192956
[pid=7085] ppid=7083 vsize=5356 CPUtime=0
/proc/7085/stat : 7085 (concrete.sh) S 7083 7085 4292 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 2003083190 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7085/statm: 1339 242 201 169 0 50 0
[pid=7088] ppid=7085 vsize=844292 CPUtime=1.47
/proc/7088/stat : 7088 (java) S 7085 7085 4292 0 -1 0 6855 0 1 0 143 4 0 0 18 0 9 0 2003083191 864555008 5978 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7088/statm: 211073 5978 2574 9 0 205634 0
[pid=7088/tid=7089] ppid=7085 vsize=844292 CPUtime=1.15
/proc/7088/task/7089/stat : 7089 (java) R 7085 7085 4292 0 -1 64 3424 0 1 0 114 1 0 0 24 0 9 0 2003083192 864555008 5978 996147200 134512640 134550740 4294956016 18446744073709551615 4125982587 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7088/tid=7090] ppid=7085 vsize=844292 CPUtime=0.12
/proc/7088/task/7090/stat : 7090 (java) S 7085 7085 4292 0 -1 64 2180 0 0 0 12 0 0 0 16 0 9 0 2003083193 864555008 5978 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7088/tid=7091] ppid=7085 vsize=844292 CPUtime=0
/proc/7088/task/7091/stat : 7091 (java) S 7085 7085 4292 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003083194 864555008 5978 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7088/tid=7092] ppid=7085 vsize=844292 CPUtime=0
/proc/7088/task/7092/stat : 7092 (java) S 7085 7085 4292 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 2003083194 864555008 5978 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7088/tid=7093] ppid=7085 vsize=844292 CPUtime=0
/proc/7088/task/7093/stat : 7093 (java) S 7085 7085 4292 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003083196 864555008 5978 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7088/tid=7094] ppid=7085 vsize=844292 CPUtime=0.16
/proc/7088/task/7094/stat : 7094 (java) S 7085 7085 4292 0 -1 64 518 0 0 0 16 0 0 0 16 0 9 0 2003083196 864555008 5978 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7088/tid=7095] ppid=7085 vsize=844292 CPUtime=0
/proc/7088/task/7095/stat : 7095 (java) S 7085 7085 4292 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2003083196 864555008 5978 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7088/tid=7096] ppid=7085 vsize=844292 CPUtime=0
/proc/7088/task/7096/stat : 7096 (java) S 7085 7085 4292 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 2003083196 864555008 5978 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) 849648

[startup+3.10307 s]
/proc/loadavg: 2.70 2.30 2.04 3/82 7096
/proc/meminfo: memFree=1638912/2055920 swapFree=4180808/4192956
[pid=7085] ppid=7083 vsize=5356 CPUtime=0
/proc/7085/stat : 7085 (concrete.sh) S 7083 7085 4292 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 2003083190 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7085/statm: 1339 242 201 169 0 50 0
[pid=7088] ppid=7085 vsize=844292 CPUtime=3.07
/proc/7088/stat : 7088 (java) S 7085 7085 4292 0 -1 0 7711 0 1 0 301 6 0 0 18 0 9 0 2003083191 864555008 6687 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7088/statm: 211073 6687 2575 9 0 205634 0
[pid=7088/tid=7089] ppid=7085 vsize=844292 CPUtime=2.58
/proc/7088/task/7089/stat : 7089 (java) R 7085 7085 4292 0 -1 64 3571 0 1 0 256 2 0 0 25 0 9 0 2003083192 864555008 6687 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7088/tid=7090] ppid=7085 vsize=844292 CPUtime=0.3
/proc/7088/task/7090/stat : 7090 (java) S 7085 7085 4292 0 -1 64 2887 0 0 0 28 2 0 0 15 0 9 0 2003083193 864555008 6687 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7088/tid=7091] ppid=7085 vsize=844292 CPUtime=0
/proc/7088/task/7091/stat : 7091 (java) S 7085 7085 4292 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003083194 864555008 6687 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7088/tid=7092] ppid=7085 vsize=844292 CPUtime=0
/proc/7088/task/7092/stat : 7092 (java) S 7085 7085 4292 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 2003083194 864555008 6687 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7088/tid=7093] ppid=7085 vsize=844292 CPUtime=0
/proc/7088/task/7093/stat : 7093 (java) S 7085 7085 4292 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003083196 864555008 6687 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7088/tid=7094] ppid=7085 vsize=844292 CPUtime=0.16
/proc/7088/task/7094/stat : 7094 (java) S 7085 7085 4292 0 -1 64 520 0 0 0 16 0 0 0 16 0 9 0 2003083196 864555008 6687 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7088/tid=7095] ppid=7085 vsize=844292 CPUtime=0
/proc/7088/task/7095/stat : 7095 (java) S 7085 7085 4292 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2003083196 864555008 6687 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7088/tid=7096] ppid=7085 vsize=844292 CPUtime=0
/proc/7088/task/7096/stat : 7096 (java) R 7085 7085 4292 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 2003083196 864555008 6687 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) 849648

[startup+6.30321 s]
/proc/loadavg: 2.64 2.29 2.04 3/82 7096
/proc/meminfo: memFree=1634880/2055920 swapFree=4180808/4192956
[pid=7085] ppid=7083 vsize=5356 CPUtime=0
/proc/7085/stat : 7085 (concrete.sh) S 7083 7085 4292 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 2003083190 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7085/statm: 1339 242 201 169 0 50 0
[pid=7088] ppid=7085 vsize=844292 CPUtime=6.24
/proc/7088/stat : 7088 (java) S 7085 7085 4292 0 -1 0 8726 0 1 0 616 8 0 0 18 0 9 0 2003083191 864555008 7457 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7088/statm: 211073 7457 2575 9 0 205634 0
[pid=7088/tid=7089] ppid=7085 vsize=844292 CPUtime=5.58
/proc/7088/task/7089/stat : 7089 (java) R 7085 7085 4292 0 -1 64 3816 0 1 0 555 3 0 0 25 0 9 0 2003083192 864555008 7457 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7088/tid=7090] ppid=7085 vsize=844292 CPUtime=0.47
/proc/7088/task/7090/stat : 7090 (java) S 7085 7085 4292 0 -1 64 3657 0 0 0 44 3 0 0 15 0 9 0 2003083193 864555008 7457 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7088/tid=7091] ppid=7085 vsize=844292 CPUtime=0
/proc/7088/task/7091/stat : 7091 (java) S 7085 7085 4292 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003083194 864555008 7457 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7088/tid=7092] ppid=7085 vsize=844292 CPUtime=0
/proc/7088/task/7092/stat : 7092 (java) S 7085 7085 4292 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 2003083194 864555008 7457 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7088/tid=7093] ppid=7085 vsize=844292 CPUtime=0
/proc/7088/task/7093/stat : 7093 (java) S 7085 7085 4292 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003083196 864555008 7457 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7088/tid=7094] ppid=7085 vsize=844292 CPUtime=0.16
/proc/7088/task/7094/stat : 7094 (java) S 7085 7085 4292 0 -1 64 520 0 0 0 16 0 0 0 16 0 9 0 2003083196 864555008 7457 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7088/tid=7095] ppid=7085 vsize=844292 CPUtime=0
/proc/7088/task/7095/stat : 7095 (java) S 7085 7085 4292 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2003083196 864555008 7457 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7088/tid=7096] ppid=7085 vsize=844292 CPUtime=0
/proc/7088/task/7096/stat : 7096 (java) S 7085 7085 4292 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 2003083196 864555008 7457 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 849648

[startup+12.7013 s]
/proc/loadavg: 2.59 2.29 2.04 3/82 7096
/proc/meminfo: memFree=1630592/2055920 swapFree=4180808/4192956
[pid=7085] ppid=7083 vsize=5356 CPUtime=0
/proc/7085/stat : 7085 (concrete.sh) S 7083 7085 4292 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 2003083190 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7085/statm: 1339 242 201 169 0 50 0
[pid=7088] ppid=7085 vsize=844292 CPUtime=12.62
/proc/7088/stat : 7088 (java) S 7085 7085 4292 0 -1 0 11098 0 1 0 1250 12 0 0 18 0 9 0 2003083191 864555008 8405 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7088/statm: 211073 8405 2575 9 0 205634 0
[pid=7088/tid=7089] ppid=7085 vsize=844292 CPUtime=11.58
/proc/7088/task/7089/stat : 7089 (java) R 7085 7085 4292 0 -1 64 4210 0 1 0 1154 4 0 0 25 0 9 0 2003083192 864555008 8405 996147200 134512640 134550740 4294956016 18446744073709551615 4125980202 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7088/tid=7090] ppid=7085 vsize=844292 CPUtime=0.84
/proc/7088/task/7090/stat : 7090 (java) S 7085 7085 4292 0 -1 64 5635 0 0 0 78 6 0 0 16 0 9 0 2003083193 864555008 8405 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7088/tid=7091] ppid=7085 vsize=844292 CPUtime=0
/proc/7088/task/7091/stat : 7091 (java) S 7085 7085 4292 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003083194 864555008 8405 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7088/tid=7092] ppid=7085 vsize=844292 CPUtime=0
/proc/7088/task/7092/stat : 7092 (java) S 7085 7085 4292 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 2003083194 864555008 8405 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7088/tid=7093] ppid=7085 vsize=844292 CPUtime=0
/proc/7088/task/7093/stat : 7093 (java) S 7085 7085 4292 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003083196 864555008 8405 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7088/tid=7094] ppid=7085 vsize=844292 CPUtime=0.16
/proc/7088/task/7094/stat : 7094 (java) S 7085 7085 4292 0 -1 64 520 0 0 0 16 0 0 0 16 0 9 0 2003083196 864555008 8405 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7088/tid=7095] ppid=7085 vsize=844292 CPUtime=0
/proc/7088/task/7095/stat : 7095 (java) S 7085 7085 4292 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2003083196 864555008 8405 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7088/tid=7096] ppid=7085 vsize=844292 CPUtime=0
/proc/7088/task/7096/stat : 7096 (java) S 7085 7085 4292 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 2003083196 864555008 8405 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 849648

[startup+25.5024 s]
/proc/loadavg: 2.46 2.27 2.04 3/82 7096
/proc/meminfo: memFree=1625600/2055920 swapFree=4180808/4192956
[pid=7085] ppid=7083 vsize=5356 CPUtime=0
/proc/7085/stat : 7085 (concrete.sh) S 7083 7085 4292 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 2003083190 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7085/statm: 1339 242 201 169 0 50 0
[pid=7088] ppid=7085 vsize=844292 CPUtime=25.34
/proc/7088/stat : 7088 (java) S 7085 7085 4292 0 -1 0 12711 0 1 0 2517 17 0 0 18 0 9 0 2003083191 864555008 9586 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7088/statm: 211073 9586 2575 9 0 205634 0
[pid=7088/tid=7089] ppid=7085 vsize=844292 CPUtime=23.93
/proc/7088/task/7089/stat : 7089 (java) R 7085 7085 4292 0 -1 64 4642 0 1 0 2387 6 0 0 25 0 9 0 2003083192 864555008 9586 996147200 134512640 134550740 4294956016 18446744073709551615 4125982587 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7088/tid=7090] ppid=7085 vsize=844292 CPUtime=1.23
/proc/7088/task/7090/stat : 7090 (java) S 7085 7085 4292 0 -1 64 6816 0 0 0 113 10 0 0 16 0 9 0 2003083193 864555008 9586 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7088/tid=7091] ppid=7085 vsize=844292 CPUtime=0
/proc/7088/task/7091/stat : 7091 (java) S 7085 7085 4292 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003083194 864555008 9586 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7088/tid=7092] ppid=7085 vsize=844292 CPUtime=0
/proc/7088/task/7092/stat : 7092 (java) S 7085 7085 4292 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 2003083194 864555008 9586 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7088/tid=7093] ppid=7085 vsize=844292 CPUtime=0
/proc/7088/task/7093/stat : 7093 (java) S 7085 7085 4292 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003083196 864555008 9586 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7088/tid=7094] ppid=7085 vsize=844292 CPUtime=0.16
/proc/7088/task/7094/stat : 7094 (java) S 7085 7085 4292 0 -1 64 520 0 0 0 16 0 0 0 16 0 9 0 2003083196 864555008 9586 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7088/tid=7095] ppid=7085 vsize=844292 CPUtime=0
/proc/7088/task/7095/stat : 7095 (java) S 7085 7085 4292 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2003083196 864555008 9586 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7088/tid=7096] ppid=7085 vsize=844292 CPUtime=0
/proc/7088/task/7096/stat : 7096 (java) S 7085 7085 4292 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 2003083196 864555008 9586 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 849648

[startup+51.1025 s]
/proc/loadavg: 2.30 2.25 2.04 3/82 7096
/proc/meminfo: memFree=1619264/2055920 swapFree=4180808/4192956
[pid=7085] ppid=7083 vsize=5356 CPUtime=0

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

[pid=7088/tid=7095] ppid=7085 vsize=850832 CPUtime=0
/proc/7088/task/7095/stat : 7095 (java) S 7085 7085 4292 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2003083196 871251968 185655 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7088/tid=7096] ppid=7085 vsize=850832 CPUtime=0
/proc/7088/task/7096/stat : 7096 (java) S 7085 7085 4292 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 2003083196 871251968 185655 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 407.45
Current children cumulated vsize (KiB) 856188

[startup+422.302 s]
/proc/loadavg: 2.16 2.13 2.03 3/82 7104
/proc/meminfo: memFree=918264/2055920 swapFree=4180808/4192956
[pid=7085] ppid=7083 vsize=5356 CPUtime=0
/proc/7085/stat : 7085 (concrete.sh) S 7083 7085 4292 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 2003083190 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7085/statm: 1339 242 201 169 0 50 0
[pid=7088] ppid=7085 vsize=850832 CPUtime=420.19
/proc/7088/stat : 7088 (java) S 7085 7085 4292 0 -1 0 193531 0 1 0 41865 154 0 0 18 0 9 0 2003083191 871251968 185914 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7088/statm: 212708 185914 2599 9 0 207268 0
[pid=7088/tid=7089] ppid=7085 vsize=850832 CPUtime=392.22
/proc/7088/task/7089/stat : 7089 (java) R 7085 7085 4292 0 -1 64 14343 0 1 0 39166 56 0 0 25 0 9 0 2003083192 871251968 185914 996147200 134512640 134550740 4294956016 18446744073709551615 4127981160 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7088/tid=7090] ppid=7085 vsize=850832 CPUtime=21.63
/proc/7088/task/7090/stat : 7090 (java) S 7085 7085 4292 0 -1 64 174684 0 0 0 2084 79 0 0 16 0 9 0 2003083193 871251968 185914 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7088/tid=7091] ppid=7085 vsize=850832 CPUtime=0
/proc/7088/task/7091/stat : 7091 (java) S 7085 7085 4292 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003083194 871251968 185914 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7088/tid=7092] ppid=7085 vsize=850832 CPUtime=0
/proc/7088/task/7092/stat : 7092 (java) S 7085 7085 4292 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 2003083194 871251968 185914 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7088/tid=7093] ppid=7085 vsize=850832 CPUtime=0
/proc/7088/task/7093/stat : 7093 (java) S 7085 7085 4292 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003083196 871251968 185914 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7088/tid=7094] ppid=7085 vsize=850832 CPUtime=6.29
/proc/7088/task/7094/stat : 7094 (java) S 7085 7085 4292 0 -1 64 3759 0 0 0 613 16 0 0 15 0 9 0 2003083196 871251968 185914 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7088/tid=7095] ppid=7085 vsize=850832 CPUtime=0
/proc/7088/task/7095/stat : 7095 (java) S 7085 7085 4292 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2003083196 871251968 185914 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7088/tid=7096] ppid=7085 vsize=850832 CPUtime=0
/proc/7088/task/7096/stat : 7096 (java) S 7085 7085 4292 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 2003083196 871251968 185914 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 420.19
Current children cumulated vsize (KiB) 856188

[startup+425.502 s]
/proc/loadavg: 2.14 2.12 2.03 3/82 7104
/proc/meminfo: memFree=918200/2055920 swapFree=4180808/4192956
[pid=7085] ppid=7083 vsize=5356 CPUtime=0
/proc/7085/stat : 7085 (concrete.sh) S 7083 7085 4292 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 2003083190 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7085/statm: 1339 242 201 169 0 50 0
[pid=7088] ppid=7085 vsize=850832 CPUtime=423.37
/proc/7088/stat : 7088 (java) S 7085 7085 4292 0 -1 0 193558 0 1 0 42183 154 0 0 18 0 9 0 2003083191 871251968 185940 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7088/statm: 212708 185940 2599 9 0 207268 0
[pid=7088/tid=7089] ppid=7085 vsize=850832 CPUtime=395.33
/proc/7088/task/7089/stat : 7089 (java) R 7085 7085 4292 0 -1 64 14344 0 1 0 39477 56 0 0 25 0 9 0 2003083192 871251968 185940 996147200 134512640 134550740 4294956016 18446744073709551615 4129302528 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7088/tid=7090] ppid=7085 vsize=850832 CPUtime=21.63
/proc/7088/task/7090/stat : 7090 (java) S 7085 7085 4292 0 -1 64 174684 0 0 0 2084 79 0 0 16 0 9 0 2003083193 871251968 185940 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7088/tid=7091] ppid=7085 vsize=850832 CPUtime=0
/proc/7088/task/7091/stat : 7091 (java) S 7085 7085 4292 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003083194 871251968 185940 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7088/tid=7092] ppid=7085 vsize=850832 CPUtime=0
/proc/7088/task/7092/stat : 7092 (java) S 7085 7085 4292 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 2003083194 871251968 185940 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7088/tid=7093] ppid=7085 vsize=850832 CPUtime=0
/proc/7088/task/7093/stat : 7093 (java) S 7085 7085 4292 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003083196 871251968 185940 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7088/tid=7094] ppid=7085 vsize=850832 CPUtime=6.37
/proc/7088/task/7094/stat : 7094 (java) S 7085 7085 4292 0 -1 64 3785 0 0 0 621 16 0 0 15 0 9 0 2003083196 871251968 185940 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7088/tid=7095] ppid=7085 vsize=850832 CPUtime=0
/proc/7088/task/7095/stat : 7095 (java) S 7085 7085 4292 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2003083196 871251968 185940 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7088/tid=7096] ppid=7085 vsize=850832 CPUtime=0
/proc/7088/task/7096/stat : 7096 (java) S 7085 7085 4292 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 2003083196 871251968 185940 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 423.37
Current children cumulated vsize (KiB) 856188

[startup+427.103 s]
/proc/loadavg: 2.14 2.12 2.03 3/82 7104
/proc/meminfo: memFree=918136/2055920 swapFree=4180808/4192956
[pid=7085] ppid=7083 vsize=5356 CPUtime=0
/proc/7085/stat : 7085 (concrete.sh) S 7083 7085 4292 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 2003083190 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7085/statm: 1339 242 201 169 0 50 0
[pid=7088] ppid=7085 vsize=850832 CPUtime=424.96
/proc/7088/stat : 7088 (java) S 7085 7085 4292 0 -1 0 193571 0 1 0 42342 154 0 0 18 0 9 0 2003083191 871251968 185953 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7088/statm: 212708 185953 2599 9 0 207268 0
[pid=7088/tid=7089] ppid=7085 vsize=850832 CPUtime=396.87
/proc/7088/task/7089/stat : 7089 (java) R 7085 7085 4292 0 -1 64 14344 0 1 0 39631 56 0 0 25 0 9 0 2003083192 871251968 185953 996147200 134512640 134550740 4294956016 18446744073709551615 4129991504 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7088/tid=7090] ppid=7085 vsize=850832 CPUtime=21.63
/proc/7088/task/7090/stat : 7090 (java) S 7085 7085 4292 0 -1 64 174684 0 0 0 2084 79 0 0 16 0 9 0 2003083193 871251968 185953 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7088/tid=7091] ppid=7085 vsize=850832 CPUtime=0
/proc/7088/task/7091/stat : 7091 (java) S 7085 7085 4292 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003083194 871251968 185953 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7088/tid=7092] ppid=7085 vsize=850832 CPUtime=0
/proc/7088/task/7092/stat : 7092 (java) S 7085 7085 4292 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 2003083194 871251968 185953 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7088/tid=7093] ppid=7085 vsize=850832 CPUtime=0
/proc/7088/task/7093/stat : 7093 (java) S 7085 7085 4292 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003083196 871251968 185953 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7088/tid=7094] ppid=7085 vsize=850832 CPUtime=6.41
/proc/7088/task/7094/stat : 7094 (java) S 7085 7085 4292 0 -1 64 3798 0 0 0 625 16 0 0 15 0 9 0 2003083196 871251968 185953 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7088/tid=7095] ppid=7085 vsize=850832 CPUtime=0
/proc/7088/task/7095/stat : 7095 (java) S 7085 7085 4292 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2003083196 871251968 185953 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7088/tid=7096] ppid=7085 vsize=850832 CPUtime=0
/proc/7088/task/7096/stat : 7096 (java) S 7085 7085 4292 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 2003083196 871251968 185953 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 424.96
Current children cumulated vsize (KiB) 856188

[startup+428.703 s]
/proc/loadavg: 2.21 2.14 2.04 3/82 7104
/proc/meminfo: memFree=918072/2055920 swapFree=4180808/4192956
[pid=7085] ppid=7083 vsize=5356 CPUtime=0
/proc/7085/stat : 7085 (concrete.sh) S 7083 7085 4292 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 2003083190 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7085/statm: 1339 242 201 169 0 50 0
[pid=7088] ppid=7085 vsize=850832 CPUtime=426.55
/proc/7088/stat : 7088 (java) S 7085 7085 4292 0 -1 0 193582 0 1 0 42501 154 0 0 18 0 9 0 2003083191 871251968 185963 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7088/statm: 212708 185963 2599 9 0 207268 0
[pid=7088/tid=7089] ppid=7085 vsize=850832 CPUtime=398.43
/proc/7088/task/7089/stat : 7089 (java) R 7085 7085 4292 0 -1 64 14345 0 1 0 39787 56 0 0 25 0 9 0 2003083192 871251968 185963 996147200 134512640 134550740 4294956016 18446744073709551615 4129889729 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7088/tid=7090] ppid=7085 vsize=850832 CPUtime=21.64
/proc/7088/task/7090/stat : 7090 (java) S 7085 7085 4292 0 -1 64 174684 0 0 0 2085 79 0 0 16 0 9 0 2003083193 871251968 185963 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7088/tid=7091] ppid=7085 vsize=850832 CPUtime=0
/proc/7088/task/7091/stat : 7091 (java) S 7085 7085 4292 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003083194 871251968 185963 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7088/tid=7092] ppid=7085 vsize=850832 CPUtime=0
/proc/7088/task/7092/stat : 7092 (java) S 7085 7085 4292 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 2003083194 871251968 185963 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7088/tid=7093] ppid=7085 vsize=850832 CPUtime=0
/proc/7088/task/7093/stat : 7093 (java) S 7085 7085 4292 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003083196 871251968 185963 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7088/tid=7094] ppid=7085 vsize=850832 CPUtime=6.44
/proc/7088/task/7094/stat : 7094 (java) S 7085 7085 4292 0 -1 64 3808 0 0 0 628 16 0 0 15 0 9 0 2003083196 871251968 185963 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7088/tid=7095] ppid=7085 vsize=850832 CPUtime=0
/proc/7088/task/7095/stat : 7095 (java) S 7085 7085 4292 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2003083196 871251968 185963 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7088/tid=7096] ppid=7085 vsize=850832 CPUtime=0
/proc/7088/task/7096/stat : 7096 (java) S 7085 7085 4292 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 2003083196 871251968 185963 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 426.55
Current children cumulated vsize (KiB) 856188

[startup+429.503 s]
/proc/loadavg: 2.21 2.14 2.04 3/82 7104
/proc/meminfo: memFree=918072/2055920 swapFree=4180808/4192956
[pid=7085] ppid=7083 vsize=5356 CPUtime=0
/proc/7085/stat : 7085 (concrete.sh) S 7083 7085 4292 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 2003083190 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7085/statm: 1339 242 201 169 0 50 0
[pid=7088] ppid=7085 vsize=850832 CPUtime=427.35
/proc/7088/stat : 7088 (java) S 7085 7085 4292 0 -1 0 193588 0 1 0 42581 154 0 0 18 0 9 0 2003083191 871251968 185969 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7088/statm: 212708 185969 2599 9 0 207268 0
[pid=7088/tid=7089] ppid=7085 vsize=850832 CPUtime=399.21
/proc/7088/task/7089/stat : 7089 (java) R 7085 7085 4292 0 -1 64 14345 0 1 0 39865 56 0 0 25 0 9 0 2003083192 871251968 185969 996147200 134512640 134550740 4294956016 18446744073709551615 4128960792 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7088/tid=7090] ppid=7085 vsize=850832 CPUtime=21.64
/proc/7088/task/7090/stat : 7090 (java) S 7085 7085 4292 0 -1 64 174684 0 0 0 2085 79 0 0 16 0 9 0 2003083193 871251968 185969 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7088/tid=7091] ppid=7085 vsize=850832 CPUtime=0
/proc/7088/task/7091/stat : 7091 (java) S 7085 7085 4292 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003083194 871251968 185969 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7088/tid=7092] ppid=7085 vsize=850832 CPUtime=0
/proc/7088/task/7092/stat : 7092 (java) S 7085 7085 4292 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 2003083194 871251968 185969 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7088/tid=7093] ppid=7085 vsize=850832 CPUtime=0
/proc/7088/task/7093/stat : 7093 (java) S 7085 7085 4292 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003083196 871251968 185969 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7088/tid=7094] ppid=7085 vsize=850832 CPUtime=6.46
/proc/7088/task/7094/stat : 7094 (java) S 7085 7085 4292 0 -1 64 3814 0 0 0 630 16 0 0 15 0 9 0 2003083196 871251968 185969 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7088/tid=7095] ppid=7085 vsize=850832 CPUtime=0
/proc/7088/task/7095/stat : 7095 (java) S 7085 7085 4292 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2003083196 871251968 185969 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7088/tid=7096] ppid=7085 vsize=850832 CPUtime=0
/proc/7088/task/7096/stat : 7096 (java) S 7085 7085 4292 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 2003083196 871251968 185969 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 427.35
Current children cumulated vsize (KiB) 856188

[startup+429.903 s]
/proc/loadavg: 2.21 2.14 2.04 3/82 7104
/proc/meminfo: memFree=918072/2055920 swapFree=4180808/4192956
[pid=7085] ppid=7083 vsize=5356 CPUtime=0
/proc/7085/stat : 7085 (concrete.sh) S 7083 7085 4292 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 2003083190 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7085/statm: 1339 242 201 169 0 50 0
[pid=7088] ppid=7085 vsize=0 CPUtime=427.73
/proc/7088/stat : 7088 (java) Z 7085 7085 4292 0 -1 12 193600 0 1 0 42617 156 0 0 16 0 2 0 2003083191 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7088/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 427.73
Current children cumulated vsize (KiB) 5356

[startup+430.002 s]
/proc/loadavg: 2.21 2.14 2.04 3/75 7105
/proc/meminfo: memFree=1645944/2055920 swapFree=4180808/4192956
[pid=7085] ppid=7083 vsize=5356 CPUtime=0
/proc/7085/stat : 7085 (concrete.sh) S 7083 7085 4292 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 2003083190 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7085/statm: 1339 242 201 169 0 50 0
[pid=7088] ppid=7085 vsize=0 CPUtime=427.83
/proc/7088/stat : 7088 (java) Z 7085 7085 4292 0 -1 12 193600 0 1 0 42617 166 0 0 16 0 2 0 2003083191 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7088/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 427.83
Current children cumulated vsize (KiB) 5356

Child status: 0
Real time (s): 430.009
CPU time (s): 427.841
CPU user time (s): 426.175
CPU system time (s): 1.66575
CPU usage (%): 99.4958
Max. virtual memory (cumulated for all children) (KiB): 856204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 426.175
system time used= 1.66575
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 194051
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= 49402
involuntary context switches= 54451

runsolver used 0.496924 second user time and 1.50977 second system time

The end

Launcher Data (download as text)

Begin job on node65 at 2008-07-05 08:58:54
IDJOB=1086774
IDBENCH=57878
IDSOLVER=304
FILE ID=node65/1086774-1215241134
PBS_JOBID= 7881879
Free space on /tmp= 66484 MiB

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

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 58ea24c4b64e9a970cdc24f9e79dc4d0
RANDOM SEED=140571938

node65.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:       1655088 kB
Buffers:         32652 kB
Cached:         199844 kB
SwapCached:       5980 kB
Active:         232764 kB
Inactive:       114428 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1655088 kB
SwapTotal:     4192956 kB
SwapFree:      4180808 kB
Dirty:            3992 kB
Writeback:           0 kB
Mapped:         122152 kB
Slab:            38668 kB
Committed_AS:  4118528 kB
PageTables:       2080 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= 66484 MiB
End job on node65 at 2008-07-05 09:06:04