Trace number 1086752

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 - Tabu Engine 2008-05-30SAT 460.014 459.186

DiagnosticValue
CHECKS80877800
NODES153231

General information on the benchmark

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

Solver Data (download as text)

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

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-1086752-1215478981/watcher-1086752-1215478981 -o /tmp/evaluation-result-1086752-1215478981/solver-1086752-1215478981 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/concrete.sh -c -ext 0 -s Tabu HOME/instance-1086752-1215478981.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: 0.92 0.98 0.99 3/82 2956
/proc/meminfo: memFree=1127576/2055920 swapFree=4192956/4192956
[pid=2956] ppid=2954 vsize=5356 CPUtime=0
/proc/2956/stat : 2956 (concrete.sh) S 2954 2956 2733 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 4597556 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2956/statm: 1339 242 201 169 0 50 0

[startup+0.094219 s]
/proc/loadavg: 0.92 0.98 0.99 3/82 2956
/proc/meminfo: memFree=1127576/2055920 swapFree=4192956/4192956
[pid=2956] ppid=2954 vsize=5356 CPUtime=0
/proc/2956/stat : 2956 (concrete.sh) S 2954 2956 2733 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 4597556 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2956/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101213 s]
/proc/loadavg: 0.92 0.98 0.99 3/82 2956
/proc/meminfo: memFree=1127576/2055920 swapFree=4192956/4192956
[pid=2956] ppid=2954 vsize=5356 CPUtime=0
/proc/2956/stat : 2956 (concrete.sh) S 2954 2956 2733 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 4597556 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2956/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301238 s]
/proc/loadavg: 0.92 0.98 0.99 3/82 2956
/proc/meminfo: memFree=1127576/2055920 swapFree=4192956/4192956
[pid=2956] ppid=2954 vsize=5356 CPUtime=0
/proc/2956/stat : 2956 (concrete.sh) S 2954 2956 2733 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 4597556 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2956/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701272 s]
/proc/loadavg: 0.92 0.98 0.99 3/82 2956
/proc/meminfo: memFree=1127576/2055920 swapFree=4192956/4192956
[pid=2956] ppid=2954 vsize=5356 CPUtime=0
/proc/2956/stat : 2956 (concrete.sh) S 2954 2956 2733 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 4597556 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2956/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50234 s]
/proc/loadavg: 0.92 0.98 0.99 2/92 2967
/proc/meminfo: memFree=1114504/2055920 swapFree=4192956/4192956
[pid=2956] ppid=2954 vsize=5356 CPUtime=0
/proc/2956/stat : 2956 (concrete.sh) S 2954 2956 2733 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 4597556 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2956/statm: 1339 242 201 169 0 50 0
[pid=2958] ppid=2956 vsize=844276 CPUtime=1.61
/proc/2958/stat : 2958 (java) S 2956 2956 2733 0 -1 0 7150 0 1 0 157 4 0 0 20 0 9 0 4597556 864538624 6231 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2958/statm: 211069 6231 2575 9 0 205630 0
[pid=2958/tid=2960] ppid=2956 vsize=844276 CPUtime=1.29
/proc/2958/task/2960/stat : 2960 (java) R 2956 2956 2733 0 -1 64 3457 0 1 0 127 2 0 0 16 0 9 0 4597557 864538624 6231 996147200 134512640 134550740 4294956016 18446744073709551615 4125374832 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2958/tid=2961] ppid=2956 vsize=844276 CPUtime=0.14
/proc/2958/task/2961/stat : 2961 (java) S 2956 2956 2733 0 -1 64 2431 0 0 0 14 0 0 0 16 0 9 0 4597558 864538624 6231 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2958/tid=2962] ppid=2956 vsize=844276 CPUtime=0
/proc/2958/task/2962/stat : 2962 (java) S 2956 2956 2733 0 -1 64 13 0 0 0 0 0 0 0 15 0 9 0 4597559 864538624 6231 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2958/tid=2963] ppid=2956 vsize=844276 CPUtime=0
/proc/2958/task/2963/stat : 2963 (java) S 2956 2956 2733 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 4597559 864538624 6231 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2958/tid=2964] ppid=2956 vsize=844276 CPUtime=0
/proc/2958/task/2964/stat : 2964 (java) S 2956 2956 2733 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 4597560 864538624 6231 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2958/tid=2965] ppid=2956 vsize=844276 CPUtime=0.15
/proc/2958/task/2965/stat : 2965 (java) S 2956 2956 2733 0 -1 64 531 0 0 0 15 0 0 0 15 0 9 0 4597560 864538624 6231 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2958/tid=2966] ppid=2956 vsize=844276 CPUtime=0
/proc/2958/task/2966/stat : 2966 (java) S 2956 2956 2733 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 4597561 864538624 6231 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2958/tid=2967] ppid=2956 vsize=844276 CPUtime=0
/proc/2958/task/2967/stat : 2967 (java) S 2956 2956 2733 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 4597561 864538624 6231 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.61
Current children cumulated vsize (KiB) 849632

