Trace number 1086731

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 1410.51 1416.4

DiagnosticValue
CHECKS1211510000
NODES1803300

General information on the benchmark

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

Solver Data (download as text)

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

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-1086731-1215240947/watcher-1086731-1215240947 -o /tmp/evaluation-result-1086731-1215240947/solver-1086731-1215240947 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/concrete.sh -c -ext 0 -s Tabu HOME/instance-1086731-1215240947.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.12 2.09 2.04 4/73 17639
/proc/meminfo: memFree=1847416/2055912 swapFree=4178564/4192956
[pid=17639] ppid=17637 vsize=5356 CPUtime=0
/proc/17639/stat : 17639 (concrete.sh) R 17637 17639 17008 0 -1 4194304 262 0 0 0 0 0 0 0 20 0 1 0 248189762 5484544 230 996147200 4194304 4889804 548682068768 18446744073709551615 255372880543 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/17639/statm: 1339 230 191 169 0 50 0
[pid=17640] ppid=17639 vsize=5356 CPUtime=0
/proc/17640/stat : 17640 (concrete.sh) R 17639 17639 17008 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 1 0 248189763 5484544 230 996147200 4194304 4889804 548682068768 18446744073709551615 255372880543 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/17640/statm: 1339 230 191 169 0 50 0

[startup+0.0976821 s]
/proc/loadavg: 2.12 2.09 2.04 4/73 17639
/proc/meminfo: memFree=1847416/2055912 swapFree=4178564/4192956
[pid=17639] ppid=17637 vsize=5356 CPUtime=0
/proc/17639/stat : 17639 (concrete.sh) S 17637 17639 17008 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 248189762 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17639/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101677 s]
/proc/loadavg: 2.12 2.09 2.04 4/73 17639
/proc/meminfo: memFree=1847416/2055912 swapFree=4178564/4192956
[pid=17639] ppid=17637 vsize=5356 CPUtime=0
/proc/17639/stat : 17639 (concrete.sh) S 17637 17639 17008 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 248189762 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17639/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.3017 s]
/proc/loadavg: 2.12 2.09 2.04 4/73 17639
/proc/meminfo: memFree=1847416/2055912 swapFree=4178564/4192956
[pid=17639] ppid=17637 vsize=5356 CPUtime=0
/proc/17639/stat : 17639 (concrete.sh) S 17637 17639 17008 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 248189762 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17639/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701742 s]
/proc/loadavg: 2.12 2.09 2.04 4/73 17639
/proc/meminfo: memFree=1847416/2055912 swapFree=4178564/4192956
[pid=17639] ppid=17637 vsize=5356 CPUtime=0
/proc/17639/stat : 17639 (concrete.sh) S 17637 17639 17008 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 248189762 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17639/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50183 s]
/proc/loadavg: 2.11 2.09 2.04 3/83 17650
/proc/meminfo: memFree=1834088/2055912 swapFree=4178564/4192956
[pid=17639] ppid=17637 vsize=5356 CPUtime=0
/proc/17639/stat : 17639 (concrete.sh) S 17637 17639 17008 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 248189762 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17639/statm: 1339 242 201 169 0 50 0
[pid=17642] ppid=17639 vsize=844276 CPUtime=1.42
/proc/17642/stat : 17642 (java) S 17639 17639 17008 0 -1 0 6986 0 2 0 136 6 0 0 18 0 9 0 248189767 864538624 6093 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17642/statm: 211069 6093 2575 9 0 205630 0
[pid=17642/tid=17643] ppid=17639 vsize=844276 CPUtime=1.09
/proc/17642/task/17643/stat : 17643 (java) R 17639 17639 17008 0 -1 64 3430 0 2 0 106 3 0 0 25 0 9 0 248189768 864538624 6093 996147200 134512640 134550740 4294956016 18446744073709551615 4125980163 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17642/tid=17644] ppid=17639 vsize=844276 CPUtime=0.15
/proc/17642/task/17644/stat : 17644 (java) S 17639 17639 17008 0 -1 64 2290 0 0 0 14 1 0 0 16 0 9 0 248189769 864538624 6093 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17642/tid=17645] ppid=17639 vsize=844276 CPUtime=0
/proc/17642/task/17645/stat : 17645 (java) S 17639 17639 17008 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 248189769 864538624 6093 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17642/tid=17646] ppid=17639 vsize=844276 CPUtime=0
/proc/17642/task/17646/stat : 17646 (java) S 17639 17639 17008 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 248189769 864538624 6093 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17642/tid=17647] ppid=17639 vsize=844276 CPUtime=0
/proc/17642/task/17647/stat : 17647 (java) S 17639 17639 17008 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 248189771 864538624 6093 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17642/tid=17648] ppid=17639 vsize=844276 CPUtime=0.15
/proc/17642/task/17648/stat : 17648 (java) S 17639 17639 17008 0 -1 64 534 0 0 0 15 0 0 0 16 0 9 0 248189771 864538624 6093 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17642/tid=17649] ppid=17639 vsize=844276 CPUtime=0
/proc/17642/task/17649/stat : 17649 (java) S 17639 17639 17008 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 248189771 864538624 6093 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17642/tid=17650] ppid=17639 vsize=844276 CPUtime=0
/proc/17642/task/17650/stat : 17650 (java) S 17639 17639 17008 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 248189771 864538624 6093 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 849632

