Trace number 1086773

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 613.664 616.284

DiagnosticValue
CHECKS264288000
NODES302500

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)

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

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.06 4/72 7222
/proc/meminfo: memFree=1231016/2055920 swapFree=4180456/4192956
[pid=7222] ppid=7220 vsize=18572 CPUtime=0
/proc/7222/stat : 7222 (runsolver) R 7220 7222 4952 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 2003087725 19017728 292 996147200 4194304 4296836 548682068432 18446744073709551615 255236566311 0 0 4096 24578 0 0 0 17 1 0 0
/proc/7222/statm: 4643 292 257 25 0 2626 0

[startup+0.0884589 s]
/proc/loadavg: 2.00 2.00 2.06 4/72 7222
/proc/meminfo: memFree=1231016/2055920 swapFree=4180456/4192956
[pid=7222] ppid=7220 vsize=5356 CPUtime=0
/proc/7222/stat : 7222 (concrete.sh) S 7220 7222 4952 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 2003087725 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7222/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.10146 s]
/proc/loadavg: 2.00 2.00 2.06 4/72 7222
/proc/meminfo: memFree=1231016/2055920 swapFree=4180456/4192956
[pid=7222] ppid=7220 vsize=5356 CPUtime=0
/proc/7222/stat : 7222 (concrete.sh) S 7220 7222 4952 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 2003087725 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7222/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301498 s]
/proc/loadavg: 2.00 2.00 2.06 4/72 7222
/proc/meminfo: memFree=1231016/2055920 swapFree=4180456/4192956
[pid=7222] ppid=7220 vsize=5356 CPUtime=0
/proc/7222/stat : 7222 (concrete.sh) S 7220 7222 4952 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 2003087725 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7222/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701573 s]
/proc/loadavg: 2.00 2.00 2.06 4/72 7222
/proc/meminfo: memFree=1231016/2055920 swapFree=4180456/4192956
[pid=7222] ppid=7220 vsize=5356 CPUtime=0
/proc/7222/stat : 7222 (concrete.sh) S 7220 7222 4952 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 2003087725 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7222/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50273 s]
/proc/loadavg: 2.00 2.00 2.06 3/82 7233
/proc/meminfo: memFree=1219096/2055920 swapFree=4180456/4192956
[pid=7222] ppid=7220 vsize=5356 CPUtime=0
/proc/7222/stat : 7222 (concrete.sh) S 7220 7222 4952 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 2003087725 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7222/statm: 1339 242 201 169 0 50 0
[pid=7225] ppid=7222 vsize=844280 CPUtime=1.46
/proc/7225/stat : 7225 (java) S 7222 7222 4952 0 -1 0 6858 0 1 0 141 5 0 0 18 0 9 0 2003087726 864542720 5981 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7225/statm: 211070 5981 2574 9 0 205631 0
[pid=7225/tid=7226] ppid=7222 vsize=844280 CPUtime=1.13
/proc/7225/task/7226/stat : 7226 (java) R 7222 7222 4952 0 -1 64 3418 0 1 0 110 3 0 0 25 0 9 0 2003087727 864542720 5981 996147200 134512640 134550740 4294956016 18446744073709551615 4125981551 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7225/tid=7227] ppid=7222 vsize=844280 CPUtime=0.14
/proc/7225/task/7227/stat : 7227 (java) S 7222 7222 4952 0 -1 64 2182 0 0 0 13 1 0 0 16 0 9 0 2003087729 864542720 5981 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7225/tid=7228] ppid=7222 vsize=844280 CPUtime=0
/proc/7225/task/7228/stat : 7228 (java) S 7222 7222 4952 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 2003087729 864542720 5981 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7225/tid=7229] ppid=7222 vsize=844280 CPUtime=0
/proc/7225/task/7229/stat : 7229 (java) S 7222 7222 4952 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 2003087729 864542720 5981 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7225/tid=7230] ppid=7222 vsize=844280 CPUtime=0
/proc/7225/task/7230/stat : 7230 (java) S 7222 7222 4952 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003087731 864542720 5981 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7225/tid=7231] ppid=7222 vsize=844280 CPUtime=0.17
/proc/7225/task/7231/stat : 7231 (java) S 7222 7222 4952 0 -1 64 526 0 0 0 17 0 0 0 16 0 9 0 2003087731 864542720 5981 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7225/tid=7232] ppid=7222 vsize=844280 CPUtime=0
/proc/7225/task/7232/stat : 7232 (java) S 7222 7222 4952 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2003087731 864542720 5981 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7225/tid=7233] ppid=7222 vsize=844280 CPUtime=0
/proc/7225/task/7233/stat : 7233 (java) S 7222 7222 4952 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 2003087731 864542720 5981 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 849636