[startup+3.10249 s]
/proc/loadavg: 0.92 0.98 0.99 2/92 2967
/proc/meminfo: memFree=1111112/2055920 swapFree=4192956/4192956
[pid=2956] ppid=2954 vsize=5356 CPUtime=0
/proc/2956/stat : 2956 (concrete.sh) S 2954 2956 2733 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 4597556 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2956/statm: 1339 242 201 169 0 50 0
[pid=2958] ppid=2956 vsize=844276 CPUtime=3.2
/proc/2958/stat : 2958 (java) S 2956 2956 2733 0 -1 0 7945 0 1 0 315 5 0 0 20 0 9 0 4597556 864538624 6868 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2958/statm: 211069 6868 2575 9 0 205630 0
[pid=2958/tid=2960] ppid=2956 vsize=844276 CPUtime=2.72
/proc/2958/task/2960/stat : 2960 (java) R 2956 2956 2733 0 -1 64 3615 0 1 0 270 2 0 0 16 0 9 0 4597557 864538624 6868 996147200 134512640 134550740 4294956016 18446744073709551615 4125766392 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2958/tid=2961] ppid=2956 vsize=844276 CPUtime=0.3
/proc/2958/task/2961/stat : 2961 (java) S 2956 2956 2733 0 -1 64 3068 0 0 0 29 1 0 0 16 0 9 0 4597558 864538624 6868 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2958/tid=2962] ppid=2956 vsize=844276 CPUtime=0
/proc/2958/task/2962/stat : 2962 (java) S 2956 2956 2733 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 4597559 864538624 6868 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2958/tid=2963] ppid=2956 vsize=844276 CPUtime=0
/proc/2958/task/2963/stat : 2963 (java) S 2956 2956 2733 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 4597559 864538624 6868 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2958/tid=2964] ppid=2956 vsize=844276 CPUtime=0
/proc/2958/task/2964/stat : 2964 (java) S 2956 2956 2733 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 4597560 864538624 6868 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2958/tid=2965] ppid=2956 vsize=844276 CPUtime=0.15
/proc/2958/task/2965/stat : 2965 (java) S 2956 2956 2733 0 -1 64 531 0 0 0 15 0 0 0 15 0 9 0 4597560 864538624 6868 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2958/tid=2966] ppid=2956 vsize=844276 CPUtime=0
/proc/2958/task/2966/stat : 2966 (java) S 2956 2956 2733 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 4597561 864538624 6868 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2958/tid=2967] ppid=2956 vsize=844276 CPUtime=0
/proc/2958/task/2967/stat : 2967 (java) S 2956 2956 2733 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 4597561 864538624 6868 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.2
Current children cumulated vsize (KiB) 849632