[startup+3.10299 s]
/proc/loadavg: 2.11 2.09 2.04 3/83 17650
/proc/meminfo: memFree=1830504/2055912 swapFree=4178564/4192956
[pid=17639] ppid=17637 vsize=5356 CPUtime=0
/proc/17639/stat : 17639 (concrete.sh) S 17637 17639 17008 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 248189762 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17639/statm: 1339 242 201 169 0 50 0
[pid=17642] ppid=17639 vsize=844276 CPUtime=3.02
/proc/17642/stat : 17642 (java) S 17639 17639 17008 0 -1 0 7812 0 2 0 295 7 0 0 18 0 9 0 248189767 864538624 6767 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17642/statm: 211069 6767 2575 9 0 205630 0
[pid=17642/tid=17643] ppid=17639 vsize=844276 CPUtime=2.5
/proc/17642/task/17643/stat : 17643 (java) R 17639 17639 17008 0 -1 64 3582 0 2 0 247 3 0 0 25 0 9 0 248189768 864538624 6767 996147200 134512640 134550740 4294956016 18446744073709551615 4125979242 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17642/tid=17644] ppid=17639 vsize=844276 CPUtime=0.33
/proc/17642/task/17644/stat : 17644 (java) S 17639 17639 17008 0 -1 64 2964 0 0 0 31 2 0 0 16 0 9 0 248189769 864538624 6767 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17642/tid=17645] ppid=17639 vsize=844276 CPUtime=0
/proc/17642/task/17645/stat : 17645 (java) S 17639 17639 17008 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 248189769 864538624 6767 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17642/tid=17646] ppid=17639 vsize=844276 CPUtime=0
/proc/17642/task/17646/stat : 17646 (java) S 17639 17639 17008 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 248189769 864538624 6767 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17642/tid=17647] ppid=17639 vsize=844276 CPUtime=0
/proc/17642/task/17647/stat : 17647 (java) S 17639 17639 17008 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 248189771 864538624 6767 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17642/tid=17648] ppid=17639 vsize=844276 CPUtime=0.15
/proc/17642/task/17648/stat : 17648 (java) S 17639 17639 17008 0 -1 64 534 0 0 0 15 0 0 0 16 0 9 0 248189771 864538624 6767 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17642/tid=17649] ppid=17639 vsize=844276 CPUtime=0
/proc/17642/task/17649/stat : 17649 (java) S 17639 17639 17008 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 248189771 864538624 6767 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17642/tid=17650] ppid=17639 vsize=844276 CPUtime=0
/proc/17642/task/17650/stat : 17650 (java) S 17639 17639 17008 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 248189771 864538624 6767 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.02
Current children cumulated vsize (KiB) 849632