[startup+3.10303 s]
/proc/loadavg: 2.00 2.00 2.06 3/82 7233
/proc/meminfo: memFree=1215384/2055920 swapFree=4180456/4192956
[pid=7222] ppid=7220 vsize=5356 CPUtime=0
/proc/7222/stat : 7222 (concrete.sh) S 7220 7222 4952 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 2003087725 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7222/statm: 1339 242 201 169 0 50 0
[pid=7225] ppid=7222 vsize=844280 CPUtime=3.04
/proc/7225/stat : 7225 (java) S 7222 7222 4952 0 -1 0 7697 0 1 0 297 7 0 0 18 0 9 0 2003087726 864542720 6677 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7225/statm: 211070 6677 2575 9 0 205631 0
[pid=7225/tid=7226] ppid=7222 vsize=844280 CPUtime=2.53
/proc/7225/task/7226/stat : 7226 (java) R 7222 7222 4952 0 -1 64 3561 0 1 0 249 4 0 0 25 0 9 0 2003087727 864542720 6677 996147200 134512640 134550740 4294956016 18446744073709551615 4125994786 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7225/tid=7227] ppid=7222 vsize=844280 CPUtime=0.32
/proc/7225/task/7227/stat : 7227 (java) S 7222 7222 4952 0 -1 64 2876 0 0 0 30 2 0 0 16 0 9 0 2003087729 864542720 6677 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7225/tid=7228] ppid=7222 vsize=844280 CPUtime=0
/proc/7225/task/7228/stat : 7228 (java) S 7222 7222 4952 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 2003087729 864542720 6677 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7225/tid=7229] ppid=7222 vsize=844280 CPUtime=0
/proc/7225/task/7229/stat : 7229 (java) S 7222 7222 4952 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 2003087729 864542720 6677 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7225/tid=7230] ppid=7222 vsize=844280 CPUtime=0
/proc/7225/task/7230/stat : 7230 (java) S 7222 7222 4952 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003087731 864542720 6677 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7225/tid=7231] ppid=7222 vsize=844280 CPUtime=0.17
/proc/7225/task/7231/stat : 7231 (java) S 7222 7222 4952 0 -1 64 528 0 0 0 17 0 0 0 16 0 9 0 2003087731 864542720 6677 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7225/tid=7232] ppid=7222 vsize=844280 CPUtime=0
/proc/7225/task/7232/stat : 7232 (java) S 7222 7222 4952 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2003087731 864542720 6677 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7225/tid=7233] ppid=7222 vsize=844280 CPUtime=0
/proc/7225/task/7233/stat : 7233 (java) S 7222 7222 4952 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 2003087731 864542720 6677 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 849636