[startup+6.30177 s]
/proc/loadavg: 0.93 0.98 0.99 2/92 2967
/proc/meminfo: memFree=1107080/2055920 swapFree=4192956/4192956
[pid=2956] ppid=2954 vsize=5356 CPUtime=0
/proc/2956/stat : 2956 (concrete.sh) S 2954 2956 2733 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 4597556 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2956/statm: 1339 242 201 169 0 50 0
[pid=2958] ppid=2956 vsize=844276 CPUtime=6.38
/proc/2958/stat : 2958 (java) S 2956 2956 2733 0 -1 0 8951 0 1 0 631 7 0 0 20 0 9 0 4597556 864538624 7616 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2958/statm: 211069 7616 2575 9 0 205630 0
[pid=2958/tid=2960] ppid=2956 vsize=844276 CPUtime=5.75
/proc/2958/task/2960/stat : 2960 (java) R 2956 2956 2733 0 -1 64 3873 0 1 0 572 3 0 0 17 0 9 0 4597557 864538624 7616 996147200 134512640 134550740 4294956016 18446744073709551615 4125718371 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2958/tid=2961] ppid=2956 vsize=844276 CPUtime=0.46
/proc/2958/task/2961/stat : 2961 (java) S 2956 2956 2733 0 -1 64 3816 0 0 0 43 3 0 0 16 0 9 0 4597558 864538624 7616 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2958/tid=2962] ppid=2956 vsize=844276 CPUtime=0
/proc/2958/task/2962/stat : 2962 (java) S 2956 2956 2733 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 4597559 864538624 7616 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2958/tid=2963] ppid=2956 vsize=844276 CPUtime=0
/proc/2958/task/2963/stat : 2963 (java) S 2956 2956 2733 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 4597559 864538624 7616 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2958/tid=2964] ppid=2956 vsize=844276 CPUtime=0
/proc/2958/task/2964/stat : 2964 (java) S 2956 2956 2733 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 4597560 864538624 7616 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2958/tid=2965] ppid=2956 vsize=844276 CPUtime=0.15
/proc/2958/task/2965/stat : 2965 (java) S 2956 2956 2733 0 -1 64 531 0 0 0 15 0 0 0 15 0 9 0 4597560 864538624 7616 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2958/tid=2966] ppid=2956 vsize=844276 CPUtime=0
/proc/2958/task/2966/stat : 2966 (java) S 2956 2956 2733 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 4597561 864538624 7616 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2958/tid=2967] ppid=2956 vsize=844276 CPUtime=0
/proc/2958/task/2967/stat : 2967 (java) S 2956 2956 2733 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 4597561 864538624 7616 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.38
Current children cumulated vsize (KiB) 849632

[startup+12.7023 s]
/proc/loadavg: 0.93 0.98 0.99 2/92 2967
/proc/meminfo: memFree=1102984/2055920 swapFree=4192956/4192956
[pid=2956] ppid=2954 vsize=5356 CPUtime=0
/proc/2956/stat : 2956 (concrete.sh) S 2954 2956 2733 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 4597556 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2956/statm: 1339 242 201 169 0 50 0
[pid=2958] ppid=2956 vsize=844276 CPUtime=12.75
/proc/2958/stat : 2958 (java) S 2956 2956 2733 0 -1 0 11293 0 1 0 1264 11 0 0 20 0 9 0 4597556 864538624 8519 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2958/statm: 211069 8519 2575 9 0 205630 0
[pid=2958/tid=2960] ppid=2956 vsize=844276 CPUtime=11.82
/proc/2958/task/2960/stat : 2960 (java) R 2956 2956 2733 0 -1 64 4241 0 1 0 1178 4 0 0 17 0 9 0 4597557 864538624 8519 996147200 134512640 134550740 4294956016 18446744073709551615 4125718374 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2958/tid=2961] ppid=2956 vsize=844276 CPUtime=0.76
/proc/2958/task/2961/stat : 2961 (java) S 2956 2956 2733 0 -1 64 5790 0 0 0 71 5 0 0 16 0 9 0 4597558 864538624 8519 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2958/tid=2962] ppid=2956 vsize=844276 CPUtime=0
/proc/2958/task/2962/stat : 2962 (java) S 2956 2956 2733 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 4597559 864538624 8519 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2958/tid=2963] ppid=2956 vsize=844276 CPUtime=0
/proc/2958/task/2963/stat : 2963 (java) S 2956 2956 2733 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 4597559 864538624 8519 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2958/tid=2964] ppid=2956 vsize=844276 CPUtime=0
/proc/2958/task/2964/stat : 2964 (java) S 2956 2956 2733 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 4597560 864538624 8519 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2958/tid=2965] ppid=2956 vsize=844276 CPUtime=0.15
/proc/2958/task/2965/stat : 2965 (java) S 2956 2956 2733 0 -1 64 531 0 0 0 15 0 0 0 15 0 9 0 4597560 864538624 8519 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2958/tid=2966] ppid=2956 vsize=844276 CPUtime=0
/proc/2958/task/2966/stat : 2966 (java) S 2956 2956 2733 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 4597561 864538624 8519 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2958/tid=2967] ppid=2956 vsize=844276 CPUtime=0
/proc/2958/task/2967/stat : 2967 (java) S 2956 2956 2733 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 4597561 864538624 8519 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.75
Current children cumulated vsize (KiB) 849632