[startup+6.30234 s]
/proc/loadavg: 2.11 2.09 2.04 3/83 17650
/proc/meminfo: memFree=1826536/2055912 swapFree=4178564/4192956
[pid=17639] ppid=17637 vsize=5356 CPUtime=0
/proc/17639/stat : 17639 (concrete.sh) S 17637 17639 17008 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 248189762 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17639/statm: 1339 242 201 169 0 50 0
[pid=17642] ppid=17639 vsize=844276 CPUtime=6.21
/proc/17642/stat : 17642 (java) S 17639 17639 17008 0 -1 0 8821 0 2 0 610 11 0 0 18 0 9 0 248189767 864538624 7526 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17642/statm: 211069 7526 2575 9 0 205630 0
[pid=17642/tid=17643] ppid=17639 vsize=844276 CPUtime=5.51
/proc/17642/task/17643/stat : 17643 (java) R 17639 17639 17008 0 -1 64 3832 0 2 0 547 4 0 0 25 0 9 0 248189768 864538624 7526 996147200 134512640 134550740 4294956016 18446744073709551615 4125981627 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17642/tid=17644] ppid=17639 vsize=844276 CPUtime=0.51
/proc/17642/task/17644/stat : 17644 (java) S 17639 17639 17008 0 -1 64 3723 0 0 0 46 5 0 0 16 0 9 0 248189769 864538624 7526 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17642/tid=17645] ppid=17639 vsize=844276 CPUtime=0
/proc/17642/task/17645/stat : 17645 (java) S 17639 17639 17008 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 248189769 864538624 7526 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17642/tid=17646] ppid=17639 vsize=844276 CPUtime=0
/proc/17642/task/17646/stat : 17646 (java) S 17639 17639 17008 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 248189769 864538624 7526 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17642/tid=17647] ppid=17639 vsize=844276 CPUtime=0
/proc/17642/task/17647/stat : 17647 (java) S 17639 17639 17008 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 248189771 864538624 7526 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17642/tid=17648] ppid=17639 vsize=844276 CPUtime=0.15
/proc/17642/task/17648/stat : 17648 (java) S 17639 17639 17008 0 -1 64 534 0 0 0 15 0 0 0 16 0 9 0 248189771 864538624 7526 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17642/tid=17649] ppid=17639 vsize=844276 CPUtime=0
/proc/17642/task/17649/stat : 17649 (java) S 17639 17639 17008 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 248189771 864538624 7526 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17642/tid=17650] ppid=17639 vsize=844276 CPUtime=0
/proc/17642/task/17650/stat : 17650 (java) S 17639 17639 17008 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 248189771 864538624 7526 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) 849632

[startup+12.703 s]
/proc/loadavg: 2.09 2.09 2.04 3/83 17650
/proc/meminfo: memFree=1822376/2055912 swapFree=4178564/4192956
[pid=17639] ppid=17637 vsize=5356 CPUtime=0
/proc/17639/stat : 17639 (concrete.sh) S 17637 17639 17008 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 248189762 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17639/statm: 1339 242 201 169 0 50 0
[pid=17642] ppid=17639 vsize=844276 CPUtime=12.57
/proc/17642/stat : 17642 (java) S 17639 17639 17008 0 -1 0 11148 0 2 0 1243 14 0 0 18 0 9 0 248189767 864538624 8443 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17642/statm: 211069 8443 2575 9 0 205630 0
[pid=17642/tid=17643] ppid=17639 vsize=844276 CPUtime=11.51
/proc/17642/task/17643/stat : 17643 (java) R 17639 17639 17008 0 -1 64 4212 0 2 0 1146 5 0 0 25 0 9 0 248189768 864538624 8443 996147200 134512640 134550740 4294956016 18446744073709551615 4125718374 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17642/tid=17644] ppid=17639 vsize=844276 CPUtime=0.87
/proc/17642/task/17644/stat : 17644 (java) S 17639 17639 17008 0 -1 64 5670 0 0 0 80 7 0 0 16 0 9 0 248189769 864538624 8443 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17642/tid=17645] ppid=17639 vsize=844276 CPUtime=0
/proc/17642/task/17645/stat : 17645 (java) S 17639 17639 17008 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 248189769 864538624 8443 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17642/tid=17646] ppid=17639 vsize=844276 CPUtime=0
/proc/17642/task/17646/stat : 17646 (java) S 17639 17639 17008 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 248189769 864538624 8443 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17642/tid=17647] ppid=17639 vsize=844276 CPUtime=0
/proc/17642/task/17647/stat : 17647 (java) S 17639 17639 17008 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 248189771 864538624 8443 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17642/tid=17648] ppid=17639 vsize=844276 CPUtime=0.15
/proc/17642/task/17648/stat : 17648 (java) S 17639 17639 17008 0 -1 64 534 0 0 0 15 0 0 0 16 0 9 0 248189771 864538624 8443 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17642/tid=17649] ppid=17639 vsize=844276 CPUtime=0
/proc/17642/task/17649/stat : 17649 (java) S 17639 17639 17008 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 248189771 864538624 8443 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17642/tid=17650] ppid=17639 vsize=844276 CPUtime=0
/proc/17642/task/17650/stat : 17650 (java) S 17639 17639 17008 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 248189771 864538624 8443 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 849632