[startup+6.30263 s]
/proc/loadavg: 2.00 2.00 2.06 3/82 7233
/proc/meminfo: memFree=1211480/2055920 swapFree=4180456/4192956
[pid=7222] ppid=7220 vsize=5356 CPUtime=0
/proc/7222/stat : 7222 (concrete.sh) S 7220 7222 4952 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 2003087725 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7222/statm: 1339 242 201 169 0 50 0
[pid=7225] ppid=7222 vsize=844280 CPUtime=6.21
/proc/7225/stat : 7225 (java) S 7222 7222 4952 0 -1 0 8652 0 1 0 611 10 0 0 18 0 9 0 2003087726 864542720 7402 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7225/statm: 211070 7402 2575 9 0 205631 0
[pid=7225/tid=7226] ppid=7222 vsize=844280 CPUtime=5.51
/proc/7225/task/7226/stat : 7226 (java) R 7222 7222 4952 0 -1 64 3791 0 1 0 547 4 0 0 25 0 9 0 2003087727 864542720 7402 996147200 134512640 134550740 4294956016 18446744073709551615 4125231294 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7225/tid=7227] ppid=7222 vsize=844280 CPUtime=0.51
/proc/7225/task/7227/stat : 7227 (java) S 7222 7222 4952 0 -1 64 3601 0 0 0 46 5 0 0 16 0 9 0 2003087729 864542720 7402 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7225/tid=7228] ppid=7222 vsize=844280 CPUtime=0
/proc/7225/task/7228/stat : 7228 (java) S 7222 7222 4952 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 2003087729 864542720 7402 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7225/tid=7229] ppid=7222 vsize=844280 CPUtime=0
/proc/7225/task/7229/stat : 7229 (java) S 7222 7222 4952 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 2003087729 864542720 7402 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7225/tid=7230] ppid=7222 vsize=844280 CPUtime=0
/proc/7225/task/7230/stat : 7230 (java) S 7222 7222 4952 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003087731 864542720 7402 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7225/tid=7231] ppid=7222 vsize=844280 CPUtime=0.17
/proc/7225/task/7231/stat : 7231 (java) S 7222 7222 4952 0 -1 64 528 0 0 0 17 0 0 0 16 0 9 0 2003087731 864542720 7402 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7225/tid=7232] ppid=7222 vsize=844280 CPUtime=0
/proc/7225/task/7232/stat : 7232 (java) S 7222 7222 4952 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2003087731 864542720 7402 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7225/tid=7233] ppid=7222 vsize=844280 CPUtime=0
/proc/7225/task/7233/stat : 7233 (java) S 7222 7222 4952 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 2003087731 864542720 7402 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 849636

[startup+12.7028 s]
/proc/loadavg: 2.00 2.00 2.06 3/82 7233
/proc/meminfo: memFree=1207512/2055920 swapFree=4180456/4192956
[pid=7222] ppid=7220 vsize=5356 CPUtime=0
/proc/7222/stat : 7222 (concrete.sh) S 7220 7222 4952 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 2003087725 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7222/statm: 1339 242 201 169 0 50 0
[pid=7225] ppid=7222 vsize=844280 CPUtime=12.54
/proc/7225/stat : 7225 (java) S 7222 7222 4952 0 -1 0 10962 0 1 0 1240 14 0 0 18 0 9 0 2003087726 864542720 8304 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7225/statm: 211070 8304 2575 9 0 205631 0
[pid=7225/tid=7226] ppid=7222 vsize=844280 CPUtime=11.47
/proc/7225/task/7226/stat : 7226 (java) R 7222 7222 4952 0 -1 64 4169 0 1 0 1141 6 0 0 25 0 9 0 2003087727 864542720 8304 996147200 134512640 134550740 4294956016 18446744073709551615 4125982300 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7225/tid=7227] ppid=7222 vsize=844280 CPUtime=0.89
/proc/7225/task/7227/stat : 7227 (java) S 7222 7222 4952 0 -1 64 5533 0 0 0 82 7 0 0 16 0 9 0 2003087729 864542720 8304 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7225/tid=7228] ppid=7222 vsize=844280 CPUtime=0
/proc/7225/task/7228/stat : 7228 (java) S 7222 7222 4952 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 2003087729 864542720 8304 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7225/tid=7229] ppid=7222 vsize=844280 CPUtime=0
/proc/7225/task/7229/stat : 7229 (java) S 7222 7222 4952 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 2003087729 864542720 8304 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7225/tid=7230] ppid=7222 vsize=844280 CPUtime=0
/proc/7225/task/7230/stat : 7230 (java) S 7222 7222 4952 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003087731 864542720 8304 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7225/tid=7231] ppid=7222 vsize=844280 CPUtime=0.17
/proc/7225/task/7231/stat : 7231 (java) S 7222 7222 4952 0 -1 64 528 0 0 0 17 0 0 0 16 0 9 0 2003087731 864542720 8304 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7225/tid=7232] ppid=7222 vsize=844280 CPUtime=0
/proc/7225/task/7232/stat : 7232 (java) S 7222 7222 4952 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2003087731 864542720 8304 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7225/tid=7233] ppid=7222 vsize=844280 CPUtime=0
/proc/7225/task/7233/stat : 7233 (java) S 7222 7222 4952 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 2003087731 864542720 8304 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 849636