[startup+25.5015 s]
/proc/loadavg: 0.95 0.98 0.99 2/92 2967
/proc/meminfo: memFree=1098248/2055920 swapFree=4192956/4192956
[pid=2956] ppid=2954 vsize=5356 CPUtime=0
/proc/2956/stat : 2956 (concrete.sh) S 2954 2956 2733 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 4597556 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2956/statm: 1339 242 201 169 0 50 0
[pid=2958] ppid=2956 vsize=844276 CPUtime=25.46
/proc/2958/stat : 2958 (java) S 2956 2956 2733 0 -1 0 12888 0 1 0 2532 14 0 0 20 0 9 0 4597556 864538624 9682 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2958/statm: 211069 9682 2575 9 0 205630 0
[pid=2958/tid=2960] ppid=2956 vsize=844276 CPUtime=24.2
/proc/2958/task/2960/stat : 2960 (java) R 2956 2956 2733 0 -1 64 4673 0 1 0 2415 5 0 0 17 0 9 0 4597557 864538624 9682 996147200 134512640 134550740 4294956016 18446744073709551615 4125231205 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2958/tid=2961] ppid=2956 vsize=844276 CPUtime=1.09
/proc/2958/task/2961/stat : 2961 (java) S 2956 2956 2733 0 -1 64 6953 0 0 0 101 8 0 0 16 0 9 0 4597558 864538624 9682 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2958/tid=2962] ppid=2956 vsize=844276 CPUtime=0
/proc/2958/task/2962/stat : 2962 (java) S 2956 2956 2733 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 4597559 864538624 9682 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2958/tid=2963] ppid=2956 vsize=844276 CPUtime=0
/proc/2958/task/2963/stat : 2963 (java) S 2956 2956 2733 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 4597559 864538624 9682 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2958/tid=2964] ppid=2956 vsize=844276 CPUtime=0
/proc/2958/task/2964/stat : 2964 (java) S 2956 2956 2733 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 4597560 864538624 9682 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2958/tid=2965] ppid=2956 vsize=844276 CPUtime=0.15
/proc/2958/task/2965/stat : 2965 (java) S 2956 2956 2733 0 -1 64 531 0 0 0 15 0 0 0 15 0 9 0 4597560 864538624 9682 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2958/tid=2966] ppid=2956 vsize=844276 CPUtime=0
/proc/2958/task/2966/stat : 2966 (java) S 2956 2956 2733 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 4597561 864538624 9682 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2958/tid=2967] ppid=2956 vsize=844276 CPUtime=0
/proc/2958/task/2967/stat : 2967 (java) S 2956 2956 2733 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 4597561 864538624 9682 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 849632

[startup+51.1018 s]
/proc/loadavg: 0.96 0.98 0.99 3/92 2967
/proc/meminfo: memFree=1091784/2055920 swapFree=4192956/4192956
[pid=2956] ppid=2954 vsize=5356 CPUtime=0

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