[startup+25.5013 s]
/proc/loadavg: 2.08 2.08 2.04 3/83 17650
/proc/meminfo: memFree=1817576/2055912 swapFree=4178564/4192956
[pid=17639] ppid=17637 vsize=5356 CPUtime=0
/proc/17639/stat : 17639 (concrete.sh) S 17637 17639 17008 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 248189762 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17639/statm: 1339 242 201 169 0 50 0
[pid=17642] ppid=17639 vsize=844276 CPUtime=25.3
/proc/17642/stat : 17642 (java) S 17639 17639 17008 0 -1 0 12736 0 2 0 2512 18 0 0 18 0 9 0 248189767 864538624 9604 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17642/statm: 211069 9604 2575 9 0 205630 0
[pid=17642/tid=17643] ppid=17639 vsize=844276 CPUtime=23.84
/proc/17642/task/17643/stat : 17643 (java) R 17639 17639 17008 0 -1 64 4639 0 2 0 2378 6 0 0 25 0 9 0 248189768 864538624 9604 996147200 134512640 134550740 4294956016 18446744073709551615 4125718374 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17642/tid=17644] ppid=17639 vsize=844276 CPUtime=1.27
/proc/17642/task/17644/stat : 17644 (java) S 17639 17639 17008 0 -1 64 6831 0 0 0 117 10 0 0 16 0 9 0 248189769 864538624 9604 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17642/tid=17645] ppid=17639 vsize=844276 CPUtime=0
/proc/17642/task/17645/stat : 17645 (java) S 17639 17639 17008 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 248189769 864538624 9604 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17642/tid=17646] ppid=17639 vsize=844276 CPUtime=0
/proc/17642/task/17646/stat : 17646 (java) S 17639 17639 17008 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 248189769 864538624 9604 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17642/tid=17647] ppid=17639 vsize=844276 CPUtime=0
/proc/17642/task/17647/stat : 17647 (java) S 17639 17639 17008 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 248189771 864538624 9604 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17642/tid=17648] ppid=17639 vsize=844276 CPUtime=0.15
/proc/17642/task/17648/stat : 17648 (java) S 17639 17639 17008 0 -1 64 534 0 0 0 15 0 0 0 16 0 9 0 248189771 864538624 9604 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17642/tid=17649] ppid=17639 vsize=844276 CPUtime=0
/proc/17642/task/17649/stat : 17649 (java) S 17639 17639 17008 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 248189771 864538624 9604 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17642/tid=17650] ppid=17639 vsize=844276 CPUtime=0
/proc/17642/task/17650/stat : 17650 (java) S 17639 17639 17008 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 248189771 864538624 9604 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 849632

[startup+51.101 s]

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