[startup+25.5012 s]
/proc/loadavg: 2.00 2.00 2.05 3/82 7233
/proc/meminfo: memFree=1202968/2055920 swapFree=4180456/4192956
[pid=7222] ppid=7220 vsize=5356 CPUtime=0
/proc/7222/stat : 7222 (concrete.sh) S 7220 7222 4952 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 2003087725 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7222/statm: 1339 242 201 169 0 50 0
[pid=7225] ppid=7222 vsize=844280 CPUtime=25.22
/proc/7225/stat : 7225 (java) S 7222 7222 4952 0 -1 0 12442 0 1 0 2502 20 0 0 18 0 9 0 2003087726 864542720 9402 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7225/statm: 211070 9402 2575 9 0 205631 0
[pid=7225/tid=7226] ppid=7222 vsize=844280 CPUtime=23.75
/proc/7225/task/7226/stat : 7226 (java) R 7222 7222 4952 0 -1 64 4551 0 1 0 2368 7 0 0 25 0 9 0 2003087727 864542720 9402 996147200 134512640 134550740 4294956016 18446744073709551615 4125718266 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7225/tid=7227] ppid=7222 vsize=844280 CPUtime=1.27
/proc/7225/task/7227/stat : 7227 (java) S 7222 7222 4952 0 -1 64 6631 0 0 0 116 11 0 0 16 0 9 0 2003087729 864542720 9402 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7225/tid=7228] ppid=7222 vsize=844280 CPUtime=0
/proc/7225/task/7228/stat : 7228 (java) S 7222 7222 4952 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 2003087729 864542720 9402 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7225/tid=7229] ppid=7222 vsize=844280 CPUtime=0
/proc/7225/task/7229/stat : 7229 (java) S 7222 7222 4952 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 2003087729 864542720 9402 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7225/tid=7230] ppid=7222 vsize=844280 CPUtime=0
/proc/7225/task/7230/stat : 7230 (java) S 7222 7222 4952 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003087731 864542720 9402 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7225/tid=7231] ppid=7222 vsize=844280 CPUtime=0.17
/proc/7225/task/7231/stat : 7231 (java) S 7222 7222 4952 0 -1 64 528 0 0 0 17 0 0 0 16 0 9 0 2003087731 864542720 9402 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7225/tid=7232] ppid=7222 vsize=844280 CPUtime=0
/proc/7225/task/7232/stat : 7232 (java) S 7222 7222 4952 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2003087731 864542720 9402 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7225/tid=7233] ppid=7222 vsize=844280 CPUtime=0
/proc/7225/task/7233/stat : 7233 (java) S 7222 7222 4952 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 2003087731 864542720 9402 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 849636

[startup+51.1016 s]
/proc/loadavg: 2.00 2.00 2.05 3/82 7233
/proc/meminfo: memFree=1197016/2055920 swapFree=4180456/4192956
[pid=7222] ppid=7220 vsize=5356 CPUtime=0

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

[pid=7225/tid=7226] ppid=7222 vsize=851824 CPUtime=573.84
/proc/7225/task/7226/stat : 7226 (java) R 7222 7222 4952 0 -1 64 14463 0 1 0 57321 63 0 0 25 0 9 0 2003087727 872267776 186692 996147200 134512640 134550740 4294956016 18446744073709551615 4128224060 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7225/tid=7227] ppid=7222 vsize=851824 CPUtime=25.1
/proc/7225/task/7227/stat : 7227 (java) S 7222 7222 4952 0 -1 64 175450 0 0 0 2409 101 0 0 16 0 9 0 2003087729 872267776 186692 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=7225/tid=7228] ppid=7222 vsize=851824 CPUtime=0
/proc/7225/task/7228/stat : 7228 (java) S 7222 7222 4952 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 2003087729 872267776 186692 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7225/tid=7229] ppid=7222 vsize=851824 CPUtime=0
/proc/7225/task/7229/stat : 7229 (java) S 7222 7222 4952 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 2003087729 872267776 186692 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7225/tid=7230] ppid=7222 vsize=851824 CPUtime=0
/proc/7225/task/7230/stat : 7230 (java) S 7222 7222 4952 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003087731 872267776 186692 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7225/tid=7231] ppid=7222 vsize=851824 CPUtime=6.35
/proc/7225/task/7231/stat : 7231 (java) S 7222 7222 4952 0 -1 64 3767 0 0 0 621 14 0 0 16 0 9 0 2003087731 872267776 186692 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7225/tid=7232] ppid=7222 vsize=851824 CPUtime=0
/proc/7225/task/7232/stat : 7232 (java) S 7222 7222 4952 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2003087731 872267776 186692 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7225/tid=7233] ppid=7222 vsize=851824 CPUtime=0
/proc/7225/task/7233/stat : 7233 (java) S 7222 7222 4952 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 2003087731 872267776 186692 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 605.32
Current children cumulated vsize (KiB) 857180

