0.00/0.08
0.00/0.08 Abscon 112 (May, 2008)
0.18/0.23
0.18/0.23 configuration
0.18/0.23 name=esac.xml
0.28/0.31
0.28/0.31 instance
0.28/0.31 name=HOME/instance-1086644-1215240407.xml
0.28/0.35
0.28/0.35 domains being loaded...
0.38/0.47
0.38/0.47 variables being loaded...
0.88/0.98 nbVariables=3000 nbDomainTypes=21 minDomainSize=86 maxDomainSize=778 nbTotalValues=1942250
0.88/0.98 => wckTime=0.747 cpuTime=0.52 mem=54M577
0.88/0.98
0.88/0.98 predicates being loaded...
0.98/1.04
0.98/1.04 constraints being loaded...
21.20/21.41
21.20/21.41 INFO : Stopping converting binary constraints (cpu=20.26, mem = 124M614)
38.83/39.23 nbConstraints=33550 nbGlobalConstraints=249 nbMergedConstraints=29903 nbConvertedConstraints=47
38.83/39.23 nbConvertConstraintsChecks=28855988 nbExtensionStructures=47 nbSharedExtensionStructures=2
38.83/39.23 nbConflictsStructures=95 nbSharedConflictsStructures=90 nbUnbuiltConflictsStructures=3578
38.83/39.23 nbSharedBinaryRepresentations=66717 nbEvaluationManagers=3626 nbSharedEvaluationManagers=29628 minDegree=2
38.83/39.23 maxDegree=60 minArity=2 avgArity=2.03 maxArity=9 nbGenerators=0 nbFusions=0 symmetryWckTime=12.779
38.83/39.23 symmetryCpuTime=12.07 nbCliques=249
38.83/39.23 => wckTime=38.993 cpuTime=36.48 mem=131M910
39.53/39.95
39.53/39.95 solver IterativeSystematicSolver being built...
40.42/40.86
40.42/40.86 INFO : Forward propagation technique limited
40.81/41.22 => wckTime=40.978 cpuTime=37.19 mem=390M970
95.54/96.41
95.54/96.41 preprocessing
95.54/96.41 nbConstraintChecks=103013594 nbValidityChecks=2208134 nbPropagations=4062 nbRevisions=114167
95.54/96.41 nbUselessRevisions=102081 nbRemovedValues=1854251 detectedInconsistency=no
95.54/96.41 => wckTime=55.16 cpuTime=54.66 mem=392M96
98.41/99.37
98.41/99.37 search
98.41/99.37 run=0 nbConstraintChecks=2009469 nbValidityChecks=2599744 minDepth=3001 maxDepth=3000 nbPropagations=14146
98.41/99.37 nbRevisions=280765 nbUselessRevisions=260528 nbAssignments=3000 nbFailedAssignments=0 nbBacktracks=0
98.41/99.37 nbVisitedNodes=3001 nbRestartNogoods=0 nbFoundSolutions=1 nbSEliminables=? nbREliminables=? nbIEliminables=?
98.41/99.37 nbDEliminables=? nbPEliminables=?
98.41/99.37 => wckTime=58.123 cpuTime=57.55 mem=393M57
98.41/99.37
98.41/99.37 global
98.41/99.37 nbConstraintChecks=105023063 nbValidityChecks=4807878 nbPropagations=18208 nbRevisions=394932
98.41/99.37 nbUselessRevisions=362609 nbRestartNogoods=0 solvingWckTime=58.125 solvingCpuTime=57.55 expiredTime=no
98.41/99.37 totalExploration=no nbFoundSolutions=1 firstSolutionCpuTime=94.64 globalCpuTime=94.82
98.41/99.37 => wckTime=99.136 cpuTime=94.76 mem=393M57
98.62/99.52
98.62/99.52 s SATISFIABLE
98.62/99.52 v 2940 -2296 -2868 -2348 -2668 -2354 -2646 -2982 -2942 -2620 -2376 -2652 -2226 -2610 -2224 -2486 -2732 -2992 -2442 -2874 -2262 -2950 -2362 -2996 -2394 -2808 -2510 -2540 -2762 -2762 -2368 -2288 2510 -2850 -2276 -2312 -2810 -2338 -2252 2276 -2940 -2440 -2590 -2264 -2960 -2268 2892 -2608 -2776 2768 -2356 -2422 2502 -2956 -2384 -2496 2848 -2424 -2474 2514 -2894 -2956 -2940 -2638 -2956 -2622 -2966 -2442 2648 -2452 -2252 -2950 2220 -2790 -2256 -2404 -2272 -2578 -2808 2980 -2928 -2230 2926 -2478 -2252 -2482 -2692 -2640 -2514 -2326 -2608 -2406 -2750 -2282 2356 -2850 -2690 -2588 -2898 -2960 -2248 -2600 -2264 -2590 -2612 -2478 2634 2690 -2266 -2646 2464 -2860 2262 -2642 -2898 -2758 -2592 -2436 2220 -2386 -2598 2870 -2402 -2972 -2488 -2474 -2622 -2620 -2406 -2690 2538 -2758 2780 -2598 2646 -2324 -2936 -2638 -2940 -2778 -2732 -2548 -2740 -2880 -2966 -2644 -2598 -2622 -2900 -2282 -2356 -2550 2220 -2806 -2990 -2318 -2496 -2606 -2744 -2790 -2680 -2290 -2996 -2284 -2620 -2276 2400 -2652 -2464 2364 -2240 -2732 -2650 -2642 -2902 -2408 2404 -2956 -2820 -2750 -2956 -2602 -2916 2936 -2950 2708 -2674 -2788 -2914 -2408 -2956 2816 -2846 2380 -2448 -2366 -2926 -2446 -2764 -2224 -2968 -2624 -2982 -2284 -2982 -2678 -2904 -2760 -2546 2816 -2904 -2582 -2240 -2432 -2630 -2810 -2860 -2312 2384 -2962 -2516 -2640 -2344 -2682 -2856 -2570 -2224 -2848 -2938 -2392 -2596 2598 -2520 -2394 2546 -2964 -2608 -2762 -2878 -2406 -2600 -2332 -2442 -2930 -2770 -2762 -2306 -2884 -2406 -2774 2686 -2860 -2674 -2454 2260 2850 -2924 -2510 2274 -2884 -2862 -2712 -2524 2232 -2996 -2576 -2266 -2982 2810 -2324 -2922 -2602 -2724 -2940 -2290 -2260 -2848 -2296 -2622 -2486 -2950 -2260 -2312 -2276 -2884 -2876 -2222 -2876 -2754 2966 -2534 -2332 -2496 -2282 -2382 -2590 2260 -2982 -2334 -2584 -2788 -2980 -2940 -2282 -2428 2254 -2720 -2946 -2650 -2948 -2680 -2490 -2692 -2942 -2220 -2766 -2514 2476 -2396 -2268 -2890 -2662 -2944 -2238 -2564 -2890 -2860 -2254 -2944 -2600 -2584 -2440 -2626 -2940 -2260 -2452 -2480 -2716 2898 -2318 2778 2262 -2646 -2606 -2376 -2964 -2260 -2384 -2928 2956 -2940 -2924 -2818 -2762 -2614 -2928 -2650 -2648 2246 -2882 -2260 -2470 -2408 -2952 -2936 -2390 -2450 -2314 -2350 -2738 2886 -2636 -2456 -2624 -2950 -2722 -2900 2284 -2292 -2244 -2622 -2730 2620 -2630 -2690 -2262 -2618 -2306 -2550 2412 -2686 -2680 -2836 -2382 -2390 -2624 -2406 -2954 -2460 -2818 -2290 -2964 2888 -2916 -2546 -2384 -2806 -2996 -2688 -2550 -2944 -2942 -2548 -2938 -2990 -2990 -2736 -2916 -2968 -2994 2238 -2610 -2808 -2414 -2738 -2748 -2996 -2264 -2284 -2452 2770 2274 -2820 -2262 -2622 -2248 -2668 -2898 -2538 2898 -2530 -2956 -2560 -2910 -2716 -2860 -2858 -2732 -2924 -2898 -2806 -2610 -2316 -2728 -2792 -2492 -2816 -2996 -2248 -2794 -2996 -2944 2260 -2486 -2678 -2478 -2746 -2592 -2688 -2290 2524 2358 -2646 -2942 -2916 -2322 -2876 -2722 -2944 -2634 -2956 -2902 -2624 -2222 2440 2430 -2366 -2514 -2940 -2360 -2904 -2980 -2514 -2554 -2642 -2370 -2814 -2688 -2854 -2892 -2400 -2960 -2644 -2490 -2840 2258 -2910 -2432 -2308 -2962 -2292 -2940 2596 -2640 -2864 -2284 -2690 -2564 -2514 -2986 -2756 -2572 -2484 -2642 2996 -2828 -2906 -2982 2598 -2956 -2244 -2914 -2848 -2772 -2666 -2810 -2732 -2440 -2762 -2406 -2268 -2948 -2990 2992 -2278 -2982 -2710 -2650 -2956 -2438 -2918 -2992 -2882 -2280 -2606 -2956 -2690 -2842 -2900 -2910 -2704 -2906 -2282 -2692 -2548 2840 2442 -2894 -2430 -2650 -2260 -2542 -2948 2426 2294 2306 -2288 -2226 2554 -2632 -2882 2530 -2920 -2666 -2914 2708 2424 -2330 2892 -2976 -2730 -2550 -2756 -2862 -2690 -2670 -2606 -2596 -2606 -2758 -2850 -2802 -2922 -2448 -2940 -2916 2888 -2506 -2408 2402 -2640 -2820 -2512 -2900 2674 -2298 -2222 -2830 -2282 -2316 -2842 -2896 -2228 -2804 -2368 -2764 -2466 -2612 -2866 -2642 2430 -2736 -2470 -2760 -2220 2436 -2432 -2854 -2554 2984 -2498 -2340 -2380 -2466 -2622 -2744 -2544 -2898 -2588 -2960 -2240 2356 -2414 -2940 -2942 -2950 -2772 -2990 -2754 2714 -2960 2220 2662 -2646 -2866 -2926 -2402 -2254 -2260 -2256 -2646 2702 -2786 -2234 -2296 2260 -2382 -2942 -2996 2402 -2880 -2380 -2430 2458 -2704 -2466 -2332 -2898 -2810 -2860 -2386 -2492 -2678 -2686 -2884 2344 -2554 -2484 -2818 -2942 -2812 -2608 -2682 -2980 -2730 -2258 -2822 2220 -2860 -2430 -2290 2562 -2910 2978 -2266 -2950 2340 -2354 -2726 2996 -2876 -2260 -2960 -2634 2880 -2790 -2486 -2900 -2512 -2630 -2256 -2550 -2878 2946 -2580 -2982 2948 -2310 -2314 -2778 -2648 -2264 2814 2812 -2514 -2876 2326 -2766 2924 -2532 -2810 2260 -2950 -2536 2428 -2950 -2310 -2312 -2286 -2790 -2236 -2570 -2790 -2940 -2554 -2392 -2646 -2732 -2710 2804 -2366 -2678 -2592 -2274 -2602 -2688 2684 -2772 -2554 -2494 2996 2756 -2716 -2502 -2590 -2594 -2872 -2328 -2950 -2514 -2238 -2758 -2860 -2622 -2996 -2646 -2536 -2276 -2964 -2648 -2290 2454 -2970 -2252 -2820 2384 -2674 -2982 -2298 -2636 -2228 -2604 -2834 -2940 -2228 -2446 -2250 -2260 2294 -2718 -2406 -2290 -2632 -2650 -2940 2902 -2926 -2594 -2488 -2344 -2272 -2284 -2556 2826 -2862 -2488 -2876 -2292 -2866 -2940 2664 -2950 -2786 -2592 -2368 -2920 -2364 -2996 -2242 -2758 2888 -2956 -2286 -2982 -2994 -2874 -2278 -2866 2468 -2578 -2646 -2382 -2920 -2424 -2262 -2272 -2990 -2254 2280 -2494 -2470 -2762 -2938 -2776 -2996 2260 -2318 -2220 -2642 2820 -2808 -2678 2776 -2928 -2996 -2910 -2948 -2536 -2344 -2504 -2538 -2950 -2906 2898 -2290 -2704 -2820 2260 -2996 -2512 -2912 -2324 -2572 -2486 -2262 -2706 -2476 -2996 -2956 2912 -2670 -2650 -2490 2788 -2260 -2996 -2654 -2954 -2264 -2952 2248 -2776 -2584 -2624 -2662 2638 -2760 -2988 2956 -2442 -2338 -2732 -2834 -2366 2416 2648 -2910 -2500 -2650 -2226 -2256 -2796 2740 -2446 -2372 -2926 -2920 -2292 -2976 -2618 -2766 2872 2250 -2682 -2952 -2684 -2900 -2516 -2442 -2892 2936 -2666 -2782 -2904 -2598 -2486 -2570 -2624 -2956 -2274 2248 2604 -2322 -2550 -2590 -2732 -2908 -2514 2648 -2860 -2724 -2316 -2230 2338 -2554 -2956 -2920 -2558 -2898 -2646 -2990 -2642 -2848 -2450 -2292 -2282 2220 2866 -2834 -2752 -2424 -2736 -2554 -2358 -2396 -2244 -2640 -2944 -2790 2274 -2772 2874 -2542 -2604 -2370 -2858 -2364 -2452 -2268 -2380 -2594 -2636 -2684 -2422 -2318 -2840 -2856 -2790 -2770 -2262 -2638 -2854 -2842 2882 -2980 -2252 -2688 2664 -2906 -2890 -2862 -2680 -2592 -2980 -2900 -2270 -2294 -2942 -2354 -2492 -2554 -2338 2982 -2250 -2720 -2746 -2384 -2680 -2282 -2244 2548 -2876 -2944 -2632 -2724 -2648 -2766 -2250 -2364 -2606 -2956 -2948 -2344 -2386 -2644 -2784 -2942 -2942 -2874 -2386 -2436 -2590 2276 -2578 -2544 -2982 -2502 -2556 -2994 -2352 -2976 -2252 -2604 -2624 -2610 -2252 -2482 -2956 -2556 -2744 -2732 -2690 -2924 -2576 -2940 -2938 -2988 -2568 2646 2794 -2682 -2828 -2654 -2740 -2646 -2318 -2506 -2294 -2942 2328 -2916 -2598 -2686 -2664 -2870 -2248 -2758 -2366 -2820 -2796 2808 -2748 -2996 -2940 -2950 -2542 -2508 -2550 -2376 -2274 -2942 -2688 -2996 -2986 -2692 2994 -2898 -2560 -2282 -2690 -2904 -2790 -2550 2736 -2578 -2512 -2800 -2996 -2902 -2646 2912 2720 -2904 -2980 -2982 -2732 -2304 -2292 -2390 -2880 2578 -2950 -2896 2722 -2624 -2476 2274 -2644 -2420 -2990 2916 -2830 -2956 -2762 -2686 -2686 -2632 -2300 -2892 -2702 -2222 2744 -2912 2644 -2402 -2938 -2876 -2856 2810 -2902 -2876 -2500 -2262 -2724 -2710 -2950 -2410 -2530 -2708 2308 -2742 -2876 -2806 -2894 2416 -2474 -2830 2908 -2270 -2512 -2220 -2552 -2554 2234 -2830 -2946 -2762 -2294 -2720 -2496 -2764 -2808 -2730 -2876 -2600 2372 -2902 -2454 2704 -2494 -2692 -2824 -2874 -2940 -2390 -2770 -2672 -2594 -2982 -2742 -2574 -2234 -2300 -2680 -2944 -2698 -2390 -2704 -2888 -2554 2630 -2246 2220 2646 2404 -2980 -2746 -2772 -2582 -2600 -2650 -2584 -2598 -2512 -2722 -2816 -2836 -2956 -2368 -2262 -2278 -2862 -2732 -2776 -2288 -2980 -2280 -2944 -2722 -2872 -2838 -2942 -2590 -2354 2260 -2934 2622 -2726 -2860 -2880 -2250 -2888 -2294 -2770 -2768 -2478 -2962 -2994 -2938 -2870 -2408 -2986 -2582 -2354 -2796 -2906 -2292 -2364 -2746 2260 -2682 -2624 -2576 2546 -2292 2504 2260 -2916 -2438 2340 -2266 -2416 -2224 -2366 -2990 -2584 -2280 -2230 -2682 -2942 -2564 -2514 2540 -2952 -2756 -2820 -2946 -2408 -2384 -2442 -2820 -2720 2278 -2564 2950 -2860 -2294 -2902 -2242 2900 -2328 -2266 -2982 -2930 2698 -2680 -2820 -2682 -2882 -2288 2852 -2858 2256 -2262 -2538 -2222 2866 -2996 -2238 -2960 -2676 2990 2440 -2990 -2562 -2424 2950 -2652 -2552 -2264 -2384 -2446 -2292 2702 -2902 -2730 -2430 -2830 -2414 -2996 2894 -2324 -2902 -2472 2836 2814 -2956 -2770 -2720 -2370 -2446 2418 -2230 -2354 -2944 -2294 -2784 -2266 -2864 -2588 -2400 -2460 -2582 -2990 -2512 2400 -2640 -2564 -2860 -2996 -2298 -2996 -2864 -2694 -2610 -2260 -2938 -2266 2238 -2288 -2310 -2946 -2408 -2406 2524 2510 -2236 -2870 -2606 2490 -2988 2260 2532 -2500 2940 -2938 -2350 -2634 2434 2754 -2314 -2864 -2524 -2928 -2504 -2226 -2298 -2950 -2686 2732 -2706 -2220 -2916 -2876 -2256 -2286 -2718 -2242 -2510 -2882 -2812 -2776 2836 2438 -2374 2690 -2762 -2692 -2646 2622 2260 -2606 -2598 2652 -2298 -2564 -2642 -2818 -2996 -2646 -2682 -2264 -2940 -2424 -2356 -2930 -2676 2222 -2350 -2860 -2646 -2830 2974 -2924 -2626 -2918 -2322 2282 -2584 -2446 2696 -2764 -2658 -2938 -2424 -2550 -2642 2614 -2688 -2532 -2380 -2246 -2314 -2380 -2296 -2638 2424 2592 -2502 -2798 -2916 2452 -2794 -2982 -2916 -2830 -2382 -2716 -2954 -2900 -2996 -2338 -2948 -2746 2600 -2458 -2224 -2692 -2490 -2288 -2830 -2220 -2904 -2356 -2262 -2390 -2900 -2384 -2270 -2556 -2582 -2946 -2904 -2982 -2936 -2358 -2662 -2232 -2996 -2230 -2946 -2348 -2640 2420 -2338 2560 2848 -2942 -2244 -2942 -2514 2594 2796 -2722 -2848 -2938 -2296 -2762 -2944 2284 -2956 -2958 -2578 -2580 -2446 -2430 -2982 2906 -2950 -2220 -2996 2898 -2326 -2952 -2942 -2354 2938 -2756 -2278 2500 -2920 -2402 -2544 -2226 -2380 2642 -2716 -2860 -2620 -2920 -2512 2276 -2934 -2588 -2496 2264 -2902 -2576 -2300 -2944 -2552 2698 2576 2554 -2542 -2920 -2632 -2538 -2290 -2376 -2738 -2928 2708 -2822 -2240 -2682 -2956 2652 -2464 -2974 -2900 -2940 -2590 2222 2638 -2320 -2234 2516 -2232 -2468 -2480 -2420 -2254 -2772 -2646 2432 -2222 -2722 -2996 -2444 -2692 -2378 2708 -2552 -2264 -2500 2524 -2550 -2716 2960 -2958 -2802 -2522 -2506 -2550 -2752 -2954 -2622 -2224 -2840 2718 -2806 -2842 -2476 2390 -2672 -2816 -2692 -2974 2526 -2642 -2980 -2690 -2732 -2820 -2940 2360 -2910 -2910 -2904 -2692 -2978 2810 2284 2464 -2716 -2296 2590 -2980 -2240 -2570 -2618 -2328 -2974 -2220 -2902 -2240 2222 2236 -2446 2696 -2760 -2716 -2486 -2904 -2728 -2904 -2766 -2392 -2768 2868 -2982 -2920 -2322 -2512 -2480 -2288 -2324 -2350 2856 -2952 -2246 -2904 -2758 -2438 -2934 -2860 -2260 -2550 -2632 2290 -2988 -2436 -2264 -2346 -2342 -2682 -2646 -2956 -2904 -2286 -2378 -2918 2444 -2890 -2710 -2624 -2220 -2944 -2224 -2816 -2642 -2980 -2346 -2682 -2224 -2508 -2862 -2524 2574 -2658 -2642 -2990 -2866 -2570 2354 -2454 2220 2674 -2350 -2850 -2780 -2682 -2992 -2650 -2508 -2708 -2766 -2532 -2292 -2262 -2860 -2264 -2294 -2778 2382 -2946 -2980 -2702 -2324 -2968 -2472 -2392 -2448 -2452 -2758 2288 -2498 -2932 -2718 -2522 -2786 -2940 -2938 -2844 -2608 -2662 -2440 -2768 -2606 -2536 -2922 2750 -2700 -2720 -2916 2752 -2942 -2450 -2592 -2760 -2274 2380 -2224 -2590 -2966 -2902 -2822 -2752 2280 -2810 2558 -2590 -2420 -2448 2874 -2950 2652 -2628 2308 -2380 -2850 -2898 -2440 -2382 -2406 2934 -2746 -2404 -2722 2470 -2692 -2504 -2950 -2678 -2710 2840 -2616 -2744 -2940 -2730 -2676 -2330 -2976 -2784 2388 -2336 -2870 -2272 -2532 -2834 -2880 -2350 -2584 -2958 -2640 -2776 -2686 -2570 2616 -2538 2402 -2422 -2368 -2280 -2422 -2858 -2770 2240 -2724 -2936 -2564 2442 2508 -2672 -2830 -2724 -2922 -2676 -2366 -2348 -2790 -2722 -2380 -2582 2762 -2694 -2484 -2684 -2260 -2688 -2684 -2904 -2804 -2918 -2446 -2242 -2950 -2504 -2356 2442 -2632 2748 -2732 -2636 -2808 2222 -2404 -2844 2574 -2710 -2514 -2942 2364 -2260 -2876 -2298 -2570 -2580 -2980 -2408 -2650 2252 -2554 -2226 -2638 -2980 -2256 -2412 -2914 2928 -2876 -2562 2234 -2368 -2424 2436 2220 -2648 -2648 2416 -2260 -2956 -2498 -2990 -2948 -2950 -2642 -2860 -2800 -2830 2816 -2904 -2830 -2980 -2914 2896 -2466 -2412 -2296 -2602 -2284 2594 -2648 -2716 -2886 -2996 -2446 -2672 -2988 -2294 -2270 -2326 -2294 -2226 -2278 -2856 -2730 -2264 -2914 -2864 -2826 -2950 -2272 -2920 -2938 -2664 -2310 -2968 -2646 -2490 -2646 -2732 -2858 -2940 2644 -2942 -2266 -2576 -2728 2344 -2934 -2894 -2560 -2990 2982 2284 -2576 -2470 -2900 -2554 -2610 -2316 2608 -2522 -2712 -2702 -2578 2806 -2788 -2580 -2334 2964 -2406 2316 -2450 -2244 -2262 -2996 2642 -2452 -2302 -2510 -2292 -2610 -2850 -2676 -2932 -2246 -2396 -2820 -2682 2374 -2502 -2220 -2242 -2860 -2686 2450 -2354 -2390 -2480 -2420 -2990 -2676 -2904 -2584 -2920 -2698 -2460 -2762 -2408 -2274 -2498 -2902 -2222 -2290 2612 -2780 -2956 -2572 -2850 -2904 -2648 -2444 -2920 -2722 -2366 -2794 -2332 2390 -2908 -2290 -2972 -2678 -2896 2492 -2224 -2334 -2590 -2840 2668 -2454 -2902 -2336 -2820 -2862 -2986 -2228 -2552 -2820 -2944 -2554 -2636 -2798 2402 -2682 2266 2278 2448 -2732 -2934 -2582 2238 -2928 2254 -2876 2268 -2492 -2552 -2774 2314 2792 -2324 -2652 -2602 -2982 -2448 -2378 -2970 -2250 -2980 -2956 -2222 -2848 -2692 -2944 -2514 -2624 -2346 -2840 -2408 -2644 -2904 -2942 2440 -2956 -2334 2506 2220 -2788 -2624 -2584 -2304 2572 2494 -2292 -2488 -2616 -2280 -2974 2912 -2996 -2952 -2330 -2408 -2950 -2920 -2932 -2612 -2254 -2478 -2584 -2590 -2646 2514 -2898 -2906 -2792 -2950 -2906 -2948 -2766 -2366 -2776 -2548 -2820 -2900 2378 -2824 -2728 -2426 -2294 -2752 -2454 -2940 -2874 2860 -2712 2464 -2606 -2938 2826 -2944 -2748 -2756 -2844 2678 -2220 -2638 -2824 -2870 2808 -2446 -2480 -2988 -2880 -2248 -2820 -2990 -2260 -2680 -2234 -2926 -2480 -2322 -2664 2344 -2594 -2810 2952 -2670 -2324 -2770 -2260 -2936 2292 -2722 -2800 -2368 2578 -2764 2452 -2404 -2270 -2690 -2502 -2516 -2306 -2608 -2292 -2920 -2946 -2236 -2940 -2278 -2982 -2238 -2462 2862 -2902 -2252 2814 -2886 -2302 -2692 -2576 2260 -2952 -2384 -2690 -2224 -2586 -2400 2682 -2810 -2942 -2684 2906 -2618 -2774 -2820 -2244 -2620 -2806 -2916 -2420 -2360 -2454 -2432 -2990 2326 -2634 -2736 -2830 -2578 -2776 2776 -2654 -2368 2284 -2368 -2486 -2718 -2234 -2252 -2258 -2486 2220 -2820 -2932 -2942 -2280 -2868 -2568 -2444 -2722 -2996 -2804 -2968 -2220 -2222 -2366 -2944 -2472 2874 2470 2954 -2950 -2440 2942 -2946 -2676 -2282 -2228 -2542 2864 -2550 2948 -2472 -2486 -2270 -2476 -2622 -2558 -2384 -2862 -2314 2440 -2976 -2466 -2386 -2224 -2520 -2314 -2274 -2480 -2438 -2950 -2340 -2844 -2876 -2264 -2642 -2706 -2692 -2900 -2718 -2690 -2904 -2978 -2956 -2842 -2592 -2996 2982 -2990 2494 -2990 -2772 -2482 -2250 2900 -2298 -2862 2552 2440 -2978 -2240 -2590 -2534 -2996 -2722 2458 -2382 -2986 -2944 -2738 -2940 -2510 -2744 2242 -2296 -2940 -2900 -2848 -2356 -2450 -2944 -2562 2966 -2990 -2514 2220 -2924 -2908 2308 -2940 -2862 -2548 -2692 -2534 -2530 -2860 -2748 -2808 -2904 -2900 -2396 2384 -2982 2734 -2606 -2492 -2666 -2888 -2944 -2826 -2980 -2760 -2900 -2638 -2818 -2638 -2406 -2370 2322 -2260 -2364 -2292 2788 -2732 -2466 -2290 -2300 2662 -2330 -2556 -2264 2466 -2924 -2270 -2346 -2780 -2996 -2606 -2846 2402 -2368 -2492 -2514 -2900 2234 -2276 -2944 -2516 -2982 -2606 -2880 -2314 -2790 -2850 2288 -2260 -2528 -2740 2952 -2252 -2820 -2830 -2860 -2904 -2250 -2276 -2276 -2280 -2860 -2250 -2336 -2956 -2534 -2436 -2942 2924 -2872 -2908 -2354 2652 -2804 -2780 -2900 -2272 -2488 -2536 -2940 -2720 -2220 -2736 -2684 -2606 -2662 -2958 -2274 -2850 -2494 -2954 -2278 -2624 -2350 -2650 -2860 -2498 -2600 2444 -2968 -2912 -2750 -2990 -2918 -2490 -2296 -2692 -2364 -2960 2680 -2464 -2798 -2682 -2522 -2308 -2554 -2738 -2316 -2230 -2240 -2480 -2740 -2420 -2990 -2354 -2668 -2982 -2860 -2942 -2446 -2792 -2650 -2438 -2444 -2942 -2830 -2332 -2656 -2422 -2692 2912 2828 -2408 -2504 2234 -2864 2704 -2264 -2464 2662 -2980 -2960 -2642 -2568 -2706 -2848 -2478 -2970 -2592 -2332 -2224 -2806 -2778 -2704 -2434 -2310 -2496 -2918 2978 -2732 -2816 2220 -2912 -2974 -2606 -2956 -2938 -2562 -2490 -2506 -2668 -2286 -2428 -2956 -2482 -2754 -2922 2242 2400 -2280 -2968 2926 -2338 -2556 -2624 -2808 -2650 -2720 -2750 -2938 -2560 -2774 -2956 -2940 -2704 -2934 -2820 -2942 -2722 2232 2734 -2982 -2860 -2400 -2862 -2722 -2346 -2316 -2634 -2468 -2256 -2220 -2300 -2300 -2506 -2860 -2334 -2524 -2596 -2552 2506 -2682 -2980 -2506 -2590 -2858 -2248 -2554 2316 -2616 -2718 -2594 -2552 -2904 -2298 -2634 -2610 -2580 -2992 -2550 -2296 -2648 -2928 2676 -2250 2268 -2668 -2222 -2366 -2744 -2786 -2604 -2474 -2800 -2584 -2638 -2922 -2938 -2456 -2474 -2916 -2548 -2270 -2964 -2584 -2942 2480 -2774 2698 -2602 -2646 2450 2288 2932 -2956 -2314 -2934 -2394 2880 -2808 -2442 -2712 -2346 -2562 -2604 -2956 -2750 -2250 -2394 -2850 -2790 -2282 -2536 2826 2314 2220 -2284 -2744 -2424 -2406 -2722 -2878 -2996 -2722 -2448 -2928 -2688 -2366 -2910 2820 -2422 -2582 -2996 -2224 -2680 -2682 2782 2462 -2274 -2532 -2316 -2904 -2396 2956 -2956 -2326 -2684 -2996 -2440 -2422 -2644 -2288 -2676 -2262 2946 -2732 -2288 -2950 -2324 -2860 -2810 -2702 -2862 2268 -2848 -2508 -2920 -2398 -2916 -2944 -2648 -2708 -2768 -2260 -2876 -2510 -2916 -2688 -2250 2734 -2292 -2500 -2292 -2244 -2260 2426 -2790 -2720 -2920 -2292 -2690 -2438 -2442 -2314 -2958 2390 -2290 -2506 -2514 -2538 -2252 2730 -2902 -2272 -2904 -2516 -2658 -2492 2554 -2980 -2316 -2408 2724 -2582 -2710 -2686 -2820 -2760 -2790 -2940 -2554 -2650 -2536 -2942 -2830 -2640 -2448 -2252 -2420 2662 2556 -2912 -2690 -2636 -2414 -2286 -2960 -2858 -2262 -2904 -2320 -2850 -2732 -2634 -2366 2354 -2934 -2940 -2682 -2782 -2440 -2530 2402 -2700 -2292 -2492 -2258 -2606 -2932 -2916 -2222 -2692 -2660 -2330 -2942 -2760 -2484 -2980 2956 -2956 -2982 2564 -2236 2918 -2286 -2550 -2630 -2748 -2332 2236 2380 -2692 2706 -2698 -2460 -2670 2612 -2944 -2522 2260 2248 -2220 -2608 -2946 -2650 -2532 -2746 -2942 -2776 -2974 -2956 -2220 2984 -2818 -2490 -2736 -2720 -2706 -2798 2422 -2456 -2898 -2738 -2854 -2296
98.62/99.52 d NODES 3000
98.62/99.53 d CHECKS 105023063
98.62/99.53
98.62/99.53 totalWckTime=99.348 totalCpuTime=94.97
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1086644-1215240407/watcher-1086644-1215240407 -o /tmp/evaluation-result-1086644-1215240407/solver-1086644-1215240407 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-1086644-1215240407.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.10 2.03 2.01 4/72 2183
/proc/meminfo: memFree=1658320/2055920 swapFree=4180732/4192956
[pid=2183] ppid=2181 vsize=1616 CPUtime=0
/proc/2183/stat : 2183 (java) D 2181 2183 402 0 -1 0 177 0 0 0 0 0 0 0 18 0 1 0 2003012210 1654784 145 996147200 134512640 134550740 4294956128 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/2183/statm: 404 145 119 9 0 46 0
[startup+0.109173 s]
/proc/loadavg: 2.10 2.03 2.01 4/72 2183
/proc/meminfo: memFree=1658320/2055920 swapFree=4180732/4192956
[pid=2183] ppid=2181 vsize=865884 CPUtime=0.1
/proc/2183/stat : 2183 (java) S 2181 2183 402 0 -1 0 3904 0 1 0 8 2 0 0 18 0 9 0 2003012210 886665216 3344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2183/statm: 216471 3344 1753 9 0 211026 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 865884
[startup+0.202193 s]
/proc/loadavg: 2.10 2.03 2.01 4/72 2183
/proc/meminfo: memFree=1658320/2055920 swapFree=4180732/4192956
[pid=2183] ppid=2181 vsize=866048 CPUtime=0.18
/proc/2183/stat : 2183 (java) S 2181 2183 402 0 -1 0 4729 0 1 0 16 2 0 0 18 0 9 0 2003012210 886833152 4156 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2183/statm: 216512 4156 1852 9 0 211060 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 866048
[startup+0.301203 s]
/proc/loadavg: 2.10 2.03 2.01 4/72 2183
/proc/meminfo: memFree=1658320/2055920 swapFree=4180732/4192956
[pid=2183] ppid=2181 vsize=866196 CPUtime=0.28
/proc/2183/stat : 2183 (java) S 2181 2183 402 0 -1 0 5622 0 1 0 25 3 0 0 18 0 9 0 2003012210 886984704 5036 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2183/statm: 216549 5036 1903 9 0 211097 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866196
[startup+0.701274 s]
/proc/loadavg: 2.10 2.03 2.01 4/72 2183
/proc/meminfo: memFree=1658320/2055920 swapFree=4180732/4192956
[pid=2183] ppid=2181 vsize=867020 CPUtime=0.68
/proc/2183/stat : 2183 (java) S 2181 2183 402 0 -1 0 11191 0 1 0 61 7 0 0 18 0 9 0 2003012210 887828480 10561 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2183/statm: 216755 10561 1968 9 0 211283 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867020
[startup+1.50141 s]
/proc/loadavg: 2.10 2.03 2.01 3/81 2192
/proc/meminfo: memFree=1568328/2055920 swapFree=4180732/4192956
[pid=2183] ppid=2181 vsize=867560 CPUtime=1.47
/proc/2183/stat : 2183 (java) S 2181 2183 402 0 -1 0 27713 0 1 0 134 13 0 0 18 0 9 0 2003012210 888381440 27070 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2183/statm: 216890 27070 2026 9 0 211396 0
[pid=2183/tid=2185] ppid=2181 vsize=867560 CPUtime=1.17
/proc/2183/task/2185/stat : 2185 (java) R 2181 2183 402 0 -1 64 15741 0 1 0 109 8 0 0 25 0 9 0 2003012211 888381440 27070 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2183/tid=2186] ppid=2181 vsize=867560 CPUtime=0.09
/proc/2183/task/2186/stat : 2186 (java) R 2181 2183 402 0 -1 64 10636 0 0 0 6 3 0 0 16 0 9 0 2003012213 888381440 27070 996147200 134512640 134550740 4294955968 18446744073709551615 102674864 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2183/tid=2187] ppid=2181 vsize=867560 CPUtime=0
/proc/2183/task/2187/stat : 2187 (java) S 2181 2183 402 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003012213 888381440 27070 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2183/tid=2188] ppid=2181 vsize=867560 CPUtime=0
/proc/2183/task/2188/stat : 2188 (java) S 2181 2183 402 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2003012213 888381440 27070 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2183/tid=2189] ppid=2181 vsize=867560 CPUtime=0
/proc/2183/task/2189/stat : 2189 (java) S 2181 2183 402 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003012215 888381440 27070 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2183/tid=2190] ppid=2181 vsize=867560 CPUtime=0.18
/proc/2183/task/2190/stat : 2190 (java) S 2181 2183 402 0 -1 64 640 0 0 0 18 0 0 0 16 0 9 0 2003012215 888381440 27070 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2183/tid=2191] ppid=2181 vsize=867560 CPUtime=0
/proc/2183/task/2191/stat : 2191 (java) S 2181 2183 402 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2003012215 888381440 27070 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2183/tid=2192] ppid=2181 vsize=867560 CPUtime=0
/proc/2183/task/2192/stat : 2192 (java) S 2181 2183 402 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2003012215 888381440 27070 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 867560
[startup+3.10267 s]
/proc/loadavg: 2.10 2.03 2.01 4/81 2192
/proc/meminfo: memFree=1542856/2055920 swapFree=4180732/4192956
[pid=2183] ppid=2181 vsize=867472 CPUtime=3.06
/proc/2183/stat : 2183 (java) S 2181 2183 402 0 -1 0 34471 0 1 0 290 16 0 0 18 0 9 0 2003012210 888291328 33804 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2183/statm: 216868 33804 2004 9 0 211396 0
[pid=2183/tid=2185] ppid=2181 vsize=867472 CPUtime=2.51
/proc/2183/task/2185/stat : 2185 (java) R 2181 2183 402 0 -1 64 15743 0 1 0 242 9 0 0 25 0 9 0 2003012211 888291328 33804 996147200 134512640 134550740 4294955968 18446744073709551615 102887692 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2183/tid=2186] ppid=2181 vsize=867472 CPUtime=0.34
/proc/2183/task/2186/stat : 2186 (java) S 2181 2183 402 0 -1 64 17391 0 0 0 28 6 0 0 16 0 9 0 2003012213 888291328 33804 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2183/tid=2187] ppid=2181 vsize=867472 CPUtime=0
/proc/2183/task/2187/stat : 2187 (java) S 2181 2183 402 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003012213 888291328 33804 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2183/tid=2188] ppid=2181 vsize=867472 CPUtime=0
/proc/2183/task/2188/stat : 2188 (java) S 2181 2183 402 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2003012213 888291328 33804 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2183/tid=2189] ppid=2181 vsize=867472 CPUtime=0
/proc/2183/task/2189/stat : 2189 (java) S 2181 2183 402 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003012215 888291328 33804 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2183/tid=2190] ppid=2181 vsize=867472 CPUtime=0.18
/proc/2183/task/2190/stat : 2190 (java) S 2181 2183 402 0 -1 64 641 0 0 0 18 0 0 0 16 0 9 0 2003012215 888291328 33804 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2183/tid=2191] ppid=2181 vsize=867472 CPUtime=0
/proc/2183/task/2191/stat : 2191 (java) S 2181 2183 402 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2003012215 888291328 33804 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2183/tid=2192] ppid=2181 vsize=867472 CPUtime=0
/proc/2183/task/2192/stat : 2192 (java) S 2181 2183 402 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2003012215 888291328 33804 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 867472
[startup+6.3012 s]
/proc/loadavg: 2.10 2.03 2.01 3/81 2192
/proc/meminfo: memFree=1517576/2055920 swapFree=4180732/4192956
[pid=2183] ppid=2181 vsize=867472 CPUtime=6.23
/proc/2183/stat : 2183 (java) S 2181 2183 402 0 -1 0 37689 0 1 0 605 18 0 0 18 0 9 0 2003012210 888291328 37016 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2183/statm: 216868 37016 2006 9 0 211396 0
[pid=2183/tid=2185] ppid=2181 vsize=867472 CPUtime=5.43
/proc/2183/task/2185/stat : 2185 (java) R 2181 2183 402 0 -1 64 15776 0 1 0 534 9 0 0 25 0 9 0 2003012211 888291328 37016 996147200 134512640 134550740 4294955968 18446744073709551615 4126944419 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2183/tid=2186] ppid=2181 vsize=867472 CPUtime=0.55
/proc/2183/task/2186/stat : 2186 (java) S 2181 2183 402 0 -1 64 20558 0 0 0 48 7 0 0 17 0 9 0 2003012213 888291328 37016 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2183/tid=2187] ppid=2181 vsize=867472 CPUtime=0
/proc/2183/task/2187/stat : 2187 (java) S 2181 2183 402 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003012213 888291328 37016 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2183/tid=2188] ppid=2181 vsize=867472 CPUtime=0
/proc/2183/task/2188/stat : 2188 (java) S 2181 2183 402 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2003012213 888291328 37016 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2183/tid=2189] ppid=2181 vsize=867472 CPUtime=0
/proc/2183/task/2189/stat : 2189 (java) S 2181 2183 402 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003012215 888291328 37016 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2183/tid=2190] ppid=2181 vsize=867472 CPUtime=0.21
/proc/2183/task/2190/stat : 2190 (java) S 2181 2183 402 0 -1 64 659 0 0 0 21 0 0 0 16 0 9 0 2003012215 888291328 37016 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2183/tid=2191] ppid=2181 vsize=867472 CPUtime=0
/proc/2183/task/2191/stat : 2191 (java) S 2181 2183 402 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2003012215 888291328 37016 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2183/tid=2192] ppid=2181 vsize=867472 CPUtime=0
/proc/2183/task/2192/stat : 2192 (java) S 2181 2183 402 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2003012215 888291328 37016 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 867472
[startup+12.7013 s]
/proc/loadavg: 2.08 2.03 2.01 3/81 2192
/proc/meminfo: memFree=1517448/2055920 swapFree=4180732/4192956
[pid=2183] ppid=2181 vsize=867472 CPUtime=12.57
/proc/2183/stat : 2183 (java) S 2181 2183 402 0 -1 0 37696 0 1 0 1239 18 0 0 18 0 9 0 2003012210 888291328 37022 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2183/statm: 216868 37022 2006 9 0 211396 0
[pid=2183/tid=2185] ppid=2181 vsize=867472 CPUtime=11.78
/proc/2183/task/2185/stat : 2185 (java) R 2181 2183 402 0 -1 64 15780 0 1 0 1168 10 0 0 25 0 9 0 2003012211 888291328 37022 996147200 134512640 134550740 4294955968 18446744073709551615 4126910823 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2183/tid=2186] ppid=2181 vsize=867472 CPUtime=0.55
/proc/2183/task/2186/stat : 2186 (java) S 2181 2183 402 0 -1 64 20558 0 0 0 48 7 0 0 16 0 9 0 2003012213 888291328 37022 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2183/tid=2187] ppid=2181 vsize=867472 CPUtime=0
/proc/2183/task/2187/stat : 2187 (java) S 2181 2183 402 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003012213 888291328 37022 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2183/tid=2188] ppid=2181 vsize=867472 CPUtime=0
/proc/2183/task/2188/stat : 2188 (java) S 2181 2183 402 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2003012213 888291328 37022 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2183/tid=2189] ppid=2181 vsize=867472 CPUtime=0
/proc/2183/task/2189/stat : 2189 (java) S 2181 2183 402 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003012215 888291328 37022 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2183/tid=2190] ppid=2181 vsize=867472 CPUtime=0.21
/proc/2183/task/2190/stat : 2190 (java) S 2181 2183 402 0 -1 64 662 0 0 0 21 0 0 0 16 0 9 0 2003012215 888291328 37022 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2183/tid=2191] ppid=2181 vsize=867472 CPUtime=0
/proc/2183/task/2191/stat : 2191 (java) S 2181 2183 402 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2003012215 888291328 37022 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2183/tid=2192] ppid=2181 vsize=867472 CPUtime=0
/proc/2183/task/2192/stat : 2192 (java) S 2181 2183 402 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2003012215 888291328 37022 996147200 134512640 134550740 4294955968 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) 867472
[startup+25.5024 s]
/proc/loadavg: 2.07 2.03 2.01 3/81 2192
/proc/meminfo: memFree=1486280/2055920 swapFree=4180732/4192956
[pid=2183] ppid=2181 vsize=867472 CPUtime=25.26
/proc/2183/stat : 2183 (java) S 2181 2183 402 0 -1 0 45540 0 1 0 2503 23 0 0 18 0 9 0 2003012210 888291328 44856 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2183/statm: 216868 44856 2007 9 0 211396 0
[pid=2183/tid=2185] ppid=2181 vsize=867472 CPUtime=23.86
/proc/2183/task/2185/stat : 2185 (java) R 2181 2183 402 0 -1 64 15793 0 1 0 2376 10 0 0 25 0 9 0 2003012211 888291328 44856 996147200 134512640 134550740 4294955968 18446744073709551615 4126580297 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2183/tid=2186] ppid=2181 vsize=867472 CPUtime=1.08
/proc/2183/task/2186/stat : 2186 (java) S 2181 2183 402 0 -1 64 28341 0 0 0 97 11 0 0 16 0 9 0 2003012213 888291328 44856 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2183/tid=2187] ppid=2181 vsize=867472 CPUtime=0
/proc/2183/task/2187/stat : 2187 (java) S 2181 2183 402 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003012213 888291328 44856 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2183/tid=2188] ppid=2181 vsize=867472 CPUtime=0
/proc/2183/task/2188/stat : 2188 (java) S 2181 2183 402 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2003012213 888291328 44856 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2183/tid=2189] ppid=2181 vsize=867472 CPUtime=0
/proc/2183/task/2189/stat : 2189 (java) S 2181 2183 402 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003012215 888291328 44856 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2183/tid=2190] ppid=2181 vsize=867472 CPUtime=0.29
/proc/2183/task/2190/stat : 2190 (java) S 2181 2183 402 0 -1 64 710 0 0 0 29 0 0 0 15 0 9 0 2003012215 888291328 44856 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2183/tid=2191] ppid=2181 vsize=867472 CPUtime=0
/proc/2183/task/2191/stat : 2191 (java) S 2181 2183 402 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2003012215 888291328 44856 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2183/tid=2192] ppid=2181 vsize=867472 CPUtime=0
/proc/2183/task/2192/stat : 2192 (java) S 2181 2183 402 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2003012215 888291328 44856 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 867472
[startup+51.1017 s]
/proc/loadavg: 2.04 2.02 2.00 3/81 2196
/proc/meminfo: memFree=1237256/2055920 swapFree=4180732/4192956
[pid=2183] ppid=2181 vsize=867796 CPUtime=50.63
/proc/2183/stat : 2183 (java) S 2181 2183 402 0 -1 0 153202 1813 1 0 4962 57 40 4 18 0 9 0 2003012210 888623104 107575 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2183/statm: 216949 107575 2616 9 0 211477 0
[pid=2183/tid=2185] ppid=2181 vsize=867796 CPUtime=47.6
/proc/2183/task/2185/stat : 2185 (java) R 2181 2183 402 0 -1 64 33810 1813 1 0 4700 16 40 4 25 0 9 0 2003012211 888623104 107575 996147200 134512640 134550740 4294955968 18446744073709551615 4126918831 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2183/tid=2186] ppid=2181 vsize=867796 CPUtime=2.99
/proc/2183/task/2186/stat : 2186 (java) S 2181 2183 402 0 -1 64 117495 1813 0 0 217 38 40 4 16 0 9 0 2003012213 888623104 107575 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2183/tid=2187] ppid=2181 vsize=867796 CPUtime=0.44
/proc/2183/task/2187/stat : 2187 (java) S 2181 2183 402 0 -1 64 20 1813 0 0 0 0 40 4 16 0 9 0 2003012213 888623104 107575 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2183/tid=2188] ppid=2181 vsize=867796 CPUtime=0.44
/proc/2183/task/2188/stat : 2188 (java) S 2181 2183 402 0 -1 64 28 1813 0 0 0 0 40 4 15 0 9 0 2003012213 888623104 107575 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2183/tid=2189] ppid=2181 vsize=867796 CPUtime=0.44
/proc/2183/task/2189/stat : 2189 (java) S 2181 2183 402 0 -1 64 1 1813 0 0 0 0 40 4 18 0 9 0 2003012215 888623104 107575 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2183/tid=2190] ppid=2181 vsize=867796 CPUtime=0.87
/proc/2183/task/2190/stat : 2190 (java) S 2181 2183 402 0 -1 64 1023 1813 0 0 43 0 40 4 15 0 9 0 2003012215 888623104 107575 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2183/tid=2191] ppid=2181 vsize=867796 CPUtime=0.44
################
# More data... #
################
/proc/2183/task/2188/stat : 2188 (java) S 2181 2183 402 0 -1 64 28 1813 0 0 0 0 40 4 15 0 9 0 2003012213 888623104 107575 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2183/tid=2189] ppid=2181 vsize=867796 CPUtime=0.44
/proc/2183/task/2189/stat : 2189 (java) S 2181 2183 402 0 -1 64 1 1813 0 0 0 0 40 4 18 0 9 0 2003012215 888623104 107575 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2183/tid=2190] ppid=2181 vsize=867796 CPUtime=0.87
/proc/2183/task/2190/stat : 2190 (java) S 2181 2183 402 0 -1 64 1023 1813 0 0 43 0 40 4 15 0 9 0 2003012215 888623104 107575 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2183/tid=2191] ppid=2181 vsize=867796 CPUtime=0.44
/proc/2183/task/2191/stat : 2191 (java) S 2181 2183 402 0 -1 64 1 1813 0 0 0 0 40 4 19 0 9 0 2003012215 888623104 107575 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2183/tid=2192] ppid=2181 vsize=867796 CPUtime=0.44
/proc/2183/task/2192/stat : 2192 (java) S 2181 2183 402 0 -1 64 9 1813 0 0 0 0 40 4 15 0 9 0 2003012215 888623104 107575 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.73
Current children cumulated vsize (KiB) 867796
[startup+76.802 s]
/proc/loadavg: 2.03 2.02 2.00 3/81 2196
/proc/meminfo: memFree=1237320/2055920 swapFree=4180732/4192956
[pid=2183] ppid=2181 vsize=867796 CPUtime=76.11
/proc/2183/stat : 2183 (java) S 2181 2183 402 0 -1 0 153204 1813 1 0 7510 57 40 4 18 0 9 0 2003012210 888623104 107576 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2183/statm: 216949 107576 2616 9 0 211477 0
[pid=2183/tid=2185] ppid=2181 vsize=867796 CPUtime=73.08
/proc/2183/task/2185/stat : 2185 (java) R 2181 2183 402 0 -1 64 33810 1813 1 0 7248 16 40 4 25 0 9 0 2003012211 888623104 107576 996147200 134512640 134550740 4294955968 18446744073709551615 4126914608 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2183/tid=2186] ppid=2181 vsize=867796 CPUtime=2.99
/proc/2183/task/2186/stat : 2186 (java) S 2181 2183 402 0 -1 64 117495 1813 0 0 217 38 40 4 16 0 9 0 2003012213 888623104 107576 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2183/tid=2187] ppid=2181 vsize=867796 CPUtime=0.44
/proc/2183/task/2187/stat : 2187 (java) S 2181 2183 402 0 -1 64 20 1813 0 0 0 0 40 4 16 0 9 0 2003012213 888623104 107576 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2183/tid=2188] ppid=2181 vsize=867796 CPUtime=0.44
/proc/2183/task/2188/stat : 2188 (java) S 2181 2183 402 0 -1 64 28 1813 0 0 0 0 40 4 15 0 9 0 2003012213 888623104 107576 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2183/tid=2189] ppid=2181 vsize=867796 CPUtime=0.44
/proc/2183/task/2189/stat : 2189 (java) S 2181 2183 402 0 -1 64 1 1813 0 0 0 0 40 4 18 0 9 0 2003012215 888623104 107576 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2183/tid=2190] ppid=2181 vsize=867796 CPUtime=0.87
/proc/2183/task/2190/stat : 2190 (java) S 2181 2183 402 0 -1 64 1025 1813 0 0 43 0 40 4 16 0 9 0 2003012215 888623104 107576 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2183/tid=2191] ppid=2181 vsize=867796 CPUtime=0.44
/proc/2183/task/2191/stat : 2191 (java) S 2181 2183 402 0 -1 64 1 1813 0 0 0 0 40 4 19 0 9 0 2003012215 888623104 107576 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2183/tid=2192] ppid=2181 vsize=867796 CPUtime=0.44
/proc/2183/task/2192/stat : 2192 (java) S 2181 2183 402 0 -1 64 9 1813 0 0 0 0 40 4 15 0 9 0 2003012215 888623104 107576 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 76.11
Current children cumulated vsize (KiB) 867796
[startup+89.6022 s]
/proc/loadavg: 2.02 2.02 2.00 3/81 2196
/proc/meminfo: memFree=1237192/2055920 swapFree=4180732/4192956
[pid=2183] ppid=2181 vsize=867796 CPUtime=88.8
/proc/2183/stat : 2183 (java) S 2181 2183 402 0 -1 0 153204 1813 1 0 8779 57 40 4 18 0 9 0 2003012210 888623104 107576 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2183/statm: 216949 107576 2616 9 0 211477 0
[pid=2183/tid=2185] ppid=2181 vsize=867796 CPUtime=85.77
/proc/2183/task/2185/stat : 2185 (java) R 2181 2183 402 0 -1 64 33810 1813 1 0 8517 16 40 4 25 0 9 0 2003012211 888623104 107576 996147200 134512640 134550740 4294955968 18446744073709551615 4126520041 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2183/tid=2186] ppid=2181 vsize=867796 CPUtime=2.99
/proc/2183/task/2186/stat : 2186 (java) S 2181 2183 402 0 -1 64 117495 1813 0 0 217 38 40 4 16 0 9 0 2003012213 888623104 107576 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2183/tid=2187] ppid=2181 vsize=867796 CPUtime=0.44
/proc/2183/task/2187/stat : 2187 (java) S 2181 2183 402 0 -1 64 20 1813 0 0 0 0 40 4 16 0 9 0 2003012213 888623104 107576 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2183/tid=2188] ppid=2181 vsize=867796 CPUtime=0.44
/proc/2183/task/2188/stat : 2188 (java) S 2181 2183 402 0 -1 64 28 1813 0 0 0 0 40 4 15 0 9 0 2003012213 888623104 107576 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2183/tid=2189] ppid=2181 vsize=867796 CPUtime=0.44
/proc/2183/task/2189/stat : 2189 (java) S 2181 2183 402 0 -1 64 1 1813 0 0 0 0 40 4 18 0 9 0 2003012215 888623104 107576 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2183/tid=2190] ppid=2181 vsize=867796 CPUtime=0.87
/proc/2183/task/2190/stat : 2190 (java) S 2181 2183 402 0 -1 64 1025 1813 0 0 43 0 40 4 16 0 9 0 2003012215 888623104 107576 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2183/tid=2191] ppid=2181 vsize=867796 CPUtime=0.44
/proc/2183/task/2191/stat : 2191 (java) S 2181 2183 402 0 -1 64 1 1813 0 0 0 0 40 4 19 0 9 0 2003012215 888623104 107576 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2183/tid=2192] ppid=2181 vsize=867796 CPUtime=0.44
/proc/2183/task/2192/stat : 2192 (java) S 2181 2183 402 0 -1 64 9 1813 0 0 0 0 40 4 15 0 9 0 2003012215 888623104 107576 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 88.8
Current children cumulated vsize (KiB) 867796
[startup+96.0023 s]
/proc/loadavg: 2.02 2.02 2.00 3/81 2196
/proc/meminfo: memFree=1237192/2055920 swapFree=4180732/4192956
[pid=2183] ppid=2181 vsize=867796 CPUtime=95.14
/proc/2183/stat : 2183 (java) S 2181 2183 402 0 -1 0 153204 1813 1 0 9413 57 40 4 18 0 9 0 2003012210 888623104 107576 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2183/statm: 216949 107576 2616 9 0 211477 0
[pid=2183/tid=2185] ppid=2181 vsize=867796 CPUtime=92.12
/proc/2183/task/2185/stat : 2185 (java) R 2181 2183 402 0 -1 64 33810 1813 1 0 9152 16 40 4 25 0 9 0 2003012211 888623104 107576 996147200 134512640 134550740 4294955968 18446744073709551615 4127072247 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2183/tid=2186] ppid=2181 vsize=867796 CPUtime=2.99
/proc/2183/task/2186/stat : 2186 (java) S 2181 2183 402 0 -1 64 117495 1813 0 0 217 38 40 4 16 0 9 0 2003012213 888623104 107576 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2183/tid=2187] ppid=2181 vsize=867796 CPUtime=0.44
/proc/2183/task/2187/stat : 2187 (java) S 2181 2183 402 0 -1 64 20 1813 0 0 0 0 40 4 16 0 9 0 2003012213 888623104 107576 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2183/tid=2188] ppid=2181 vsize=867796 CPUtime=0.44
/proc/2183/task/2188/stat : 2188 (java) S 2181 2183 402 0 -1 64 28 1813 0 0 0 0 40 4 15 0 9 0 2003012213 888623104 107576 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2183/tid=2189] ppid=2181 vsize=867796 CPUtime=0.44
/proc/2183/task/2189/stat : 2189 (java) S 2181 2183 402 0 -1 64 1 1813 0 0 0 0 40 4 18 0 9 0 2003012215 888623104 107576 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2183/tid=2190] ppid=2181 vsize=867796 CPUtime=0.87
/proc/2183/task/2190/stat : 2190 (java) S 2181 2183 402 0 -1 64 1025 1813 0 0 43 0 40 4 16 0 9 0 2003012215 888623104 107576 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2183/tid=2191] ppid=2181 vsize=867796 CPUtime=0.44
/proc/2183/task/2191/stat : 2191 (java) S 2181 2183 402 0 -1 64 1 1813 0 0 0 0 40 4 19 0 9 0 2003012215 888623104 107576 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2183/tid=2192] ppid=2181 vsize=867796 CPUtime=0.44
/proc/2183/task/2192/stat : 2192 (java) S 2181 2183 402 0 -1 64 9 1813 0 0 0 0 40 4 15 0 9 0 2003012215 888623104 107576 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 95.14
Current children cumulated vsize (KiB) 867796
[startup+97.6015 s]
/proc/loadavg: 2.02 2.02 2.00 3/81 2196
/proc/meminfo: memFree=1237192/2055920 swapFree=4180732/4192956
[pid=2183] ppid=2181 vsize=867796 CPUtime=96.73
/proc/2183/stat : 2183 (java) S 2181 2183 402 0 -1 0 153214 1813 1 0 9572 57 40 4 18 0 9 0 2003012210 888623104 107586 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2183/statm: 216949 107586 2616 9 0 211477 0
[pid=2183/tid=2185] ppid=2181 vsize=867796 CPUtime=93.68
/proc/2183/task/2185/stat : 2185 (java) R 2181 2183 402 0 -1 64 33811 1813 1 0 9308 16 40 4 25 0 9 0 2003012211 888623104 107586 996147200 134512640 134550740 4294955968 18446744073709551615 4126913847 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2183/tid=2186] ppid=2181 vsize=867796 CPUtime=2.99
/proc/2183/task/2186/stat : 2186 (java) S 2181 2183 402 0 -1 64 117495 1813 0 0 217 38 40 4 17 0 9 0 2003012213 888623104 107586 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2183/tid=2187] ppid=2181 vsize=867796 CPUtime=0.44
/proc/2183/task/2187/stat : 2187 (java) S 2181 2183 402 0 -1 64 20 1813 0 0 0 0 40 4 16 0 9 0 2003012213 888623104 107586 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2183/tid=2188] ppid=2181 vsize=867796 CPUtime=0.44
/proc/2183/task/2188/stat : 2188 (java) S 2181 2183 402 0 -1 64 28 1813 0 0 0 0 40 4 15 0 9 0 2003012213 888623104 107586 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2183/tid=2189] ppid=2181 vsize=867796 CPUtime=0.44
/proc/2183/task/2189/stat : 2189 (java) S 2181 2183 402 0 -1 64 1 1813 0 0 0 0 40 4 18 0 9 0 2003012215 888623104 107586 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2183/tid=2190] ppid=2181 vsize=867796 CPUtime=0.89
/proc/2183/task/2190/stat : 2190 (java) S 2181 2183 402 0 -1 64 1034 1813 0 0 45 0 40 4 15 0 9 0 2003012215 888623104 107586 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2183/tid=2191] ppid=2181 vsize=867796 CPUtime=0.44
/proc/2183/task/2191/stat : 2191 (java) S 2181 2183 402 0 -1 64 1 1813 0 0 0 0 40 4 19 0 9 0 2003012215 888623104 107586 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2183/tid=2192] ppid=2181 vsize=867796 CPUtime=0.44
/proc/2183/task/2192/stat : 2192 (java) S 2181 2183 402 0 -1 64 9 1813 0 0 0 0 40 4 15 0 9 0 2003012215 888623104 107586 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 96.73
Current children cumulated vsize (KiB) 867796
[startup+98.4017 s]
/proc/loadavg: 2.02 2.02 2.00 3/81 2196
/proc/meminfo: memFree=1237128/2055920 swapFree=4180732/4192956
[pid=2183] ppid=2181 vsize=867796 CPUtime=97.52
/proc/2183/stat : 2183 (java) S 2181 2183 402 0 -1 0 153222 1813 1 0 9651 57 40 4 18 0 9 0 2003012210 888623104 107593 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2183/statm: 216949 107593 2616 9 0 211477 0
[pid=2183/tid=2185] ppid=2181 vsize=867796 CPUtime=94.46
/proc/2183/task/2185/stat : 2185 (java) R 2181 2183 402 0 -1 64 33811 1813 1 0 9386 16 40 4 25 0 9 0 2003012211 888623104 107593 996147200 134512640 134550740 4294955968 18446744073709551615 4126915763 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2183/tid=2186] ppid=2181 vsize=867796 CPUtime=2.99
/proc/2183/task/2186/stat : 2186 (java) S 2181 2183 402 0 -1 64 117495 1813 0 0 217 38 40 4 17 0 9 0 2003012213 888623104 107593 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2183/tid=2187] ppid=2181 vsize=867796 CPUtime=0.44
/proc/2183/task/2187/stat : 2187 (java) S 2181 2183 402 0 -1 64 20 1813 0 0 0 0 40 4 16 0 9 0 2003012213 888623104 107593 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2183/tid=2188] ppid=2181 vsize=867796 CPUtime=0.44
/proc/2183/task/2188/stat : 2188 (java) S 2181 2183 402 0 -1 64 28 1813 0 0 0 0 40 4 15 0 9 0 2003012213 888623104 107593 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2183/tid=2189] ppid=2181 vsize=867796 CPUtime=0.44
/proc/2183/task/2189/stat : 2189 (java) S 2181 2183 402 0 -1 64 1 1813 0 0 0 0 40 4 18 0 9 0 2003012215 888623104 107593 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2183/tid=2190] ppid=2181 vsize=867796 CPUtime=0.91
/proc/2183/task/2190/stat : 2190 (java) S 2181 2183 402 0 -1 64 1042 1813 0 0 47 0 40 4 15 0 9 0 2003012215 888623104 107593 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2183/tid=2191] ppid=2181 vsize=867796 CPUtime=0.44
/proc/2183/task/2191/stat : 2191 (java) S 2181 2183 402 0 -1 64 1 1813 0 0 0 0 40 4 19 0 9 0 2003012215 888623104 107593 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2183/tid=2192] ppid=2181 vsize=867796 CPUtime=0.44
/proc/2183/task/2192/stat : 2192 (java) S 2181 2183 402 0 -1 64 9 1813 0 0 0 0 40 4 15 0 9 0 2003012215 888623104 107593 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 97.52
Current children cumulated vsize (KiB) 867796
[startup+99.2018 s]
/proc/loadavg: 2.02 2.02 2.00 3/81 2196
/proc/meminfo: memFree=1237128/2055920 swapFree=4180732/4192956
[pid=2183] ppid=2181 vsize=867796 CPUtime=98.31
/proc/2183/stat : 2183 (java) S 2181 2183 402 0 -1 0 153223 1813 1 0 9730 57 40 4 18 0 9 0 2003012210 888623104 107593 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2183/statm: 216949 107593 2616 9 0 211477 0
[pid=2183/tid=2185] ppid=2181 vsize=867796 CPUtime=95.25
/proc/2183/task/2185/stat : 2185 (java) R 2181 2183 402 0 -1 64 33811 1813 1 0 9465 16 40 4 25 0 9 0 2003012211 888623104 107593 996147200 134512640 134550740 4294955968 18446744073709551615 4127511272 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2183/tid=2186] ppid=2181 vsize=867796 CPUtime=2.99
/proc/2183/task/2186/stat : 2186 (java) S 2181 2183 402 0 -1 64 117495 1813 0 0 217 38 40 4 17 0 9 0 2003012213 888623104 107593 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2183/tid=2187] ppid=2181 vsize=867796 CPUtime=0.44
/proc/2183/task/2187/stat : 2187 (java) S 2181 2183 402 0 -1 64 20 1813 0 0 0 0 40 4 16 0 9 0 2003012213 888623104 107593 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2183/tid=2188] ppid=2181 vsize=867796 CPUtime=0.44
/proc/2183/task/2188/stat : 2188 (java) S 2181 2183 402 0 -1 64 28 1813 0 0 0 0 40 4 15 0 9 0 2003012213 888623104 107593 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2183/tid=2189] ppid=2181 vsize=867796 CPUtime=0.44
/proc/2183/task/2189/stat : 2189 (java) S 2181 2183 402 0 -1 64 1 1813 0 0 0 0 40 4 18 0 9 0 2003012215 888623104 107593 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2183/tid=2190] ppid=2181 vsize=867796 CPUtime=0.91
/proc/2183/task/2190/stat : 2190 (java) S 2181 2183 402 0 -1 64 1043 1813 0 0 47 0 40 4 15 0 9 0 2003012215 888623104 107593 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2183/tid=2191] ppid=2181 vsize=867796 CPUtime=0.44
/proc/2183/task/2191/stat : 2191 (java) S 2181 2183 402 0 -1 64 1 1813 0 0 0 0 40 4 19 0 9 0 2003012215 888623104 107593 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2183/tid=2192] ppid=2181 vsize=867796 CPUtime=0.44
/proc/2183/task/2192/stat : 2192 (java) S 2181 2183 402 0 -1 64 9 1813 0 0 0 0 40 4 15 0 9 0 2003012215 888623104 107593 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 98.31
Current children cumulated vsize (KiB) 867796
[startup+99.6033 s]
/proc/loadavg: 2.02 2.02 2.00 3/81 2196
/proc/meminfo: memFree=1237128/2055920 swapFree=4180732/4192956
[pid=2183] ppid=2181 vsize=0 CPUtime=98.69
/proc/2183/stat : 2183 (java) Z 2181 2183 402 0 -1 12 153272 1813 1 0 9763 62 40 4 16 0 2 0 2003012210 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2183/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 98.69
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 99.6264
CPU time (s): 98.724
CPU user time (s): 98.0371
CPU system time (s): 0.686895
CPU usage (%): 99.0942
Max. virtual memory (cumulated for all children) (KiB): 867884
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 98.0371
system time used= 0.686895
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 155085
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= 4312
involuntary context switches= 6326
runsolver used 0.121981 second user time and 0.344947 second system time
The end
Begin job on node57 at 2008-07-05 08:46:48
IDJOB=1086644
IDBENCH=57847
IDSOLVER=364
FILE ID=node57/1086644-1215240407
PBS_JOBID= 7881904
Free space on /tmp= 66532 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/fapp/fapp30/normalized-fapp30-3000-10.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1086644-1215240407/watcher-1086644-1215240407 -o /tmp/evaluation-result-1086644-1215240407/solver-1086644-1215240407 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-1086644-1215240407.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 34ca3ffc23008dabfd0338886eeccec5
RANDOM SEED=1284810256
node57.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.258
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.258
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: 1658800 kB
Buffers: 48880 kB
Cached: 197728 kB
SwapCached: 6148 kB
Active: 257104 kB
Inactive: 87056 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1658800 kB
SwapTotal: 4192956 kB
SwapFree: 4180732 kB
Dirty: 10912 kB
Writeback: 0 kB
Mapped: 104972 kB
Slab: 38112 kB
Committed_AS: 4154868 kB
PageTables: 1996 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= 66532 MiB
End job on node57 at 2008-07-05 08:48:27