[pid=17642/tid=17643] ppid=17639 vsize=851812 CPUtime=1359.75
/proc/17642/task/17643/stat : 17643 (java) R 17639 17639 17008 0 -1 64 14955 0 4 0 135919 56 0 0 25 0 9 0 248189768 872255488 186279 996147200 134512640 134550740 4294956016 18446744073709551615 4128102511 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17642/tid=17644] ppid=17639 vsize=851812 CPUtime=23.5
/proc/17642/task/17644/stat : 17644 (java) S 17639 17639 17008 0 -1 64 175715 0 0 0 2265 85 0 0 16 0 9 0 248189769 872255488 186279 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17642/tid=17645] ppid=17639 vsize=851812 CPUtime=0
/proc/17642/task/17645/stat : 17645 (java) S 17639 17639 17008 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 248189769 872255488 186279 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17642/tid=17646] ppid=17639 vsize=851812 CPUtime=0
/proc/17642/task/17646/stat : 17646 (java) S 17639 17639 17008 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 248189769 872255488 186279 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17642/tid=17647] ppid=17639 vsize=851812 CPUtime=0
/proc/17642/task/17647/stat : 17647 (java) S 17639 17639 17008 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 248189771 872255488 186279 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17642/tid=17648] ppid=17639 vsize=851812 CPUtime=6.06
/proc/17642/task/17648/stat : 17648 (java) S 17639 17639 17008 0 -1 64 3782 0 0 0 591 15 0 0 16 0 9 0 248189771 872255488 186279 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17642/tid=17649] ppid=17639 vsize=851812 CPUtime=0
/proc/17642/task/17649/stat : 17649 (java) S 17639 17639 17008 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 248189771 872255488 186279 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17642/tid=17650] ppid=17639 vsize=851812 CPUtime=0
/proc/17642/task/17650/stat : 17650 (java) S 17639 17639 17008 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 248189771 872255488 186279 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1389.33
Current children cumulated vsize (KiB) 857168

[startup+1407.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/86 17722
/proc/meminfo: memFree=1125832/2055912 swapFree=4178564/4192956
[pid=17639] ppid=17637 vsize=5356 CPUtime=0
/proc/17639/stat : 17639 (concrete.sh) S 17637 17639 17008 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 248189762 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17639/statm: 1339 242 201 169 0 50 0
[pid=17642] ppid=17639 vsize=851812 CPUtime=1402.08
/proc/17642/stat : 17642 (java) S 17639 17639 17008 0 -1 0 195194 0 4 0 140051 157 0 0 18 0 9 0 248189767 872255488 186279 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17642/statm: 212953 186279 2599 9 0 207513 0
[pid=17642/tid=17643] ppid=17639 vsize=851812 CPUtime=1372.5
/proc/17642/task/17643/stat : 17643 (java) R 17639 17639 17008 0 -1 64 14955 0 4 0 137194 56 0 0 25 0 9 0 248189768 872255488 186279 996147200 134512640 134550740 4294956016 18446744073709551615 4128102564 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17642/tid=17644] ppid=17639 vsize=851812 CPUtime=23.5
/proc/17642/task/17644/stat : 17644 (java) S 17639 17639 17008 0 -1 64 175715 0 0 0 2265 85 0 0 16 0 9 0 248189769 872255488 186279 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17642/tid=17645] ppid=17639 vsize=851812 CPUtime=0
/proc/17642/task/17645/stat : 17645 (java) S 17639 17639 17008 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 248189769 872255488 186279 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17642/tid=17646] ppid=17639 vsize=851812 CPUtime=0
/proc/17642/task/17646/stat : 17646 (java) S 17639 17639 17008 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 248189769 872255488 186279 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17642/tid=17647] ppid=17639 vsize=851812 CPUtime=0
/proc/17642/task/17647/stat : 17647 (java) S 17639 17639 17008 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 248189771 872255488 186279 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17642/tid=17648] ppid=17639 vsize=851812 CPUtime=6.06
/proc/17642/task/17648/stat : 17648 (java) S 17639 17639 17008 0 -1 64 3782 0 0 0 591 15 0 0 16 0 9 0 248189771 872255488 186279 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17642/tid=17649] ppid=17639 vsize=851812 CPUtime=0
/proc/17642/task/17649/stat : 17649 (java) S 17639 17639 17008 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 248189771 872255488 186279 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17642/tid=17650] ppid=17639 vsize=851812 CPUtime=0
/proc/17642/task/17650/stat : 17650 (java) S 17639 17639 17008 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 248189771 872255488 186279 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1402.08
Current children cumulated vsize (KiB) 857168