[startup+611.102 s]
/proc/loadavg: 2.01 2.05 2.06 3/84 7331
/proc/meminfo: memFree=18816/2055920 swapFree=4180456/4192956
[pid=7222] ppid=7220 vsize=5356 CPUtime=0
/proc/7222/stat : 7222 (concrete.sh) S 7220 7222 4952 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 2003087725 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7222/statm: 1339 242 201 169 0 50 0
[pid=7225] ppid=7222 vsize=851824 CPUtime=608.52
/proc/7225/stat : 7225 (java) S 7222 7222 4952 0 -1 0 194422 0 1 0 60672 180 0 0 18 0 9 0 2003087726 872267776 186692 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7225/statm: 212956 186692 2599 9 0 207516 0
[pid=7225/tid=7226] ppid=7222 vsize=851824 CPUtime=577.04
/proc/7225/task/7226/stat : 7226 (java) R 7222 7222 4952 0 -1 64 14463 0 1 0 57641 63 0 0 25 0 9 0 2003087727 872267776 186692 996147200 134512640 134550740 4294956016 18446744073709551615 4133281905 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7225/tid=7227] ppid=7222 vsize=851824 CPUtime=25.1
/proc/7225/task/7227/stat : 7227 (java) S 7222 7222 4952 0 -1 64 175450 0 0 0 2409 101 0 0 16 0 9 0 2003087729 872267776 186692 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=7225/tid=7228] ppid=7222 vsize=851824 CPUtime=0
/proc/7225/task/7228/stat : 7228 (java) S 7222 7222 4952 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 2003087729 872267776 186692 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7225/tid=7229] ppid=7222 vsize=851824 CPUtime=0
/proc/7225/task/7229/stat : 7229 (java) S 7222 7222 4952 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 2003087729 872267776 186692 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7225/tid=7230] ppid=7222 vsize=851824 CPUtime=0
/proc/7225/task/7230/stat : 7230 (java) S 7222 7222 4952 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003087731 872267776 186692 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7225/tid=7231] ppid=7222 vsize=851824 CPUtime=6.35
/proc/7225/task/7231/stat : 7231 (java) S 7222 7222 4952 0 -1 64 3767 0 0 0 621 14 0 0 16 0 9 0 2003087731 872267776 186692 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7225/tid=7232] ppid=7222 vsize=851824 CPUtime=0
/proc/7225/task/7232/stat : 7232 (java) S 7222 7222 4952 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2003087731 872267776 186692 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7225/tid=7233] ppid=7222 vsize=851824 CPUtime=0
/proc/7225/task/7233/stat : 7233 (java) S 7222 7222 4952 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 2003087731 872267776 186692 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 608.52
Current children cumulated vsize (KiB) 857180