[pid=2958/tid=2960] ppid=2956 vsize=851852 CPUtime=409.54
/proc/2958/task/2960/stat : 2960 (java) R 2956 2956 2733 0 -1 64 14524 0 1 0 40905 49 0 0 25 0 9 0 4597557 872296448 186936 996147200 134512640 134550740 4294956016 18446744073709551615 4133438133 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2958/tid=2961] ppid=2956 vsize=851852 CPUtime=20.78
/proc/2958/task/2961/stat : 2961 (java) S 2956 2956 2733 0 -1 64 176344 0 0 0 2004 74 0 0 16 0 9 0 4597558 872296448 186936 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2958/tid=2962] ppid=2956 vsize=851852 CPUtime=0
/proc/2958/task/2962/stat : 2962 (java) S 2956 2956 2733 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 4597559 872296448 186936 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2958/tid=2963] ppid=2956 vsize=851852 CPUtime=0
/proc/2958/task/2963/stat : 2963 (java) S 2956 2956 2733 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 4597559 872296448 186936 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2958/tid=2964] ppid=2956 vsize=851852 CPUtime=0
/proc/2958/task/2964/stat : 2964 (java) S 2956 2956 2733 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 4597560 872296448 186936 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2958/tid=2965] ppid=2956 vsize=851852 CPUtime=5.74
/proc/2958/task/2965/stat : 2965 (java) S 2956 2956 2733 0 -1 64 3852 0 0 0 563 11 0 0 16 0 9 0 4597560 872296448 186936 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2958/tid=2966] ppid=2956 vsize=851852 CPUtime=0
/proc/2958/task/2966/stat : 2966 (java) S 2956 2956 2733 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 4597561 872296448 186936 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2958/tid=2967] ppid=2956 vsize=851852 CPUtime=0
/proc/2958/task/2967/stat : 2967 (java) S 2956 2956 2733 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 4597561 872296448 186936 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 436.08
Current children cumulated vsize (KiB) 857208

[startup+447.903 s]
/proc/loadavg: 1.71 1.22 1.07 3/90 3011
/proc/meminfo: memFree=1095432/2055920 swapFree=4192956/4192956
[pid=2956] ppid=2954 vsize=5356 CPUtime=0
/proc/2956/stat : 2956 (concrete.sh) S 2954 2956 2733 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 4597556 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2956/statm: 1339 242 201 169 0 50 0
[pid=2958] ppid=2956 vsize=851852 CPUtime=448.82
/proc/2958/stat : 2958 (java) S 2956 2956 2733 0 -1 0 195457 0 1 0 44746 136 0 0 20 0 9 0 4597556 872296448 186936 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2958/statm: 212963 186936 2599 9 0 207523 0
[pid=2958/tid=2960] ppid=2956 vsize=851852 CPUtime=422.28
/proc/2958/task/2960/stat : 2960 (java) R 2956 2956 2733 0 -1 64 14524 0 1 0 42179 49 0 0 25 0 9 0 4597557 872296448 186936 996147200 134512640 134550740 4294956016 18446744073709551615 4133438133 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2958/tid=2961] ppid=2956 vsize=851852 CPUtime=20.78
/proc/2958/task/2961/stat : 2961 (java) S 2956 2956 2733 0 -1 64 176344 0 0 0 2004 74 0 0 16 0 9 0 4597558 872296448 186936 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2958/tid=2962] ppid=2956 vsize=851852 CPUtime=0
/proc/2958/task/2962/stat : 2962 (java) S 2956 2956 2733 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 4597559 872296448 186936 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2958/tid=2963] ppid=2956 vsize=851852 CPUtime=0
/proc/2958/task/2963/stat : 2963 (java) S 2956 2956 2733 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 4597559 872296448 186936 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2958/tid=2964] ppid=2956 vsize=851852 CPUtime=0
/proc/2958/task/2964/stat : 2964 (java) S 2956 2956 2733 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 4597560 872296448 186936 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2958/tid=2965] ppid=2956 vsize=851852 CPUtime=5.74
/proc/2958/task/2965/stat : 2965 (java) S 2956 2956 2733 0 -1 64 3852 0 0 0 563 11 0 0 17 0 9 0 4597560 872296448 186936 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2958/tid=2966] ppid=2956 vsize=851852 CPUtime=0
/proc/2958/task/2966/stat : 2966 (java) S 2956 2956 2733 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 4597561 872296448 186936 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2958/tid=2967] ppid=2956 vsize=851852 CPUtime=0
/proc/2958/task/2967/stat : 2967 (java) S 2956 2956 2733 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 4597561 872296448 186936 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 448.82
Current children cumulated vsize (KiB) 857208