[startup+1411.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/86 17722
/proc/meminfo: memFree=1125832/2055912 swapFree=4178564/4192956
[pid=17639] ppid=17637 vsize=5356 CPUtime=0
/proc/17639/stat : 17639 (concrete.sh) S 17637 17639 17008 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 248189762 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17639/statm: 1339 242 201 169 0 50 0
[pid=17642] ppid=17639 vsize=851812 CPUtime=1405.26
/proc/17642/stat : 17642 (java) S 17639 17639 17008 0 -1 0 195194 0 4 0 140369 157 0 0 18 0 9 0 248189767 872255488 186279 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17642/statm: 212953 186279 2599 9 0 207513 0
[pid=17642/tid=17643] ppid=17639 vsize=851812 CPUtime=1375.68
/proc/17642/task/17643/stat : 17643 (java) R 17639 17639 17008 0 -1 64 14955 0 4 0 137512 56 0 0 25 0 9 0 248189768 872255488 186279 996147200 134512640 134550740 4294956016 18446744073709551615 4128102564 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17642/tid=17644] ppid=17639 vsize=851812 CPUtime=23.5
/proc/17642/task/17644/stat : 17644 (java) S 17639 17639 17008 0 -1 64 175715 0 0 0 2265 85 0 0 16 0 9 0 248189769 872255488 186279 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17642/tid=17645] ppid=17639 vsize=851812 CPUtime=0
/proc/17642/task/17645/stat : 17645 (java) S 17639 17639 17008 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 248189769 872255488 186279 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17642/tid=17646] ppid=17639 vsize=851812 CPUtime=0
/proc/17642/task/17646/stat : 17646 (java) S 17639 17639 17008 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 248189769 872255488 186279 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17642/tid=17647] ppid=17639 vsize=851812 CPUtime=0
/proc/17642/task/17647/stat : 17647 (java) S 17639 17639 17008 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 248189771 872255488 186279 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17642/tid=17648] ppid=17639 vsize=851812 CPUtime=6.06
/proc/17642/task/17648/stat : 17648 (java) S 17639 17639 17008 0 -1 64 3782 0 0 0 591 15 0 0 16 0 9 0 248189771 872255488 186279 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17642/tid=17649] ppid=17639 vsize=851812 CPUtime=0
/proc/17642/task/17649/stat : 17649 (java) S 17639 17639 17008 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 248189771 872255488 186279 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17642/tid=17650] ppid=17639 vsize=851812 CPUtime=0
/proc/17642/task/17650/stat : 17650 (java) S 17639 17639 17008 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 248189771 872255488 186279 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1405.26
Current children cumulated vsize (KiB) 857168

[startup+1414.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/86 17722
/proc/meminfo: memFree=1125832/2055912 swapFree=4178564/4192956
[pid=17639] ppid=17637 vsize=5356 CPUtime=0
/proc/17639/stat : 17639 (concrete.sh) S 17637 17639 17008 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 248189762 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17639/statm: 1339 242 201 169 0 50 0
[pid=17642] ppid=17639 vsize=851812 CPUtime=1408.45
/proc/17642/stat : 17642 (java) S 17639 17639 17008 0 -1 0 195195 0 4 0 140688 157 0 0 18 0 9 0 248189767 872255488 186279 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17642/statm: 212953 186279 2599 9 0 207513 0
[pid=17642/tid=17643] ppid=17639 vsize=851812 CPUtime=1378.85
/proc/17642/task/17643/stat : 17643 (java) R 17639 17639 17008 0 -1 64 14956 0 4 0 137829 56 0 0 25 0 9 0 248189768 872255488 186279 996147200 134512640 134550740 4294956016 18446744073709551615 4132961778 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17642/tid=17644] ppid=17639 vsize=851812 CPUtime=23.51
/proc/17642/task/17644/stat : 17644 (java) S 17639 17639 17008 0 -1 64 175715 0 0 0 2266 85 0 0 16 0 9 0 248189769 872255488 186279 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17642/tid=17645] ppid=17639 vsize=851812 CPUtime=0
/proc/17642/task/17645/stat : 17645 (java) S 17639 17639 17008 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 248189769 872255488 186279 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17642/tid=17646] ppid=17639 vsize=851812 CPUtime=0
/proc/17642/task/17646/stat : 17646 (java) S 17639 17639 17008 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 248189769 872255488 186279 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17642/tid=17647] ppid=17639 vsize=851812 CPUtime=0
/proc/17642/task/17647/stat : 17647 (java) S 17639 17639 17008 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 248189771 872255488 186279 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17642/tid=17648] ppid=17639 vsize=851812 CPUtime=6.06
/proc/17642/task/17648/stat : 17648 (java) S 17639 17639 17008 0 -1 64 3782 0 0 0 591 15 0 0 16 0 9 0 248189771 872255488 186279 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17642/tid=17649] ppid=17639 vsize=851812 CPUtime=0
/proc/17642/task/17649/stat : 17649 (java) S 17639 17639 17008 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 248189771 872255488 186279 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17642/tid=17650] ppid=17639 vsize=851812 CPUtime=0
/proc/17642/task/17650/stat : 17650 (java) S 17639 17639 17008 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 248189771 872255488 186279 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1408.45
Current children cumulated vsize (KiB) 857168