[startup+614.302 s]
/proc/loadavg: 2.01 2.05 2.06 3/84 7331
/proc/meminfo: memFree=18816/2055920 swapFree=4180456/4192956
[pid=7222] ppid=7220 vsize=5356 CPUtime=0
/proc/7222/stat : 7222 (concrete.sh) S 7220 7222 4952 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 2003087725 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7222/statm: 1339 242 201 169 0 50 0
[pid=7225] ppid=7222 vsize=851824 CPUtime=611.72
/proc/7225/stat : 7225 (java) S 7222 7222 4952 0 -1 0 194424 0 1 0 60992 180 0 0 18 0 9 0 2003087726 872267776 186692 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7225/statm: 212956 186692 2599 9 0 207516 0
[pid=7225/tid=7226] ppid=7222 vsize=851824 CPUtime=580.23
/proc/7225/task/7226/stat : 7226 (java) R 7222 7222 4952 0 -1 64 14465 0 1 0 57960 63 0 0 25 0 9 0 2003087727 872267776 186692 996147200 134512640 134550740 4294956016 18446744073709551615 4133117962 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7225/tid=7227] ppid=7222 vsize=851824 CPUtime=25.1
/proc/7225/task/7227/stat : 7227 (java) S 7222 7222 4952 0 -1 64 175450 0 0 0 2409 101 0 0 16 0 9 0 2003087729 872267776 186692 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=7225/tid=7228] ppid=7222 vsize=851824 CPUtime=0
/proc/7225/task/7228/stat : 7228 (java) S 7222 7222 4952 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 2003087729 872267776 186692 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7225/tid=7229] ppid=7222 vsize=851824 CPUtime=0
/proc/7225/task/7229/stat : 7229 (java) S 7222 7222 4952 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 2003087729 872267776 186692 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7225/tid=7230] ppid=7222 vsize=851824 CPUtime=0
/proc/7225/task/7230/stat : 7230 (java) S 7222 7222 4952 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003087731 872267776 186692 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7225/tid=7231] ppid=7222 vsize=851824 CPUtime=6.35
/proc/7225/task/7231/stat : 7231 (java) S 7222 7222 4952 0 -1 64 3767 0 0 0 621 14 0 0 16 0 9 0 2003087731 872267776 186692 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7225/tid=7232] ppid=7222 vsize=851824 CPUtime=0
/proc/7225/task/7232/stat : 7232 (java) S 7222 7222 4952 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2003087731 872267776 186692 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7225/tid=7233] ppid=7222 vsize=851824 CPUtime=0
/proc/7225/task/7233/stat : 7233 (java) S 7222 7222 4952 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 2003087731 872267776 186692 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 611.72
Current children cumulated vsize (KiB) 857180

[startup+615.102 s]
/proc/loadavg: 2.01 2.05 2.06 3/84 7331
/proc/meminfo: memFree=18816/2055920 swapFree=4180456/4192956
[pid=7222] ppid=7220 vsize=5356 CPUtime=0
/proc/7222/stat : 7222 (concrete.sh) S 7220 7222 4952 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 2003087725 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7222/statm: 1339 242 201 169 0 50 0
[pid=7225] ppid=7222 vsize=851824 CPUtime=612.52
/proc/7225/stat : 7225 (java) S 7222 7222 4952 0 -1 0 194428 0 1 0 61072 180 0 0 18 0 9 0 2003087726 872267776 186695 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7225/statm: 212956 186695 2599 9 0 207516 0
[pid=7225/tid=7226] ppid=7222 vsize=851824 CPUtime=581.02
/proc/7225/task/7226/stat : 7226 (java) R 7222 7222 4952 0 -1 64 14466 0 1 0 58039 63 0 0 25 0 9 0 2003087727 872267776 186695 996147200 134512640 134550740 4294956016 18446744073709551615 4125231211 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7225/tid=7227] ppid=7222 vsize=851824 CPUtime=25.11
/proc/7225/task/7227/stat : 7227 (java) S 7222 7222 4952 0 -1 64 175450 0 0 0 2410 101 0 0 16 0 9 0 2003087729 872267776 186695 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=7225/tid=7228] ppid=7222 vsize=851824 CPUtime=0
/proc/7225/task/7228/stat : 7228 (java) S 7222 7222 4952 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 2003087729 872267776 186695 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7225/tid=7229] ppid=7222 vsize=851824 CPUtime=0
/proc/7225/task/7229/stat : 7229 (java) S 7222 7222 4952 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 2003087729 872267776 186695 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7225/tid=7230] ppid=7222 vsize=851824 CPUtime=0
/proc/7225/task/7230/stat : 7230 (java) S 7222 7222 4952 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003087731 872267776 186695 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7225/tid=7231] ppid=7222 vsize=851824 CPUtime=6.35
/proc/7225/task/7231/stat : 7231 (java) S 7222 7222 4952 0 -1 64 3770 0 0 0 621 14 0 0 15 0 9 0 2003087731 872267776 186695 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7225/tid=7232] ppid=7222 vsize=851824 CPUtime=0
/proc/7225/task/7232/stat : 7232 (java) S 7222 7222 4952 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2003087731 872267776 186695 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7225/tid=7233] ppid=7222 vsize=851824 CPUtime=0
/proc/7225/task/7233/stat : 7233 (java) S 7222 7222 4952 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 2003087731 872267776 186695 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 612.52
Current children cumulated vsize (KiB) 857180