[startup+454.307 s]
/proc/loadavg: 1.83 1.26 1.09 3/90 3011
/proc/meminfo: memFree=1095368/2055920 swapFree=4192956/4192956
[pid=2956] ppid=2954 vsize=5356 CPUtime=0
/proc/2956/stat : 2956 (concrete.sh) S 2954 2956 2733 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 4597556 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2956/statm: 1339 242 201 169 0 50 0
[pid=2958] ppid=2956 vsize=851852 CPUtime=455.19
/proc/2958/stat : 2958 (java) S 2956 2956 2733 0 -1 0 195477 0 1 0 45383 136 0 0 20 0 9 0 4597556 872296448 186954 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2958/statm: 212963 186954 2599 9 0 207523 0
[pid=2958/tid=2960] ppid=2956 vsize=851852 CPUtime=428.59
/proc/2958/task/2960/stat : 2960 (java) R 2956 2956 2733 0 -1 64 14527 0 1 0 42810 49 0 0 25 0 9 0 4597557 872296448 186954 996147200 134512640 134550740 4294956016 18446744073709551615 4133336150 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2958/tid=2961] ppid=2956 vsize=851852 CPUtime=20.78
/proc/2958/task/2961/stat : 2961 (java) S 2956 2956 2733 0 -1 64 176344 0 0 0 2004 74 0 0 16 0 9 0 4597558 872296448 186954 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2958/tid=2962] ppid=2956 vsize=851852 CPUtime=0
/proc/2958/task/2962/stat : 2962 (java) S 2956 2956 2733 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 4597559 872296448 186954 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2958/tid=2963] ppid=2956 vsize=851852 CPUtime=0
/proc/2958/task/2963/stat : 2963 (java) S 2956 2956 2733 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 4597559 872296448 186954 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2958/tid=2964] ppid=2956 vsize=851852 CPUtime=0
/proc/2958/task/2964/stat : 2964 (java) S 2956 2956 2733 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 4597560 872296448 186954 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2958/tid=2965] ppid=2956 vsize=851852 CPUtime=5.78
/proc/2958/task/2965/stat : 2965 (java) S 2956 2956 2733 0 -1 64 3869 0 0 0 567 11 0 0 15 0 9 0 4597560 872296448 186954 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2958/tid=2966] ppid=2956 vsize=851852 CPUtime=0
/proc/2958/task/2966/stat : 2966 (java) S 2956 2956 2733 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 4597561 872296448 186954 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2958/tid=2967] ppid=2956 vsize=851852 CPUtime=0
/proc/2958/task/2967/stat : 2967 (java) S 2956 2956 2733 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 4597561 872296448 186954 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 455.19
Current children cumulated vsize (KiB) 857208

[startup+457.503 s]
/proc/loadavg: 1.83 1.26 1.09 3/90 3011
/proc/meminfo: memFree=1095368/2055920 swapFree=4192956/4192956
[pid=2956] ppid=2954 vsize=5356 CPUtime=0
/proc/2956/stat : 2956 (concrete.sh) S 2954 2956 2733 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 4597556 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2956/statm: 1339 242 201 169 0 50 0
[pid=2958] ppid=2956 vsize=851852 CPUtime=458.38
/proc/2958/stat : 2958 (java) S 2956 2956 2733 0 -1 0 195482 0 1 0 45702 136 0 0 20 0 9 0 4597556 872296448 186957 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2958/statm: 212963 186957 2599 9 0 207523 0
[pid=2958/tid=2960] ppid=2956 vsize=851852 CPUtime=431.76
/proc/2958/task/2960/stat : 2960 (java) R 2956 2956 2733 0 -1 64 14529 0 1 0 43127 49 0 0 25 0 9 0 4597557 872296448 186957 996147200 134512640 134550740 4294956016 18446744073709551615 4125231152 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2958/tid=2961] ppid=2956 vsize=851852 CPUtime=20.79
/proc/2958/task/2961/stat : 2961 (java) S 2956 2956 2733 0 -1 64 176344 0 0 0 2005 74 0 0 16 0 9 0 4597558 872296448 186957 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2958/tid=2962] ppid=2956 vsize=851852 CPUtime=0
/proc/2958/task/2962/stat : 2962 (java) S 2956 2956 2733 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 4597559 872296448 186957 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2958/tid=2963] ppid=2956 vsize=851852 CPUtime=0
/proc/2958/task/2963/stat : 2963 (java) S 2956 2956 2733 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 4597559 872296448 186957 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2958/tid=2964] ppid=2956 vsize=851852 CPUtime=0
/proc/2958/task/2964/stat : 2964 (java) S 2956 2956 2733 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 4597560 872296448 186957 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2958/tid=2965] ppid=2956 vsize=851852 CPUtime=5.79
/proc/2958/task/2965/stat : 2965 (java) S 2956 2956 2733 0 -1 64 3872 0 0 0 568 11 0 0 15 0 9 0 4597560 872296448 186957 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2958/tid=2966] ppid=2956 vsize=851852 CPUtime=0
/proc/2958/task/2966/stat : 2966 (java) S 2956 2956 2733 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 4597561 872296448 186957 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2958/tid=2967] ppid=2956 vsize=851852 CPUtime=0
/proc/2958/task/2967/stat : 2967 (java) S 2956 2956 2733 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 4597561 872296448 186957 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 458.38
Current children cumulated vsize (KiB) 857208