[startup+1415.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/86 17722
/proc/meminfo: memFree=1125832/2055912 swapFree=4178564/4192956
[pid=17639] ppid=17637 vsize=5356 CPUtime=0
/proc/17639/stat : 17639 (concrete.sh) S 17637 17639 17008 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 248189762 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17639/statm: 1339 242 201 169 0 50 0
[pid=17642] ppid=17639 vsize=851812 CPUtime=1409.24
/proc/17642/stat : 17642 (java) S 17639 17639 17008 0 -1 0 195196 0 4 0 140767 157 0 0 18 0 9 0 248189767 872255488 186279 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17642/statm: 212953 186279 2599 9 0 207513 0
[pid=17642/tid=17643] ppid=17639 vsize=851812 CPUtime=1379.65
/proc/17642/task/17643/stat : 17643 (java) R 17639 17639 17008 0 -1 64 14957 0 4 0 137909 56 0 0 25 0 9 0 248189768 872255488 186279 996147200 134512640 134550740 4294956016 18446744073709551615 4132957055 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17642/tid=17644] ppid=17639 vsize=851812 CPUtime=23.51
/proc/17642/task/17644/stat : 17644 (java) S 17639 17639 17008 0 -1 64 175715 0 0 0 2266 85 0 0 16 0 9 0 248189769 872255488 186279 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17642/tid=17645] ppid=17639 vsize=851812 CPUtime=0
/proc/17642/task/17645/stat : 17645 (java) S 17639 17639 17008 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 248189769 872255488 186279 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17642/tid=17646] ppid=17639 vsize=851812 CPUtime=0
/proc/17642/task/17646/stat : 17646 (java) S 17639 17639 17008 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 248189769 872255488 186279 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17642/tid=17647] ppid=17639 vsize=851812 CPUtime=0
/proc/17642/task/17647/stat : 17647 (java) S 17639 17639 17008 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 248189771 872255488 186279 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17642/tid=17648] ppid=17639 vsize=851812 CPUtime=6.06
/proc/17642/task/17648/stat : 17648 (java) S 17639 17639 17008 0 -1 64 3782 0 0 0 591 15 0 0 16 0 9 0 248189771 872255488 186279 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17642/tid=17649] ppid=17639 vsize=851812 CPUtime=0
/proc/17642/task/17649/stat : 17649 (java) S 17639 17639 17008 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 248189771 872255488 186279 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17642/tid=17650] ppid=17639 vsize=851812 CPUtime=0
/proc/17642/task/17650/stat : 17650 (java) S 17639 17639 17008 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 248189771 872255488 186279 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1409.24
Current children cumulated vsize (KiB) 857168