[startup+615.902 s]
/proc/loadavg: 2.01 2.05 2.06 3/84 7331
/proc/meminfo: memFree=18816/2055920 swapFree=4180456/4192956
[pid=7222] ppid=7220 vsize=5356 CPUtime=0
/proc/7222/stat : 7222 (concrete.sh) S 7220 7222 4952 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 2003087725 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7222/statm: 1339 242 201 169 0 50 0
[pid=7225] ppid=7222 vsize=851824 CPUtime=613.32
/proc/7225/stat : 7225 (java) S 7222 7222 4952 0 -1 0 194431 0 1 0 61152 180 0 0 18 0 9 0 2003087726 872267776 186698 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7225/statm: 212956 186698 2599 9 0 207516 0
[pid=7225/tid=7226] ppid=7222 vsize=851824 CPUtime=581.82
/proc/7225/task/7226/stat : 7226 (java) R 7222 7222 4952 0 -1 64 14466 0 1 0 58119 63 0 0 25 0 9 0 2003087727 872267776 186698 996147200 134512640 134550740 4294956016 18446744073709551615 4127399457 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7225/tid=7227] ppid=7222 vsize=851824 CPUtime=25.11
/proc/7225/task/7227/stat : 7227 (java) S 7222 7222 4952 0 -1 64 175450 0 0 0 2410 101 0 0 16 0 9 0 2003087729 872267776 186698 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=7225/tid=7228] ppid=7222 vsize=851824 CPUtime=0
/proc/7225/task/7228/stat : 7228 (java) S 7222 7222 4952 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 2003087729 872267776 186698 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7225/tid=7229] ppid=7222 vsize=851824 CPUtime=0
/proc/7225/task/7229/stat : 7229 (java) S 7222 7222 4952 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 2003087729 872267776 186698 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7225/tid=7230] ppid=7222 vsize=851824 CPUtime=0
/proc/7225/task/7230/stat : 7230 (java) S 7222 7222 4952 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003087731 872267776 186698 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7225/tid=7231] ppid=7222 vsize=851824 CPUtime=6.36
/proc/7225/task/7231/stat : 7231 (java) S 7222 7222 4952 0 -1 64 3773 0 0 0 622 14 0 0 15 0 9 0 2003087731 872267776 186698 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7225/tid=7232] ppid=7222 vsize=851824 CPUtime=0
/proc/7225/task/7232/stat : 7232 (java) S 7222 7222 4952 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2003087731 872267776 186698 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7225/tid=7233] ppid=7222 vsize=851824 CPUtime=0
/proc/7225/task/7233/stat : 7233 (java) S 7222 7222 4952 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 2003087731 872267776 186698 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 613.32
Current children cumulated vsize (KiB) 857180