[startup+458.303 s]
/proc/loadavg: 1.83 1.26 1.09 3/90 3011
/proc/meminfo: memFree=1095368/2055920 swapFree=4192956/4192956
[pid=2956] ppid=2954 vsize=5356 CPUtime=0
/proc/2956/stat : 2956 (concrete.sh) S 2954 2956 2733 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 4597556 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2956/statm: 1339 242 201 169 0 50 0
[pid=2958] ppid=2956 vsize=851852 CPUtime=459.17
/proc/2958/stat : 2958 (java) S 2956 2956 2733 0 -1 0 195487 0 1 0 45781 136 0 0 20 0 9 0 4597556 872296448 186961 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2958/statm: 212963 186961 2599 9 0 207523 0
[pid=2958/tid=2960] ppid=2956 vsize=851852 CPUtime=432.54
/proc/2958/task/2960/stat : 2960 (java) R 2956 2956 2733 0 -1 64 14530 0 1 0 43205 49 0 0 25 0 9 0 4597557 872296448 186961 996147200 134512640 134550740 4294956016 18446744073709551615 4133335933 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2958/tid=2961] ppid=2956 vsize=851852 CPUtime=20.8
/proc/2958/task/2961/stat : 2961 (java) S 2956 2956 2733 0 -1 64 176344 0 0 0 2006 74 0 0 16 0 9 0 4597558 872296448 186961 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2958/tid=2962] ppid=2956 vsize=851852 CPUtime=0
/proc/2958/task/2962/stat : 2962 (java) S 2956 2956 2733 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 4597559 872296448 186961 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2958/tid=2963] ppid=2956 vsize=851852 CPUtime=0
/proc/2958/task/2963/stat : 2963 (java) S 2956 2956 2733 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 4597559 872296448 186961 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2958/tid=2964] ppid=2956 vsize=851852 CPUtime=0
/proc/2958/task/2964/stat : 2964 (java) S 2956 2956 2733 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 4597560 872296448 186961 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2958/tid=2965] ppid=2956 vsize=851852 CPUtime=5.8
/proc/2958/task/2965/stat : 2965 (java) S 2956 2956 2733 0 -1 64 3876 0 0 0 569 11 0 0 15 0 9 0 4597560 872296448 186961 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2958/tid=2966] ppid=2956 vsize=851852 CPUtime=0
/proc/2958/task/2966/stat : 2966 (java) S 2956 2956 2733 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 4597561 872296448 186961 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2958/tid=2967] ppid=2956 vsize=851852 CPUtime=0
/proc/2958/task/2967/stat : 2967 (java) S 2956 2956 2733 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 4597561 872296448 186961 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 459.17
Current children cumulated vsize (KiB) 857208