[startup+1415.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/86 17722
/proc/meminfo: memFree=1125832/2055912 swapFree=4178564/4192956
[pid=17639] ppid=17637 vsize=5356 CPUtime=0
/proc/17639/stat : 17639 (concrete.sh) S 17637 17639 17008 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 248189762 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17639/statm: 1339 242 201 169 0 50 0
[pid=17642] ppid=17639 vsize=851812 CPUtime=1410.04
/proc/17642/stat : 17642 (java) S 17639 17639 17008 0 -1 0 195197 0 4 0 140847 157 0 0 18 0 9 0 248189767 872255488 186279 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17642/statm: 212953 186279 2599 9 0 207513 0
[pid=17642/tid=17643] ppid=17639 vsize=851812 CPUtime=1380.44
/proc/17642/task/17643/stat : 17643 (java) R 17639 17639 17008 0 -1 64 14958 0 4 0 137988 56 0 0 25 0 9 0 248189768 872255488 186279 996147200 134512640 134550740 4294956016 18446744073709551615 4132956993 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17642/tid=17644] ppid=17639 vsize=851812 CPUtime=23.52
/proc/17642/task/17644/stat : 17644 (java) S 17639 17639 17008 0 -1 64 175715 0 0 0 2267 85 0 0 16 0 9 0 248189769 872255488 186279 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17642/tid=17645] ppid=17639 vsize=851812 CPUtime=0
/proc/17642/task/17645/stat : 17645 (java) S 17639 17639 17008 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 248189769 872255488 186279 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17642/tid=17646] ppid=17639 vsize=851812 CPUtime=0
/proc/17642/task/17646/stat : 17646 (java) S 17639 17639 17008 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 248189769 872255488 186279 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17642/tid=17647] ppid=17639 vsize=851812 CPUtime=0
/proc/17642/task/17647/stat : 17647 (java) S 17639 17639 17008 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 248189771 872255488 186279 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17642/tid=17648] ppid=17639 vsize=851812 CPUtime=6.06
/proc/17642/task/17648/stat : 17648 (java) S 17639 17639 17008 0 -1 64 3782 0 0 0 591 15 0 0 16 0 9 0 248189771 872255488 186279 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17642/tid=17649] ppid=17639 vsize=851812 CPUtime=0
/proc/17642/task/17649/stat : 17649 (java) S 17639 17639 17008 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 248189771 872255488 186279 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17642/tid=17650] ppid=17639 vsize=851812 CPUtime=0
/proc/17642/task/17650/stat : 17650 (java) S 17639 17639 17008 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 248189771 872255488 186279 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1410.04
Current children cumulated vsize (KiB) 857168

[startup+1416.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/86 17722
/proc/meminfo: memFree=1125832/2055912 swapFree=4178564/4192956
[pid=17639] ppid=17637 vsize=5356 CPUtime=0
/proc/17639/stat : 17639 (concrete.sh) S 17637 17639 17008 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 248189762 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17639/statm: 1339 242 201 169 0 50 0
[pid=17642] ppid=17639 vsize=0 CPUtime=1410.4
/proc/17642/stat : 17642 (java) Z 17639 17639 17008 0 -1 12 195206 0 4 0 140882 158 0 0 16 0 2 0 248189767 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17642/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1410.4
Current children cumulated vsize (KiB) 5356

Child status: 0
Real time (s): 1416.4
CPU time (s): 1410.51
CPU user time (s): 1408.82
CPU system time (s): 1.68474
CPU usage (%): 99.5839
Max. virtual memory (cumulated for all children) (KiB): 857168

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1408.82
system time used= 1.68474
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 195657
page faults= 4
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 72726
involuntary context switches= 62688

runsolver used 1.78873 second user time and 4.66929 second system time

The end

Launcher Data (download as text)

Begin job on node78 at 2008-07-05 08:55:47
IDJOB=1086731
IDBENCH=57874
IDSOLVER=303
FILE ID=node78/1086731-1215240947
PBS_JOBID= 7881955
Free space on /tmp= 126632 MiB

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

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 712a20b0506303fd583b688f94b5a45f
RANDOM SEED=240761424

node78.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.247
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.247
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:      2055912 kB
MemFree:       1847896 kB
Buffers:          2956 kB
Cached:          46752 kB
SwapCached:       7072 kB
Active:         136860 kB
Inactive:        10588 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055912 kB
LowFree:       1847896 kB
SwapTotal:     4192956 kB
SwapFree:      4178564 kB
Dirty:            3988 kB
Writeback:           0 kB
Mapped:         106636 kB
Slab:            45904 kB
Committed_AS:   802096 kB
PageTables:       1776 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 126632 MiB
End job on node78 at 2008-07-05 09:19:24