[startup+616.102 s]
/proc/loadavg: 2.01 2.05 2.06 3/84 7331
/proc/meminfo: memFree=18816/2055920 swapFree=4180456/4192956
[pid=7222] ppid=7220 vsize=5356 CPUtime=0
/proc/7222/stat : 7222 (concrete.sh) S 7220 7222 4952 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 2003087725 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7222/statm: 1339 242 201 169 0 50 0
[pid=7225] ppid=7222 vsize=851824 CPUtime=613.52
/proc/7225/stat : 7225 (java) S 7222 7222 4952 0 -1 0 194432 0 1 0 61172 180 0 0 18 0 9 0 2003087726 872267776 186699 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7225/statm: 212956 186699 2599 9 0 207516 0
[pid=7225/tid=7226] ppid=7222 vsize=851824 CPUtime=582.01
/proc/7225/task/7226/stat : 7226 (java) R 7222 7222 4952 0 -1 64 14466 0 1 0 58138 63 0 0 25 0 9 0 2003087727 872267776 186699 996147200 134512640 134550740 4294956016 18446744073709551615 4127399448 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7225/tid=7227] ppid=7222 vsize=851824 CPUtime=25.11
/proc/7225/task/7227/stat : 7227 (java) S 7222 7222 4952 0 -1 64 175450 0 0 0 2410 101 0 0 16 0 9 0 2003087729 872267776 186699 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=7225/tid=7228] ppid=7222 vsize=851824 CPUtime=0
/proc/7225/task/7228/stat : 7228 (java) S 7222 7222 4952 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 2003087729 872267776 186699 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7225/tid=7229] ppid=7222 vsize=851824 CPUtime=0
/proc/7225/task/7229/stat : 7229 (java) S 7222 7222 4952 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 2003087729 872267776 186699 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7225/tid=7230] ppid=7222 vsize=851824 CPUtime=0
/proc/7225/task/7230/stat : 7230 (java) S 7222 7222 4952 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003087731 872267776 186699 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7225/tid=7231] ppid=7222 vsize=851824 CPUtime=6.37
/proc/7225/task/7231/stat : 7231 (java) S 7222 7222 4952 0 -1 64 3774 0 0 0 623 14 0 0 16 0 9 0 2003087731 872267776 186699 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7225/tid=7232] ppid=7222 vsize=851824 CPUtime=0
/proc/7225/task/7232/stat : 7232 (java) S 7222 7222 4952 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2003087731 872267776 186699 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7225/tid=7233] ppid=7222 vsize=851824 CPUtime=0
/proc/7225/task/7233/stat : 7233 (java) S 7222 7222 4952 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 2003087731 872267776 186699 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 613.52
Current children cumulated vsize (KiB) 857180

[startup+616.202 s]
/proc/loadavg: 2.01 2.05 2.06 3/84 7331
/proc/meminfo: memFree=18816/2055920 swapFree=4180456/4192956
[pid=7222] ppid=7220 vsize=5356 CPUtime=0
/proc/7222/stat : 7222 (concrete.sh) S 7220 7222 4952 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 2003087725 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7222/statm: 1339 242 201 169 0 50 0
[pid=7225] ppid=7222 vsize=0 CPUtime=613.56
/proc/7225/stat : 7225 (java) Z 7222 7222 4952 0 -1 12 194439 0 1 0 61173 183 0 0 16 0 2 0 2003087726 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/7225/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 613.56
Current children cumulated vsize (KiB) 5356

Child status: 0
Real time (s): 616.284
CPU time (s): 613.664
CPU user time (s): 611.74
CPU system time (s): 1.92371
CPU usage (%): 99.5747
Max. virtual memory (cumulated for all children) (KiB): 857180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 611.74
system time used= 1.92371
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 194890
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= 53707
involuntary context switches= 52507

runsolver used 0.760884 second user time and 2.09268 second system time

The end

Launcher Data (download as text)

Begin job on node19 at 2008-07-05 08:58:54
IDJOB=1086773
IDBENCH=57878
IDSOLVER=303
FILE ID=node19/1086773-1215241133
PBS_JOBID= 7881842
Free space on /tmp= 66548 MiB

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

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 58ea24c4b64e9a970cdc24f9e79dc4d0
RANDOM SEED=1936420599

node19.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.263
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	: 5931.00
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.263
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:       1231560 kB
Buffers:        112340 kB
Cached:         335564 kB
SwapCached:       6540 kB
Active:         589624 kB
Inactive:       160868 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1231560 kB
SwapTotal:     4192956 kB
SwapFree:      4180456 kB
Dirty:            3992 kB
Writeback:           0 kB
Mapped:         310600 kB
Slab:            58436 kB
Committed_AS:  3855592 kB
PageTables:       2552 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= 66232 MiB
End job on node19 at 2008-07-05 09:09:10