[startup+458.708 s]
/proc/loadavg: 1.85 1.27 1.09 3/90 3011
/proc/meminfo: memFree=1095304/2055920 swapFree=4192956/4192956
[pid=2956] ppid=2954 vsize=5356 CPUtime=0
/proc/2956/stat : 2956 (concrete.sh) S 2954 2956 2733 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 4597556 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2956/statm: 1339 242 201 169 0 50 0
[pid=2958] ppid=2956 vsize=851852 CPUtime=459.57
/proc/2958/stat : 2958 (java) S 2956 2956 2733 0 -1 0 195491 0 1 0 45821 136 0 0 20 0 9 0 4597556 872296448 186965 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2958/statm: 212963 186965 2599 9 0 207523 0
[pid=2958/tid=2960] ppid=2956 vsize=851852 CPUtime=432.93
/proc/2958/task/2960/stat : 2960 (java) R 2956 2956 2733 0 -1 64 14530 0 1 0 43244 49 0 0 25 0 9 0 4597557 872296448 186965 996147200 134512640 134550740 4294956016 18446744073709551615 4125231223 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2958/tid=2961] ppid=2956 vsize=851852 CPUtime=20.8
/proc/2958/task/2961/stat : 2961 (java) S 2956 2956 2733 0 -1 64 176344 0 0 0 2006 74 0 0 16 0 9 0 4597558 872296448 186965 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2958/tid=2962] ppid=2956 vsize=851852 CPUtime=0
/proc/2958/task/2962/stat : 2962 (java) S 2956 2956 2733 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 4597559 872296448 186965 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2958/tid=2963] ppid=2956 vsize=851852 CPUtime=0
/proc/2958/task/2963/stat : 2963 (java) S 2956 2956 2733 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 4597559 872296448 186965 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2958/tid=2964] ppid=2956 vsize=851852 CPUtime=0
/proc/2958/task/2964/stat : 2964 (java) S 2956 2956 2733 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 4597560 872296448 186965 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2958/tid=2965] ppid=2956 vsize=851852 CPUtime=5.82
/proc/2958/task/2965/stat : 2965 (java) S 2956 2956 2733 0 -1 64 3880 0 0 0 571 11 0 0 15 0 9 0 4597560 872296448 186965 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2958/tid=2966] ppid=2956 vsize=851852 CPUtime=0
/proc/2958/task/2966/stat : 2966 (java) S 2956 2956 2733 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 4597561 872296448 186965 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2958/tid=2967] ppid=2956 vsize=851852 CPUtime=0
/proc/2958/task/2967/stat : 2967 (java) S 2956 2956 2733 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 4597561 872296448 186965 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 459.57
Current children cumulated vsize (KiB) 857208

[startup+459.103 s]
/proc/loadavg: 1.85 1.27 1.09 3/90 3011
/proc/meminfo: memFree=1095304/2055920 swapFree=4192956/4192956
[pid=2956] ppid=2954 vsize=5356 CPUtime=0
/proc/2956/stat : 2956 (concrete.sh) S 2954 2956 2733 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 4597556 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2956/statm: 1339 242 201 169 0 50 0
[pid=2958] ppid=2956 vsize=0 CPUtime=459.91
/proc/2958/stat : 2958 (java) Z 2956 2956 2733 0 -1 12 195506 0 1 0 45852 139 0 0 16 0 2 0 4597556 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2958/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 459.91
Current children cumulated vsize (KiB) 5356

Child status: 0
Real time (s): 459.186
CPU time (s): 460.014
CPU user time (s): 458.532
CPU system time (s): 1.48177
CPU usage (%): 100.18
Max. virtual memory (cumulated for all children) (KiB): 857208

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 458.532
system time used= 1.48177
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 195957
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= 34427
involuntary context switches= 32385

runsolver used 0.579911 second user time and 1.52477 second system time

The end

Launcher Data (download as text)

Begin job on node43 at 2008-07-08 03:03:01
IDJOB=1086752
IDBENCH=57876
IDSOLVER=303
FILE ID=node43/1086752-1215478981
PBS_JOBID= 7888719
Free space on /tmp= 66508 MiB

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

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= be5e235ab365e5d69a5b7c6b3a61a471
RANDOM SEED=1743721951

node43.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:       1128056 kB
Buffers:         28580 kB
Cached:         106060 kB
SwapCached:          0 kB
Active:         827332 kB
Inactive:        68044 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1128056 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            4052 kB
Writeback:           0 kB
Mapped:         780928 kB
Slab:            16292 kB
Committed_AS:   852140 kB
PageTables:       3352 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= 66504 MiB
End job on node43 at 2008-07-08 03:10:40